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