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