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