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