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