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