1 12 13 24 55 116 397 1268 5379 235810 1169011 6168912 35172513 212649614 1363924415 9219750916 65503522517 487440410718 3789336807219 30698643184620 258620973800421 2261284840344222 20485073241859423 191965242848192924 1858161972401109125 18554361328920093726 190889409886437210427 2021174251615174047228 22001926447022858146229 245999317030552673073130 2822496715063311637113231 33204383697504440274502232 400202093906262536585104133 4938169372260629129178921534 62338351143063763609457221035 804572008627315047323840513636 10610318694152325978282269540437 142887476239325534870123177364838 1963920768672698987463910760492439 27535444437883827776333473354102440 393626470978012339278914195911048441 5734518311562482020001692871326314742 85101307616363374672566951132442968443 1285930508830617405399336496001715738244 19777189607697852477741668993709091620845 309463345036141488005215676216023033168646 4924822215944552180323459737433495321706647 79680977664811725950011366162620234298244148 1310249575631496698792854157440107550561974949 21890075825659915102739215344061229865179487650 371448537542156540876528647846577282890010211051 6399968372557081421288140843513089694122122970152 111933342354222832279739904016712030067580660035653 1986657581159838049259964713248270820619627762721154 35772754794714107899498060077673732228360527740781655 653334701761132420076291251996443020118889074554071456 12099438072581829147466934134573686064534754964081727057 227162564820187656951958913392642106932341866689233061058 4322648894800510542346183842055863192935268226913436938659 83350412434423087557628718902754062463713590252405370962560 1628232179111679254978323444969276358209634057280663827406261 32216990936963838495269226867742278628435530263398968135046462 645544040034604493920198095540470963280339964913383393047553263 13096463016516864904622947181436092108651118329590888027854784464 268959598995873204584953068227002879846519514377002534820310636565 5590428900704460496023473358104211448323133837785286294299323289666 117584707937641923457812016451454886346104087141370361751170616716667 2502240722838094706518228180379112212486191518790878597726897035402268 53865035598082552174756824438277270244345830601277367590602852306542069 1172772128098475125125864170589951071582525107254623511909523088993085570 25821434140486444625081120606426241788273325129705607315298624730399873071 574831117479527146844993804172020713647689188221017651328683936233881876172 12936844697350907344793682616010196957153030912216163832344951501078342506273 294294004888327252675021377413600456667316053919576717804330671292741486884874 6766091924659358621225779014807732730442128392618827281626430578931578094514475 157194702561144401288974190050949445412034137414933089979039107135063151492549976 3689972470711506109237093385692747605864322588705585465974040823403913752345925077 87505778695136160847661865964501259288729800842044676407455826426465299062377444478 2096154834016329764915165712862537757074891997267137087076163499591537795738731857479 50714135245676400512036967095861791925857012958570332942810607218218025562948416601480 1239084986010530993054799293319900299201019751001378726843000185598338251603093757148081 30569492245019584959212492937415788150560990008262535095471923399437573768672051005513082 761448115157902254026846488310302447447713899408288155053336306978566300178696862597121883 19147340738911990240281438919527312646406074517917568074382542252179298010566537622474658584 486009692014054451166834898492501826180450446300343082327273244569928619654339051618796797085 12450966909680275793590750287464040118108182716984030350414245364129922646931319012638023949886 321912143086233576930379114898263938971951732771225240332928239379644535758504217053882776242887 8398529604399460447861471851991777852615190522069314816310753855730523296123658442693218305496588 221083974322688236217938971618512148382401173115618812432274107574631518513569793757549712459170089 5871605062200536823883537359211808028042607681951534512023367697441545737250918558907621423077809190 157311464581547700515769799025780674423649514768668895914346231044360461195608479008053032696899485691 4251353145363408967753487815915126482313797566438176277213549279939649381694796275584365788711535364092 115882389013847589526210520436435446222208668186728647685225768689204978474322274652883472814325085017693 3185606869388406721709921768748117996589973745283792162861533526927564745389497852606142016001255580680294 88310684628688597645872847574760628810038756811044430987853457295287342337873390021139341016023138945556295 2468557828269821204782460691190325366633139232632244368655684940135620470574664035961600481990907785129108096 69573805648747300555647804683443935230065162135834250241733333573647381667763867878712807124237163190635489397 1976900361303208883250265110891786041493104953512010531911533244060811072087196690809121537354044740384597702498 56627222375251368059987998640257271469962492287579219379187282585995942441988845429666588316902554354146077286499 16350565933798669756117986143041775164956409223119317170691004748375037684783270201262855790522533156468153696154100 475853912767648336587907688413872078263636696868256114669654550124766285610677609072902263340093315611928249576116101 13957728998384337422296927137403466811283658920522877561265452253697004562049840759296051955429319398254747973445771102 412594770008168488653362429776864209952564615287777882424759360875214657083454985213380991535258122485044484263016892103 12290476366943442226906440577323637864170894853016766798581827170003013235413476374789251792701222622212643433452616190104 368908413861989087250289714979389288152010914342224027941113435544679544736129240697143586934824320155163274112810384788105 11156877029317367897843797512144338069638151634381356554406944947088277025127577914384054748788437553070675610797862506216106 339946785865311403076644071894381853659783454866167631889473236035297673545109998216735626979603274926883014319525565558506107 10435036219771246515929916897050933952716510570298206177350394581858246655433946227415810522778164264276187747292489155806585108 322673107884915117543351814653816173171476975854574893227720331097572351115825842481048392485451927694434935245690730327114034109 10050529895037940460254137901503391703256362108545025972325278443931479013238797027422024524114467396606984499789495168309658848110 315314992740974171894110522044954885529630234579164627080153887110250615404221446046878054486835877239212228819504155860866969762111 9963280367207998724069763878211093629034510435506666065221954512118256186781322981726359616395747926965622334599359871676231599488112 317055454708920978790913253967030752976721707080316606869058110579055295567462264310615189969173932070737472924845609914285742773434113 10160540339011374547600098552320744087487595422067178379124471046915003311980527633057302999949224219552109739024551348197630114327179114 327884649991747561534330533816176345603512821949103488246697847949343575198195569546543189701973332711418641220998363664917190628300004115 10654241291972277875053540691363955988873363358279221688891756850219387599544715749106496759228264545984657715146900093398127558154410898116 348574829388832834770450615182481990074097317155395538040563579115634508503932751790984402916535332573755676804779738499374863854219747460117 11481982652727896242661252900844029464926710022749779601258173970495912233847290449536149403487144625968734602101050014580137058374969854280118 380768353186097091695296850702866160459256294863233255501057365396368047723967621326342309908824839586406672980836902563375129989036153354722119 12711711658902015517942940061747140829020741299629197998777287863734078440949535353179894546567771435627990408628348841493583981236733928083616120 427191864916610607454738062627281510880416257562366074732011513015453335915343240608071483802047370162388505468725558354517883357959163560328620121 14450889353894308690044758760185035486677998642454723856627381982193452306979111043423676971936313004920474574880557350364291799936720195370866021122 492035141585712929608640028403468611639384767697078469346871264709957732163280203831702638930928782210772705152220022407199099709465199569801576168123 16861851429306056893120576919920135045735292879075277199163325383608199045600971626498717413027342594272480239210767305049745893748222003998015990741124 581567313873300191748243408638693945013668887487234819883159257802286066112661184629355160646360240867683613447165486743629224608817868227104844608142125 20186390321084554978868035755884448106306950272594551143841027633895908363676829159008559061018494612981381039314201602630903471974012279105594842607871126 705115041677369040961796849292981281604401015043400072172312722938395888050473527627887159528028043585035999036857136549321472851866128986506254400315934127 24784659109631445507434158122265610675498303494847876487819251394675005689530826806486202824579783437501487715493745954588343596043420200569938861683295038128 876611016537995496299854685280736217561461735446876607459498933444497115529491372746967473587008932195511110295651397597091804662199633025256592415365734839129 31196908838528577609942849258707083119224599837387394660952717587650113192975409262293253499087462081399897576123421321093891706934845032971350518303591178770130 1117060871857648143266369061805950994773696507951863789762419910907823534712925241026489011540419189008527555381487490773706851385754175376120061711391160066576131 40242321328801392552031636339367338248249350764558039298873499719294413797172227319879976658911379779323727290174942442583502204356353274355258373617680044882585132 1458514281814294428890485192892854368651743135658063606188775865641237917006645533859676314596104307273868337065863489407077278882032238482971031685481861850374520133 53179062987523090236899952142592909775194651705439735841497239671111492830227693543215572828326130070336540410992133359532668772570186599616353780912378850143923140134 1950536793997142474451418397913036485498162488322470576955309069904971645735170807289476108914503846284738907963729769025538899818469411148294058024472234501013966524135 71966850839880256979125114637757768064902375649745218135312203818388645970388733431611880336599604564760544462740070229784549663671999737663095855372284370549075851594136 2670898725098280952800166167226013188814971352513137272433676058575559463866998109099573695926086918803129408551767886471215536299445681673216701524958012404116838833604137 99703604724462646267797649767386811699452890100938287151164583791902590569700786788035976974769540738499867234203593933073449426450887094752477943350136236615100180895659138 3743475744990944192460713720865397690471132104335309420697312382364675386559348453422439099442943626057882858318658650040962443414494094404257990224069404575565287415357846139 141361898625400943965500833307761148911806050788411568843058829381702908480120194097835784232156397756057722308307884034699577191991121040986863285835960642484039175258882822140 5368656335050443789046648114050028741631820195287852040562922787136358091241028740489644502762967061558869882359267745327400742870567833897822370649249997701388896214774891408141 205049009596736817355964169815068349567557712268693762679606524864571975821271877442196813069348521090125423982687314316528529900238862783025426333823733881228485693335115191015142 7875747241091866172275970332261410376440278874849471978567140717024731008628947082840363183494442405148843928284857336803289160706387295215377355935909059776118951893887141188394143 304194461694444939694881515141689507124269564346280486089946421374558069849937202663339498029874986310739733017387504746923932896979891607107283902193646691085568242780548760993280144 11814624404465648809207651943987539684682535154567706563167613012934534380567024827364858196584124620780295875559334923988847989869729599981064227857591085789976343252628434244773556145 461404140287183240575004924060680932275189388376171784970603860491449102210507049843555980033381612753775288173546799877615906279197794409593473943260571064969119240833767646721662922146 18118410315007191009054510600961504602887010933660322177960423743878126146570623251486659879196897347372550945561424385784579050745252137518436733459349899104215501282795198213531205840147 715352383292401432330256165611874092340416872409417907687985330303988066091563451504038988361418654613371941449683013274069368347932206272477961587833856960365092249782600963532113997170148 28396564996619448198661412284669121505733400758344573092536226720550690972549876260768961502374671616805866011775566123025283498681318493517041798355216845049126716503019476108596293853580149 1133292838149797130865640479238008154969975545844013099976832186317161475354439863969794093973188847524193444794435969295366882963151729253152785391687320387448307885132649981310260907490763150 45470941802875648205876237899342706074068706511411893689852171145815336151000342246821616532890090486969177054134474642652950137158344562594221240002896285882828994858997536978314683408359150151 1834114040608202667306130923670895706527543475419879229233885368775118620977215966383595296393336052756727914736672064769706600635005547597345176350920173590326780604630349773621250887748214590152 74371168788974665457317737153799870761765378480864139752808171986264822584278969207057730859795160702988811707003180568569994351140306373842768112129223558219995469768010939310478335359068050566153 3031476856917757281063178968577590364729149435729710164329958841657110291192153025647122934061790472902066830935388482023370025009895559713359641144688683664867490240937863329867987553774633166782154 124211259670955317568733380176165952437873492482816930637124999935163339326676298411449006144411002856387533787613889327935110935548801756388133043738396541165958676165841861610337232511940971111916155 5115765112350807689620447976870885226578765800728088740785807928000833446450610479353066025933018345303023991517485203999566807014063501336712234524824857475930130802372688813842946438822445566185552156 211782069023444429888356538097161394083880288589898892346233212347839022149515765679224000279849477900476261433405029554536365806650669477089115297416974285718098797147253414266141092436208964221098198157 8812171793504992420778217252527068820913256941403003032169896746380547939552272163212380466422852870431887960487142714151600268016715572593759163374325747803392748041351828353446369384282171433717631872158 368534617586798576526275582727163005846217814065407150500274981209138447967443889884036851153451537261568661203473271322126564051311312339700156417143115433897392491555099964140618313938079947544222049292159 15490368327643377233635726075778674044280090350971946394010865799741061099900248281855825322729321043567570121639425401376584512718054075337308659623836427801697014911039482360470088459886110743681779797669160 654364973991428022813850767863034285930435474577791727062377021724672003255856587318828455611932147663431506434256163454841359853987140832822962002827494382699991702422890589428787166724844763709068885156088161 27780501103497012958227675314325054635237289895255497252478987003604804661577763443219320285671912232447429804672716598506915216503267607024370720623244752220919746462991326730222082833696029589847087692028908162 1185247042334503310130953376996129621203695542709726279212272251266967409623292115435421922021843850323277901521057771643307888458571383900921227374286706047457989932363669233163410050298535936786072662194738870163 50817542777643337005221438787535583036150214179765824645384078305868977057507935455757289737815362053474671291772305691387416923221474642719530237446527209538407228492125517692437414131748464247258765926198234726164 2189483991344140389357902131296367038765502238972160108283923975862231698057593291620184551750171553024934508927780191977376963051869116030876718162224144720161695849202662110746877749323367217212655956655323375484165 94793972807375719494692652751924837177163089945433363607695919323326550156653084671542158006188595752606943569409956012506758168994700200061873552914527057187753397157088225521554996676098542782638047902191913002270166 4123995365150820945974282196822510259314147545744866242287981551568124107017092433982685843052228054964938527594046852804028022919617657548913546739444704572689675418200092636305826280798091768333796190060963709090018167 180277657225765205006543756657459992432361637966064562094426388795879364707017866805938707985391306527706128297808162735695825954929252618747800851250078711022190490441015799248096504740668233316522607653031314760080713168 7918444551554251196495096251512699128153635790520531612061599578404494647408102139700942986173537435875475731884633036632296210195057001070688739732784240636190309261133433069092124450899581992640737903615850490208427184169 349462175255561700567727387402636540774187394915435898412162041367991434169946034058936176228657627587918633288942476187685978249408458487112384092459020381045897720178788925912380269990743894599082514857457984743683480284170 15495693443367764445273721999705486401583561310524172052327347166858449964207171678128425213367498670453635288562299533189351577835948879740072086574260660563772715749356565146247805396079343733961825967433503063277324497368171 690336376446042074702024526060638760603487962572738296086742950477542715119662673261153194529169671491443382694079423843852734782356498096225264245219838991657392127988275336300772211451599451779407098083626578834819186374684172 30898535490157047820435336300533489596648840803664673053882854448895053356488641363751532707497265299833826085423205494773055358899968333275388737533325198927636087433352033441324335521175374652692153509560757356690884740046634173 1389412012930238478357016850121466986183847688095330965882397762619688840511234264097498726394353956012470904804281552231688380648220771312051865431877597995172246657820707031131674125833197328188627046262883868715324165468793515174 62766653236169550534837955640619192988614748118753461477966112689495280277879939750307435499151309189549426135949633199054014804099970070697513703688398868135724888830487855147666536282224195069203505415358071906344916528083225068175 2848528326679190518871555635979191461503894051467852592677884584321309429657947502499523948547740050522585849006723852402406500465390429008733600148088270630130137051533436156587364028813027425218129849136492852133147829984590120680176 129865790401358459642014487802234637960516462883285895163956837465678896090316339139348039400828844284039525122275774829066386313378172080983132348682806870018204115087644288376802366511653273808365980416823476987579110301396891437886177 5947586395911669431689584456125308677379627081040483612488321323354757344254020013985656662950004531453788384827580338684340729183841712932867825185202701770042355971592453576572591678889186252146799060486490776344432302830874696284319178 273619961427328515079938590406225856922969177828909439148778022793491497804928269016506462181046629879397021081006282666112842409557024671389476876702202827723452227248008578330481377544222941848732018788805053626317159509724183851168530179 12644602496710129814209717426221429875269703077445078521845575264800575284164179438727128276869654598841576756822954267712535052594745205695075015478439210751270728601345579783645252765595899346488133430953830962075466397051675420534593753180 586951817252748560332302585792201104113941597941323312558721862783485381019233713606626006871496298749221761340482677497944616048135589251912736030432058810641657429361162267395951130180632665206667983206008490546214915028830666227782337866181 27367125503498955119952247177236372550169663993354955759760440058974875483834076971794366510902322767482284550157021808690524064145466655961594829782319682429464312470568517329962748036330532341892754315726787682547394547020797480162986676784182 1281666656160790771006824951651608671085659220963735382881540215768933460861778502286096586154755479666834112440489177807670849631809988270784581490036702918542565775039109197886831509852352728677968072068807038106718778863449416720632259711422183 60287875008401418761666277863619325877115177767628546716211926391375375909351145413770112733703942253013310711280493787465010616008816150445433754275207710881403556876614971630723694493395013584807874619707654804581607766471266789993502672336992184 2848287232758829809361847609039014742711464866391165424774081237997874042755423598333011957773445727587261445441647614337390007393212506522784753270770534876792443330586915100673323795104348548387302379260771256356113825678089967197865089499941264185 135153264869985463127092275780961079091795314443864201788347310361311704917368431470144230913532614109354587787601429356076783936159493911065193485567498344402256120511479439366932671216014695608881141099683605148701892430726124030117803246802171152186 6440927214565505516476880206744354342364464716479900050445004894569122501119389340414291529174324290608044985179872469266116225379891539669711887232828722953912228223847431904883924310297774929155222536372896022366662085711572851078166613772273932276187 308275902675089161975537935826727075108483277362209538856263526989541659306691706472973862638510300972726580383138439694859527138339035232039900609867613887767788795772105388606157693281500165078046772538105187564867501798469203880459584290517803126354188 14818029260842852641008234937239098353386111485903235909733961485962783756185160310472574064154599307109491223310104803186589315575283652409535200875697495364857207133901793808121928181775138803285238835960122340337857309382986227098262787035468075695424189 715305309478833754223041683404913967221979842267016579297938465249919172927398259646905115685103776357112262708593553986793766093058794268588846613380911706628967505423242578427649457024417577027482669094824697193712647461813266305003848763127754534553996190 34676329937479992962778159673239026691467349246856445233276998230271863537036258433566885479858636339763266989916029198841416152248979337944055930432070246748770403931012675914514811519452880659702276768571850596925031912614632428680429593759065140662498510191 1688130923869780729778359585519615595740067228975722642611840265825685917955798531832116611678415205035034483025386687187048703593953676828517854840059542994491621174049718592939083260711658983209588341391855009127926732479836980259650781233648168201601002217192 82527974400317745991198142815402487609877296026708281465183803699528166780705706257325332787437702936141103224140758913250754750289884555674770733821478457458017928240617392323994411233896400049512606284178224090425112318580071589399597637722728509484809307093193 4051437482226297618162579009411492767295142124612908328544799306662354215637895621938231040028541986482962898618056333903632730261805245771859214812422177251669120663761959541566853875699825706708719803142477824680714721272518375961428744244811052699402277104512194 199719707346226530844027356864268529374654385033737378948033479867341288206493663462226559588323534530323287861561560821867772359553440252263210885660853060287330950811253776824411010036533715333353376510119210403640287936470663950746036451783757594735865172453056195 9886157906844454039738349902969268853470847043434960393605533715923307711646750704277465812636426609004620753724748478013370075752481431617000752980292069457941357932335860645512996535493737950658089397757367857178026299404149427297973114068255974553940599298818880196 491382988303090484627655521970973408075673174034333761988012335184588740864402584035624226900769345451936823769500182610540886832266428855856496449154981417759192773103107450096225133527726136208227280286135663390173379111430872402187218237635803656333174017743123218197 24523917244408775433959883817255865332160555019422253615347243579049826236638899066167329704618524275824941129677472468678537886054406395501892218707333163423989142857056001776608451480699457988584463475067999348937741937101743580366537271612517297338751490138913155339198 1228932426039043157115939157311186094609657154159040802851158447782778431215232676489282171789736051460449526064019645808424600584296198434408956040908648087414617819838715810276477514772555421628462138187753225051478838485910522810849270069420321184985193523395923219728199 61833805281780027350479199586126358312078572783348139537147843279030056176949553018326259050552782357688010040359263615222366010227699701824331585811155201700066509727088604244404123800523601568965045876940799360390517727435479786849653519389792428566297885868864732979070200 3123742388096850897375845882630860204343383157705780442786595536167962293275343467980985985182696200232392709400651836256529009963658966626336565473453893836758091580630506487663476622670597945288876871545443820003806670764953267431921023613487718849788519209448203195527380