(*
$ time fib_large 1000000
fib 1000000 = 51137590025746564660904340696493476874298840835179356386781262803769655163727094006455442941563754159473514605053774516599875464365802499324041640731223523617046214330531869790692897419493193157111034004639903145078130910558774015190962545066991588553208114795573606586348057451447005488628282668699296946324934775053631465837670797215117328135779167050876046819502722755188767697728067090446757861319301190215610154274906020302003710734511595320622939582849014968163477834730787724454222352539916990726106253446402315696424547837457493156765480406203241702244451966441276031922798012606009787526811280425424058328665376434027020343669113852321612285620813903066047485577010738855646078154123049176090645717453308506352799126766031465032776401068656589315332773227526998543774306542403059611703440802729966327115509650968828176973010474955421443651177124349334055664475502072827378799862464758961660806309747970370676905248180578862736334832418826589230001752457062731634749135101652573166118924507096549223752082798125619447120206073693290789359158530059279021633475199433687982773061169452933331809755960825321548980211187027238465244635559672724824090884221644299074075439674172682775740578138185118805562902815904399703939537655725040647534010689882377653305350282517363272760536303546765341490540892724328844410928484440781730193675153161505783918586074670257030014317056755284562269537803316115772555688891980905599797718654232309817618896138474714621213109006832538564602882702737857690769925229855149815901921386653646649244312049138445576356798804701994697985481955188748037201867649381404355329345232613261998404013662536921823776112059835374386273181166968301606470324873820644050690871453319966261818914292946588653491160171843515517103760463705339670483388723307054938677574539579052111807365608398398762000708362099697727234476239132653440706008015989499217147245162302672429396818197543550819652574185298498335910227974846732722329831494363705632389620678691582139565402618341089476359358104093226442933508470372610681055016107449867096454388917078931002014210141126412773327924710796599811770661656538255842246931008222129234520301755325319692964838386243101321301372382189666919483407389892262042240415607630449654683285594040538835194259185977624548701335547724719078454467575693571587467768146264411182422198819409136685666418314304341857447340103259160431358549982140549115564333163364425577160431652503585465427231172108143513783281286064766562537878433578311944440343743925595846578612211056403778723015020760108825771598800806060634369068523496410193038555764050527258971528042745857949798080588681738765688765980690915510554971982423112986260196838473075982201049940423448165720725478155038148942230491152337230334666081779517658774489314265236979336211440522860792010332571116463622499103443727570427483355982199751813002780607172918016533169745863202676430509214689193687259799029443970229024634523643113200739953714199950174413382424564139894343778620548431163774826981383079571174859305410702255897868669998859273381406038245898102021519587553375849419737833763372423585922205979139570140963392632199251617713251429306418962308129585082546417717324293601584048904878708592693581373178361004417516928173737966991941966841133806383841400706300950588570831123974004555260198827181919950136637891806434049292043225921361976758397075350152845436889490324210369562171118290819178208620438411265678820522717344804075117082233764591486077419667407825783928693293368277440909554137317310694978551934885213841268126322940586222576173619811301949304977316528367229250167381247138838775901673344068797255038948033389172730455193393606104743140814791743987372143060720829939164143953588818632980277576695166060908584959475603246792476578479097610441146036211056630508958389700670191797622940813117799172769098520391062514322996279157062476671708352648653130762818533174726039367057331532943910424122292552046699255363372502253216482747367616965224508883227773306572744516643385763486304331465348978504585099698051194389928825028896417778115198750080917894757171127185493408498987924834307625321800326339114100365064966225949028086395098110472610694842843075083424152911264126907472507387099202079477824748205081006194939312426836941985965194859007119704487338831302598887000939826188567189191030763791204297474783945378147999233293144126294777701600186188468424254424272114899245627673438395730849194376994027701476198540392113758332876868593471991701250515603731142236529058075445189563446106195285336482090631335044669573614732053931211985484504548725942443477264758128748249207997421304385931985043374100130300518611145960907160491130280493447464626592429210285678277378033254550279554022005184706334205642119701655746521056877496401449646343433414252448329780534125620197617103410389711419658634969065923652066842760738129812410044092641638722126666591804681173878360151891314464850150163403057821861580455741447468620370932057509030700904517869046574365774194787707110027716261011724369575134420862121157758476304132741105527376627694927004304739114601626212569873576278019628707260675478351115869905537097224360259575400620835971170156221506826812629487149432909805095973814747542446179589817810857426379931867934551400443819406544555993245347484924174162092650385995999520907861210070267548658624349705160599224399126002900804849402624598224265617017040275885573105376197975045281882313417235355908024299799218206666482129633239578966119399395232657893787939380697240821186906101804991771011298646422627301636203166045098982481886105531293969552546570940670922071253475715002943081147530853721207630027761126976112207056640966699451952363239638915787730685991794259450626516866763774050082555097600768665402402704333516596327163535288205563490162399282511809418207230457487977923511740561982282214775661750227393934343873513449368363400035725165311674560106116346732937018620605704486676707463220530403194332357257238850860523880942741080642440727550734130704735350334272945523280207903622886245505321391862407719924565515682011303118399903452541119146665029531871375850677571921617794274465827637970109118593038258167133032304095887546962529561194867716922204939154295553858767126990983503911072690315924799847314214406548703265376704271367604037843714521094883483388817646809879835129584985236679985559887939098678764264711925009446816870976908931575772024246925285018431773524100914239229739845106578952411149997819942806199531864643392539968611372100217132507536237872383882169593304652298312605982943409927318475619788234730789811448543402182614858641837818971143258477804900315142579643453935261888699406840220091071817523487326159619714662327969216114077507635902482863436613755874317723304248882844919627496106918194357163283759120053096275299233358516940182028719223711569972081429762772235671943137473730134254748290980916323280789550890155615579604636135123610850395270094546234544708074812870920711467837713331044953960807532682961699205011922362551046252232744981252449282914968589586858985236619603520242847368081021856941839847848256735659247714148451542745414414020930006457997310393806163794419454815248066482790496931764880761382912568522017862830383004966037564845933391084706828008356593002326559491637555526864707727593972891917238811304968480494719496776502957080141632936425589384054829627087603041298349987211664511611158413169786119036698666205184736561132783625479669526331071438960208738804923231905088391306973332288373298437921434822471654180839006632387791208624662057422271258195851050067502818669682215805769481146816853531138980744693213103260595235023039734471483455501936212236486432607465326803039900779513475693354036381453461598631593779669569762588986653537360937235802594379361075838704632581124737442605832875884524190276653033686254275266312477989046177101344871724027959276254040851820328251467716847912681025582846051109873200667403645885474870116158179304450819436130405907904862134075730083882361200231047532314669192049651905235778858206939710467547081984225183230638484781865548717788193325204412992983584357757228930063206860796844580651795392484748119303168404783744165851633050598394347631291239983723543016734744629411097898548632342257402196618121989557481543055651991922267814149670714796271300356296091251414313486448088200001024999179865207147888701181473261281907601352356751527591800061495288207259393001865869917256637714710689338246374898791268173741341818268816373915561656936757647896513732216670516157362536385095874119651097278017965814147220355181426880627209123113453596181833962300438702829122577826346891811332398547747388576214603721249799449636523106152266616732555427589071754786416001607343839977725656559488655712402848479129122488731529163939525644396490374829310716697286953608217839345505869032201363469711033788888439565816775898902652100335238879951700779951149577247280098895835526038417700311588393872168247721775617282371516054358503485123010624710902580083899070638820873482793584086612233095848904409630741126324347403560502453801062640103346063306804594685993724614260561875221106460260751811089733811948286332176481664746081312552124997301222882932611183473614800664712285558380280813478452536794816530440964990361987660813959300230351191578218323853281969968276585853771192671690534696899658690615384438055766930450918964496149272982104031414290951779372250033997932809089705033021553244431387567773917894792164906561621374644171676910542210040367483088786517584580964767329939044819768967620562213072320565771833935122997232592358372523906047774414647348405411797387510975537146574864329877301903530035582147971493012079385005520122598977239975513110969838331109420403667526474646502561856328020225798394294437101922679822483991719370795967588440348179549238552936656370005334507765415351506386057238620617602433613210695184672479980261324645671813930548129401789663786511254084065531500923155469884732413469891077246062303696890528947928381512992176455990380605091708720137055595330108815884647182256367780411661968017503898321734534715971045186695280175851725784722857531451402993227780683468616226037474066295223859981867684349775394821253236862171264688290239014143680710689330523654689160127921569562175029584034539781016891928972772003730007586344912923075681724416306220378431934596666776002927566485944914503098841483959990930653168280378423310700122912133662054908721718807919812734356583367487935347732087890871535486567137171932661147952396722361238990876358803534737071562567948758847162023739317184872663847771132392874007930132859470038139609912308435059334346914954798276807478371871243446335540938296005992927331408472575123852265363499215816504204560381033750322403392009689711054857825759564563197734134599488638492763223281678458334278001286809000751935616318304006506305957093049561859204036427431574438915476722455484560806269392591360282311865694293010571972998659838860449214478340438148762270126288021373069761169586897722724041348816962686660075514066099470064126243129494981416395190046805014772216002305311336624494222040983120277666492848435483175624183895381956140654054835923778508326622826418062436526353130971039176348607847816769423953242457809966925586330852298337544271062067727798410188713953064557463905142915133624961847652328705286493622441711362312476831696933226756001191875350655596569235207832147415917417475697686422327149957091273313963269507255854364438331524439259212675260645375616796822732608971360786116823053487833856416717291924805677856743012437155904070893725400542803313029272598070428779461278391929148672413352328666340844579797294172677471358157078201465154025775804954101190833862331038890842291095516321806014511821730606964206743233611679274655341493895644531207475247260867647176152407608727832702275060304012409232700456700229393841643021781713482846718646133896996024928659487310485708180575562122173966992496938684290202528947420968907954949659177925833086838460881611393448959184801671538801226170303395753682974178641338039292665834680032519661679329656902489584872382933688638864242886752881108969956939566694613297663474267271779547790804202343646564341744263027081251081515881344428973628544723608836132701150190044864052195064929424653443974210406414392329012601446545785721105599366418610727001114801671137986437042222906394107093063059154571800473090052833633787427006620292382007197398486871738278512754994270991565310273343335304869543931383663359756851489990151980835671372970239632794168766401100198820331205461973081470380446152352262264798962580752618875720591321675761220701152153138700866051294790516492571643623872832985516291911986964210848128713762052818910618537103452642288514162138343687227776201489433759818669955436582494687415884407920867319411395001650871985286567111223273284523148473268979332415770780526855923923998550667995237810693526143653383230331964929169844356797064219635556186493503030956671208048674628810915391059072130292089647332238319896259318235665730564643595551238571773923560394426476290428365526598266171477104661745778366967439462596313966498177819783346129038343725168506794399242854448070465154043089543490899906898168439085362168453583182103038376799741216748079848402962923356980084884131190547137668568692687747904917909286339411309550862292921727018053611960998298448081728283233198051577971337708437692330561038506011239412813152559570149689629570844164996549877973728198701929197917320084806269293166573449000849276085083193804830330259510559653282395068755623604222880358985249322911473207698512779034121063299570745210852723746878090297628677153307360922486802167060606079107420022228823170637005538413654892121467517497694133209271554580992658812449023726600742979433793328432397210669002574345429220404487456561533661300968701409578372494777067605190251301060575002528562693759635101015257714324712764562358125238223801933270591799001563997001790843479023617442613257031876529856236218200005327368950287801108078684762999033903678271820643388317466541378430579219149428731254015157470830584054676495050136238737720342956345552209121982747336072088371937359202860058513121860713787597049829699701233536183010566604577010430300082041603985745384376739122823309177791260301760960217264311947856996960941395983602705840585898741405607114897439175615774898349543108811897963503461227367182030623818114632443038918738369588171177584265690155222829426278397935698808299809345193783701745428009824237616826499326835443042364735432363525493835671319440673779296878712407120872656636133635188449810820962283560862517338428782358884722690742490508851409569833781644552818112326194475314885998696257587009613565201000831793646551198991868192911054612670520953640875893641131911013477683180566891862733249396018890225876605656309126126035275325203756932902366207263617058225257522020036519472946689476222041144496141101327065397129711544780742059131556347926828659867090192625195223156807500482641108538340625111751619799755273061819868709067722660934844302033409754739378478877330841906181838413250922627494077074436165106863029781751604276051841329674891158723706947212555926451718305618772493109563790285571081621751505170641727080802332382182534722339277081477283890710411128339471568070923350295023253790673253552971080282345007917649346791613154552393090505278194341898822488249469528107885292326960014130439797446024144687206543703692735365780246167091958123168483189997044268182942554085581020830571065150775747456173792644908366458937552003934989087318748313009852157615806322028989657910337977015821941681552041547744232829263551601012741058335206792863499008420084699291070579074073430507915373383308952935344032356884212126769581126565587035330484058185185762901985805692680767903443587413015764247876287328965540738967806479711788695180576849434646414463342692006641385932819047064491331636330504004064141762954221579056143422395692130920314896230272232488488082165628052897989389745595390868390818614220102037056397865045086399504495929955500772201331390229541742573515013511005970068019976207691758695242514016959413186783291973622642800799135811849353389360365409432340925058942224593712518174737646953075983675700250071888633148226297873183123693331353853506668937283630080898853253597768278527465094916993647689186567064631144431625953102415145166496310184521414884516105819066863761226128909683992134486123701332048744786860284329870630129273129990372132280185147089945785368548255947100804172969042841834223860080122666397375777324922326021911689469975051936230064766588845893035398707346142514085716613983151886373065904020588465160972390533083707489504460331895704625556408758848564052934353816824454574483996871702051278698209482099320016886361892699073132923125067852604386465472703849839140559501759947641122303161084871440869100573502888400052099812185557691370649269339492922456358296543784907697947336124498437565245220130571932003927788700441097641159446626126728187034413236680790814261694372389872877610571833108312787361731820984437497354797698363218090714234234299802355162466715611572429242016590653462473942700054967774025858189485109277504088136870362709326486438871368828436178832534332137250688101999464773108342669360554369502993170390567779104113820180103936821864968669489393763197578548804083265763444236165520872396926431929378182102914244471213472879724054240123496920819130576390115172921978716256529202399021398621794139588216504479941267980401605604624093118373774231399848852672978862558344785182455138429332754472163051661933374154398572604869584669977670892790002454362865931375617396500613914732614576148865890456996645432816335170456078671793423202320270409326981224213515256647109904147901102225358447904879008929833763206918975274108845214214760516137738689370461881800916098451009528383567366133433392145997701204525685647729440256134591862763225519077006599191512726308333747875026672995146456411287898862519518076136740829386220978098975182686318353919155384047479290401083767515687876695688020697235968195533561784935805337798808340379749970839692655031790852532483878720328404533992398419434750662412463076350668559181135988006244594646317087845223962137981406987581390089333378997177289858295820604653346082763336636654924590992349988336140349119620513446505478502698709395216315782670585004532838897252009220175550453863566655937680430537122297873701161561300722970593504294429462045164364127567893262696642843163955803193266763509452032503995905763837238973675540803617497821147776702689241679593805669424006254706790929445082240595343952290907025165655898390275161494212144761600926621730519478647653738705526541055865389857505153883057704974262295521123482673815109863410608887282619458379338494102011315866993725465810104014663974857142905584494582960856529613063013717924581498898364473983981638888225928058351768201925043043263735455925425076076748960158272389029833173153858661641422524922196354777879494814728878965824541630467422719961471345359897051874869257166341922008487608077652466842298278497598354064157048861808013280710091949886541672155643055986851057948371859471796417411336678378318657099847728033985381144929089054110119391843292492676818670063301301160519508331746317467243341705234050880787996225734067305800028555389839057829719227470087469453659502931300091622411845214808252931126023794451037637361446933035617455589698131462418797160918675303371044103078618381560631229446216402226038707883660019625493593088274612793307940616810782660103200646047905158109185993691957012491890094704217800515589367164890125270725344620672203463629496103186188860002600337985066338983656513421761554769488663600556919223741059271518660910789213828665031313631859615867331706966767889052023524258052142514193716308157582398224792462337990069403939590792916868853188429171908370777148572633082549593157986912703065149347569550236308591732635029971922692133698770004564320041991754558966825466297711682820789945354354114826058180384268279857983297641428060096158372412742030098888381124050812807740029466702170662244035977125399791371558037227627251944382914370451939602415745834694530563929495943572217307344999881255091068231921021792551899302019746808858421822578300526498794765805041484926669078316215952291199419677630445862187074199925225830079131047270050041478924459894245246099250889365424712910023807255511206181188201759233431585959618390932224780105955951015905939670501830776822950326159020612398291340692894590921539644839950733740826571622526986298117444870668017720792295164971952386325994466664535483200365402332554340906840657341786506037571937479445211092293588949154182584449227448436404669480673398961929857971222671280068650778890913025692811529848092623183563684996196995825081342015818280317334200466770093715546006809829713937839069452173937202149670698268234505560597407455535856533247707156179766543492548144852628463628362273505257157401982799575821050744907655488773790081675598912298438225393507115593476773071115104039524608588972385902185665802899559136484927880150294349011776294741002146992817762891271895749859780650079022096109755581958368192977144720303662725862684426433193334581951660306878219610798512280099391185190424918530972417635320082085927576567205827621336807368932163673422782275639447973474679142661885119840392562350932786322464941505266409056141888577555011843209735002298088474956718600209038037063785735760323257414089395086281653733766449527674278286563922438585065206652506304373799859099281373638769644553695527039411611190980616164727779999515198394571119257965056588659358790662786325428799079040879762850167955596592994157977534452520232304938718525812639026092908158019599559288598593263246124008195591081836069218008673342237889078519461900664435203270357357670307477945412367503325039035759752235535459034816778502724491840664146598331130669678918584350657771121834047572638519708557008815659955501688910850425717167592256613441447527739288882446243160963418771437853477098311794654722630197442115694137014517842871773742774132639570177347774662283724200728035449590283000675096003951121157960911680377065784639837005283065805747290824795383008202933433954474820980908144862413689816167130596613839188336889660791530623704705020476144566347657718618717582407044139859214209859821631016140071297155126928789041469765549816874968766617621912715482334595729505988091607314114535287084394794577484881308149889810600658802923868759267910105472191242931128463554511158647816728742073458402376025001242589287305522290059327480937767719403487678054140462446285127523381032466828167420117033192112877420272436241862769804820083764388632529374626988826032336913355860044835719109810848708637794815523148082552331923959824043187203213282579714834705308382959925024317736613189326230899051989017062850933282984963951578672182389451323385987960308465215688478438648882485828337233263439226469021812705471884605308384746091370735324745363130040806145221470250455243042258533904846992741867540932575309698347415247206622477552047575216008297835090101121195339287928143268823359039530123159711864861661316163645734653559175277013873967201178615907009084507015913068012046947007532110970245331282870146327007682690406806964566853608821268336658662452966872795954807558410837084529847934696851886454636613080924027768887021324808150711143217132066881339780419721810594999468240202731433771470058096707999489192257141484530455684044560888543223689489822455666175555231450331071991302170030648621012543847945290165404104279951998325471701817093678998201475155119199482633493701531525857638700622662297103383341312388201003177203118162479162760280878500483966342720926826463623880603493789224422761188465109625228369819851155583492212234535670569777138293658350585188988445217778901182616722582285696964357131438231243593869623228544600907720032575764423416367173492816585734446190426439175959731598435691829482684600870365815038391118312138324528563537102724290020533644173546046312521903438896677588181483099716147281716885045321936059245900792672687054841447901643420173559032914250798014781467094549536108399853302978235943160119874190594768846676741402249633677318824444727621914291458762157166860850336534896457373999192571854858091514418778482161333766080962239192310795044007856216199929439354615327191406820615486043495448116934644348798745711891073525580286547106716663439519914544066185630335266341772663603157461035723900545630979321315211894109434614342492311413412566961153030832430490260198576867754756960441231210744395213042360054052569667414776878591872853202657679912874975154883135129122877043632727977700661172810595177573491636134704805048740219277522046525683504192654182691902779339252682170271567755588842918123988147364288079079267943431296966960245653844331321260611893625017492977564761152782972618273797660716440431725097085457174305703598185166144420383457192545952627054399983569789558202934143107164356563547929358447801893645355556975548191487781901843192952640237581103386326859573312263689293674785394149726596572141938988678093555175034392800772843072987440369579221604270661886389361692094652674207871411425853680537642071164148803931976870107481368358866264888665450823574048896572648176741092807176016208853539716374679142653705939949610651075532148200774943382386429543569576477889464102587899242289348706161447607857175574157623289614933073842588791665262061799616311387506788024255174960305767573419550578140797604558981197801148121853965310564767504090214491344996235596670970202605763367258240437884608053932900636776435193271172653933240731757862041559567752973593188948726326130807455048873999234682182627605026556865828233184872954914975614612281990974778583001363867428152597034173914719600287899960118901875550270370371102204891712680958002994330888486228357450829315230578743164418962521577418355413851493209045498834232560611010623805244931560518369145287527737353984186198479080265235845039723320197799466751067685307722412390717261166980006235735344294435260372323773297632569247852488360716307940624804097159277301366800589332710019212984295211750660328009489648834021493923747039896296098955462319384232966726902340187230135019090659597748466877825223851160783241050646950124873608224170896311825456611611829949076640902326148990764163515205250579092216251790179229412416100616603529629099016011663949644489154791559594440469671053554637272769157946645893254812994508163681377882679690360455081629784076162390515259457831656376868275574192036557005845705633840727264855318610747995224398252043128630834392881213879220199543419688105726978540663079093087699371115486630672234839305189567148770580206912295208052123230768242668511872248245547125504177051721251835842900096486107194788381346456745707857690744831170910676093977590139929481751528590309106818700207625793493890804128586494210950607722988549291826995483305893223023559379219098105084014532240059093328566577314599754613098746084261686178143659650428651558637929123000926565682296670368569025888376403849753681959599248356789361880422046334727865590505384851739725902322429928649222681934353560775172574259818126352457725986314161429320100231893232639687039431156281592149128392605344950246753023711569937165044970440998098095191131134765689961371487197863468536512790567140323423795234526691684518563601217300645454681767685228542879463523047485450199283318683684295626718516788493596171577787297007860873560408446533175771940386774334511821985113867238088133123812022312916600908069971998751217423532702754221833400776724313456905745079238154759395664057722939792612356384821826667740441857987942931611135391227666008669786726644013530851022414559411501250622091455494541430539208420622492808531272678529556779274656166931416373620164063066352851300532866276395564652134149207517693076972357129353749558534548979160976951492532080935895782158948863895973724412622693845057207323435008025598901445813063783441807413622709677112219306764220162837712531834585141793451779570293502402044583745509356229186801626558107451397520794458156872924986468047485649106642802580366474459811176295828004096349963955327257120068844695772631720929407968721955973639572419184227012149214325752688874155211395130735001539853296588472078909578054744993234226412574210647043517455567168807956750606929834735731558787023814648278635984495565232353521714849685580071696451650514284305566659946271859923952587166804400538408426398086134228128501529792533160207849959614096692472727966647344850095062782612425550354975066287728453889162509167363088877833388933130102246280451934060866116679886836506369631981665044316602166660832828451877266193666098225133381214271200781183904387546403428189101612968218955575336659984163775929893027126176645017595297330756623699072104383776699322389124330551007074941847547042410009901624521211923781213067019851108061704106287372170779651931095015878704826941492963052200138155124559067128928691397691743188186190758975564562274695096994903844136226232002003342199210128828223088860468379628101283242208391777661539743570134584934606487493853291016989006327078955723533379039020954276801994869023671945340351937594771977528605707878624721980183874081378312757400197510267950851436097086293459094691437073616761256796722372523348360532330785767587955943579947719828203900513690429867133770757170631087701039380128579743856959456876447075119339011869549864094229229908218934907851142353880884125124096494857728979525681130945922515161609808512657848702848511863494128016534094896557628675863151089505685703156255389693817236930676767711774740128416364330945395704145714258547350144481102338859683581844102502115944147957323436770191546997411779072070982678562352064548770037359362678507993644283023488800428677370346028379799853156786015907349350102386239875229564630323536880052507240532245787287059619659490736636946728414477081912819165655290094248341249563467304555272734648416722668296264474194589571337033583347025422888151115568214736445272024609345210351801688411635866948985806634970397292398633987757247589584472160224503594708235479862549827234979192115192662275988039721821252870433271577737988599318562774844719996311160637967508467941768947527363362666662229310514329855716006312815769971337732216637433421457471892105891990035811944600618833595808776067264629939479025316505764947405311770959293254590014333802122294195292151219979969842827316767844451929697702264741516672534306228483939906300804558054152212985813700702848692752097209646954984791256502908838139228035718051040380193451601742827760843499874296237129580512239035046770128382202173965879046975719017832683062284864908982170872363551488144591136472488837078149801265641023444059645281312462325667122549330128017130599642823027478921568997070938948727798239161426781748765128742756730740128649876071712543170381429560619358020794690660045801210009349059155714882811308590789715532475272636190674677232107486002486809728543665990707269207868140647005604288893240801421387636963663493162027656952750086549304886276155874804579297585382601260540007215464128892791058384389873487122620806941664860545633088564932427212900431841545346090726545024723424884488844399397893275122154369516466927785064438377929135695431031771244161655391206670148640209312643879647218136882717667969671422171058771836537033915483437775258812278972823464754651096201948723143710040626947154593613465721800388253330786659320658859714534661859890247219776060098513254455170039801229899870460696899135267008618326839368835651269432999200414699225942445524527195452227811156406542401212313406546672073975339504122858663193445057221257029168150703563889008679195230657257988065461484447584224177994309442701698926763495630039888209816315883862074325271682057484193478526552330330318562057154157195978362619734183270280074017032623666862220671948765714611324524509264717975167766522325653730790844395699583699077777026124419430523595179249807946892195344869084842680091713406129954514350850510429196881703473097749473476281129737762507406542464629639857872337347682656348135082391953228430058975293901069854423625321144205562440827949641620441916748060924974570398810172120234130652883817528223314252533817657210232957006150121792637988219489469526937961288882586265918132291849457435245236420136612988323964358072905257883562859971433371736971554871842964008410978432240833599493478578239515487532168238129388533779575347192181192803877595480534684142501836831743496061331495465331362406215672678172576621981350132700170660829614404718510679966794198893053594040087740189914479803847290463759039671402292527664461168558921927877274128158948128369852449506720270478112833598737721702429479341233520270357489295535138525867254341863218873819720015129286594198439113277304219375958444059860435913496819139394508557174385381298621226302472973947391620859484696818666212336097564570488499921144173850871551200221788638656768256656209174052673168143977097909879273748143917322566459294779218473577491724873858200409050024594692874071328980389684089652413063772418681746069618438114213717631602997553787603239732496978162360600856820827321747724162289415813954142188270891560515929435352839707453129655175693429082583515546147832329713704789849445135510762284112036491307818644438680080722363128909794888262375286556553373422952937569571135170028019490540645109571484653960939071524713121498326331370075863781650707593479222196732893925735177581834478423882911969924775180578421120175559070797577464241262093135454652315770600527767048012624402671238532780834080432008575926778517106397846771746447775012763943060288435460079304517100878124844900441668515551985520954590614878282279429768687753496136849134862206475967319742450647049117578040629358397154459454908246321852958880143875520030654172806071301410641504177034741986642535807078518690222022994525208863731254878949744366586820867859192901246640565715886582500526265472632519101630801294286111176860360426961349187804554095530346207911955273448289157096319911194856777223332624079679864909836177710943795666984518403055818891719677256034889141784937466217561617966629031471348788562391957128640258973741805981392736335671770731152902317989676770083176156221508572116223670813612440957297283426023697630980044450475481914338942050168223480080888907559895952966290551242848915768786694307793513981701175989750136236001131794829364303893760494868839803191270052038947710542952595889893900964224260858189270601581332231800650183084444030526395948866019508724175945914160087626486904322346567092064007009856900508923691264833865590626387945328522779156023606447030469477411386344499896518856953508090505213058057446834306825689966755726271134388467040578252907039538465330124340342908973029961217815211072571192724234563646394454435807283231951547303274083261674317136426905775042017142155953604679720842461773105021335209745380483608564935568949237533593370577284655631606512001133721603445303788443535079860969239666088431319262119006783390084982249081145228261367934902889612655313887898743593437478091437172482806291071401668808530790857199866220047219319604189979648982336888050681179266826669722032795309681691477235594976568959532616345039670950019839003944428872428833334260947893198372619252899125774319880301539469648402615058992681109337728740428484733312534017725550467931505056393807866132639524576463147867534835242814957102051430396680018952334462517750468993140497031966589498930809100807157015057357546344301109314545859721859205950697321509096890595093048971390698455000630713084132205011549463447371089126678143418688057770689002198076297244153694389060021630065065772232014502018432861399751186407600468472537707590477990984080273676387709917772061050423424211286065047735700092589846804461220849821532602874751516669483445898078055217500731723428990095300164907309667246505967475633891852187799934962399578930323480153399854462904189492780540170715129072590897970355850215895756051207593621075765967064050924409995888392327576775065699726103265450331716841566978535271087929721554842371959115454120856606693216124988057319183365869560104867085722903063823669616871114885261089831400656853952022687433215853475453102769533592571371950858711389575403622439675963514695937421791065209551203225631386745597166965258539955808784722961018011334938985794133204081487402999418472789418856353577711024320530256778733794752719998192931816800407732407240074482485881432099861043859188847568343239958022550336796198901651362909739698408094204851345155516393476746304948686619142820974010049312648761931563023418227269691183926938450693637651118480925868331694013046062077808297945680981242446116759792974408749954667634261133756133285546035390448903425305284633210633390709051033376212373697511408502260786988165005318100286568148722962994337580990158946047220078722630616908831294997203088087881685774227583221459225334437171542276611069529371254470758698758635029555762052719061869746312183287792780895227453853694939903563511414344507903312835266107742967344530692576760954199933737587934479700420442550851140784520136042049879399519489856087237218420120244226726540526897590642776033417361296275335128130385279360542478308659257317491497056009751156811511249305055128993680884768600194219479397167159897864185015894634201722863802827021149728948670900125498803158547188116607775125405884222692314705970536022771471735414419840912441102973866053243613381745310229379468435322940788844016021850044344697324448496834484462772796024820454493828834392075387528375319148525255192239205316852628620257415624851102159427853996896135234803357562553887138831470481563304109718704574932321234439227570913235970997019215312430265248324549796741874729069995798075495413785148844818798916347197446696279650123417043644226065887023904187624295624916530960453087783439566739839902311735152387642174835003556759938569735993577800372723736048177759757251127872759304036933218728693465501328058853814675907007333098464622167547895754577940180881182228189071729950264551901768150427755794188923764058716124150581437220269476070731448627314188007570622140103384473859163547118628818409131125236343444452544938158335333292979135012483042622247863355799958851954313680420235020866634347689037745867386552257728645639549460140901653817170072186526363518697452000957213446693746124813411937165896764083459912988887233690771358157178283732524118035340124416715921365603441333873151217104163673425087197844569030744384058215303593750697684716190627774171583295669478845548259888171756942725341375827504769669542834179014757713956292111257558121523620222697675536711558715570868844408045365501783386365625901846298342149926537687792879959809171591987346931699721253932820479654919283092534747200333954940660110919907085135946953410046942138087059061918822429629209337256633307552114013625658245271253095995452420179406833375117698099886180005170182697865923297248393313553169326176983034689069669651680473338252815542545722640929510388522460574463023203906909030916001594129884319997790600932477281387214156407521472031098128231479009018131937274523172231661335078867951138986695217316085876749752578302842127306304919732476485585102977860516040866015433145072793784343410858750656495103099841098443595193828212900329370972672939111825854662746046721904886249408573886127899883558373710868276152772675985338313438997002955118985315045747553502731456302679973501943616186922329242226786103552177787311487334057006022657846411844873169726515008904444268392952468356040879388900482203204608806894870700876997815671543426569248840885622176046982165282090884404280416320485864101055713561767818604619164555489295872000466482062634165724477390853808436162792411365171493268647290694115064707341245312309066848914732085593721567417555402695966293634308198063789085459071656490882777581982308416738664517607392276068031204094084696360931052076578635060582703313101629187555052089650812977114340715250029486277222498131509102559011179123863514267527594723863094051937872415676132368631677530671375337802037804191218701691105308262568349360160246093127554678715205629722877019701057861022466769749419710188172121918388030905669567366658748140266735078679837835202098777496624376966200132861906763471101999134865523092432251736136013306812669503081588863658443028459158882486988260965253613600384154544930381220490202587163846662830671425498811264708843196843191821130843748223636900247713444810847859413540783669501658431432740522403372746903336730501316148153104608759811769958569668036481022967191838182693668656707105645562068429116154501180188907999078931299946932271168250527398165452094648651781796442858299115065716564253512903698543726452489527436058492068889618296886571944441977843143144877340647097902507295891374882160443646647910835907887502561983560790208703117885519420501108827068764718652844225875838603761156306183330439059461188145665124456866252879526254583326563902303809327000770255941536545247296341839930891391603190174209998521741026534266659349168966924285538796327427856617964909945804240884893545507431707092368830275202097722205373055486272764641540276232453234696424034346295204292100525893280219192113252474973997484962596500135883669945242125783009029913781889490426349628552323336111462903684178714204436516352466993639417040126067481543507753361236005046930719621552602737648253442262553096030121142498819643912831623214161393177031569103949165609400947519717021879663105392478308612999304279984220148899986082251083284156061817912003770482790589325799838791002744766927640225411721612075536839333901359879638788939817036738352215264088288997038392582291876421268503061647789727779390922648975092847899451216855845898880392924368986822745495672454750324891763156654951274469610405321427120425419868107712065154687380604392048519644462338655568538803500276486678999068479988477157028117925327667907071408092222829374956438146199074813493004175432512527416759844057195074400495114665390473940283588044413029960886116528833068946502159187212421420888759912550199970282300782112481935962513067731951932191032073444119380670366344392871226915751344980118062856312364833087763018311891019257293458082383038312732945174358452701059235818356078457071468008686395273395941380318672991128137118676186977928671955699236367106539973807847385435933183469556520735224264983361723941596640732358686197377875768092251269078123359830924357333173936148685315772955577189318741587221052779545058771675396519862896414107128824817081963384235662160314675079792261156380362628169630438508446014504979069259418527930443157419780749408681320213179473125313723172835622718392499908452853860315595970119516984707691713557592641187476751910963461527145215184016245980894442060095703178694937340518747504612576958893161825361366002619029776249868166175287824867372461766864140202495673977712603802130071419792369035753325083033175689372764086639893546334537336740829212525834417216497570981480118558435596806065476612258715194728054746176842136612791697087481418641641133808155466366720963132304333564773969073305086369159506212564836033957890595424491288979094616181569425162162601809365649389026619579376459476219134026132927704046885125404952683409044254351302969825762066338010648759372083061600983307926506391139636330989545727744115646352272153719707598144671666633523367621512826566656985877354420492907590337656049827238511356489690499784073929425570086630774170888131285275211220898507341732075706755172416563399295953954403843516775860012326857032594468788693728918940880721580675921960009366864828828137656968040038118402583069501749927531470310067690612362752965293561819031715584719446304695462179590354067318564345123853876718222003339698890173560496263524387533805834569252119752957531472813488234792985993791782724853530289080704884689801998094421821832199534010014880611179702957672545187851370943181770155774390474454763146144360733888345234413031651728881787884974932246270444830250568513521460652042840737852311958966805319259941535115422505462599517596398862348319727541737773835187716417517876124360988254316263905931575232149825080231858223061892939422767700075846127671519906360638911209284576391342636367368570409249658704214424653648749691774454006603253082385821303754754671731898553868714492515668805356565945609733540608786934044050210700531660108910211163226570235822098288619396757444909826921824945511433350828430769999086289439520324138134429925581687236699022462876137702840678706423903284918729352310041192953347826300840413149878742895261210981157215009372070626115104804458758233392319961586661436158308903657225777931600754681878552723824239131771906358139414811383335783604231097130850268059268832055070430818281900351847464174464055535819990154935941589417339629238384447307714041925106967675256583755691752581230612687413487021303567396323466293968311884324609266572035482511336981727927394335506615301708003807364229728739961405829079860751607692020044410069417037091556049577277849198649118163182156614798158385485633724087885699185402524665027424981630964580513863808195893251547511785172400602572486041707500379598675818320012434081532210534240906618353657971817663029881375048524678691736906439715317424514750907923867871140791597796815799046835219838341606134354812044452166550160598932935020537776821496416718426483721032558001009115225169356069716890759949610156906447651872740185561467021751799833651702463456031417556376813203533733840603964248495681726809265467850642951930718951880503421720990459084730681676416415955788846511792834882984713167732091671624869370687521823426921004667444104809257375835438356407588723951717159642041897224373437971812924354824956343770115150721903735228609009149342365376332089451375795829716120013938084527268325937028170187560712365260751011198232988516831061977121651165264304850280120200522738810847410146470904489226556419018237380411629524618096418090000827896453322824287843309016286110619891019818568385631989723794765568336602531785547065492068003435390116064874427924227852477901728161161692035241542535767456772855196241676405004923770167276759831708363207714681485852382894426997095813925213446391278447279703539599843470549424517715287274251417558457085143677522949649886000961698586713143463478024625786508106114686824619962144256529598819371774330404511394074789285716422052154069922706772710958866457074410079062964480188211970528196813081349798736997544950608322388766067048659602432908628275799610119518622154201565034459942392816798254702292692037272435486267499518784042469259918451031927667203958202411775733911084865994742064048502347999433502123314184518799070851433363047589411499643705441307628659892820148838721284987968326228160132732737634119283452328450212604889626885553982209964207936496937570733966946947865502283776332246825418366042577209837010551486963682402191387937652100484483377365481759736849324021153835441288193391049118571641247529557829146303914710597758555026044776866574595623622705189025817332025366266410666293350503967148614231237671821599591389195656356614670596096154107830516266269131582107352445967719199658163011119070823336747413726934655677693960982554610038872858809936952393465319927071796161865815646651275117727856770142542286067900149067480891584114957153527433218053490566069063042149932116508346166620440023330185979991428694106701596821572122809409310551248957450235667980057627202312623044677955725779550580719288362244855960788679266688573208265937273296839811627776819437466644126881294460255301021404157618394178191286484824096300153599942495868777030254296742631920463752529462367885509233257842962691718553678177658314535604739070313230355971323563038465075845683165573447455858388475981740506106257164994153034053308001155252520200954880933894269331523345284133840135037094462385054857964009291019820459776308399194158036530024676100001483654770685762437326500265087896707305212817878736721405532078017208238916949264676448861775092059416334910723372588211086136092960833168380918621560601305333771488962488680146892616349673274562750899829350887311821115842299357597859865927175071027799230123074250248204179645567571040079061252378767871258289494621363436616816971983425418671067056187665986448650007656552341034520215529508141136603380679079902418013847331792180573428382883780338720923932130557343919827897967452655116557830514712350645310143461312355198288124950123948148049413695258522217003500638608410337798898895210387151104410095120075660655886505289426775361373082416120571473733715456084898536311310904706994281330749679037961826257002681807806085420388973208894035629845869770845279160606536863486613933185425885224278989904539312416943604399560796566725614188034943635935319794704553402620458930253445722969580602160199770612525063176196048092142937037483623893972259227207270687134628283154383617023371785822537408322456177612833786673382622332200281686330571355230820766689688421610059057601537433409712194631484266288063396198480857257647810119018493319242959409502580308529215384022916035644072391929177486164294377122807200981456386789005506521741531374309065628112563371048706142055923142187761242476740742771359542758428934672203109167706919033970406892887474556225462167318269540685298462307625758022384955680196701569185812406026420171580246630782764362793208652731615222794250954141140747307650212376953236438853958420707368604365400671991922821593235815650258124401952752118082825432718867589876039679438614445931005840483487512262890658387628777509050716593232986839177395436863723660102060361994565043649362596722318010809486681839464345920468771330899110416141243581041524497013013028975742065392994765747328153354199067169012558897627719198114445986264973076043680994474257402993160563065858815975099277285577918661135034235117924403205671514894140057770453574168994552870010634036950891587182581805503448597162103534740686943545775971158760704999875682557441018015967695652180294343770605429539684728727796537555173287081362422917871788724244382204959941632306181271333379198210543924981844187603690839486153917449555260237041642141131377265772152856995168789626427396486195038150137925499155558628052589310358368215894165355777519508179439240769150221213973305589168602604078132216704837357151665982479966721165559603750087008415153744438932433020647136814800496277474460049345281797175571254506570565240414150288773337222795104543206744602955710545339302434179838793114371772371435117495194559271463733928222926318585517838606911430066651959119559176333362681017143912802696751154788320977967538969182009303109077434110053506761598023465375524747996969418106343739244219382220694737194487520052285229527964724413141215239981193654839727086346334584961984315845804299282790257754309224659755682262697049791379252448404121602666428374921327857069802829465760965350840284330178473046875476448789444709249132420055040355770109657393248175107862892830767865453984190174520979319761861675435913875835979032512027009393166827267370030735891556985395122645401530639574209880512576337628813501132926155116527208514059791746360370211441712248941857207525761741323288517311084999759202863694315715620314251106334938096763624413376570507185190404222293006955667794950871772991235069320048347084612741309442570850657572552604369885239699744203953888904293583009844579705520379659116310276446557665163270173761430064222157130305930515716986914373947849292696526285285403509408626624936242239240996287460436462847479843064588806865490723868698509477870412650835181697926972488659881974599660885659876715655553631966228222687422456894845699676923238662332365037184431047782654571671822962134181262594796065038082890658478120907595416960952143943066834444118090069124345970751458218159345760131833181903234545913936673088288217597123942720166485478424156895903654383546525237510856944521010239383457735838088409260006263798992908401733806172915427947560330938430118156344909533434659463247068396774518511397079908262502249642952708647131270926345407671063581564668857362436021267171423397197585275231726432325831676312061525267860061490802989082199334409962278059403953156395095054896564208268610683360364758128257100943348861729411424835580000387663574933890683383112748539777378602079425576126662061915695873702388659201448735772252231633723643365764459880997580796950672049506199851300769804253617149196799595122355381039285075023269558066358321453290989180370938085338205824426098290687571073365575188774451394257818694502922620492505793332511151479167594832441698030351368268595135083189151085025014802912326379691422686167342140483824515494089722884002924006755406274584485451352434624731857260905076193406059809475392986050086936042005048775608682373778423145309848001112250660507664695979896274913473522569634272943158260415198836803973055308550651569448804882401316662808650939849120974855262165007582688864758724326855829848876708359957898592481666567633288248571561123234884641266343305036833750854572478790978208344641348636462746968877206401450634803340314330732659333809947353025739187887023321112390676058230807648613042258645638291372258590320681201508170139115736650411913332975272909870443685192463432880439182703715541333740210953044662749246514469697665673063714942807622390420469615534179759985061501375566887845437676929147693956486203292465096169505712698951595582233512958423849374162462215607085152503588038459763624871711259238141358245772677431619412709902280641155623994227328297969902658408079825576769296135783694006020999817601464902167853416351858315124438848719692030149723636147278644327426198296229931205086522673549621253393615483529786183398469643973120208941362661648327551941720302931191789560948046196824891923342101347049716490727135432079108776143959843775441628155898708209995882352861492641763457862201509397637471203449459459125592761439736392084117730975133876183570105501616563366687851895435840483494939693915691162598171979028403183849050045953994330641403212471362398850025016256948173707806616762195134113631603289505304770754186262258339807209575991773895267662964390339871885690173260789698544711433838790126865939396195291035279007851978765795232316556760249525064936314186218812680672043690686863655490118378766914830142435935862910518572532171092293588374801950397836527246878190995930730720538727446602421899488449696378687861741495745823034829694227188329932246061349196556346796374015265509866969609878645295030680459807412625822183259057269455715665474818109324239599840585940061256906618078784529427532499766667458956604522834653288516772576442771352575927133621808408460314616797426764921684399073219684040931858560285958466374247559175306786066007978851349456894938787540769637428971514830647459151446620717085181798161235539469581870047414407469038473304310916182945182800543246293603358246645857155966427073848040170273847037220955108876822381997089572329858759807907442195908389473779115143673121629631877146694999239050095460516512364955370218539702017205632540161599105834241594813319069647295073802842649000352259394596778908007799814777382745900608933254754966295153526333424026969559253613494996675900574281635324154565828653450483978421907424048435326561165564216806256135753449011429522343808726423927848071758676842059270600392604131812119011353063597184133247965096596005316862158426743642887250778427132303384114588893156226337858349463687089546113442326083579693100389821389905405140278621164709851063406948209803698219596846773841452173294087136826275186314561917176564807591930627063917980957775274343852174773146803334078967839900314729763252311232040654834291261354709969971017430466134533169042350401151477009687762023585740903438723744803050165795648442517987579859953823995464457779152624197065477771148601038820477647501498652381781166907136255674244074329372128358056059151579327212526319182862939306531228342960475005046982290063717225109154789300913150174581482132177501498484234555120939847729225088933666829047795672719530098344948521950767899871619552061522390969157254330245767272121849155702710053940928719795653721253949846454978149353619684311232753863557815921700060740895131596505273786270158981783552669017621189536650848724608318555289595881897911685851441669922616621461030138467632997213896667609543184876376654779765464037115676791480658479666202514317817485853586865711663150558593027342185736828905589155296676445583300652872980631706769642586293269593658291287920299363451807817467818930345788115962736217851173499762687156700566355782676480771425569923925123369378985443033982896185780754067085269824083515158226272675013672168331389805332767845214565539829458893550489327303174998556287435459513895446786859684690138101444639250045871375304789185269004780766846919996723594554297863801231865829659709526050284007658180252647500332537693678728890934597905994962208039496312476790607549018595471558751650939221454728485970636094125506350557475881484677165242218127576621316640190186333882364437982346054450757043448026194158139382045542925353586047947289006086292401675453029186105601626627136387293037219325844140568795939585490211518337584525392898564226129172063212861188014952207873619567160893821765341545607793952442541757095647255788720886801351342019860561627656274214294584061530502905861979474427493762803795524432724012551689846387507855085148716099161565382943195685055903284883088215693050800817044768360843136911967948879536108891303344027708683802040255983206444429615884927970868881568069806287979037468273974778527489554678301553381837700677541477779240412063225439525217161998956255890101140030322368400788687963722851984367731378710196205662956632917896235730704181450175056515301798975614214706493907493931407743932219044856316406736538767883098081701655713445852885479065445938839517000885285968247832173254558731403061871216126264727239171461807144295381322653961114767624529000596979946445420089611853163457005226552235452385437850129065887634053148382473141362918997654078932352059074943897861627354247676053781421143810526719319081252369613160460064532485381679294992161288255752731502789184155940865698923532664874156365451414478564396580228707356305352706078824634184588479220587225274294203294821796710459876376068455988291594139060203287040570295187539832874266515796465467941639236335522324445398002665957714103403890419700480476036769322766867889553573422191965570465695854822350213605674409917741030593895347302103262167776962973158296866778189322750722175376860759152985432651435619424242925520663732887939651374335551376337609204785137103461061977920937434122649425241423069399448764334550690035780566252386511249262176452074704380267934282313522706001868396613052752289113711558120976534244308187130062161118626366789000486953064606286728045333296882286369555807969615412083581825280281984722754704554344398406782765535059017556090689815330373807117766205140738764527136862763429190174062701489375964944045806496744712574425700693643123973904811719010193438447369809465937189691553858591282847356775312732224064516000212745421057873869921588385150664519199776863106491626676622562839503629240487709616360085190363434098171401047742777055402255754175140060332048583135992914822492201797633999888617757310150513652428594411339726078904396072553179589528323876845760301637679470502541163157467254676091209532945091657426711685090375187832462263910215405012478157091195365021025939747306215298434776684964202115934894856207379863455848060119619861078328980965152417093211673137350437895528028185782135004935661386649141667323982661492470063001758642403713305008127896611258097256439500744892011113422904699583672466696191839143979465348222174012678558730280557424486661536217274936542822395100451718201801828582124012355183578400553607868944457575172809087777569500118502460590143623691751659460302200913582390350855792074221347405140029963591263285677269271452325775997133951276420395855400578939408466916458080604638966308317665501195488195862536583806596292639591256404237674587601484557887336472390961773530514811412732804680225772237738441953306181095841643785159313272728569590623639215896424542189205974381142286140511753138749103476834347514808367574576675565632280345000498348873247487600393133859976611756770139584557859946887550176880630217142070645232114940387726554140294047836766591556691245919044565443773555316276596019127909903699745843304285605821728632376749370611370572373828210104168845633851298126257544458375832309796217846391942574250687749538793393256339373635519914780250691408857431932790106001305818640988970432027741840526468715067859708807220741249147004266236384067295342301354393781015091185952581247197196362724306943100733363639507596588379522920928812550706023153441721556572946937789316396331392855460765819355498584802709354716069090154990111812518856859235731339302239458846070356242409732063219185688631449287406004509712697886399969462984505841689063613827674257622845444846122716353564233210981798781752029460857190323621024164107086167614845747142363009737376529651558243202539422523738090937399713932811480591844383397395559470231561401725742283896524462117906927503453237562776463177947635542860324617183139574976130886576722123422125593344009889735068766008607032514643198764461355654506418736390854250477024809977448718425284917086630494396143591206532238760233088477310094718623932803748075281245025303824255775805756570364141900857165781034728948459020821266144341110221324841340867865541620478589174916549530442079278530267098838047218506291864278043502641235207636797000180424988827168409337234817826715927301266425303577353642080572987918331159294789048113119551480193992118446387702110370025857983180859107797728000233829057486822363726488836659255880894672948921474086419302149187544388130536103026811895021536157437048814950898182418272020684002463653418505905284554963265364464126334161678266743075938460639532854436637616948508772469583412159589537037076118623821206814246180539980226443674095984897348269271776096127429755560706653976425336727492470653706303750484738436375876160356826663464524548308826806249159457613960278262425826408552488099388878411956867223135277356500626214855512404429324233948972180734237429549056404519957505867885780399658382248686255468616285144636157518803012237221847696468859177076416541866014977796287207574234470272434892110338546423451583533379699595040062296289950286706401444007573785072780749395323169123726936449676003890051741835316827598069208558368710818701333712973706607478735742467217290443054306254329841799714498701449623060478843068865500086417950253825758841760332343638152923365372113143261194606674542926759547696726076741767580648452115592272385072728639567366378825594159431701686313555463028160869753721751677129513407422408177492479824281773595533745698002523443765581796945545427106040897334941677447928571225863990028830709850763405988154031114060417095373729639070815453911191157712069081035520944736710153505521890338681660841859403496342391033269005878495124826176020875008734604216870132101126312473770009564842297130981679516813229421669577482072786440135779468213049146302466935448042327558331817044340406709046022695165561050318688999672807678902651124012613258059173993680208847267652875475873705889156108040373397751387766091327566705118082697519769155248196247735335574492544826014133830454522721891608446672252608221803658760165307073263564566362219158284126087346704041593695887499302380326310060319077513055757927442811659393733235195450609914910489646067142628844619736951306497147795291347683113430103191817981189040552928088656423415853947338023670658386373426040989824458702856525109469505888100175368117766175654750171043232932124215461647297845749167227083954523229535739885931939247653757550697032758882700429753099655929912143580834218880090897817474153760117867081209257323732440422440959188443538893854445225214607522723494597994946114849911196192827148624662577013162344781216326762998469689526784397461141176798072537177000512178158053859531388024795452253243933355839542383825696559576182514296948672514974436095151847468920633122268269215391184094854369055656973118117190778323736499995553109492993079832577735111967007154022890189378847434942925563469933881266315393638534509741955897412522149847638399791090480428048926267059519168117992727990229227263304169825748409599660182029856050162533041028825800600918064594919222226125969961047473150944623193805645834155239235139145271723307505902163224798619562256094801254823148170285756774159451992816304812881686215024207922091009123922572152067368091830775499650938372850945423654869619624464433724181190115178183503674331542376600672135046221104622063138786468437358873742284405278115785316752649116878571198896407940507532691549145606991821930225780205756642770024539661420453479827832315746387911083481838909492120675039646846555560701580635595527519548349451856151274102614349837348890540265991129114572632342440467740635835623546897908246275687232197503621701926418786828843141262266460473964555005715071006100557274835458670038149745017683747630684662575105548834773162221276198732046736129126937197764232183189960096355694955741129057290092076611941668735878883555026138071613227482097762148579842934526599332492219782287938750609965135476058033843090783551785327908620301736502373714531620043363259910838998211199142412161578572032387659913977798335296312011413797359451780700422914533566256817386182284355376236762273841396898946964770152680316425129348576535820070880007451091738692952270156791255609207665097035000837997613274226262462705602807558280504044300738588722413002383014473244887352319549048639853365088989901456362125661237056520285945292642778115865636445489766992332018725011232889547106594953304357464921800649507637614001057286549446947761786754690574417259738813244367917449678167945730429765290540518730343890419473177624465007043021256911891770114012446549044629003030017570363159378377198455257583064922306292919009444721111870819193110410201189154593788739295034325305884500946479866165947297299524763476836516126429012658418533684346707375801866756509623294192501806678226091241571754117273792028937509447734003068680093232705540664537935969860808639049600839207156558900132227039569545716771546156188517089594857992149889008045280013720381508187369239389466135484844365239373106926250343645142330935678558913270544013272115931231431549957852063677296953231715105399767581116709991660738857173974889130020260498838563417132388920965777720630719501569676565932898892765296798146705136665284708434291317042970821105213547916262953871852210054528273152293975862245518406270589281872179412283810104031381775009343110138884651136182351747319665984116296112168957094860665169159518452688594273404981954551956410939326196606343850505604510655903508685626908011298341631250803160813841678015872014323029652183798405872702884361951759677585648909579667215899284016044862949572011001964898295747726264224626550682216106015682831565626637209371107923023260719556259778001752349908305271390209291672503329775356029589460633401453601771711878338135396269280752666288007436621722387482058727458194065370299921713054933441052689607539131311911370236039170690894326980834070813720579145413543092666854259062080016864446415438610326659850059634159863818490299993307077360776963071042165460361997296048825997997764759832048378548988373255991289140573140026652797677401390888586836570662708884895228018360598274190107777617048896703789089835235379043878473092357165448164329916307891693887437088983580874886475798304665246619829952583978352018379732457311448198486757991141996090165165517182241728705583270494856873041256699547658317347733804567603284391549222416520078701596651647429987978093129548401870708388657808673169007578945687819882450967501400672765460021159598506538959423351033237376181256750535522262880848098055284150327751481544744338910544440199442304732175027299477181587701063051243487941026821777882549760913082532307262824320175357627049196785864939392484936904403271103900964604333688440861596943996400068574113638196046420856031020571401778953987960072920895710786930252795232798416363417336297269079972521480923944639382086569890723040539873069374691145515838672502702327343747330248353586427814405174426474119787974547773959267507692640027155278707087361328235714112199633117053420490991983689711789126164123853247023479061463744798611065459938390119491019654227178242015014598161117357552876321888393533032694649486255927611551780390067201320878275020471880579428377109443610297254660051380218656986548387629881743251631435163796641171592745632491778913215456086837769801986138759992909408562543476562945029858542991664524534770949127681433393661328171340798502154125988551796841391070624386804716504942332620945286750358808959756205494771300538995231109364462392476982412707972531436850609512314191184615552646620223707449099954253493262550239037935203631795357213662151141136365091551814568016682541965329690966268561612349043278574812446065713537886425233563732729702143372118963855008047354257194770737494045125786213426517406962916915471136160851100712321037001109666814827580441221033610287119681824895005014020522123590145365564291102997295609710840086259686972300098601987440975572863644628809528677964371822120256358117362469237946647732931664695754310737772433381180812934178176788847387313492153047887758569016581633011644717013941516562736828452578868701002291380296607369484725446799520070082926445514487636535117294081889677825203712880311019440443127003545853354546149532119411682678357313877741529132521026843681907035479974634744060698291144892218324281354971998650560932259243644986737782209143597771459012098742984926862070803228187397044281712808731897577915929249776511921098502942423779860158895946806558073933780488537653561826759691782504746949591248861242602685482519175080049141656597167334280867658411065577516784326517234709240825012808166933505620225157715744539489306730109589897760227993086830655186917355460095037316368111348710543634124991821479558845362144612053861316410056586181012239411850086217791291506841632939856621968319965651031533419569033671705691068789270280450900197118274558225534470996450672940562322174000799319582299700544285406174191008986638128571169721579347295330408735079979952555298970496221895762689285598737786522577884648529461963381425796023775943149974144968646927087990986634898854457416443025898496473377825923790066828512163142386521141995034340734337568725103360703494438914486678968440528915902635866653681685884140731829266842895643502457264187324869518148838558795544611759830658346510190498101201560824250541733750006590352563053029584378920961970880928361981750991089039663682725198113531924727162776574236167271445765287701442240542570347424398060615142452504769719245126665208785884820005331931619338839734455503534756225788970414830315110122756028011948121442822367181484871466638804468667265854736657092803432907346764087123185251989872342549458460410740426164076690371335743290993185470295312387297605087048101591321672640325291541680946277776576644899266189255276538471641368307345161984238857929132471590127396824856922475178444017127863305493832559192557675814931174980038887760520180786139055943257504687956006625905541836618849196526648338804480749383568246819983153279809616331274000470746050373666125325045716059300184940457017024245749349070930550619884879570630700614743821268514047363602991164332693077736596543101009465594429328176813763353484916068417897123873348778237544286643434930599000412102269052106658949236152893249916407310266120277418408473491220282984923067029102294288646523582106833675505828296334003502253578957186464536333113915022496863359286648121941130423562853295049845008361507097923975030074279705990430539076338749758835730262319710336439871462590908342760837415694399628694579598060627487901780665238945246318492929853733226017879153196911728006134974848715858045743143004225675279148313338498828940450744818223910241606519902064004888462420971821007710997182504794209054658000595216239840868129017358487185530683784682742831444881037052177947868224671809183439178268084951773771309674340420459122625387155772088828176383885767138848656367969784951444802200686538763326027058227002998736127108903352203403197550419984181666315214048504553897061677290942448955209472752472573072720462986751780185027645633698800344205681815743025773403569708307628988154941159112017613178810714698533659275458310116509671035529744678284590133257054702832958674080312072917097749031595577461664678933519663024049520333383810953677567873731301031937732062806630012160270058535085730236692713100884953532970702981079283807635639598043443198505768760917326452976219287085497957587143762957233519423744375942387705337981026383787638765136676302210869298787034960663596212799506052288889781304038527586517577904391828669677623988592837011606299237740452184391477130649232480350750893251938403357578251798179579585991389980113379882777041529716331069196137522199934969958182013561217954000812153756145722256631018994585474519028603600478703127462859741878474067890636734348712148760314052979155443888917417542809516481161850571574740987462975686587795929909902326620305150165908069214936507550494711687177670434783242410415348345253073406285738201195657644211910207320017473247568199336833940656391946902371515123586329612148676827012315690130784361149426409262578381521240300808010028881928740060291416936516029760809287816517227726584807301115640455245069409321661056379272369226184095787632419988354195690637882002887354555403310040811728701506019252372896556403915008499715777340857711830864397291062501287396826131477981633536042841420698277912655848936184223886933852134011081996894716100368495172476794965055514358021387021412218228313327843424537301179298475432621370351820750382205220262896095338442104453549027096389644780201273092124447233176946516147617452734826128393806990515515718399885411292109530661414767329579208534037440767750483049876086430268214053999384806039395461987204919349139522524341542534456117484486688454529905625855942807349876335143127329975741199148252557891323952118781030340928250362039950488733394887992782071668591743244094880712071131283089451985611836543218603347874956908396951656921323240772202374319449320122348711889178162029558536795861354727484560585810153022281679619962446920817193745990837691147991749485017246507215902425300863180945846455380393992740923388198314168328049410601248909199088246020186635451050713541370493301488641547055080277146156598669998394365642617284725009708012835798959726821999682380554860865065299674874817241778213402559474602669229705585256644055240227454941442154206482145495094488870942490388199396875526488060718903382375710682225989251034234043010367063150715657110053174627663790690701249802300426163144942101689496688500038782065007445933991400042802365177743870000197386436918612957429171677513582725525447728337716684385793078799870789179043033373007397496656476793933122434302333993815346902103066810878933818895600670851672503464100024737831188729726585645761127876725562951582319576768555325407354371728972486738405965116736915655707565568409368846837883222887004380097730136769447353262795708929245170928052981937939731755789361100896621504280097642546258700373928141698331622934376322102695199148754485491077503701475285581427520150990680897662755786265662280985261783699823135550976543763685829681725793603047318941290352532708227507338869120670278616215798925163292454631829618105919765839324823964055841262979892125661235676149185700185067709107632390196601154358997010806491567660738751843049641964525893225005851779483235443536938139843900471422655606379032064215543438679734214658623290994124511292916173521979759889706121053435384931388978340511739450991712011600784994024456752725926239102177377080300895239750407732137645333774640379219056599398735172256640177997125836587405915115178830113135172833363397232731425892121885642185284896613284494542926783544634356333627000757054274479545943282948573500474504850747096394264659365784499525285972647455507520275958841579468961998312385855345105050231710691189961843708978001533375142492055856193048650913248335195039978670921640433456224088368739049937519978878844295638895853981656215347209798365250635818994401253183428079375267129193831306889959645191711005514609502485997531665948772354454676623105453268983114198619170585860511805412865719650216048263527995217705774668219319258488816735289938054633781559930573597118127637631391947103248240289195594467656551599471904831118950858318462946885362283764516507898615833918999414427870235846609969424403804666700790215736344432260723231667250769073792617411695306957338446427503317022371985963988832778440218481296201538168334759938403461739053013834591916303836604265059195863285361070180013417934652784853318985831838690774161816224267025755477080732721708822839790881167606166577346403271639071054681152294044320264470380086465238160000721451126194702735441644435340746833337231168618659598701476604989683863214960546601002606144165218414816689832533905727055282601772361340173504999951284473284158265522693767083441192405819877580405037852852513607302099867439343521399978824175075741264272014508360194162093647849381049425377567885958475290422100224860618528557364145637124521623125074115434211051281919884904196948466627905307244979201601257947973293298644225373359506434938302850024120919448715610259625830259270192587968781462415417450952322331539516134712532414394854026712029518969348006389988368505341396271108579995111604038085057105335614655913814149531402312288356365532351706310072166977157062975801442971111965136907135350668060938185031776744556857497500942144835804634922703494633236011219000454460825446833996593772949368375698627091286482990882460395724646088092193150837399101180543574638282165617288615179467362708939766069859279480001972708511996140197295708815236732361195523964598031559385661072276448440569496792595588751161135519727788253490530308732781759875363491110907479630271637911574853809114847683797362954201141517130679796659352080595828120818165268447332830993138800023729945322769345368900297244432862771103129960568160422137050681900314092075173674572263235704994285119493236104000906644111633363827085195993844550709336776688183901543946225568003650087937224192633801766570696730753979915085598783594609876566941740269964726331637126855373320551813790115234261149879677437903484607186512244737546925197310026714145216379713978275952299298528401752365568061757818712510536141209680411331939153584403707048184375306331812792930262161339142407726976076718002094195597282433509914221316339457825741821048710913374088962527281010607142755454661228281883643155063302586853846200929249690905625403838029847136858791042494992490941543394936469037619801973593310178474161505664362067742045213110611890873510725160325906811941425438406894623460556534275968041883381910177713146514682752669936451431499848478784574825541400100428842303784732055438510163615345594571796253493440373136550832529070832495469598708645050970610295251333107504236590007587861632738718665324697570318805196923418150446736849677554839116339523630832505511337757413288899096494414170412399488442784625469056269243643293498966909289243602507458938902591352424261013705958791946175373393494063490625318182756516538107806477830161236358470133204766216524721061240136805146174204735542078660803910473694877583668675647562801302348400719288056899200306231936218705529830708381754359318604339667621863270969708103609512911550098347659115081360325729973628409266680979426568381758052608568972300385781125777755295839209925083967500578795324638083803218944052614701254788654715883586088460982679589916023226484235825564862230649869740291011026471239043840903609377511438816337497744667569332560960715946836890753991289180659544040269309234019639812624315591616052713025642688151663108471692086202551110990905393334366865577431662324620214018814470303205294081901189981439102180450301440269712146362635612972761074390919475350997093622054368655778322184970001124555300704729256321545646649301583673352066676157624236096324816608326491928800871186947051147320705865796164105971823061810581010723958947184094833454290737975616343395026685147554056085309152878332491458246636269703980383881389938230150178522950250778630524594017997874318954366511190556648988545113791250934489323305081349140849093348701423418390626925539060499566152911694625780487140251304973407393487573755242854258215428169736066332363953189977244508850681282692665587922257510166461539606257558908097081211523839012157982069662716474472476173196691604409664446404489274781405586329742588053315290542462948414891574845206335037335722552690075689795526628106610845471069574837013245465107442461992412684254715721177113724504334570997103698508759482422273977601565528083229298125050990745879088932806141017369062512768664579957442655872505457262875694297019009487071262953224006689237303763677594471902653377034497994420783653423780554908615102410046226677830599847097557377457225835995042023834421362355943092992318742356766447272054259531539439699272616697932359763284152635607987431345131121457858272682489717948822425470904772941127864261803261081387100648764068095493987519143027894047213593819138720308991591732358819985978731791660309228614628550350389089433589439212891532096926427991873974609163409311119372912356154348749874705195631158974409875345245588267529757828909831513630833763701454830865279788085948438319271813314847951832565759242048031522613917523668097916025955516465853415426014448338210866672706140506542177683507645313923602779030521138184115504529955623233073631907449893472752508000860420752240733604245405070421786951996632209114774699068843636962969971207096179634826197405846058956439820380087049723067555939130092636302835403161055165272076054010161492337767339065622790232055783475926927113654414206323040739092037693391524360482519894671959430763077515819384059451517167514579891357332649182358777855821169723836252008876869150853223508763986476878402028380757233494092114381896472063002015877399179703589668825278835922333358328954202743650592952342940585126457079437248900796475909680009321044985494344780402321699838430296688797481274708298523531179173133513673686144131653425635134184222264099910116772116502471802892227171299154563225715577263796026351401409909538035957331164371380609099958023461283388177068204000115912396800551476624927038719027391350363794337349158091162341302007027329687744815789735644340339266673095475716211767573877526794727043309725462333323381925225411274334685318386969581358225167725865603966429722995628398709491016682088545248626794974703773685531505941255043716426114816477218134173692649653484426835619554062107080412923868359649542231005967430444963813431084612346074359878137252497437638156486323000762323946372330256328350177587244644745721162829442722725298362289511049418698646109468382194268833817694577328162460787717552670427988713897665517024192325576000391723381400585896353277716901441767422251180458900519296255520714004284989913537855212341882418553192875535109310115833015290039380626167091975009474331927774215683905366475502655248632323140771857728809060014467558246007559348557843713475443640072361361775009896471522522290809794779259705240317746683768702228450781114800370779336298466528192438341532698660512355154024821869578546740096105027634835337703679568233394077614167307465486305803523243106801723203365520766460196654473922230960721625347996877538846580358550609984881138465948803551521906201866025225653949487863307382928785916943368681947143135201321079580476684049516977460014540638886729362674755848459009018930835891546280966615398705574796078755428510487291160196434691601510621346719400100725284364036899320042231125095328677379448783662994414420462545817865466296859789581471180829812344164694909504391417521881837022653604006463598339815375317195431736188527825681360679722598844956059624959735017108813054413761896213540148615134202733585422993755142766600706515188976554821675824937941232134101273956220975693144483530364231659855387008028700931455660644095016295618726499861925419023123548703398495614993778579383747605005228999140567496615224914458287068123837219651176576981944790237884151167917030963259415419043168172716772423434605466846468151982288330174747749586710666834668337621965944372494945565260188233038594716909853128942563122320271306579417810943125335290467294600042991392240772638073444589689899728740475432833995844707060209143198529201870749149873022584974911726848606138937688996457952447177636538714036267169127036807931342222872317400309337628384992796231089792237492908815794339462564130370995359662654074129929538944366752402074994171401988767547783321275949009301836852082362341934550130349340987499012125408367934906863715520103640271068155103580950337847129546270393483019594055315907320149067880748666896363416103280214096925985331924987151942158126072913964783032524744457817201264180368005846127849470027960120405554634995404912461552766787353759212549123778049130278384245373983412004234459260209304516440442339859833430458940069350277595718517651717946287799862076618578348802039854656873940033479564807479554393157567873826018101017341707361996540974812731058653916661285892023490005089147306491211493536174078082443348752870162860955624748829642057938906975469262425347292937634109377139733862744030923306919315474855836664177139198753778750353932824294861883413940535436688712135166833524106755179779211425914026759001259251030831594866318588762982217916616359777339627080438122133095134938714853127716897160321508937051426614160119128292436352454496746118127955594956291012177780164841515776077962767483264013012605396246329034736533964158960083252455843723023106672678734029780254750753345891027579492852318608099500908373517068420068093176605984360727817530348887993092060598007500321442810357498144922812979252737530182936435986448584274166519556989406091871830178409084616201308953956359957322836576046979726951828002624978192528983263532106640114713184528102406722736562922982871178243131776444525954341421561629832249093754173100545208114796013563669379421557929741684442432286199571374555877265455247489683790035217284909444270116883777511256787607403251424043535369502594628268290137753114785924041814829205610629603302466705120034280527305127420411708855459928687361957908185701938289220110112861989927560414813223589400279826053513336577277255223472244835671213234993410812041285752630924068554162047450378592533487687458748585479811809602835889000129043581549324773015952221788354442669227579297172035156886652313902600343079425693865879535386934636444910809657910658500265638532230392525315058200401294217040506321290806923969374598395615906755719500280985337332303692378548694844522360660143564684351958318146710484301664457272498454580803101260224269461139903799293159213398910358250931748289238305988056998003889717236603842150587658944867130365602397919521308216416823898678041925129399435952116809978682947371131429912555792100710134726534009430711254748717934952652471844845049675919583313741628166819850627480999388474437034057325669493084578261571305768702726845374501398110804112923163474990980973735355419645905740268132209737853355719693666078154103525857905970987389709504340859845722315236164397633590146193993652393725605104989482764985876991221310165907151856627531698629072057656770359109242703420842503657029925320820110025558435481517284890003449129711427641193237111002677942712108607936357146764895219210099270144846587079226030564506713307932878932532311318266440878143864109101707062812966889344450357318336792287197077155988240869673436381448933756494914846008078074370433675143474975666574206935738174724622299970595414241175412566853509484152829549016013948086074850705596944107092382940958584433500837142434857245699686010901758839581121621365920886047153566013902709575511548760920172321741894347845092666765694966835335592995501648394261669210386199896342543898064014272088157641131880184308262675709820954197468217790216465279119282169908979226989278563520040746007267663409961568267486235507427184277005726482379063796401819254608425612773820034724293334399018946217710840990689117244929717393716491310692363145968793415284377957513576796078247497452258870183480657383827808039488426710746478558376748688797113622376370278291420277381284529553335244244703589059082778609603441018321045716832515866487832626352011219019069328300378026931971137020274573864661368929958851289064941260147876193959464964261115326141250307744981480307735894680593632486583723731233058535161302321246481130066978145949377889432727535303106807609580357303205175342555103698984940410110206953732577681627594942853455285583680369087458305816574407805776197737865274126219514841013861449299146375539523363459360615199366422961866355277295346522620792023563858860692226406785017510866280256978197300421511803470339603221148253242438204287401533067468130869042626542503717133502304198111637219272489314803333856145259856367723731518370979366880702945773144434318181593983816852908286940247624883534592179838044310944178604152426535009841200214207394180585187078365843839781501718608878702868270166418880223076551268723937357226264173918575052815132366605752781810857594617200470873411066844181994939953704440284460510599394311182871778164533569398862525046163027233431143404929392210636005863418483856884966888294372014223213644599310608580492255794341218914085277862312144267208825042957542109898315329250292879412302373240850919023518533983490007539178997203157816004294232461931037968686850641856152427018301829901275792935102344031816705211488744459602068317094155708181001811847554637658128738637842702309052081917904345669594869058421713996121425094560794451133118748649693049099279145257727095359592514013268530176534983275804395248806358974382664125483796933662038623493801374102211262546043786406928518503238847117168364978000310055184141804821805934459629159405875235956153667590433858378168364559991037454006258668891014104163286907734476323746703308203342480611464351699254742151082966409154576960134640064064414341997380576197303594239706606952687369932195228056868085019656801218106548593429342674152021812190379595298634818627071693432809366538910375801003784354444497466847566501806338202595851260120052442034846530958114739254832988868729128936342606979685560270883641940273843303910339938994300353066784592628841263537363955334663418324350492802465609946244360547797367344024348939875795837672561529334696461709204695923399992633010396211856912605202074115435899836892489136023576727182896936921443370377561573196555852813587847465576940109338318850246233957791612749467546649772278393669580125211520927763290847339176407318561348426168726323344754611293766356601921562929472208131272809573577977529509167578795633417566205219385324383589673422864353823955223644758282184066465722482364515225618917410956186045252965472547943284160684276781763278744074449886604989181652818435052864906893174108879145718613263080531532054272988975524739678272559591880136786852463196127034379034029789012519043351142038671446917539230058986472169157836989131150957904331703588015464924040371413392098685770128681822856986622749038644070265810851782511753889690662289041762646393021514517837055696805061346963357609761981892867331090236894662379118501482223606118848154684329749954364305056570956531886110996955425211600342301516114676838701803583216881677712520985743333700527432116806037322971683755306641535417628735966455312142262553701503033495538279098369429551140236430879882642635062304647594723548673128331899082326168090997397481860113962239596609862711295840383800099759214267470672901717114348432621727466908887425026444990506044817050518103724300304639214514283134968901233151869129702952755615094370479995784956345632975101617891502621935195518091844257545997323136692133636868693213420620479857152185603022930645027541828192041085955234765930654097198020716779561539072454871213650855215691140564564158467897093188760428368622892432263652768361329921995079004841787818683845767276097238234079986280583355456842506018246182689862135893167989250911923388343326573094213275312024386305394956652285919643910782999367651230428446205963901329181697894806188449899518746623265919613913525499314981277766003589940953059521524845964611881272329280550589791786727131862075221687303136626429527347944068491401299487604211583225728166875909249015644913091981545573044413475269486747111592938098895535542398310899173698075554317055522944646229513408255843818188055469235834533217029495435434685424064781413275690059953298225422937811276057251042834538775254786615215722950299141526646785477231729379018728165974838271292416273662124782071952015398215976834923521131179586116051991668687297871459592804571199771656291907459921707459559404895590639910679088629247593347633040551036823506376698644166605843352230554760473936203333052914577781768912021660976965778631712996014010328429091977020569347180417452619731383936382074653663906364600109237470357368908706160022792954375812583207239354620652357343624309023416082860045348466487182268819563931931979077045751993508265123984848911515335128517387698224733564316893049309791340954314114349489643001849608068016108654709402212292563641057680761647457471422392014804255148292628056266006109395632565725793264337186069252273789127350288267819535345818790372515962645476531056571027109936366573785274343162433345163017733516024469431050190061121726424550093005943498847571016618386767501636775044443458986481424577399320495711527471010724514336963417190508467781111269487662352926283786641215344775321342505789382205730877163816370327419414499554530392731397845849668692433030240808667441402190464798178731902348065200671579421515747997948133694267245598896902009844330605951770059890330595528489640512734541460155607365130604418328720861491324083276425985371775648016907140839417282731970274670246031796260654968822946183032048276826471460758489783841822441158716844448313123249785305511125736916403520843065167476179884736706556406574573629649379206868804886987853924803815290463925918421897790985143734939045547049089398944809764777396028529190292825200225044193088745258755278228397014892594413697872551532964727389506599849904596955149986051095935833946492407761964540249702068761337262701637003864839687303219059031422544591310709092098763385656388060108049695393032823591182796623948052483106163826432739928243672308022050476593131144301388035625291350051399945127858204691433558886073650206298803190708787309195890128994905806613312125105318820377642069328526392682519548411426192515213300258094409508133293749384434471129401396861401964995122433344140532234886520511541269784446637904863881582500942093628139440194810623230804139860929855057067156536536569207084441449116877069430418061841325706173582962446130378894692319875305402570521269793970958171766258815371509746067953168532072774269050629887651252801131090912144817777420063112083223746173415338142445141481929118071763936328388717875491063883141799030789734569075027143802420228158362763194254934504060481881279120633158736443181640020439220387805071459576318480038775006929904101471577822245568590665209367184916957715107516293281325938908889766825259702128114304879478109964281962101616318787004385053898259561993856359998024494999907716529954589724242910666309779690638816624103878083535380249214470931060229401432315102666812112539211699879201734587688885814938748677806127569173479137485738651799192295955891470762016983349757228574048762178018939139530748068909615009091814417299063337490372589301909796654180763734076924079792857080973193401646505583411089814325343188586040842840152300231596959373606024519374255591721598075671576352711470238556588213675124825478513636641471073422458761598471751273318846557432545213383590162000328432235504156593748266766112027362433650215263416602303221517591411670961386537910058667325140082394109901780119502964449957209756618326952008675242001075098613229937264234332945687908471326436145246000710503080590681670034564394563054433999624067991443842978220571518360170690613769130891779578029645580987498937160998728427065994147066420531242259290678953188392170432739349419761685868405140194867674450915289275408027392662664076560471567222593122272114500620832379328467755227464638169144124593957859486427491659421531738090890071965611203766529938689270801302578759060223033016687273827175162661007365998297705226324386767688273639438210832984922862672617310985574273445651992187275953057887314913653952755667270610345723292565878861336732110149473023121516658138483943833843583200341703919844811366695145863612254515880867272100945595122151257504587565679018989607531852235846205245640394037588498186450242639503209598188709666820880569647114125217615707960800337011546533405743880644469088658692958634720073678112426206293483437332688108682403138485163696140104241395997941693523932741004313719075860260218334966630173781231957705189128510758386019841042596051498819929119564097695895795978593630098837065846176072583373812182795499093286422961694271640456693342136497518170557622160052128929632783763276697610166233974799634692661888842818053397168697357099862761751485680528088610172842780469396182161389807733009756422952160003691989592243725641547327990481052362691480853290619154298746665054364175412794581594488744650254786343086166555093183776848046750141726806625925305506650261151996183889581688532240428512107107603294458081795488820337471046922396804390490507752755524858134978227968652072401644681183529412933047505804703624909267301444581439780682569553391700191469258068179116912139455082928704676441513214342134308207443302724094390464848973527585066732592164920535734071327519973424511771657107832386086069782827825177282621954530856412034312508095169963297050938878832198973329416019613650559709399649158140267559651700638245817079307366504414930467779887030806323764435548401483291149828163545923807785457788147374574823082630522423714935208932703628894633719866793028990598900656245939728716948278551216509252018196515836181130149046947021321899511122842288480149046431946862972915223989163967650685969674003205465978046360592387782165469781883518552992646234371354666377563260704116236180325119568586797939837334324156906966891829761862997256318011419802206725693746629971227682016577395290007690966969062907074494491936156457820185099103063192520972212105840412562981218820612732591583825826128021268234124659039912792768850284812271526598070967154614540837431124206879383705386023493792262043383600530648772978839964770436683827031561320563940356408896473790315892491864179292089088881627395598168483423026990505518914521759140072112722257600301333010073910431043686020156784387733075261960970278614684089974775966063688043265985116427536346278875780252196399796570646534472954501356168884879955590797602600227349272303356868641945690372471246022652346893730602382054423925171614905687700226540608343662278228101840293193410663320518520625009473994508127453695736748140110679907044121621890446985721582629584501586021454908821414924005288537930473971965960886057969894161586769935998391819606296491698740753356633057178886363083651058605831534121139203850841296259519463727461642131612641666307964290091132760482560052399213296014333222752862094106865249816496144865660258895425445333650569407441252281096895469863281253623271017567505956651262651890816806023507349004496612999652238013213640612399567930068636953621659871484011502871940895053746987106647908309346184045061759384334141774548774786127842745507876582578696236784163262594721628690444439128016231760322108816256360715531246638969201370840386739116930495349055705719957495007598471085339065488175706234217024839074530748937555022619160752847515967203282477933376928682563559144249433836423178494271975656036225129446449897633322765630411850418131305211923369546702589955874958518541714961185610958233921102177004335114834730732513982863057567872465042809605735352866922574433466124326585432205884263256646162805323289942222388743496300896164770346332308743911380585662682956203981683039495185076791539162217094306290586354342538139178542911986646402585380241403755649947365128473131648359860978405581303484663112969969335032837932153113812358582280113612689978019019652419085913431276946290118438034921986782705551717270774820408415488052404951456861157253234902148682579552643841549091967032518901524429172591761470661780904194407369622524469173266552598457985167568599177618802619403601819073883054096255015451196090229578008078707801141713228813118491755324568002772705916455236914630303255416017946185767830560860422341753937667451184048406480912793007230814237966138682059858243848043828502627577325661990404738135491558970003155985576244284907357719816414170212238463845976942751596526897322930366882148333262102744327793796788369145627018818959539958986521564223177276649683790011793663622735757928166254043157105992482816361021231534451910025190635281949509802928011934418368973115808799432031093689691557875968060517599261088930773732924846918695047459506113791617138476633465523833944669076384948507222881612417084901304723936061073417200859365849296173836831585131371525610378388033890313332536122202317535942525989618960968167367778199356967170471578859013322154404143438070764234586284734518872465793666068239729714416248867493793371466523881194542209241641547517330164060776191910474786637218832255441273357059873259385389718765922209932911688884429034454970706234711638706653392300280011790059744591519218641241938615653885909059382228628075129156799456217926160236929827417674730940552794978716894783329613417676724343924454761251874321388889708431537507973643939775474730549210193920433248133934261516318853471502052516655984495476211177409371847239371161316025845631364229134349067522360279622472981343465778080174593844306183091466911715083158328952882735308898171075745476908159888139158213833724501485333125967639293260046081928339638569826375679226446258845702015732165920657425481953328228044693919432141966815313729886545666971776135628564551177580991266353160197665122608289719575740347377691536718943250354910991426177252153118144156178976994885081359155938153595729485825026527456394845750623072202068064231810416007504883339927683391192822942366427515603176840003574860452610977096681082876723824377824499587910686277347278216842978265044821836397069521697284624604066508609787429418044611884170338636430103498651335991115602264819113929695499485672896449792911976821952817496465415048073142140266648682850654378112188999721951118975510499323287716613788800621447647072946423727781068057092381758725183770505760559259115536068171513507009276879529342164552119719626905131558948524455458112352562640800150177513888449979999060732342714965970247802878703407287947856826161775091006491790392777530006751711578290412838881862152331268795432842917158471120554057183761133655181415420160734203267568061174275351377857513834019356295866272035329193004579167780068938907927631103183985571036701065201250395250078352183978896016086361071335498068179605610269393210320751071413053508021275942250059724139351464974672686002317353038778526321704834041533801046039369809157194144329157939826374855151418401874992369018853858597734356376870720345776491116135898731412746790823372632686388636569524951583214114397877714432181718417534735027937992894308465336593647614344228470793413562899082348065984574555418442963498197846751166494306414403691525991461895997362317668956071242311234600645936629414565425798136581750556364624229883953280782501221360083230950021838462099404156975746464641340305007388287364920543759627097752070608821109288542867475635604518968948574433100921580094302829299344559390992416517565238526938639501605817672519805168901525978236201559372189022191009299969797120280788090357519230260990136344616702992275393815490093352083434092103554787228181468154018532078728672633324019067465270254707316900260827229047027404931904460405396077448920807377703585226786144779923278839948924263685036259125104755759650982031762412735418626242387610125056727272567312578217080116308190694192501452378760711520112078500024640205127996626446997676724221629517894740751236320734847851746046975512152929800995335493262951700609912690538786291294048033543262052846418155275446962705767485423341072592306498736477286157970173744511092963684190153252571747509904691153456395691009417884731151517655357458735731245264481595526877829078757647976435689602730512672787568422704634199843649313964718059144379377644689218482731916652587587341830545544282604898186092017423747116666480875378086091756314162505759789713740723985286057780929365880864391473838482079500995982823566182394577343386608423812602584268155017820590135382498796105779270017210683646026993390180353219590994234535229266223308059928087878371551498003298570713500666912710597661556808190216828870878820796125880869874883506254390599859308383182259778449089055739341115485495082831027737858453615964415394579639112952319762268867229894771365027129752870906083942560971273720166630748210569914860209537135524647234245747527450895613838996039383334852246305408418166430469123429174039522895060219528083686397372440507035821014699515243544952833784588067899181962579925536905359382147092797604021672076067512731644222785586773541226189098785261575498863302123671934572185401421444480498455407077592881450569396290869175413590768591140386169751373166256404906684120041414471444827610096555121406502400837131419790506904509754583061650257334056850677723764793767954747402521088152912176014720054700969658802601868501859829805716427064183484985586688283269832110257837191657425461311979605134241014459795304113094504485744987662272666830495337113426898861367861390456625805437756213057853566671074829638679041454534629613638796141957426988738962494955068108990393739352480902230893638017755534553966750855718244799774213282097806078479128079410082229879197309096227830471606638648419431708416321188273939191370288240514452201254486664781039351784136835519620956451847126918165480831673598243401081754034042956373710436098616488207364328404361097334470973792626777098835176124222903048647335957783485884122859748637744908801971496255169097396670295517601170500013190495299661512338567905785707633381976015594651350617189893218458797613692369719843663485885744242229355970297026484004931946511460635395108557933844745641693108181833096343143361625902944731571323325529843849489866976260464215632523312962897809493464298654618050127451221845258740767353564023433727450503183727923005457333069768176482720450711523053422965512062447791987644077881965062784727503252492761767955069824264875114589505540791085774817045317364763524131202038542592544385259000418634646028097679859025006376740654512233438043830849348229640254348730166755087140870689866511422996179634018440867678368760066485020580583710657994928234169810553372255201442535341106460123322803286742758376889371025019257813112959557994776152679005872327065305240620747209173742976614681118802173395490547957241361406001226966522481617118042949757700515079250187510117453678057522907101610812260528009972800533589167987276573608832421693258845413628645099759183272395304177265558979811444648376407476262680675127260083572313766893114151153212267208054943166429913600244827769652615614428300845099282981060197247193519894775210402455405695929032002639841880399693937722825775368012919425521818576721465679768075290075366930089960653041319131579526998971914811536786335314175073743991568911360439665286791206734360042037445146074889722543253231717822224979416982251694529889299803490275697161206872819013569704885849890662102550839972609093638990664120413205606548431214261184023032314049504729680114684196681574823893879440316750070343580037401348054879973457179987214553723690442002730956949899960467771669273213009114974953011690620363055647336869575068448652684082135165798264604809667482327441248715226209864169287417477452701024506888486276904115394048169535441576254474367023273749679740582636832980634942540767917457414256412292687991421617149864938491528761464290149709372676178877037782182683720679407550447341377472564025939506545186188548070883414734210457556695656824686532362406796285771657423304453527783764821912512366665952932457437222771219168242172828265986391112643914084155868897869518036816026680820685706949035475497907845118088019913510001442739421683045049099575393687196811986836429252749678159087700945588364543179178812254879908517044270347153987904927568276164212368049789460946991795447248881680211424047699324816193450278119873045298032414974733099003396712213847747823804899367576655257262136420074427589225549246588410872244168177568687691674787113500631649087890584290719208768987481341104002765821368365564663685029995887025764459982406165352103693056069275875489463961729185184295563736009618563254762258000206399989198561201736223089825116791259647299173205724201610199602070853494389020799448714834577686038062113914837805285598364121615391797852963604010677784252453557215580661446218478326381569532482070755961986165158328580922726071860818454715810525668877110994405756154696386866867099611524553718975207719963503809010888678750846962286928116327691677008602230566224735019707503342557142721444290004577474524256283405419321307061090384982862059738803737790000726598381953419444903125946044389019870396903706694101119964268106980399000575451550553912556683851233820762179676533146261817559403424439617295598921256264861247306812148815910740525662431848174024435406795393500081336412843214883507198210439580109585311881614313797383682540250409980185715155048161124299236642414203988032822960560171259774826303252581923675787474450697302557651183430738441768834854328676562039698930797409415708700600039132101503171833395157527250491899557230011851375322379206731495232878240217290526253239386962468149592093134621934810179382971879704206521286715522042764193687398381636830516832349619340053861554638803358960979122338464573357717342655510355258373861418290256164209291099179080413377996251348076787414180969353737259857654558185419506299880802344205001691467333405715947365912915662975871941970114741552119141717646013016376400461755629912847542692139410638611868594781250525837979436253569984029953109199769687322865929660896003865366951845091867558245183670004915423199337524459646399085585207076308009078120495842232864859399466897417210735358283630889734101678420408015394083648205024398773646757289537760643829826282145279824930062300250477717888117907161481286710289758704579927966912364395483849516912554937466597322727643250135166332507472008612616506827088059519365074775349317348221583900769389357557258484268085799867578962112179125028378271208008406309390617636267348560632344809399714982874732954469422883844211231869155867136889798904817035660733263444696258516488224646709186158425785429471881023630794443443549897872617165466736038505538136631398033688914825937218178820233863610615626528955912544594035604731979931687889968929075958309308518057017242452969300689010884038498636768902965534734548814545307355786622291525823683660342970160370518786059886142428912985897337438805843526211794577648574941740349905731223319899945097029353947534314100593366189373360372445285407482869430873916786827361745912762030625750993248569400570675045338780406580635609545196823188987133576700628442271695520286502949643635164031906072847912968857730640990730507356503867290582811076560602791855762981282589639222328889730845754583418789862874036774792713498210483135027844909438989619058500801477668791008604204522638034636801202779042668465151735308817200824214288910479796484264779488841525514006517311430536727259479841357179246551521685978188061381285415664479991508494245701935710463737686314147628279569568574484640575113585142405822193904766562384743197334766278465770435380872561886989477839692936129892527527663335929115315150255583182902913875906366033773807763644535460954794085334017463441749397322724131803209369941384033937526278205322462748211369612992586397211609727086453145068993811547906609872587611151874586119620526786832020733322055616032228795640335916460449650340105683392089148551173620840222413918310671199829501053480652864330753772632192582170789225208873878467170539914357838444863743556693021569800788067449748917949263357097883964275531548235805608302674689051336646907066740278608265894656959661936438319786176791299297118064680302717772310413271132384361451641160394572246305530170721533219971049954460674932138465823780982093348492329301433373387598696398844862835341353578146681620229991465038376865108515202709109758944301416065748078375988979305689138381130257668920239233334838486868466156745131914684792145799927964661439114523823834745362140516448577359517539634788206434979378489732307562367456326610163717178753740715861630417478699655302457659750259228512411102834384662722830449594397137981971872391044650892125887632547695887037389501254125739184285392313851840894888545188416096412910719926670477089063935520831423286853125197354991108857901707216935218934250915081784598144409055966097960269645694927865108363021386663306386984713114900230651738373885074257088199965162787874961209032920298245267235391796762761683907249244137402360215841884342258568040909170354514336741402950278919072611554563161412403524630263659557617598683437549875719797527493410591580388018167133116775667702333619500791767706029300600688554638732227226091608786462914091609547572022207465565708454774817276471795116112309442591319269114240635570429599284076216195594799935556804617204096045403171590912911125748390431974825055435157977983205099392578099695655676372868772380005625973062873773203795522022574869431887384519929389438292300695777939599524286705803758348894856844885797273018128100350278852613166661814226221394935974381514179847159161916940914933366298602694714663288123698775137638600140630174179755480937885211290295599777186517313845950899948841136406768429589364854133237622499100621497462354772942973278862173650119655776090964736952455541010671879340450378741789637747611360703038778837293882750389255038636466539064202675802855106877459946392951819081322945813828437820443781944127187744068032469969766600414044238715505708264979589434680736409459674580520682416765330557594910823578741991830838980669070977929642199828079165602057980369701907228245590702005230357067670119423892496105123552609562761004313324419991819094048274305420688453997574889260139194359059805415614553430022224570265915447650793525612156242886540475166943176099239546255158137354543782772749263412695081730581937861075555039920053085063778744433197623405160960280614748095115416882746787309378633806851020629658662759245980588281192829871006018909237710811511248408101006564167191822703168681564295718553812400645636818882852860841040371963551035961052801949647210433931682401737078396948224329148728782520710139827070962071091161833427175031781904152375710046333542670595149690170028363230114546057620228636021701720930834727394559726733857040982983535805283249968018078714980789157915889129098968376938907037323614490280907251255005646572033393910014326510826119936273895041490906999872812412895587655419860792862824669916654133534203528198418965453829935297921991553165894425119552133875041967419229153681619489427926684329256807761393282901612674559118863821074033580698750229685658195688991177933180033139758352104876095676576808175674937924652293574666739124123414451486017004332617575992822272027953334554759567014176967607265332343323014244580548852572023049512437649819361713853183195441714887164955321274419808324727187743923463048024481851222814821117327404280330132583434887977626878520275575422084535016319005106837062188925337363313059737393308813061537094578698719209655434438031902845624993388226274738609820284241133621501000956754477240466715156263158506122083773406515757624773870190268881318635973374396844537968916325375045660574893836773635430596750982526100623508281469625825209592392781014069769184850410764268748764483160904068945335186462254293268580325863448109582562172142660067225883756410669852719248963065308699568105076841514028853139764325111732152825980511286438599513012615434008490538086047192842992252432105634792805990309620500394140406179063672307768618284921683885254124032861464362089710300296565070663569163826957376051482758490534220010113854664795569684100673230904642873269102760534303943260876585385818450035900941913826687243309254443857751769443564557090175569927315090609204621240570446952900029849787450945557991683595670185989493125490327119905709888501324758893724358146114426012154149021146618071244580580248896672587026941098556089671066851005257439090138156275259530345986272227228628617763697062146166578815864771971317745576141584553943070108651793931199664196610997829586213509139337160665038636466745809180391691973385979335045876432332000282724714676571767464728057969803747387497740569886284911739029187962789915963071831791410582591892579412829412970546715066293599033804725771784771201976303427454539510806085820330454212647325550773957760759337831444965010963503142101128550093876097069447576443492800904370154100509389046123332915225012318900399628764125565809786386202109550519152446073988125411858048347765605556137134878654673056432077106474160554530974687168326102711913006127550393869124284983444683578035191273755778378280704206447152488798246614874439673270341524099716830506160004357114200110685962751849255606756318550161776757412768756115151680295957021644435103646513967923677943236674101598987326421523140865411314544648180417274249610630620120902016865617822302140228497576702747340831475154217304437217841900843423998272741118994491231828712561278621390254639720139066147627820946759583705926407368378434979641973372709502741597410602385934656394237611901475590387855772100072315819131143712438891023256775689689334641999449471255021385872510419770407673109305733737080011964318440109807845939919609101292167626194662088756741299509640947113509845060987574803695192040472664323950092140298019297799175620181995683694903299829419477297619799974303958579595488151053423247996926190707386307380016302546749011828682412071185423963845161213893645129861976754459147634653129483475815228724879617279232841641236128447617550543081705964937529803721235830212651812696517883843421364618875598978965793586533297309351153651984986827071707364003562148093692945955124604299138528115849402603502283534400594696101817375289042251414963582394431876458573081531488621118276219323036294436038177180694320981057201836445652553419736065212268649390405144481081986465700022727325896196192189175270079330646221509583751817183289329091890625591185806941172875477422437149824813467308917242622851324477237944752202959028293318514645832421003679092231433806926356710131701606453880400834552981150410337839021121902196793025044082620104989851695585781671026200671790313719063910078929914775672267932720731969139351203638427033762997924159158565023478175483167327558905178715996657259948837837713848147554069201831268387392055035108416874452133489017515203329389553507456724373317891103432044542033058542317425652234860571994824123618797120786712306949584527613833943570611029148232726464860128854305508107615174491285914921626086966600655378676304405109263697932459302602006335794778906742096516840618695257990127049858283661850045087843148654873265582040731906553601840882410126839024943893595352472591037335289249778393463674015468344848948972298504948805289249160904849810251407197521256895443856356713173677721349931821469804004192255351031469906656328238515944990027006502665898642791013941141461367771015657831467468677931476501516127341823878143875025350479090421207858175276633342274951633951389316240645971524670489998522544658130092441416402219645131973258062478057636230662981788107209314084776042871517563429731888321736352712942005725522668237117574534604597232308525509065481705057482967546480918022010410578928474659912688055741828545181019797210745953848000143483695658167310278214087677935626221284898355600248550971789675696606755651032969742043238511698910834787905946927530321492856633771646709783944308126779569517592438363311568719950805466256847545601243510052385267481220910731137821374913437812079857635675296561678570875617900433945158331218807439831238182303376445797621688974843248147452872153949944207555264338617676442369114625223046673693958683564807201131878609269143575435770815570540646124163099549527963221517389929205356775376242423861233147389777820556102898616231171709077074488331448034060524350645668386435142829840642159522965505591039701477915418912708627861709934059550343871934172412450163188371941719755456153701434751931465742545346085379250557591268390816214247537221905400050753914622151370082647693385172186245635637299832964686462984715430525104471313217872912013006560111646232007313190343806619287483250781091707806491582629192519610067179959166559580000316826354632290938373745243938498313712061222198359445284780883216329208869525012867702160316018669026045425291137889993079915778829640110400931809288614211375277630656641610731475369521301420151438397137324832767444516129366650514260833644425982916117299802183147911015304062395522537466076244295517680891202306879135116561701028878022596418860802776312115892300178464870725474494979093878382427475740272466984476296337893456979084417327964531912828472519781413830455459288966663542664529720543547283916246980402242034531250240955408701839394780152337991681964973275157450856524846730390219029016702792978623179737449360137582025338492782324366414086695107262198526595301454387246798052199969930132936619465917461061539562397321197207869237470628303295664300182010469906387276415749367718019702325825525726980922186774552579524547454893117651371273938814443445949738332215809102742965654357407567834918763969075336274016542836044238549352389176224811308741886439663967015279048807966476847652051094786322452272976543873945143206430305717489855549580639380992370278004427248203662117439838217319410298231048994035729526782075325753215490566962373077905388122705376042816196126460460606277396079973599102238989701381024161760059064706404260900656120379674562002508914156934307380022499369948263123730404842948574436845903991302022334433693240604128523398472411226103031843568958679203649936544539181724973601717575937085067479453896544789771277221430026034122309056377550284367530274225096025688935523431831344226070924470908081652410245910446825286197179174256318623244209585658181433074511636201952626663139054082341413392059922087294634779549112679409397420549139514154083987252221492790685366412516777619211231637884088203926449955454537615549461242603722308834336583447764952273454680013939623922513719282319565128464469104586073247017852758323054596668585516096762003646321649384524527175573314821935468281481192593207118697647125071046713355448506470533837036236123338865715834441540945589231204182565702226377049262751652529193187485134366822948193352784807640345225005816114354731790029476865056609893668284326414310197108760221001730764276359792385512645983406266273254425189861858878510179231365607739893539881274941583943236501594537312638399645171228962373158204396275665919595264920339809035429954585769290333520616690120820764697469325025629249101657795851628044750659478205621476285999397819959885689251923126909654802556336014183606244332451498433155408206602067131422906323524317294193544151307616168360915951000008112027879494070919865317669478300839519753636355945207825918153244413603782239563503769344915185229672554418492440431349004618801906429023963046605909259493046962773818718711713735460606713901949183789504933900199756275111391539011069626700789396795343576314047652640446040810540521609479104378470306012906832134291779604375583376030736761098832840998175992407617156800421582236656550197927831277340531506372365732977327489973846156369332018262021247771050122758651299725737658338427218288822236200213086899288540598955710723944869731916760999939596967693051577626290068544055245496631407524397833121992819504229969636698328022767954841863711148736305884992115015613079470932983533126318163353568348517807840303115962510996763674953008514236286273613181686348951972112638100027597630904534579426366074839411566529138033543432856648731540560976329693050212788186969564767307920706767527740025754098334260477635604462731706308609299235083117480983258495622073377463581415991590652269849474485581368320130354737257456721948786652637777285705562694752492828947734525772110075737000213750784924184005764578759636901069434657939822039549990813594556759626609532641767811181979380137690314261908986989190178564393858358336845976985586097126681814864137507721487748028043631803800072933345749396037353460791785784646364908891897015120348993369619302438800205778496815928612967740172481312488907712973371216913776730189424293882409296689682742680679084031712167461578681613212396741601701847095896305350258896639199210993006746953540051502571107201446467288953292017923917440763304565660883246639644305290567398224139688819502626505586880346823322486775523590220624117920917820556515982519036431416692128216048050690105495948563357762806705712973812661195705558131241006229708031956821654020817328674963604008523207774800762763249723119869397587902489138784830954625385480300116855080254428994522380807311046507133874435366520221978562038314358079199469013163457266289385854890851647510129250086189671262646072907231075342268601054583256037091958151782014033515645023909332934461432746179120182262274601925014682968251589838843504770525167073588649713860578729701685412167910155350798523986839422542407922898746273673786370335181963308257655808254316745982204340677543157738994032982832552048425807377302485960561936580460759824340554897704181248902642213955457147287607888406336274621646787859306302487984656022661734915141758595742514328024231924437964699045550195172645885095787383410546386993946709132703803083234447832638649471956573849890360166650509394366441592941177008356926725963819554237932604479120119849673952060674966652733574891018675244469693134724238447283992284726351409532630883417951198773142478148732692783125208381378988626740626685588515938451088221159407299617885269196492318508764989266495190961288334967227521224770689367407803911097541711254082594425581856886708397818416028990462121165774954032407132789031252044049877059543095887048585719726438291895203703880893462314300920081333722720032936240765171216413450601617361220108099365220774085074877675648973400908143739527983880311180510847716780173813710292620462753297832704531915855266863444977198029892037234754232594669321978429619365460555928641850959902600958980397363662909297190552922291766260388902311237141784689060853434350525313284644937779616321153100151796141490710038030774208261913288583930390795849506583316418842409409631356578015696126784727086864829415503067883922012605535203509229817984313713895505609738971017676904238989434517062011604127990230103697893770511556794298409355311117215684196386953628025587431640382447894202626814601182777175333100695881303235611753714350891427299288839001190804971549137819474645017256874365716896080123885559688118847231764166253485209929326627462699039572787727836576582175430655860481683606364098956064265098451581323264806974689152478554806730811233645372605968554483249383329821775306264187814179566466988019145510682058180116140385905375278494012658310942695698061857011214138815134457760455346263582841782679707115645679006252240020612167759444760752238981476123710310760362893745030515874112582350444312371342035383405839257129485629881903007932070164127688168856661078979377945148524108344489066347740446892400461981084640407872451017802940144132835702504192390512904665813784867440225100909287197850087190357182645939577553266576432003246390695240578856279259742000804478141304168614212694454910883267804881500058207528697230805249183432782328497018244770610813126448104357963985373408217829575764824964309912139609658041173768333906371459563868526887273773048887665829711986188705378779122452805751568315400206035223388728534631745419535689744726553741081065032755060742065727259417521156330294614248499691710357274220475136557035531472039153215760468662897114505225009169568390699025048580433416121114977429415102468003529938521080495667217232318721842209889584772867790095354407922099848601595136093115638654622898067781757914293358419152580000036816865620178616257728199213288620065423942903186496072708483371054382186685984020397105861735657844449344913781944140379968374725595174008939468183129246051755236773301741424470365343562317729814504659488861923002591726690001037366097823772043572579317918245516465376454154294778791869604778088239527868421873688510403021736370426521537379767580065356658787415178248537330315376029447058201834229100397719503392210876662961616192746695296971862068191468760389870827707598390395665364602385522408886690768262901853032036512098776996488501985316219243064975257407162642513903887043713484203326522204916221685181398267007262170409556761801356944068899539039960815743457890832268463069161023595705749287402899168727039221775187398987248054314612689028058398128950229627879325350701782463880743506232645005691342389674429958320731171497829495375828824392599862634133196554365325267545016013803636786438929280225088736709343511030541543565071422878338055352215400979689257945805894555189645596085503115026732774808157554442971418431214541392590501687357087944620221449893074366763840572708885400979109618164925529770777739065977201418303856211137722114296826685795032061377345245857434871672998859951758327308388591013792444970544884342854311408002388738548658841341869597914348831375395927315572809553091300276512469336835220460292667362931087577072115650237140648145638944222293629107935569712380793430127687901476315197937991828688832660569496078858541853149460270952511683292194193620089246266391348550604339950676177316950308819284357735980805416774892684411515055600441421280078152522318190373721206948462506163159721169881361281602212428047719939921666798709244499149801609735629230832814122930511112657845384536994149614085137212681061371092173482494998454542394528544477885925505314471425214172329390038611315821020024513545361752868685820711128776337356162826820199258245186818218107511047928890584924033811448607404330657417000844116403496431206950066235611118864114600570898528924682187514157893213682309654032587208028542433322897639729734575866298682780289323714646739092245969678497518161427160465190056989274260930688733484267636963118396166173627426090340561090706925813212061591005904535118531732216849623920857095528760178705554735667892292253007771054445451313843116555426617855419518137260773841385594423800207979087175859993766352306278739381932302745412061670716048340593554549084436482584585534115120214254058961163823385550675208220847148403980983651354643648007227736576719901014737113753788800899187331055765026638482727365673532691623030505918678882409859042358330503661673785130305302214260602095925244864160061002071950446110864905972546917887622404745627730257860098617147096583356416099209204029913348870566766368678503750127568800852748286703560309712445340425130316288160059898434505665949246564181588423273510680737603919544150847865487342084975960684181212630111417641719459142848634456925342323859655843879316972812893747035657772411723919172363486689946494872348140375455969144414578197742034521709877886503732525370075218900000516589006868660884826027561591359623581033174851492335825591902408430621414272645554868494057815884936762621068364069113074328169762918222451324118218329817925301721131740868737949805719188645337846318280498156901162952303904951718072396248206081797646724419661169526814714755506308495791781888683790068120403653975638722660774698524348579856322665509238236133920248561565437492959451959379397107949383184624444797869949223331039911969822864552159979327111311061120669967028087122502384014495326583537576292988207942177635028042753505431452874797836511118751821361966611169946972664853315296569910272006551698528878147099836468908526133687117264276917453288087293603667813338278585936229047044707808985043544092359589320646656678173659544717238771983118786796945326728101819950492136536712630351877027669774629189869503916250018255161822936037020637351067423451736903235720988368934362435854955486571769301233039449085882648401899882312392938847383202425562506365436412584816903342926655894955643844331266260233211185412931616895332743722146031425601835262014424125004917603161989804235679680576807736242213302251700165909957625164947287844944122127304728452578618215870571999009015781639626119189656891912274918044593366004954142587475740231683938445780171855490587626057059117337877922845913764856024380049254867612571641895022556645472072064472259249200640035500534095251907689812916516441383672135973175693131369567879780614278527842917979306753548984638510287204626889686660372942730222768892240213966234706217464292434409521151856793874421905829670687499157828827626729823044890171615158998676556029854226470097694844055099585518494356756576605927296886444801919018832214729557195152299184661655364299166114827073003243690336358030238663782873719140633013305690147346124723951242356447689680511465461902739155445171610929215845317623197791653824730167946375740810581708209217710320727576071654255494305519981944249476830439216011050181429898762625844212699830042337111660554101676814772746226194880231693445989190317373545203939347001011364517320283556046986315456008540509701622217273184418141147337576950879953366505296191186417426326130381720142107258086297992773041089484819205587830379863819894260599087858599927809735438902509281019306657879528763399345653522528179677515418719658608720164773338406560330723923599759531882022427443750872522332646317401735183367012674931972672609929029489680965542212736353574958086822638156309432790270944655283717521098903518641391951179731958185380840658641141447417868556479405175288478829162504038646401586827809161046043606566434769486802189748350853628306279196905309827276731305571064932837386962701935630000364736851333552840986610796133483831580337317568642870341037706099489169494105646497227822749880145622917290474005566445466706167359141833286313657341799666155758631489949495715238871254470680680016327364360554532266691011864845568202861853244832288459644507460674066649777917072264939767552645020697151747357723670881315392626149559512421885157538325050579192633437448167210273833955262205589203582943004038957882339867775484120446692740517483100447420050181389687027659688838043582718408633205868559360715386113183691730471324796348244352977171591822380885311942698466097031842130380182105687112274613273375308834807756769422141440666368773636002366221757806308638502304287672151662661799996845906045827720178851930994862103394777908644699820883557866860763503913591746525022581276493763353139254049587051780926093290334307441486150109693896370388238444407954846975711035163581707738495189454955496562313613477075055308339837661422328040109777663306043693938675138042250602755660218569174842526251137615637965918533830774770843099892310892996679956626576077734491663362721863216648919185755724390894783219935840747101199414192735670010424930167690592359994749140320956311551644883068075643889306955377843752880631236718458781025514194218607533481803692626436185143359320485988599913189630816576666097946408023091117662225889833302777889778272886838560774411751657396672957451858328927157242753570020417040550112773784285101373709213546055897225734527120478966284838250814436932202722403426828692866257557711404663013678181834286209030754334121985833857259397951699175820469048468963654800337582197007653043967251428884706891675244907680122171088340556027961760561956883268222272481810241441846552700939839832921793919929715282682971734124829685574059277524931223135138087495241590963819835139233054643134115488580399461750600652345155658726634150620887861245827709228897738173416768672689602004576575512623161025212277326034544626193078982679176078537902813297189222789190904022954381628013776794738101310978199937305648507324588470389181869999197381622743608760906832581817003506233849512874524195162247411948453261833576167604773201959765632728062937099709594690363898726190792448490313212887896462836847494037184081392003919657266574638514508334826618819107393693589672530439636655342203887512985112663765369964888636501247189751035792530576110266622915243302391163808781191653099176507321160181104993721997138718743314269739008502582520068717635488236205540273747309974038637524470406353608219607692443998855330945571832223063815433121016122587838682603724295913199822861567583549321933392946276740407119968145766864548939140984470913798854485379363558182491672883273853864599177875375711054810746097061532616812906242880125742042264611017079511078676464711743033613678988123787932554987751785430662796069594726190086993328647424039211552843395907751259755851640439640869879068622968526782638980203675584884802949388874303329807114755173739724248204411153048282404860127205383574079936746806389813374871068135615858662598913411780553779349725170143478176813715593107932305268760707685002274284978419935082307570059319416482143492896425419906515602423275485961201878199965699621653316575892707052803933547395421165722276632636693873780898961136634120634940552411760021263707989045870101104819576990633359698731950153827481910117262079473101200584082544744613176991028585690329974569708375229004580609155161768311628328302595384276086070117913489169244516831158876607286322454194965464787206823029844054733552806172083467068983311025843461692198970805531753792213363775400465862127083084072501746592380083900471830332699890019432107370776542344213646268708865597348084411547214226783569743176583103421788283284800402101367100069047120548546852980781583002415704212909719592322553847241310250240028679980734929124278152827481123798858736690249983588937619097675858013018205292342263061394276336940150122478883940058923961985750776953424582086173352475772635993899685311768661656294321929562050853291016744036353566053613626555636173206695356539886120323813348427491918133914541135142683495258256839117389715012048980031729725078514266191182991036920572350543276059558616393730102910838910749678830331704436471176663632806067455472509463479889680945598126194958180797528606006038181457785919708683174795541577016446123310381044065728915562218454428193824121569805142216321832919720461500224874354057272442547813796615299300278831120862215732918391845615629219913629300819676843379003461571064993272528676052534523623433616573535929648752536162694362657218571954531907111304814678968508581570575395585299404511517889042501128279266047724894012070946102580437316167998762730931311216728830354322105395228420606301745938526768820531181161549695262384771624890686993704506242505484421192785957300270104906423642859985031819102823059762344413004409713749364768879837254728705377149352682853008691936542792015805335355255615989222868310234524369277948367004073851667355137615323684886274284740284875826516429087538208219726975873508695917621142092433182746038221461982113615138487858921367396093854929280802830811742443249817814565291860073874830841653087789580781365260079349831676378076882576771067280706215110187709881930890374800271362423318968889457438783412721013915314597000377320076614319048169661425917072233617314480693547617904525026995108552054490048694056134038342705513773855076460046120957596094151025145808486955468485486111132615260566521361931511294129852428535121135371527557757881014755550797219384069708968834212043846079309475822007525420532766071801057692051006160566091852963074580253189651827350824795735441962978743738303964453271803355761846586311334697825129237708106893981184293188475265590987468730663086181188189603093518529640080202501000450895879006391564890638391771931533154471274063224104008107643799487979975645982208155899600668866902499232527873930980319512617474765443429835307748143267695992210068651395867345710982996367184647356799136811978644676991833973926322854913555926157543036428669856424604099729374312388837125630813310060997526430412115820048836861047084038101878179975315091713732813075149888343314644332563082820098008317925635563601266189027239486719687324176689749665300000329479814970740543755859227320231365965574619825604921815804605809916513752280864075017396232359262663463562336123871943720066503351849612246405475283898428050167776331700888028559846671424718242596736736242639883434390988117876812427982743117303529324363972637831508059492884666848347588655107703735095810947122651925788214512339581319180360393379857251270722504808549504063075276556472123477758746185959404280180301566146773996110983131528243557308270023529859607431165571660177308693813798194436875668771624036372187597777793243334262382204284911412461008598352927336329099577888928751007221509836199038052652704803562274379971866083446847865855589639355481268614157291918401265698854192147560318649609097674839462519666652301282830417161855981623307233006733612817473926517467865874550455485317593296428882638167758864613089393161761929370186148616620846332740604922031504083700959992330230042515635199073836465297320057517818901052228886473057471978872945217829782613603653115103890571130899818616646919702239424300364151573353511987128466347928880573061498641307773780790220304674243432328120799906438223474716914809486189444998611170350760287785936895159847414752875093023355707952213203504179832125898100768136910953524327073554832432164444115329537483951508837314188717360106093276154738852012555673806582202910663963012999410891898613051392595175536652646494577114373702716480368808516448900251636805554161133897091045635657958781994124201919745088639125757364976807072503820608251945423441710110898309926182335102347741030744908610213351466574254524762696585317640458312013174350325359375838398802986053246067356365298407073044638402296367756304963378499645710941496770299319708435612198843068182002632247419079118998996754455397917330071560378732990361040133941985118293128884763910232454241648554992464467862442624400583865185475767611747370187026536590072524355075273808823247178169506059182091432340226455124581615699849306244224155464114124437470819229050005918555488674588168120647760703800836221467075146724408593535085293007385561669230246776252997630047617339108989371812303914283594166687083433361080326050363804758330143913884153236119704414867047067183545975562650424894843478658970879080652571777807898305100452118741703565067790269268626983233161909114890717584306846364084749682874914535920754509551799543081848649878316351844868007778280453087773141671141859239911070898935525011588070319137949911446872521389579011521612296808199916247807390802264729399732292920532328952823386574441726735416570409683823802033278708746965205282329095125374195026286542271404761506855227047864121576732837343331316070358596716965930921763176728259999717855405334403889328057181139001453871238585894395179147229217115441695345018720827261643402371008232211293714050561604692427329863996332376028333373199645471806473525803887021378935701992551597117718869116363709208540176880496054413573977471337104981262003167503545182689809848734770632598768696138231938226849688869929474558875502651210742710016842944007979235901106051875243781677675373795594196845232502981930634146986473154865410418439089832162053629945757023980518677140622067368715471201540348286652342352847525614882126793209103600893435748081977329680856279770263298765826662214199241881591718234748094858907940404418341659662373412276164571660985805209208544152486868952149650771149489026122268761239645470949565944599163184872440697745746942202637697051815397092290317141244796713743935092789125094374598226987266235480007227749290598282686947337488491565990121427437914211773523031311487806343105072383713364836969154265694580379938435128741356106325309840433643163484252872959088513876805522988800692931003968875386048100705124384705466527166407206189862392931853470423552348242317419435750714047958667949570418355531654937776703057858490591110783099288377639325777658801533236570473447089423691092102038491425830775126343845102996891152384197363383480999122930573275192071863163659929093986224055361029256807752416689212150597870365004939741571048409099755925418925753191993717120039414935816341487862657574161792519096942987663991407916671422022459643648088589156738370711995389101434664914008215654279282433716623594428323294324776006100567414420376602300999997116575733501652925535815345548016751822454941778259479349009569142228464929935495003833252606107669991511026089749249609028131016655778517447904482420157771257413716223043778496068220349305010411991389278622144171858701016440526674327005401195485657732170484826603836118242171994315790814489709510055995701081167021267667613467193168460223603728698257987080047590094515512096266864963384487986907626633073872691508250969578483334809312986776294219311607741490684010417515603949192329898099539784770525363824513568922969772635758213302839387612572183059368201686138401056024178269463120956394957866347604259715650742088983074534300027126273581304139439113136992338218200008480416994925919293379829044396620690015360830204264516403198761420848484693821699068241926532833126310415970376928997327002289200390015323397886161039133098432122698361623655099424869365991257281336227807388975408773379389178107754443545743234904030272948168485467869881793439665603902574784022177298738394311264198510806622740703029303689235537802825360449320046984960117842435969206636628541326654987036043360443649960323732820648800292343152282252176203828399312809152510694514264132348355204590623130015453980598650188980394890679146649194364996923225904362098150047154543407817166566254391986041813123823005882532709115815393137536372133673607040974469475229629397664644230713677560438819825054316137489813628885212797307985028506318803549572808474565575666871048788647023411945743938845489620249409381140388702897185666976759775443231226499496524878625058475213767132757576280486164526455734625376679068001199994428417520275476714629112782282725233405936500681064505496889529138310584841906885807962322739077733701870762760079780030321145116874238094101677100947112868919334307495718261112214238651444619264723913880211073379364923984315575650426513229226478760154518791302236660580992040556434490669813750608627893952952673463307680299782520763804655807249446099816595402964949814674718657763038732216105977947305657031621944708022687426688187053867056515588257181067686979931672420696279161796290071644625848244724105129218111326775218258908269548947265477792691370762987629294621870084080034146008426610177976630726813320084150463264323638591703899642999402933795723408001989026838237635526947503912664831708174946552895444047975775288469444970249750198316787567836350591481199864873822438709814757611862207826659605673901449118060093314966235537861142559169562714301569084717479248999894721467359485344665718854687621618696456495972529730163933285878486820695493247790282632816781829556177703252200509593457552070000890665131734515807531670089315224193015497367036050737245031785390419802286668345807296616990068086379424896396240207723837200386289348420361647558136966174265730955116310720760716304606344137979342813046128311700028506345362818755336111166197554555288050725138756980805285327052692684764828179276215339056753411129642540879594796766243212383402329401682005411564647681174127871819904214996134280981565059898234489385974193643175811385487188068808047558040304745859533223149951023506561981473296404614976376740942277565157655249006634523275711383886258585784412230814523997302849380578975136709888778669659553940953537497402467243896349787084882858142707782969421225303337009569938017346392910785228406583057777083814910558396054689911311692166609149220085452547056169752294938155074142755461765729562315255438229780131884820123781648505646550205365529042963124933085423541617282617454492620512232024638014082885236217272830632418311521111011848191081224015344898113574227936109111000383038161763335247912350401066094936804567467224895677092286933731631773788495120984254878670144881585987207295414549230019120621560702946643922915925835595991929781833568323718020101825547469894011580035721306871054315147673953555861720177348331192277791918121611497855697620700145705184313908631701080968274788872858301437702804032845586804049915583375958606207188625551748055844318685466041872437822297988787145101138409787821747703824223542945849631116236839656514719968044265119946022487604589698191669388558100627243830117016623205587283390950887770854836844891051370038539088812241968567361320384307335604136491461680085299587258035048868450254910447055115149661485052246420567118875585623004948026514323643824573361758566456284880271329803291273592878987854108869237019374928374050264512220183008119774564185111416645763245772162152303764920515968995082549741473590253472216214662629578504881133701438646631762231869385672085716179600183298458892716157571196570540708431469955467926952352270041668649557606611063741068653566147986900636779649200513560604925584841420647145621634882599817913703886348799927721117436688072848374981047355894872749125876139372505890621299454438446290224058506818521546116323787563364361674245890195192915998802594520494716942470955476199323149541211009859750096667232551996109864582049214085948607452001459953459740997065269530273880020849313583421077939888904835242633177389151357305719528334527115556435743960622963186336171450323721446119760330932245890014632309486142117194633880220288681151921076794925784432859817841306377066594197255441603088577068094294460095158937286933518370848536367999666153057631230690385311702815544009854401671490032727209941025376261622228477396386207396738018856643820309482631489354185031230511176110425435303383360795152686165346800391728807020605081565259989048200434300196599218006015081486020361456656536219543830851528977196053095668456582960929257632483785299503230240419611977683720613393723960280924674578930157805561910857898860863303502790123807245866286256490608484614201070465948844342551321586254013777681135579498090202489411205185657363040368347267814356915398452029326801375754278183690557514851657486308202000957857545560973845332079633497689613532364014192996681747618816920730004239261504150260221634925293410423895685252641796941264940320816809772248066385351033708872302311462995687055993662213352459597721744738012634132720944656529119102672019061486611936915930856263665990114928287496734198044637285502274927897172930721391328802579273827672961512780228672096660766287328838234733457008453794841853560704565800568525477557709179328188906425342371473480819763945607034340125884196638736148976002356340272575092910406958011503106507672507488200901458403359735666197595714282268702136485195691785583363283080731181866954066401034504426550592244237745413463906907646715014889769441237235459380128802247806892254547487366083532730049665980618076546237875782163493584564700343602080397383329949494215641615350025042316425807097218951904371805272926895151140064715156744174298778941311776491131597588474403343224093333459619391702177527598995977750349912850887892808536161512940453511096780592032210582894465546062076578603968615087996545012355655872246752126609451360490455164712458273246268946806572617140869864316878327414654665969488275203363747111638389247457362982587963702694295825307617046671993397750040750698548370492406553007992146152759481575556498378820987036948001143524018746105906065289750579163058410056707397095777846108747637523668782206670420179337384633159763204245478486764466886110113859118599640021973081400288738355988952897496068920988633267737686552297827035025658199498650792041560424780458629430551103193906157718384516256449748360090363317380690706671861654909116216445874188750526888411342105013785159509300905881013802848439496611330995610861074260137838819054901945624768774864161196198554598827955447776515600610719485829325382264983003454189557063238040147430337785953148826424408527815156770029536768907642124183507832991874808803371495584555027597946709468544781773248663657701894497387256075395781612434144353939271519309397922423943056551698778259285534397934194885957534527869765107044089328233523093821553531774996400080212754865093785572833058543836428330817397053583542590672210723382992982325569805357936709905209756173118614081086116046317413246631564192375981087032123552653162834852584083941598024651955873576502630230964104824496193511170624343177574918548412782674740644447597962640108371852593510785308951976401356576696022089428992721937903887958908906301942557056559887738829740632071956571257470017729579670505394690245693578868030378445511693999365134599340584834709835832238853572977248441258258195341170846233037874142111583300604620396154696776218396296774694216373599888296886162914555585008547698324318541805560202871903434867506375350730797194653441464569395396163608028912160045414785152385527578156479422355240914410345044712461270890409399153905741241693039368284050898287458734223785143547759699741006928754547303713637393385448276081765443972523092278927432778283434869194335731817833183247900226086154274496476853642628187245341602767667771215557524353793371337935876892895136728376698946333998553412662663890766148594821910439038302333421935712042395890967426017651180312069942154565001584966385619367130437070163740181351624767487949102167100235281383759114546542822161177283493316301800380180234163044937428421672495705104944033797525738810614696650834875926313685887596736017759186551696400910859238275040260669694922710640146393238294084199055706128747439332868838557015823350867665460311051982171465153106449754082514340618398749105867399434005933198615543689628092728973557203703615698805818079172083280618572614811362083379590859890340145683164377329846852287266317348913920885336056126039029415116365813466434892070600396787327808381360220884940853147132286769267491049841085028672714168150972467613507795706331433109490577787642805344549077369716609606569950240098962420851928690605295674545358654446998232960100005373710336967761547074568995707345936686312519443696788889722297918767561945984621803459481978783314311206106392591409956225479800193413421702863798936323002800647745173661865311026257189532993653917298762905027693300943045702519520705229134216652392653444489883145717521028494445087286845387452437236860046332871421986510268808229579398867222445874781906178700631003834497961880625792759988271299407882956977513301835376245850773811919316409894519558579124266941122900375414588674124405038134814762702264643919162883920371841137322989853183865497073348231681271615079077064124577180002804344532684249118963666760328543519925936904170384161377453772106853756939258759845062397830432330240927257109525214996173253066737466404585634764134654694210939251043134431342612743819305476641145824292540735691156110528599958527331293970096412280734525092834835750420020624338832545729416912781632040029752406202245668111875791179575794113473118370936748179033465797611102057412221050768120300772226039337401388686195892262578021892471312600016786222221605869382268309964948771656607697975420242047178147190078524202931265892741927365544450334865202228819230523669953681695555943447127918991314432016984464131735579363924133921333712100276350648687542624194384823240263108879522148347538375740314528328289689036265751183409211046979289898762805302297142623595370430579245057044085959241079154076933621427748162712421090561018934157314320984190277023822035487453421280852732021575882408502631572039404523189027440398406875147139029765858790206912511580673575739201434016038329000538147276695104523977783128870047697498785334997896179290598431563697426553527095397453220679830102432273507280845945622754825948691544163021083198519276333892286929479537157543773822296178639460522345474272067531223135515143602342184560237802568437699760022540797654672591529573848850554468112389915754176584892071960510350525006304700300757791726325526442152943349014508932530158361462229863608884951711894081103113996910326188190399688319265365094207288466423906084154625506990581547381774229734206856768983332591306770721157306327408864757691096118903686746789466041142722191726358668557403300145239430260181357894180085671951123198092129864195483043463864187828941238478451616637626955224017013488289550323501860197081417607752899600279020025763988271412674334244640198423519103696494792919805030029877045075261534307747239482878047932407251853129654395449836887182514872715455590549759413480354959970689046619440165437082249123855038246316604853813068890004354377217210450056212657974621671851086070865641618755807011804639695165062923920915620820999234545153426521411038861597789945556904487472225333522765494864445773621282076354318975898142270453851578060395894999257523418512590838718468446827289870077872675898395648922141928570203672964405376415584730581233280002861545174242559676413431658263507892644861625611240952680197252464619846294454338414686276194478599667826379029932829945725460456386648315429239720705507716049804801201385490820386257798470281957302709995268187378845483999979439652989436228559987162751419896456361939771870642836114031795219202049532302285089202027162138720968792776805350773262510506939735196001563470616340438692297202204673186114448597792225844284615417374068407148353401340567530713678369748224835175411979162357009520936296250045404985927805991838190279104264930190219326186648554017433836376481783035788930572435434598685687736759063574114378117744299640037497632011375156505321633533538853097622475974871576919212296195778145842285810616438218971591886211073815726522639369392087717386486093963756192667724106600066404671137126313797077482154125409487827874739560387953044475344919088062499503018148784412186089504313871082597216680856507107793959850638756821793744380551740907167894048055586858570265995384840185906556884054763758449780059331383930706935512390350145050130751372000254560662103957351782381627385951351660365754923184461949767699344452607170018268711789056848466586173599318669895207359656636842948958109823078881568726858617150667315074734974513704950921415262740826085567569945832179279329613149952618647145508428047314656079870512434245002450596047727435695046085307462188136607534911614884151554702864607954809125846182920680091119229714673485874054036127662058352971583817111735401438621066741861205438525304317553194201982936184856896020697893844856407443573573460560692558643821064238902621492835680209365019465623281348070043975527149624173216856322022549838564843768282283788806738845937927982182216915045541792869463903501132010656797430435063827836195720898700977112014225316798981581233306542595287957893641179596845659384810447539454041323810504600092652058209334227816190151002884874656504904493169921156792825857991781151958677833157688832591225089469761252339605931846399473634054065094273691004257246919216619422809906667902033612550354726324898621124304841234806036109478595396857856331679305922258213122702008109341254745320642569837541019760772138673561132831957018628917965244647372865961990911831963595677860493584934712973388655608816958302163072557130053687421467534971503657961947475128244020542402921908546323580401454727772427103105371972135841408847885303424225167293510971021492878506409390097501109019811430066273214219302627220806683112796646031390634716814914777452679489233610094663708539510595920325273323002988801643806327582367702145484269975421947665756707865094745924356378035228265641820785961248656243562826329847216361161264933172324170750493260688944509232387638931944854236115521389804570252132218303653875673523386401497822312368606362789170606307662429244958342258332359074581036537062908330696790274133636126229667088987401457060754951761512426964456693584140574627994114578811019337515104371672691208587222908002185030952131420918055950050043311300794181175109211412647449846238706356933877107551587988860999395210488372649011580822632975860605445497916928161248076079466676853415325676392753916706694783432776495908827771135500544348567229586427233924326297121371512717892167736221933938523812684740087970132649316886612597493741444935913375267272256656407084407262292494838620175219098030575040924127004260483032518665375370997221108894129299313100029013349379247644961539261013549728209346993429617882902169452572377618143243186539770397890615450078350231181315826271009398021066986371863295799842606358108092266910381346014819620399009621393951888953582204879557702768397072535423096613414934550709458726559346371870681309272917153096027422839072890468131759926469963339588431506088360034483304569295059249810090616068672209710149048549162196645166300729933962707427651167552660448088639695797365559646898588184299957399929000854650713918138797492100263700380364260432128306567067212795120276929340445905093773431635436846891654319010022041261271573797590552773866262952593342875195720180901265087485690920707929664558238974812537129528930652264126344326062096054403547019274901884144138383261170899646943087304164020475063948344072946247158223684516254716494872570751875797666624220813903636202853381144296483596126878302715180420254657503258619931174888460392039147574976342627191737203670480178648544602691389598885741437345246507015447147058216465897962990194482822858662562852527158192062097248107447279293715724167869801052677001645740291947338276360723699572995148067887470584485856246444294096715479739006172753821375852343360954814250726563361030928127278497933981639419434487225043113412826072947405906397724481378741127818179674461025192245329454264540210467158648968544454013289575685135714884177584508500809511820917786424963278255024819829702988474414372818516198677475877450982601237508279093410246609765135801515802268666668498661752364881561305106806409038650094146277021288914980689135444851489956342761745101134870932986737725707585988240684151280554838750305160148793514225435011869907740473639941973402585727635166047717930104257543384355825602158969818615199372126773087765212573781332786212359068846165204356273449787359876287627090330193278709217321676065007244260218809896187280204484996149598233759875192497087020296088853709509965869592266053590637332632180856995355984726343636181925721948196324648034620352197520633624595357548958386896116894512271308265000055572893679135187220361608957904061315901382150853241014447241397175113901586587756626900439965343762087555321121361809456055416339032882305833874896608021073868295557931781600155583292354290505820632262661265331059874929492219183502084788164150722362708521094900443954003608178074915560694385327754343544740661260793853813622826424675380303038786594283896094260214927977708177199304685631596367448539331452961881904209611708996821005480117726440350067189497388961669085969083585400414013603008888225229514988082967638121715083244014728404271016963005439045900332224363936970831608054340628314840710872575718552647268825865766023243348287562734486289994201052309336487265050577210505881839720536924486684518536684372690623635590343426871634018807837122717130274739086146712110048764991662091192600632326906835484842530987716887962607518128719616435562410348761437354247095404903883052569420426278808160124423101478098607905285382476374460200558066435040965968339360426743312787061647054416166696332921203083481593796681518746492220397954842724389982321534935014492097674822172332550719879141889716362005281102423680435504913807916309469700477210258188579473999179593139169652503480756883813167696498449757464912388844873470682938104653795093330307117140260679947823529704032618273249764944434352927353479622673815559364374912452492021535486064446450207717976448090959741204887809719479351321668118854564587155588209292406546459923278207713149165881324437617084602118878635927016907055175314760766381100077330068219133381254342965333250832988213024446674809982444977222318376848541415462059505338228163397534605526667993852900179596616301734790495979027723648632852049393484174847601703273069674750336847136348855874731112735772298645673489644217055650546058739660888371189976249119469377328711710342465526471077194565430026224019807208165933196902636424505418368757923882899309605483204602195843394426341975980588914161408889148842713976125834381138290221586625176665092200688492465221690985130453786859039267704390569124142872772970210348397331288288623792053410442212505820073971306426535391749342808232882256070554251629725484199862741064056045436940026726910838956510265082198078626509970277760550337595621859662148781929251135326008486138531808590163083861862478706435567823966213009129956710891020209708920650911324372852343704648277809920424089404623034343249614665109187916835894319241377830648572069174090656011683509589256850393434469684860503369942136249854348700314826970661255044078398074371993244529110699675265995996129013519359193374138343363650665292112524520598687105632460398848845906885769298487751100908976490834132894037201140722185416628414529406501332125663197623853630901652930550407387265349267204034854154408518301333695132620766353176691998794286153355386837822148990854060459054639257936382271085363427356206706054244712708262499083914052669521825443718568143225329034349501907781023899084698552445028146991963199933977834594646774547284356940835431527516421383729547404457988737102361162980029300091226120145440042339295926701790953522695869131313584701490534397215895319836135434338793025015888369289380067795945408224440177717524680731890313806462760085550760121993460305043238673310645932594455190977672392353188257091494395275086503113710338640730952442227042524644120161922390725817555124252222613520105194174123753486409648226282496041447508303249735947489975176342997720229087569922595698532249487444848472633231193238516276687628518203631901852382602072350180665000377114035017318404701748426998161575805746040042421070391891907704317962355599357485424806247274620538231283472365961222498996527445375794983469087072492427818640636057011111846260472820796742304967591668313854182346164344509899826975436788091692281252126443978462550620278795073969382283164960630783314330888037359274719213061487011047756374073552881983950168562580652362327941698557051619687949852527902679317512632555062675512863709727426109367583751409619028028064212475353328631122327816117866727291768937969319876872146070400011521633822833957661615402016869108822290161626708267752311459662824626528047523217667362948258759235759401816685853474613739217788657250593572453618998556282759962606136338464893273675089165287808480328492559302333971102493538079091897130538921110818301864455950288955085559765673450323719654814185353049843231237398260695286002430103813141317595805299678711598461912429720623106157718687668909948981090124765180413860553107121756467505804903322231917129243479019641013919718831110323257810561265292232293463401346599419361196667310215716180197747178753052869902723436437619600258292783056835121832720007963740103160193598000775871231405962012100176455416671481859713570005444981929299341897371371033787213689765384704422363153994516470150934052166020839681003640238715481894990927586450989912293299949254150077155829661824038879398612422940433608293551947225874877781823225572505526065658436620123754763402788443465102415663891518243967227516029939945610851721720768104155871384898437636033283028999534045634685022697224173310107950639153102783922963482614202119709580295535005320514905295789349268651194024811999136146815453387249241788990639333598114308254456398541557345154178268345719229292024243600761356327128575759851790215644764108759048891843850788822939700331168989975069773969413852074276241783438816117174350895126857416415207505246173220573244063655992050748581260859574577417659497469139646251707576811804699072664567759869158412811335542564797664121825038611516090244100446533597955634981949351038519727579846449515961517443794126801243855069072140215649065751669359345132512194636934137583763933307032642544473094288698709667069468979264769189221121532302906658785201624119528887229882815258576286343640814421997374185941476729164391122742496240694887061524082704816095674464997403227856057116433761253426894065646778816493872800052669374884632002017976935415730119066597120408756299319061591911200946579177867272454788404589794203514475031438051545387842240197728482842882480618879453427339851664875557328403763019685754091396766846137343106392086240485089810391168023781767249899042604269176052554644277789716008622657039889719529881290015694920506963506228464273275519113870458421099868244527677578603537804689187205603477196594375320737953444448132250931646431038254237616883689901113301163071655556325242967391495941829125803705754627178609972084251530901809267712883300287162992524044012804301622052812954846660907850936081981527246714116828821401200235709781188354681926713768503819621092565760148902463116860976322649489646036376304885425131309008353164694498227314509807812994115117850445072439628510976393176539440273570876002578566390366287592767374597559910955599471532657173685945594981410133819990299537766391797392685452923095027462073468303110039082876956607148263289118499970772440459372615435598789888345960202095542344810400186280402636175502079939161777343558059581640112945179598836652539661143004570745485103108887735313441037174448793369020756466930513721106144434557416728270440764149972058702269672549301258420828929607235894479445510441092626418676052536890598933392661201765885596023484733744215730227271031601103914658052477938212463422117466025227741348582566283060817968251587750849270440821598756731635986918889952580607102980029647329533621095848252704101173977819947842307387331508235466161442030005150800209707283318514598734713258341419756644463525043328989360937488244476067980898234719359216586408342958328495948636259991937711605706153768092514212819184029010076295339874535749006001783821689611550276107855900652948386544177930695079196357642907427606537976148531417986975791842977183979816312755895564457635653008091492908557099404407127296990675826554205560059968667174783232766849283243234111703111266210547200473534148716966730442788478883003832269611135790986929986309564632525766153655742808075752811830559019625043839854496028120056556176805992317319702596876042634501076340577927729820848283487461467417377594996388473775131376239885429414713587035220693493575343915529129142275065799980169892762333892410267112199158847374130278407952525957204688423484161885206062999371570021462701240821572200385204344644325631689766345210207048755008740015520219475073330778856914559037455570010722848393702925877716242981390868871701119184436228017731878298645061494888006587274318370945504414889105298273130431413175680238400244296478079178307530278691942170353900044275166636547333586848435245059205525367157685857410855641715222321526138363235152704282678905918787520089245779784836648181052158078159528854526072602911050556435321690132882740549113954745486680943963755192808886250715490153338173663427733200771749842890735461422393886326937255744908222506506206336265974483898400287660134363059380280730656375565445247180020558160636536647373016383186997046185170456847519088394818047938836971942153929067579926604763935727007657977018367909294177997001457460337576982237575602716173975792871235366817726644372743730437768363900024635430474629270155208873057280596808258526793894561667887952571771428608233626013158565489557899140729804273006381709048940364616870805588185788305178924015388673310670662250355883100017531356974681318865800154769720639238106465174154547989685581664047176965528274904296886940389460300113003751680015224655039713697675983589218610171505473728643066467787457965365313206052138021361570534062948749525388711458905186379189395373238124766003743941122060726373831568125308283501015024391515857368369703798992962892136338495739937522421549818347908824839936093961422797238069121642313581347193203164570989268625458529680590611676941593692200898297217654357188494292828850227025178169880369746587673110230590079918001321888006039648993866367788991392558312285013143817926265145144710161519924426758791302455990290563405325184287205217136868751738544923657071254788631777926320618107041029734335630726291473010477438957077786611599888048502293763342350357375752803470624289318748945625816193709820643452525291919382527735770316878672024785148216280521742568750549139060930623259615160189548836799102168004592645428979591390775974227106030679818356110115974998409406030734635485414419003399568958030652427262169334213778191368887742234307375924901171215778169496688034220037617578521961882304714394766615422894446283043595545825661490093825613096107271789619300371558993396666632161978537572870027944650945827522404051894493843007268309549332270988885503708330861084385342559099294746037140854449876227113930072142929066984600317700053764280202385724169423673061918637153184392216535410956296818277659768304177666758652409984802413048540627453313337122876957642370914644956506860055742756166782719316844541140697297872172535780818090362229159326084854686742792887660875393996193602729013176923114056804037443076220129725557237737311083087353033833782800003100988392239194812909396562336337661502992180258232442864380815073964472148651091721597223169999532124387525102602975872529977043186962401910419317207227017593984435726982679738432453351532284008821349301429699857932800796747745553128360142334511943982390444563537833117332129700312230806368732013178163893405952914658433332609193513769326989232399550024762447723523627937914887500790728116434488892845315360689637103899489283189005708918859674805547645659332448543338472571081285411752086279799710592424389483244841242512653937016407048449574850147583110046573753182674668733258781345209621652259147281535701070264919630480307718420507497816492056470927168762008320188533688521558452957672126268823432018374209200849415276517943188210152289885084896872439027639376752977441859370570642106872460471876847928534663368850080829994748180982498641555847609697283907765448243790853624379384025193309128162077552992659674861282069954408698896915916226987116895767991493965802380146967243690545945712373725107016163814473783925196951547973352179255618262549063514231607170372216523649670493067349123579355140449287104235239170119838709682113724371951662796722264550123741438329407414207206448826831160295251434826904120720215121664244455280553542296960592789138057715822949489475128882124573483597601969532410466575030943860929688589708325843763688488105164152864899847152841928653101716974136336282210146583261567556587303403728801166046409461563482041397711886576758559794389705845653446642404052024011222408702236667117472997248126945775980801887971948572458772018158005332711278886250122067394120246926504810669573180577124018645847201664188901050687354706292478838141038489800319630658120335036816497803565402175115615715605573948264527553673794945498540086710964396512265766260491404878740663847698717572333600951387144002357798156535820841744901271970610011182748259986347492758328903349146625812618354895202994762398351800039626706207846562722792192486265666176864525977397894042074235227079891009161615268845757938810819367250663817170294675478487361574416641722901980051755661495787747902276073618822111098172192693215052142526579330801958412672552947954351743046988266270833495160514875187692598163872158781570887851524226755830808696719674039603097843538588374876011014442358222215625956202032185698127259034911628364435874339626880587539115586908486432027902056369790122584928252223566160516153393416345453947870560806855173392393917023160224423880473515093868391482201148477266216142266870695022120674459453984031783294007687709577006168167257402366724190387263773067238182267478123822212149994822044300601715484056189962278812073828465177001424518140938826762480429263527310790686305496409479574617973597088784118779422618847376621804694216996105496183964763754382077761184462246056951825924844038459238159179167927207250347919337677371165292281858240541405438432424868103838285871055674776403992241178282406238878712243479015377047681546497305875803237378324672307153825336699905286919400787855132912879369259506388782769854000801561080510608707535760656404448332487650846489247567414027430536467279904400526607834011696137225852767769317038681743579300300583878852708518591563491864205213815821336551994993424853356321788789858161144465770005208480658125634793305380809039265057649241283692873515142987274114471547388306265033873178949697418098541512246629760558506244127893723010161036129681162630209655166815854541828590016548702292337197603884780731658515980707036190049393971869588773797203263538784123656455831534810775802801472983040455084680683007183061752960351733662280674529529979767949492935659359824136188074401128158570380536774768427089696357922440761260515124225967361756497887236573244904743766036898752060599546630647139167830443733470513320018150000466758600740124102545648075002904781892362821508919280855324155310563366620335234836360866822377746189749809317162749851043384116154958920945233900608484041100807894000566680273514230430222017230933597184265487957720267018502520193693690987193807238184540877112338080470595909111265405702329184628121855425019698933922734289129607915013946232050120639897681657305691716577266964585682554064795788566149874424938674167756448684720948868735701482236867652132547056139042002365858702887733439839828807326964957186153743000812779827979359959888363594899916580442941556913675514981938195811107703807512038148598522220378538021279273198288247021319103346411917932788438633689646178232956626953901830683612746358182385933383737919672010245217152107704430995061821510616543320871390686892343166891822764249956806283572867069125378107312426251319233298523679032477200182186046626669827516099786697465744468497646562041068601891659607269743290034313920632380397988463234560575467029295309120791500992304918433628563333040259599504869066275483984273315254364746013783785593450282095325742702495327616769554471834630216552512429165350871602971384772494411328071404498960461580640740071131622652289947763476433574376417027891670286477528263987373020278308502141508580144055762658048106313816646939951876973641471418889300615923288777990905632280957609605635401331167473883324158080242003179579697822343029974502516747369979905168258799548081789470062097529024713304538682775043113317773833502917403504562109547709347846454557590255735814864350182451019866674500142149774685318564999691929846037856804998727442472633966911600720746476885918944447841037306521636389089304857272233033530067548584510327726653198726839814939536528896727472743355349737439067208957462258479347043153592112726430427968634527590694068436631517743596167109384922967489469752092872584176091066010288268761693453102958993835719719884663303541955027582910673010956014747052204235190050174738559075242557842660400721448259124357440069378024921793245199779075090783326846878843041843457679675341679115250071584577942496967757379356451709234349306316168800410940694280824299588487221831860646993783086720018501218002940756440939416232945936872280318489344416526851496744078012111856134556665263488763101667392117700473624109848195236153720139275850803799263091001546934280559171298364104838090382849692633517059053054077239106807590051427444248598342448025204686557713191045482390899361083548610416396312808270290407738505771687146488677951579718846048369720696085452852460670203377555192104966145448990293787486029428939921246848715833026634091935687865684933621328623700819317967485589254673964616988279757205689789565319048570566456621010260234198259223842347770263487364641384533250116279314118167442689497762339437918091446251839035509648270308350550047896752686762406208455337808074343056184750643891234626830946777063486624873720091258141230725000426383221036832017007678367363673534735918544496902253637460118341650780477749805970069752757506222305502684569086012059305428109038507750577577073997871763064303789150951461752111783175318674546449333623088583151634061294489885215926275177629947784077656729162581685144082485940891472403460884370639938237443482940018775385336811123925007065123187078190704431667800274720465070194740860065095334340243552073592250541128608625295336379990255109959796961907790468517268036320463690939845617098895871470801802667081262717722938040992872755748080752649817421554999213750340677515761985499641754519201271426366213983069395933096250187576612959409061795212029853643988785777865309058251822521733880615576537037515668899077995296541529296380411920950810752925907678116835854760671938203328497417036771068890975448391806807235866147761102028068667867381682990079272849199860429931461351579317213170376813779162161034835770521699754611714160455586522743203454970133127575415558428953055490923962905235457999705499111045761469920807365939175477053944228903016738302847998532394873312448823414384170657722050830375470496970247272761746320778079734814101141305112206800080918776777232249430415670879511215498818228869218622583068507663187984268274257295948655582692692244256255319045561271984134639108733503806205603044505245964703189510948632580670299850877422163087069807668223025552695536667262827231942543615786484899947711080683286061129205399615501958624202430696207938911955109250123682712273663009797033605957622830456933330405973263245658528877081973130352354547915196149113859459549449626090019435334502374477639245579195235446040045841361759000048208418325531672692285296918367917094286005719218294379841149321889596375165674180938734874079892905229117432227756376747529263285844334468894557725388682628473848562733197069749195732553775510999157245881230771001958826609993133576489525279920482335411472259783440777210689044997757514504624681420519574999810040230376618049576924200472966720358175537981139671755059883045719451098823473965445568187183537237446440290447956943003008240526458495568767806022179401606877537986652460410958872240872750191713261347166325602874872664024001632602482947637590082525641796867787221309253638745334302907469570421612030537305284482603881301521604068499877528279673865196740332867057777597576551893193310837430939405173843559839717088033496757831806199242590809428933573628829325814819336466823198809729110334733012159397985654161960933971391259698812908508977363757860075229419186495230153445471801658338532664606828569933376718292317707260012016306573568168441005345158594272067533369910725343813121113798701162505601947734125877780859110688052467500348442731682956009720664437851245299697602229423363460275634271653150004281843988594432166724426348273516010512975272105935647565420752772109397632267875568539568783505563227745113111842251443822269653028143123494483899958752389772632453496644857415126779156300030980161943618135780803296383292801829077648451727762022113238640014584179938071933974200983030543799125157627849141390504945599150399304850451162014291600003547121298703051971265583494360670232325381728833326084798536699674087695321123597632930142125753017260798808394968402668311516936276319610448156782712957485490447718999438234540933195877619064555088716207420580745092326306250452936321849276628882747320314473832652925170374722688434072590169786098913778098798641101929591457760979528659902718870867118756879562202272623645836932771123158640088268075109624171464680658913167999425885355324418716731752544354042372708445186714692456186452638968529239097470996072797974740439451131449646087139256043446242561573879983739739106488036304903659058722703240004141908691536378283214571984102869263322444514864935165780431387998316599803038158828940142101398986922457977216917685326439963546904792466507619843359600305931652855482860590481416602204667288148972441991453538556401380040749995042639736553225192883062944804120510506275365633693005726612267434861637883299424470364398349295145446852415819545661744166726134390492197877565787720838483688171303799580218188355817513355264745585958030227415770115697797128230294571547763801750865758974703945473704431937444156318584203549070438573302527403494228346375176554062268792704020603398053522936686493333031781965746234039592859610505876307433991616370611691731674758708282363339520389154460019502323285546379310850912319125105651439281046884598154772933328768151478301929987522377118706180240420078165431763268121294306757819093252816413251397375831235120272540715213700813065951895141367096047248786522387780012378500713858290345756425787103416096110681194748912320189626657201063940615877287069766998158264066222600465786812527896684115775674852334343633096052451060988333587222400786209326573053859712265349785041727022807024176788505078652149671058684944287744464532131827736725198939871700187692796033856015497937320476408307272268160299553976980857796956592093673051616579881145224552620507224152118211537411763617671296620195186381451692758106247710302218166467843898865489227539907116924597122436510567294722746747205086645992869923926280804969886036479907908746012665397852255960434157860861732538617251412516395145163556944148441671048968743425135310455326924144275343187976056000517547489598941078255566072517117251346225294478932628536730621553595786844023157005730685943360391245198039719859835177723963856742041140728921205891282570689518993286699078650087261600441053089715416080570517159054462742615780193632985679535119860042659672998650177559994391613245269022347726313869401943913214500542070633580168891086772061836069855336635585951199377078996444828128263671047668822426611406490771610947277868760948443817402203162607235304410334881159883470613192618127016889621735747736327375562328907725814730400229925760273238737433948361853173204302658101142848691242257321407556389445736877445378988360727739367499359596016040493628852976234857854555317338831222801811955113891423268411052946772353398273365543655015541299425166394798629393458773313877757213375947726897838473521159061364183467891850067134689817325691698650074729593324217020604235922778294521816667695209896216559156067639559474305652908056261029873338483183208570892037921202315396103358715776153978147385037561284141070674830718375503874301220223107351441593173369520194124298350971579620627273916505457263544830883640374089126483825342049143443851007672056557631529433328893485922047531526132467047263625871076436619397722518370593231641468292249381721259628327339875861681031466091674652518812095392935741914985990842642005724504946487404215032736222611900589352346157502632304086856970754588234553820860834049506057979327958193663597225574071573479371579261508215535327392421037785326971499749116087977746402699132616775251706809573897846457908690481920057675345876166317402810547890336026641185410856200807775342263110541419550594430886170104346338042153374966264449278555225424688594143551620386606636640843242785355008189761259805009794649617274797897393218507304736331373621879120186926878007919715050530345691346850189332130027067392220393543585623852385022226768105050002193570587859349345916380838998737710257642122008413917025697977558847272495041628078258932650106352668459904520495799121477180667210841715581246704834739824018471703833862952613996526237721698383632649220495755249059356414156466045825958406146825132501642254113959193026499488274205671860323246527260202758014412789683105009588999946424223361407633945539661089393632861809011801999752000256936433997241363776682258458966379947754400465778627656792934655899842596322313260978176056918556118998352481745390728695700840067983965960352132424213503395986090041591521282009216743256650504614270423256657860004934579133835812389339413098499705872025431408995272359404177987159916954496411915723577072359022071593321958180468352464641371119382183148308456451958649709286961364321717768304541445653075532915113205391063764810520252742522635277789205301653951936588595456365001315482866354253559467059509483668131523300909201733223252422390862376247675702050908379541395515905797219014022679543450652852766756764673177721849053561045214460765026663280646202908829170800402505782619698851524028819625913572954499971891895500125118193579929123423411163904923647304316497736174034993609802084116557711853136297387272400421098128842959764950734742762375887998582156943569296960073980744136986385254143685214588026948082338898022408604945315635540990030403667036325447168109634971321666058122989241398682704488337676593198597596624343240089837438942841266620401172875807302316996424804454940487871419762160514108660842871585184429680094800204391948353143490826815785449195181226304517115758874637569057513573231141718432706748096942442682921590548713944015071876863957122603351816335890113706743333011605562297587587668885800906713155448662937181198733130120519602409721968282462369777548107812607996067581277693024018933341386517038289574975582027204523687408511517636182252359304103614654960970525367662105237906485924815269960423573704803389499543969156999337401035793371998195951333416729432968711900820011642930019987547011865032902515602750249120905397739996652463340067268392523673282292360447733462662063211257913004574582072274026135752676600379268858628347688022009514902451443877817443196886635717181357328747248316762460443280050615693452969251478000260011106528263251332499596758674979758561128195207548251689647333284182097424694492770175753171965062834548839189210244952094716285692686278887875768828412779235293728529525745152984439702445495321656548141007557533580847255450642936916091712820030290826142915479811318297061100714391284491651999520399558611270552832268119353326458910342468942609168940574276839838188752865346836791705311480320859765821312235451468570933230137876121418717692396943093688510146734058922006826745273769803689014303372315760560948111894077118638851441209372751276175410516732149197789336384053634298720046359787165790572821779855453223598201718881224070912120481888168042464662990745350527287742903135328295174052171074214175220234490312958650239773060311635222227112139183158473316919003516960392366905484444371491135413028679265397680426932516962407143903502827446446694524129765810759285244504607675079702098967259444645056168848398572235140318164817426412953415289533425180308768363620494218201468355787459194856317217465239016586196654301996978612631914529248498696439123039305763836197214330083563267071026325002413865452091500547546278601591816408622834896616400050228798567885145933956003522920999441797440736713788794140539596682940890854607341221302815197993433786226797898120827058268373452207945843784054684828623090799842094604695277722809506482942127404363647000265939066044662687591603288897815175954085641610937452100119748737743925028366250203358180439520403784264244011429701083103220413643406032377034975402448464544167956308234475469472285885518045493759196617485286929028654118410292183315933181109327176253281143524360587739211018869094751914402433919224445893899791632961019379617064384175263562828477238263103859556422215231321630381456468402257179224127387026853921176612826166240921264132242880083363415131218299342193862579320975813656777936532921592730195705993131106934575202760318646680131541454397834688592282098313582606096841239143603524487251872364278592685699511489766967016236208046604063357645954714532773684958616403241531523743617265974454599754349917090913692559069570323113098908636767110178308405863559735306356707543589078889812383097804278383570855130248079643901574010012206361328765785340968810690408263517025363699147195522227793162162375209970979551123153763631537999910689210813105370610524370337698582169300473169602049008389514822295514503809751198892775157434449072739302491954412804196888256927581007035829986176126953997653149946275658906319559607350860785929861132501748597779984842451415266184409700880134968753233477919863218173657594437593740337739509818250169894623129174772172633785649829618607437316049664663911902159931136155780701282486552333259357467952842907809625549148706016768794760948902828764739549817509791638051923398781565483494459781210402155695199151004372456908897083770805720106883264070375296667308303963668873179702419217797525080843165090005390846643730061923488911474575739388815225357545078195166925000173045819556238807251351977179558753905878810844908211778510518627934948573866298627929061765006608200921608126181180937501123133293080183622699835877824768862234549134539181682078137500626808907259615681369155901461686573036046411690983534231451358671488542728957931893464013576263460957162745329650882856995008541903903258746586467013292449293760934751233285706934786544733986007409471564917884046741946885750917481264170127458037156547517771463431316935891146789979631147021783467707739886994414966620708168776340416453213812625768737922164271150367803924754695820913607295664073438272816195480546746839388186763538190580618991472163860968216776908852357473279096156323420851673237199832900487544918489974870175289111221360692280140014644400836557039511845767801475085932047086641464208610497721237392172577752974346632846968417530421130699343161142533126397919238958383120918731699071615622070937507847006022928455366697519512269969785830327071586993568650908755784155656766409269518762658245209331001448078441854440792334566872827285992002979842097215816687411661142789863262122888634443251375162529195765020253402870956154474531828133971019354672943276145683241341910916171461020330171327517266725875778112598634291958125385468850257000363059353011789693939950685974098825465110170285820943468752886937283792375742469368730394783204483109604707756692164562335513475365883904915368326445385476676464644625470505682532339260160542577600175023897699636039502261164601129522120433500955204733008011045633391524647460772639735728349590339286943322173120233212872934713543929307803629729983495047646436955471018005451847350722386515536120022405096519654136319043932931342352623498843360923541600006067822010251459790752206133750286008775553130242430503996965691552097121277698042862436776297721507670019856177592835321997385840168530576967105659110784901803222746119934977946797809110918842848444901239982852607682852783336383392173738567130974056932570827152760644337776006425977636897658953989817461971783829612624743853459485391752793762726462412465870402150616900053181090085026986859805286860954251590592157705090991121426796829649116164914642754708227489076165772283785908904408991752519713919941436848276799742953932334217896063644107333611525311809507767086803564102338461020038592820776843751364585051176936578808466480231954827850501041136661540689342717201612539103551857716469597570336074571381632720368011021902796073620407245410155720783561007742457822574082499803760146999143789285290177057948641882990241665671929845310280795005158359187614455076805554872448804825885692538089784591836429357974829891448037619466110539173560304374219696675052237504265662377347139528762913395890256236985834198781121243257811076731622944528955111459883704551413667890617008579773679162873685690651866928645051819931164438813222275586815414438247386631042089887754334924351973401672639821451765894452455391970888599304160321887397011893417067116094389956204033677039079909708941991921393874237102926293079067641131649844209595301876478238432468338359998450291546374053603854700380515215466372334696636339516152161718104000949530263778264880185434093718280273574707308253410681903811304113881069105624652493313623355350454330289221875974894074658721736668311415391840724575235722394362551409743118267499746853876717767823211645623374158388135501018550910635211625896345728335445430919627405392363712637793853820465608317119082442335593683169599381785205978361276108376362602925205344484943575886209642651742960463132209225817896881184116632943826740520178103891374595602391075092668118027366007499052040930922183669186157181489093114604286448471861537156837114147798093887389621332556519741844719579384531846706210161515817216492071858862654781080203444709207438968408938617245331740356818570424648414691620506971200588313081621061042773287760636307277268127115713565100386077224528348351096598920865408791434683294611954533869687611281380600184739478399290249773144066978355432748581793595861436245270260978009401590965761665967170843976943708336940040220679396405398880771598308640220060289563387320133845123975780820462836483390176146836536614020448280349727425766837149522326567145493826290112509656191647296509388007272747882433639703139947302440579125208592302949268987094056377676599289965043212348807575777606031985858740292427907717532638614864128604202378248821150951277228817658798391531556097524245656887065629198869808672995667051197951888008204644325901540073252567552350780619296624590200504215746130095383485092555241731957439763059769417227626841329519430488440932601301282678774523812418733721212584264198574865254832327950636723650714485183543371409823081241687636165199463647478430727684506002190340260023052232402213360219923021932435931838258093938578813814670025043538535333956430649897696639557237407376935289306232591806159765458326742413183928208678121075672819194193096776363336370272655182443120689292771268511681445648449660322280180692973736487932019536039920694592202220110518933204328330626024906714701982579626767413774532742736493540830663779059349036241678963713398957570361129334875350821379043850974502180021926210161295407015277814004569229249242015310498764168041729000184280795205393234068723769881218560447318017490074030152546555328567496262334964171583661626797500371890312484568645825100296899244618565387468978693218099673443892614332875569700620478920799839201440815973112474312517905486272838907082774199702478651169642590806604372878561777724198135455781371180302703578131031530386041325778818958924710299990907265745825673744466398298669721305457508902263197074676702222518702357238512387554335486878176512516215868974037793074595796124964071919453507777863794660673176176473444410394456232420986901666129219928867154102018211410834430247734244229550263904063960526672399893734074016913226363330542960460203804957638665201402517058595305371503373194905522624770499369735681282524760026920126560607130961358554848511021735051742311011586249664811228211225430261432645819050802100140244928563891395130910087654126365810469817928645783682219007618567861390284455781633131845879356965354973117142559522410850416457898125513590755859317657437053149238859220288386435992667295739707648012758124962668418402276978273086112531523999181298170377640385336539108240333251639936888552351833559808999285831827771674334234736491791056049547434499618384991080795182143807690316550757280526745300775246611797808807402754615706904039309352587300850065296454264421574419080102226022704488565127927013882018369131907322232605887463701892015882395415857672770629152773645420039170910720382278603382166055431061161999998941741315004295469140360465817417172051597349249206309084190238658784315887890280959444051131310883972493939568093419796802768811564670516141610740025884747860023396359609180606554148345420670429455004580805654464518791411279246582125943294578105300051033829140536664442124054294035583072079204594120732955062349926112066759966884510255193940339369660527768404872183830834961713736292916256536700083050460040979435731058417011200805337814448983835056511290070836615979484520813074831334188183066939533088356939018566064575541847544007140245182334696386169955780120006945892235066557843931918018043486907574845455278119987973211249192395470162133787255191362768808329490498074758226974897406504816379220605978990469276098694597929225368953548803486707021294456646255671023445709912651744211817103434365782239580688919024118503083387519225819288580147513998364028006554568270820762759981587895739031031024901126853191133427125780103502975137706106959140833776387779779819932723842502362891663013197867359904612191519388352619321871782737253387406371562964864165744162126805964792908581656347197838993895167575362443912392736447810057152140956438691308068227568689721051898155194157165875580062845516973006803969773945479107790534310868378255257844909837306439949634505148770301748777798367649109913196366311870382150575612754521219961309545378122438158926367816983014849977817974163359724481485009845178348708402321152579004164814897797897106455369227901523386496239557908351695364712109981829483579938453022674915326023760300750324631166703034192247744011463049367329185924412404470477138440289693429933400353570412624246294780054751941102632278599677622393360802966411466386782234790567644991562741521956838019720486812780558411554877120038479201229332791944746003323077547436727621438159814909923738717325968735872410694839311639828494705097914113844993432279496738015376786971684490932917840933229873306407841806079031192165942692352559914882441828231223680178420823693493033957867609580418648906888403320295624161177698613041943896011600177237943234918967053480248306777628194677606651808976735347336559347515940718415962745346224819376906766707694720112970807430529742214447329058943868180574590115874956092646813083370375995845104751904954785488640358911683681595960909460756349133982567121856506197774602988674765106346847435056462507823662344972107591877104644978769701221060801690287968954124185766093984383407307473984219828716888638983438767819420067441336553244386276601350351536522353925021613415226722402017179780429037790656387116211279862853828083839513833889753380438420518047987409964827623004261803234619586839354103720954118426919326291720897212721294956782385223846818143124608642302414577931069035582396963875281908933609848566972316099562904813495331927020293034348878354425565834773653250029985443735201914861680107537752821643746255263749649555030699681641135029415399390088411414059166168874980987854822121164429203064922515488388483936560605047674213530905911461960527926668071066945163705641348880717068046149066095477194558595068308398271879677357136552223634179560962505171326988862523989511383365041219178524735923434672934132762006971370443572312659845213017599379985679565678053004570043095026046481641898739993570648657619896057030670468746794269482075402400907889352885772085629736168834903406070849811362636274776842177812406904351615181414796835445534532294754303609733668958371177366042313711236621050790236100616114013656749651069017192140733011979435409961528785339704896772496950224525528807085105033747589883477710754288479282512617790068245390042160477191792827926602654245251334083358034705451218165279865268977138394911270614554432942576645760135934422272298288687062845123667204790867548384135205055730092578866329556887606471178601125217670419787063162359515577893420413339041051649806759408051007789269795137792696604642696653866230505979126550073938607447001842384771164041905818867757325558557056979450655948087671290863466272468771547361933812108382008081714167845178028254619854531014827785326516239145241705864895547893042192556274754744802629893341767520781932907887710151947489737577621817811460164048103755217349088873433776326414451332475482849255949214904084700631134813785257540938826430509664200323992333934886669303244346344620274593186537768679705048958027004060445106425450663844082210717387090373217096346811803395705414550346693742312214895009571073208122752374899785993530983718992720571421504899687357507561118610904897923191790080113704057847538233249812487445257882774658283576012426616859790196997783001610408503580148493288721677455081410123819139857175094612414650650462517364521388110879058392121211153512837376773721579591538879533886434297852997868786034324222939811442939954783849091333364325627339028525241153387131818838102475618734123580723217586498632857285057925912673517474425204722722799367731144133949383063245494143273897051314630039791714505100472022165922490183008522357464006815806796217819562275133680048843425766835158008394308680843157253134870712746460083070333618415652722577246273323814115264904741126402174355666814483749899554098122759422024225195126366932843652044958601945061908671128894813908794937451529166160066424739475121763745990699455210728167151465350307113634492668274911395437910192584082530116731920672407180710883859895625411278946544251005234559390320268154664150735123363992321106420070728778054231651544898868151484094414710711275671951473702863718974391908084882016819324703036557348918635957463338483761072021325619292427384161151780701503612189877239314573450077422864234086680015168195879084725124884656694114225699909870550486861353891989205769311660197513757834345341845387904588426212027671984124407942896389501574280549009905541599815038072022868802258226456424466104442050972033387384651869826669993248518503028142137061833182184939664981011633092960084388960237516601056781662101332531167963402225609611118923036608551680022565278559250714666295455678861205917324199918044750012188397818910537278334215777444118383470206506211475848433645983521959507748554049974837192141093429480751759130351167848045897790719998996632306776677269784931181274567471948051147199648334475218171646100667802577292349342597632249332712247742238194843599501042266907412824257424798892472995239775946789711655627227405910053083800649050371019078955186299604862920715342278686397401611502273731011709019379464704806238517312462230759026955484210043522400853608536922583113152000694889635426262077287895249679171558579561381584401109493201855675773518999929215502330179125138183816914983225894124943792051961687437908559973317840057517740306181915746414153521856159942547390611831089971853907635266312566606340028148061883897656982448148098863561023057017668403604223337408163066328858466668868920842854297275393033928460660652413054454069446168801467180352472005938624732579614281292973591417659758161705958104346966094464514605219302497894222806635872557344753911655324126208764253574670794974812517695975565270713199813971805353825760339549346992021724117098202933312345787849675357185892144924097694329082588611993663811243382844358711809485231891701004838536465880516607338506016792693532398819612121565492893831703121251947760582201846482418103744840403615177806763155611015266302624964871949077327471714936445713439563587578708991540380271368442828621696315272102619123002893219331067658699896009456028422227194054043427434087521966127415127282555913055283434493810971191991990508458525488516825378216697536085363975747934895679137778424206353939544532123081338446714480533143960592226719437833976658903254368713630544639711233711691298200599523730530320731791243221309119380653667041170639964132215824439772117006915287833864106312010288991441662485611304346610132755205616772084532854135898640374914323624608539963791596959470194076081901094374496500387343183607105025738277026697498878291736451355081145992669863030784580153729712795448115456000338481046927450201553663451852556924890136672134241323157401734939445636545637633868793752678072683300306613257475878258828110831740814663792217706435497332670630527621049711052561825831876915573530954910407998575460268807918569473003774723370212470695921678499600613907263605337872880836627400864743154559520460404333649377189576945755221817357885261751462054144790761168940151330641389924404493951536602098157122483992836767243553294833604681318995656186260212660370090253146775449043470051638181425674252765531285665226851551922930349342380216541232023109424170084755485760635937440651181973468339780648933591311308791477652954824096218712084237428630958118465178949785774090802395620981410379154177379721993480961558742676837226750607996518304231267529818043493085463819386972557338117702112646896152036969812446035971693346689498652711404902314730439034329315952922321297460905997210747584933945488794139912936598702975551201428361398288720941791183847589520093350539275680440141540250850263699516218305058410437601815990562820054753700402978164891923869668578996648041699423615394593595680881800888982819692556553701289171744638198063022354296422291911823842887744559516119862104868779199903175357023121458454779802383666407320023001545460874205140000037162604078308641963985894260456615957999318050511223386088790784704113921015833400492726567568109683903198802884459062346784147972283501081800073457960075393715856760872475993804127619503417403431049442173986328142406553638996847047878030221183445566436695280802772868218672427007673846014902127224669917237067800032900961004585176055442018731624626277730966877346708579428391407439753662692598499442037898265907555003806549196580005246686090149021814288108587181108151300527807967424428253451786820620557965838748068989641060720199060027373685760422866564192556268525601244388645624961396979568830879108672830792036186472746453295263621797038749487241394565820473946711273886083169484376

real        0m1.918s
user        0m1.884s
sys        0m0.013s

That's it!  208989 algarismos!
*)

This document was generated using caml2html