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