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