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