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