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