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