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