#include<cstdio>
typedef long long ll;
ll a[5][400][3]={
	{{57,107738059679742255ll,999545612085ll},{53,4670598482000737ll,996420691209ll},{54,6816837928028569ll,992587662436ll},{54,14981678120422803ll,988634901019ll},{53,2935610529760785ll,985130523458ll},{53,8821109287547306ll,981106357654ll},{53,5963048721345341ll,977039675865ll},{51,102410074015820ll,973171607899ll},{53,5839105573437254ll,968926444314ll},{51,1583857185884531ll,965030063603ll},{54,14269203696499711ll,961620469620ll},{55,30921405123465887ll,958289092960ll},{56,38355528974699009ll,954464242594ll},{55,20256724713246188ll,950446051325ll},{54,13492975902851624ll,946668211442ll},{53,2086060692195001ll,943538271253ll},{53,6325236643648983ll,939544407553ll},{52,2362394053838714ll,935726178155ll},{53,8208775679690457ll,931752990881ll},{53,4603520809276296ll,930290273146ll},{55,2358936006546896ll,926017507327ll},{52,2783664504675550ll,921958982608ll},{53,8201574408583754ll,918108843548ll},{55,10979496533851397ll,914505897234ll},{53,6744754009713540ll,911118042505ll},{53,1021717492094621ll,907202021881ll},{53,6936833769675620ll,902958447329ll},{53,8034237591971210ll,898772998277ll},{54,11680610788133642ll,894813380552ll},{53,1774905685725804ll,890665015610ll},{54,17575646306762301ll,886675655155ll},{55,5434717332586586ll,883222387663ll},{54,17604171491826567ll,879119724586ll},{54,11507405881313586ll,874995096809ll},{53,416107417719621ll,870734282502ll},{53,7990759202258499ll,866483217396ll},{52,3134916038976833ll,862651150367ll},{53,5602802267168929ll,859220649095ll},{55,35982806660472448ll,855091588118ll},{54,15814121797750826ll,851588249347ll},{53,3353326817790200ll,847372984298ll},{54,1411374521146647ll,843674713104ll},{53,8630444488509232ll,839776045213ll},{55,2809235775965848ll,836804486291ll},{52,3461722068237882ll,832664795177ll},{54,5366727602281071ll,828904120032ll},{50,147824150923518ll,825385560233ll},{52,145234256547670ll,822126602004ll},{52,3792439358114072ll,819061405744ll},{52,1839986710908210ll,815307480244ll},{52,3442864180185614ll,811169547093ll},{52,1433735442299515ll,806999431764ll},{53,1583336997868941ll,802842147087ll},{52,3843380902736284ll,798670183798ll},{54,7326439890148106ll,794462198532ll},{53,4171804527926184ll,790652869083ll},{53,742362292582022ll,786618278509ll},{52,1326156173740887ll,783102470406ll},{52,3749285784697062ll,778981932331ll},{52,409869021946597ll,775761853062ll},{52,4174427282917492ll,771820449303ll},{52,475707989310393ll,768154127399ll},{52,4132624741283465ll,763972152222ll},{53,7276906875852898ll,760957678201ll},{56,26660819459084801ll,757303571006ll},{55,9005105236171668ll,753129479828ll},{51,1137913078759168ll,748879905218ll},{54,15809507027877881ll,744608729417ll},{53,8124421179982781ll,740822418624ll},{54,2406816830607666ll,737229309758ll},{51,2205149924880555ll,733075774856ll},{52,2307127472488572ll,729027470208ll},{50,580628998324595ll,725699839048ll},{52,1103917265002655ll,721984274519ll},{53,7303845062265136ll,718104848518ll},{52,3536748333448744ll,714965161579ll},{53,8020809202176998ll,711622451372ll},{52,2006475270080459ll,707564902620ll},{52,4260369086079798ll,703698258218ll},{53,6500899278895388ll,699946408834ll},{53,3996842924466029ll,695864558631ll},{54,10528897051107421ll,691692215054ll},{54,17573470525007445ll,687490415485ll},{52,202672732009807ll,683385152182ll},{53,7268585460598436ll,679238283681ll},{52,736022878808922ll,675755848587ll},{53,7276306272889269ll,671862837265ll},{52,2993069991077402ll,667810468025ll},{53,331800607067103ll,664620880191ll},{52,2016596551196959ll,660683237069ll},{51,355279595370439ll,656873562261ll},{50,150651672215885ll,652680058499ll},{56,28354161674307888ll,648734514815ll},{54,10681507699543523ll,645235085126ll},{53,2765315142743780ll,641343188902ll},{55,29286995349396064ll,638388127701ll},{50,158935701539022ll,634397451819ll},{52,3506148975849097ll,630598315607ll},{52,3068073252464805ll,626344087503ll},{54,16120904868350430ll,622341005235ll},{50,292545028461629ll,618839417089ll},{53,5487145591055669ll,614639794910ll},{52,2935610529760785ll,611410048107ll},{53,1054061177378728ll,607819351485ll},{52,3854760954592507ll,603712118539ll},{53,836352532492249ll,599620644614ll},{52,3353326817790200ll,595467517893ll},{52,4111800911832454ll,591233127246ll},{51,318367471786496ll,587172570893ll},{52,1179036949241241ll,583185684489ll},{52,2013364787641674ll,579238475813ll},{53,3764518971458532ll,575194128334ll},{52,2686228401794928ll,571014617607ll},{51,434353490567897ll,567019971622ll},{52,657749332057712ll,562828715598ll},{52,2630186693767772ll,559119923994ll},{51,44541293943722ll,555600701139ll},{54,537718058349509ll,551930042826ll},{51,1392009969570886ll,547741837881ll},{51,1552564372001001ll,543585342007ll},{52,421173020430055ll,539458000688ll},{53,2339719572509067ll,536582915320ll},{53,2088698656067522ll,532328047360ll},{53,3953791764050121ll,528384061862ll},{53,8355609671991510ll,524756327557ll},{52,65633642563155ll,520940965311ll},{51,2217668981935806ll,516871166639ll},{54,6077801644971153ll,513427801378ll},{50,413373757241487ll,509180963140ll},{55,6326550570590344ll,505257420871ll},{52,946430249496017ll,501366835738ll},{52,689984542580620ll,497802058548ll},{52,2911896616546619ll,493582320413ll},{55,458768720152840ll,489983234979ll},{51,214734595242613ll,486758887259ll},{52,841495975444324ll,482612698548ll},{53,2500949651999788ll,478627947915ll},{51,346367741576971ll,474478693498ll},{52,1971925405840786ll,470460000153ll},{51,1102706509380532ll,466240421304ll},{51,1615678240368854ll,461972528984ll},{51,463784011176296ll,457898180059ll},{51,1367007217201668ll,454260690738ll},{52,4093372609715079ll,450525692017ll},{51,1921572623130578ll,446723011904ll},{52,2286508907349553ll,442765578987ll},{51,827579782725541ll,438576918278ll},{51,393045717978530ll,434372779126ll},{52,1167823328922832ll,430222796811ll},{51,2021124816017235ll,426224590165ll},{51,823216540669773ll,422235926769ll},{50,635857678648004ll,418431562452ll},{51,1629186840533178ll,414368134685ll},{51,1298694163196851ll,410465609595ll},{50,65164459657742ll,407153483260ll},{52,4485776648110632ll,403068079143ll},{51,1783977703237186ll,398852668347ll},{52,4117378451819217ll,394866895657ll},{50,762304972930920ll,390842533454ll},{51,2048199415819453ll,387040120761ll},{52,4315708594845128ll,382930332715ll},{52,3024236763125192ll,378924180537ll},{52,3216013885840940ll,374893944117ll},{53,7364580080055585ll,370921224998ll},{51,1490528896951660ll,366860681624ll},{51,1450837788980057ll,362869105774ll},{50,898673543640942ll,358598147172ll},{51,2091446554900956ll,354487517302ll},{51,683810716075537ll,350742221461ll},{51,919336344062281ll,346937501734ll},{51,1386141022720675ll,343014453452ll},{50,948397027301104ll,339191292219ll},{51,779862437754586ll,335059390865ll},{53,4850514169950189ll,330828920203ll},{51,1744547661957826ll,326596978508ll},{51,244202795719333ll,322919198169ll},{50,390483718468632ll,318649624824ll},{50,114377576697876ll,314551778221ll},{52,348105653424200ll,310975742130ll},{51,1461039165205342ll,306833027516ll},{50,335545465090702ll,302595625285ll},{51,2055672345593031ll,298579852982ll},{51,1459449093974845ll,294369000945ll},{50,1107837343876627ll,290168037908ll},{51,1323548811647851ll,286135615136ll},{51,1792327315750274ll,282082430471ll},{51,1357598241359409ll,277837103508ll},{51,705451380248719ll,273860493439ll},{50,666605594761645ll,269699877803ll},{53,2744313694946517ll,265571688267ll},{50,734101191304582ll,261339850225ll},{49,490582966327966ll,257076805950ll},{50,407512604459364ll,253006526229ll},{51,1335505946066758ll,248984926624ll},{51,77897762369052ll,244890301868ll},{49,72907725226692ll,240620089294ll},{50,471817349351776ll,236465687429ll},{52,431271551279793ll,232219864630ll},{49,13541801220782ll,228053427876ll},{50,271425792018297ll,223836035586ll},{51,2167722542519730ll,219595043546ll},{51,771516402401339ll,215337801999ll},{50,500541180475575ll,211112334031ll},{51,1054061177378728ll,206854835819ll},{52,2358936006546896ll,202627512069ll},{50,749334069373689ll,198403440416ll},{51,1547165704658175ll,194132107257ll},{49,114377576697876ll,190010367756ll},{51,1533616955149754ll,185989633619ll},{50,1098752522400338ll,181819681309ll},{52,3899807359242911ll,177595180702ll},{50,660096802861371ll,173418172565ll},{49,204463693285021ll,169261293583ll},{50,742362292582022ll,165131555383ll},{50,945342017767730ll,160891340255ll},{49,464043620771498ll,156633602618ll},{48,12555402798372ll,152503696457ll},{50,360784922982987ll,148439477322ll},{49,376089023300826ll,144169378131ll},{49,334419209814894ll,140111107558ll},{49,145333522040862ll,135919213772ll},{50,182679669304605ll,131812131364ll},{50,335695629678307ll,127653164133ll},{49,109870555388249ll,123414006310ll},{51,1483029909323827ll,119145741100ll},{51,2249705795115924ll,115029790998ll},{49,130287224999704ll,110781777192ll},{50,1021717492094621ll,106538614892ll},{49,147005040359642ll,102393728795ll},{50,760015606382811ll,98135676702ll},{48,200137598862970ll,93933534180ll},{49,473851375354507ll,89839506662ll},{47,114033807570456ll,85570975666ll},{51,62401234140671ll,81300638496ll},{48,180262891567258ll,77081145364ll},{48,270829545368452ll,72819560349ll},{48,260241115878051ll,68571928732ll},{48,98996884805835ll,64312915002ll},{48,239431855122869ll,60046786437ll},{48,145461483619881ll,55780813545ll},{49,492513881261269ll,51544610638ll},{47,120860762654225ll,47316210163ll},{47,130092057013124ll,43057841577ll},{49,243223276962103ll,38807721857ll},{47,3610113029083ll,34567473446ll},{46,45367111042745ll,30333845724ll},{45,22834299668288ll,26068359470ll},{45,24334406454103ll,21833025385ll},{45,15309287443228ll,17571604578ll},{44,8715076737312ll,13323919669ll},{46,68056123671963ll,9051156741ll},{42,3237274860276ll,4778807383ll},{42,1175348362239ll,506519456ll}},
	{{42,3494001531939ll,4270521101ll},{43,432755382210ll,4263254750ll},{43,6725404593643ll,4250279433ll},{42,3745675872081ll,4236510520ll},{42,1978348185050ll,4222399855ll},{43,6162361662169ll,4210248251ll},{44,12443619011446ll,4197353952ll},{42,1058241355402ll,4186792377ll},{43,4676989064414ll,4175384770ll},{43,2653539607166ll,4161641740ll},{42,990013547169ll,4153684849ll},{44,14216195951366ll,4140254541ll},{42,1308667064672ll,4128142639ll},{42,2845456001353ll,4121742224ll},{43,3602947450989ll,4109439162ll},{43,6198952885234ll,4096128106ll},{43,5027835192095ll,4087967860ll},{41,2026605739608ll,4077740449ll},{42,1491112544103ll,4064220310ll},{42,2878559141149ll,4052531552ll},{42,1991917691748ll,4039633572ll},{43,1441000813174ll,4027677113ll},{43,1452685055974ll,4014734569ll},{42,1654033713179ll,4002535782ll},{45,14780077199190ll,3989658863ll},{43,4267762055673ll,3975781649ll},{45,26456943149256ll,3962457835ll},{43,2980697964320ll,3948296430ll},{41,1633022571575ll,3937301558ll},{42,787667204637ll,3923139487ll},{42,2688104556462ll,3909190660ll},{42,3982763794138ll,3896492374ll},{43,699753537899ll,3883792778ll},{44,778267339775ll,3873638833ll},{44,10846589354604ll,3867344122ll},{43,3956294360742ll,3854155888ll},{43,1839210319352ll,3840222344ll},{42,4013677397538ll,3827079273ll},{44,16045862715514ll,3813143812ll},{43,1657661764425ll,3800880846ll},{42,4299695964995ll,3790940315ll},{42,2167526519418ll,3776848239ll},{43,5022587789620ll,3764868460ll},{42,3123683615882ll,3751306275ll},{44,6482876177916ll,3738318700ll},{43,4897273616267ll,3726772432ll},{43,916994147931ll,3716619639ll},{42,576293269803ll,3703614142ll},{43,8608117518985ll,3689716113ll},{42,1074032647717ll,3677989168ll},{42,1134827049499ll,3664513276ll},{42,2626054623969ll,3652717098ll},{45,28209363856241ll,3638621323ll},{42,1249016571179ll,3624885382ll},{44,14143426926314ll,3612064185ll},{43,8732073025955ll,3597998799ll},{42,1279734998733ll,3585131307ll},{42,1604714968545ll,3576737903ll},{45,14946393147600ll,3562709345ll},{42,1818304407867ll,3549804983ll},{44,13138311655110ll,3540256457ll},{43,4172497720608ll,3526841846ll},{42,2469008306838ll,3513776820ll},{43,1034356452284ll,3502057103ll},{42,4226731635218ll,3489944073ll},{43,732049708029ll,3476688982ll},{42,994657222262ll,3463718978ll},{44,14325090597386ll,3449651139ll},{42,496425430619ll,3436538764ll},{42,2571195538375ll,3424203562ll},{41,1784198716136ll,3410990756ll},{43,2606579360467ll,3397784420ll},{46,68504133337222ll,3390513206ll},{41,2025051116275ll,3376496166ll},{43,1609111766418ll,3363595438ll},{43,1514513921419ll,3352520139ll},{42,187286792902ll,3344339859ll},{42,1310377013555ll,3331192263ll},{42,303716064242ll,3322907135ll},{42,124105527797ll,3309160517ll},{43,5911718047302ll,3296203459ll},{42,1980971175757ll,3283427015ll},{41,525459985247ll,3270588571ll},{43,3405445539707ll,3257991706ll},{42,2665628617493ll,3247997373ll},{42,1440794715752ll,3236311616ll},{42,1666030240561ll,3223486806ll},{43,3006774062773ll,3212989919ll},{43,1635475755269ll,3202822900ll},{42,1380503827601ll,3189292947ll},{42,573064827358ll,3175652704ll},{42,1434982971101ll,3162756241ll},{44,5806927699090ll,3151991593ll},{42,2995209969228ll,3138165681ll},{42,2076105710544ll,3127167696ll},{43,5403771932526ll,3113696988ll},{43,6722472525809ll,3099936625ll},{41,1501551107751ll,3086125594ll},{42,605712144794ll,3072292462ll},{42,1908155889820ll,3061142520ll},{41,1978348185050ll,3047285900ll},{42,3216877581158ll,3033371325ll},{42,4305544876469ll,3020578625ll},{43,7023058934000ll,3007208188ll},{43,911431114729ll,2993377037ll},{42,2216780457162ll,2979284845ll},{42,629788680991ll,2967130813ll},{44,4022412892125ll,2953009939ll},{44,1133045048923ll,2940424551ll},{42,862943451677ll,2926368375ll},{42,434334827184ll,2918477496ll},{43,5212252686515ll,2904324979ll},{42,3927386649091ll,2892082022ll},{44,2375716102816ll,2884318177ll},{41,2166074733124ll,2872018344ll},{42,2957944059594ll,2859168545ll},{44,334451867726ll,2846470572ll},{42,3168831155027ll,2832649343ll},{43,6217579811773ll,2820409452ll},{42,873867544369ll,2806527294ll},{43,5055349291254ll,2792559155ll},{42,1829039114606ll,2779156666ll},{42,1764315151065ll,2767127144ll},{42,4025009398210ll,2753232143ll},{41,1413296767538ll,2744046047ll},{41,746888190932ll,2730437535ll},{42,1758761090197ll,2717344139ll},{41,617309760740ll,2704470738ll},{45,10701655179341ll,2693470769ll},{43,4855122147920ll,2681878053ll},{42,3761903165641ll,2669539095ll},{41,1682345097077ll,2657362547ll},{42,715697040227ll,2644758450ll},{42,1800906374130ll,2630760599ll},{41,1399304794818ll,2616819321ll},{40,290915259390ll,2603721852ll},{43,6927474219075ll,2591112288ll},{42,3045061366182ll,2577250170ll},{43,3909287149551ll,2563575402ll},{42,1460885985099ll,2550011635ll},{44,13111286368753ll,2537509780ll},{42,1094664081216ll,2525002714ll},{44,2747025376100ll,2517154728ll},{41,122985785777ll,2505401793ll},{42,2829203652383ll,2491663977ll},{41,220497193840ll,2477911537ll},{42,2075109734230ll,2465321155ll},{42,130900521051ll,2451591333ll},{45,34039549723309ll,2439822770ll},{43,4244351160187ll,2429855705ll},{42,3919669654306ll,2418802096ll},{43,2832534058143ll,2405517416ll},{42,3646187624718ll,2393347204ll},{42,2636788632119ll,2379835440ll},{41,616166151655ll,2367056125ll},{43,5084063232386ll,2355452733ll},{43,6787708960408ll,2343268815ll},{43,8458684859893ll,2331556404ll},{42,3748670377085ll,2318506009ll},{40,1063037139847ll,2306132972ll},{43,986348477825ll,2292219599ll},{43,5420102929158ll,2279059809ll},{42,3738078609641ll,2265696703ll},{43,2012414523129ll,2255800307ll},{42,3536448325394ll,2244999977ll},{41,461693271917ll,2232317798ll},{43,6310518789342ll,2218966405ll},{41,459633674917ll,2206111576ll},{43,5668615493714ll,2195722566ll},{42,4312353499414ll,2182525790ll},{44,10108512039167ll,2168707651ll},{40,768801185878ll,2155163517ll},{43,3983304973960ll,2141496315ll},{42,1897740288716ll,2127881187ll},{41,127264764641ll,2113836880ll},{42,2653539607166ll,2100496794ll},{42,2871822461969ll,2090004097ll},{41,255667061614ll,2075978311ll},{41,145754784319ll,2062706699ll},{42,2062519179716ll,2048808624ll},{41,236716400203ll,2034908930ll},{46,50365106120703ll,2021408194ll},{40,690237738473ll,2007967100ll},{42,1781297394262ll,1993918569ll},{44,8905294797224ll,1980199109ll},{44,7481814712778ll,1966470713ll},{41,1074032647717ll,1953016876ll},{41,1625281210451ll,1939510953ll},{41,781674708768ll,1925450090ll},{41,242270146215ll,1911482213ll},{41,96017178177ll,1903270266ll},{40,359668446527ll,1889877279ll},{44,16552826309343ll,1877461776ll},{41,796186713676ll,1868502912ll},{41,2098102713416ll,1855044867ll},{42,835570492805ll,1842417824ll},{41,2082487726478ll,1828966356ll},{40,504770851131ll,1814812934ll},{40,177743161540ll,1804202314ll},{47,73187261938980ll,1790807093ll},{42,1750308895709ll,1777820152ll},{42,4178345761493ll,1764549407ll},{41,609086315782ll,1750576006ll},{45,34803565248831ll,1738531269ll},{41,512370320282ll,1726744429ll},{41,1573734801976ll,1713550818ll},{41,1022329965324ll,1702783949ll},{42,142724779869ll,1688717626ll},{41,1559589197156ll,1676805286ll},{41,1831199251731ll,1663079640ll},{43,697107687984ll,1653288166ll},{40,281595486874ll,1639344047ll},{41,1528510834860ll,1627849643ll},{42,905486703744ll,1613739326ll},{40,1057956547288ll,1603763640ll},{41,1652504348463ll,1590344229ll},{41,1562879910089ll,1576263726ll},{43,6152695998201ll,1562253122ll},{39,290915259390ll,1548350308ll},{41,1131761242982ll,1534349844ll},{40,385565259439ll,1520266383ll},{41,2062519179716ll,1506384960ll},{42,686016721282ll,1493319968ll},{41,1773359482611ll,1479171363ll},{42,2529427707971ll,1465738376ll},{40,130107080415ll,1454944141ll},{41,1255390469454ll,1441309587ll},{42,3101968849025ll,1429140609ll},{42,2148506355208ll,1415997187ll},{42,3504368145568ll,1402904819ll},{42,2373153087387ll,1389155455ll},{40,209155436896ll,1375036398ll},{41,1355290413451ll,1361375512ll},{41,492551013322ll,1347319129ll},{41,957250518139ll,1333164314ll},{43,1025981844287ll,1319129445ll},{41,1757271105190ll,1305944548ll},{40,233385874744ll,1293645811ll},{41,1626567120198ll,1280978594ll},{41,315170211884ll,1269016315ll},{41,1094664081216ll,1254957284ll},{41,226874058503ll,1240926219ll},{40,38162982542ll,1228343727ll},{40,66198716920ll,1214516241ll},{41,154038773338ll,1200481894ll},{40,916848825577ll,1186578627ll},{40,393906665868ll,1172427710ll},{39,160025555990ll,1158327087ll},{43,7651270656685ll,1144300301ll},{43,8512295551417ll,1131342254ll},{39,477819257610ll,1118331978ll},{41,1973474465056ll,1104715362ll},{42,3358686776031ll,1090565477ll},{39,237911390749ll,1076701355ll},{40,573064827358ll,1062717086ll},{41,513734970068ll,1048899666ll},{41,633510802591ll,1035659005ll},{39,88611389490ll,1021843631ll},{40,976594082768ll,1009374539ll},{39,65538637448ll,995900437ll},{42,3153760142941ll,981992552ll},{45,16537775356669ll,968443565ll},{39,447140988753ll,954468498ll},{39,321335190824ll,941173126ll},{41,1494696875372ll,929368207ll},{40,246444439906ll,915281829ll},{42,4315193346545ll,901473895ll},{44,13337258588927ll,887674788ll},{41,457075636816ll,873736764ll},{41,1242457907027ll,860108626ll},{40,836057316077ll,846044578ll},{39,445288919988ll,834025201ll},{39,169400405800ll,820395027ll},{39,33150216440ll,806679193ll},{40,341843758181ll,795211689ll},{41,1750308895709ll,782471510ll},{40,452377904197ll,768461967ll},{40,157988855309ll,754538556ll},{39,192695277968ll,740555279ll},{40,162932790389ll,727166087ll},{39,370836710825ll,713222728ll},{41,954736887389ll,699135033ll},{39,377592640593ll,685223848ll},{39,304850083173ll,671276485ll},{39,179902486853ll,657255912ll},{39,112270132112ll,643430411ll},{40,728739053049ll,629484881ll},{38,88611389490ll,616035145ll},{42,78849642497ll,602406795ll},{40,910151619635ll,588538208ll},{40,556705200474ll,574556063ll},{41,341432544425ll,560499719ll},{41,1357327514045ll,547001483ll},{37,19936190601ll,532911935ll},{40,650797267933ll,519139043ll},{38,38907232818ll,505073856ll},{38,80769824840ll,491019598ll},{39,45465160954ll,477238434ll},{38,122100321254ll,463108409ll},{38,234774061705ll,449473652ll},{39,309255118360ll,435812488ll},{39,106910656379ll,422245005ll},{39,360395805747ll,408361961ll},{41,1905562157133ll,394882617ll},{39,431152422413ll,380815370ll},{40,109201775016ll,367048245ll},{39,170265859005ll,352945673ll},{38,31112728958ll,338941086ll},{41,1108936091186ll,325207163ll},{37,80818967563ll,311278070ll},{38,237913442066ll,297158214ll},{38,132616797307ll,283108366ll},{38,63028617783ll,269123688ll},{37,88521713536ll,255163116ll},{37,76377645311ll,241036436ll},{38,49420917679ll,227031250ll},{39,176692847264ll,213039333ll},{40,601281144096ll,199217747ll},{38,14167224802ll,185063543ll},{37,130900521051ll,170950922ll},{38,47803742126ll,156951886ll},{41,1144612567805ll,142790202ll},{35,26927696140ll,128807890ll},{35,18109976063ll,114895094ll},{37,133418086061ll,100794145ll},{37,125402759153ll,86689944ll},{36,8325352116ll,72538230ll},{35,9158142870ll,58487140ll},{34,6461081179ll,44343974ll},{35,13444003758ll,30212914ll},{39,69738691876ll,16066943ll},{34,15772683951ll,1909863ll}},
	{{32,2121737151ll,14154914ll},{32,2046023191ll,14116546ll},{31,1566303731ll,14085844ll},{32,1367530645ll,14054476ll},{31,729971209ll,14011862ll},{33,5303470717ll,13973177ll},{31,1237028317ll,13937750ll},{33,4149715784ll,13898598ll},{32,4073312227ll,13862321ll},{31,1816415008ll,13819679ll},{33,7901525296ll,13776985ll},{32,1865476264ll,13735175ll},{32,3318704205ll,13691628ll},{31,173165841ll,13654755ll},{34,10840374703ll,13615683ll},{32,1366374005ll,13592511ll},{31,71443064ll,13549477ll},{31,511209072ll,13511152ll},{31,1034712954ll,13483786ll},{33,2409783429ll,13439685ll},{31,1857870553ll,13397885ll},{32,3983244192ll,13357125ll},{32,2794835544ll,13323322ll},{32,2295675989ll,13290721ll},{31,964322814ll,13246722ll},{36,8657005356ll,13205344ll},{31,1742090149ll,13161912ll},{34,14727397920ll,13122306ll},{33,6952995971ll,13084396ll},{32,1586431600ll,13075262ll},{31,270017940ll,13031961ll},{32,3573334872ll,12991772ll},{32,964777159ll,12950810ll},{31,1742953337ll,12914522ll},{31,132859741ll,12871439ll},{32,1871999694ll,12827482ll},{32,4138872386ll,12786057ll},{32,2391754513ll,12749211ll},{33,5589529583ll,12706746ll},{32,2481568664ll,12662705ll},{32,3787365003ll,12627297ll},{32,1675535463ll,12593684ll},{32,908319931ll,12552050ll},{32,983550507ll,12520944ll},{32,3154357341ll,12496637ll},{30,397680584ll,12454858ll},{31,1349371151ll,12430383ll},{32,116685658ll,12386229ll},{31,1322677733ll,12353113ll},{32,1188287909ll,12331573ll},{32,2372435756ll,12294541ll},{31,1078080098ll,12257708ll},{33,4188674114ll,12236841ll},{32,1661127739ll,12193301ll},{33,1747781118ll,12159222ll},{31,78666130ll,12117182ll},{32,1661164898ll,12082225ll},{35,17348275133ll,12038552ll},{33,3072299338ll,11995349ll},{32,194670793ll,11956562ll},{32,377286317ll,11924285ll},{34,1162845028ll,11884225ll},{31,623136402ll,11842234ll},{32,3008812368ll,11803126ll},{33,8140644699ll,11763876ll},{32,3413400751ll,11724213ll},{31,1071033259ll,11681848ll},{32,2786800891ll,11639996ll},{32,3455847789ll,11596110ll},{32,2428178382ll,11561075ll},{32,4154575960ll,11525611ll},{33,4758769795ll,11483630ll},{32,3679078592ll,11440290ll},{32,4257943316ll,11397070ll},{31,1082472714ll,11354635ll},{35,4918828944ll,11310498ll},{31,1706473321ll,11266408ll},{33,2142690329ll,11222264ll},{34,8554879084ll,11181052ll},{33,1684049782ll,11147380ll},{31,1802488564ll,11105226ll},{32,2075071909ll,11066266ll},{30,526408962ll,11027175ll},{31,19019829ll,10988564ll},{32,3751801004ll,10944578ll},{31,1878913246ll,10906427ll},{32,327318679ll,10877405ll},{34,415144513ll,10834470ll},{31,209875531ll,10798445ll},{30,476073056ll,10755082ll},{32,4087684246ll,10715074ll},{30,762240727ll,10673508ll},{31,1677956184ll,10644489ll},{31,656321774ll,10617286ll},{33,5371970526ll,10573999ll},{31,1131648703ll,10534006ll},{31,543180628ll,10505940ll},{33,2959662523ll,10464914ll},{30,539291693ll,10421049ll},{31,1631436888ll,10377796ll},{32,3435953911ll,10337032ll},{30,75900193ll,10298511ll},{31,660787148ll,10265726ll},{33,1700216304ll,10223144ll},{31,536361835ll,10187419ll},{32,2168547990ll,10144363ll},{31,1453627721ll,10105400ll},{33,5470937015ll,10062682ll},{35,12705628205ll,10019215ll},{33,7965802800ll,9980043ll},{34,15019448368ll,9936052ll},{31,1365528922ll,9892252ll},{32,3452530795ll,9866280ll},{32,3412336523ll,9831799ll},{32,1252479234ll,9788061ll},{32,1291126309ll,9745325ll},{30,276811831ll,9705003ll},{31,806504872ll,9663891ll},{32,2026569684ll,9622211ll},{32,1293737602ll,9579432ll},{31,1989699266ll,9538278ll},{31,1710277874ll,9496212ll},{31,450228891ll,9462222ll},{31,1428706272ll,9427749ll},{31,446491591ll,9385196ll},{32,489023471ll,9357459ll},{30,25657908ll,9313798ll},{32,50376674ll,9269998ll},{31,1650365938ll,9236347ll},{31,1674366292ll,9197173ll},{32,365453663ll,9166006ll},{31,1542716188ll,9142081ll},{31,1670698372ll,9109197ll},{31,2046023191ll,9074860ll},{32,2599322767ll,9030931ll},{34,11055791152ll,8989618ll},{30,152619016ll,8948076ll},{29,399488639ll,8909300ll},{31,389223100ll,8874167ll},{31,604539692ll,8836007ll},{31,1063298889ll,8795294ll},{31,1572293811ll,8764251ll},{33,1869120275ll,8720291ll},{31,715842293ll,8687625ll},{30,571130508ll,8648924ll},{33,1162845028ll,8612826ll},{33,6910094601ll,8573113ll},{32,799851806ll,8532310ll},{30,1056701205ll,8489958ll},{31,833687017ll,8465642ll},{31,657108766ll,8429398ll},{29,20974211ll,8385581ll},{31,1910443860ll,8349372ll},{30,158608288ll,8305768ll},{35,18798923006ll,8268222ll},{31,781635297ll,8226896ll},{32,671125332ll,8184795ll},{31,1181201045ll,8142747ll},{32,2142690329ll,8102112ll},{31,750370590ll,8058049ll},{31,1981546457ll,8024069ll},{29,43260032ll,7985659ll},{30,538173969ll,7942297ll},{31,1033746633ll,7899458ll},{33,6361717813ll,7862838ll},{32,574535130ll,7825381ll},{31,813265641ll,7781755ll},{32,353887669ll,7740255ll},{31,1881083058ll,7697217ll},{32,1407718599ll,7667804ll},{32,1073079507ll,7635439ll},{35,8453382189ll,7602856ll},{31,1847783887ll,7567135ll},{31,280694734ll,7526459ll},{31,2035688864ll,7484404ll},{31,165652111ll,7445401ll},{32,1700216304ll,7404523ll},{30,782039406ll,7365924ll},{33,2250440111ll,7323490ll},{30,316347770ll,7280941ll},{32,1842496032ll,7241310ll},{33,5331781773ll,7203943ll},{30,516586637ll,7160610ll},{30,822502934ll,7116508ll},{30,772529281ll,7073895ll},{30,705470868ll,7032000ll},{32,81255919ll,6991694ll},{31,1710134947ll,6949544ll},{31,864562932ll,6906128ll},{30,1014166909ll,6876161ll},{31,298416469ll,6832406ll},{30,466513714ll,6790130ll},{30,510865138ll,6752753ll},{31,228911143ll,6709128ll},{30,876029048ll,6666019ll},{32,1613442944ll,6622599ll},{32,2243878553ll,6578613ll},{31,1171220557ll,6541729ll},{32,4188674114ll,6501506ll},{30,258101177ll,6459529ll},{29,397680584ll,6415897ll},{30,796975776ll,6372108ll},{31,1105771305ll,6330316ll},{31,1293737602ll,6287376ll},{30,746295532ll,6257379ll},{32,1162845028ll,6218976ll},{35,167238104ll,6177726ll},{30,297233383ll,6138409ll},{31,1233511669ll,6100513ll},{31,58700651ll,6067876ll},{29,276811831ll,6024202ll},{31,1523351856ll,5980895ll},{31,2125122694ll,5936938ll},{30,1012495982ll,5893339ll},{30,322194149ll,5856458ll},{30,594716556ll,5813431ll},{31,1508535367ll,5770084ll},{31,14989703ll,5726489ll},{32,1991941126ll,5683947ll},{32,2250440111ll,5643064ll},{30,465018023ll,5599245ll},{30,734473149ll,5557943ll},{31,2002232136ll,5520266ll},{32,2010935685ll,5478051ll},{30,495614622ll,5435469ll},{32,3743943494ll,5391400ll},{30,1033746633ll,5349413ll},{31,766111906ll,5305901ll},{30,105411915ll,5263178ll},{30,289780939ll,5220235ll},{33,8065720245ll,5177723ll},{30,600624468ll,5136476ll},{29,323743055ll,5097426ll},{29,158608288ll,5054913ll},{30,474210687ll,5011005ll},{30,81255919ll,4970802ll},{30,776828934ll,4927970ll},{29,368020671ll,4887338ll},{30,94428490ll,4843957ll},{29,163286493ll,4800077ll},{30,468974364ll,4756012ll},{30,601282667ll,4714678ll},{30,598581236ll,4672988ll},{29,13962033ll,4633194ll},{31,779339952ll,4589804ll},{31,1995532378ll,4548597ll},{29,201510024ll,4504469ll},{34,12705628205ll,4463021ll},{30,639317243ll,4424588ll},{30,1066577272ll,4382813ll},{30,176369478ll,4340363ll},{35,5837488131ll,4297214ll},{29,4637452ll,4257054ll},{30,381395599ll,4214659ll},{30,574535130ll,4170670ll},{29,260104864ll,4131269ll},{30,222778152ll,4091167ll},{31,548491207ll,4048065ll},{30,596154895ll,4004055ll},{30,268241771ll,3963961ll},{30,712257013ll,3921724ll},{30,256288636ll,3884397ll},{29,222273774ll,3842776ll},{30,981671623ll,3800409ll},{32,2323836901ll,3757002ll},{31,782201636ll,3713502ll},{30,225360651ll,3670304ll},{27,123665883ll,3627683ll},{31,812178875ll,3585140ll},{30,434793543ll,3542043ll},{29,379885897ll,3499047ll},{29,327318679ll,3455274ll},{29,339113050ll,3411898ll},{31,2141591203ll,3369097ll},{30,1068948505ll,3324978ll},{29,344231466ll,3281273ll},{31,68701662ll,3238285ll},{29,201920633ll,3194695ll},{32,295370373ll,3150609ll},{31,1728041126ll,3106510ll},{29,254863528ll,3063982ll},{30,764153065ll,3024244ll},{29,59283983ll,2981682ll},{28,178393416ll,2939831ll},{31,782582911ll,2897081ll},{28,163286493ll,2855172ll},{30,219995778ll,2815235ll},{29,226112684ll,2772232ll},{29,165922938ll,2728438ll},{27,131979226ll,2685655ll},{28,13962033ll,2641584ll},{29,430577730ll,2598604ll},{27,43260032ll,2557300ll},{28,231402798ll,2515139ll},{29,225360651ll,2473681ll},{29,410989395ll,2429874ll},{29,99522211ll,2387237ll},{29,443355489ll,2343298ll},{30,930924305ll,2300409ll},{29,214728439ll,2256999ll},{29,414588834ll,2217077ll},{29,105295218ll,2173719ll},{30,271290148ll,2132409ll},{30,341321662ll,2094292ll},{28,57989090ll,2051090ll},{28,29643659ll,2009472ll},{28,90614070ll,1965352ll},{28,196582567ll,1923726ll},{28,78418305ll,1880828ll},{28,78278730ll,1836708ll},{29,394332888ll,1792718ll},{27,126139983ll,1749436ll},{28,206919689ll,1708051ll},{29,330306707ll,1663975ll},{28,120809048ll,1621275ll},{27,102776914ll,1578768ll},{28,112533748ll,1536371ll},{27,46956848ll,1492822ll},{28,205571726ll,1450421ll},{28,36489126ll,1406861ll},{27,128782281ll,1363088ll},{30,539701120ll,1319924ll},{28,166358087ll,1276738ll},{29,13229767ll,1232933ll},{28,43859546ll,1189157ll},{27,106532148ll,1145411ll},{28,81526650ll,1102114ll},{28,220820463ll,1058602ll},{27,61131290ll,1014674ll},{26,20455720ll,970524ll},{26,45790939ll,926407ll},{27,86921339ll,884200ll},{26,63860530ll,840620ll},{27,47498555ll,796940ll},{28,234622317ll,754496ll},{27,55963256ll,710443ll},{26,11186599ll,666581ll},{27,121280560ll,622705ll},{26,28789939ll,579444ll},{26,17199348ll,535408ll},{28,203457711ll,491363ll},{25,31831779ll,447214ll},{28,218631230ll,403774ll},{26,15867946ll,359847ll},{25,10818290ll,316193ll},{25,32476351ll,272184ll},{26,41156492ll,228132ll},{25,1370304ll,184105ll},{25,28549643ll,140027ll},{22,1286568ll,95881ll},{21,1046650ll,51754ll},{20,413791ll,7639ll}},
	{{21,1420127ll,44150ll},{21,1272523ll,44014ll},{21,730458ll,43909ll},{22,1140610ll,43790ll},{24,91644ll,43698ll},{21,1399220ll,43568ll},{21,1527768ll,43470ll},{21,1893592ll,43346ll},{21,53868ll,43210ll},{21,1213112ll,43097ll},{22,2193225ll,43011ll},{21,697874ll,42875ll},{21,656696ll,42743ll},{22,994335ll,42608ll},{21,985484ll,42496ll},{21,1809991ll,42382ll},{21,825889ll,42292ll},{24,1589226ll,42167ll},{22,3326990ll,42031ll},{21,870968ll,41902ll},{21,1212620ll,41769ll},{21,468516ll,41634ll},{21,1782968ll,41508ll},{21,542999ll,41385ll},{22,154853ll,41273ll},{24,16440320ll,41141ll},{21,1465877ll,41089ll},{21,710885ll,40961ll},{21,314917ll,40852ll},{21,1680954ll,40728ll},{20,982486ll,40623ll},{21,1021049ll,40493ll},{21,1677537ll,40382ll},{21,1684603ll,40285ll},{21,858888ll,40155ll},{22,3924419ll,40023ll},{22,364278ll,39935ll},{22,2168660ll,39808ll},{22,320464ll,39680ll},{22,3219417ll,39555ll},{22,3564562ll,39442ll},{21,789424ll,39315ll},{21,887533ll,39290ll},{21,1438515ll,39154ll},{20,390973ll,39018ll},{21,147739ll,38884ll},{21,1368537ll,38750ll},{23,6225413ll,38649ll},{21,684226ll,38569ll},{20,66896ll,38491ll},{21,1923735ll,38371ll},{22,1072763ll,38245ll},{22,112323ll,38132ll},{20,163ll,37999ll},{24,8428280ll,37871ll},{21,1922960ll,37745ll},{21,1252814ll,37612ll},{21,564809ll,37515ll},{21,1714186ll,37380ll},{22,1595244ll,37263ll},{20,265241ll,37131ll},{20,854850ll,36997ll},{21,1996200ll,36873ll},{21,1656633ll,36759ll},{21,1270667ll,36628ll},{21,736758ll,36541ll},{19,12416ll,36408ll},{21,1849044ll,36286ll},{23,4470516ll,36169ll},{23,8292558ll,36065ll},{22,2027169ll,35930ll},{21,705325ll,35813ll},{21,1230487ll,35702ll},{20,524337ll,35569ll},{22,3803964ll,35434ll},{20,136384ll,35328ll},{21,1062097ll,35205ll},{21,419665ll,35078ll},{20,592706ll,34944ll},{21,307976ll,34814ll},{21,875395ll,34696ll},{20,909017ll,34567ll},{21,1292583ll,34437ll},{21,296221ll,34327ll},{21,105641ll,34200ll},{22,1430944ll,34069ll},{21,442485ll,33949ll},{21,392410ll,33831ll},{20,567324ll,33700ll},{20,428449ll,33565ll},{23,8179861ll,33470ll},{22,143163ll,33407ll},{21,1117848ll,33303ll},{21,202663ll,33169ll},{20,637310ll,33040ll},{21,1976882ll,32926ll},{20,293711ll,32793ll},{21,1996609ll,32698ll},{20,83049ll,32566ll},{21,694651ll,32461ll},{22,3528740ll,32340ll},{21,1167146ll,32220ll},{21,349114ll,32104ll},{21,895215ll,31985ll},{22,3640451ll,31862ll},{21,1594283ll,31732ll},{23,1102845ll,31621ll},{23,6238338ll,31492ll},{20,928743ll,31357ll},{22,3683967ll,31223ll},{22,1597401ll,31087ll},{21,852037ll,30962ll},{20,985488ll,30882ll},{21,1426974ll,30764ll},{19,194543ll,30629ll},{20,702133ll,30511ll},{21,359989ll,30375ll},{19,8578ll,30251ll},{22,4029120ll,30156ll},{20,157962ll,30048ll},{21,1863942ll,29936ll},{21,581430ll,29808ll},{20,308244ll,29728ll},{20,1027986ll,29597ll},{20,420779ll,29501ll},{21,257622ll,29365ll},{18,245711ll,29254ll},{21,1282016ll,29127ll},{19,114808ll,29004ll},{20,806211ll,28873ll},{20,775789ll,28752ll},{21,812016ll,28642ll},{20,767595ll,28516ll},{21,1068604ll,28384ll},{21,1904093ll,28252ll},{20,376994ll,28118ll},{20,553156ll,27988ll},{21,1217111ll,27852ll},{20,768242ll,27717ll},{20,747413ll,27646ll},{20,750063ll,27521ll},{21,318104ll,27388ll},{21,50643ll,27253ll},{20,93301ll,27140ll},{20,920228ll,27035ll},{22,1050447ll,26900ll},{20,186927ll,26769ll},{20,371551ll,26639ll},{20,625420ll,26537ll},{20,120427ll,26405ll},{20,70769ll,26273ll},{20,602916ll,26139ll},{20,333100ll,26011ll},{20,678988ll,25896ll},{20,858888ll,25820ll},{20,726978ll,25685ll},{20,414273ll,25550ll},{23,6311407ll,25414ll},{23,6193751ll,25297ll},{22,663799ll,25171ll},{20,734392ll,25037ll},{22,80544ll,24945ll},{21,807150ll,24812ll},{21,143163ll,24680ll},{20,580510ll,24567ll},{22,3302655ll,24435ll},{21,2079395ll,24306ll},{20,800045ll,24171ll},{20,683053ll,24044ll},{20,989964ll,23909ll},{21,1595244ll,23783ll},{23,2107369ll,23657ll},{20,601602ll,23525ll},{21,59235ll,23392ll},{20,740256ll,23256ll},{21,1429550ll,23125ll},{20,698266ll,23007ll},{20,522472ll,22871ll},{20,832554ll,22740ll},{21,766243ll,22607ll},{22,1102845ll,22474ll},{20,419053ll,22343ll},{21,1559082ll,22218ll},{20,3722ll,22165ll},{20,956773ll,22051ll},{20,226531ll,21926ll},{20,875395ll,21807ll},{21,1358304ll,21685ll},{19,426241ll,21561ll},{20,161245ll,21456ll},{20,684226ll,21332ll},{20,448281ll,21241ll},{20,1039135ll,21137ll},{22,356068ll,21001ll},{20,139549ll,20866ll},{20,102844ll,20730ll},{20,704195ll,20598ll},{20,168535ll,20467ll},{21,1944093ll,20334ll},{20,586748ll,20198ll},{20,764304ll,20073ll},{20,511785ll,19951ll},{20,153936ll,19838ll},{20,656696ll,19711ll},{20,878698ll,19582ll},{20,273525ll,19446ll},{19,100618ll,19323ll},{21,689789ll,19194ll},{19,335908ll,19068ll},{20,778691ll,18942ll},{20,812733ll,18811ll},{20,320464ll,18685ll},{20,789424ll,18552ll},{19,95583ll,18432ll},{19,507471ll,18303ll},{19,235251ll,18178ll},{20,445966ll,18045ll},{19,497108ll,17909ll},{20,333373ll,17774ll},{21,535024ll,17700ll},{19,387943ll,17567ll},{20,230119ll,17432ll},{20,946712ll,17300ll},{19,90170ll,17170ll},{21,73455ll,17044ll},{20,191697ll,16915ll},{18,74112ll,16786ll},{20,873993ll,16656ll},{20,1048520ll,16524ll},{23,85940ll,16396ll},{19,237430ll,16262ll},{19,252339ll,16127ll},{22,1933088ll,15991ll},{19,357319ll,15860ll},{20,831526ll,15727ll},{19,188026ll,15609ll},{19,367289ll,15474ll},{19,156197ll,15342ll},{20,855517ll,15209ll},{20,798891ll,15079ll},{19,45737ll,14945ll},{19,350644ll,14822ll},{19,61911ll,14690ll},{19,256744ll,14558ll},{19,52557ll,14429ll},{18,24716ll,14294ll},{19,334600ll,14166ll},{20,538239ll,14049ll},{20,852037ll,13917ll},{19,342395ll,13784ll},{18,33121ll,13667ll},{20,1015569ll,13533ll},{21,1933088ll,13397ll},{20,200562ll,13279ll},{19,30885ll,13150ll},{19,375375ll,13019ll},{19,227356ll,12887ll},{19,176691ll,12772ll},{18,172336ll,12636ll},{19,420475ll,12501ll},{19,307238ll,12367ll},{19,439960ll,12231ll},{18,43036ll,12097ll},{20,510230ll,11967ll},{19,61893ll,11836ll},{18,18445ll,11703ll},{19,109088ll,11567ll},{19,394699ll,11446ll},{18,136770ll,11312ll},{19,151603ll,11176ll},{24,5767551ll,11056ll},{18,188026ll,10921ll},{19,91518ll,10787ll},{19,330583ll,10651ll},{19,396748ll,10528ll},{18,184203ll,10394ll},{18,38426ll,10268ll},{20,523570ll,10160ll},{18,12877ll,10024ll},{20,268787ll,9890ll},{19,230119ll,9760ll},{18,179546ll,9634ll},{18,43609ll,9503ll},{18,56493ll,9370ll},{19,70844ll,9251ll},{18,19779ll,9119ll},{20,581524ll,8988ll},{18,7267ll,8855ll},{18,73455ll,8719ll},{18,55377ll,8583ll},{18,142767ll,8447ll},{17,122491ll,8313ll},{17,77904ll,8178ll},{18,79526ll,8043ll},{18,142789ll,7914ll},{19,423745ll,7780ll},{18,178150ll,7655ll},{18,2355ll,7526ll},{20,106280ll,7392ll},{20,854110ll,7259ll},{17,18625ll,7131ll},{17,113621ll,6996ll},{18,3915ll,6861ll},{20,951339ll,6734ll},{16,8228ll,6604ll},{21,2021387ll,6476ll},{18,28229ll,6342ll},{17,10802ll,6206ll},{18,81108ll,6073ll},{18,239814ll,5941ll},{17,67628ll,5807ll},{17,62578ll,5678ll},{17,13613ll,5543ll},{19,3986ll,5410ll},{17,84293ll,5283ll},{17,80251ll,5153ll},{18,3740ll,5018ll},{17,86644ll,4884ll},{17,85134ll,4752ll},{17,50839ll,4616ll},{17,23565ll,4480ll},{17,83769ll,4348ll},{17,89432ll,4213ll},{16,60278ll,4077ll},{17,14920ll,3942ll},{16,18752ll,3806ll},{16,47931ll,3674ll},{16,18757ll,3538ll},{18,3986ll,3405ll},{18,228626ll,3271ll},{15,12368ll,3135ll},{16,13382ll,3001ll},{16,35971ll,2866ll},{19,10217ll,2732ll},{16,53942ll,2596ll},{16,45500ll,2463ll},{16,46122ll,2327ll},{16,18873ll,2195ll},{14,16303ll,2059ll},{15,19084ll,1925ll},{15,27470ll,1789ll},{15,10924ll,1654ll},{15,5123ll,1520ll},{16,64679ll,1384ll},{17,1466ll,1250ll},{14,3097ll,1115ll},{14,10698ll,981ll},{14,295ll,845ll},{15,15427ll,710ll},{17,32512ll,574ll},{17,383ll,438ll},{13,5633ll,302ll},{12,3745ll,167ll},{10,240ll,38ll}},
	{{10,160ll,135ll},{12,3102ll,132ll},{11,223ll,130ll},{9,503ll,127ll},{13,3040ll,124ll},{12,1071ll,122ll},{11,317ll,119ll},{10,730ll,117ll},{11,833ll,115ll},{10,147ll,113ll},{10,460ll,111ll},{10,615ll,108ll},{10,772ll,106ll},{10,668ll,103ll},{11,1993ll,100ll},{10,946ll,97ll},{10,434ll,94ll},{11,110ll,91ll},{11,1035ll,88ll},{10,485ll,85ll},{10,789ll,82ll},{10,450ll,80ll},{10,671ll,78ll},{9,146ll,76ll},{10,378ll,73ll},{11,1927ll,70ll},{9,307ll,67ll},{9,257ll,64ll},{9,67ll,62ll},{9,434ll,59ll},{9,42ll,58ll},{9,234ll,55ll},{10,574ll,53ll},{8,119ll,51ll},{9,139ll,48ll},{8,111ll,46ll},{9,335ll,44ll},{9,403ll,42ll},{8,102ll,39ll},{8,217ll,36ll},{9,287ll,34ll},{7,16ll,31ll},{8,147ll,29ll},{8,188ll,26ll},{8,139ll,23ll},{7,100ll,20ll},{8,224ll,18ll},{6,55ll,15ll},{6,42ll,12ll},{6,26ll,10ll},{5,30ll,7ll},{5,28ll,4ll},{3,3ll,1ll}}
};
int n,x[210];
int main(){
	ll k;scanf("%lld",&k);
	for(int i=0;i<5;i++){
		int j=0;while(a[i][j][2]>k)j++;
		if(a[i][j][2])for(int t=0;t<a[i][j][0];t++)x[n++]=(a[i][j][1]>>t&1)+i*2+1;
		k-=a[i][j][2];
	}
	for(int i=0;i<k;i++)x[n]=x[n+1]=i*2+11,n+=2;
	printf("%d\n",n);
	for(int i=0;i<n;i++)printf("%d%c",x[i]," \n"[i==n-1]);
}

Measured memory_bytes: 128