4271175541740853958951785721034721007716666155478114044895106152916919808370767563216053443990693800596308260355019099735829710173129271071306785394245397742578511240747956179050416847356312719482268768934279725440193651750870745307825158491545329206533871812296956894077378220129547462946746687482489993823786459034363969455847907463463647837632295483424908664200658103745450042136315823514729920720785838626243303032947717542258262750297096142561178425954210630741387077781599756919249181873161863857891837802267828695866960021487302359221590938108801860134141624976850362555146800142328160044486075686358690680389962256106237120103553735500218167454220023503011742402033273866818027655319073103067859081698346153450208848031028298159324339246816207778005293175173571159515522604953067168290766377466909098817095458962259495828966674694721655875129892779007567651193372721372916884073551271092033792827518482937073092355265793798983041285000284598320288308218256113472978406122884249485252013414833107327498559681945567059379868125828381215831723713408818252146829961669803763868175967070776702823054639244625926190347693895065885407670880457071428331770096145903340295171803516857465991070759707091295283924691641935578510151491282049126899097846683803825484326454714848849492302000321701332379062767711925682198452746355186793032483191288151100424290892906007179449855161944115992005365217629376337551501398196401822523094509003227556527744527412087187631474745323918980772310636835883311706998905463572180594266670693767428381443715057972322565441799165196250062334829405200041829886606793194467277860479037733781927482729390120124342511126259292966220003650747844735498231094698396263084893603791780445876265513643119547053713443621419917357954943937661517551827468092253009727988412960108547351448402062307709055861030615018831494254363935915862382138449873799880946236586768145246657439396317406482521891757398724484025848847902736797153865674707082935506639621551617944311569317403523390688760044587693175074928437597979664832882673910411235491682175924028387099172430745725009831338974662328692819415696725077140710732209224980737315883249004126193340925044832632566056883492106579747047773476412552217290174680209465531550550520812467695507327672853655171824879826805690157574054648706660894067383093578149453194370888772682682076804993182333919210925085732312632987168367539025623925960156908534071705670183791172712153385781850942487542906652429349928353442059161489491682568205249086968455487377477307459654460311058030245024847519477330170821562616172137643578731366844222633343749529664828087973693305233597117714148891750307388988474214117966620281979436319533144418943670342043480632810750452732624159896430596709068871176366754644486778597183454078402942018053953119215080351847259850727252895509346852146417577066414764567455276799630175505366717511318132319421504616333005341398252976305671992438702581143447245958519208870075199378527503135493850246297086591588450531970925123082544175527076216902521276220316531056676979100821378060909926502126908995944350605394495627041554529218224827008572933343289847080938168917193625570362067661530597642952643705444101778554266749829644686115497025766877244313433901189060628040377249682410008397253303191354516744500012933460374897164472163876061812294464044890973382368965397952252937630406601854587274049185059648663762032321184650044925077464054946140360315680586261123132905532296816831206129758566003695266011177332138115113819727650377600576119154329319712153584773131423928667740456719191871909600183613641122937025053101577158459255975370898429922242638816885087182612184884166596507773682724844593509387164600716220237581742962074045848789923076035083332920816637395645392828696597090948948653945223226745140598913331188441284471455547906261079279139912010701215717511868159700927440072080729610891037399347817986794384281407311090668642736531676036471702877061825488963587551329149903425354893326401248971651806699364405854125172994541577161426960281865293708644875898842979046219496372970760353116340472111610071711560968864738654991403055634933156486185706815169399871105196154376302465413662742421669237752879840728795106267923545405356554907836483615766789990384899063078793105971846190943925638074392258331741970615424506320595728514895696627094641401206953083799456305757695716259252340379318011010818147743060841600653243933730980996255566201941481064453175046431970480716127606217317375257139241415975962641119122398295582512036028344203303040932711028502853011155538870210167339044314131232120209755939585443071806044112801667373643452219505603538707419671230224105688699048057668270564242359551317949160265808415609323082740822881340553155532575495185438470277068077965512892028632444083173872155656688088193332512393874243981155538874358639443188394280833369892746552861081258247814372305789070248602756399722203306021560419035228479368535448687822848827044205277229913252768366809557969703568520730350453157560405007750489120101661719465732525263175979698712328905962058748139600183993253884255940483465840820947979352640486115724926399344910322711557681985256881826054310775932969287165260993745281033883300608542192576142936575081949969513042784181561252419282365611178730814486371785074595425837436783426848213375196694787132385519142969791164537816243096977647750469427470380585833214377351621588990832582778599838130649558325058881377814418376851419722541807118590188219424896640698041190734630958207330778850378635017488112614774526772950452025321194228081659031270136906227974521029159061423261317480181815676239341614324345680230871125808148673069535950722946632505844803901030144637612874558998681056945646725596032913017086555566873934801493102640495934524706221523945136918657138263111255120012797917102550754720111149585008222094275570147665794422222367497614578837421297229915388137243757387477697399395279404733346813593711378384571873290558328465236046211956604313018320019866903668979158707401615604506817659395225961953071707829277040371528917244574891757723396354029995055253690786359606528799326103981785092427029540908461618318427668804505713113655518246299468310204069215992061673600437166327107270251979912756786517050352524641803838712120252405315568803542127534920914968523374289948338785990809854144959487533062367136379550052404699159992328358568347195174494289014907313962378246711113636208180011036329115451354144896958383664089202069067142967999113613409214478448207552955540484039027270469267939722891766225517133467918584614632598652521035657216567355938003417883377651610892051902693238381217750626905972595876600923753672779393631113919432675228180471667019482273320805490211054133533507228829242992296345975309282059644794451329988735559561473118985804423458772867467273205142193558104888116108476182329266974336249182704083504332259083233954222479855014310698622337825129611659135510388232445107750681306063622899806271457727150617091377349623383181021746116159211271092314154118696727239476548683085447100460195283306370107666216257575730404322989519945525803450128138104251211176086727323009977492516144259314197214491125328323257819301095865767301162267092745114602440697494873058740460979150500833570496760154402042226965833033847906211443649531469416652608359542657368507094237353353232295213890998590299572127693011268240454416132615720478940061532907116696756262917270411950898503166021368995537367669343623064985821696459286979303960264028647811817978365898048921967614574026718632718483563254679757867987899652363400585869174765182586249380419254254442244063941794439271238423824292711153774965821734517614686479848921326247010286167145151938742056508637529669806850383714031330325613083631609169870034805395902755681553657436079220719871727626405455103109108532151319043046719873335663024360156029595988366386366108939826255024704041747588131796607191509235190790106439724878286346472844114525446763548446616575489912321026390129153755556604563205550650401464548872956812836734419828879922525167355903704652755096016722040419491743086507202527748662788382169628827295719850045443778570189399665681587991976108413393264718565982477245561032442134049894921552165361304494662538122719296694521298391430122611850628466750098256813587323444049396742760895264877893295568946321329457199808868490465834443416017823863335939980654146201797494826603455609000188292869722819382335374470252125631678947228674320069593471950670562016583778096710149494932042519463081477801273456608325121038364487971341001739576465236719387406506924779728825990148507939554661635223749259011005735894356508234440779768942210390551709181463440959176052846197761492194880919722432173593032497106598945856248215699304851556449906166251635674527586260484442941352867368956765759380458872692499528802769813853244354618160484034122691496405809555303922860565828985387745805343223820317066595367513677883788699197406096144278783323763970824565405297348180308947217739720793642992294149236417125561801429043562789831996805227685918491431170271992868144848727576383905649011035159702019967576880690855530217633609720674827789892262023115626189853242171550703687151645871423927287703394094399758802397758785875692818450267024368201011477900149606839282797318631144512363904839185700692238264140031351483262904799699063927837075260193006210676308857085242694080888011486595194630664238341745836722230202488366176839224773013875156308041607867447537435318379373250380257741807710598319082821050242191671214917522584007249601743015122987477062725038476915982319890755718975062821307158440080608480731412520808139333100104957909014272371493830773854663631005628268166511688854890076037394844603401512051196293006412617990774712690539354056891426442135951550125235033718985633609262684998430653437899597850385297333286269205048759599795784175768121553616136021777564288635387444876466051584975600724020295302176253790049359104080442142904778241926687154964711160635331941015923472408046135129753499113324228937142
6756