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