[[0,1,2,3,6,7,8,9,10,11,13,14,15,16,19,21,22,23,24,25,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,45,46,47,48,49,50,51,52,54,55,56,57,58,59,60,63,66,67,68,72,73,75,76,78,79,80,81,82,83,85,86,87,88,89,90,92,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,113,114,115,118,120,121,122,123,125,126,127,129,130,131,132,134,135,137,139,140,141,142,143,144,145,146,147,148,149,150,151,152,154,155,156,157,161,162,164,165,166,168,170,171,172,173,174,175,178,180,182,183,184,185,187,188,189,190,191,192,193,194,196,197,198,199,201,202,203,204,205,206,208,211,212,215,217,218,219,221,222,223,224,225,227,230,231,232,233,234,236,237,238,239,241,242,243,244,245,246,247,248,249,250,251,252,255,256,257,258,259,260,261,262,264,265,267,268,270,271,272,273,274,275,276,278,279,280,281,282,283,284,285,287,288,289,290,291,292,293,294,297,298,300,301,302,303,304,306,308,309,310,312,314,315,316,317,318,319,321,322,323,326,329,331,332,333,334,335,336,337,338,339,340,341,344,345,346,347,349,350,351,353,354,355,356,357,358,359,360,361,362,363,365,366,367,368,369,370,371,373,374,375,379,380,381,384,386,387,389,390,391,392,393,394,395,397,398,399,400,401,403,404,405,406,407,408,409,412,413,414,415,416,418,419,421,422,424,425,426,429,431,433,434,435,437,439,440,441,442,443,446,447,448,449,451,452,454,456,457,458,459,460,461,462,463,465,468,469,470,471,473,474,475,476,477,478,479,480,481,484,486,487,488,489,490,491,492,493,494,495,496,498,499,500,502,503,504,507,510,511,512,513,514,515,518,519,521,522,524,525,528,530,540,541,545,546,548,550,551,552,555,557,560,562,565,567,571,572,577,578,579,580,581,586,588,589,591,594,598,603,604,605,606,607,610,615,617,619,622,623,632,635,637,640,644,651,653,658,660,663,666,667,672,681,683,686,687,688,689,694,695,696,698,699,700,702,703,704,709,712,713,726,729,732,739,741,742,747,749,754,757,761,765,768,769,773,778,779,780,781,787,788,790,794,795,797,801,803,807,811,812,816,817,824,826,828,830,832,833,835,836,837,838,841,842,843,848,849,857,859,861,862,864,866,868,874,878,879,880,882,883,885,892,906,910,912,919,921,922,924,927,930,931,933,937,940,943,946,955,957,961,963,964,969,972,979,984,990,991,999,1003,1004,1009,1011,1012,1017,1019],[4,5,12,17,18,20,26,44,53,64,65,69,70,71,74,77,84,93,94,116,117,119,128,133,138,153,158,159,160,163,167,169,176,177,179,186,195,207,210,213,214,216,220,226,228,235,240,253,254,263,266,269,277,286,295,296,299,305,307,311,313,320,324,325,327,328,330,342,343,348,352,376,377,378,382,385,388,396,402,410,411,420,423,427,428,438,444,445,450,453,455,464,466,472,482,483,485,497,501,505,506,508,509,516,520,526,531,532,533,535,538,542,544,556,558,564,566,569,570,573,575,584,587,593,595,596,611,618,621,627,631,633,642,647,652,659,662,664,668,669,671,673,674,675,677,679,680,682,684,690,691,708,710,719,720,721,724,730,735,740,752,755,756,759,760,763,764,774,775,777,782,783,784,786,791,792,804,806,810,819,820,831,834,839,847,853,856,867,870,881,884,887,890,894,895,896,897,898,899,900,901,902,903,904,905,907,908,911,915,916,925,932,938,939,941,944,947,948,949,951,956,962,965,967,970,973,974,976,977,978,980,981,982,983,985,987,994,996,997,1002,1013,1018,1020,1022,1023],[61,62,112,136,181,200,209,229,364,372,417,430,432,436,467,517,523,527,539,554,559,563,568,576,582,599,608,609,620,628,629,630,636,641,645,646,648,661,665,670,676,685,714,716,722,723,725,733,737,743,762,785,789,798,800,802,805,808,813,814,815,818,821,822,823,840,844,850,851,854,855,860,863,869,871,875,891,893,913,917,923,926,929,934,936,952,953,958,960,971,986,1001,1006,1008,1010,1014,1021],[91,124,383,529,534,536,543,574,583,585,597,612,614,624,626,639,643,649,650,654,656,692,697,706,707,711,715,717,718,727,734,738,744,748,753,766,770,771,793,827,829,858,872,873,888,889,909,918,942,945,950,954,959,968,975,995,998,1000,1005,1007],[537,547,553,590,601,602,613,616,625,638,701,736,745,767,772,776,796,799,809,865,877,928,935,966,992,1015],[561,592,657,678,693,731,746,750,845,846,886,920,989,993],[705,728,751,825,1016],[600,758,876],[549,655,914],[634,852,988]]