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