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