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