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