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