13715225695155985790641630478328594063083202994363440947073365454331094971842271296682523586325989088261250591290408197531547728854270628661403830572993786059055844526480845077241472277541161490486861622393982615284035493462880186629944140355293649570141965912715781190309390319368962075514189323447351592670957895784292780693128818686922970391122896981744541985015368535638596409145910991494379390662737438480449966818590577303322219532782519538082715712543909790834355764518465053886040381619845669179867786535756149003943491859082690563190244796149588637112627993641533878858950750663536192555929612359647712854185214921484925101546194434093217895171943878187445033296065771701526964748770893333311377165519660525285032279477335705928796462640345328547630418731016768367423402074143040542367745256819304849939854237111231296427755754267003451427244834135144471374185692850764277863378287729446513513602459319827263743108969182369312910704361144454136876235977964756195820777844255100031041636863716436159628897624382172228273647945097656797128892414117864931419884785978351276927467315811517498836416700521246642401368459396247094639674699762507927397241922587023945677773075776656334745607455600971945568532323323687129758962003772510942225829910615676224438155446141203990184855701862213700569992243649917034759269135357038652733388635577376696488611405186243291539106752118017687324733880494289850094956782468773570204430888172127176119072975808573845265696888468888913948775529721771851870803156648061811436903076753629847842484313636224825115232828115056791128287081227165788639219351585351310889514303564228582140412902595068071463335016758577260393371097636437215868128348851188737736617343814087511460518933975198371778849161232916995781531154728236852297511818716534699902615292583637633351436632148527106979329362483127937915803579201255422242713977145628814318261674916856622288990287548124265132070579465033643663308095358715965181418252108408891439226686856159604634824680893413486377731364200937752232124516115255298465876477505180867197466342321518923662628736356552501782238092176483090865239931832312393072183842848258019584287484967812694761509825675929295094761668935666184797556395772347595356034245595475717907648746657805477007727428918402585114729842945447227978592988247240077585745350156789272926451911645344465529422544132249386709665774577688630680294173365212847284759996240527080303122669296192228742422396662965265541733218427263162474929704255465512410544486257985646384992522380364597566116246039035930746058956382642158136211259219637275836220716292566804848246913385443393192505155286021527171395393855053027709399760485948273124487777197610554786647887725466084373347431219929067662515466576613051598336581585077497067316795280177991199835474110058358901106057566614594795946878358668083802242873903501101488171194708291738611400012943485899070053037464823282284735367826544991946762131709910207943149762313442863841323828526793248359281230029789389564100917363484652936292031482861441179703462394649459577254314698327557776644455901924745312478240509591419128101672482705515331781924860225684327612453012557984481313846089494953811602643515055883479649687488536626616996829892994957312254409422481136719545674500645284315627441311851409922295566787616152215451038252029133224808315919737820727330966337559778936622686806931738620922067556481138739057242599513031068209111091127782424013278767731233981485514494635629580119453385892653321650224439154136481915633161168752772615211360726915944727786667008139781699406688489045428394358121981876341263349757825790595729163604162303825288760516471736216843814149467764905669292340072785955923566027640882676390257689477387614377172212389818035689466463539074383456843247350514515679585583860295972534537638453717564254291099144222858913826793450035573128021076224180337675304086448489319492116598208299829524189657338137264601778883374575399142457597234027826586528559642438941638831063857306330379833961168557483461533138253557728318841469744512848498869684957990880013316492228951213890799899474570572852444594600825621823958195867055826435431541077332956783094296462967378203115273725962514869383186526168391968816991625601881880978375347799178422961282169025730074419599418858224644645886261812268919153078107341287613576463827656994628384682575179920233365989585543037394525783184534500444015455822198995989154144701653089173555246696194574360356723532418688412799293928782313587361804145309105154967272826775379683241728688908746735717559366630925066849569264375562905427763432609794744691812325027413135931091033467511364268709293036498698712282334550562923685469858163506747962171430531462069338167571516193919814754829369437289506331769037784269048137937458547739629104959241661510787044952348177549159410265650104735226025287243444081132013785523895455967883453830638879085434665444771780878532023461828312552958887439164855747954986936571724136411489942082679089748285534303125624721207640355416412187232375093418741595862460198910289484047334978379258421594603868266515794351500599588319762052754946364850954344749236853918243790234825210326937966518658920528741875580625962497656241414035490401999866406490497044318119949221890591434702137649829736888730973489518243026804884947155630931979673450648854626480629632884270792577357256928454746909190786792930173034263308318777248652891154704799677342958788535557607282160866706351715324627320091139202483076869121250498230756624335537845782358338311133959811351722875119393623701221854654930694267318949835574367521938218838959923663762111915639887351719535099370618688475134364762899121854171093697917570378139054660189725088938528784901022272047687329526889707209750788091227835889195299617450161041134629372312014697957741496547178492995596898336674400926833219152302717161247572969791093122