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