w20 := w1xw2xw3xw4xw5xw6xw7xw8xw9xw10xw11xw12xw13xw14xw15xw16xw17xw18xw19 + 1

11668414111652400024369070510677687560801310187464582534510081687596228076575331179441867824788563555314569742677028501078840312268064911583497485597017441598133392033659126513883340188415025345639141450209028918523881987355916759069067515300860275764078135325639118346317836046703030238410083335783902182836241387201699076431165229003956050719490573185669084413157934157422040401592418303203087498766857924260038414943614599863050580393936903404606397282943322399870267538214083649999626271789750451137456929788955195184594449491823353740134960219971076658344382334074041759846451255720878605804943956364877772918704491434167735612171840329754783123606316013479404873504737427135580016773876886850015237358180131960396216203757320578508564660662650913849253113393139691620950781236689416172112078047664232327087066186084546971026879858793736175959921349756616607018842349643617492724636203796685380071088950768160551016052308942903301657414041704613870095936615517382381209921121092591066558574310876640005611794415195039946784012380116748322256768547170059166285129639143178262344074428790615038150493763132245009390963059250921035078380381729449426568020480432785833665593486555705842850404908516680009191376260107723623613186155723493108025613382401692005472129267611531809206622485955141584266252562187095058594344359566368397910545029752838956092564181010317511139390793050480719332837188638520024938313617875892112791513171503857736618863405476619870474438148288419623598574964571585453983406982759249918485476147116907286863492947594079380863295991522856752613770218579174767203000958781015933801106131447853056659131237276556206253513133470253360616976177654296875379603984247219452497431009299952599536272802006974949985012567675027634372006378924176653606256301102636149356246102266237213144435508216579084249378352234461233540088468932884472556442665731279311658705938850134890317583555205205618151442141491016489187123264344408032181237544228509638532460683983641031609251737703671652814011440176563615969283673347805124359529025731627495920028049749301972121217382692513396836365576732348771199573660087421908758348850810363493638092388347137473817273077847244041182494453697255117698912978568602650482181090953761978034744183217800149311220510898296301599808603743599178381853387203801807791890952881644391119797151930783744641176305913226182754868612527421111112199966059143968619186463523180333018955423065033254589424461238436508273250657680980703626673983390757959891897122111113336919779388470494043177392980971133757776024675714145526095944916367685261677788656277135731813897693905994231216013638774839566883747734365864014590192407694131179154208124222675387357501688351983508293108000606243966573548626281106633878321320560578208869859994816097343618656934264298517929892358923710223281173680448595960092224528749506201057262155701351550155466685027730989853322406496250051815308291550266489877856671616520342124165894704962930998247988452622462615163257819548127695877764133360958744618825822886690145050222348172393547383096511261134431633879603782207289735315433841375081246792248847958993516009231517104846201570953197054334473064280696906397134239577082253541747630514845825026635773749893231438901054198924860736499851946956011715280814358911557661613232274199449924492256198105442884778661822982697648806818203554723314718956326373988966448624106190421248593550722197823102571870180608254786145003541716359651627247437165164699591192775518300996833477839235468495472189697914004160018484012514062165026183930347130866923288592499290359133673015502801527978488859860615993719698525330141202957162741268092853648171683790667601468963158379460723450861673582724748732303013431825357810393110498631459209199383072991004644345963381438547386936609724524197838678636233549286344302431450496735370082030500130977922256861460009046264764307601472586606994610021803613441904372669677444601610871005786555867351509888214534335540777666951506496493117914793490384021845760385004800342132683506903531230011472326720408847122714236437753209114736340496814202710626677512992855340159700794664737161824711628826221958137622078540499836706730112814415000770417092951502203485270894207399415439617408454204702988128763418794647543558160767320295352457162448357594961916769872971108908480850390763950086278387510731303720828760017178373120851274899204703137029851401172369002737452380183630271149400845078368519279537172182114207814125063285804877614915369557577394388170839201914935737309428531484668132297373104763956308166434171583710823964405462157660228263903732621265969181039527823343150729924457753500169000471800132867420617934989407770258172535020672118205925426585475202391499115658187522088736199082243554415506129823236290123285154345189241211434601549085864468953573477366527281972471188588429198518495543841602559540796742711182104745070272986612787463620403983580573952299536396694593584326754268950683291412642975625836066144491496776146891235344433290905067991513691487043172215518221828054244273612232233736586563044046009718918441912044462620467211469491630101968048610665920336856746295885072264016448466908306907408093937386063506673373032404398563486173696393476148189433600104388804659960594327481801992486946209663819280067634999285758335427024290025295748222098187580831177923562276815471340870106960346025607137158833130018710792902254569073866459778805177341506415404019056369046161040254059863412435740858675972928429439327592076170770638369273343141482666337797201037825790484306754339971432433244336101154551776666985391873623634021534467364074111160967678702218569153266631583387129334390060479426841731802230425484015799973214232163175567148299109810865207877346900813448369853950430865064005432751282520252737507086472362985536814100596535828073514215088716555779254736015441305259184988305948340300413090458865504509879915407290154078293671424415091870236137419332598426639663968542806808751585328467160571662742612139746834118516105699095600792026083395655321579691764813303459839152294659072235543220636089959974835828705010857118160194108104007880982553404083261431291210446848113520305226630152777160933485325976871250968888838568578241440023230706976322385014018240173581123002432805780789597538708587708236063549004504114446304986309131290467027391798181881738125403533518619178073209956550044801052179018307543622481689605729676881946754287512585287562459028684802311555708674172020764846940230879711037105059009574088559180126085009512003098745946441842412832254181871595022315228546070918133670501713161017789316414147773687243061335318455255988455422311096233773278332875970260103441548575753469267736356194545190751301250894504554396241447075000835427070523185677601561977676259745064436047960645522193180496956025325453991685497109042107876611521989208869216320162730991162817244408348214488099799561580373775738066067271081107705619711014910351795344552275343206012268858536406292437828926473279520745277427486045719155474177385169519895075010794913074231496973450248264266012700730076161838808420414387720060452213648712925139588317457048413515782691910062778880549398592634289599766860763663587373455915538741975095420216208001617815464516840431680842740835519624937380437959334164914525062572962441098502008486323659810395518842928929075500855455810955536230133125340165301712505092396252996798041684321143445801550203501258511240616341341404340756155981697458042486019123435545242376280757672790163925578588719002114114107474442382222742967745244760540427938502553245469647188823649021775107666686998692596619872884172058513486969262146406646305155426207249173091926738711599117037344321758308319246688446958839313188446197889812820328420903198648303385333477802181647716267754292094990550947516520612312669599961829329175602618919053944621819702432265406123806939590036053627010668272107846314261797940209282454022344037900634724916209703701135831004030303890022353871607036064261347584067609208368751386072640328195605506177646362952256056269766633854207699743129487304904056408451050252660113724801222044078277492644243718881182329315982055335503082473506668790474141795841840247187255752962299808204707690091527220783456897127693094716459761812325838251143074245441918527526159713441454588946903934999289172887304358739794690282793989965230904427280221050174409016255305490703037227066301938064842395898163773005727479645818317415872148119491235423545278916865318436538007672804868384561751378646003222913821698216686795614582249206987283852245157838476166985149515411416454204418920010106058373820839042806007975756919428741359569375583208198505911596604402577334545957164192625023042633887768196203212910554532863186983917094821179535311369889777681440958876701048120847859294527513803157126469735162268223182819572675985440981946403087591218673017403704135414165858291808730074262320478010288981913648153523133309403214077166863850293287173251189892307865648880504613847579503406459231190397640249986926238022366110933822654151922583420313022341898205605444163458003958006986330059273418105905742358486940745045371063217998474355335653172366818897226247471701270793986672374551662263684262665184900019172749539830258255699097798941961769637050814708853818943629933585540461409122467940078431020547229970703475331410152863771864282506249943301856583692248565178907088924350766734999929577578655901926925670979750391895766580753172588279726179592511307777357035383337250243156974710281776667811508813487777757746388690058494036119676064566291900454549348742598768864722180228460032654578045963971973299107759446778942792817436584105677269495335327022440866715458619639538921138880408203439667053600102672243509335317336638070434240193514971262331308796291485746916929210746966639035005463210136756947251244454780236552260359025087108043489028194612318871190388398871247696133682070245211431227073560694230526714731237526578449492037613096642260810945974843369515387704925890077078166976614561655044069434132263034513911087754101774718813940037621377597948475040613716675980710940231922258426998888583610359023415567442091156190362037110610390740467970638388146884302184235180295292746456767826354848172341460961507757745426644676167177539424209502113520386954087024165584570332013993607735297573033577754370499958891675046553996555537828135201627835079885023844064311940911003882209974456325519364830368404244221887532147515326664795487774151954437233390223531748378911390719631059507685902279879320908570102294411796055713858447289253454333845492838519745323423474071232914896826199296689752389555883756794722344157846024418790622152626658493362915252215939641448834719549505571934824572584209136591783018395609039789298796434633415569353944212724458146039811969944991919043896153761389953862095978881061850542088287568706825936775998004878710390990312641296771888550265921830014564357231178059047226318980678758799938493396451009574945286981975023800046909660573296993187377839023611676227401638952947372378611439255463169430576056426439493308650078222617250491722087842104803947346912785093869108256431260350422552726531518438640798328590070346482431423997859593430862137006310317638729321769440709913775377224822173510184891946470542411772633859848308875728760833502810972751676391973151775380176258864007343044720988220686297306785717422358362810874059916821902755998721571511747403038984555929474784669470673193565290365580394652647151268770295686961985935909220494770900539181794916088254045459233949164690521921342271148601665760014270066756828227116927316991864853393880862823602317580878112707043267263315576371315514260755983788117649355588043797694749009706405276203351973657570257234833947507494620467643815477507714112534926476966736838838469755351580396131225463156431518541407684028182063981768800021220873950854228348909655686285468000485749798846302660885485413200839988093852989219136364419632443486031092945273059251063752300074312769707082673870828974636525337920247256232403522121992050592905416869491019629652661416008662051819356462349173702129878996693046774733823537874550953545112480819907668005920714076674542169470875763579446455281378059468770459524327452923953814317773393671322987850952585477709885788312759279816167208766229449457258057315003015051289416147073233805421690381390665311519289404801881099190319792008131442816015473254359975957612286294999984691116731048757567858542429083457278243819608396077261215860709557321030659918417183535264954927259859807229808320801599197836593038049849030600330185903570804617557462383874660540083074986754007335593858492566017091983341659379617676433792896374075625815618954672653241262879286654120474997625395486460971756193635349161417032103273915388684695781160437775520265252650899865285552561306821748942736028337069687853293827661060729277128435270167995537916030130466932201938683437401672463182073962910713437161107390049523972431342275110132059193668164244407503277866478255654306372626146761642471264237760692145358592205534333021288249938011839689296137542363503367555984104799912258756074914230024101136285011138375170243388751881522534410984194205878347208862397627697321984648296521729029628590429249020182166501871599077137562752788178712985205955660783100291657974742882708133557132044979915403060807601154967144814431982777225345227472588456528951405414046569594044938443833565964069790467274057176396657932783743979269965067318772628679322882523836161825018731337496135953150186169286457310806693047377733347263080494255025612184640513223103693263185936326326271461573267271099698215784519872289385025033389217343983431046329415545840781284047706262130447637479431944410477664106038810036746588353802234331405589114204173217780159838780155901189590386842223753998204619950297660779363990556772906941819631087972787606957444176102694334745216425385755404361056326296048742565939617318532427319305872622944985413178370103794255830956459780526912880133771060000167011839025169382766193618417880862497990829133388842853696444320097272042571250642655304851951184173617604647642209212482915266416098795922494551920926856417848117529413983182186963116979831027095268316341931038223595163297058484238431801494968640217397858098931016738268859733110681906636480830515195148210623769660502104175131364619599974460037516442296571425724028094816109166667222760470183542748676701681579250068633860291217552012889062933159034219986670763015591286160839875192785381814397201836364803953867605294602359064745022446907088626481339737834200481435328208526328245441357302299895214433462557259697472727860987454222300933413818990449261458650588047973066969887190201510986563026263876052037035635949437457474591974775338085969298286277225493264354389935525113115777004643110403505943511189513574782567412947051852743728995930109586423554511934412121520265195455227783981670660507867419121010710763656481575526508472664194062151771289900714061117370414088477839408683866142328849007812169037979065287475824908758374027627940483772888102630488376164830020698510753349834717661660061113272664777280427312154956677623199924349857475999380455415766653541419313031333476660774139237190804439539177111795888907449035751825264582585814249660376022576236576624667270467360788883938240375506924032072062847518515367269266203603261825118660212791837789072697004089290892433181143611745583556900935163262981383876442887962012830596615541899921687549783412613532922564439024640829335831968843666502552133522046582119778802010856937750555325054429862715604183922488552903103909198161320247873734687501616191066335568703464709120644525267855846689006637295405834942504777375438953162767570805088979594773897159727078780972752427666229036562784948995482814151722653983236036080145648564843553780774608241535521588178201023780924870578942873995325501818499578462952312402361760336878415871920303517450601644902726111615320624495116534945422862159569000386224082537989376914711544200995629205800635693930710658881775479531820449505370651996173575946815012961333126112167450142396348626324791653793151422705166617127976058661828911484484334876425737561693270010016281131775284279346203369101012757114542520137652710818521249726807397521921477710562258381075002357144763624278040548740596643000976968138770641159036337909694817097019238994271266460869079151551532084487285921479237196312700593432658582207109450216777946987551028366612382243875343603107593169915071484056415341196386513589885156853365051066438192755984174748925877085542356626975355419830060920652617040169990963132327177098598579744162585732355316018555032370832390930904604559427531571266753304992336781309820459923502418434094232570269669799570675563334495991172866712444942499931670722836079410416909436291256378074178746394203640854832921889258357279959118336698406347665604186028892694099880877248958310138223978808946159755513306262910507945694084979575687727508492296932055737135981724756412576401435176350912652600717480822848319742896288849649691405087164595031139731599407222275746587121146782925358288155661121435177591562874828091023723216224340876741633163251940471702452217420257396065950519809003632869603395420753540125403394742972782752525126220858710205207840716381766248068608343490081011174886286315973520253438580578175263375739401592258273798586451195791454242203532209128538042693909755727999269000912598432815308918358449577488855803509303836661203741056641369348292731103551583544320496360997077596390852858333510631219231101817489972242210446235558876262886056014475535028062203343719244466239431992144913130453984880396110427439378880260105591478354970776606129664759737043915487743114107761730933054264908687280892497898770424862713171228720065101111025853996258908101910861154356307690177651310370752712447799561703611874359141621004738173644739224892727198674612244143785877264917483180794157809354168479408754397795986653570927633771310248001992708413593061737761909776222930985426792686757564786043363215863227458316529510075653339817726475612373117128896682773102994307748618542443065867153876730770523283823776709543939301627680935872175696625764126669355014144401126584874671595556618644126728187560310982229147015047082463071421161931800403274118184149575768816738852825878435872792922985462176697062455955942023105126560576012463608336016427099824118716340602885516794222075465307714079654846262949750047581533054733784814043375057444532803833735773285936885418150252964579513820748947734343612964921002754386094580973662421403975957001477978385715715257454661579096309584554779259864939462565060085442106164084286594206047898020405057197582715866127862046491159524764833629952549634569395181182998539082938382199694182106260116271247418600427262429431174293432476242389644331177583429717109683159972952551790129685157461512702190607478986556844109698507299190914746848906879395792801074166308500992320392819777190984044264258698112062948679409240503502960366214449952153118083885308559713241155700073722838270991659182536682381399381916655256509490699623744930912227096279646777972337792015811295537797755879535114105201685707585360292839365022757097763301101566530833342411021859070209222397313057246518670926815730021968631212453520109265267053803924563366400522999245957289559901956668815330606259256698555720876542597581294030398224708282880751266652013180052520321306636611203088089066697414061814873558121497500250158775075678124807539992338068746070286374851064320019901840580310833171406397634707900758720666445956034274344966539659799410185558878548056596648777280900826822421451433497681839201741942647823274286292457590934843845533042969371684276061477195805791177217758895726282935257659975715473887317227618609018187310360913917337734681057655868148077091033060716335206550417966744758791602831129710580716046496272950501264622295851663962007818744755297901425442892283904149953018169387819086255575990225031453767514005116302583277219251308963037968347695025182322597597462969314667279283651859727957795434155060466268042059611382540286654750342649590762888758846909149558988069036557654534132369927335985846511630374066483539676332910121019119698936027252326243124606686864128233668506531805835279744932325951576736282848588518930736422200056523273988479231290398172894460858010721382929641639753297721279440354860463173737154336268857941033510702830280931604294070517692346220187633910513131943505456211599206570529424465391350520615313431567771302713670044552444881632878636474075781476970083550203422238294048028813639161859126265212820752046631999809209950096980460198526396527215830685239326417683139285903707275295075598096278515739679973110477608491972068252929548566266057217782039093088148166546204516258941065440372139722910470150941531584735003117296291955148825008851771308266691817214998791563728452612868022716848057677530182214489933423167972181041767876629249692165754622039470853270388724978404827950070992673172487552395473519045881163944327634646878372928325581460953772347164573267347080329895357442558601995868077384997643686516967481241639968979347616171692137850230118799509500233829202623568501296716930921613490801341987707400240493625741532485673502894971225147160200708931563248030954450466051103729354461971445523111373375104648922801072278936419117528991517034464156699780253991792872097265264002968143191555403453500708151147732402451788013724844155514089687301633035681172550301224025980682203467363353211535756172367729255894238632533619473471991535976160612326058983981473761718463144902565241584222723679180463703056777518402479189266328033583959528872881773225522554961743770437661284696914842029692638274334336736371476903013708286935239034744463189803937159746088143518357885039225073689941467228783939820000949302296253187025000364611698006399560104282026468047982846560772343477117599286663551166064073967580419304229293321512207750149545863816957359112420586434386796613386640427471712118816971061575242751237428848666036841967339322980337202332010252778649130689306247550813481014799216531658282232259635405171028324339420954807302972799398019351760431650384004916353227040828380916558521672745660578700961065268564078613346733915921149570988229368717678705447092106125166024488061620828972060525283052935385730924717013923138627192118159494973127582364442291461379946117060122402638307682679465799877104267018526084203758808570357040121992372592651818719826741963237133175916108165879426012811989274301874202012348575379227494626976729901860549305006704036770111319423867739150172995788655994012364237175675512567312038497317175168170773647057674557901705919640468606973604514281569889813176200160575888785127460590759774092517436528333749429575854523594144430998269584648707903502795228197984651632951519260826243368765745930443939718412422611829953421029873904994487282063365390749644546063706316267413383857415638798040273772460587459361756488898365673370588835534275844328540218698045467925319182290180585122036949630231384037484883974169890766478939036334661997078630549536779859082429328181113624412771119872856265871378967513428778823719401807909433242182343897273036277231899357346792600349439057195046551501252258741672911197399672270772239614615660373591397012478350977438363578716550954511072717762041607746873688009769991482182572764559964981302514729219997211009750495662839467780083647786589297849586396015061441725369504402991933276828109988439905104057718673994383660110929200703196228738367493025860551624688446351831788630535907429063063505449124041478553651146089727230555301945073656321066884787697425218275985512816874478155791509226552148611510283343018563456927553291477485204548439220479763916786853640327971125417164034579431115256643562854728525792389316054487512614274040621387018749682938354000689615295764065080019030414572139496686518365956682676327097842306574153506715882342793069104407178500113614446310280132331403654342374460323485614188967879813103409361797056609349145377204168826609447584571242039194533518473736573754801196867556092266946067349511833391078632875856733384431506556250215858661021625593001590724010336546182801559478477326881505966832231039688092584943887225746611598355746919065990614877254936022424629968944667625115440288344435378192303176091723241703559771039530427520852574419063886454858033744056967239618595443737259117142563900326198777453846582680526323435135133455189643051943196315824636958637832978478152525393286541311476037871883677532231597171838200303894988558627978249331659516840476569613262329358431991898014528126696823906638187892332191731948975499235782164850506908563804077204708749549042222641123387829858884299992568780674129752441830379317844628038237873245863420214173921744182163503561827116652538170451859619182923380967821242956671358284668833351042101331978624533339783996359776867208021223586262834466590284141914855566260911343163001639070102278213869258495997903744143542118687483574279451257732722634394034768779232673884534641109225373195269332286880148013892146091753846919638219720042946485288084537942930443558830097207876432265711103366777361180994354791245866571104419403341480486659768922002087706247525086065957251076764040843546758957870982093631487705613672351446786566137210211469643251032577451241583285147285686721497825544149745898058277833951456117026926041955904890850294659213163271532399464720030868639390337923589792635001792932567259953990021398132848414423866961290789802691670579324958891544637649216867138759700372862660972509160816693053050333021675771597202016243025957447233423576057901483405716048999539375726445800559108632263215485690181652577050177369731932023565378160293531994974713827535331317063785310965963204525696371843320281839576153869628864681141061865747105925407363602614405557888514849987463703769927450371739002148127947511178841899624771166189655911306683124779134130528739577184774981049915521673023399961642719442052441773570499045506516206401404686512153707083231554264035834449444974060869797190189919755535378079579986165221614473701611602964708575383740673295103081035309814675745521259726343136224837160797351657488086276384706888230940231799423147219889274249200694631766191225976483429484821787421771441127470388284346654525736929038868287139053045835020759182669149193243235948737678360903871806472217408864145411653003483328372501446059003633521023188139691036644241628333747829621492426715580763958216170377517524514701072004402835953489961268977525653790446213705939097643950273783669534279908758786007820925899749631746150872857174739315039997775487120179796331122440927376082676131843576583215311634476156774293528372268023426713260860987057577484510554882950027151599632637696206132963417229257131181119173942867651056277007414379137394092693103202541178024969995272218866574682969989481457071545416608976997936022349204254092608835471194912923465844212683647569128895016028592224806512719264634422551204540694939928112859710419422846408316781851126863888649963050914527309444376465696160580384703143043948939841936972008632484121431264899973237331717901113820382055366824253252116578677813064999310490583043613251769432484258186337288668978446518524887112936809925935812241804244975350768261312482229256030094178266371325954830260204763577605954983231454364744268019598733796437195907920825605275595263308739756162599950272487084583505468470269230138130003586912937628821322639400567034257919170630090679973010088546726572723245007894660808640116278229560358988772748434073049428088382746426014163682012408916143420569573799021168594188697004617863015667286853727997800875731663458930007831436507323702527956028411030641285388579495231879093880040999900167588179355495939318526588990300340783513340260954811798927794462796631413815784912827708664981617419346583094491617973547356212149070267962424368033354831377924909421102784955976429934917969407989988916491188388642044655652647080216557377808379699665862181932589441209064830055345133827660187835426289144874190809323143677369665054356781869253107804745346536092840666601723308708837681454693306582091802700989122528423346687911085884941927629661078533309993446065406821278458239704128478588743284324465507836746755978647069854441551536867478967812318347649343690300440304943089930333977988619370018965058007715411341894982510670411277049776239988125749550388379208634208410671823375409472496222040358303421753837761720144497198072911982191295228203795133893245828676792201535959054377392251644765575935467011565088953198683039680598276580356221626826868224204431004528131103783045420836201856685226764391955329356218399226503370786837389712054663631223780155746295952497579195509583968982550228462981002591043862040072954913077494230781912067969031752212500646729064551853131476985585658676634589950670395155501192729456022995441600127558862017659536741499791661942365313973547794791611932330548417701716936332947830219192220412770681643043800160015045043177713193993422811761431457360485870428071994237246679401196033796492699654180105528875871576813180226547452763270386293113845184763659050471517539617170256386254980643917204876355244685513276881603477546271713846970065080007085338073538223839911726228221577726655217479817423422761298868055985432955541280773522431257790886593968413375802016977382073104439481808885566954916300619120350628128805327150481667950593550771077397856220846738173033447352852560311688113584693893907611896921997378090722479909417396223722692281221454502609382080299286647738705079702552986377646448383696730687705722006463964244978812117595290427542338194101834902200202017653375862972797048109008890404978060067110008297665386814132438919907948445704006557802076574417957017644818328475065588777031748113847723405168452614887985147442066109482802770761040465848767549173912604697410163613915216935625249322164993791550943906757772658499746046615316600345039017772142837852062596198398608157476741967669648869614629205095457244504349183311091364051545485786795513281929399789678993187539614134753038238691792169846250267709204083447589628925976220744535895170113155148103320147619407595510911405579390456392157083675382739053558138289188032642198220962201237395694978789171336987669977336065655596999396600344924244690398753157924410094117803721378138826905954312837833611258333604561622331820925278683746914043088841168000282709104190916085046715353125840230590343866025027402046731395566798376369879493674306338164073389820479117084776741923630643416094401142032772899381230929082790593864503987469238189014026920787106732609954488408634323600333617504419910349257279305571729235419364443107168761517462903615221064495202912520956425543738486144397390249031751815782395796414046422235261381945673587072766762682526257323993930591673718875475531021411121109651584336609575787430101815116256588810895813916423965378865303785422301296642554645325157802923908316781066118993640112373425591032132423332448515706629128249003980122543614018760907599993129183675876461975656679470911147065033340221772695755121709711144295280358477376885491173529567938663353021828289457092508535020414994049123733937898335347280618970843808655490968251407101274314949023690716819361116292899622409098556174920385175151995560569233923834272387921322739747097830375594638496723767002273419309629486527669689825407646300272913272405207067146019233685784909612835386825196491792186248501582555517875623660461845527379934488776315621774194624910585230022166882270297370157609351848660345747709845837066225374312100552478212911999677715340263961519829731543373524385928569711259579863532651499407116987940833644875353516722814862597149314714557416110158979069364703808679916173369041624368476865290820197342835929370884119336855914151078780509273309439409387680947015048322427277258593242204213644858339080955491070080382441313849943575781372504933618058373876439518772340290827060262679299674868166172787785325991804153392444740552060778350851277081723921088963269895179270423347134219631899861660584064463667423207854627446251167497718848881338269330282844992703940531031640707740712145327906237213581156217573139019433844641506495179650089011629112095097019998015712429934472468079505251386039963474912717514323132828393151312774247241147948768739432341095378419305209793895897977573301379275252698719651036468854237365551128335988607322356393285983058035386557908806462920562562376833862945755307439099303585522555645919835886803401917318880928742059530035044345596525283443970809485414219276934309340402631283763857678014423041779431033352000163751414176318357187460679450016616041714740937172982215563944525144160045625587369160664826820370389975179673949265984578239695428009458086346848163491384390100818310844499370541407376371660038868371424984847032584653168392934009199824639958267163665089877081230226062911486657387738585841590380917950166600939804433034569046599266977627534207964263165309343881689393025262164400032500993366640139006452182441407695434297144590304940569279850698214564921171151509933267681354320107943415523862832006973331366555890802497109305275922537957654267617598283258802275529405815628165179683917380353873982959769376781128612072501928005738981880825082329006671249378845711783085316767002674850218594063223842859437568655731183943872487564968738858105425134519431332705896141213163479418728133217799756332859140766771271523726330059593211778555809796654797949268424186940451775339845849992740755411123659996096255321633335352263082343846176753601202958340529930914869826144710690374870485447602736560962051261030020959144594805169374413760724019191236985351809000830055989238283977737809409852852377483603870452954327422763687383434486088358209363188444901271267212603514137428477765846738107938387314168536403449790312504064504950239264409617532345746269457987619837470485454971207436776668381866218182331768495930959452951731013349173853687869496165879867005766028697879806153867413508296545272634743324402263457869042577229890437954954667143170093443875576548483455374811979474467028119362873552839008359964489751379965536086985028066917040971298450075438899888203438468063320640310553420705494832152195460487311149600886667541655830330809481120804537050355783341559621889523671280795182795535816970861305342130831435374364218238434485171087692863732814740534482472563539221214481411654232729206873051446112855419717316903025029355192368199490848299846045364257836899815220396227423624917953967745032580794901498385674163303780239256593417406616909129509524220106664379909402555800374336575723416988100921127887408619000737091324804578746518508318888108528984222807410837278088820277572898601683075308883868301280442443639783312098536457159137768808970833562989877087620868258553843161341886747317001874974783129688860026442416740918578257458803928176304314943038568504772566937020195504186102785412857681108719722617004552842290709889927959888703638041721596234780256896569465298280527729199946582930800464355402550825714427974817039840505506683626730841869908350333614603014785778635815374114366478537365184433941905044709264039726697184834751353988097499916192691692822627052996384872530638977808007710255310671772916447480228074909969937939847278361513586539803277898508739925404549206356366291560944536754381232550217359269627826481202282319055599486979265820895620535777307083911972553538036514941270631835177302092741392094841969711706241244652372266609375819150820451907983284844201734902024995668222657228665457140203556940912435878256103684651881561442375607639713585957744341019151797960485421588164933308440771807026010671691502463951560111259199260600045902730745739052722001725343645557323880333525972014786701746298092298790781401875065597642334513784227713828046808619372237256440353349063299182830145737601655410409917210905506080059819045268923168615661794890196985682065115020078572432762177635976483807581558478144032015145649049512738642542568356866267708636080532064941353935264917205176665672490438719510976897127381512335800245029775433839512455183059877178445786128622095636609814458585645315075443230065394425419513936236502370525091620416589775463824271857953170702409180500742826607801383162166025123869267844492328111646614882920217578819695282388769385133106259922641258177435306997597346558189641176488850987545476495426445570023990711884636004804779808619612291338494335122913953838040595405573078860504873259364769600168266841370648390282237656680454551818143848548427362328149389673287562491903064825979781078398329331890964469082451396886999836327268647867211006926178628430901296891417274532517877623075937776929080403595123180008016372914302495369185749024554988901826477134306949645112701995145535538325413595298080312972339393652779388382107373374645105370585229195441892887382982930090270260902969384151822841147874619004826311677056637637894746253459224646558339533404602730740738913307967246213333460712678521059661747608072611786887605234057923789485239345730008134432058886867114796586299066277847073316111365556834323617015661133956072696942521198587070460048213283110443859406724640131452566994447376337107823271528219140012976678108628087587292442420659727414080150924566992132227162547664193027921591000417196712430911086128772425932670377166161761753091742782483971533136712376187191329807045283807464702919603552631459767940711105087177945585447073487174185750194519594621920519037610621208928235037682644815538687133987868686723385790016654395750932018413564084918405476018965794891742227968852503533607716341024002086616960053600605904937713611926140180049245730663207804494339771725590379139160718453425006379323751060195011273756118835415747727685866317238579155623119137399917388034860231625232724996326736162116247053178471638871714787974357833256627661566265898745499317889762193389154663090968514565146023840633905703850359533140154218718218624732430225894920422429642441374211238717355222776680082936817096449403967217536752143143983805090027143309561340432397423507026477109562075518793484815145051786691452675903387332894531629145532070020011535784427353651138525040644702459285088319151836439287885567783603711747224355812994642858404735657359645680685824071419227546233944779318485758738210191589807678222903570026637500501334111207111577533777321746033664451395321390595484304810707185109654237783536176437464518412407203414382002993552323527426044073517690334659837289391334804659577182103248428474533197463246836726804653163636706265389983308912134157168593256472398129928384820347598981888937995735042256780724497559948055660438482382606590985376036255760635364941162056599994109283907265013908948486009121983501737087236459261027945732397424481126733500882642447065369125465898686383724251256180101504837505609806343480598352328501651908894300139370667911301015786231495906876358941421130416311573579375334535032046549494498142175867426074385160908331555896664344490378151941104445440122159657146965181617618694763598550838229465208835294982902165008084492284406203006595386136839831886804334205706850564099541863459419142556635805177321941532336932928560663202996660376088809265000621359755551622523156783424578379850601089857831806424791164434777188125624128243585368421616607544877821956651721365897839738315438634988084018733016774452154679402655971057931312568163594559550754650957049705477230058445495848072255324255813735999552207726174696734254523888193367517691920359666278641008333879192366791451319600012645670145279647192811521910740863653446925443178297029157256071907982161832276963249745666035313398445016206426135609177956626364971852469747473332060497875204967987919835089943046776536997808438290596707422002296129115496514235588739545279322391049015353039173013876600058019789090480722651846126517810496580717708878314157462077532451618725514804302883234143547216059230348681958064846601220431638373052509585032221141189187486807641205456565061581183009156480127099587557778694014557625682928763014120330870893910358360573972765884182665246861964177529691385624518352084798849950094473361729158492712253015483732893980944263741304215454420885206833449460202537286828065295131437231129306726268158637212280112893129417246515298538873538607722402785521975746484506985721713717098060281584053718268699548083602887678713752898577927435632783421184819871639238658391808485906777439836798849961470984229720687908903571431197208070329209582414416904538607348709694658761211457287450399954453520050650458685838480069476916839752263113087365290056298213835743132628397893885547929251424337210055549309588991942924363144675123262375377941652274407027398320662464687465728347273611791753012253012491492987104455385043862699712316344200748314338340235879512787261070849954363951270495215986001613034887357031240029072573454875554020861784886998547591391741808340532987697542014861472196580930003123809519747075642100736259419374825726086131448752230504401047652945851759314565514360384876465169540089309645877901344958427005969599574022717368482830291992950229219157875940052546467668056671713325463548842109579972850671443145767421553243072634112888053679816033727382176276137444884651328808583787457814830054437562314221107583772248803114499027782461366658634649695670267286880076017202781744696563666581309816284627187894443194631531785479316586919659404291164420004461044880281038738043720763133653184600843260855194069920296178728445048156244162649521666561450555042441255052606671166393495962217141941632360642502039690133449408851114209823024061601491133987561420384596436620284136680058512638322311501501155058194592493351150245051332138829851523232587863033737302605069963390746580389432679543460509591951893140040392034056333666528751807019100578195708697335006253605361163504174453924315886967175802122757362044895303251950864130830298314152216420460925240639132786830859787676603805406757293538177906546912631003882326842638793516915786728186682631976727046658605089875480447944725720781437543697343466982836590620330199885478622793975696058158825625070520531798312199723412428621349947810481872692608509899140144007718486026086588156238670365014972583080309222022477123290549149466435003103982406391089491462774837361260267433310198397771174521837109287538128325803452550332772203271200466524945470481925690968577516537339043307932479331521141008777954818146924071375248772810340163440955881757549659919484713582040073647563077980247004798695399916157742740536708108605625457421388261333781722156780979277561638762658097008380605788965098377389314172821141246498480351470895042664470222254176525388975442555623425389276892393106192174145873612549251278831311406355282590129928181446811275929707501186063493058834421464273772702649198965404825354255223231480998483869317923609160162970540246613967219728536834726969597816100541027948863609946259973440506847971052820823981717501242645555049163216848679030633490036669429751907907703237039699542398358542739448856196197867531347681967080896134104251767862316624904774936982727794787066713875108429968183092922058838063484158022755608563136987547161407555313946796634390968766542648962998891561562012420189073546953760849024968775000413200927450032101208278092878512784808937560237196534423979645457891456448456977477317554538673899007213938703026226755997540537285409938855085994960380860991073288165808471194930739539451347758160521160803721394238193989663356096881675824999641517409923535773662149881942399066517994096716440614505295597573055694099068516294195471966398469422003607490124266278747351985606802665762109733107480013343485289188886622588010838262442580147111972471607592241370346883312429533800957628854590787891816599238828215741057844842233449025049105048559280398267695338798792822284916141914657913713854200928739899693228623729877886724521277640308664182200722059853699318136007803380020852593660991730217257091606005860927548753078109547972103592829607128051143517439001407503244886423315374800722727966469256198276152429547202382212408450272177097531431912615283762949580193801734558355228986037028542291499239539256243688853271718017267727959304600861737735848506484510397733783957246561698050407862722387178377304511161006691220785600657277768955891133565869269677407209996476784145106708689769437154890633449330522786628277532336062455847126561144804417018862542650750851825033107101697504722427990816875618112926691623416709999656804634496196087468356864432477827553890811830075729894035597617385705807219304610442280680751885771493892947915169954280095256389501638561852631075787431955717064003110672434307119140895276059625425153723551091491774472318539582583906989933827981383465754970894595821870081615713057204191272192782209506940934056618650190972281369155533636398133470130459088984892195389531778265159930792997632950643920598464935936286899352854505763874402256122217703525811363310611120898893891253525025314854358390277134063218251846984551704600525317001267218864013751897995852684158919043676813017707527472729035863733314772490047501413360709515557658349837131478725524634255174006820726289739440537483732979596612124826878382352757405334144461043738323284092801165168471100491288662942602978014591129157944569823898806817020237155773462385225170303819078692629911031226066363050911677563383542338214593356614750629380065379600792680015887234029831281939464849542550884350487206448645294626831937126301904875846699733909231226061209003384450600905235369756699487381327078199247027366234537756547290028492423502332638218715894815148378796624032522765234214692496273957612113284611510548554871178044071419144665279759958695429494728265046137610178606628687305458467820759073605724918357358124441197533613971583789215338534877577754291062829262623439033094832531558969373637448191625736430135865276293306581440392695196097351466694736121889581036637708461701381127684576715077818393176298311861129362792503505237900277686417593819160186801680986524374859519437176384616250691151767235546492456688150614749566864535209964206026524206764442972579352324347084496580520541675177142916248801403843042683616815480320557566272213089684229992356068763231413810144333235340985457066437430670009080950105100575089882738452694742669377878852296983910590772469993124512948970700717033159010244536337288363007821049893549704349676810866385708289950121004625763790999246026152115762504622245238208264342068394467610361422722590478851776582609854489083847136903342528155434524870309879609053437110412939005935006821975151750966778346786896504073417203833719300119175213692791681171577138307518817794866428745398551127148844277967368299111389839727450595903151493889477658010863727990266368332759844632665002834127612757270680479880210714350745289328415096062514804048522970667281630190983883875503741018915124047620811539812525927513587704242175078578440287685579114906716901577803497499478058258482659103466225172925332980640650949593060678231940823456599000376637630321134574503672418589468502361619119031868906804751003474304231570128038819743240028306622665484243277277015159755190199802364884365933520943029060351807562905282914278349742523659569634141201523032704133247657112918919161134854254318245314803663508526607061745992957752065511116728394081348403762324105156650418096813187001047867997011470769417345090442543217681530462218523108984188828362104514596086928100261525443765597458985564566970801296374484504127209874302823679014584159781577250106331888758567129843026302247858533749220367430945154887823867624598840583047880664059457220737134929697915868235539387913923920926919130312642582296722310976072684106025649505076793984319631180566409062673560248016319503087918286613615495852483360934880152899381466956027993767242130775848160365994140065753126617255849961823372838437206791270190989410846147224111882509985660717828403008967611755652234377820386512703308610911627302036224940241890772046608617319039838147768493697101611175866041276088673124705519841982238605176287424333300289953327940413047027234544927852334602972394339444449341852758360135664669003037941784843221290972844177293786702157893397936080535216494771685075576777151274496821024300967520343390048537463474085769924118448333976405703931187020806593271416742826445633215311266539704974814247276747031047981778054204002354731306375092653672573994109752392672397205348678646498740902737800798342095639297502306983794950251650942902089058231950621911504649910164825762273872301603345629470670981191327902364220540136724753155085981316431267629484583690905386122942169387302674729364785463273202937629461127472301210043611463788516859309012375458115012234654661506484651107459725195379384123076534319745312993658227469840968304441917560609576567190282644062624103896441925546437637392936024596123244201441568639471555187284404478576635538357387952733850389911031045561590627447170987058887745756807024264654205793677481123541784257615572815108240396632247996768687669175913060585600600888738213873389199845717569967134696082755922413411174730702497194836158157865654799996560131121871543607006111030916624219925183764586786333241497777051098742882697567802326350185242814173961634374241908185941831431538204319961254700168667597899050055504569144098837272276470889950088947341202698688994433739586526384591153887020980200030353787703257269790334632260380823348244044003550089771289229792751504328465100309941446749889117130516417837512761670029257261837389584762212093170981271882349597038432650826195744000985919690831410850169323360009126593666109518111014012953717903853374044999241578844866019089514899866408954285998749545428571297472191602279246476708639703362576126386431441202704639065229156045740283624780057824961310179741386091696924925206839078656780551847521031868674040625674750514405800472150109518029812732789047232110209507846899113343448429715936763562659994650769100874031087582561876240647885874056027447038100603637207943919819335811393085807406854220701385595946571520204938768993351149015551933155503462696727042134775018629336424245725172835956766154443346865647170930301564823623551737509656802433851009887312807018842854034904934433403497698361659095314442443551966523703138919526546441577453505814807163484251153356951937944368387142632187991678719301101451818563071286646808939054148682111194570596245466828471191898079691101666142042852666852400851451943909919898066233194132716099443663252157949378296005323638683963091019519883855631317352429258701744804729226645795691788320072239254514759416168654031972118590458771819763054510474608677688737149217173143341635738645904039122021916598150224145485761716323562265356612298593983663974740991541766653338086606887196551713532371884234775288526040194885571708381283425897826816596175284818819842970012083559408816137268501804781831336872782536650023699375731047933293857582653800666985528131453384150572755910308498193029583497761933165962126329742139384115460250813562627653716037613570606824963470167297742328482297380381644939573014209595549365587131846504059311332799797798107216752013126435493944403273541880856742337436539776708000260270663509467134848078998600831894427415282479122566121021399980060220833028306750207675041043724811634722568399612093621930306499602661271165071678676037751318649899071306392943127379819400892245322448413452340813877457805476080301705383343864809160648288353793267735800869323766469166862205141617124705297783638362913281756047872252550925467615672516617112453161272130120605949049952705567181099690955933359305110669758590831963082165456150982494636837462710494975988137387566845737948478126541378305093093773181560031949276071719797844742316716530514692585872481592374832039493494949478152227844361764463263799892166643395756446283308472306442519927066539668641635241376126188994913121547617342888140522531572898571590836094807726939987251240318551190179691088757094403341024421847246634230571506378851468809780899715755093570111014399540308338257719736823648116361226466900300703495040339769431217422906861175314013231903480864509549132251565415201585047345545925334543975152141783453450000670684985500438721032915004065826253433838432129254209451863179336142050185416267007237440427875563975763165848932181276366058459007742536234255109205452688305026430312298063601911721977086905803881149772841089166794734248560524764149637670364493220208769912298063825013040606843626546861476850709327098231866511954754788979816415745820622221202276772446310197768181899917161533767375382203359071993736295448841247182408541476349077824599710867401292955061434898225914847361418011811703833923536873262777901199066718666763192167358943357949255031921723093123218316743823220298154050099983814917538433516392966276891161003007695902343619075148529418741882407873895599956735412417288401905371248741196132879058236447003631327998647364988159389399941933603145360242058440382820517901517948023414814691594343275379768514442191444337455840354437894988451594592126527389320618193446766655504097486533423765407534932405833334259163829395699201223327117320558970631092665232057696805490944949933185923686545949355742726014253720403760561913695719928565347138083602674581062409273777175912714229946959957282500513431730619440024394461425510772510460241389863865368919176025664882169130910932001618580183855818737799261260410950754020505268879969898613711178468060861984759089214202381989005477265502091405081170641798151728056589870392754146085458929314876204306763588400385414559180341853326231606642277517829314002675935780869743731838509322460628967534849493417374854980154668875316159203931231305037736533140856323222226721042143155198979608291250226562184069994913909626604443626789651447369149735608711879166189611648957038574722319100511668497498992524355293006486423745072740543376718290292789787216315153208054663272733982401914939336343232289253239517560609339606540510471852383000244612890097056981792411207018483833624047766744070720582646261181860188298961579663025770318861207033172616345758697221744971818281779452890563084321776096004922626515399940555979009943367617593122899654616164877639441960118608003870223241595058707008109401119858581746589089186958239003760686980306478656446865424675761377946689929103269490387251874502537603504335308898399819954716348212976010310360167423086513038893994456475916759263278330946897537452797310341319055956798193763237943700504524335845722883460923945300438430581715423769188102653737228171086667673611882825859266490676029977397833795499194321648779935757367010230211464618570882289475747356629011143938856802662407132600229992545575290359174483877928123486147808833809144937945279802968396922269553330543974225966234015267073547781321676602745215687791861045421717741134995970252420097613739851219547643275083783060479382124492756810569185001824378568310567055879718164004110277452018965187688612367477556333438718496690666185716347908061084582741049290275920528149620181905570940792792508965194336072387481719683885286283596190728502028647309767380715519132203297217210817396927972709264328924361586482104174700034730395414028032158477317292573805998086218655260722524416862292536840599094640284996712803082330109367505073707079718753172103523777059142862611265735307872052469321127774806395322437158506680998484643442564186854791619587775724886464769696532364798494758806311479941059375660379570688198845544554307335736889540739641889771563047936407651544846110921438262303463361573122378674909877360261820628520681884218106275061707481377480163160829526366792884267129678271929980595954679313488399736170654647071437040312787824340761951370032171107974719618764721566602879428006114617008829249914976278679693851792611804305706240745479960393489169129618758330697828035759333137220997372955979945735853041937525418027627745084539437181422113925738289224789789377714345019813487635560736913213459032768736229570529195009248255025159228489759356371194440455748884028148416959050238778898123483848345824522655214049316623502788771376516132381381696678385784501789305155207521895998814154002683733666748051906051174911638806886218012179930644974924992977494750443872944317200885037509793980585628616112249895793619583425921360899853202952703227295650334330977471001895667664988698603009654716139792494014171232187895930227657900429709105994522972115567754150550989454311140150500369940266009559243161603076971738573072467197879751313833773073438096098084190128807103892561900514225841968039291961327922092789591113775267007274668645147158486989795683631449084719570753178704230788340559001315821395926946198217686604137811012982114025888620847674844871258244084827157648289898459144309808643273307942980379900788082416577174317415487623061449846363716556849768342450575450464713596389614695519569127269676734705647379904247613146218726239484935262912495949874852170636683060196828442841781324154128400469926632662777345788011134684051359186101990306353140584078145551869526824960659495702009785714277225514875926760458346792741614125175021976131783158447794446448991580054790254800472176429795226983583887794910021425281659225375437984596968012129483063472120860340263575630975863376253010052131616247543227898828613865523589079290093026650151500846625566498449938680132602222958874823990719141120279188900315746381003098704119441938648198980651717113736369234697228084817130767758183149481562640404745927453788400242915821544782887873902286618484537419799227007534771042486207684082662852758168697313430485471937196867694346674274855341312505074157594977793517200430235480302122952773860914288783733254146007506661067215927646118854450384118764754437211357758949330195888550886520911815794283495566600330135503952135707808453737393870268174640141737111675413666524497680755394731017898048620257441110519103883776610070965266502386837009311519880912099057433011209040243131991464650283786252092151056022347726595579800323458845284472628755573071090846060122900391060834966734711049675106510490628929113041626496779202235811817888876938640515392039642723542083118768627770125268007625966015272934104809229162970330922072466837098983075667701793521877983906434198080393106969807649069880355404866600088936576084890462280272969567655375580050723712594721886734254483105816606010971477970307763968921540175792598888985006888610398284268359285768025541050880085934948589937376905469324189218595028275182812029891275073140597870132704323512026547162031415013495368655130190814879259045417276866535342250341979405866020222402826565927002738589912706790410413860733225019223869049962760943199261301064168711416854701214994557972284603128509950817460904353508092230032745566551653236663482847871040211252590938859510036366291226165510420084578684960147154517072333247541917519052977899334138610647754972296669324401048153538013955324133524805963877937938782054872926762278918081165770607368620527666925797572352294199246996163414330148166401552645386233121038289282610078616303843327148403986593896901614944857168646310392604512801190422624000738037206403548325538760121748917954709324201569146252322681430711160126390626487167471496823630153913336872816420654672436600011766800551230702653624973353420556331620524865864300693938536748560813080765340183132688362500783843298525398881244499284531123704240925753774709492290554037700421267868128499367337805168947428597092130001800763204412740149578124901115219320093039015641097797336537523425920356363738788344281624176577063652295244909104017317412809514971764355385022253880242136493585210474868149552688018355752785962021871295717403059839416004058964326493804268191067379866425493696802185108807068045785146527886791637161489746630092073818753161299628405759801327128628762236222532393059950497965096665038698976469361614766741562198185269391429210562674066127603336879254265135907734177787053244479050285536361245323933400645734934791604341808252256266820261568818390788292289432455757551460851050825086752443069959631102166026883113515647054817573474626445889871092486768677584292143713180860351926121769105711659340770228875843391126831023060197089097540582095696595745410533898492114360134008194155988298995405648678391285970194623808994835351683468013476297045616664044281346397889967444183070883051694111730317195234227792155376749745297789851282233693898247510767934012971293732086154055472704910943616529719507039279399549919255094838594263486533980427522008454608748235028126721605153854808924264149500176818922743048486123149999084479924238677808145571473205828691142886525115081562825936336569271779077761202944744201092743466157182564967495174854510555870894624988656499097700331421316304904564433608751377478956405784636699398846229475601201526642280025435768382993339914201750486573344418807078150098226983457525329468363599806224349874661637083935341907233008927391114461277168218025662005978333645435802537881219798883713482860194129785910287819468847813239119089765125331669192083271630262276944875980517905537900391960284435180626728215311464660326406397932030401327223990196281989519285601908078789777194343304568371114083239265760196987569752283752720449175852201627749837324028709886787975216089959093758957631011251537304740008605331527663297571734168506631245210622304555168350572713927818029305250566506815445131258179232395552149635714971773502655914254338311946149265330935689386539864500761003842071768893808113483864579290556334483727058207652832175470464090803188836475783399616310171515750408476199174353419433021559057618580430255880391296529308725487128679537506272851502306321325124292119119809349701728252910836246017892113697507348390931348811064553600812479432430398751547999076725999479316431191660297351401541477445590815427531012122285635255840042756541469682622601889116682083454451409352601492970082595091119129911623090250872414628330802946497217926972946708526477800867832864684845059974541904971910404040649244820829637079461722203289304645475700206670985067217870470516431303720835416131355646755611669179773391013108298422075528770006422264859838850244816238617807036333305335460173719515172328345476054649120996768836890125993214249490341376066867610833759044003227328233236210135168898258253539507067572226912249871705295654092194336268284947110292816808149399348920581812330437056087450256934337860283353676885955893485673437858569633717003832151708917029696138201320993051953380587333886481489885110384882174328853786427922012771634107561606220842077687266725659161208632255121058381531703867533533323467867205209104473064866182972535851914191782556834546285111908934253554426284617930507281851738980918432326595010477469272578525253515970865751703917646593617862206012687339920345387117891798377406643345461696293401152408699776069024596540831178121144435221595740531928821996469909288812553269978322464703063754180018912090031829432796795168307681265689081648637458932669332814940649574293741975050399291039231385987974864339139795736334100698139841597726088121356380220300933355713560095805326228016217762945554895157307676120857659042897694905071479661713869216910035511007948869601268108779453585394912918696062839400280754989281901375322069405371655862385210757670541798123151414335273940219884491429800654430268814132774988998060594504219931086712547241100999636473629633259614681218360818998418204089137529580411477569282313716575443098482396410664297423164956944500000980871772601214516206675757707910691039645736435065387492974123038306649029487920775568483780037036090683514869194617383653517501404251034268480314315173512134147277705578111847351067178317150564898087901371262219149505120385428448706105100269307780390701364411884377687005070460377850687736810086017258774663019890447507719473323357037026219731312688290588811209369973053692283241894753517570419155795129481706345809613258595807580291874623017839129595820750861432026569289751795551145898081651577471397180632957208129218411690802248676938260519012566704258822461510967687477353278511752779342421782617211319936337439184111102033106184543960590844711911976320326662257130375845635994157324830554654776271099343573583401765498179432975597303985407412423186174021530736321520603071792647656989850383249653538387498806127061644094572976625380237273746499021854632562352654122128533818644551744267474181085801369304446512253510828883179125523802119712787726868811329749955428774282084897242718189598378764113000118100111084719742288973180819009856242336571725224147927848887283149664155619628539971825846791957836883686753462858479701915429110266535317826929314165800709307591922455742741513053503965705062943844786176627304805667663305358152512296933394341857064347390905390350937973126993988343353910779686087971505519723308004323009690574225145395205403064349974092938319328368532126132630845346243918498021886263492680697608641785665409107589507267020683495241618868796408162759451909502112420166608275635630474271618565691935239253104241002317035933293137634793893851115709984130465145603748691780666157261994715843547879955559720087939168188386433802353352522176291713865805639430649467939153665876851722058329632189903958029437016358499387306579040355869631925956396932912516699025776565330290257891861115587702053365841272212979423854288481957353869302501323565801834474746773874285065521320985973620369963211650214367534378278891846877616238466158628127345137686554307574915697351337427513622454566530077148385623148776580247763894623932089943053935895427542972403549135588051375796661644318600941400149879954829365185565557009487579743673812899100921638644542525522004958757367310446128215071978513849956455410861659877305459949068827910978808783903775329362268618398220415433588757614402102623238783626471255397897494412169338207174454783877585375687445372324482622251199284346820904865264691743760387161590855281512016925479283744450278725973939782561141020049286317816849867573255671351564483698588069098057348657255296981926009227009583303922110556798379675579466078648980856159488926405564569526285007771818382741799845527167269445264509396750242384024582609699627979503503480824748735579267248910555697793772724804106761824945914303558431831389039074419389675934850179662196707801865467186525892419142083807579638586369419699813415272969612034709551078933225164583624347414666397542382829607992023803884122614665857863989239275921072356318106470261182470633083427227730095734863829791833502811940112392747507692610286239323645807210489541195093958199140930088360761836299327859162999493620554785526504543526647571162975087818879039498024720600290673947810295114167948178287733049505935993798630351977736035838402509022156611802418976185985190839406237195232184828580206430695275796870150467687837234077274918349313809464940590003200918348570786381850261176208679445278747405763812698038108321411187966377361420416364721447551373919581261667872760516629953602332076405396019952508771955499655769997532478413875551924345902309508591058164434021329705710392906941820691618627495034714793034945984439847667421260184471706970477982000988827898258181818851679228359680209638570821170233174288000667956104847085594183296107917297154639846470014603376052804832731425114225702002434770892841459317968350416312664837999481510802918256067090388920587231243179525886260482089918019895718643004490315564371966060703949775332057275181759799470097289791310302254597148631438242363493720715808386100442030934971971174351973035396064495314373182129109587108964912969773818564237443164365459989302256264648110899688044620997157407621929928589823131094507369576611918376086870714471834001874221264331035697769144689507291566383806290910899597106956112520710758470376485158883054351048829506643910577790035478768365627764005052906086646518270361373770755882151402748302178275035519160218928257911008172420758497436811447182631159938004218690048578282667113986581640308583084455304503875017090371650212851381052085823779538413326587861256832952759359848662277027234631556949981340031490736495864921919911707803717847494163596651840253867369854237443666617598947263343514437329474919098965421179700764998253811483004569809773624650765239346398300546866681586961231001896404085704480067339882511857227251871794841139560050511245370640079033014238618090507775309780197202945806616965625894091660344265633790730033245976298159401652008257977073163644699848344239735141521389773285956826476373452315598824208416245053632334792956745819105775395084852340465154301279110859786360960160563592037602623105321758088601478651003268584373189189118652461700333279706030894993044756993811857326146851056161158929499504215025049071537083386916480626981448674554507306266572423208652710793557016008912604205813284969568240914775663851480921448387483852364526369471486713695220192318949098100847973999190785158457037516668787074803596400434460188362846139568577426893359258706104398311182359463473670634154915222724671978338967899300509737939046399293871863090724787556456669072438140829895455378672844004713885921936747421803930264686178971863348095185719844947364116035888247914555553178324755009117638750504905520871802665213585927727401658735086137261252791136569484221571557919734417730512627058563041023493593411472492642747987389474050456216919616512143888590805934012872682489948970388125667061323924859409372992413224731102748739939972676145246071300923034402723427668285546051459799536953107175905762942716708831372019947936550435710790487902625589601112308375579750075489845839444185824715561464096836760749205380726731610050682860243492651999355239777846463082590517560860074615255405659371071746599595583425043647011272361497558596727571930965170282961257515163090763868814682994785548065131526018476560649967984319408608254266882558613257978076321501145641821324341907803027555652963147281839074088029454218238708093722731932707102314158935955927054586364630917262129979571937346346556956920630562307450383121218222252903043582450640500197456024131210034374867513827397614610171318617698223605489378279551712125898058433080482529173398773515707544949177433561063281999514464560060366534115000240690998956930630096059703158141093475512266378168183685481139593596275403810541149373040354117610021375345806839169639416205535344774005151951582089996348688157706511332451067471475191107942036920119065322294821917659721244606135599626931525415791871757667048882882398367395427121663420933109397568929253193361760002812805046879191480756241788324703260392040177911806486888084296363286238905271788643371223954899969301942374091637244355130375283737946951520485815573629895753597214560145824240901602477256680166263828293698999602837579158161999031282679613435078077319526579704389744573829476629706754786598038569723440062422653895852782136442659612384826931660924645173261755015343121992413282255752437159261309690449214956695217927857265892637851220266477868133240596244781708809675186144384410137551201399615874207776556019967163128864605921740714272631191042691859745124916734652212273152034180407526548353525578030561745263903943642496098479504799334153388173524679686985254741036973012627645176050659179962213717906863295811565732054451807829210936554254582578639384717951005643532965360742489409737823548431834096382375236418968856157138092601414541318121642299013858372940912029530363737041014701702224908947611586521130151421219385087620205300090442056393131712115220594957160101614716646543077166619045024004471508732547003250378500868169247861742241173786501758537624695104759979124269166989852463374044689484539904377754487627782025897992311065491262391047758951461772069633261297504465946106347041060121440307665924593145661472078994181132439535123428347891808933581185961182901341544186655389046943365522285584549511384199552546602419461177096432524695548080502334428062300036221844778276315304571541671150552414374498340935760137834007131466562871235019228399054198217206964734763118775927321207363857580175506403813532517434583211293495560315078535626583370882507173084032659325023568255199874379867729641636357590832986049952388337504591126373807462596107314085129746605600635213479193695214138746882389902096859985284646254980789920505924321652439039620421811346155388317375308239154935888654427722878411128771676067753857325280685677712179809164505758287280399887391315116456784902850481841095112195380826128798149767111077404260780600739610487834802793615017745214666778270916369782609921249290881739374801859797074421682069621015295357087726150118039551538046058012124873398292649149764964781503234630890740750105560555689177098154908105388597401992217073837335150645772993362847150611057062819423793964046259630832332670903457072016656322512106737847532367589430137346340191711951482689516858126241584903487523141404209000943466933874419046314016185811511478436920506587498086643709860961399709928810432789674561946916788027267269754858657438123659646640670724576265774956898185427513082688759104774729099889132011760594493275293219891953327609959605796600818369854880448667534713149519390522373243401261549889599844467979002659533313050764704086411517297819623452574205283432016701924975020543301671736076928140772066905277955968952319174224675227008568460313512040084249235450603892991920566858353368149821059814100210972919758277118619146832654987919853723816113432180118691683045028748021550896671561075569127015657086660297616757283936297375395839816567840632773819689237025816876775758467418134116885517260679544565259562081164446889929329803246339045755596689918535281957941981209374702875782865993140678313041404727220130584698120158845658085131577488484230136942007575398814590862453103733362196104210499230069817511131294163007171260802104790620213511117061446411807224891461675771133527991673794215890246788003093860722677011206997730705742041253938364691268570888193192849725052117982929685554473178653329026919409626586752285328872024424446615514821108792379318982125211279309293570597231934709686040805651913878084250619502490170767994393327774378971129871496934502234856701301150190606218767525059125987496611650447678718704906626851815785237317451813792255785758151174558557203739620835434170875282854482072506046551761104635242081292742989895757090591280501433867449887519341222080305326538081518107369855302170046935704992891395455232191987469061477354067660230818133634663741011242362698772695724102498907394580450518732845449499577576670527999433017715889314110044532349029388431736683987023590455670290692769220723215319301145066599189006155193613787201627639805870057086131528668724589461176267406514061470763451565189836595808948077126411702566915333363049487490313041466253879512684906601755653437769597250672209854923043215525360741134866517658441851541611294403499854116263638626150353475370210704523401427582200108096342154400109297215876007695147078426816167177904686973139574223071072987810164236015122443731710275822487169258070416556306543729099811847328753173719519510991031405069397953285136451509732068120552205245492213238389598805439737197480172496588735368934874528714671652967380920055120737689753432679229479136996317358037446047830448210206907031405896218086876758560799510666005464028439767723625063750652339841741686111011249625977573907640593413700606952517588167817530048104466786641124142107883011010624366871118430511908132264102213207621882471549675421112101696870159429243128602294535669363512099473571949102767469179031876132932126363385507513131356818185597963776513733166730488496468117927841536305916408382079734571096273958180621025356541117421080172101324333630485114820881364410999355166260589834945891563003877948877340045089767421572046113509675380144031721657058439371656654826300132470030069564232532484142623004164138808709045239100262179483267548764160229989267806300946189678505744301650252867205234218464816076705915833698578599603744503000673967796177828358650641089627413787010828891610160676766565219628990362312634154884344601057751268423294217036935495735357199332682903761911798726548991469333765826808729216200964959277509127447156104392846779055304103131097924290120986679542826133186653831891263952488520815231619839002953724132567581513364663974426272325968350925421173724000986282877637245003845723945346788390313017511407932108966199226227600678705621417924342332738150715595917038407351632694019382433999097148965665989361175971379632839791477124406923396242581456929866441638808792495708691630255799360304760994068926016411133335729594389016605119744672486059134628126103100652276751039935894769625643644829400359713287356201560298330570229392246562985591186318813107952944305715544429494040358444670222017811267877470802784822953157642274702591945282013156613063857667373113727418613466278752524538505101402702302811556123870947640118757238358392372792202012204900915412673497980474514789012492750783801463881350154613557782119107570460029464332780326351711041690176801167253121823478599237563225596701331119484526401042325931697699699303411981551573207074103128633974851345552376377227942344797842308671386033991745297892223325035935829301968949774167685025094518235475729223392044273901245106626263713989187223883142172408509273499255108286757607129172606982782425911538270000033430628063186289678015142774834148062487140687890447458803461204267775606387705911448169972290600708340690968987834339084976397094964817342281572978463099687914384315870953784054842921803336123849787874440213177634806875504897848112220002636500454509871476341863607722287121982681127946975757381226309448431994179528321275467724067208550267638741558561182889819545105390438024651575691437443613567787881278576452759681247356202812631380089644428885114849405421308663521409387440946883141191489164457639136207073559873445589248456477521603240016927003482287590813103349215484727944477279101412819393833494219202327947160974356653081743981894544700137761959521453825560983709146916111339339668575342796599172896217041285972225399395735122645423348936687122753810176581515083422596115587588971862644604185168900520557076757618268790329702474375992697608600174770537205692947769951226977806613410381130074304738888426464704793442029466913120562200457179743405338581490220723935002047398351219013440880258628867833883938785800541196224871920390793565796781275510505383645932438903863250084861282687735076461661015685596570693745687102687393763724525252766939567625943447463428979857089580715193504506636799589106450363995084066079185443674656239766238576208659693888469822481992850526471504655303204530182119012045236782166559934750711865265104341210338852014834437169524701963651079400276938224857271157517907029307597204425153138391844826941480034888387991315657219731658368347988581062471677365107190830517590608150219765352784165896397353352387360601143760662989906600400767702516819890358336985968505136011175294171535900716738090325786132881201845961633462522745947847928997871327806557078216673014943760811322486603764590096903500686606150733073692756221692456245313694600997375285787378247078338770644267648940653628312980706499646927655481809329467015429367666086924622097135822826734384764260713303250238425373301459436288300641226262091508397070195144224404534133261125700465991913391696638072504300239369379931674267933732220413239829326072593888026854355572416266409602707940721452775332929097506955271300847035650605613967332778580934611840802088774609121988112270313290371458396073679378173944819416950494868039345426139038251211384607813594395999669012702534870363730293851712097565225044965086984359736189052938393970452424983353170388825490679958121806333915013501672231460963271579929609212881812833838292918691182607330406650431152426930101426573989661532640511259611919602145063598625246635255554133136983379511436819795475962009846594457650009931119549620540730204198179397358371188624510505459328094189709287449136073326518053310090285902363988262709376378359277802488236877480773491397782462614209683177770648358865706965704663086005639048554816512059741248505087279028225057294848751916623481870655505440241146951742074149730325883716952425666161208501670763053579374883256516213780488519572014568431518690367292980144211260331370253193354325071553834377419420059258146129031878850145627807808587151559974013550392697339285456601205359690336501626794076112553378147243992136756839657523854774675787777670034340942230511434084767539282044206802100223582890507590333436739947457218845040337617353666221470146731628228015749774320637282925546813797325123175927314502894996414390013225973760953951480948438953343569755048940739712309810270263197365417332837466415866767191440561894233431530858819295714828428226920617946642898351431788364877549336977362559962091395343438751789950371224697572551960365993762356844831903543483638552529212061337228496135610640367418829534699624264408027607642436536249927439680027282370774527609276873163283308741243774010490571377355621906025276554414645113913481489627749478722382708997129256164595617136143976497580524834988718365947680876076463380184208349855154591817638751521870641881402182179983151695105445570782469412413425291216722998742863134455891458189792785447426365267643940446721664947162437907581940693457873346041941139369059545942700760005181176370466327433863231533950670096136459342384154939296360007426779034326812349068111888484516082900719095624699962703231961227286944853920286939381550585823901736721242256699888524477190952543800210155514496281161618511792770462221819206091829197456483313131033668029102178825618493631224034824520341879576107010136008236377102106460948921998352619334902650758791457837770281183777659749731428948871912738621987353039861358958366316284482302832752249918056230672038066403114680660330930547449075969686078844390329618275987028604469362581822694180677506529240061828786847989734009088972985768321733335316385137543942667200244188993453940129200088368261183791150085459907538498635850113623516846165976229136232010254193562175294049311046478702529419506008346655440809006733934803243415582180488456853551917074055473514552161958030589193010110642695580376784618906067224837834457033755052086060248190338018503292650659885944326212617127823307699881550947251282803603691576140504845079146605534693815156145275777073959590999937824642186243287038384335898930365708662246130385393424169229871757002010710191688866450049789513637272809590314439703389143369623547092916187138551915541115748064809518088606299783768674749144955482614385457849508572879225830505759011103610909015353672263844449962864759642864494635390077859772646376840392695006212415971313630085435306734659160181523705874433820734485062161464143472165919590884491277087945904286796039922202579120853851682092687780913036039328342759232966487660161418657404584610968356458627935711451291089550915344107065536869442406552897298237908963638999528362360223086385637342228457726824299956619252209516674976577737502261250740281690101442723505809435918640109807790366915488446373849707079157658219284652309122063159477851514151150599637473281230734352115486955943278245697462451433437438691332079319748297777799944326024245033822192595755839174271018789730238742967162740320268346013152318583322528094945443971627781524376152685068564707975326455313780343958840409120050638426583360000571799346942943954863557255631975327641251133381339335311431259498320927692827025138835978804549233569118331204678655649639797688288654786150965336755737579574698400657851189795569894378626189690201592402042533103303009364435185850095020504840139777966151182819196048284747051204979504902339723916244433868398067190454644858907796354250440534200130751923183901930601612881749881048420669882370501267955868381134163388091554446052616466837723741509855143377410738856155689176699002815450097187006042045539610999515539388192393477483077251489601174629824589314183799141212657730563823791769732358522385532989693546555424210316739254747217407829656003424806975675194334731916676749696150037027207626649920041292012409682017122728210024470862306057862873939640624525960189617642173070205224952299466090475742456941504594164656084187055206036508570832374640945243012013741330160337502172674740864656029711663171151856960295808595053477049850405524884676356706972505283233433684636158183362991208025020396718700952324720503961167633775343257172792372082446702030538956584821664433308358565103636680796983467479372548143926580750048393192110747123872345923148484530802305487991055960141155931018472274086370336088559810996154179606940408136000699904948305177640605246800281612558205670013443474453372635041622822070551231098052354344641509709240302095199580696935511788754459076555765593486320207899105132618761428482766632057085585074919585372756981323612929732771749459664802828570605034409535808958648601730094293140651049143891949834342982502683792228303958196081854587854564684514414118900230661785898801453105593775583318687272325075029141631852254224316352594471701195766253508550406884135699758493826521505049184777115989110168314827828390670394334807137415832202122447907081686294916372189313887415783319214882872392482257551035390262167737253142236446864876177660593765191226158763756976975780278217438527582105308711138784635476091813237378209527440840199018983235165356079780653900541908347302147373429133275292204801092183672032036011788037766309397782186988806137502992476486452362509776972380454697572073608743663163770365626534047954035899864686497572619283424376544614126717717348837888022014388489877028688123159352875391013608206837890125750062052050189223617852390933534789315230424333325503293877044385644648948620319192036312608691357593733201861903175255218755724697872222442655461362801330994471853448841200069048586895833930945206007240018566161109092750021507934275026882943211614655918063930084631963324038126001399662109685704396820559482747327593592577850531124197211027320304086586530338636611729966747114231005938662822533416280037994576244013849978106853818192603862284399133857273147032311878719275261379170633925673337800127006627223582123399315551049034366842640732302969148066648935136754277164263302717623827151726156211244671826924082375497180717048564281983795373133070135211407047719729755869632199788668690798222983053304980624356898661887072276977775913810535943370343576992205545729601140011558149213069453350184100130035099242387420997510191201070717210904442584531718250792753298116264282942778850712137503800142563992149052011635839454186262388171283160295962397470163312965359869755456694791175401172425912418786885323091445167660578991343593153903432750251618734144441305199277727090150146390097660560069483980110761242940101056904545022257279503986337805889376257292646841931439851322124427873601074735967420577152208255372914066981242995004681217074794524794943553461776589418888913949665081091952625339961556625060063901652538551329554985247811930756986736209337822259992601517977838404394544045945887699649404687847595433749931509407499744990308409598341514388219852710504227854457525181425529669899946201236540778852998695883249553457881723698205141358038757521647638100675479148500360032984726830778264431425351085974608762272072985500569776611977649835241754395049286143563938302105043568150792714265056891645816369917309344493810299631184062750386643185575294138089759675539595613371993605717436315520965181091911351061718562474573828274449306267610851222461550634409284243141936647273266316587910747877405690108324256058031750584985554404015187459994435536591828982391024388462111231194233973431475306268011092224596989369271627524514220568425669934283312301701805969021173746795005960165672513161940557568222706547867020890630439110599806665397896546275183330343991699449623075649163276326065880881902325848658037914335142705513738955997295430637832779096699245321372428692311930186768424112788795977396566246368107628880323524492787948692962351419322724250840694175896375094620455332680098126070204515897797012437708840467386268402871363792922092804673160164474542159865446209350796196790571837962546105916723733770915281378646992432664161908148401518713317569652467385667716201573022005144007635961552006252244348256573714023872529124556736045322899061782235721863449908476892718276479540169454982168520528000158822119251734389457223918817057464693193660754364101819696683826907765757482876132419005545814126588397859772637831535897236769313934644510485423359725887049916544673333363596184784453170413100864096933221298939696837745528081523658652584784589406887573651009385992877842532245242396398841778289660219720114677879572011846140790207783183488761105366402081664385730375496662810882952031689634555726477927001946095425501769916577998076272491773907078785236370682448220793293116837899932378958448729020650183988879624566628496583886347718226622592288435066009483236126463176271671245656157628940145563187503685826161434634476434611696703856488108566280325035442309155743405722951519983198590799962306996372194539203495244900127315477814445591336017410927185109528054467845271619673754019045160294053238551343524454265234794678293990864433213221374479893544450485393527944742697370431085736270189911032613094275398992660560516162282347195223254830751050242527320833772837078238694323595466469871293290107142987108553686458407487483830378685947965025608277669398348831637514457538645032694371100669769341552267487783157110107362735080277544112823191780636518768380442163826864689896630686534858376434556655245153039364161735408075789694481347526746628109070360157893851158489513019221408213993532793427567831449104976160782886321856161301100559909251413328485402657521838057441312345132660114318162573173727510708606928090318906375855184668313722432934832874711074362620896721109994976616844320711337913254620355727440324477540172635858015478438236385781033407225643191038270787805336747242662974771103091947253319518891429940127225066030165964118827022653647252553012363754907904013080913429658398439847449835645716440206893513355566706859436687966963957965724800281144277105557028716882980959766049047496054873966436487406478404088018692446456064567870715510381831087393976518446066565078023594702649686581378610239611821074653963555147810609105871223206726425026513517090132088425999732371199658397125811784479500316988249754571793040319959173436215082883785326123273411437897457680886400948581000441040264961939339701388141448622931894563475107601455408186872930419894487557364873188566710736735102625899537203092369338129767791080516684207548056040252049128636039314188160295753314540173735307941199485174087271616161413074798752099182160313831493580237797821417986228949309303238162495350815630689495347216545483599065574693056065631552910569456482145868156950686790025868692635055461248206098346359927746300752039552215256309090505724082516739771901743633027079885320372524317858268856491841095323874498648624019457877542300863190042079982673983683997377526608011420585957265788765665586193099400969588966764749956095744487307547893593217921483817127309595967696861521905925592845033858700745114519056432520380574365537798221850978590061667322991744266356902392921368348806764958432937601797563892198515306429377402486951953640591287738023245442813247309724154278294902627092148464501424675776410016828426401436756596913638623659452131907356973346668995722165289636430944814803369380706249184042699472328801284172190047319873711069983762401305287296813736647562018151880429372275511628056199252718516734255036486072554933193303843294746145781695995330301936313375474399365850298500456647751431168160816776202711490747740206375959895888087642737877487238257655263158946777388071398393407206011508176265913248402998467447073373023326317486378126097577628752573458708398482150339280036156522068169480756400612630372698242036387106269600221309841455095728625095495450796915954562236955796130768513877491412798864676652427853109704906473728133503785353591283517715834856574076803252972711112143894396310011384060740637928228326146672018417688713893129773417266875590059150090741799236989522527678393874694134309374075424714542682603787855763427549254637241055490894702264337846475786410976348263275616871043450253678952437234056841241595392092347633964670798380663080812281786179357278531978504060052041188620068254426779258347080001115390212478558056552351113068144847780816275402560711363426814693001674334294837379921208824514099475432471487829718954459160623400243960722779153062596494805688257691856045993959921396654930368371646144212171292602628557780663265485461623396941487874468017302425518061529147432365367807460878963674918363317341621837025188466444509268343294728221012385754999138203912668329956964074512249894628269631828591566795152348585785333556651874232953786028632560876168583632597572282939224105577716852040621723556717455753577909439194911945088545172962778910858897666085090238219263508551010500464481838966650629324342797958774415422377870727582730037458600579967267965094304272604706822768006093035880043772352988426710693719367421755122122797648036699508276778875447868080388312416168929839894072164426733418259741407488814540725229345336919455768272809406440986957166876013940954442577157488990264670160642233974902599292910009537062766719362152350692025487894558896165373473449801615845882609782197934856066505336601331329072091825877185162328968921151402234040431505158559453702263692759216768930164886675424942654133178206468423548783222990933905158588752480700966027554877646792832664386994399851325132135838757807334990944099900278627588685793497082821272409023931231905045544481662415111665050131786108114224925112125898451178176793990030042930389043879386579408863413231703944891824707309882514614195328173365126272448345945277443482356951007431243177167241899367185430986520003451764520566423347139472814534516520989791849512718699772658511168218348128781171947846137347868193355649813840797362947926409740789140015873483762415560190940727090693165586859277430033025981037149775804199538697209411363424200847501580002486124824565514008566252554216967077871736826865026788747295846887342112796356636366748820634414270885360040836135177691774336158361350516990148508768621484424039076333033212018173874566396830971122138836230012901114954596992628948641747247304809295188435968197185169817234325484646638242072813418693017090170824062142109047176382466573984780626642587351911895889585099917806459426528420908978018565617821131125519199241265198991515649314266585203265195250934301530909247606171106677675141479331371145398022622325349077453021451014925078957971320364109508030549971280080003859339270138987681921875959339060501951290214495990403657891186724216273119036567614502336790363527944647664136497301543265170754482405183291736692621281736265783923320164414556539627821547240161531643096826628902483009172792125966628269171261489509853210632888114822584809447433734469959203368659136872757619718081037419687604979607212521196511592557654301604254136616847259068179226214431113042515242499002998985903559351689711329672878311301386422149559723699630958533970601137900403069821317496698356095814140950572344150861529142061789005292740053553118227849338512402815123482210576692337861123489513177557833907940952855581906878313869659326465389985787282017339556890661391478212067944198429517199329383545338103395457830695373996216570245360800783578295697606974039989098612038669196154187018895156647350333096720324154154108916926444532391683602699847182609840173546917983814438933661946680107989788945338529991223361915893400799068734790602507976270366409245456678098772423267804376305887371234320409041244814436646484471728767839458946892643156280834830460073719877199209768619760631880336131956251742073712540603531534937983581940503713786959491438973379740892659507880528514722935812323380443329830543783983899116092809779047334750933754275115746386004074336354716844492460380134411951871963870179328959308360482113276337896057297645960964666191973661401372860579321935280478192933360912776439250682014220627257049733705732525335394130379690298937761342201163551484394635614634403442549274966745108843314241913679641562559516159585784153963210231172357325789013057851058120823571497675730920645454640786309678434162895127560384559378177759398083012077507375193591403437911878956571598434168815692782798012975796558748319982718380322281483515215188954884982374073000081091379958960628912633699123155292236948517202078370768905178016261077337689646892178817049852273528292948577997709188266279182152194493929159120367267479752413386996191457412896097182251190055280737482514922313101111105330998474160982990630042452530164317355160246276428637555255538975963348614590130386328804579256626512904552407252614985351430927297544996892796915228759636011078742240199071992202333942253424142547179401436948391861228331666942720083513938674857101417000838011483439092718937459607363692902390216438501030695157356909517572126808588381133161508920000405729603382107770258294181100047238558518012647580997054682264932375826966668713372439095920442332185970307157045167626416781389261002685073264674735294024754605506636303391399886311058572660350443241985724047926266166345293958993291851364663461736472200634659890561923895307755192676458490249474488222823699311692192142026965011970782170130840572169892937733005551515373465927246244104629547968743073132613553143160297189756703009170337252759655968846040768646185358410111785993721728809039974291340678425037678957472677191013755018703345156426023578930829115775366711363089152694687639259561285896100955951617310988898340521813634870760622183275126369082778523351327124703735269688235284959593522688468535289164039424259632905874205524572427290318079154088704384907551936628064913798131999433585897038891653124400654299083341365530680441261314507247297126232896159368780200555485014467277791539753612998074260031692450387836215068141059122165456779687489487852156172143687716334371465170216277842845643999311910079514501341369603329464056552035127679233689820755272065638006821909122209684273445540344108212997678083224272318127176923351069731972175634460969868987298531983369831669155998075955623657370375682392717011214777907331996214859827254959665689178986771861791856812959854667683310741021995802130027775149990784926261423509840085299993171335928680276390999548675896335502232103002905248375126228102413771921365731263658980971433128375218279882554892250231730754825826784311307276953679229450525024453174478087607845637880115833423620165052352536363803240381388202251584812749089253377660612318567102837549121913506106178756066044516645777804149433441753071013577763851213022238572715837617487635570763916089352806637599895733779661075754261094419002886197784677033472634090716501796619604417825303280091532638452132085060717346586357061106607199188778797976475469091837908658666055622945823964227501556023141555353487083540902287001866400371406460386001196183045377939609912098320505117172557170691928343150457751229412309517490975367689915129091412697693527651477042166181119575815755720756784681717846355031185145339124823887510134952149675438731155162186245241025074296010143436020554027958760433049664886789778663265548391928615202758874501163488069438637342227840032903747347222535216353089922125815989963698674564118052030955250121024557487263133519620984853701683069928277144195958833590844031325456777720469176088133925886785038275185387991583419673272968037079198221907973106132144432679519928997705426828786047048557680126850087643437799356924893054916826943321210919066781809948149479475716762706925337693866905776419051919406944702741434371020023027565569864964560390738537526559554167833050908705814108564478361316458016241941216589859728115011859485407759622292657380594196970205222182299279114673920545944837186868640900571520606309941134069334101222386249006108287519696009473079407279959680103270055653211812820497134561587411117307392134557836306464626472944115894487220362947377377175811484229358819783591432702106369897164631350970398150847332594482416403808461862499584075499422358866536844619240308617633748453538518525175511758483244492675149339513138923696881408820171934085547527043680169838774311704003468079605895479093073651001461767160789591576724641412230866874347606388576246656664027539933397516139191258855270037543308452395907237370621154049397075287367485232456488410859325811772353821304129277848755503169276878440893611953247864711176570166769959826352404789758648722138434305391953818019579256924679535125135800497364728710943719434247764651112882030306895583410047618031425417324052196654239968281857652862138923625375887225865541293011334724202485363776033701442242047138012254823760982555119509036524716900639782128985541627341475325430448458677655911261017100639296117241153771872015980428678411031955984455468601577770407772903642548228682773069908692697687528190536026714826474732240063884354393662703822810224570811104247154136825175767507911771189544654796345738483270162166029186799979225059105426808460255436525392129229670450413754523258998141179658148613712399712889115853475272548027492600590447374981357949503433598709712999988524597058351844962382347719125928003322538594424228083433726853812530938427345297077982241907099038216825360528865599395305130975385733462256072387197774575057249375349063061046368303064422956987531657468421484664713458118515485698200234250155711225908040132884760883653018996924314294806136895923678051121482840174977681396414688022827691624373417250877761440208657313141179423793768430782084887373928483105109997703994996507028014445084954580842738243431351127678964895306197933437789387598127385310064388868063613255607224876962678126278786682624503007687456170012317197349366064742609910982516021463402623661329265915068665994729315335715385619488771478472545141915112820557356378474653771984203435539326582907356481784880153042394494294896888559732834784400767371420670698444547204740620061180342858681342931547594986336289386727259392345330935739205736416357449325181819467742938130321514972454810790622069572531667076476853808791031439521510651517164860677236241392539967796270280258153056934726649883064044094530117217515629054497273195453272873542092887606005355276434861824910673282651305245429457735674584350112780447128239079545828370872464234711500616102690634096625059699800476965590310577074218254933839335729851368168956392477133910217915214747206063080501011521405421851598772626279221615456304276257090644559085514948642929036559185331247935435584726947044269291635767097292545354955024879839240394677392287691331662520731910097615368753701817529219501566647065173723368447487265567220395149816554567183448923219720799836184792091443899812366104433447596628660727173635748872502170335285849768317159152947733035572493477876653407336766233383885475739436561932338848083925126416252955664481784940401355440009823544910224508841592970063327601272449536607352422179200003523734575047996198793357739489981502567106349473226369773891287675977548343565749326532497737407779941324852731783511492318549731924822303711641749477897939056398406359631162993784002600751739703358062287031229844390230914470868302651847580628548107746979213593280603115404541800426106691965149353723852545244605248283224016820990447621621925967546175910255014831282146611241520462766866518399202491628856836434342548792521312821827236180570004515950829857412353743938631737174242490409117871013673923365440410079862146175094331399112844409190469711798669417954999242558968868302503445791742617243924809935272396864987967998510674194306760626137036100272295799530912256581691138996356310237934447056535912583275830067148022109637013908781203437661069270325535549350619572853549392638363309547217352337872969422541145050203117775896358806968738191616464268922442215033718704625489137728471322303810256211529567399257159296683249842209285277052317352566369531317822362575725936762486601245554910881539206107257458349566909028450238822929009663326850164377107817145200868757467953162941330634875228606882572418859459632506073627296994875308278285693508075876110074309359459449042431166404969775058083647754486886913158932855061687987278996598242638691054526826868574100972469070743354600771068702637348009349196776624962543229575965060877755716171523894758375802052355774971998983742150752095526898253373225973851531926106316023969924198009361712362358454589483239108463659270412876010610254485005507636979976664787486616374199909218601236809774291441198051931223887291491864210571559041491476686969496745104957999210910135571876324722558804042832873848130118748208419762963223862002974310414949898832380571568163966356388373251008720824827181569940807762320463301145218831902965614379075354585824513537205926101568945328354821677028295443005326149155525895558851746726542202498840799119390009736579152005854865741964953197504967793247593609164414312975214973267317220130128093673777747158237499749641553696627825458067542716679864758709338003587984481856419665620212476937848566246302393041259320633123061054440556821717884359971459323585880482426565417552312486299432355156342844382359513180892767213422603174391071016518234327627524547627139266637607768106771013811481598646200987389489482232036476444002612896703386028808871965150885700581461925941794931989262286833698787428641998035748470037445164154556298126193290387918294968197635381878201859453587965123236010205667155550818188210786266310444407193377387749103976841962737299059650417674898174920551396940694928329524515178880299502399115248291553045652454581492339626518731995800606605603722364564614290898744472980734533213568189983778788486085236711074660570434510145054657109399510667070633090050971885841065662773380676587430101429187426553512392026013789265435725604717954695847365588007013972073561986068295066028044921858618566679462142977480452210739881829338397059045372646075846114528965366978423043882741946704688636504751583890130818766061045074423095365751458074467828485038696503393809182966527856640666084560098161475948876439653935975801458567109199345455140150596142918965294240214176527803260041682024117494182423616971101708267496365135140860142650572600047546644143449309446889425558351244933438585163169079636110610636477819094050720176396872979885750978037732337780469943555156765393937532204997814881112435790517746013943210994798159239956671539969997938295658648445161471515490979266474996490337864326128413153184611618289260396800526078256121945246671036087647614110293062666716481843401067020410163484068941043030895824848451993565389376561154203809982499503540079406315519375935292413044572456823350800000288978903797076155364383355044971330731101984990530081739753195142353403197432540286216953416760380293680088345740119790837182656805520025059518277534802925327931769847590927601520839750523193193138770517923100030495739024343881947917351810426959361252737069477545051784609409035325514899289233495824230315948215621959738145809750536324132141759980281916649978757128587114438435928038862174153461751958346722410419682180623365426010224130906706593823723900291059191799722674947196400110443