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