54386 confirmed digits of A157852 with proof at bottom of .

Abs[N[t64k,54386]]

70, 000      Digit computation
 using MaxRecursion -> 16

g[x_]=x^(1/x);t=Timing[t70k=-(I NIntegrate[(g[(1+t I)])/(Exp[Pi t]),{t,0,Infinity},WorkingPrecision->70000,Method->"Trapezoidal",MaxRecursion->16]+I/Pi)][[1]];
t

DateString[]

N[t70k]

N[test]

N[t70k-t64k,100]

t10k

DateString[]

64, 000 Digits of MKB using MaxRecursion -> 15

t64k=0.0707760393115288035395280218302820013657546962033630275831727881636184572643820365808318812661772382094407339691097179269990446453847536429225844386065219333047122290612020548398576433662343489843827071049989705395231226917848529903218507274354522005125732810542217424931317767029586377171448965877929118571617511540562365603991484881752820025072306153573457106503145899219683164868123907954938255650974196758814736254874320591902869577457241143992751659339102999273310798274679484513088932825130726310257008303152743086102342833436910409821702262269045940297055093272952022662549075225941956559080574835998923469310063614655255062971317960148313404503841687805492907298185104582941328637784284366753787303942475197280648872877809986710218877979777725224197655941725692774900310719381777491848349627938468198411955193898347075098152638657614980900350262780319142430252921925131515239611841070722530473939496294305264627977744876814858325335947117076721493110160508928494597906728688873533031986215124467678736429981544321187124269147141804397293341468345902382977472975053271988386946291215512340931334841526712825988330652119397517437992225419804561517899441213313555349094245152157337720540864293004858914416964903391069077239158225378137007134225157259436267756749980892097547020923938358076198570370106085596863039832425037481494682633055245925697703500997321958201037926268378037273021499168580036766118335796488501619742893070662953852922641481467895325340185006631153014589399140567464642817322554124276739871343784769014864816430102142673821103099429482190262551342893689261414565078351300454655173124597023403312281112674354963160553141145567801875089895942712157634242627126275368184624967147795406349712434902034403655110657336828783643528206451755699785097293845034301399072335418076018544901955694165639769553876705231326512333366413569309147544153147040751278651787331897291338831573491539276810505393193420241588397347561526288661290728125579362948181618288086569973506768636781006386650904534717662131801845803474823423298157834525912125581020582196401078634352065556973647371001379876626633998647899439636865809171008260727796700323541873379525993158697583430323304307895358482051309957606629650194455591037743888293996355687016945561468756667810137028618261442580752084968748790834555683286810992293714710797655441238658361507793595620533974776960070520467919307350751324617559160904358483933727879354374654770015405315934911669904273679391713646599364840768394803265618888420669169340277261914455191828151652360399692719061991655729677744654356588953602124646688591824365597199025929668876773171577235647694709665048098037194956104125531479498893907745459337858730796977515966494235608105257022978810125350663109530591734669918469930734550933587377397856349258234049411471938885385086011030918278312344618497246818765182307767075040597982052236224255617202772645301508653393621700356912690450255099693218917315607411892180967322579047180170212691588040910818933109805057252902227931659575733486175457651130811956867582907068883066723837899816837670787899360869933819422195746218699516733809670530135357903631293882837719370519875606291578527801296043186418096608100829755823649276027221806346169998542692832027777478286102979116280990177760284464151299277101106571545737336647958718244776566375647148433054675834244246049240504686922677421785867393122980814858147770340450055348706971250452311783103291070960442874005786179693433856757309587531165347866491655486207901573141523303786002863792972865839185688715489251955650764768156301356832542206804033891636152122872196025946652394388825789606358890573428609585537496268723416265793405419332522961262899388287613272932643580198488578410174917159464026574904398378971234285839661098451230709606672960619995390673778745129567435608627407535165639492342814598465513325229158297855621032058214589809423668291556295887639710813223944274544167064098025396411543916290237014533917149169483476622031228574697692918713580737506511407117582506728840988888074054055934499302628227680333113686549406661239659616820976280517875331534322694779737254088486125685747595241916484864002361545611943780570928984411850636638301876692911986568788899781245790836746487815578571823069378238812926865586054135110536907550731839669350369536726293157768346744826914689888536348280593839639957976255287167025109445684566374844266250483803708843748086884823875989693565118278311572584575298761592829286644326132928050305343153340295009519351250276941240999102097108172247762101699561990672658392475126406421957642149794708906768699521141796843009144561558991084217593388165600461619443309023081233134177200242449067379025519367627993751891259848132865170792298023534989757166091846307971735507935649237134095369073515522625004852361881197688473136967266486011415928178699739867900043295539132809209633250700991770019123867928787809549244848085823552628380482647071957029239246989790013207813481779922878178396640604845035638202002586563349657265372363599780267257915041051575161407978839505560254219847148069951828787186533312689134010191662281340947732136723324387995948506833756789695438322203233884906388395104930821094347570237214580936005238696478587956025976750521023655292583857934793367423766525642816539810981192629489311571647849060257913405281316012620317553415572682453356531036427669480828397622886673731817148406580692630280449926479081640764398060553993021462714495586831001757448073992464252544990083972011061126548589539795389516683888692889907424919942413696472044430689449440391865796253024651225593279414996717676061896565639181765662049174634030311211328441501618190528085618342551577790892808875775854364653359770206669355724552538891795737952132990434787982448737923176015481240298619918553231506835247995681218652445725395471889427753101305108339632778004366646947427598193933019005784671835879850755484042713695783539424225561077404010324081704039268675417114259323173543110142490918498216082315451914137797120154130884753638706879885591439745584277332912093051406179451641999408869841135689269669609339087680556571421902378820542407663415630160468324122352580785112066391476210129701445039509679589915643310628327728123026088023116406090213509321278001452316527462085975773823888536874897619228525034814563116540403768328732192274154248578282064124285324789478523813763093973403110544403402453787864257817912098994778446441559012136751169183629261969526859819945595113917622705475596793845766557337633262265645045339829809112542944936499532923996167659691918973101236786124706269720495357388623103422132252732518662755438604016044437344972664178584934544285525755031995909065728974532761447112988859970833372887954468495518694867483388315026244090110303989684510951839277846918586919520528951273123270073188090309392103813856677623068745622994950942058430463291643078806353073584689242372756834308639074025179059689616917279466651189025660011107870901066138130145827783895617962308392942664545030639107767320606865412029988067447703913450290833043769890335516013253427030670075031164262884393881143239828889738048569822510927881672881780775538054671929430215556239138697686309061067171077053421689101056536091111356658502837152328050606309945902430933356979768816802057754319268551613037148605946193719637740225998501954409585958851855225386163472479236013509692155285388982889006632567295085190178940805131103108863640493719060655426162180587185527431814942395297449020512165492921258737552491097589621077373622782792342078851623177849907069275061845073370789375491125928995069891535416826926116166869934464235851948595479483492719502868555187692193376849014659498705430190732535232117171594482094177789419576077855728376349389918105781609846088918839223542121053038738404028736475412986088647994642009930217412706119316947955306942344154042358246624860953262619029971865472777072860440972709470367679651890392608196054890981834956498867023776309399761560867380487193166580793617327316017863536528614014311431271932912574126672417812203768820779172414391384908760523110822917239546688390435722030056556953869422212171097601275518895370417124841925479662884809229389017176034003863112045601619831541316810399502475853575830921415190672319107078529612989486509361382347561809863736681678413503354536826958814683396916590423612609502001954196665231336193563298825000155241508148755036577891174745570894360122772580180263572959365891979644432146922063642911694695838159198321596868994360570132073078367191871117993413903078935886565641039125182447642391172755265687639879457104216262353224945186028498050595039126015511075188382253783248630851701388181161449925998226676441301733080038061311699232280176860277853818547211685138254939261280811416716689951169565755588378641287597366948984280249201410502383632880592061725969420219646745514172173293524540660514928104522684370426731471405682206678020815485623026954350073952252469465573881868012013532623137257216801858429288306621360409724294736107880670725953271116589106444902479198621852948487494820483822887126596935777703969331746482669822660347031512384622797271616082117494443897311713204460643650277069950285954148414567979166253754842199676715539266850345229857016416518684384021773883460331951344069189357549216491543019002670145662441709767228932087875236286885357050425072109480434937449855443188324141594255788000063529036599677376497564428399884089474648457227079255730799430486708960980163839348019169128363994662227930172283427279895597085760582891286558356399797897974518257254415621682800754079541003609014337630012783339214677464059264767074447404171328152740204166148870349797849692045301711672025460878822809132235598339062023279766094626636385532993394839666137519130965654247785398197550841089173176570190880507196311805955719700925143021349306185906520884629597449555580769655603705205006636887238895655901638441098069446369635275833193836223856028398223629613605335919846218022953977916766927635269322560676216862358842492768236522445749273035712229800612339417690420871023962509460364213382893282577764006589552742590213449758310518602930033026713756336457722819485464273284864753678004724650583195638524507724307223460028947060915305863605426212466590129585542189668557291479472018391034646651543496187808126857571449432773463422311345292858141417330259251800222088072036886199341389548816919946250152831679398532229866157207646473251695328229906459192025938465583715672571752669781635805433450026788084771427477994464569052409168362876194980831146654720520865971893598522127849983611314609486926483822968159396157903018148065408298795596677493270006936640365923282499999454773679781993105873598482047400909222317226170217140324996974455908150167051005623440623920526135283751558512569012675073271220304975482574815268861063732637451534562313392283664739356343767134383093613140923728796867527675341272849619117840023188876588042219034775659277282318766661989032775874156776735528315771744557611801004717469692280151230154319909283812138926516522380128993123663224092667225163417301424329377690964586958415994098736643541098333353256853288614279032501189991098825069715712814572397994064307423781448154515668780705883213173559016153568382015629222016930957301956779197218581619061741947554029394031689849342881366047546865242088621447937082706254836986182993570863655005816984995964351534947163992139614462133094871815882395081885565649964548171855472338011530700698909595241002706634848337645389598290829260124609588662419599098638041479082952636154523854077728686714898231062827203717953030954682267833955618229455221519508570955241961189085667060117810517316481747010790081598309906390372193615318862021654696418464371093292756436700775161736755945584662711843683378854081568605566678991722054276580149985212589696080958158667010619439839742766853413359135280792743618058112711560085552151305284539817495332432340744871155359544433784596559432956161298163059166902699905568584245278708511340227475755637309180488226442185332226559300179237100081253800801881772093750005823622041472947732472974689890276578465656599939879834425555291610674920079214040358791095379336438402674613937042697477577494623113498960865019594918737790140501875660476300136466238498508125858343844705301421827225712059313266350736017877577841749601746139159502818546059644791463454081679842711209080323828142403847885914483127154981586081148965753120914740786016443919688172555293174437455966794266298050398873342953372285042221998330943246789348175873213227758269965134433997145916494644106960865817330886927127196418583349881312206782013459917569651083966025900941880296411999543705226118732693548319885751490452227603122218641978563237171943713503837551311583481106820583749237564036526890408987060453490909377878578965747675521959241822072655459977270635652724433333465891715508203013614691837351550384578876536370275571704170657550990488678043334247804072699238822312233465872806376822049429820539845554258892148295448813684566314468597031781947399104728601832451514242656649540028866242859520728829066147139225006921099963863599236632293763914511727828723554554714488404290285551607456774248222166366695854535378564682279803522417846458919329595028341756775029091737958100869039699562164747044175456053128801411476518870228804701657326791908811407678043042858019512270222180756278668191421811563889669509156968300428709059687510959042090623878734972017305175016566295386485451318844575863610148086145535187732660713852146003993467019901332628398652669734078866219650212463649351017125932279847077948810108752565016145453993827556494454814195840260998160172908882284352769537861159789514440577750415353747392520990106858306343758429671924587937373124756549056352214790391900722282047479563528639254444527179942383999987138701574229416511069999145846557061769603166862600802631956988256811944322816612641902716204028341417765129495450591135503734419089547227051185480360077069375792569540917254150775201036365788989629048168067342817180406705262359927608419713445284176271994613406803300665982959855228529704733438417736916632896677351720981064591494757701931690566652126747895602914542673480715565942537894514014359899311046125486783625121599069177985609509813892985268940317862428017983462681969370951657232503302506070000875208094870700447838168053610786444859082568429253543995162689618054935605300285409425731523390315452619086455609571507589567322350854494245792905143487855166322644684126269814845310879849268632140463841783031338119287205493792345745172872735850072735404275068743305473550545733553910763754023806508304047600634859380186793259775552285920859632713380572001384356432814146120245376964556387164838982648660170259096891982813739375556176560106830103872981598794989199139474291703397194995802618675367678460219372802069762894799387405342033611549915051101132512709606444316369124462525167278788920205962912348661682425969306961073289318949458810611024023274969469631467503482200292654618883080666393586371068565868564206486236276830153347482915715351778664323771367526484083315257156051186379386235576873617787022396929153211192422997605227224041455386282784730729263753821538578928303642656060352021409019241503918952917075110872539591987131459764120252446432582159786497906315689260898398052226899306873989409190664470516350284564432665530102696725806910572412014029103674180391618532797861956462091644514109404418624535682160861353548274643525684330853872776414321487557090042442757007776717295482575349941124591899108834335910049654733789644181480461159984372968483155635250005270672187417175009374711074250912823778978158597063616254567619877765645124842958094467854241403981376863809925488951273103707496145289427394926999163958231842525325986222921756836366729771510117365129660301045943789568591443574430993933986721672705090319929860549309115907430786948864464379524384758113782713112271242388910311169935723208417045344498744729546925388856890380703635929941693496361917285828722206607288683394150734698776152344193002090654785829124830518916989290458479417144738058356648956718823909880297446960251656031118218026772961888046951646478644990015538099684004984412230182058745870557383439139756611021997416405544860765351419032373775904189811577741549887427353139347885470293584055958502948527536355874056956347350920466707983640702176419296107899640309645835897207708272668753312367136368662291007761493038210964223099159863665320159136554151254740650074319186794471549484111111755183214313402723134808109721777326077338784039623384867384275588013828665468381702376424713517259776474397889555122643768653958292786046743263033318964736256210941361157435048106158819579506274990789240494430020027419806148062597946078215347339598498205152835894006905557649335896911210634120803595690482345573591102292005856404939089420672260185129913665955210813827605004998715975326617612682495829698729833522518264620729712326651425342777608192235647536673799924298465526762569850155652096970657820529018208517274691742132702856892763649139366272237549508227572480532863600085926804138466924005317086540236320680368826189669299525050792369553973256927455121527281943021579209692487235389673750428360036425156759340214670382961555740761190431813755872804001886339342429096888283406066379481895236268626099227777385791716709837412427023439714245950512588324975080635332064237479556838376816703035189359020908118212096367248427439260331146092363454280322688168715542331341713364741344879195991024127597597876276218216425050526834849648784588233939945284713143748360939496834003873561739447737830347034215659833128994393394260292937930936064023250478209452416781879355751590049153977289310321160693915764394945844016255422858980228374225839456099072498330737810155136240880014039862439369103153178743188064496317909607467559431630287006617530356830500397682082547455831600646077329676538432792646647299822078144446580704521529417603985138667394708613628525530267031763659938118701722683716140195003058405220417652800063011024682218918176735371117406414557475448511722089751611559367278363165616337263532217549628505514343073244732297279864879022753120921943282456556690150616425078061225391036829884323519354219076999685187512960092922320696776312293483308356950635307077781603487013570327922793331202172073276374229289791460637228783274941334939430869013542492579265201816295047590789887617788632568706082377729224179676391875623827254386155597744454364892170029725981267570029414156192493623112071107786515809279831489235245366977731779878716553037678088278827857861820094059256018659833973203364295634715933631331650878569647604425079100643815222941241006584128263595964197885525440508032469962135076865730659381922372367293580295257153603109736746187432634299887326566312372581353754704790341993168939482796157212693267859854872303671594831696104485082952608533407884936256621705452365148910188857228452281690636849359478819802431126763554000256611659783228577898740156497984532706992509808708335632842642585176813289636042343090689426493461314139506400048358815664613689565838461896925236720745578410876397904112223709936522894095751172248687198628151120779828421076542973731102007338688297635666058086283552309669325340730066698392896991927812203896075395740241764560054403441972517038614447845372638644445687186704125078091202216181674235036681364462391233412593399340544910400700928870939810501138575422420790851298226940235731228558510040023376698840034523619010874636735470188070422188572872436618495553806948806462923150857469349869147312561736199531902086703932528045949414695083865394895035357249015652670349543226517476913070291419659084564710050638364769491130559550467560279742193940030629056586404376396534567871277983670432899723015153432904436483185985112411992903130598284171620269843601583816100222661496464660961287550582937642702016389011284533561920769957684798846252556926818374077547827416987253362642706218580459826170299460445463933799699973081508078707894923951707312147900808329350868600693821492630864682037071505659816269140954173426599630934048437660807509166302669191041762154632370647800988412225791592407476078046878560889001379049131442567555181715343270250950322056910063086927550317452446261972439660368392034990998237591085006763079460428931159916023527113567357931861857593994025084837530155752376016953707393305806850932586662239482552535920127437518429547047557501549410966917604459831256837439120229841888122933127258706995672883805396902300343996522273852681283958911462963604651663707110613827885510407291642274867527712619467305584051289675225661320367548476681889200113878036888071699854202831282296416722608290048850099467494764775463889825553661917840063543250990254841311661687151900152892149351448917283879658136881663800373743189177802472146736584375122988594395343109831943963095796747192390507433100128321240101377017628946672352355513588559431830763812152196008642923156906967509004358426966471255566588999720701109671384359725938916328968989643588519367107373436798235662423956234981099535661312337764347045464138124786246737199581448412000797769791202628994652636979018953539077775750664843830978333113857273628602683659410337476702532718825644269889790205471737656137870724355466920969476185450107521285651173936897199181921539137606636263537710488798655082196923888039515047550034581801005586558106945877194276133823160380585834275481657941954077971394693661706119106972658580392225782243171381693331482650093216333709113407254543122085321332971942158830312647766906022335063165067948113729890904801096215868955779434431872761564721249053507550762344707014741847353003760745223463617248867119655285575226106314675935967906594415943563805763082505598087374022202984492922868079438507724228355295113478485394125744399750811004177630605723658961574357815328899541651995764709123453251946014693829644532819639218414260472198716270033553058032322126265884198765275732136241792745673547074508211702161888128863860594678665917835148038673803052610882694714277484289575750901203778651888745604456853330318095862707786489215255019411454045598818962392608988051251692901677821547987577104570693956583705881522173641286906815128947777178523510059648021353669062529400718243355080383374585907455798627082728648996856381806472986390409716619926685207856453770868386365655518624909086431529689879276906828039607770602324168466623659286227382603980889273363438031930069430361566007792031148803098086076075135819034403814729076456062519254111701387777441032407471877792026075073882791104270736440893179752022054528644050155117677721995190546912403421432438870928968117483344809220819848870474899797007582656900077414935992156795708559074850997014407073733828208602289786287900146781630944499705724046205714128613452151610353450201470183387081614114071874733575389657743567560244582077009533792855030443219432883153165189829971144403684293841247964825040119332939149043923790003927190863738161128072147825737297291592592348579142171519749821836325910055606534421633267072359791173596434266760436952536906957732504296059102429633528013201323954885775476136410452720104328312173896124071872086648956593069428622678925548434460239367046566078485279211147519222467300739401738284845449724443189594150173278709350851285521700244405381855680762608495906363451506255180613819884607562502106203406297002380584121893489622938090870674781456471340450940188735037973180787699452476967591361046865384433732286798854635828134593344638591088106063164622403308932369382612025711299677840213623022267074720140379751201641690041728121629216136485691004064163608065276094655380075293625331266558970918558856353504204039947617049161896678312702971298795167292819385246680975262689201459342299128289523510879145628296425633177697019652057173234633575686261502574432339772787646762599844307595718434761737271018632122113948633661919114100647721642170775600912305823965330343708851914726898327224180667708765636995939505229202497292437999012091179179333361941197172962468859282902707270296941193696556775801874485647168576323495854993702523728438945338292029831638009289288229116302740980249298316431621182825270823112428975433853616434308875850337916242050505363124808263531855090605396610009377751603479975448649678309505293621842878598610609444073112117296243693743555162390640280837974253055470421803178395427928793757355720769675832638150808869750986476473099913495611007347526586820080841001346503252977063405801955976722089870021814646074839474534012705540908188672248726877545492313721350004176457421840543535917061126007561743408871178390261245721868991654371593183071149630159068170128132146018567402559761907547308758917554419950110697643048965097078646934375727576342224712211892607321092767967830498825367847833008106061288946512947052400826020867618491646868393937681075403978767585334653737779178507354269862841258439560527951371674921847190255362433875046005119775225360427160256253612869539085334231830943601837919900551654564669753933323756209676513736333626126518145433924591588369761914801052023737715494137151143346532514715329105648570443527211374465268123472978449573449927513248401260766561971581789105880047714056224330010476705599238722318707532288656905724884136198032201361598992948536839327643153315989381325037619353247482132174337321203817503704249300218026208457113124399941288876185091058816963556806744185830176623238914552024779887976337875720942226395336727037852163021931871293726236869489461021821630547374383564951427394853018970638838022914966194917290762290176305719356459124713133951801454855803295229870862860825707797202273948634187235938997452180540405070411682617168809432412853957233041098062694922456702905010154077769789748994239012834805511951274429591865402525457550403259863510394167449590994552088696239703215889907685979635465894512116614637650935738579209542910006443112016514434055442213575347990607602564424117977599861195993484349775345571746872364810707090775147023525926213062361437064426059893747631811037996357032428143470399452205679684377155506559213673228280739752417173372365169776596640835862447903738086947064723349489603950029422173049969283683388117654962780330964111006076896137163086519562904447816996326177592874384295416416927963482163626751442719135791021614164860805804978715466942789995991745723994150013656553274303236273687936937452099179557902041862715617578373767746454266341067217786455954543513955122615877469938615340577938596224151723842336115682893695717757265537167494013489228898000286140841697310904920076873652464364207970733273761901563542920152132549813140873463304503374221517174107177954954976816184370006674214388866552697441462330889785691122534788602973625513504838163654806453771934903041253917070810513888101638024283466308982685893495784906085914606669227108136319912115330047949494058083793698572597520239535099473253905697325558116358870271507141330043360574791249975670978430519215124331336825561495646922382122794191272078543436884275649106325092208288532512937303898325260482078195836636038445048276315832053592618516669724434666100334041425958353507345963347184927567614711288683278104920488384877274404446705046481376687513842063027664008906699698008520847503922370502473859366692841285594287533314404709744355636736662623903742099161569751928424120590427922547575824505752388352995848717114294309155109799465835117527730406552178795220550549144418544339726451212713722468957543595614536474726694779419030209598478743301586715120366208572261148419327420923752134250583651261704148494787274771817865374860695918539811889003142669861253675862366866088527046763477522811718772296035770606799007002341201424651174089408862996803346658248853151112304993106410211232755336886136479210072967702762697029054158742628625529881120596452472367184249798573189539101319533836611248099538997375634260727798655675012798695070970754590623195020814996090190058617195333584825755084600655372018853637121437609815143586001825840043951046854571455712132486681244449882249509572951720782919672741341814086084305913375684550722026266064039790192186701423631513760195524366485772174207822757847374170464110208510265122781595803629030401101462723314376199450401965763774951448349255476975609291623610929449291677457838024612536746571836909522522615102951296385956850030777247949276745705180842811920949629620114142535032219008221076498570546886266871410417983824975749014017694598834143226996062245383865394646764488727309846185293848368040601671380135057336885733430604851638242912936639069640810447212362682719987838894655189341945895413819443607814185954361853431478322144946311620942448322108576144309130187715039937205614651460665730293121912841896527562267697346915584126401519805671489089034232788374897935294224579950801298486273567691150550896785099846544543619893419952594472784250722270516519131468545214146761603478460831439665269396890428499148107883276877749204187077656077143356720296061990548994528849463551022577454655611932869238857198751150303398587494915301259824990769212501383201630202583357854423174385542588832502992862830188921992419413326576465649612437706322967381700800974352533395300134751481106179110192601701097964145527254724500067082757782075689118518701423148859462393424539697063988788849936238578812356793921912986447744407099059421619478008523785728723933713616762987673344145094426090057080690006413333483984262536029740981576955135914587645912883981857211084146577194975452574751233404192230154742920028027870087575537754432254347838262339080520034949459210073877684802405577973570418152257526270534300193049368459765283551427603567019944304865373965025096184842369631607780224195151749568462657581139103549109911688587766341990805693312828208754947367908384230665189161784078309915493785697348154060638807822933697653222259980762447612776386404517436904552594904064222913752649275672463882293344094800972402324407395269905818047999537415562868701155339663378762506111235260728088467452510234623115837746568111463274426209780082325252846354609441972731123464895739092321947249664731279268093095282896934253907067030032863376706140515725659349196715440474050639791883086280570896272370212968496984174083709927099134382030964732637447095314606862979224301241097542593264339096890134797448286089981773081607421076237256785710563135533906947366837032184010946003118911763019020485076017073144280225562710809851538183076232619266952700258723482832902258356562102241104558948641626384804837681967867113899396938594988621081973873985649204975932178609758825046011063482100303955913677582587394537928989557498936763937574744657669318605540991572174386567087590697534380447489951801928232985225319731670375017897348637067471823654700030303049257370753098382152975518768426729704904023777096045025473609708377036997119156504428205365177777399474431133059960975029557375466629588313548959878582752455080636500643307908324771518639070726523401815061429194613839439209134227289909757908230690031148152557465006880650600131807977626671615136780162600249727336578488709787935453442875794545304133849654057755074724668895541453026338493039889047338096050678223946336010276642347254745826867054741713295489214242659123937776243717944038541156658664886722097656411159287809239349730394112999226821380755371674370405864011922989068730699575419261641278705073314092873709532928281244678416573833991454122356404443427329993309919009164373116889747541824231681691584535717324815635762707874625192208017146289884739706337191903495899746900925886277914810305152943952912787806619544980690786963958101624729724999092604579282573013894950071764048216235459793031703111267235504174145199574168711969866208954411412505135736407123177624816739843463728017335601068750251918347831293111601410507632957854654839869792227516523103663636310751675068841169774271934122046489377350144708657597021751690014609001881085157341602264084928059897084130631600956236342775012543070521919557014790610488184360474565206646828487707131642572217561736135955383135944824151780434790489376277355544017556493645707736126738145554036555616463583778005023446691372774954080971802282642956794424390567922853663605459043392333375960818232785280527313941309688775932229352852253234638964074365418906948525860626516115354684451551388811088978792874381470938037656589737337593851521923712996761152838482722278355237718062029260395208117616183433093664442587874015135045438607866127603918916050053273459576367069510553126944918109815863863214218447266154897988801982045909880468626445664159574238138428395067677520157325888768671673225987510192381880021634081136558696003456167324955150242335421053627002874757991699212748542941266711270519599381705207807221410910633600024745242861536765200714552531314153727366516654076674283704654858444161825740212015310189663942184837873570494500390220423411648293568225145393521838658337072932898833825494377888661134698032134011939967201175222364509978870083935139649988024721359719924013799502369386041568300002161862955666708123081186878231029980251814162553138377681065061486333055326418291661522769595613227485547766102764711007845032363170047855590840589141804256006008006392314230187481501295101445523313444528560942751638997275568516523418144427622367379155116375982048448565608202811486987957912199386040212417735683184288605480877132154710235064379913738742984663597156351199028159943094789499931949761476996890299060597119728247764833511013972311584962016832987184264900593908602973032946998974197181206784781305645961693534542735741382342449689947413062739677069914846183700019736295586244625434616493480588010458393270033530892290763776949393849005657837925874990620134649923847405142574199504660061643481720366717880639983572725750300289487637386530641425397834127246696434725732428222136186998302836537279874229715096467288798950859410191338709062273762250727166260488810952650858261032230916019039234384498588643430534530684933840478047184593859819905418646765118424056633889080118505372264116967052635950275952390446743086159344335565954932887871476092904359028875572543455778601438171485058777696065528786015388383383849367369624138128456308016171586649241134224039715384346969903205485229917096722389415965394877746326650766198105726598479203174208396162577956603065863725372677065695115406118363367199679733080653257302325366181352801304635191813385833302965155598305612648242283877574467818216040207331817221864536819300736520992460830658646957235658201261537937035206774565413223004215421127211155746912066127139555312552887798775046394896014961550668933517419072519127221150540189431988802780388147724500275641849277600008783619590408923946640451527864820000342637550120939648994118544511845290204256443191500337971451931953651860437972599324350785429343940680086323877481386551676727553107615183069018111874326772176051258687856891104208647008172082667824719383168071825717757874501483831956527389162605403510594894559596288106449930690514060335442631524875051903633078014556248164264647233673219026466185192433460360727273184229221624696247352757984946315072248527938058641834249101971494553812516922479101534841973992492458849575952772518045718933265849130224758984368087288667671380992774697432632649191207937965915496646549910020813130305208895352255661762933735434186482127455045647401354530947722850674797122775862999382256695325524484225008939717137918483034994123710125898877515266385452664284131444404390783476990677381958497629307644233148473922886730553845472185011783402424301697259808974822201330607945619711577254142775444244619718139807355411672733010344554681900773049939440643894785854382849029163801917913647744210019980290481607229255511143247132015813860138819941301053257406949234137720393081050733061195344840889776249772479073778099347816627048300578460338695192068956957342722062786883295105611366439786083615081228923834919332067237405946193289201183198635426289638723021130398329096222172056588882424434465093935287817976039929946028601108573580713098052228003421290644125850212365724701889600105741852887061761328517869887640349479362988503916884668471194389555567799357578156744578946929190571223174898621256795180500714148131906080806889297042227476017073056217379376718826729331745754214420164209662357155844656533217372378276562926007109562311008158661877470587613898166912779041955560644129496416097241822349316875818968190657878295086529111194109420427584073381890312096681967454334116153969366888806234884746724484158729512627860379826611015258839497494656509700061784571387440062272631732780439104355841988460191306736795995065366093391773836217311609639715199367278507437484085763081165185657399867360585661865723784985476414036821977151534063933106047012089758384588317159763618532806247171888819322483721756665029932234547444105193386589584055151954980872966938956134346313250945815711559214867826689314921712053341492181966250078014283319005690455701227725469836858409145360165730851557418582567142892882602241563133110350687504365290210770723867291046339744485907739428946167552534586782935562729824883637677235253041911318203222374940042559586451256133714480398301104779790557569405423683947675951429692169699325626106990245957395081336875589496720333345352069764537127200406796865694238440411054964087031919439183170498842180826369598747767842229045791127992948877924640773239876082033661310502591905024012605344791207060126861366087050690106821440186416890798502708805971160774711382800633684699037653782772326857707345395993805386946342426080372069312327269084763013141354052104457632993001286491987987486292703765660970330549469982286582941288156938096043164766104426447737176843079136739054517750890039352319983556205368027388787940452822671185429167183431705900590586338676711129122736091233150713423120583054622723964961669904362378247195762619744712297444988245647141043979273179103621554924775972805459314410694227454942191282378504988477943628319635744590704474600061785561502596486194535533227118746188691293466799837696023110304067163270211905906799664743440166446011158439920225371118022077044304762822851121397156376669281816451971676747678812722658199328316029406256952921683283889280929585898217755257236197073666701446176396318167827478942030822833313536173305509849241238531719584384361670158112933951186335656052873912758595032413311966860865209241167105432598378085858805972824195866799305159268320341491112177973253512094463015791852364643070334531938597928953776486193958654202116997280443889409438383714104464555266854972167992058979217654090307829608593428470205836731322176684493233105086018652041809172164013394347074938624127188646262140079469581469017538013911759965518608770531125919330171089737981108739174093463946449121251370357883669392366861287639593109679174853954794811541848983318168433444219014965520634009230534276771178435600630204637769403012243948619073917953545899149124706667669950204978603846223233980793118702183500369965731426467346590354137696086010536638626554735095944339201043986614042389537591734170966291535981501904283433208052170990603809163986615583383683470805908606874149807731803316684544954462496970088085576989862006896335025275441384030933367863146060369721274271043367220940194134612345186992770415873398312281191122770608524401543491799418530483994285821024566750257541504079538244683493157316862151164217197204862923147917467167709315964986325993611874951573118491492638255854340558493706444035055881342827000081531795003468729557022278830373853719500136078604514877047221394208049821498156273265561290380604086327888986671051518908452935760754699689832543821478137043887921339107000947778022600611841021115901446894079606543201886067048077025373398062398697048427414863306777259729257242224560048281197684122385541785305940244237066184073520140106178724057893897126023027500721057670326234577176967031959146521589155900916384996743085023530120508143032420758721687494306848734017745458432973519793307363574751071797433137361717434046695539895834013136071882340493438577345390653511341109503738952943922969122793206672544869052587644892747845229822129452180570324164978667821255955145763239600929532602062608001751152115828027135497330775065062853856016530229788140940140841842865358693012701091963329846455706998488672771737476843212694897679161411870233629252985833190269474251936571154299489176424882725024466618133175639074954197977748655757721801612832709445430275794249375789027816682077463241986048585551919662345354648101244487266399354599660738860095238239861831150178698680137969627206600403115956921091017587765279365801065363723799934001191592689340726236364948784285443639427123719168173428206843912387982559527895916403393382589538613181022478587620257448921949142654746204527428633286059572268288034549370443650696304988517584386374535900507495011884140622614722871291558808527481396329517368902312164584043366061950889035771818930781931217123203391449959725846295520938145278807978305462510127447151906410061504243762813560176185842177287605438139095433218925722805604490446441269479603656075697051743441021949033978383100379560888170752820289733349753277443622312502905512590133706713820881336164460723280728921441801021638948860473163608175239744896088083976303094145527905775894382737628943321432288341453316301678094058157386450706489077964404606171610311029499652664220117874219144631777372149610499992269982038971302572973783552326512904178867164259825440610220273346324201446838992105298437922367852282808783241668160290438132577534671253390846251813322556227680806203400834188890381386879070322449522758086605843634923583687223534565252340075341801341243340389048672250343560775162027506860719475046827927952653793460900225494412558113688903389020145632331216781949096838861543665257215190612356918433253471238755619926284864759619713602998001652301724073472044198232755092596901871696291471132892071766678123395387223167902567082952622863367353824414997781261994981698944417906075094521991828549782148542007819278896306298049991656306624930647226138016158960776198999306213781316211302579611178906520494296378036979620409004571567889056786173669483829328207497832094147092427567733654028279526316293461713480682851501252682619086140171919387121189529066273110252001840932818548903994053838537817195338258186326603839058838304827238478796331435428197403209877122114479964852632170271430805519680106119289602899695387275538377748051088668045808404402649263432189225312657311878728337518440080343039669326181388402160923336733362236873565205673296354392127579347930268749046841366374349847092857884748077654481746256779840554051916228402231334195073669017148537515424129503801127677672926855577681143122239653639897849228696683019472199053675732654821183373236018681274593357324614315558830708866157340673393727930941172268210140625304191845645590193276501466806936456318011799776905040664491484252018413163320335837534206564398348074760971274983765470608771945362714046156782407272987487765364859328080448766311796019039043610773854909723621395327002072528820508822438715843332754961072788390956865546737471674013272168040327997651753230088124406642696918186616005699757381068628455237306871708375414415615142769978086969206828918627940273805176775060906266535600313916307945220307644183234680924519569978070190166199446776493125947485350483499227834927420114053962499355814668610245117889564046552810179324927308957205380039061107112768256988873214424611226434934376122905930708894142032321315543172232697090896774040246166370130385952331120318356520370339999294890019146156183455537721321798655543244968786573909013364059246873091648391570596383839661209609766002590132347097640428377628939310140800324803722279935422284574570835268737846921839785440079880855239267658062866247398891480163636398478089990121309747160127426973619633183300235679737548006772540884062932911571940670790003739311224183211872463265491875626645252116091625711812010109122501566470933997126944866709580570905183000215563352202240897117996710276240528272170920571380729530675812143806633868905982143456802933213925350896297588277304793774883185364302489630186448808125037450274914261827324756371305204826046627161806015766935146212720190705467769062690614787926641282448308431652833342177148827419320782571082056937292142774734079170953599634779629153424149403065962357916034895675309655279192879636735352240486942092227188549801566340475322975857976471619705006230676007564182129503969984143566879680323686664111850913767765415171103481921386125576393970415202652231397946892793492212512097537706215054601938508467702149760040680680370630454731240506620978423622246759050316006875773410333039888970763774134672156921878129771749304121464097339887786048175154167664104094008661145586989390442794771671986608408036317956030116095798665112301646931793889147870133783280468279537599952891420875388461531209903653580580589152847947584101429132449159625768953636144529264157267707800392151223791108365617087664055187554980018970059739566845415677594059232292871592696748437513387155801104179363877681608238129471533486919114937592581414607647272351415417597475652375930017737851310130658078083302187853170897539998607766539826080238862702485656340414980938644094032532218391685589123834507189035339163420835567060911284616706375423722866837112434996635344496277833794160435059865228161971904814907352025701682522589815446159871132694038433920849938406669020975565695261335044387097594728197658612420071363253319172974320582738841524170410592929604558637316098961530948076499870437014862842629241305470339776017081269212337305823827220461093261249188566526411456341055510592006418800216093296675618770051156325943519658159502228399106770910983437887084261405171688901079186901276542343518945877971591588083871751067519347036430720528978418295854895093381872699989660507640719516478589195083100779110107453508541749363429000343844424497316160899269927070825657117333684758748651567227187092942787247264530158741717036145073765810689721010235216500430676728307475988663755475038960913049247974053400042751071455465091510161102407028972251354228752760264938081467286964875899167720387202980112819741193742334090210412589600466777342867588601461472970251559291234804139986517635245911802453123697508460476515919028762613259896689189042556929180368249234946465666224923553352866118667898348274132048543997132785774220819733895402877700446742368413675982879193148371502186439247518622121832095077412276452153181025333655238004169469807335778765132060482594204504932308409189408063335431452930721440662546992733632907709651500388338603942024385592244882812556114599054038178301714690772068199979209078027706234396250689964476554856621562802123930142944238258418842227234980980673048372518951947627763643746805389640541407036126876544115173066781903571583252976764572975676681239634316455970871115157670164278135805066898065371039866220174909709657409610687564793896401226107223880613791502107211952531626332659044730500927450638523098312618337871923712185788755964055926346769319673507910834432004952163514829178032996833974678606492678317404779414213669629129623433198076360733326336787868540012252502439084065501473084146390408161010760133318257298733635334819071951527663616982512415618127388373377450685697707965456137612033400310011009113910008924870744808152225420273410857926159516046458820155155639436169197634722048216528725745076562404874984985158818582738264537504397773796547279158422754470624660322609310775198394890739399843078339626458442527071348870573809173920908433964700100557910729047533110484254194471368161341461861315899566375659407905593655291512719433346079874606854648086607603770035511988184971263147522649434893086398781182302474733471089194109635114216903775664961564950834240395213166335563959536775061261414721033361877881157931048431060525415314804381990570957943085835237786357381341369624872926989712860894289622550454441085320895363640559374808995245413402144430608366905970970515662437174424721783152313455022806504066913253818320247789522333346967937333796292127457606133896372549645211420139264638923603429840273430851226071044194097997515719942604369906312952199028011758109477206882434045557708578567982725951018759963245927642817848368081555785273626407515364272244500501691817410301625137835560319775775033387947203621566312142463180218472312962488956634138360978448418957535420772926249227020039966575595429667941102104826515046381768702480340483274857497408974850271307919998810323775603777962276131068404555610178278753902668792415289473080631027030613933580133820720449550791625560058513947474021022257267437449319969439534988214493007382809924086605020034925922582606040528599242312374811625566865988298561454425176696291505838917893809701006776268846272751394148462271837085958173333567196188065237770334661110460267504504309629522783690910305817380961877017810228242643173408707655445253285834579931600153904990857281283075604627341508431364342804950119370531540942005246831321259279076801311818373084014481394802832443642180569320086488449677724785365774568499611099048231431999714172228410950254278455465759530353384580260000987801157002766680628242982522066281952244504917218353081877455637837891927154187835112604092227235515856157789673876062091088501359420889740294826139026491212037981815948116533337323086707779188890691245639257606393555820093522866416224463513727870618089352135633999355399217593308815568972962846816711424005717702136513532063546814057450974284978429354327205767531665021135970579208836435918127521223382483664413732098991027671005601282371767379098453386721975761743598046282869316659107069506760668122121267075715326739423639631154483544629511634676775824036523025068681426274152040478932659333363910100999585330983022795011951530358631802690814955899142677220319150187314481694483962560587265559123780479958511904352381529540589694718082768912545231506987045745598497839748667642922248903553765044738075926046036970396187741974888144835319803790963814313273398868524383831666417832117068154977953827245794065730008045840438836005051644056809539124150047489123358897655712525423498263165001868535820527615214984081681551762428483771071658777851447396429539294102883741979010914078884126808671898417430492539080703475392045340318132366824377772980266330114272102761045550228546972384258054323582597510773036010937675875015171410473278185917863224182823412650335640578401203673531286074731797206923781217858245042232245650919113660178990661940166951074863246062216760538395368891382123122459719929271241135690432819228388008475287459812010275716347131039593222925885629054024716624978401327569178158696384528631993067033746891006404105174494965500193772486880875805553983699105776144020460857098528871499391380325607360031401679025101803111065729928805768817831258648970750197484689762075708462671884663536659462294461873694131874753255944101440480169831771841377085368855074691389565837043439814831418049259774583638846494662464055088275929610766844079248697034484759447352452108544536949022717381108919851457490496755549458366833488264215356602870360943465960603548232622820808691082148044687456517020314207416963357309251326008261819266692715744864633772194730882872054811675904210028802458580257930789500757553127753951686757939696251525119336436016479289693627042431071392274170962657534282166295260367279274707532041630826484275906439559026316771190185232417703671281784819046647373113014962047474941564719238893124661735611111699223877286628848597376055355225441322401526084563153729732229095327028844067102160016169508423632744241953605541039558159466794945615067286713726780061389792267568413758708137610705477629258839449371922533257411547659579683638001919308775814091963862012972898081519466820712190777756204177806410094479811684834069651620771325628126363157043448039365580009776118620763244767694114929801817256988701600533425923306776417918795130933736926042959063634930342724222595015098145659787625556628759955928915845713527579983613748425767183427680426688675680735367751399049853203257464274799343043808476644166897015794081075290893214236203053523642382230052529792483081798826098994656260946335745561971515855490751246697795218663338423103805469860707885500064811734299596257857024466076150820672395668856070595594244702470845302908396835336221427348555406074686713811971834606422830541470325558411502452160173838761181681395203154731942608748810044299721997306661960639201492961280983166548948665220669505742088450012976881161660273870787394505121524222084287088339461826096172069269002242984071274752128215640494189969822499450859549928967733616595133309884159277072423966414178025377436609760793130853438214116330042999677685078415457272386084388723918178950636970173573829867774533005613122718510375326500358782335546746171154001999040022465108119309602716245509241549677536893994468999152440071270155449935087264401409690093365650399010129851150140381759278100922173662004587001578245738093716623045462278043017924125130627133502844526157942827528064949839246291377190582775901146155786302858600823112761457365439377094626767473511267625339526175034716242872664060325847638888677452416385008944081240512140977472788307721047091174115965428589856018823232348789770675925356553923818115746180394475398762560118419526980759183866848043936048723754570303676097371127697379235490838193152022302825202713398174810771597565983887438959234570847469746960648358945287579383306287214592644206510468440071755290460885392026877251274283222683662400757227564014707493750755390935214065681907802156642128864518796941964283579459522195031653864776602622587134900336423466192123280372241680603932002744828079960620142724035561305274885732118416101805797911696603981313878498108704531467791327946544011699466478814681105828580045256868014250431562158172708241004431990186147904488687587074015911713042507719738766520383159180471232460558739080712729028555302005009080333534308023826411962521279380497969898017345485822648992875709364560258568529018361805909641861512225147898714317416583431376651971650117053448047749142618881428921555899748879889628705136289432038563467622261263650896334843018195393911549786147079199135919451796758013270043561013157355656955841539592256212884228130780188854265746331355419937577916938861289539483111753814821969180627556040693637733252361306323944584679998796018497799612052631966717141564611244821974099164850888713775050340208513168891629074801333216944128715044466157419906026183851183069528557885904707488926385064052122765303669157659741995003955930178677645299016447624962107041711693568865409024099178170444184079333925696962931940551635564826632964318130117299887976282545471542569222032512652699758591902533793170356585103054756610234258600406259777307355910517886285573434240597691656316060112038539761945731059949686775117840619948092677069482969569881025868433487697597581960654604463190929407094492434817924680895616258723526534094921160190974155871667013519562667965146423865449983102005734808809837599973656451821009325819678152701955721231007614215467993755017254070058740072422013944878169714242523714154614648016207461472248050882075649740805823153879638993700256307377368464956284145377958561764741777594783813021318964597580226539822454138492661480495134931247252528709237812083187199241537758299936970176151491079341372187466329832874338861157743603830900723790090901009145401213791693130255292882472533140869353353987998990659459246362680248039426660063402189245618790231030761565138469490079693586169594599999682190098774029243053257954605427140055222875532730395417395546528492977808322977976735256070584578210995173330177011202780028827667325947325450659071257987284340868475006344021445670308516429743728720914496525796785421133118843679249140060524835710856563591994469219962982447312573003883115378374441755791698563195310441334595175775056761870883021707666752853046510352806685822746789001359469589179314983131726094583619551831951929477208387641955484415748403052969923798597408739531009166257405923442097171014638124498462339077361846755726049873590652658735800490647652029839022225690598198147283003212274920145384519463313346045550451178782019511462799349660394428355135523691961087289963155089795020801788339119354655468440334540878290419803361849265224120953747618626320087934859576042841755586874253532736726182854268668692543844582483873644238757687995001399520960311783382871723633399736117090493450518824372554757069017954146492457928003291660175991485037644448134773993748259347621616631960305615196835872579873097452451179300968109934625261630938548511607251391669988394548898147751461693872732635842724229687132494430195360303415367839351080216635931186192660270563449857950378073056151017981055656872722797180668706579883522029141639760000007790368530704935670468470772756741883030396152625219680428453976047056686198331647993844387797667069376057824268743806339875681961098006472392099082458427664690047799279579616307722223502383783652306902626817464648403781695798336874160171866982040190062346522021064674018330743926414448324634991509950657702875310466488129720404268102254595674479037111965605505849480381252253482943230375947268356464534290797512381627603114005076019792303215091859944018081709041963138089444775502805847596569482628391405431319539387043385892277265524409792827121552488063902459946824100625405155369642333867746532843051599720448182212949081542762875574310657225723919049996093799071597431930510521081933418869146983626241763517530274926599223832602640126412057333541503750081399703905640745575246295224674964849083364393928676767213844567513100507273728973808469457090762924732488979113818027164157057660787388890872741893800655685623190967055106047440445276856861509479095537651219642795483474096412679855183725990468732535635061510874808362164586187641700190624565465102404208505380004595328403739018155346737515771603299835412820570096818495868094792996038362762826165781757395556997403555345995488468116995583791818793212994443459346258029038770776120313837602522800433915328919109012066778857908245586285842159435376272361627027179997020853443526455785485023218093642616247653410597938941925088212131899164203160314488314808737334095906776167990605962365894432036799240440598437197731897301951759442901252400346950395534274919920371800114033157173103377853987523351801636587742378417549603916635290778772582350026101378851299722439229127727026948292120994719103388020154957109378505750664010497870366257417567260253128967075783153420269214568838696273192555639179188456384974089061567855658284299412732349248999648901710566557383885720987173786376216591665629007663732603868832666277192692804908321487970094795725046479318230670304799224165162821376862965991392639778064063100101469818484465047107704805175013801139655001577126111031403967319925209435419607716494277847830720711873589056990269264251679939234245131782521804359814812115201241132188725220474431341113741217178533690409165261651673129978776927993121921649521091174273718843607079615853284485180446583834829850636141356873854740134080355702969211431070998826858389260464930366402740480916474159130823634049294452379107046103458101832774430602565312804485592774931977377324740053811192268726050119664747524795110104851255823030227463971537475433095766719549758430020648862703731303590194209982736473769925909898698480671135164482409535851366751068737102083278598121978232902549645241429444265584609812472064730717281590501682880338539676675426669319725510920381767580660941219817300664124450069703725895349181314323462093479081597264868008740014760592916922058620122394482696910287354202328964783023755008648693026046135908404579504389969718749620934102096087837493056603428055507338754871152671797739909088954562134262405946200204058012513349416322061108691008998234646668291593316897469951257439821050789832859030152076263993277471726309012430776917848551529657699021397242173620828654796256562596046504530937471480898963491983776985429862676237296209570115324322145341270824292568700050203103495249420378243286968298480591746625183307802073358353889595152050364898079366217222947625968641372946195611784768811593255905742785429577599113593950687312395729803533455335235450212952844455798354575029843408719054130803182569904960732285768811796326986536642727136569053793332520979768790264336440631278589368113764475039975325678695325473504669768764052461212413831732489734900037525486238930912189866734637206385350191359423843442989277928954597517320592031429449566656567372795897132796981481691533274188204902764506276092168222733682038522546490562981532320659276282405158286883901472711398057024135999015893355693493355330029212237576259508312674227770120220468696993495876761843307107931430634841699036296570217618563482832150339627218692193131739257503230603702643840619012600519775082006789340705301321983467360919772593640487104787909153508585725290285308483292268659892355626806120562341527001210422461487212817453208369168997304374922472912591482931633698102774294975248755500638467176458514485212933814127131883287136391887657754161794172895501897636707153807933601182203851096059914459891504021303781483371799656697396092958343032594158929273439229599748683034439527566924092880563201684327101474001467655416494017168041587452426425214532298785438019987432409398567280409755288963731896241421420097102290517572716927338529773500977201898269809005504764531346505123277776010441151649293848272604003599720974858729578131601710418938492694283016679874086930672893353398982402817383183616357095124114162849350183269811352124266472339728280265016867425664483296845117248882232328758560114209540665761178465937822244122582557164625042079904997041380016695386532516519843316930424971337670007415678004438897573016897820004037216299204200442795002237114072568040798239111864825586615202120762222207308766489153633211360201890246747753157240584154378437250162475915123060298692187905393807172914634799075873015808148874766540496917437139934590718977355707860968232990151262300200690644173576474935272430031302964344045401127591884133388241910516557466111503935127194437826123260722301273869636931314785436057634115666900361816516155772499843437809592942222913038818639518519418846930873952773941727677636801739241144075922088602281785686073971093673981864705125772397297209143464828251246059331340422430000125648991119764632084708592495645572861630786850181164484214464933299633282937168457550866612841725273232196778700335777397067619831329731337123899562636107733166255999524215071083159569685749534116265416184092056716067266510733185025486371258372803956378624366997525468647892813663608482240121836017494021217725851685342765829311380560086775139389125917447128794448832650242660710281417151427039496674692806281770084715375343525740102922431936016147849037978328390732284114484269717240511971969020813849000185208898078194255176582736113957691643654444005607982869831600854596462806804553891292735156872012235646290322696747869352556168665085517272080575533155797996748119422375372607270985996101560957787337536517468162822373062918546474582235816264884899518019649114628648665146385805839137157036805321346639003760140219758145390611492560044431558372112142865291922125510125259523714735364828814936015120515783479646707213627546658774923618447502359603706711705184364769729077412731006011130576073337703069224538258446360603777646609753889238007292519092023382282256582254251061687145426134737039619662460292280200670143302633213405716990006403189995811637441310853946630765187463191079853999605276858813451437650324780132478543863819124399914145662595311897092616858588974244549015330179963605056178838802241059115988242649001042140812474696036243290794342010655316960183540988697665726142160268908828720619294331868256683765573214372341523066052951515041770649140640695212703960235436203824213088389732490349944777760172804730529630898679225723209036213851470912351183413669401722783063374167252302414595735300885327132744370006509456160748440084222811890567821775767569073730662499194873936480141211195566995936126941526926627875655243469290147267535971307898762920360702566401167426832186747907381833352228297022044737745276190101139138418114237170936-0.6840003894379321291827444599926611267109914826549994343226303771381530581249766381509598342127214786722379645160914886099586780498831455794087390519118879988351918366211827085883779918191195794251385436100844782462528597869421390620796113023053439642582325892202911183326091512210367124716901047132601108752764946385830438156754378694878046808312868541961166205744280461776232345922905313658259576212809654022016030244583148587352474339130505540080799774619683572540292971258866450201101870835703060314349396491402064932644813564545345219868887520119503538181776359577265099302389566135475579468144849763261779452665955246258699867927165904920865474653323437547890996263309008000635821390872899085050267595499289350292064426374257860050360480985983040929967531455890126454745336170703768670865452282230609404349352192528853332983902723422349528708833041166404094214527652846093649412053441225697816347825083686411267665287070199573408950619362466450657531019167812545570069898184092833171458371673459715169708491160960770306357883891653810660559927084284702473154303800276803908560080204997803241058414188902018357202062953241538291682279694273425344152078464081415568796898676644302192716362493547869737179550044415490856733921055566920810756473882042278969781483978754685921758294318270385312597177598977912650715548994562461701155387910915293203937031224113412795011203626918866051935058462706691349258782782090487173160886293213532741015193074015946359900581041754743006414757767279552874757721127473302391909001020857301979998443800350296140928027504312555659952162004509735616083469541328018864679848904013763749245145083480828683657230926714972242881128391905927058619341337570811220719679610063226616599209465546344738445508492312668473576361960361865867761350823555192639943543233585534087497041759029626993758467582218088463097572716799617004115691761427945723517993408383586723878506409206857498083961021108804385886289809621096056449794181532030408853682048623203792240178691640892954680477369664729464534605049753383861368728168794088803694136130082087265519742350462346563827557493152529915275745698229806703274005675896677393179651590932435596631191723961178965702778144673619302209285690715812461330908976401364451762389965707841311755155026890449172207186424419903393297531210985679815600717395309988332732114966353886385013946920665275456828770430811420570295422057833913578509711370187213737895201027928279704022496090372992444956438321701952229344212255808320403767973864244532057784897728752425696814428799979743784418464234756209624465889424893347519478530754726586001043852281370363876759022094884620255470779681945868910307450177033591898653443026061784642073970329301273248279669925337545432777974253965948876600728618316291375026343881266127493620868305381144148602037882615355782015643881742292169685251100257314003036084930031006222213378446854551390806155271611694882906918012353925149754299709393346660021006985113957671154138205586527622261438101543484788831567218113968977885654239745598047255105161725391814203742484737794050569337262645660572920374774560206301346759477127513346738551289796020614619027656235869737450951094289147583313232689854368920028820115328382396148720707456912778754333761024436144634189301275096085648502915722794674525356049528572299425320653478123518218667609673560441643663156109099973458638042452331341734355986699832691296750964486191527930018108390805968637217776533977051971317785995299739071473919908938918106455964428893932377931136886602225646378042155650902496298184454159056961780391580639064334145441727649386569111646199293669804222521074600202069623482185942532425920373437286932453561788532353678908938008753334511607789614967652468910917937394725985456544089195730458627038956509310249278725202041149950371824643893367199021163768451008789069054805548171451992204252373000831567551131696610509246650199185045183881265677651980024331524436396025696757698580727111306895301941986775404759077447404431373682253622224601841497510788562316524611516918234297040305651250947668210871215575352548639458623304493747213874675430265080931526371050806643591026603147327405605546482921987984219031372500504205416369526466217366561163521573934134312456664743767953576184280903039177496764573536765983651165178775427796272619578730778712993443605693091416823709127233241733991438375425886702374264557699544710292079060674946185418193786977056627627027078802949028773560425975327024157934271179410513965666429714819972911557404721779568382919787931030401113263179832281254928120061489106939935041513328780047558623333554432467095564905022484014157240045485687668003058130518698366256318716772605756894341912700524958548589819509889369716189263596755949748386403004202697889257997582841270965139401625440728647282924802991382141571861792265793696535146013226834792405672056075586905680311597717240316073851686087380622680428912071672500248415364973496656886458492049380506982345038591848532389293068889592912778419941932025425465989564831426878157634627594396474767491770095983597520116804628856223781839095804377676053564936544223884668122196848671682509221740401829372135039597970097559529402135186260420903462481979833035732215390001345122976439468340470637457354597759302552710450857761328076252847696551832001202741909543630779261899568957425402243898985459653012852832663054960097526734720580939856286653186986214455112546608209413485628583769514812157954459639602941030842046628806876486674065540268957460798601252744231400400376145436668914144783486440488837814609889787615653031530510135162010168307692492588656105925106966739173616401705961607890091184950487174284833273135306249227495431393154510838784208641651538848052347351192014667701637188717387115468029940099461628290110422373798437477577402176683638806778395805022469064084684509758996694452950876996355812464591466686345437674196735304012948700892521610251401812495763806738776133997678671639057603823539450508981167567577911391399838301473310194253046612989433608640603419302760858685509157529470001844911426997171906485850943927495216659257490330222156038326626957916120800121439908000573675139323104333513251217734608718450735567571726154587896797241639077844384157842093068342250275008513906404811819414525890994365555468339635655852895860437130354943658911951735248044926566371063304082975833010327689997454131848906183292376637545783087227878565801893058564056636670325257902635109560016166476909320361304888833949653867863387678294603328166017785061724606619576825840808599072240022248304539414450069201210702261308726156569678513554206876514475638887756282642448385794612343962430908798934893571148579509377078937221286978322193213348638500012861195269627207198201776222366303402672679958250876991299565834145514613232498095076681158118269172464770470727173884832386218470082489159822464647221206052999932139675628866122733619884644071125488951371662133286857249805224934949523164576275924715803707776465041198329222943266653241586024704593427297648408438592297705293540861981834053414470402160749698621903688398436841029600876965402121296304359929807629401224301271109927957830499076277649856460797463136722237512054718801689105258605493996615522104788816984931653211871840642180597597586256580617928863758987602163059791956427259080368225054111204950312758338271774190875964805088232192777553809575990331721657024556735080313978893000558292103641252365450398005323506344732133405369611481643519840324358481191010323144877182563248962406685984785613901796579558710942455023309265711531711869173722018972579128120261657844234665417608549076821932801020614726351683551597085419653962702558095698642242573389022273220901006506559627192337522018003317115117949459903508690924725486241074444513761289976508157074038385269051362023091998242282144020835424559914342338754591639530599661751533995430666365102324143079445218045752579727615308477279458013955261930612487306236050264243094037447304886146211511577852107185483010508829995077508623861550501907185863049108652002294075921639105924486775548849324002166264000196028026437485640921243767544576414829547954442521209944001994150765147229753933836145419601576472360362004749326982658219409044195398006787069635715097238968559502297966416538059972415374769722496153761216452054792090398720249614687887161956098325553232590914613031504148414102171294634991777898513180411325640913365956199568181795827616561997344814832323892530420773608581967888177878190189856779601491699097885079309427173000079227548249157681665425614991598010109459363506303612559239674347565909511331710025770227230719402970043180346532850684541236427116416631657002377604601863882414891416373858531341990896054428152423846179548826633234996068174490771235425574593554425139725287145372228834145296355863093824207847164460452320571243801802869062888450071913776526090461526266403331133783697195520099304882277445346180863195637260528340479046055828417387030629115516735631846641566534881839139433642944680487782423852418041211821695931925048254063200592062768510571345574464130183364892793384593305591300595119705151449031411369581162622769293545563840399381857558884182766569874905025654260102575860880180461974221064684946170372492584429206181808907053023568829384439847701503097216283462384166902649352487306631281936810914811652550331016221880186743079957138400622716898603504793207505039094686372279425766488110125336352403073403339922901592598203381954027293022159039100159820553901324768985947681112923096540443242601080781433975806205170620232151271016903139791499117108392234795730331986315695890163886542543547384197912693752616887981142000734397226499392417749896327577184916011733908037083489999765789407253443744555571196661871244914913065750427175952273624293457136602940173158931001755991979039297553635094716130058231525264641987954972366669334468833827178570601794220131916302674743443996258982320258449735804279557993162986407172942313808965253898930877041601691254989341271164042907519205050209986233439257699293830765929031364921006190880985309269751178758929734741436024218222955921760626896689606408103058089503912699537615056570656197738181945930053955762618483813513710294705029246053155175002306504839480175225241676468817976795350434054821279817542880056148488553163735699856738817218074997262583432304371855460539547863844657754182971396959556577030545699238796885704062105583812741042879200642258403409583934648971687553580256057350594468444977790852427336172112539166907114367511949978918187226701657100095253699534548781205654161021640200055960535504799499383454631707953560477997500727479417377428755421770669199403804745162079006624223385222127453978040392424202203401050128196860754735758455204203138554279541289833387617823681090525840779706117335695783922803931412784725248404897640824566114400004688449654335840294133483437272285915240856287163778807807248320032969677720753756068580809170412985360783584265899632448613731568951853518578872353140702884361640623860789489885380833134930208724175463142989042819927259378008844777341877547134599604082712549295429326547018207602075911265370798819025353558997033854904593197124548551979591740156047955949053501411085254223794936687568208859441544614849553004865042036272029915812768184586234822834743596163978200747781542612718439911166474008397072816700982091786170948369159082092890658130404879710044097885365418834610300294407095283972712665648526952205435002057290820711359498582675134990429004800929077342543523446506866547614712270480107908327025182270660939988315644003638176270721694208806903477209989780885458079283279378615267101665748566734201401611420028297247357549247232942071399873690564237782130103261591408212527826084100764632242933055317304295672019245017152811268982402382368232988070805501905425153136256475368508091067830997227980474476609107301610163824359642717911567384730967387701198751093092862003784339017864416944852553814291634359349775860651849177748054694609937011863201242384685108388590601189114297209335613573040199726929773194064590029497018048819646858344208310884242307732657145176448552198916299438472236883944093505923169613371633455111692910436939527993050294817952236823956567776826917381477545680739026612986030234863636738851690306166865789229615972004450179368712344521388939396908486322554780544371368965215153043140332846885837630035505366829146611197758892050860548528316503425293989523288488741578337327122845569483140784174824124462610427171017481318945384121534287225325227904244881756279994527354302383064806982183906183497838620764991263743036555197539675562812421546422614047393216011271355046588654674024784018868371459741496408198301738484710144463397397959171200730818849194735862119855649481326484088824566043002451258724752368897476057619749944608571812863614684229696779312592180614256345642251044107179103705891791402097861926450028168479139110402999437733067876693934898275768155590597170549327016135838260919898935655260182320837596331989097091385876733534248028384458767821469709226754005094936638268371396712565173516287606641336811109211653361213220081250843765212051855508855643891087293690081008033176021865127854355727259838302551817209293177053259722917689318252611699194839418997634866745747078814092468379300422471136863436877584527826089789832236921903802326191055268325091750198654756119249596345763882631358254936615572129953911638929581168739788536439586375564154736211895602880915836579893694256518291199160407781994992008622536949591293245918035011362779895993588398199999414609491423841257576823030458847894690206911184133023315408831553083846381251286099544540932835374057423278665628027476712051196662708445417565888895450161333474840230400448999793232707974668245691750081143309575668323188878742838270976598641108406468251509701862270530856325812938778588774853530424310236120206677298483767978435592344244574707731148315670099317149963815831565980296614486690736166927024052934840546311298673975389596672936089048722214935873061690661583958176435634602202131383944287000259060090682527406805358392589158625078101135355748496451916790515306727173024036727816192675724490485266896207729565720817745253882552435795704040751369999058541762718017636119702881082414544153713938551297102114695921795655289613476788829969880672404641436946644002282930050983920493182425295087558538256986646608577914349513919481036959816833746663963837781729875732221709144756427884379051003697560903701261026545214963910770504011719874419187370539548449566436927237880554314649259918264083875430393070889194011565414523529430555955707663685568510544646894390690532706251946657607598488249964119978451709762231070799895087836252303928405625397791486091726584904287480603484341073027193957823102751140179592617502425257280157582853664021593946364738120297299240647536853819813156854592478686035613302403294358109120992168768767478827969006156767992615438471433176604117275599261737070066453921809462364916264066764258081042060368258909547820412651933879492348288824614535277393435879931782079005362201867451714282753802343477954806917322438262062382235213990831727319436983645485030214390874905475607444184525254383681858670951613110973952571794755258962391888541330473461571676300833835472524142154804960909773907982864644849548727540516281217623992203141778040398459899160842418575247983172096719968873209752593744260114861676904266950312219793939942310372598544420708024222101365055866534807090598482355968583938751797637260681503525269378797501998729234183112055464356763326247250955675329143316015805412413149808831257405411635763240567903593062309505216942753550007731337969955700932915325814420555517229529296990975191750497872197937859699638188152544327907072795412329393897952417323231009958950299458064875430908703859926657292760563956782824435938499454892120526460960506187362839718117678393585705233091743145316450717904665802377978499473471661854909756569461048524980897127288060634514642899892886967385655117435552308219492642623601890122632266931794039667818349714755127643129431989981598660669144893351170028271602122739029326782117095936563930463587149027917561271010933371250284432576870018625186131457127799991032336174891994779012759309336379886406203358460105532213183057970505700529800343213277167377927435427786082599810554450636483923879691028920398788144292294605044677192674573708034304525057696100867983173768955009499082184062499091013714677899046524488016226771429115319741340252575741605272730130128923568791644846167285791595845248261598980948960292278920521383349533365783080274926907678193524183728764908337294115764364826440084737674265861004101120867487332344220743543441519682142488141391674106675014860654680394085660753681518235409864168632349606625919967875920224160758420053704908018500528439516620818917074718275120385858364722343466542374477847358245640380101632849332825490087823926618485547688075357754626268405216946748524147357197621393723558283473135914475526261843863470481631927173573374443080337499312519046253154418191076108478963758979251605601923185729322020291084695481590724295074677293623432494042347163877380542824229221851668093769039425876791762622877159908603483788831443089315331526306351947345425618968694643821071993712480298808486281096851668702074875513871802232659751191577891793960362522157308879163016788576644374488315667656717079023967707611889655725675627655052765058498041676853208721480137270618067803191885225802639759873501489584796670179311207741567178668235709288439370812408686818268655221127152717125004062890782712909869827023429810417396513021177042405079812475733605738290510092101249936390757854589585133912437096632108058406628121285577010282958499451324708782153440055793862600164669282557208032756186629540045108815995274346103937170566156939861252959874802620854903108882328040813538282446033406172714196720045598936159079647246302853243862623660684290617006619108620454537890763462748488298110019707025917629556882467166146116809845002018138370842154361807427717969061809607542280577938788339275497125075920406303625677222778990154611267751315417323873985430059811038246681149906791141657469402281005925491462055393060769862420196674345722830549064949326635381707486814159865396300235304056015095715057253908170467474602538736982450383178509110737674419317025595145443663868748602368596056458843818025996452171357992529677787073715249538591768680167247379327127977435544296363726942438781021527565296782047094674657469418960861756391673804527862613828094457106190444652959049169104872378762897682461263682512121336758999400839504459373119671775414444656371444334929829493570319045967443857218021034469847490769773907985867000351549040923398265670203166583928320313764866178700965766829685894876848990543633288269634190385589972647118713182098044715802261750256745446340673137043097805887323334620064951989560479801680086712716406760164315032269914553728286409661717738284859469448514696413413632765091569447340053583548275439188406170742315537089990529518299357107534502794178655614482362941195811743082700239256081420055653988315738632682611892325285906359682454888405525383672850907875611444885142527106098230612184892775340453347667838443859624527617361460421753318761612240367733793767935276305163945624869589475259630986187223166934086934787465117733334816400244073764918919269645023716005747021275518597623049293688705630065752664679099894461123010703989015851263631629137183534632007126793707755175998238408302877123034461224725555317624463404219125236678771931939594953012830174235647484618297180982148944379122593872464575687922847912509332238242324336365658612772793720458558419169071236593082477336752299138559663316745731032375667555467793240117235864446792600142064372760671520107928826573682954883878924018038947987676611971735942041278051578335620858824685946178540003534086338152281256532418404307510401672126949167996727130263949927559831252452258110332984876191925938679872318167304742739362227402252737328154822958597152669239511674377769246458066627514613972411096056379679827989122530774174317775526889807017609228797619783585893659122266054625805362298125558349319692914487412814154667992133989690147246329552300236571797625527572382542282529426507161601176155825200076022333457411397303050779906180960124919324805901554216432599413974473163679247842709801734899135300042503614663727578815223072925040658215601960144080983383323223028841881435282913553931608252996319414449097643308765321879046135641808346472741820273739496313000829756288604741760757485806632568200144599920657531804019367367585986239698102714166047671774376473955650382369820844367841936295150860015260802104271974548426670619998837780269110596307732821337445289282298501621166303225754246045401133154531130402218107404387450435427348843814350483508856372825442582733247418976874267199632960469405351868448967881904264121846412367688912488200253525745581376615712558033550979499465573682499090733747051684873683146280841478071631513041217423733811825474605734381873354091307915927182170498565117101802849716192806005921066231747132559149247526628198838626363629734048594208902752185166957677800587073753211102164481179146984985529882695516876401894822267702712456175811233819470239663919518367994273206053002100391390051376175244401648195249485306889737425807421308071673533231874190868695557887635133824064253665091273320388688062165104254859438269337633005332838844968964102342269099754622397088668408044470171591684514980463210481350906614015580449402183103246437974779601584179473862055327755641408472061645079579543315721276322753356737274589001714055092806470534303864748510016513646490590490106130553481423747628773889311220878862409303059265312242777410506533747068522086711233517688859106201737699442422118501177822865867196096177794823136169921306948354142237333998382824977499341514597001404121649822883998836368889109887997433537844403952464598521720328520110058881853539470605558943490891857745737415125444190199206239186051968120304821078131144312023066903778495403973183736240530705773971153719806435887988954697945434952487604440428125131410104912297045153085527513562445151470713364866670738952650232797157983269298007955324116520776367934080426868527666311200740245854765031957093576203266421412769232851730698781456976907966022104616350741320364618827380054615019482866118846882835338596582147802711057134928499316787642948370355277087463987518274737889126134840095071344468146276770506584321100919953240176048402948685074371760729158562561991363268916659418139147541843662030774156111043819536912983156706329640527699876166958738432914376818304288847310676033062342090239316421555244640202471001912599893783437254696708241908857104005605564169521236488016878509182875588436227800173820799553574467492436400045310947210498059513882481817295533864342267527233596219928575258224925494878069126773977344280645732923211107340402028665420801969691065928885492550299636016328163174588329807636941559236527614953605936751182695175406483108675993628002048264942595829379331491907733975053213624389613700137692824985001464326798020452120639517640389809841795876337295102900004100124703894847579237995979335781066543829031366539948113267527794630192215595926431413928605058300514720451152463031860119835528511821703535248558998552425781000987770232248095336214441137134052464962961273750092237169485020236342346022023188018879163178254012892450993988172722770153080198412326658790025275742468403979401588441340761267713426944538401622962797192233889191431765969901440675269607739722266544172620057715470891476834489509442960112381591138102842784878432663751379273656910329299986327284989672782126978676806494885403805587701647732874463548866490061296822340113237065756105691520331998134322735901303931687827089869706662147945226446765435051397635888362709453025520539629726350735173898490951547400963930240961026472706740416759195190194002395169837643216426170981863334046886626784064652209988791150155957212511153732337023768385736433743396778905121903308459111742948965973153210733946029570158921645956707480694000091034136521111422807079254329521137799224053585115371160198463849664918262784345385850091928429485248179320156371174316436852248533181877092846237443369502915027028978544326431550962427864674030800898932183151421122722071176039229145136483104243082648479234900615129386857726310927082116072114494641718744986125707379007418466728521597482336970067378644379908652074695823062691125572638977000711548613941367470521252251186235252849575838184335640314354610356606907562132510725397329385075045247851393339756101425796830968809858682055192312398261243566436476049424299985789948446415371249931764617901671378912037851500170862080431416294722577011776567946371164145606861775570302077759409513172381675062817907221845441012722553942269595455732924997166166268188118282570009870379611017940181605254678768855244050483210572756362645468326239127458736318626571399258645850696079263133975240186169459467461417548347673393432744449769939065649085112067982349517872087709206183188376992843698902762354714762910510646823598507613606081563804757968244101001762135911812333680623278373762312378406182163070362400967886479630046102647012701473474587630048979402294325454846753315840976477069216913455320706254665241435497630079062097761199158676762317341400470320709841750258224615931688772050783526902052636606512336229283076393171273101199704902924250072493252809878226811820546879392464544131317929341720878741115146609350340138581825711534234818052458503853315543000303933446225378968528434696505560830029530888604924167278649349932703385195146499471337413762319780131149049574236041762395780928715208518978634703056460944603294119285066942181548034184957277218919345718755172339035998427139256988553360274872994806540665475351878127208254170145314920926766583771776417961898150519239232024379738107703202746635669076474606047971392674245666102492551232414948617307935919970951709422276552962456744989815210294305666981238222639741946787331393218022983690715925470201294601213475051824651404177714617563660177694509124496002785074651372194563326525685278690353048653193601923141451011139303056754357299105804248624974440702580399314794695481776698917597990392255238593240009379801792904045965902049173035779360107643633634580384366564818012549982929643979893518146508570200595379831259421967343622676900275289763410166278847783880887621137950036124611607748776022403371194253257781503139900015074487734358107774395240956685815617510658189262886503521381123811399770161971826031255503244715699486631308164358235310495615543216975159565757299173484574374381210994203982022665999671708661857979522643224704631176843076079144733355964573837910363625355108168080698653934261831259612116040977252636847725768260480506837523069660497657217959999717850592850315772080525523799580001453856172580293993457582982035746118919622216251379280962474483931191683995274723374266402710466885590518000296593922544284192689681791546901702814184173717413343020567149461249079916328638338390147578475914661349161153391503787219414902060353035289969546888281735283488897378947232749500676118712705776326789433955742447930261607779844479828324533646110467616660440549273673444112267319083261798467859709209012340086790047744417496289926165676491452579656789594073640717172364478827813531493951554659309381767558508836709547083304496550640205090357415110240775847802841904596869010155122650948766677579246750696077814994280813029795348808831811395030430058049017344904335039805342051579251381164508692482423387700371303243513403874382504102328555352511522850954519890750201271871293000887839422314307329805427388490172240422793461021852360966297590973675363953695241498798055173638358844541954929446235978334157364980877395827288273114213125114826902259085482696273451154138411087747304633016979524910726798839387584924883536423047733601581963142434809228333485395818043222274246707280373767394806255738706131978972143540866599253256811699649365023610884073189394510830055278024768078176587694550562439117623760165810991100577703692075235065992090034482201284374838991598839428254599274305793648565391828376026161452946746628714514818085958608460044506002055353614437062131979294613421449289017830275685290619111261853970032269142285089115749190398492345899989131328811143729321774780055783234417211968844098065021690391881438163999229655916718773161706924783320015567268455381780100906353470903171340643505959230417227058684596556908234150296611027901509236669484466512208705061951581109908961842754876212821761452492676406129648302149373250978861371268077374138211324593976868748800880040926230259725670966343692936680114387638802562092900787784245383718913632966667769198691602554097259411749299153276755874509728348485995260269442264281009105249533580630118272469226044085700512874158078184108157048249031985758540498229551035122199035570318925162634640231753613336041140834356568899395440589591780029386320997187397528797121403484412760273454277742392264813086967812258893646513478034421934900902074865939279678652825014957958526183589204324447434131295718235146160427190567212573485888164210973236212741601674804177496013380850731506356636049338401971253012322613826007780687385255555416560709484386005075269031197286193570038381972436436626184225114045347355535518010791340539417880060251026437811533526666893826340378697309725858620365871658075859565440444668816535106200754436450051025141442353413282998549526411308365139177073044481555771664975064354517111459771179483130041738814554161624132909810836756313456498169023543974811534295728437422180559542601090278260681202461735373253462990160218268861709927810362885718802348770679497438155374566997868400200920314542944316295468007992283909197250503149500349633307872735054422235649513438770275012627736110558760582585802464975154231741722120969010045855778715330021497535686292837491653878908950042055195048572731638095357731994169038474378635510224903591288371831205979338667901150142324231938005212317560961275554081600645862750621961432542936796391833968207396806793676094968101061335939296840979418139093803676399551141529105266989317899911414184090822011670572172710507310059433379012154858276782655169050088499521350562699789476869310412589850415510841228636396260974108199792897685619070332805273701401060877648424133632445674659152859227540512476528543718397343159729269885983386034021535231044182144836920239461850774546698855179152176716469791956650224153469538861871570399895819335421362394006115974571319021127165384588244587518847010491130865506020849542597412347069847791454438557796865273161262266463487855725825959003037078797396695628846048892538777106433629685800645189810008908455546010796405568480119366020488322451638582188684885370388046618086494067975520338774469312345665917292626121427122224417002077662959555420746948494886635670176734419261215377180906996245886587411796324609645316950682928555762606498719217740853231740086453878500713767847684226695776999382803539887431138344158239400664553303394743747633496976893657063374065824580265872290296848081212026356209634417422176625777998411208248501878629904566590231173551251351661887885884148384242089041903843348492926379616346041349789894354776570508990795157707516049356223259841338526168944479095834536309132507236293211764439139217151530580682926103614284971969999012852676729368919523227834903771544879595503942769484348391980215895332474168012396180446972161368776313313520382562323335562715872297238851178031734302575430314088188517373579364196737268980037427232014755480244867701882130038055140602447731694767898797875953897480070133718048408761235588153463990413703352038652901732106460212600999023645725646018576534868152523807455294142248505172054650124384114864874597860737518633217147589677162024984675814505658113656516806202808707613362465088436281361142173726625048650148539702811475143447297604612575216691837866264556246134689091967417245500570164429011646962988117461462690728448067939338845799122523526064845220273333225519591056112478135934276613284499106651682900044975956610619980808836935318906982352985913265183747815858500635272401204792075196087724145883276892232662112988316224422071903222940394603080389265042301009748702102766757190580766975015658718483689310491428044623536351950046284083642502545896414083314692755336281637057292656344742268376414409453849633110862286689477543266740039512715881410846897960942700939643383561734357249275714184238721195047673641908092583222212066566260121200464088665187968619651322031788300377920056001364800359089780616627712443099812705385446075897032084183077528381195483118523313444880355253559923781982719245698478262091486152936843363749173524007074093991061417020061640141711950740353428684467073353779754580813759447929405216821965677166195795486694634800122433494451234368796966658299057530020194999744334320339441641080100701599925887413782062292116073678378675443128650004545762066984254786308056936713558526291376574240334780283018052780996845417973502503074247763295044957191569026719775236529210288382266533179044483516655064333448723943167005657418921948593938665515538199867441129501020575961563195377303561930825993688468733289729387992756358022590705931478112148319652427766942860301133591568888531353932304005138333467899985210303432229730535457033111007609449320762579834888409046268174520566811485720016294208839238334500620623481088759189348847700126483379344905875086185706256658905271654541642798038630831797537852751121373833125333871282181607125589942019446430599796806055795540310126552195314843958528085088827993510841540852007053065584893258150962466599744542338158667179979731079843010917050310374555082079207015269539125707140541822556821615094493056733276075376665478759258350282657656931180654559036802189948035257121115705634362182922037304637034185501831812029312734957956775236800922926581701930830059299443598280132951846227127503469283776984450695511698917016000021699767833246500302455564323123748357406919358227633775095026683379031632681760465361195068018540691144430079461146305064515009162051451123064182073481324168665311388661877202426650121010443381248458945031010790764856659648681307090765786175921949506151094510508864377214490275912977323891118036021777142814842471619821179063182597299239181823812387241722497835553091195535583172497501140253666764827400222804582203318220085413845236883778402036573281794131539543866139289898850167375037907092143656205003711822408349458721735820083368062407633920864288681718307072037986756103842065458195207686735171626714133452224620624966137850515966672880042922084775875934864361854669621293127244488717569622164067435912245869158698378048199004520034170914969033595738852581915906316355797962071682954684717812975061027394432785363191477833065914336445870943411259287312457547027077423690793727878990060425524548294268433837652354640622036206872409244824357927746543846111163053005706278671766037312089007812823468495612431665622204183883592139598400174523681765247258097495117185986295571879035363672214789113724342540240929122054415882755932491378275950894827089410715873249774484608801528896097185650336937258892307114786335728794469447990556053882027846363028476903340343703894544025458320291021374315649862299522786315597039923797833584948956979947732844107131012829804624929217999547232783517033122580331835414237746113361512885162346015881306660031679733569096406692279431775182814875621768759709105120890919519474778251540993988101503244378082050390788122368448360230967393645439137083613234914703475392989647516437277958461557649289815893775868212654016398183280565952164221718379036678656824318461966904875225197545450104254909870066859594993626292189005489381501096439113359457789865284694970592069681235398120855447783145457666822987944548292443170806596176247829426355656719522944250043457909515319464110487888468200845209098807328333835929953319097203356146057774170944206159647652848931662935670844351739529778134418548824896716142932315425175992159333615844913544763131187940984120664604630611644549256300917689897417927701280307133325969161597254536268833171559437358148461630034398456612252009856207175884164840837667864060083862179567666554730260982399441461580852594010299005557607617082503449861176604416052290361533093641791913453504275404452771711521983327772746458719815787626739413003539562155777605318315536626746368946947602567987996926245237853529954802287149183920015176691982170044311237721037606229019212324195081431200191451193069025819846709033147903181720247503988594123337460219635701499659903668007820432973620071667663409620318017933321437003090090605174227883551991406871441912817117998291079905882776112161735141865303790226442924260876800760270753740997464940298570192880748740501308378130673589517143263951041792663697869278564147751516427653686733949541313899405322993465417565531277621718175188334793102606504223239466396487634298696248849402824491287897041298366112935578654102824757709302602535734616965886714885921869506213062260951894965971632079502927353663722364778004666875646556320820140523791659696958510838169271279031351015415724839240639009927662606721248494850238119678347029414538799921785146721302014137592642051838936427268593324804994829906865568326960804835579728609948010070941582430056263437166891435743786905576808724902133229756923795860213601879836666269816969996606405623491349978133605927916841732652137081637251646015588733630096123473328472666531693853520846435865689506088757256971435057954448221069951261443434372128444712784157401936473474376706909085788071677710134210216667909821922601492482583731693566707610702835365188414365931713683232914846437940027973618489020101742624980546283794202953153723267151979149016242451545382159204013108537717311305017517565836590632179590567566810107822540032189841775326444347337400678580088530553010357842127365762955144784373697046332050733458928676649808158332409900732125405846199980933064874714837742981631432476603937223716244161325531763203486684579989769255260327500635820551314455815881004291432401236165668049116447558188837745841456896725401494768101043232385727086908135364259563426088856631414639866670528607360718496430161364348360172690734709026345180749597477077580465104124965463800058911824649079677600056936570839407458103591754956022368897603147133915981084892893067144393256734057481326314963773217724172490347926143483884666928073578000617058693445561268935054751595379043872282630299561260846242944618530163234289857393903698015866485128578432427310685439702041792610563235356467238647692566069870196261544140150442579741904796221765560004659303246011427314668353553465167733074068360059416538663951534958660794703571033673395245142262958449206434864439239820673513517862372360595718588350963673389580011684666868635205621622999324783820045468319013699463183427854889774890103191044106712833919989898663088211194696484599057826896180029175700500897604998606388186209110484314803410710294903677054929646366323045253697083831858234495553554760187854134820599170526031135602956052868058091141478070598866086761368607616712286730339275468414193201652296998198057627804258100934895364444670726820131411305784130133818372186993075073253809482284448572669017480456070473104250703900932325722621770499290814283226913955837266210440891739051695480366357101761930689751680112716242453277398081112905516232891186011261560606536214835546195812576098329081689729291008035419972900642669706275559930083117011002472554834084300112431363411348464285205972156670541872818749438947786821672199730925962768485260550321036250919919651679918931843862610004089815544619654225251918250504936923351346734356672704597358718204581680636574043980988083445831881130991654753116238922012838173148067338037580494977340480632599191817045158688105782262486087878785867714547438726973951192339699064987805193068492848581204895411037767969614487467007199345025986353232827370431230813771265299166598845910859027605295524239086589231884114812438643696872064245071335237513513133793958479986458717347777095730092835842823226520188154990414046997441160129335705494108684786775924351457865781354127982571129787966796993782988017899522110726579111972512834185038923085819452130540862307601121191164891470722997737862859416475758519025819065591728516281883014289734443329117244951933372236684267320151912233813248347644871789082949990603058200251112521930098839113721247797175449219093776980277818904739849260235847990276492414473729920548509283152926631987909985834422243088224447307493873178189002031022465790627617913721403686442460845674570054983021214307313147961901634624525216285152089720073414635359337554119281724307514460781877489751612135750615609019425736245925704523245866649026843879362839116449993853815645461989390305463560270104818259569881655367868112602596447081122381626636126882245288624472566870471293545042453262101815188747079989283082707756032845282348596632416613080815098245294674227545511027534700397902095996154886876965571181661665607433872770945574591563156760054090917969642447624673774026405700578616197619802909158477560873502003061937880391632608284541659117868458622054404728761827861999629927317562678060136632830977817543905722018065206192047629370861520135006661835656963760081961291890822073475245345226484518272244679913610985135280124133012212899519365428919640989354171536402064678416881898457554344057526318172572138216489079706368099148388342168649155324084005983113457195760844129559399507086979735877966212617532959483303831824119669314282111526108642947623086034779563382518471453126142308974096641661517744096307285189221485657237826731819324439613580383089904942795073542097900789735397696002591533767041939673065457342914430675751847855496214212258247151186921363880250531869233146083497888049026381093512857834307655398697362103173270254470218037223383660365243327040521113556637119187366488233647133595585162476028326724027371005558575178324069640857819653029090236982580396496153675279973319136694350760251754456126498803670441703272265209199235960763215473095092623024852683793770660157066952547980895767780294376773987360674178309529354976582151391244791012798183118887619340804851570623485355933694575629247786819138098679587447577863757688384556642705845752023323392563219878989456900718179530318790801270109020052650094422280069560385673689570456044849673683747005393225300771539955191342966068185459340124589406774938721425615455841294382172642328671731722985223770633979906402528613769149026147865475940092837232647996386875232395284670038361183678524711749032956295432815425943266524371773656173207848973751268253093553782166927271312882973565920757626756057877823006230459808131452559517220152705233074139042652302664697433026812602792117926457781302233118399192729221596733433544814681319951149759405371414332107586536549663413428162694503723261327899622180606957882136710984246966107138703909717382478720325458917399137081993215878509383431170104430038037613790850376950450733984045864589868038055548493729862723929914387997199621553786073030954924509622704724719409226156884179779597103056464953537161193429521582861500449200386902720401393756703573647130500882821875470670305388657354340207712344570918835782555454098119122942341446519902374584380792588532951443560810880443504098628738294977100221853817041596660504797568393595388910040697096198236656948506522670802657841930894050795073816661703216817584309087855376985977117331230948371387354309635467735245106210429910536853315455039654362182494015069321507636718233218493360550778926763688979959292497284562885847575705096194028319525086332939783084849019438855323171194000284680889775879774396968957870683204158408048983353897849839333289180805074363877472057461782577839452246462496269447556366057562363146891932197412975983543172414173045193955293210954080194151233387126670940878201164611981496478726547398334199344933574251900893520999384671838002469895741460280502839219703111954904044128303668036341638441089737703736121884060837505591140145341071042378915307308783853627453764886792715139544418083195124516155476086704699373778206987469154679381084850368258668526935509212994260244082949848880225521328595173459906745027139603976562887061979921456541703871534963221824196444110065419629807624743928243002892854732287919559566865619404732186220862895670502905686040137791515171490496856035976514758250245033490179464377160056259481903036353546547827226185536388617148976288876631905960175014235606977753411897053358441745495749913410506299685444987461366893872804758541725558070614954270986140302476308242847358264041055572025032993767268568763006603389290199978248534484857208986959386837725188014288977937705440761241071949198144164867508957532880813062920841329257541822974954520005874159552789083143201639141908564269665129607450167555891483277842943966274380557651698192667254602297431013468573077602232278470885361995888654673970472583627494700063132071164946287039339271191972867419624936839772668933725546882019492795937335936482414931757010519424397191335831197881736316539538497441569477776779158105529118001497086873911732725004888097975664475723421047677680532097407500854135994735054820573305884613790367184709730577968072451436936879832605478201645081472767130310282102752780612747822457629695556521363999831786191174254427006840706694730434620018014931969542016643261574933508273229098270857332168238517853628392493879680800815400458559500516946997256537128729325158473012481499231708825655754736387223770681325877805315220326253957290631757139197504496233551754781503149683704781741663920992839298930251243982282782493963966540701487875958301129587941687815295524442366172729621011060036868014163850316434072009837290088621412766574106682668821558473569184062088148419064308760493614879879039046699074698182592303163940679049234174616017149066721903703214080411790496614300840147306751355283536115837036704807195784418827475866268901128199396617720694977637284592277370208760639515946280938386842853445288752672211447142455174852755234731376769996867630896639643132396608702356086293731785244530994441349543411436747531872243538869651040043995051922484688789335694637720816247518153364035138327806421062012877848141804511377127289243931114486693420212209272052158940333867725390544840332473587913439745726172848705495822373035270965288466821754207705533017904198614030342040948120445730649796479304438742720353786401721991226386015667757791346410116301486500099561889762059693239434475393207064000100359086898836194990078808543097211872646633616657292216785508432009562669935589787873968285628057799752087973409257382316832432933083049505283866816389123147495727348957571174793128888466249287846282927375265139368137122073266976793650283408281180500293000242412655303558988626765917680760025710239966371909139215192494880323092239975588727988136786468678766243013343934614896764334067850781816674182065633140572900445682314555175072152076134976705698696876899346051504442075091996344790773648950359727221068164476645254722504633171260815846735405385418600751399133490658653615344790866611857656840523630285404518243082577839124119089741510753755216314816204600634136171492526061631078008628035437977291086471331120071524991901620193458366148481301177889663817872382961124706932976985786023598581603316811434109938572354074429128933357608590162530871150016412835261507393185615022980769061391875010582702940059627789265882873570465331055987361778471389899273510433423253422819347332456178772596550432601116402859584422752676116088531947563844161296168718713128816741688924757310631929351248088769786063269295083043174405304252473637956473612720332214509915928160383877071011115955168727157272763902147806283949485573692432913976158104487770674067692302894943927019209546936970992949680560775228475796693111311625070649897465603490963364809707629037882819860049913660303186415468241301705790890968239166919601891235509954601168850497784758309737704571612658752750511517265784735441516043880398685367962374925487714519155151277449044905377183352318824072554655861915986090951572273770737858024910653503161318722527308251054370128910151132566167254726545932744434043134377585281750372683814878031414072682595199281640024732397945239818332708401978275010639993958462042562696008105731680847028123255647334085631720404790675118475241272700458964263526213215628754666610813634523360691301612606930484355378891968799760849265924394581951111808043667751785923473870737100725405852688771511450651054656368910260996837363335142177733690345020731294698489327672278054861529765550771813484606789436375630028368725596806748882230140918948631970905109986726160827299493055122734303298220920405465171497515609355811023327278445391670247982470913403150634135571031733775917720316700859195566302152418708423254500965966970323565573350877360992381465671875260345432747339989390168268580285189403353107797269120190545325458040394377987764979404317846634992385415037989592184239703556049267346340322271401209047333335177664786662154005523459139934169380221111057697789649810152465251625297344261311332815156910589814508991358000214144161141516861646244364192431936767866992424954881906648575788481934984366456379075237602942247832022001489766075232494073181094554365687432350310504375527142400648776044218678138695640216451847315100025516929673967323509161598791544183788236690983589073677799526595500731585365355577268818325988648482640454933148849410838722077208382662557714765949968911815321417817329368902224644115235448859076295275168121181368689539341479225012307673507584257203078219002291355676704958414379598622727188622890443913619557895907654014675143934254322279983414518346487007277084157427134483239621382550070380881935582629414513021704586342234541441253591946093114345605598648127634817568126698711951731309839096846560684562597158430584514490933876639781107172559522942974456949773382610235439793097457228010256104431940188147999338003957369803097002112671991597340557406554793634579204884326312238805743412918192680237474732326942004025160345847963707975139598763877850795213092600348769784322217631583884664494559521589943905321360344387695600142796321849831190949786739828271300606490976800200589075925906948923427674970586248014045941915965058489700689372894187726260651182305036924588490155608518674237557922014132138123928693687640980801353882932867064200647588155863701589642147007917940800864343920232164855826069456455106656358734023025723806595314665408633885588547347352553487841235507528688654387675020489579914668829881270619196218568988976551356401849130358414170878618628469270254894917286660512412413310877873533634561472994418502629522883533563686267180915217303911185042119064855187283747429347825139109473645256966028163612789918893594864021820344531833888669668738407605228156393700584236543897872601772563378066210263091273560453699337728027923111591417828025128615410677185885181082182207708736254468534812425930216523660241119663293398294846826705689381936133942892208891079784753362617957364342038345486630510018712783589601304428018239433920683791028852465614096427463528389987910263841935409918146476522935331889709246050689818147478309201882961061832881280951910486545358400908394617243680254804374020798437475715677208755387050386066834832843614131908616166078721447955586317060874215773112475720084660176540574513784868290400545076576698605669708407850139539331972824854273834224811256967413785310360296998485132552426392708707810123606179147136040138558819805292367121265423431097955472834751463188178758553416533997796295669264036609054923539411542864324206152915257495698847703777069041653400516364305096927948163413924957100022554412544487948881947569732698351118187840792179879999074928525582309018182793186441682869354577846589979383011324314196169913765475500134284376424928506360231281195954317186568206440636061339068889703309380881673149373626220811265667005791615951193770597478969622338634141380087016454396456150359532004386745244883766928939713104954791545992703482302346231298418793187181463161991829203902487890689140723504142226186768631470924791454206622049727959262973352035868859374280146221856918246436989966518768127253094326880406917091983674624767693979474490688242877230563931898318614362666119804108851885684562215222521707426608663000137253827773569279867110860745269304829494844086497680633367348716515969970445576380082568805259325399102409264123062672087562954008857314974788923821448268515718427003083303482619112460750410705674784681469927595267781270494266897077691667937872365358996238720816262976076324360916412405926199771728088359047603056349203334410706026410841206371455628261391014625789493535396038826462404009214146373531004635916960235947273409666687185776498024363988786064646519961667863605735948455969572060105079653320180791006660851471872667288901218717072813951180578772251774521419983697245267603741359804174898357649394395535631434907875346012594169307577023868182472358375255338078038864661417205400782454827157646269824575102991029003072477867092236831755595726615368512051294050282076650506646026075105057744314137910816587918821582559149602832703983661606893934943608430240914326053555473086577126822139948792078432432934811857237378012556248220143421671228171685213501410670635965985171827255741876220452224148311809198995039998883178280417475712368151920867810435538442333726002566993469542586639157537156677149070187408583084717699045230260253877181012753999396764005387904181632964118049423438597756274325152883060914219302591547606813421239372374764835585527316147801465109523144791302783980635734218655240446265366418966580341668705239419048960945294872461504278834301088194548680123420235695786245380048401680485316226865720730870127239392722360738868195297911750776698909643256049600151720793317526342702908737831849241119935338878038527127404988899499960142447423408816044792172517947677755886176954880932603144553338500949761605473560378073617933887301231523168548987036243783267993854670288499127609321745371763430229833409091468429249905800773607703119062934003349475274987176315946302061079320897348038662391220884239637986034964463174428422392207928365474379821955165602118766629191098514990855540430353069222245499449197974430426958638768970030589505096764663307666065296414452730008920654351490062145149077529006947878215589806058003561243629246800947166770788966224840237745038102205897157265772359433044569117351387029539081266551668103492993914864062949113291831161149775681453468916117202558916624856230367103651757197480467174979040010152381792733430623311579695250687999503923017161650736286820644615921995653240522525852093194469647778760256502824496284577773139137148482320524508925315634574408803806940061209545036329807940719680457406010260283349014815933526231623486716493496160700177376334319199136553014084830812997517495576317214511790997313159740728122780729254523598845001962444933638647385307891670443568987518773006412004347886507355350474533740698525167501011479282318026028670411391928498160995500470422272619841084249792539407801342943926767207930238329773021608623434959549703201655325832815886977579290014197880305045765703951903332069093268782694700026157168994973561043041630608758578749264097275780829334411101290240630776929500067753386145137576470965672293245716191664500089293623193851952570772515977789852893127376595519992723314320508384873402345845706231701564211313139516504326261684126501089862063528662319602345484180328279952695449448816195339435442593791771533624253013337539787037059258372474487359699340545946870365385970859494885613708475358663672160191808614870605103766623125070106508809992632150582262057110362344369841015989741043855138415620965773095906940212276377394240934147066507719270319457405041536368284647233825802707667034392238919363455738397516025268012762584153405442591677236308245095635397576525707558272903602894820834209583694534952761366526093007222276022810479516198780954443038591311159897554666561595670306789984682025361098601016095820194701816077208584319192427037086117626907880746298761063675822168013300222156916098778309417441603986825968634227532490499712018628651852078997544250038355832243372836221806295149703407846404038295708378020955942750953981654484959196341584453561689533249452165474621848168819982685512056562288788238880179102419975046376174133240721748352604501523215255069379483045175712606529162073712552237437833348057066771222635691921101906587474755882017299155498256394415366965542962524388386653852491781366635333748068284042142558135060029323181923223017362445189788322740886862899172359561362516066665300649420064467061162642497587901930429877931338497926013099732665025903039439820063815658816115958844869957411999493273323328860101025869953758016448500633321383702413838557966075525525484805642844513414923868811134788266290792987122534003437572857654202691126749755298454406267917509002176566699791717937736579246787927974890881088441902474290649269291109457170406577229728978579971045840763118778980902759237179839561140593173990181024692643016621443234512548825859506688343998814100174727328756301205278381179996115719686414587521739827719895227142369161999522844159274396846755698184055723683898656906606805493592842009187238485422552901636256505616334289564852043528897205272990571686579572437620455522614120507404188362079597526503908961878759369534060151198698727477248974216643061062716905705169661306909519185728270426980841442851030901697423115628570429416981888593811178233484374288451139900657143023621505642050353541994944046022782081111131447305412076233423762338918358624333621115614099497465283766505402522852448439216189492953094113474148743361771030005295862432513425092838712622686570919483772725030579517566534813054584194520699396714659767393482389567402062023737161991918613729478555785761573508554630638492110238861035636304469265735137562608837324909230503583468675506941571341229976601384437524005114291068916213199704349752541169986672770211495934642687654830849670249823140101205954475419909409282023486029662556401268374405281806001211465089861933249292546499391717007200532059603502315613539811235998618299225136473284132484087216573070668892766043990474631042875850436213886769672452945633069123490551020473537302096596873931843934764024303423897904385998615495376611921534322576996718543207409423166686309472150678422778024359909566565051109847283038713167051829247153625335165578619266118082490744292411295756892575415617704625752541466442392286570741937421106184701302460663041808884990985794292428375465799891574054094759023416677822556571205349206678972290513209602896809049067142112212170898567992533276050696154088868118229042646383062139844122370070808843418432262314639024110306441595240507590538733420377375763102678014833341229418647995311122984257220995745788590005682877778749878733063787559891230691797377121966127563228244991225381806054684273327008899300278399974533520553085038346101525369698221218927731606078715509712852451780355321313247673948043946023330712860140061339162612051151344796849947699791414553678585284348717385015840520199412895340996370322415723332736104546205778309493055627173333581628392273774129121324723833707115254398180818106715997464523736339729961402270565932636525864997857623508308583605241896030483000756055003507831495611159622230348621003861196341192129914153975912647119722406850833069885435997507132151081163115414942044353571866277195923359151624804964161120967592671137868258691012252164622741198968993261731169232370319335095305502396634350141994489281174075134553745856764273599765012052776324454482634348450449845211031121205797406258034471830226629812285767688751267126509426466287733268159044480398969213288819861696273125825121712694226906893338566370118291348122798604800946847051615168278771064836645710897036442505851264992557155979432875570886206150307788331401980144352284244692056162662737564256287538813822810582400835196378152363005809815041799050395006310134794936425797640709105253538840751505755973534873673255133604628992014781657449161580724644569545791859394046284858670796737513272489637263465996572077425232779248748592494975872429814275735039128722719217907261037707895466029870848974377213730855581439197654772549619991283575351495062803291863191606020947843689825173887453188909304403077204022162952511234622241077911533858564007982108433293290686856319684025375251619471542524035254841356359947482475194759057064991971184804424315397505092790999709035456624458493766634128657554488119785005377100705340746164200519590606160333919700574757140202107945005937812225510515183826573554145366171889125615316224747288483425849002498897188199007501598309992706886916633547116849195895035838653177104941713025777340285582347953196432052634259109805853479323105792365320163330395181917463804532852534862043083824675327510258912941886588435588254536281941153234628900440207418104888548155171750008422698283389144678822986944884320202470191853022233650950911419988499990967219315026716882847316645531310342017063875613079390245317852135074148680062196614020804638535506343681433101674128602002481048693258421508002091189585453084231472987769270999653159840905735961137101515721576410013513077030968557705660041296774994272907232943732143238553877140159266509996463881894740637449127811772651052254176711853958011724948429725661948603892589471830457635449933672497798022192500101751577912131879434235351377287533907063473349566911190609340373941350825260497951784303209965409949102823808949115539750331601891256549101949056722105898958652244875715673387363477549313463562613480091037384802575510405402237754067741040317333541491189021329285675727098457804234765865645073267619582637380705591057508038312819069543204491000531244723156614459961679804067690573333550204603987044890656389643373507440818754467080529958467420334506859573543013535546703778787547905600952982219339067586948677919162817137679815916427329124454585663701586321346020006181681306005763794108900294774400111289057768640130119725137197186843618012531283185776795406447279335389113962127617944240949039420156919560738867955871434084127035289050670895461236182665995487882784249077262664942777657174380650047566118648478761093870356510295254815016641204364030674977642834935861933237764650532413044566611461504440408022807589077165386499160030861193362508617411451311078479006201591743074475444646716591419705089283115982587264266057859784829647622880454324121856573722808243361266000193943807521164879339323386218043570972054742815958469411979296421507528576107364700233500802701188077880209444422579422006605700766758059265167654299617612586229845387208431675228717837048960056164365165152314810521581635627550214168425745956759189517013745548607496750037683490951187037200214102405650958716822714286410122814208554967865060088116463668074408342769748346973235697403942660704769746952289553895984651718717995757220573834153700905495515781404035616927513603063659499219768491427123424462861926635072975727312556524570448226086990437604805182460114824062864495239001186765598934718871277645462777367706890789187582244373139487582288366376821820298409960048711927312521757029240524250770926313235725802916716508395393828905122587865953128476065238729250993217608990624266050695043079123469140713967623767650133461966856964349005741170436285318817323147778583489635823336724636904221499669873993215622347941577455660890699374131629536050503677082396858415402448222055861820588151551475852937453515790022639394500780028527504466299667166973923303725526084958088334200786951031940395378628755834373998251096129360971849276083848753215751329388481480465530165206072353271846617353435266381735035278521045592234864974060134472079126765152134269809362510802086403611620289763495416266290349511672471605775214421402915487366133238819190912412966967663367201444822394366385672024519680218133829345475730294431362163610746460138925322009507383440906200049769954795544438192990204869735840400151916318521313773246598078292765584096110345649461297844322251600715117294398447913602655989763542167840474834777032005983087357129247906364497901210971910499 I;

Proof of