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