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