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