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