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