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