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