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