Rule: Q[8, 11, 18, 66]

Type

Polynomials

One starts from the polynomial $P_1$ and extends one by one with $P_{\mathrm{i}}$ until the final polynomial defining this rule is reached.
Note: Polynomials might be truncated due to size! The complete polynomials are included in the download.

• $P_1$:
  $t^8-28\cdot t^6+210\cdot t^4-420\cdot t^2+105$
• $P_2$:
  $t^{19}-\frac{150851}{1347}\cdot t^{17}+\frac{6541430}{1347}\cdot t^{15}-\frac{47540390}{449}\cdot t^{13}+\frac{566981260}{449}\cdot t^{11}-\frac{3753992440}{449}\cdot t^9+\frac{13180991670}{449}\cdot t^7-\frac{21510616050}{449}\cdot t^5+\frac{12604959675}{449}\cdot t^3-\frac{2144332575}{449}\cdot t$
• $P_3$:
  $t^{37}-\frac{11292144696612173688285326815383722966066361219748756521981213468881}{24345585954947024992516680227816571294214357877207451559207107852}\cdot t^{35}+\frac{2313803763976474037932362533653603132119335202209966305408671821640485}{24345585954947024992516680227816571294214357877207451559207107852}\cdot t^{33}-\frac{46234084093845059697028538124905843690477298452390905285587152199611005}{4057597659157837498752780037969428549035726312867908593201184642}\cdot t^{31}+\frac{3621787775152144014804668398526580402274084880917868847522007379403888395}{4057597659157837498752780037969428549035726312867908593201184642}\cdot t^{29}-\frac{2157131422900836595753056428145562456180266041362156527387752415074489539945}{44633574250736212486280580417663714039392989441546994525213031062}\cdot t^{27}+\frac{83308651143491807007682592352889181782214765465938069504382201976308168295735}{44633574250736212486280580417663714039392989441546994525213031062}\cdot t^{25}-\frac{2335196384712973146251174172777758462565471846367404890412550409237328260991375}{44633574250736212486280580417663714039392989441546994525213031062}\cdot t^{23}+\frac{47897479796205894770471646411670141301733160150396185958195652650811802442162125}{44633574250736212486280580417663714039392989441546994525213031062}\cdot t^{21}-\frac{3957852781830687342968334488967282203458176633906135224344024212990006120629324625}{245484658379049168674543192297150427216661441928508469888671670841}\cdot t^{19}+\frac{43321882725563728490907116003133421507440409038302214934340706547651675486960797000}{245484658379049168674543192297150427216661441928508469888671670841}\cdot t^{17}-\frac{682693149228428373282399882109892758258801975413004707314352648510240629184556146375}{490969316758098337349086384594300854433322883857016939777343341682}\cdot t^{15}+\frac{3795477602075744905884307235214320431005721314694108575561406398511069168601989520625}{490969316758098337349086384594300854433322883857016939777343341682}\cdot t^{13}-\frac{14439883570906114430421076575827521064673141678783488683542559745594097651783928108125}{490969316758098337349086384594300854433322883857016939777343341682}\cdot t^{11}+\frac{3265110533663939699935565832935589186067759658326158453511921103508392211869997200625}{44633574250736212486280580417663714039392989441546994525213031062}\cdot t^9-\frac{4962719609134735081201140504029663586670977523965663523058305315553319376519906228125}{44633574250736212486280580417663714039392989441546994525213031062}\cdot t^7+\frac{4173485951684908680097005473058900880876177418734785098285860052698911279207772640625}{44633574250736212486280580417663714039392989441546994525213031062}\cdot t^5-\frac{3348283196191046197741570341260572703168391386529911268849086741186441377042367596875}{89267148501472424972561160835327428078785978883093989050426062124}\cdot t^3+\frac{470179289136458950100707945007493694221888075272893083462419014468259838491513221875}{89267148501472424972561160835327428078785978883093989050426062124}\cdot t$
• $P_4$:
  $t103-562053841642730023516384744796972052472166744835317139405914828042419356036771064730638926055302157571825571399398404886257145385114726841463770262495192942861670728832124413768787731733855303954700771894884325155083563012184844377456601144906574677785513324102266862011261999994055804575991407406758998473773204404651403669580492980170868667366689558078801790335758565620873543879556838066450666905139087885301617207816509589856944438193024106188246733692329329139389000404656232786622494171623983923868616402446940575496531413331214068298978015784001003873791754011490724271184178665325546117776504964331516885472111211018369173406847293866086369912773169811312941395114196644726810197786379561197166931389716909758009935674554112926879531679635505721895818454375710538661520889352330295365973575965087574899834226860842837182302771352398006768407942634268876322432556824483573472348274678291613363690470119262030413875740713623637721829767841497540201291863479867888334296463895785368292501707160137494854494501390177724727292359089351240597199732724877879524485261075303935492494204219792066520197765349408418743232679352268014177566851744603566237210833308900550797055010683804302029965248439875851182832898252062452959427284605538356134780434013898258704099044749527902588275836513063787007158941382188580102785396542345636559520968076073964585319039992867775460477913637931910859670707542684380045993864829119583859485506430012416919115551737776687797466746322398869479980772733049231345347676476244937251585949050396022784836606322536042842343497183699282688152470278511050225498269629573206016773100658815050407545881637532566865014737838525367555859709016693031269742831964795014592642315287753819723490658770539669274764960814104983713682245018325868001798401477551137321314508937911537057185745092881478277232313214621363486114601311795288902579533174181282793508415448219474884582206106896216413470708130987824688776141496809832919781716972798604284813263398858197300898721442325119952003734410118524099448787795384838519964177340736303807545326079772174326371197268843060963746515038238235533891600158481507347763762587817598681214283939927417589613639715981636133426954940586877346129823782693091804349694914127363218240333484562186597254580121036208435292304682138754750372541661882284778839008763110425383591161752618568719112941154962075658763625675978999760251770978412575840392136613618674375751145854524315558042370819550823817895100883360773061675821657200301986637125747589725328308641382074781738390730676646960793773599025581884245471158291650234078159042657399043673357244413008540022078273836788157109620507567409817514563236407688418018261338024409147590129265545827255330023520998630965176451207464651106472308117546822287898976097560308243089033248304497566805961321873788020436395041091759862840644008806699404740641289858448714308394913456849262906476405458385896142792526834429200633839579493384225093760476132562823059147146115162748360694629836872645295533341980984167430402808690670510859715346335490557004041444400015622719154748718534597816457464019974150219226962247124759401426880503303219941668802683038701300313446814919082769261005456705199001517296439095447389181890693829937924435713769479164301042166695538554319072935623262395393066924466701362094939365467866658744124869246898863529127168423555942501575507298853336580894266076860131407185222615899993688172497430867499755303823635860620498437316505283707559058244261017640067731771734189775127390289734773670353323054730354038770677721083496212526125366270890048213383280129284473104342065999165277982307338154413804207366646715200955330240486818556666333384029289803360923759469614195099973086515194153826793458069526505654171240305338731922454927117755403616652409472294898155005468222439619731499229413987175212667926017312128823713587085492634169223839707142772438634562006464581517384965884947367217120070311373735283690063965131910700945524888133846707431711198323028558338312368138879987034374617161027812939362679783310166466034111227837200032675049767183158201965927159023166509830260038027035683046541764285356242463523417763376552051759290479903269775435014075921897496944073205057083883342094619921640956316598714499156283336095890354089888177499062401226471654864561760269590809836057257747006373552036166013904045380033776296472596560212767242109376208283520633085806070816641927779849421583417647856436324206057090839947778811816525502687518424672649816368806482257017415630309100435964457582760758432273826458397457633910633836500831672203334477165606632248299937820001600665043516277138165125844701265389726991447416913068088117836165686664969297375516269060055826994339219834332240056100296797961365981851099455208509801914481990674461572305829747869280621278737332543795253323203895105427342335312026471567771835951966223078615203823463304690757420889555075445438084658283788834574576292496379167275606013845416477349560502462305931691042109693308929753378247938870301007618153375792723517258469616114779415753034488410754831171321398249957746493415362445786429365356369864903714207546687315889788687654373255201441082769416681189710817158285575089914510001080151389632561946384902729870941088717730425647570862762237583863746870956295411889241494578086168886859577991561720872717354052843892119911729208346178032468692686152017128⋅t101+4038407455553477298650191663313986398026927373070797230722420683425905778793115870092823596927721059180919579074814843439586112405196333973279739633221637994020702526433746136806874324366487087037191203187725110298595543749471582921819251226561537273541725240227249273009626860469064238650358078690743878120351706728674105500163470056205834171692601870029030393753844818855040517667373755257781651871571009849570625923488511340241036073305677608122699437857498853417664046521297693792784427002246748140896338187156685443942280298036890599059787209511326207928926558718211117171235036471633948003692123615037697713622973286693063783327610139530355712662938758307210914182533347240951445802190851333567543814915495268795915788445485244850269053008482385731200012672816427523746435286950512104184285026000220895711359438995187066045512441028853227228675288296088969749818131427860842154745318513856164784372083922706007127666898839605772160778621310195084821585099521166096683325353711105864342220102208833266863063387056844057290958317982131606670430886603140663941824338891745697716395827527661323168514276845941386182819665466000144951084897563409279506002555919120015994910705734832383305868526379546601634665827892228422858387141625629912103444939307552435427851412422275381215995265836250533762100506988450531267775201154667820263769933146927351334999270390095450050967435550719929907287151215608989847146159819173708201074720266188245079235443270384203607427400602789063839585746280248974397216327657788724031502706076607683105727581214645589813173814651774729506515822164198974151847449529968535731264799657365527216798150513688543640391539080191437125780487475060052992226698220378682965029740824232012247548528958243535219160913994115474678468592413883586108363846262991926391999474060658356494250527971399511434830097091333327451817759557228576993498693470326188872261301636579947278973843463811892997791847075171652094329159322539771685903173393669964460540906763260435326653802017760705390748001511358977675999733762627263641760324815381405441857729577035796041217518158509924619283251406059848252541687306699047705282355768291592702558380584124934963499940133447259811788654250994954539784890643292067381909217437095083594704808017929718605717679310204891490431551454942180273966213550108388367193140972641348196841987349141053281464080955168275349677646285916702975472197144997116938168313530634579923698456511666208742687678963390535826631520447935205586030733943052133031918812105088081794193518459444097682438208051053498407240482815033963726153029880853712503737236782239886800198045997700549686958418878407852380796679117680186751064850825278763359477201683375969961581505109306250559386000292672734606002795217757410725359500893983134479814321965824387614477770790998319720413215487608182724800519396461901533859592137394698395654678126682042287934375075959019986095851517037506040430802602555727651050497327943203933846869416275962297522853039755693741228541136841557278222464401367405077619675787066241241812787278464561832794595923290936061553513469709951026315396842408238698151863754231253671552041621909183014686570175082571172483123234980450781186110888361499418484065978147970036062713376649333689955422276712251747907346106136780421904017147366355653837848683682398803366654061099943394635451851984832781522304761043588810413456207498757482146128723408342828917744309777106645975131399639877617949035897065125290844763843027030817807782689482388409501866863180632707714001917741555008261192092835637594912756470221068975077352933943107306789960730123709380824031107740036711195250290912328390388577024588057891764001147518065113265353533075401825242039612310279928693893960869864966077566224793934432277434686803034603774472412843956290249610493320841898730721544796412101742106963891109470337911628508209787565431533116840978626741928446142523408220174305470451178496765586692626835453077026812517017738852022619728161725368059247356027280942121392732519852950730467187148915435991614449582981088958346242055876174398237678568128739696082701643315745753006551276048731224549826520591203374551284303595306282265987703615083931604490818882915213955459132276137959648427924910500367852802491265367887398935126675756344217807995114159419346305860832298320166373335462187790754065595523205111795022494094781938797333078608102030447238302933910942260637071294358075919017569195452606721038665532554359117371864937909394248518557110480588822593210240276493097540092648617583417855717699962876077388223158876246085983077607897315813276788481137840032490131058301755010806306620271454131924370595828122985635524346302822637488267184274492805459979031659534100096619958357696526147269025821035169383967781968493331853521528619543059043257378594884969206604965647838225090222553298093423346715383728801129384297977021033650746918929743903064445420481584238304846997255026053553638128008223830592435733919065887694550940920757268379701485370862705912191637183228310296879148985970015524300623330657998370287492230898066955884338374034815006309104833521184056528036398531699504097267720633977733948024605767429358230625493677866111501723887460619603645165854263169404255796475152294068756516755691507889547857877051429199283216080423162671567803922843611488637659505414226737286753180238506374968204934952452213080883941447926649183438947484320⋅t99-1566113717768396507452125236037228583167627309598516675148698364772826928283566223588162628777830748567505138861810155113011137076907252454321377939076407283455848742510513657839533148321861893348137884144910335522341677618645503504786619263201859313442086751694928746273780459404597940391584112652555619464145172081921747070295447271275231519021806388840838215032208557523138113383736565031748307673148634837040746560146595478740207878971468535175966427191965690941424515041345070335517626028082408544231627354264946865630328140959736863392513846238750698094369607462528690923382150627599759161678899748583326874403333362700770162142594130432921820473333506025005314597737028040804798372003362946142580476782728637969187908628257454311877188521665185627545943266036254266816645126030144380369090798562145400290343798350696472274201463325380898621333514366903512631769265395191332711521813898827014815678152588835186676645082401919461929397896737732504272957527963185700238705577400573042897902660234192169096865861720128729241580462554547274991692814755570899769690594252347532575899508792766855935920092684907891683034101678768048777716055174202982434443119907923434681418438980658363585549342718102317738279799448070794789959851260834764578396042922591895573098274369958403177996507454909375066136977843282691526633755768930702455329195033838096836248170442918904044630656549638581288239751236245867969807841325276244893088199011555130793922094221312471252066185207152267670637725321177963039937146090199651523210473886840005549189510726038966072964803842112146191435512074098016100893976145413859929837384706290424823056580398677659867414792478210812956521360438996542734047665576155782842115776020280064081505937700080133178064781130810680813792776850652999501143387310135928103004937085506872565279686346877553335462868351817420270422098318258203134746796336441106287103469640562338016491321826180667108440566654916329595336963521834505807143079296168167133810155518590147648266471567468454417475985052350873943591618200332689110522148926754173028261924036221808070376820900172507725891029167392353526739353629699962473908320104500317243742831479729574786776988491420677360426927876691876969292382732616636386148864076364284081300928073617906109311466305398274754332953651431722904016417735397078930507964557605481707887581148322549034985225430319158744529591564945569732963141709393491770813519905765559401320557777851147848939647100788304233746384389053029107003832156016138917047765700533255775345400326261738424713520295178751610965300429198728425021442202577793976349322982474855074930705522582909337656356877384659579318155620430335164748103808399100171926971662905715217031193835036435416853128666764224244868667598405919136908453166964661044826604773988608129204825923596999439906804405162536060908266839798820633844619864045798232798551559375560680762644791691986339995365283839012502013476934200851909217016832442647734644615623138758654099174284346585231247076180378947185759407488133789135025873225262355413747270929092821520610931531974430312020517837823236650342105132280802746232717287918077084557184013873969727671562190058360857057494374411660150260395370296120499806161355326049323345354237792216444563318474092237417249302448702045593473968005715788785217945949561227466267788884687033314464878483950661610927174101587014529603471152069166252494048709574469447609639248103259035548658377133213292539316345299021708430281587947675676939269260896494129469833955621060210902571333972580518336087064030945212531637585490073689658359117644647702435596653576707903126941343702580012237065083430304109463462859008196019297254667049172688371088451177691800608414013204103426642897964653623288322025855408264644810759144895601011534591490804281318763416536831106947299576907181598804033914035654630369823445970542836069929188477177705613659542247309482047507802740058101823483726165588528897542278484359008937505672579617340873242720575122686415785342426980707130910839950983576822395716305145330538149860993696319448747351958724799412559522709579898694233881105248584335517092016243741516608840197067791517094767865102094088662567871694643868163606294305071318486377425379319882809308303500122617600830421789295799645042225252114739269331704719806448768620277432773388791111820729263584688531841068370598340831364927312932444359536034010149079434311303647420212357098119358639672523065150868907012888510851453039123954979303131416172852370160196274197736746758831032513364216205861139285239233320958692462741052958748695327692535965771937758929493712613344163377019433918336935435540090484710641456865276040995211841448767607545829422394758164268486659677219844700032206652785898842049089675273678389794655927322831110617840509539847686347752459531628323068868321882612741696740851099364474448905127909600376461432659007011216915639643247967688148473493861412768282332418342017851212709336074610197478577973021962564850313640252422793233828456954235304063879061076103432293049661990005174766874443552666123429164076966022318628112791344938335436368277840394685509345466177233168032422573544659244649341535255809786076875164559288703833907962486873201215055284754389801418598825050764689585505585230502629849285959017143066427738693474387557189267974281203829545886501804742245762251060079502124989401644984150737693627980482642216394479649161440⋅t97+207747936251816794599511224463712055165877927396953096621388717946057344200971445269005081431163400596567984463514019630796271553143147122507201632615531206403890321508560781058594827311155325146971508086279070206127394876984703722532155125548437550593239646719348601529599947688934600163927154134024180609022360797893599188818842545323468567632612510004679445186596004724986632580180964909660224687428084184823469751171533155291052071829326775950378992765294794160815403345504007448711058603082783733571032878542708715043698675083209304078668605845701625980103972512450764591535095337834628833030330895610240659852391117250112427886958497852088783020102993262252727614442315934631738488497081396619545635644243236649721160162201067371955522521625297934210447484858750783024488501313247754871520528772606210332819869919879956435084688115876818516646430290239748188075925622558211138840169007453462382465511956233063952370480247119321806755289484855887111306746800909534913736951158725894073181099557780964363602190927426534949890348060216791287867478104558365572765396206660609084455147753808016180696974701204860500960773164682634030339692564421926756547324939233554778869420427282108421531926879837290813347535697120378387224970663258449634842527885013164739031893974846468387004542836907451735240876006024823662779815355197865328757480934523523131341421174496331703384992398024992527373826282609053156686674985124649766613366327511672546124942565759205779790211563145250800182791891585983017292681716335673138919539847431011375164989790469980068840849626897521502225670627298345922673706440553146624735036499002650529058772202951912860619350288339015511297455518647459959000893457790135637636880126798779666025983273751209526725231372374113292932386273778160950151574636165217227856368214887398110478042343694739295612763321237501808493703182144593878359123915154236095961028946072571475139587935171938808976041817912198979675897996049198549594023822481747636203714689316446231806789106156824961986335095789775581373815916172047197156004474471249136989956744661945877157188471098986738350109213997382382076738403483983995438671370076933426199691764455445439412372385359977301651388342553089203508577655816623757287498871429638962617247217898508239092776354844902435709463384305551195596822194381597938462698480632865092061795029857515245345716387758945056678447454117001369450327758267263327647474803671294133353213751895166588508067111843666404276857796310895856257876892146666920638386447119835914383616236362152806521924665366954648460962437839375833402340076605787399791808680680902645715873362082379638663770691164999344084366766801462951289262157289229235302385884154624508056367593081977079323127964745801551165493411814814654114276844405354738110612743015906418869254356732185192291094518190042084323368441442752801248078129455838328191901496969794071414824126052187902582805926308013040298782014283253793545356550567635838098980849388407906262600176871121110705176828511268025260253574579061327247246911384281671451078581607772575862177713811358393441961126233621389462740439471603264763665100204877897425644459225820596118669977838821927937627214160553145396389140286387708315946917965549684184241191132380896241468556763738066574934263908934362524936236091290881041684965340598023516713657843266523829699991567894815519613742068215233531020695191317899743414655374482234064216993264044841818665223668196418091351375129890254445164041477248368043263334381248254256658570359894374857353350884210164030241543784318092028879253037609292171665567909970549898468725986791869655659718367364871022194569334826541835340469059458230316706826349206081845745100306373725299629673782809945244483622077637992610284320211100991407852491070403840056083400004703788072968338322935614600462063272824187420984139233166908622880192790931631093511874096787125519257186721732220764555374063566923818993391246032857609470922227901308242106340194015915719884559257144450714010986944588993243381482355220638871476091889251810755556582789799771479235082896143724310659696411082320389238318709573452490934721763058275490114080559133377885121806809055123296009734829159944837503801340079450633963933401063531186136668002025651949619853203706449803214356171381508624354382374105044922535421062411181096881778677949595290996547656272987092513619218702344275625865316622940761370363005549727993981376477860097802370793116735898815621504927322538103322070884170919789517148352685547120759744014273465413416962491037673192114635303809803243210157582742044104255710311321855773810366978950030552172197694608999301557273425087438706899199164157889051823868279035404959978687816076654811868937888867795530730512085779295791588580525836851486397735029244433014658823664101683578212929264106552890336795006317933542592978179532479895143737591533762645985736779278211478348958670327642686241560728552396463015689085451638083834282078443586302139909389771049204781119986880013522412417872465572341334615677071110044573459489625641082278793303652487391362523708823759754866186993382384519533438255617662275499598592912218007371715518919360081989924530410567375598622315116492690390959136603541283899319379027594797842555721318307158564409538805164991814603646748372574756201045226242762159309360791071140889779595378695401707619791855264083787331486155247996729328684889674011240672226421666896⋅t95-1894158606843083810703851528361925524892946721974118182985932533246329948635902832200054563066991362600936621991429454782985208176147833275014628965736011236321806957998815320252092650779899097630536037593401991726356609405213061278853824839428842331976885098424045879559159767647582512189421592792590676107960347257685095503206393805692154536801680675205273313755610649884851162068735276958231109344097348471024433721018428199870900755426492773698147916124454538318218944990257516984285144796216793061870307736839205997705651616926140133954302214021633074457727352883092401951171272644891603892784742504820563794349684784914995211097816070818326648641935924901177055939484079620590613162240445720317300032128351868492383102248028420740547043839006159813438829158960420377329749411578596525821538476643292822474244140715943510538976069444075399296915712405709519727221547011407416917181365174032081016047070426450848521029585463203917221439503024870340506022445003182754578344692642987875149179698249489033451044789548518955991219367329674001747973016730210195004122113477287139730104975370937017849618847192542501710672670616420955021788511784736599372720438753889480558652751922635517530034288966622640516747846241006082456930266419897230269400458979463235582678109762975951540521289514725878585893604057839302030947479971926956878204078843360127683853618830000719934368708761000180920281554569820512819738028552157763167390655197703901819752609289929289278614664324279167983754803542030615186549761105603148239950208382599464862263939108955206965997990713167008201422471924120281190151302107079143718814206433932765304299250021364545560287822594043147707590644881991327856786628467814456123942880203239686548359600405849950249780310875528040894373990517700446885347351729640209150947134809307231739148232167941066568594829880148503605334745091176226299001436419521944240310353222348536283486627278701211454219058980833540605516325872574104472660215163763902169882128634322852424114130539877683428490169967584234784097802347942929468977803265686844429997132663137586762452498516072857924990116457669917048942383364152724397129001816974082913990876608412080184789615466697338509233226063910119012075162450519192152749148860510028330867375165490293172104165771545523509500609206032962478164852133821171404436175633240098401123042559199735753173168851377203389940776897028587526061610426915383351433166714331337132749182436569230087269440178983862777855537758377460402684761343689219895629576923286038889780515778560295909510251523765448714109947369503793331942050865849584490181256638878444504799665802271330991253286309012772382607628759640858949013988396720346447074043158715325317104581927743440722722343207298958649621816665557889518495538341588749965727549817622251274617898303373012702482497626516101176018058241687126313650578475172512184880931441914066680552212319850025462870069341247462045864762725828042505292476985986731171924848154261462542330595551825292570318830840286477111327612216261164805769796356308327952279017504237169911478348291413075024250262200441051407858693171882844439266861204109329297539331867157669292345244969806830951535695080691624959099791683647060953442289180409269073604838346490331930468162530003617214543520215599738977613841065881761054595988960950043705517362890053071587112907647098794208958619304765115754778394935959412358459663308295718550959471183030036758412380069126984552087787063246643574306385658457931246516630186656816518500358702175561464895604601529176442053456324540761157487160129733184378128780548176211125788635481027816111237360759339726533176556173823414880195482453687075502526935289076167936469703941549343811442717847043350941822169961157957102232943270657790187441771322906223067749128019926200672641694434472380179792887866075048013858801200731910342867933071867569103223246372197995840558949253777701207707569331418491090070106116054948182698638154341878589887078621206647744275947943491973771656452103571133076226033803551976796551358621081140163008938044591338941367321530616854148552576424336586784771815661079575469003706203665212117333395086313519956073037572418373694882631329392080569872111763043591631361440656842476352084959617543524289668228795639008130022321859652932507555733282676679497021423922565211924798896854094350946792126612506314847037154229447548274435231414498740277080528875961909793611103139336836333993985739023415693233530633875204607122948775056136436441529900952214434033238268643394041105554118625636218387266472392848444801863779052534332112306908566574519025375654882477989854368960624270329086900122690099787503735086585480474578134410813163902062909276952357698961638097258118108094760894463228266439298197167015194669762554876109181953921096211783966540751684448884767237063318161685903464496590795879673144625005554475589328058375960359436784241403901089856852904132543184182992694211243539219584245988302337217432841206007042737260036283700158123841933704975755762576844810850041821168736374004707016466674765867442422305696964840890361797644945864740053680986293281670553325705396442598786447175054155319205468491724559207848711134710602991061658454725907156534306403597602671200946056091485468148517923674710564049138593829488321485017278190136749467352714988781238593123173147238482139153442444189630235302763981588402520200463532294001939223383607416128378298366128⋅t93+320181421030666817814262639646503239392378527839376387635606999908090586635633430854976488569790667393052671951409561926126918455686179705904345720801644542502867292888654086570641312031673337264451383971632725791566026222607155281184972206518305059167479581122626408022411122845545092974313805130901707414243188981454221281119665273242946047701769566915384235414294762867694494827890572772872999911874255876401212931061290060231164731758070702749142128440330282143158331345857856341717836254041518942761103249678687448432745373372191162035586408997979924557297907473430395833525038250606399561592022082479269371703798148060481717279844240757466783448219525629675012420868960387432888435278841796413000806201181081662517837258867361584998398967455071030017062111883160061178833716849061762999238351308756704692309826932934648606949800551109087472844458917070573797143540073068926985952019311884294912650805740821045032691114188115298769142246895606011662778144364630151683322457701190674868463865610314758428373419939782887766258846441851220021777202189157047666670737900250616512640729748157619521649204192434230712793408644196857189945851658832206837769110820313464258674545224855413409860479794103812764630271019388404358990721587837050606465608759882787569305792546061490967982630036938537980733013210527544187185817386908260691169737308918271127807537951705131676316905029573026233524823654959102256179671383299179101102873527867369131803484703343735188543554822872397821823784279699188161141145234948919511456460890805788121566039276692272487228682071331295939309738895293586939083767939607383281897720593593046161443984646702934158697426258029983739574699422634026873685518885824020516308657444725813569830678216191321422079450471523368004926643517478218252817994002272073916602142039989528211229484285006754856185615376073592524852713549630396755491403472508411156822593323036089054954638360344659874999353717109518324142484557758568158664494011708723678141884703613048451603899704252262309195081213333862517385827884424184199474773909468898400388150346840338640990052077194971921110083266138705431971643242051852528376313563694142223189276351409617820621020897324312533335299435905970525945121289248338661126986267355391572399899848164801375990977458384500724946313383250760511090228079662246206240175962780773151335253491108356978980135069549029431931398348578304616485553152903754209462673064018763769209081980069322779870483317251042487165341757892353072895442228983531671319408212260484276892763844834573088459475736818530439944920195748970631505125584935945171012986779680063712357116929971606960024644706857510926076326294511095601031108971666601989986940835020903113239816413490201146907574114402432986216540605555185963172831846113862916655242516605874083758205966101124337567494165875505367058672686080562375437883526158390837394960310480638022226850737439950008487623356447082487348621587575276014168430825661995577057308282718087154180776865183941764190106276946762159037109204072087054935256598785436109317426339168079056637159449430471025008083420733480350469286231057294281479755620401369776432513110622385889764115081656602276983845231693563874986366597227882353651147429726803089691201612782163443976822720843334539071514506738533246325871280355293920351531996320316681235172454296684357195704302549032931402986206434921705251592798311986470786153221102765239516986490394343345586137460023042328184029262354415547858102128552819310415505543395552272172833452900725187154965201533843058814017818774846920385829053376577728126042926849392070375262878493675938703745786919779908844392185391274471626731827484562358500842311763025389312156567980516447937147572615681116980607389987052652367410981090219263395813923774302074355916376006642066890880564811490793393264295955358349337952933733577303447622644357289189701074415457399331946852983084592567069235856443806163696690035372018316060899546051447292863295692873735549248091982647830657923885484034523711025408677934517325598850452873693713387669646014863779647122440510205618049517525474778862261590605220359858489667902067888404039111131695437839985357679190806124564960877109797360189957370587681197210453813552280825450694986539181174763222742931879669376674107286550977502518577760892226499007141307521737308266298951364783648930708870835438282345718076482516091478410471499580092360176291987303264537034379778945444664661913007805231077843544625068202374316258352045478813843300317404811344412756214464680368518039541878739462422157464282814933954593017511444037435636188858173008458551627492663284789653541423443028966707563366595834578362195160158192711470271054634020969758984119232987212699086039369364920298154409422146432732389005064889920851625369727317973698737261322180250561482961589079021106053895301154832196931959891048208335184825196442686125320119812261413801300363285617634710847728060997564737081179739861415329434112405810947068669014245753345427900052707947311234991918587525614936950013940389578791334902338822224921955814140768565654946963453932548315288246684560328764427223517775235132147532928815725018051773068489497241519735949570378236867663687219484908635718844768801199200890400315352030495156049505974558236854683046197943162773828339092730045583155784238329593746197707724382412827379717814148063210078434254660529467506733487844098000646407794535805376126099455376⋅t91-19905145834239577840054428732568162705859388528627924610241454056522117306390009468041383405142089459450970992835661679908579743148470763206249927171735758825890395330470481626621930793578158340120873098600008231814703999504802543673324198895928346189060155902603968227319436615148743091142884770790345387744355200051010592087762731008765008398929464321853061024055568642478641013988912960579245893723072125151336972388070943797486789898357917274924833675667254044267946001270804454881403954921626507111788923381348726680381892883412502145621752983219564041030703762307671276262416665320548699697888302504699974970797765728775871228787680223350412092826495986472198203600081926253422623806446085136342267661913996066881347817070932398033300384491882737070600697626280844605559351018334387425529298906260214920718535489689034198628974383618144447520902926435496594734564113021421848721406261105903413922333469736813379650336466679121149783842933776009177252551969992746280940972784947168797554268367853999576426110707962563207831912042561028858759872850092441519803907655694261822571349125874284147956995124242884225131318016601838042003680577620043744101383782082735406388405615054690507777194822173430997536089614820024202054814544734310651758379388526939950073145124486134669156514687524809925437634095861551490274240602337593767911531899072958236658465836485206313893194171236834629339017769750027594743316196216483849247192287031062869557587270255561965273943989003077591060637527972070521000687356463244423397012396257782098711646065575455441606432091162189669789485441753906682028666069248905261565066029531110453437677417509036317081920591414056049782138659169918543354846598510168022451853577734534649579847816457449318821039295308647113100169984031825498186649244452611744752262476337210484152250199613108256728692548717115996535631533882024764322496135145075027825677947018092319381007853752477812717258956050694878283042650494418189202154273099309651660360603322687716622057578323068131677731615642076336882848365936059446577597421958270881368733021842914548607786595041954946390228486591190313926057111163174313524445688899983775892482745597492868772451251060340286076916115939754728968822709151860855214012152454750019509943681627729442222495380016629793580324907783403541544922881882188348638180568399331926610883165604362199589671725811648273340019170437532449185905775628248337560082008707891884221750703418301203586128213818221446738149701594567042020772995298676498592207590350865185960026055056538864020290693122411982293902212266049777645738638827068725636966544223338078294896708735555744073647031470331665371838550972147521207799341512282123716047899349656172241803744231563725612203613611716036494793248109083327789447592477691707943749828637749088111256373089491516865063512412488132580505880090291208435631568252892375862560924404657209570333402761061599250127314350346706237310229323813629140212526462384929933655859624240771307312711652977759126462851594154201432385556638061081305824028848981781541639761395087521185849557391741457065375121251311002205257039293465859414222196334306020546646487696659335788346461726224849034154757678475403458124795498958418235304767211445902046345368024191732451659652340812650018086072717601077998694888069205329408805272979944804750218527586814450265357935564538235493971044793096523825578773891974679797061792298316541478592754797355915150183792061900345634922760438935316233217871531928292289656232583150933284082592501793510877807324478023007645882210267281622703805787435800648665921890643902740881055628943177405139080556186803796698632665882780869117074400977412268435377512634676445380839682348519707746719057213589235216754709110849805789785511164716353288950937208856614531115338745640099631003363208472172361900898964439330375240069294006003659551714339665359337845516116231860989979202794746268888506038537846657092455450350530580274740913493190771709392949435393106033238721379739717459868858282260517855665381130169017759883982756793105405700815044690222956694706836607653084270742762882121682933923859078305397877345018531018326060586666975431567599780365187862091868474413156646960402849360558815217958156807203284212381760424798087717621448341143978195040650111609298264662537778666413383397485107119612826059623994484270471754733960633062531574235185771147237741372176157072493701385402644379809548968055515696684181669969928695117078466167653169376023035614743875280682182207649504761072170166191343216970205527770593128181091936332361964242224009318895262671660561534542832872595126878274412389949271844803121351645434500613450498937518675432927402372890672054065819510314546384761788494808190486290590540473804472316141332196490985835075973348812774380545909769605481058919832703758422244423836185316590808429517322482953979398365723125027772377946640291879801797183921207019505449284264520662715920914963471056217696097921229941511686087164206030035213686300181418500790619209668524878778812884224054250209105843681870023535082333373829337212111528484824204451808988224729323700268404931466408352766628526982212993932235875270776596027342458622796039243555673553014955308292273629535782671532017988013356004730280457427340742589618373552820245692969147441607425086390950683747336763574943906192965615865736192410695767212220948151176513819907942012601002317661470009696116918037080641891491830640⋅t89+52893121972880116519575262117967786143526965062390420124367569533868147602062962489752634822052273092647479670833705292475344699194610757776743870449816518316633786777082492013866417804034251524969124271865615345113799149191397651366964021376728034529328149184009446993161886538198539916402102351862432466618970725500616938013734253054647463233041429067700184348522368626438724637420773226811976537352737268320817756471148280522225827549300900639573030284763432629537770446695951895564012022414007467144332729791767176569274487843899267679822363277272440610655764565414331433720324754438008929450253628105579834972980227754568184505788685882358762578625980985042678079912471882187282106494945688614374306103680821403960476545563066871245936100823822436601446613006082111927025227302366289357176540528616881895852053755416009102395401610174929303339280239642344778243769881523716724135707776573216923119746044505672375712230834859865625407385781743231273986037260153431147963106632210018401484187727969301287500200131493856774709018446463623623296725478925024009598266420410602865847700260882152455520897999069538821113599765275679865825880679433555089809324057827987613209313891285979249679225544191742926985467368227193824010894932857734215722883934632049823547409557506152669911014128012160042104047121270312251719605854479045849757407993998246970641780322401079492570182849761180703966726156141180024454947406545199575840767044655769429154070424588732267534618939678881294298635086576962138546308597734829763399484066254319345234957994311503860962213214641829998072980701146254926585766162086631125093361726765582933363334485390989237317111112473669132342928480660450993820638857600524855407123375055228739083769720050963654146423037471430735797864508236058748241721120627449254860828476959331407255545748918595518592937767558628674963042699401238230937207603764244825411194742466648251428828786409845596098719195131027989022131574044870377299200024298061364888353967250541567582612223180606788756193649707662401384237953004419964080830927989235459087416142995700547187210854069565500919855801456247543042864665142568917410665773964335211485458419497480299610321647255908091030439828925031169460640506571859581891902678841928859637062886434284947435146226164827097419805474417792002352442316401595376425284539090762858935862827800729653703603512917341300832119577293280932178023996627995364006435147805488602895468326190332933240884290063932337183887650126059338119533386191304306740903790684552573026301385941589077802577256748134825045971218261195831386678694433251661935222840545926179163478198313431757899425924035419814127045838636583689885155935212836480140052974810319605229589998483999762681169508739362772038061019085314102137649814805976285226442294510596083700865874853037808989620270185576010198500452314637785264279351404068644297120071108050554582333338673927815326932870334642054325946940717216433010785578958644994610281219971095443946716362434844443009727911661088784725568119741389313946601848372998598580126135491929809321988427491672419774259624711639307861942849176420450724170938179562001580511268284358410445257420132786526848781135206036569496778830422996801402715751323957377080488105232630133265512280949293280770622005593661621384514991389938871492985020998457292673093732891293419251181379658810633499536234214853578755813751837844206138235522484485887806045596522873531934629522466300026587301750802995024325632143963994484022281248660242379483390968653984116221369794190617154434298631559021663284908137495061588358917068511069441606235048380244415779929273552831061284510205067906220701313415459800943725798270202667418875449206334501515980516850554891479632058054546988446599214270089593565637611610554527431887008872211203084587000258708344013258607761458803025413480005330308154127657824179974258410603501239710143153075323291903559145269695272142050545573496180810044636518531807168520900722534571953315848710670875364593650759142944789270604281952394628385981529537135137931185053908849591555612053438987431357929559287904837086283302609527621408107529026539887001409696968205151956274430752335783681699374498031781280535415603796966062709073704369784868016337058494215237516740111410857229091926203854739176789589425982974339491030575777470739448158432614960328497827287227741004810121095014290088249057028628935159422592414261741875369965305235039668975706282305379130393621420474434859182771002739595682713898629400588423443159397705091641785920785040597737932937007072025566304941709539178376558667050812425734064067122702067559570183842251680369470873203494961585650038379809128879455954028683897850312755346947272798827829884216014652791583887728754190178164717861268537371928921026831751875426608443815806235301525592596801711109525860408968523725347486344842613799874286394232905567534356945529215522860301631309192726868020347743285840070381805465862899699840094610885514314397246617695016437407706262961599278400743732682982985606478773403862238911052451540271929410259525333631700886806524938803985306786517640284636031148574339104058971425152477922610171990405444353540564804509445849172581205657924227331407097971502752513194770614462565846517713881340564672506893721042524634284074549803200571160491611591057487443351918762014843508912748937877745828247093919088552039524608303231738538639820113077668932070618236972453191679280⋅t87-1473358112281534806032428997970733941062385579839291616533506438616053778748053777135078507586122345409080711068546800010258407270674610733015653182682484073546698097278826530195860466001040169960870712828121897885776030808363179040025513532637026268345158222515447504824001615370044089446946395181129520248525321663923659310003747863012884950682081892508497547514742165701380028671980378834845801017883843867915707339458773430665533174699305489145029756286609793795967805234439961979312461914448978891337917274014499718980264469728710204042534957861141809693689167664742107043563858098788522857510117485566893321145564086075124153821706478452869601419142421077202251975557317621833049319142859259696412491036533719288999737690052141584859893908118532554868118941006819365492608260583389757331846971441804550531274087094653893895444467602585801350368708805411139056399289850574123159222295437890301820783931313857449616357656966367758238811427269957659779976932219930350473245817778205467986796756103104088323354184141875958055805613267775201726298479720202213727149026342772622514371285149635368744253837052092305646163984895515220194891566893941175786311147400647301420459785344584445671786703468284195588297434403488589524573743355710026199410448056475845971418164225783628890994687187982236676029010713986081035190537051738661429615018983692671183886274794902026029618933927767247670396917608629090068207637303593868540200025410073650920382083930624028639313874896925463459412136778591215702382973555153939545207097659163712239081620620978939539389041351405120679078635842047466438763147345444315429182716809194626105048656363870031297878521933716043041726375862183764373927482559464192135827706726524358355145267517961658762066939752055601819904803120289927597608485986174363097669267912943505777856257569976369903770288731298450513872921391223936693720599740346485507687266704458797352636559095374742947067148775874803742795126287533830308077518474422691053648868255770901772507795683188609639690900671599044194405597250356516934852631198249640170147929672989605565013311458569140434654734758262607169544918099314754094796485487227632983493381746393667666478332821869070887103381749282231939159182654988304803809736145827832381892587343916595363053862582992652707626495633091324512341010705361113072340195985198145637004675717172347863599681885494351774735913934930103327323256038481568881671962813534848867475263477514450755762073405115886508144402858668215485451605984219615919390909461682461507826966453386826883761190364910303881189066700174333082613383022283921995179691067846358283088657195166946416081976109102232970600776869157767703665212030303666809589357150350688977407577747483100247295311615983315258426762848381946661107045594901150307252492083207667682664614921340265627112367713242435824630559037645399546886186129816718787742299211344563415287018244495358111839450093363856920917907360834837463328036155852739082281951347630391109898958695988545517023359406091169046414383749408201244792957604287822586639797202491689730848869623008753943735181275088917628068283855162148541630237096277311824415067540757644216846244787405265898222625046822297548629202624850032569506705890162621726994833986603217740603797883745049929276679929786659574123865709584584083908233123866851959523483493586896997263527929152747328039362245432848270784138757767520781431851178647685432130417634686851394337776801447512060253465610024321885898571026439123414081012414570560977351074993901167981907977058704617216872273646954196006523316124244119587142355009386472195343312774127891663430435325741203656117578997288314039304019187894050102330185943509265429393279282433722247785680927308623298772492286786681289857579176041520791992411897353953161517322817915080136073062735799686212926398727325907255508941842717482271069350337923849087930181086711818570031392651415382813930518237761594420881867800663590389092201476669895006565920221496252621611091041729011809126137237162740324379760821279495457279690581587354981610630847264366106163501576118346845612261798544692780222567484877496657423958443386346922746772444430222448649816239838934471098867370214569648207770962089531076464493169314991949075089079957644851930992922395450172250676363143415180152060752527704355369814491489078554382739110390929288465012620138237797579189821105802898841307677006262515186495381015961939211860335909907378177568399891311281043085857541856278990875750226117478841872500266952276303491452924788540318359111484053698434960666134086643732107110964273500523192625884411791998077439903093044067902419296132686188955657873318633783197032554180361984146761740119826172981600974230667348825311562859339689946433063014123279698503643610760056279055713789129367879067000497710686109874543982756176312577479869232166592848312703154166251558801530291687033077160869547378521317934875551814303996141793981819325008670973212107892977138475568623775236463920417755359156703286799706900579787420423584911104462781764306450153344285366704683925727044474141513955548454222204416597993258031468170713530163616408699458695527586453622862216972975198569503753384469656717095445274160605544300559414333994992907292456813191209794403468872335446716544565720140605401513508177374790512111730020030501414713626621625531208174784968206541101176895955628695310862776801265824142574068366285078007110485739893859137387094009136⋅t85+9207102301004679330451736652537730031910285708767101709081058935181145602571655500097602304620075731652440265620582248883449055453104014164194793838664351412748599873877717373244840404996684166588673552042723933239371769892033805370544822026420783592544871415911450310319823308841180283348894103037620801940730182214753287151581788660694407108145345734561477402208791278810976460926274127074062504958232820488589650821388665934405377767155738361638171847877203053023357739900705702420041850128034074000607427812800887487152703865990523278143472094975731032891089933470930131588190662857276375308275295697346084567946069812473553608141626846945492174734274903594684628494800947134022634872787923285657316860856126020655358462628131551533273946723686251089679440772203376489284223343452150740335059583385915472438224508350537156364908199450211940477668916572773033867765450479554039451473310455347668707580421731318028505017870457282208127028500419919345747706025758888782573790136219528430789275032381893829854341857558581792396350853327171960489947729351186130585651336205084206227198239379079330619932649932083757293209895179677919382883596416965362929378190881314669330271834723647157409442127528108204398185572619880694347198453021242157936552256174640162994278572702945703309914304510033786803073230061572928026434729247762195544237528029015199788861177956749191299380820968008299520172924447388949777799695538795061183567073910285842976536026448198346258969105819700213199380649408789363879044543960576988183032179517550108339425866792511433783616815739393850470942502999945404664273565911212460642310430138686535027431908655667002349854261051768207805476390559088668874806276151910236011601238338763997656294599236087953617347561428864452648628076426309748794407093893424944835387867497126415474452899629384631450120612213969746012162700118664327618504336428778096708325846879199217394664942665329130315717540451754106067323750687813441404982217095976581094653412311359502031659175437101156773754175499992782432214249817033581855576984203706557993221174336928276712007096953462840856180823666719637896052123880450419240063061856659350528386377080924476836768040737528540834024922362774360252571087085564153970638650547030953395220958670361674091952013374643513047281679489110684110516656391193312293977234637014131263365239192997975626999022990512217220674749137875646938158875843687918250472185381747441224550268663052459990901887297723644324442916926046546328221696604852028386122729602580475649718622487962983503328270053574007020336210776263715331252508079400916632636297383534593914994613314389531190015738534584726316766530631079875347811866792850991721979724756732231882286340756043522501008329403995828814606690712095486665276761398725287576813123020801916920666153730335066406778091928310608956157639759411349886721546532454179696935574802836140853821754561123839527959862523340964230229476840208709365832009038963184770570487836907597777474739673997136379255839851522792261603595937352050311198239401071955646659949300622922432712217405752188485933795318772229407017070963790537135407559274069327956103766885189411054211561196851316474555656261705574387157300656212508142376676472540655431748708496650804435150949470936262482319169982446664893530966427396146020977058280966712989880870873396724249315881982288186832009840561358212067696034689441880195357962794661921358032604408671712848584444200361878015063366402506080471474642756609780853520253103642640244337768748475291995476994264676154304218068411738549001630829031061029896785588752346618048835828193531972915857608831435300914029394749322078509826004796973512525582546485877316357348319820608430561946420231827155824693123071696670322464394794010380197998102974338488290379330704478770034018265683949921553231599681831476813877235460679370567767337584480962271982545271677954642507848162853845703482629559440398605220466950165897597273050369167473751641480055374063155402772760432252952281534309290685081094940205319873864319922645396838745402657711816091526540875394029586711403065449636173195055641871219374164355989610846586730686693111107555612162454059959733617774716842553642412051942740522382769116123292328747987268772269989411212982748230598862543062669090785853795038015188131926088842453622872269638595684777597732322116253155034559449394797455276450724710326919251565628796623845253990484802965083977476844544392099972827820260771464385464069747718937556529369710468125066738069075872863231197135079589777871013424608740166533521660933026777741068375130798156471102947999519359975773261016975604824033171547238914468329658445799258138545090496036690435029956543245400243557666837206327890714834922486608265753530819924625910902690014069763928447282341969766750124427671527468635995689044078144369967308041648212078175788541562889700382572921758269290217386844630329483718887953575999035448495454831252167743303026973244284618892155943809115980104438839789175821699926725144946855105896227776115695441076612538336071341676170981431761118535378488887113555551104149498314507867042678382540904102174864673881896613405715554243243799642375938346117414179273861318540151386075139853583498748226823114203297802448600867218083861679136141430035151350378377044343697628027932505007625353678406655406382802043696242051635275294223988907173827715694200316456035643517091571269501777621434973464784346773502284⋅t83-3972911033559639326714610899400188863295166705182785351384234406072972952838262256998460517271708617991657878045383074323942722695987656107646130485217800888378759498449245136462201488830902242877506851375005002363075822072185281979134439788164445274365165986100077222300931458306667998084912978608177650718334219313617201220261263578449371974847730362151150045799774650874628276123776494767188873335582502288152601696126953391138047651409982412596446019565035185431220370422887958159365428634124719778322097649149128767589357032819547054645176817452614722016555332024721058906217476163043151805857156733559200420229846090672338214465057648986205901261208163994443980023100125028621427978620592500206723408993958134550215237460469788812945932975416221519363919903171045727224591952869732307343540089851918572014780292211972107694201974154822681619703864652185244412510245083342120427818063356289758620841811272047002022247324254116475370145764635564477786132575038507675591490844943574409974451083576242010040544165083935208666806677496250802808402980729328890590288315589201158872462435027572685066083333729982473912117300688222192912747349893716134161872359600128695557187890828348560240278960050373522838671281547349371065267895834691716751623328327784194678293066709938177824911614860169422713842699659383215449923619265211308385644308309048486956225627811611985685601181822095420700365545450950118430857758836995153227585922444296077097922126418067647986775990334793012477088719541930923457364895079599976773334308716812843906723665914511911327079503621746436538788544138548163511239791512414674039150607785239198548278292935236975056021077764024043584655665730019552386751414856311990458457259718955600704912473225862076061505761816287945856980571534453080841481419501329897607256804203394101790102422147423911664455067970771956465702713663783336026766064539302812739614837525771001296432028719763421340106417193365689713469653054847982376868167821640924781088692763324179323569849630866639841925151532261846448371544492251265139903568026420963452072723234610699384880285860312621633343322945070562050094233743391253826373737226371037722426217592930053126311100122952678904649801093165017540263832845283120291425375656891039637518966900156822110949012899785986026599974392848809053646182631056171641825213153410463416360344431332907900346736392912571318551248612357328873349990842591194148782041831782172527666395369794319257661932091872780910581711631857038928584750984996803055727584534638615876557870974223853103851714678771400561625551869699593145916291470342258159205792835129504337625087022388827714044341816799872061715773844889771522963100707457187229546043526271426569042118451705677080954311637807991657629213381424190973330553522797450575153626246041603833841332307460670132813556183856621217912315279518822699773443093064908359393871149605672281707643509122247679055919725046681928460458953680417418731664018077926369541140975673815195554949479347994272758511679703045584523207191874704100622396478802143911293319898601245844865424434811504376971867590637544458814034141927581074270815118548138655912207533770378822108423122393702632949111312523411148774314601312425016284753352945081310863497416993301608870301898941872524964638339964893329787061932854792292041954116561933425979761741746793448498631763964576373664019681122716424135392069378883760390715925589323842716065208817343425697168888400723756030126732805012160942949285513219561707040506207285280488675537496950583990953988529352308608436136823477098003261658062122059793571177504693236097671656387063945831715217662870601828058789498644157019652009593947025051165092971754632714696639641216861123892840463654311649386246143393340644928789588020760395996205948676976580758661408957540068036531367899843106463199363662953627754470921358741135534675168961924543965090543355909285015696325707691406965259118880797210440933900331795194546100738334947503282960110748126310805545520864505904563068618581370162189880410639747728639845290793677490805315423632183053081750788059173422806130899272346390111283742438748328711979221693173461373386222215111224324908119919467235549433685107284824103885481044765538232246584657495974537544539978822425965496461197725086125338181571707590076030376263852177684907245744539277191369555195464644232506310069118898789594910552901449420653838503131257593247690507980969605930167954953689088784199945655640521542928770928139495437875113058739420936250133476138151745726462394270159179555742026849217480333067043321866053555482136750261596312942205895999038719951546522033951209648066343094477828936659316891598516277090180992073380870059913086490800487115333674412655781429669844973216531507061639849251821805380028139527856894564683939533500248855343054937271991378088156288739934616083296424156351577083125779400765145843516538580434773689260658967437775907151998070896990909662504335486606053946488569237784311887618231960208877679578351643399853450289893710211792455552231390882153225076672142683352341962863522237070756977774227111102208298996629015734085356765081808204349729347763793226811431108486487599284751876692234828358547722637080302772150279707166997496453646228406595604897201734436167723358272282860070302700756754088687395256055865010015250707356813310812765604087392484103270550588447977814347655431388400632912071287034183142539003555242869946929568693547004568⋅t81+14902613345272602318171934445477882406764639142198858814630668161702038032067896493129711976223217921624465260862748133787017834884240020763314620671691890845276435522257824459973144875865242574659397352347264501625160104365066174016354666998928262280222820250971463069321393938911437571975048521911843217149298264875120986600642988101268820813122383585425217820438877455172869385662312479481437936702991501394121816788923984530240927685724007495106691554590341971450235501199375490409811643477005587107488437525833624670897147124229596692562312196124602203464155791442178381218197003514735933951403092762243970376677588566441383786570072247477357993466101613285666950814707736849655696059172140682112315616235854423774770751769829112030478335280442036579759075731768029015376842916898463964553291412709765853217502321550575965852472770916248882864504218669347098737062154600185166824499165212417993656811423044064607804755094302527740931589292118962606548993341629231906708259281958070256158882534648969412604828107232551054509839604695510307326898413284826414060562459160663972497825844538472149402325076568580343231804040101448804461978335137526430987468232551789454505766256957292317548049474006243057726410496375714423489662053918616877259532937358295471820051175802837702970042207687903262326330296819160280685942158848869239881745453827265216743504367443595998906112692059889284735911005584785826405318309002122920146859535364026298857626326230796836136595503587859506583869384495943106081619995094459604438178832157403758218782507941912895482277654317724917553927416600856542686243495142586225514340310582787830574950874126047067046903166203219338593423196164944373797778880135499615692032739614215912952577607564144611772720477859283738919310360970493146731591321474663838683182245337037135075519413523686734351067485810599808552825900653766154933579299028632312737154160118806348490094440377963680580211081558951150101432159993862444433262783495282814114322573883285852223032531417404773797076779169428085627838924111767419879579129164862820157231985956875965264518288667960596717483442030792188330382277492797516570909502126734192496014024793915648699474729171477023725825837992433115585506885087951186683608892782600639462036019200291751723577038092022300796588063198921199926693901105199539804287549457550074704832878539358251417219340744458943692715848274160524647561953365343922411673526271745985963622180859818520021868709796133223531481570282554484297564554807166715106035242904496070654741469534882043846909208460455534496498218463868289390802425449718469832584766496211778902619776502527225283397272169728366214001283198216156692335719976349749532124695633502440275071089610517374011452985090391615983315258426762848381946661107045594901150307252492083207667682664614921340265627112367713242435824630559037645399546886186129816718787742299211344563415287018244495358111839450093363856920917907360834837463328036155852739082281951347630391109898958695988545517023359406091169046414383749408201244792957604287822586639797202491689730848869623008753943735181275088917628068283855162148541630237096277311824415067540757644216846244787405265898222625046822297548629202624850032569506705890162621726994833986603217740603797883745049929276679929786659574123865709584584083908233123866851959523483493586896997263527929152747328039362245432848270784138757767520781431851178647685432130417634686851394337776801447512060253465610024321885898571026439123414081012414570560977351074993901167981907977058704617216872273646954196006523316124244119587142355009386472195343312774127891663430435325741203656117578997288314039304019187894050102330185943509265429393279282433722247785680927308623298772492286786681289857579176041520791992411897353953161517322817915080136073062735799686212926398727325907255508941842717482271069350337923849087930181086711818570031392651415382813930518237761594420881867800663590389092201476669895006565920221496252621611091041729011809126137237162740324379760821279495457279690581587354981610630847264366106163501576118346845612261798544692780222567484877496657423958443386346922746772444430222448649816239838934471098867370214569648207770962089531076464493169314991949075089079957644851930992922395450172250676363143415180152060752527704355369814491489078554382739110390929288465012620138237797579189821105802898841307677006262515186495381015961939211860335909907378177568399891311281043085857541856278990875750226117478841872500266952276303491452924788540318359111484053698434960666134086643732107110964273500523192625884411791998077439903093044067902419296132686188955657873318633783197032554180361984146761740119826172981600974230667348825311562859339689946433063014123279698503643610760056279055713789129367879067000497710686109874543982756176312577479869232166592848312703154166251558801530291687033077160869547378521317934875551814303996141793981819325008670973212107892977138475568623775236463920417755359156703286799706900579787420423584911104462781764306450153344285366704683925727044474141513955548454222204416597993258031468170713530163616408699458695527586453622862216972975198569503753384469656717095445274160605544300559414333994992907292456813191209794403468872335446716544565720140605401513508177374790512111730020030501414713626621625531208174784968206541101176895955628695310862776801265824142574068366285078007110485739893859137387094009136⋅t79-18797215463750079370887819629037264243854999372068943197659565387378750197951050693987340220013420433404903783978694997883480679585225351614756395936134502781344571155314973824164152466094828000062356595542350690573291734662931076305960783487757544852770034240016067215806760777389095641134291531984551735323933261674617495629939275315744211369238258026150851216048769840127918061800788597418559918941967514275416652277892435764089212685274222515060981375749001917908442581501682923599957598727474372088418309453270377083866170750395265054756383061764182229678736868532739570766784858474421204916249329416682278982430415331852555082172899389150777082697055313994437321804366369653948700837525633112835103264872426297359522338362724168168621429267081334673979477791019644097875149090181477729852101008555446337054001230317697674057436815394164793377601415257999344889215843165901449712160168294634510891077281542931231902484614083161702481540779132176027434681183679234554104388300293345436164722822145735462864559982865344875576786884169695039093897093594325796235469586221938410055297795582477709272700917400298119006615251526500585694498142972266115825385187755505798270936605299643356156249639341741384215197103813647171005166248335484364940473192280281897863369397697949109983072389400515688772865843467754336888902842836324822659835484778590353521120043858929440706049798470906328145981187149692432418867235759756325137870178916984198530996903682350571389839046598077862277748736945274294425437507840044189942210704204317621913408126597283174802591949648514803610490096414200009926781816133847430810121281765323840632036237097637234572035612802011581783026764660292330210865628164605457348643338647944766257013738990979370026185289433027318229607904400810257347790039138932011227778171529066561944153051876746740842684543533032281578626262168611743950199066134589701528133107553391008823320210961098138069496593896367552217880021594518285764546580071124310838246835342060598515581437609507718431238302112192590814585827683961679563450265491196221048004701157871430118813613560400727078870790072912895931246095700250957566624998026597063248842718548587310731158731523054279524253240406982098804859194796975671311758434855177026949654854445593518906425531158411417132870636792721552248870872769783074535693471737826484912658194247116951138878606156274865170542171553256362131923145522723610782720652681663213966897711230607341321225565495718476092569188847921297467807167559629231529311213156508628307496344655548115471191968680224426429025862521187454818572637875002736610360265857700429122864522879676484027463958017721358222716672298519198619494423581714502957293487605455297304338531677341035347808158172349124306408866032827911413995897008234276530857715942499391015974437128047301641558894393259054864802755740812233665030734375860471524362983672484554718812570406693711115027547064573084104912070839839027756525958717541242757903006329380872894645469992227591999118885924873800468551465108798749954477018830227508022140198972292092499360748526836124846827226441167790391455202159098758089396041663864392021331678801159041596741862834326522108097376786355772832484426817630971142310197654361991550970902076525691277170595431061375672696148405898456137435351855681977660352621839094855682065535347960268737453615174117533011749794464566326571757559291087596751347752417834706049821956317724433437450107256752061649808620019497354617255529684505463572240262621616339582350844411621153377012921685229004515739785913251818996476615886408932634163045164796539183574784257177905702145512571571948133938742778275307483716464561847629838003854025398918731481956107175329417978634445052379023740253751730175906667791527506090464732368614800915181073320116717139839621548928697133523052785609722979025069788885303218670575559313026949071065314456167775900909120771645588570414062610039864443199570837066753897199260699400113589991923581993863192019432431622387825308600702010556704826178798443140098422727483053121660565767816202372866489700474115505855257449662481676811130213863274421913653589032612187952795917134367111110017111434601249218379574699912874631889972939059304776117775112653320716537842236545313842895757840845609415034628634667412549493475396312365579054181182293422422236811875595316183917637574231740010633676736860755469677146064715975154327885783576567770458610708604641223839029090582184607023944695621989041681252230067365402009036833990192328227098177191650224983733870643008575696438341150820471852818748623623920328730809476355837262445538313649223314849543684801484317898937611973682562971829476694811860027844934366287701525090229353921094666719140408581758410745380494851001086406130654126431596927406081208753009951375312846192131591239221118767904321254813652297633243584065254823319551250119907810022437464082858528426721424716764221196293407999703214921678409616051613324008299459779882736047982710497224647519643012054098984592838506137493878737300854189444751100496165641868105131129532748234190318577996580650324784955122922558310112936208733089508954515342976579045111817143247459459630659192596414189973593622726559550815811100043031871845768685176342831783939214954112990179649747426505055395431184731808321336522347085517693848500108824125124740425477551906536015887777013607381202207331604828984712755703274928335868082923623883518453373779799007231472⋅t77+3199452891015752660364959473138193892557357568299238566760933539063673007678140004565064021749012811595369636685896775669394767697369277414668432882337194651514727695771376535688619658563271904595927186671263576361313950479121884322277798213617723808021026870699738020904529994456858898745413589838582992339560564008709182529804279126994634438953857784509805208155879315713486592744932521113522063868667407613157582342362360999828873652341657244674072521029998348253394515591132090962260310419881448115652043905685317660624281887374079215943742237520776253176468778996411506403976958524524448530905135079731655294087672810968353737858779710021545758330841683007884847556595357905683771201962026209368978496093948735072838599354570875298573503654896993141025348113765254701482279696383449503564249327489543403430140263219705240868381490245474835972304449460882189799135974286539389625149223539070113453392196293378913785051269261948552017306194058679475376122489847764587210635226747828477933690647883842276297685407036044583354337450760873729206277448072064107917908157701336324746076032437375076500708608143457082917204838475520179744857928867826209967207307254028316123362369534187465346816817215418755437000848785045148713104009040314773446697851138554085561354098085748754092788496199913050278102292730504232428188292400673722051275233175902627375203733732719074830545282292009681855366690808054489882867820045838567989901153729710679891370892506856842660922200175719983490528243187641944665306106419396868313746295575472663934854576178852902852680216070042320613650545841336275573678276823325722056778826972884940113135781231303883175833138840925720081185589339319844891625125487057387164956034686739644470207444181973370073718051877430195521923484528954643464466730584164653204590973246019904075985682162790242343556235448025165342963905883206179296850393862791670536433560370935105175848058619652767973530992689967524558634107719995320096094044823149341606497426335202690379191057909045442355598951094476260599039484092098478101517190441589727021269958240491465173175513212353891492552916870698155572939644988308426225653780923088778821176872680610316449454126677464914882089295458916390493697608302192814756942109496366662947160472284404972394057917160530538248411619149492791389255554248805643559420558877691989657110914292310496360918985901982022079399284699222458598772372167496496788214326113055774122193754608833986051496018887465563648526106138317062569130180370199843794309312195458060955234833854239304742581285509676301918755114987532948051977090006645377464165343902835259127274378613715771897868458320736478239132036904621767999196224383658440288588541947865934275706091344404793778343183854241315146907574114402432986216540605555185963172831846113862916655242516605874083758205966101124337567494165875505367058672686080562375437883526158390837394960310480638022226850737439950008487623356447082487348621587575276014168430825661995577057308282718087154180776865183941764190106276946762159037109204072087054935256598785436109317426339168079056637159449430471025008083420733480350469286231057294281479755620401369776432513110622385889764115081656602276983845231693563874986366597227882353651147429726803089691201612782163443976822720843334539071514506738533246325871280355293920351531996320316681235172454296684357195704302549032931402986206434921705251592798311986470786153221102765239516986490394343345586137460023042328184029262354415547858102128552819310415505543395552272172833452900725187154965201533843058814017818774846920385829053376577728126042926849392070375262878493675938703745786919779908844392185391274471626731827484562358500842311763025389312156567980516447937147572615681116980607389987052652367410981090219263395813923774302074355916376006642066890880564811490793393264295955358349337952933733577303447622644357289189701074415457399331946852983084592567069235856443806163696690035372018316060899546051447292863295692873735549248091982647830657923885484034523711025408677934517325598850452873693713387669646014863779647122440510205618049517525474778862261590605220359858489667902067888404039111131695437839985357679190806124564960877109797360189957370587681197210453813552280825450694986539181174763222742931879669376674107286550977502518577760892226499007141307521737308266298951364783648930708870835438282345718076482516091478410471499580092360176291987303264537034379778945444664661913007805231077843544625068202374316258352045478813843300317404811344412756214464680368518039541878739462422157464282814933954593017511444037435636188858173008458551627492663284789653541423443028966707563366595834578362195160158192711470271054634020969758984119232987212699086039369364920298154409422146432732389005064889920851625369727317973698737261322180250561482961589079021106053895301154832196931959891048208335184825196442686125320119812261413801300363285617634710847728060997564737081179739861415329434112405810947068669014245753345427900052707947311234991918587525614936950013940389578791334902338822224921955814140768565654946963453932548315288246684560328764427223517775235132147532928815725018051773068489497241519735949570378236867663687219484908635718844768801199200890400315352030495156049505974558236854683046197943162773828339092730045583155784238329593746197707724382412827379717814148063210078434254660529467506733487844098000646407794535805376126099455376⋅t75-406241668818299014978256850513342962832965248120321074627266842766787796724281207029368050647551849307983625374987062744919352174194900204566142951205887865518169890037591520664459650480163327651341243231778931424266276559855197094630666082494971876317410569768216066744069331232104145501061768545236168355307964839200451324423630040917036469627629991866027936605877432420663127194000490113990260292659084384048439268720042754145832216520149579109079468177820462779725166778045135485943098086818024313335910096414789589551427166826670172435663513679650920650939819321218769933029893447163378963571164897460308764142833871222000591220837437197546180387669896290815568761698843563266093949154410300965409304936033745834235720581542068212446447701001615010252968747567680691247429344264359957059824468723949159478768504587915784648814753034315479948148156357415445279489265570691220161800571070838900447671846613004346555728403840501205289125988095158673191527694751023168236120488459139810944170345588335581686119554549096189166127979424373126805192796253171882160313191792255091608520908359110864456048343347383380039871466110963741144598592215835766239019589949659340833190722011630647654176597093013214783225384187267060223828594417953170680915732196447753359816331263879124273745666354973426274609521316089123787559740781530518621347729430697597059323463789290208429647338701372454819554172946481312089168213043853208610975663051144899917642028284532314048214493041202504729328473602289539132271814292710157583738531274699656041621416982781728680746446672855332704978144513822190253728617870178754148130267784251494784140385411540077764867356966035250883863132723129567979077565756367574262537585652088463957331828314983232784256059430807206600692475090867461880232886978354231511680719517212172609486191414371092903287617199261958449176089034279951742285960328031046368142435494197673234508009845594380271151287655374259888584580627902411916191434657209502563980990267750358100579937059556996509042837190632874245935317609569859048643290701959833919005292958247337884012701157346091866367360075309209341240980101396102144699767088734571903359304271610030836760613243604261863794430091007453356726038402386469114606598100901760801179241739471494108689878695177640180628897607283089666899322777954439504522757423178153229427951836697626192801686489257659790481153323206070680143198146843967427257949861425481880728192524196037542549320527466418605361589380871036661511734172709773915567663144526017234275721306911558439231427900506887310014453864518538044451946617015287179839928504180598937759017810967852824112785547950959942611806367865161575415246039659857266601874707440414508761482752911579483305535518138006525146907574114402432986216540605555185963172831846113862916655242516605874083758205966101124337567494165875505367058672686080562375437883526158390837394960310480638022226850737439950008487623356447082487348621587575276014168430825661995577057308282718087154180776865183941764190106276946762159037109204072087054935256598785436109317426339168079056637159449430471025008083420733480350469286231057294281479755620401369776432513110622385889764115081656602276983845231693563874986366597227882353651147429726803089691201612782163443976822720843334539071514506738533246325871280355293920351531996320316681235172454296684357195704302549032931402986206434921705251592798311986470786153221102765239516986490394343345586137460023042328184029262354415547858102128552819310415505543395552272172833452900725187154965201533843058814017818774846920385829053376577728126042926849392070375262878493675938703745786919779908844392185391274471626731827484562358500842311763025389312156567980516447937147572615681116980607389987052652367410981090219263395813923774302074355916376006642066890880564811490793393264295955358349337952933733577303447622644357289189701074415457399331946852983084592567069235856443806163696690035372018316060899546051447292863295692873735549248091982647830657923885484034523711025408677934517325598850452873693713387669646014863779647122440510205618049517525474778862261590605220359858489667902067888404039111131695437839985357679190806124564960877109797360189957370587681197210453813552280825450694986539181174763222742931879669376674107286550977502518577760892226499007141307521737308266298951364783648930708870835438282345718076482516091478410471499580092360176291987303264537034379778945444664661913007805231077843544625068202374316258352045478813843300317404811344412756214464680368518039541878739462422157464282814933954593017511444037435636188858173008458551627492663284789653541423443028966707563366595834578362195160158192711470271054634020969758984119232987212699086039369364920298154409422146432732389005064889920851625369727317973698737261322180250561482961589079021106053895301154832196931959891048208335184825196442686125320119812261413801300363285617634710847728060997564737081179739861415329434112405810947068669014245753345427900052707947311234991918587525614936950013940389578791334902338822224921955814140768565654946963453932548315288246684560328764427223517775235132147532928815725018051773068489497241519735949570378236867663687219484908635718844768801199200890400315352030495156049505974558236854683046197943162773828339092730045583155784238329593746197707724382412827379717814148063210078434254660529467506733487844098000646407794535805376126099455376⋅t73+45611130728184929719895451309175990243312508138092042913823979912483634206322477184134093475217437819610957703823160529199891744828484365038771914312245879830065673360536364072120557179548600722378715517803044086773297256691375368140020741532596827609453418456280220422058326030229552645338674040081890021861267941585138707455756320734748009474152171120383226540712830938486126733017439984526219141804377565000794975275180256149666893571476770831319750387900322491668825664126838803564505404419528907057108313503075235942555937153038874061150964125934502668389573401687440689343403071313738487033067424394407322356220611503685049363451998368902243424035595663213882829700195264902905518331020013396250908439780561303163192923725050219668918500698036506652940458217593651215390452898967250461429275473693562391676598018234272647523848661540701176315378676387792738139770016873537269655434204126437087236048801890586458723942229422489979316204654558775514357589117047435572339897205967686557265518492569360272676625425413660009820202429968338957164039032469815815077978098151117278282341024020526135412773088777461347035974620861579308940281879062418625340885240165591220878881849684026692805052553312971893874316822069953777876417404051238410805818380028786027493020221318372766977022457500334201115607418299051684260047447565376910967825099519286516462939924313554448198329002537584943579857764680191545796773762822844813543265536115208490597413554669018701591081845591074002995992113670686286308723903071289371566446822801983526040298614269806300477792070692495154039307454664122908941951919162757449922138677075190429404621830766241573926775428391534585983214934547783652527732495038027005968978335505064987278357354271383827590592759619346527330204130002822281789253796728446064604591571781893025673694506944122898941762197374848731584619544373218274841702371691976104780378447159356931674823004886646216255290987284207999243176939987814631008881609203638277356623280365509511965034233714184615350686594047438853735073781726387641221274136558597106384636978897411327394943937454255171001041031677205349174258885488774518036308364650326501062543151750709256697656371211486674016542666387675042823628149568524848083082643747486778659305622350792425615453418833566992980353563248869574799944515692363307301996250260753757554678243948894345895079719660093025316240799846720779948437721139009248249540672039765613300567579543424643057183230290044840888884186201264456760233512299779355011085696326425395212743418366071580924616777068085704846038978535010758946980153612955784247644322466352285754955165671887940005745539486899441216947249305316310891312778840213808437113368693190075949548547299295007480365068756983594925146907574114402432986216540605555185963172831846113862916655242516605874083758205966101124337567494165875505367058672686080562375437883526158390837394960310480638022226850737439950008487623356447082487348621587575276014168430825661995577057308282718087154180776865183941764190106276946762159037109204072087054935256598785436109317426339168079056637159449430471025008083420733480350469286231057294281479755620401369776432513110622385889764115081656602276983845231693563874986366597227882353651147429726803089691201612782163443976822720843334539071514506738533246325871280355293920351531996320316681235172454296684357195704302549032931402986206434921705251592798311986470786153221102765239516986490394343345586137460023042328184029262354415547858102128552819310415505543395552272172833452900725187154965201533843058814017818774846920385829053376577728126042926849392070375262878493675938703745786919779908844392185391274471626731827484562358500842311763025389312156567980516447937147572615681116980607389987052652367410981090219263395813923774302074355916376006642066890880564811490793393264295955358349337952933733577303447622644357289189701074415457399331946852983084592567069235856443806163696690035372018316060899546051447292863295692873735549248091982647830657923885484034523711025408677934517325598850452873693713387669646014863779647122440510205618049517525474778862261590605220359858489667902067888404039111131695437839985357679190806124564960877109797360189957370587681197210453813552280825450694986539181174763222742931879669376674107286550977502518577760892226499007141307521737308266298951364783648930708870835438282345718076482516091478410471499580092360176291987303264537034379778945444664661913007805231077843544625068202374316258352045478813843300317404811344412756214464680368518039541878739462422157464282814933954593017511444037435636188858173008458551627492663284789653541423443028966707563366595834578362195160158192711470271054634020969758984119232987212699086039369364920298154409422146432732389005064889920851625369727317973698737261322180250561482961589079021106053895301154832196931959891048208335184825196442686125320119812261413801300363285617634710847728060997564737081179739861415329434112405810947068669014245753345427900052707947311234991918587525614936950013940389578791334902338822224921955814140768565654946963453932548315288246684560328764427223517775235132147532928815725018051773068489497241519735949570378236867663687219484908635718844768801199200890400315352030495156049505974558236854683046197943162773828339092730045583155784238329593746197707724382412827379717814148063210078434254660529467506733487844098000646407794535805376126099455376⋅t71-4539049684038490503978229590501758908597644203847139052032460102375038475778871726520677680716942649619450007406457286820482185178466167538488513433222676867615845515013156908170442312058154090780568815288072603643042740755067370178791792231728759608707452070217852725712522637578479535723116100877935050134488171322933589651304143961110283451190681753356319787014221207115357697561253490364927765673327762391045751006086549961036642584019874347165515050721375890840802580517664967970536068077586650735699893561037025637321427227311621537727952633938098336408235889660511530017034835398761866098902831780402598822869861696880033063929140330283127957295798516123668069273309212207181277170528457494363924123440093910599844617380497110244780214378959728889162239670069610695322292183224756360331713422915349714998990686751559539047597899031338318467846179208266321126873463964423664221348378154906856177936602400480579247230535193923649103325516209142893934109003932829471636436738303355674101805552171614177730469948702213336756159169271473973767770716230688809928690833334421733067650521685352535765990284025899343415722861436483115387316640345302088574218537425565839290991521567661801014430139311577710205491831416281815618153671266937099208871954401129532292785828769840309266079544870727379738390599931604854331955216032116445031065358598517126578085513129821760917010635577466039500416722237998297211782030449085082018981520007185957056230005321891354812774576987047559257499613267880951754962548074349435063186154039347496147967717528408600523368514078808351912555551219512549590518001630731502173170347464023835555468893645347934735463631109299824457997699441495847265388324040844202831127792435016751380404143616837170346134247712786053403144387773695460084488190542384693734128441516446261099944148676251847915499391756694828184959127717781573977777147867165432224195428083311084696779831424953122504480464618524641495831320753654788367961237160182295681224982157316714814328863513882302288500576776237504112425922128215135553444897125878761681022546026064626792222352538012632379657469775890107285737787829572756583058896130816492287612493175966588109423461395867290200915790597024930809124847608626820247461130803527056330272815402205486736717113399957011627319362247847141489073181705532288312511826956563657010637339389701555405270451202958242242220982543728267464387021561514325804801962832180212213155500278727931119127507995224050525648176216954838274574462791837993416978199638874217099528379831818369619435246961754993910000021087036570607655457954810963105876928614936312267699884305994111349461926897728888720377498586142151073165566698182394996627749882362575450247236598889348388072205315659014237025146907574114402432986216540605555185963172831846113862916655242516605874083758205966101124337567494165875505367058672686080562375437883526158390837394960310480638022226850737439950008487623356447082487348621587575276014168430825661995577057308282718087154180776865183941764190106276946762159037109204072087054935256598785436109317426339168079056637159449430471025008083420733480350469286231057294281479755620401369776432513110622385889764115081656602276983845231693563874986366597227882353651147429726803089691201612782163443976822720843334539071514506738533246325871280355293920351531996320316681235172454296684357195704302549032931402986206434921705251592798311986470786153221102765239516986490394343345586137460023042328184029262354415547858102128552819310415505543395552272172833452900725187154965201533843058814017818774846920385829053376577728126042926849392070375262878493675938703745786919779908844392185391274471626731827484562358500842311763025389312156567980516447937147572615681116980607389987052652367410981090219263395813923774302074355916376006642066890880564811490793393264295955358349337952933733577303447622644357289189701074415457399331946852983084592567069235856443806163696690035372018316060899546051447292863295692873735549248091982647830657923885484034523711025408677934517325598850452873693713387669646014863779647122440510205618049517525474778862261590605220359858489667902067888404039111131695437839985357679190806124564960877109797360189957370587681197210453813552280825450694986539181174763222742931879669376674107286550977502518577760892226499007141307521737308266298951364783648930708870835438282345718076482516091478410471499580092360176291987303264537034379778945444664661913007805231077843544625068202374316258352045478813843300317404811344412756214464680368518039541878739462422157464282814933954593017511444037435636188858173008458551627492663284789653541423443028966707563366595834578362195160158192711470271054634020969758984119232987212699086039369364920298154409422146432732389005064889920851625369727317973698737261322180250561482961589079021106053895301154832196931959891048208335184825196442686125320119812261413801300363285617634710847728060997564737081179739861415329434112405810947068669014245753345427900052707947311234991918587525614936950013940389578791334902338822224921955814140768565654946963453932548315288246684560328764427223517775235132147532928815725018051773068489497241519735949570378236867663687219484908635718844768801199200890400315352030495156049505974558236854683046197943162773828339092730045583155784238329593746197707724382412827379717814148063210078434254660529467506733487844098000646407794535805376126099455376⋅t69+802220393747365509400183961288934007105657716094262839388370218111957068370786712644724067415551675172641075622626951160860828164072734815254342128861756427067094102010427615559638137646701760784784248238559848617084629500257139347307393613615214256925303940153797007549664809283919827847933273951350454762215410140037657254882020827733783762496452420124701814940257398834280624277183130777203435475969575231120791534771767525831657088857882926367919114887795747458061567655492097739889307668811705339611403844015284887712166253578776058623461388212720887372019529281734016125030494756281102845534990150713839340985735469165749302209922933092183113060529039348432006239811761430444611247453757651117086289138613104117652198388432721617881162369714514641924639773637221858580041111338164623791419504783863189346829453255864448190660248712734272405736135390118320422536230953896221684435333039823147276074657810319001268383023142808015289669385816280672418134108545178043262683761472823817172092819469937940838766835738241751368235652519875894661047213050861155100828422082316889245342075730407620558276865041470698362831868741326373043849673823306123593031343123497351676000510044386606862805884401244019371970355405763772109587363778877050796688942390454500170335958046410645867425877124203327224304794071224578626327986763013437022215837849157271418613946684624192585465187263800910465028189444325325185376641265885404171823829190674607277207819678041492453381950409754388450447404211757025936267482816754210542866454647982011283555642130639979802857057943527569572781998998232238637465745352015278287568142782862150081798012306593898813484342411420409307480026191981599932554701801317978262317444752803139719196079873909429729618381011992921051503406072136553430909106201025816093354391735060939805450167790674882599443290560497637628341059858755878658361579618790269067626509819700094090834520718124084158666406954411113452586884178870118035637077470249681108205904397200573901847305070088993677694031937372155203612937349958957431371848331380065233909288781537888617034248649626923730804479629899929801054333846559698080572984635313983684551189231992749952373837136577374010752979232644920328710027903842869700837936868269476445714372973572007539234996293524643717254107755407344340882131386157324000988744847359859313816452249111042474868624066254112224472037802211280272221795300001795295830275109703186676133364191288471085253405255479417403730882711449479838134846680530142765798370834120465435975435640269366782565047244645304471334526786700786477323658937733891071029061732040825473091288900612357854659430979159271942207388005641416141144022779464134124640478640105419360567368599281594766732243913675728915167525293815148228804865972433081211110371926345663692227725833310485033211748167516411932202248675134988331751010734117345372161124750875767052316781674789920620961276044453701474879900016975246712894164974697243175150552028336861651323991154114616565436174308361553730367883528380212553893524318074218408144174109870513197570872218634852678336158113274318898860942050016166841466960700938572462114588562959511240802739552865026221244771779528230163313204553967690463387127749972733194455764707302294859453606179382403225564326887953645441686669078143029013477066492651742560710587840703063992640633362470344908593368714391408605098065862805972412869843410503185596623972941572306442205530479033972980788686691172274920046084656368058524708831095716204257105638620831011086791104544345666905801450374309930403067686117628035637549693840771658106753155456252085853698784140750525756987351877407491573839559817688784370782548943253463654969124717001684623526050778624313135961032895874295145231362233961214779974105304734821962180438526791627847548604148711832752013284133781761129622981586786528591910716698675905867467154606895245288714578379402148830914798663893705966169185134138471712887612327393380070744036632121799092102894585726591385747471098496183965295661315847770968069047422050817355869034651197700905747387426775339292029727559294244881020411236099035050949557724523181210440719716979335804135776808078222263390875679970715358381612249129921754219594720379914741175362394420907627104561650901389973078362349526445485863759338753348214573101955005037155521784452998014282615043474616532597902729567297861417741670876564691436152965032182956820942999160184720352583974606529074068759557890889329323826015610462155687089250136404748632516704090957627686600634809622688825512428929360737036079083757478924844314928565629867909186035022888074871272377716346016917103254985326569579307082846886057933415126733191669156724390320316385422940542109268041939517968238465974425398172078738729840596308818844292865464778010129779841703250739454635947397474522644360501122965923178158042212107790602309664393863919782096416670369650392885372250640239624522827602600726571235269421695456121995129474162359479722830658868224811621894137338028491506690855800105415894622469983837175051229873900027880779157582669804677644449843911628281537131309893926907865096630576493369120657528854447035550470264295065857631450036103546136978994483039471899140756473735327374438969817271437689537602398401780800630704060990312099011949116473709366092395886325547656678185460091166311568476659187492395415448764825654759435628296126420156868509321058935013466975688196001292815589071610752252198910752⋅t67-573055007664602352409773819117356460270022662034743993628942026533244526188545604017728279596809930309614113295276924598071925200333870286523761849861105945750031834600815550917847665686592602810463669944975432461638578424956598379938818528719835314574428868481785986990347572004762839255661141586680726792783972958524907379232435550668242769804918665899921162546266366487421255524232927193900406624253241153564337704126454871591970617357428175457750169835113243126416693857369008860675233527250130613327125120366460648231345665228260109128766019187237987442365331532848118686329206677201356421133066604565353497286036490196185758457712711004922824433360186159192625128533721490675503027447859794221211251165026172344919622521084767572821109204060700567227694953715946929013644010821235200517782904325092537682887916194396229904882397066405274001607828899721634574186372805259982179455500811166694746920594607274585147390209171781639323789879752411538510744224495411232808762321832817229312420616496572925340522415099817206515177863481293696482582115255249106259955963039319592262914463097069042007286614849459327628337537440981639050883293085693805145927972972144089273438292034839464309764260727780144753100238046799165078736411561665214758535258406865323381273522407256078762641384006211270816387361343114934653960852950819494070558349944565957774993630718013925405183968488776674548359864281776397386396789568443336996913886451359414724634459463678479341160499694957431219599397737822608940888347034130940821803870641382397827229426492806723124911785775416488876516357701689790945573714207881460116784976093486722056731465899525279341499554314881538354153492152457157422650535601075236016492387229908982100668318900917426752436727850095681827571249947809652984444490582539175935931811638501105733488376850819551366488280562316541824758190207201161051069036308187542623563958101751365935111903750246381042270627163600993018149643690167271383964416924267905988019641927351215460049577533622265891679097848201486106142109471899180304111269720762490547357809142484063091844695882244044624041917256572770230874140267746265131683534947055993552501568033709953119764035975447917833092281481840377137903700869077782594181937030196123256052166358857386514658985460839317980759499872561882988553449402975417142949675265033156615171909616904017150726473855248550379492294501899284392333148995962658866123930432196782036538692066908881410929776076998649569742498440172731212663271394903883786216622857410016718277176060312096786186840453240166171821109127742759573349719600261739849533966422429174453457302913798162425542717922818719959355612820628289997045724482960346323892434118334762244622516242994841670513213911373171953024837526710468020800442361130280110100942902395060335657065984846407730291977106137855630200204425012271666522819157647031397469193159170524277483343788617265510996479640404881952261809092452295155717651361336113015922777457121532877393090104919510596857834028032868520942534866216382959444865847097656218922197646351864836142806565330441152576014373934028990805540186365106076496996427358052042010417142087228294618430868442275111022251979957111833028473141269790042126102522724793926768705882482026805404873289034763929596756989813967767426060825285729910316096953877431141882780712791187635694603032951849537144851701308309873190733260255088401169985764591198690602179358324755131109593679912179361889880608288388629095098605124368956791711917792382205191421692802819189708282231304151536891040943119084582097062374329821421595426712797423464250286859659280532154434921886411432453395625218862870349050892517162215525686267568496695906284065181971329411459161693119375996457535988572285930123839451019525452191391339529269289130775162875258868054922610166613819389466707432829965725598798775326537337881697809624315195873354113208064961670854740802810436242172155087833562284921679246626146575217580006431276057465618099282081325975144671431588281681471269572332846895251906188095220186437941442639513745245536886126129706849026548157050844931352820037385099912277359050702229380110040065428816303254921434255279838387580988698179155941671055659011811068565417701852719521925032944947355238827687422809217270279851122684222316896705394432122564961191086818639741411071313908910389328640315874230236172975415208896492521970079687699221468451366562086983722090832744065486598543146048097642614505262808120847620546873678377789735386376036795330228791280996147971509148619056608075046584448123703366916280341588993167664993505966351628107821365717097715570216156031456083373023180484233598118825713353277993946829703017424468793126392756035038449140191751640176319815294405997675036197461703520894599664438076753896860434364557252712882113703586785086127043138422214591011178720288923458382918890054755424035805810889281492424579059126625942931876385420411166145690975142839569947426859647454102679469305407247530059897111346511081285212548044682426441436373219626783860907621561368293624900002534616287052969982243422222713082875298321557391808538809805917875506953942647332502623131548686406387663187805239222730554867830634454043912679263558250588521393397676269983388312517230691127127434618239154914635482918091995374224882669644763262393231605152562314553742391960770605380681126855949887711423159948693481466038196078955392823539546678815971654181935710508097419159295654446432⋅t65+847784523830868870049480069200143266487064714875362815231063219151294037773695817197487204740338558059205164166097081428493371876488829069815790419568299938518323255232758752023203893020649792279349945376047919087525503833400641155139444844136888648129257039225383524995027572983218905202180723770335881205558208657537559866949726443398769290562992312030719426165925939669366361676518875969485268435192998730950269188460165861434977030703394728785629917925686304788168837441517355587603874884617547848004085495710853046149291665794080623342041835763267190872217956210360946422012156058806134311645636794691930446570626470592753015615587328139595308183155906674591268421845576326688001492288886250154398868238168998918048830661992707942622483779581538482821610244391727550131484874842029506876050873427885305432947318710745734530405451304304574412032860966429529439733374035133672865894965210105980706056697334595209573190309838398933078000776451045476619164655246128751259069175865559771418934961888844657256324587993213477506423738621690715670597292739257223729473642025697904260279479197350883032734833847893015978345634479285303870340664006220203288079688615264892499036836826724371772557382805021173603344756800248912979624031035883292787234871412290469747022815579990874279407453837731575634647515300508505966720697174615581953726863053059208920848555309600025396127501510831964259882162072620882144377334301173335545937433926061168883985874048780521157495409514727088306640161349176849360371850491510950548160780402940655632783584472303757880179554603505491269840968167366563701139310605388787301263036343641572218883298162254500912870995674688180148451787091330590091684551924285789243266657621548773306525271156635198868521919471605784277329922446780322423448009344902659452409548228877518517714963199109490266936328918773730870375583342084826867303827541503334785114501879950802069119798993149613756681842545227016977970832428580394917674951488273507384396420804309697262185981591221165671603832592065699032608231569156598245150338768364935718019709908845699499365979612489399351425715180700254742740053072128387814365381890664971263295207197395492030220776753650427068098184668495973057140612832175169519873916902509309299947322917849247112543233913294115141370194950793571958934514950868786371473970316880659806612846971042993179751865644307073611865922088513218336826153452414492432789824114059213505107167377731004465676743769793188123215580268992187272253769996396809660208160325305128137779449641453727210933175953681486479668023411368485245161053131906084481720607739122862862979462932199266869978643407976716834866357024110036220833017180942500026179248367140804277297356551218487507540070499149565075125048755650291312092401268700636177136737921660493532542840881409817019869456695529161767926966320675672852533673283348410487926175475978380135621476570669036935018486077777955797593844231095677821401810864898023907214433692852631954833153676040665703181464890545414494814766990930388702959490852270658046310464886728279099953286004204516397660310732947583055747325808654157054643595398094972547348357472364605985400052683708942811947014841914004426217561626037840201218983225961014099893380090525044131912569349603507754337775517076031643109359020733519788720712817166379664629049766167366615243089103124429709780641706045988627021116651207807161785958527125061261473537941184082816196260201519884095784397820984082210000886243391693433167477521071465466482800742708288674745982779698955132803874045659806353905147809954385300722109496937916502052945297235617035648053541168279341480525997642451761035376150340168930207356710447181993364790859942340088913962514973544483383866017228351829715987735268484899614886640475669653118854587053685150914396233629073706769486233341956944800441953592048626767513782666844343605137588594139332475280353450041323671438435844109730118638175656509071401684852449872693668154550617726905617363357417819065110528290355695845486455025304764826309020142731746487612866050984571171264372835130294986385187068447966247711930985309596827902876110086984254046936917634217996233380323232273505065209147691744526122723312483267726042684513853459898868756969123478992828933877901949807174583891337047028574303064206795157972559652980866099144649701019192582357981605281087165344283260909574258033493670703167143002941635234287631171980753080475391395845665510174501322299190209410179304346454047349147828639425700091319856090463287646686280781438646590169721392864026168019924597764566902400852210164723651305945885288901693747524468802237423402251985672794741722678982362440116498719521667945993637629315198467622796595010425178231575759960927662807200488426386129590958473005938823928708951245730964034227725062514220281460526874510050853086560057036984195346965617457511582878161420459995809546474430185584478564850973850762010054376973090895600678258109528002346060182195429989994669820362850477146574887256500547913590208765386642613358124422766099520215959113462074630368415051342397647008650844454390029560217497960132843559550588009487867704952477970135299047505082597420339066346848145118018826816981528305752706855264140911046903265716758417106492353815418861550590462711352155750229790701417487809469151660106685705349720386368582914778397292067161450297091631262591527608236463969618401317486943441057951287994003769255631069020607899081773055976⋅t63-52799504157767318472260884597989213117187296223692537129471519980942967546947094273983751674510560208098996486607943531350040419049133780079490911518756858112904796375515423266075860394284018416887856191325661657543925785567320924913470467606124754131999913091649040691456653347019231215261369322812134946525594856992983021105364977323489475888654291989181949001621269927739708566354361964604316263041338503899178095165260065037902137088787144736055497391158709517446632320797230029155418417543657280683725573757526930387113105687884754287089655913961977891345804571703841815646904193019384352791140914317295176334895885597837321963907517491910465921413530648065949382788251731621855426345953079492239797664228329329409527185173498444516480768640847437479766119963623270308076877627289213426750489445912454965702883387813751072740273102497693266308456339442723886792359613761326580399163025863426364024949807728507718793278045350110655668306888500695077743459920245450752052787294885805147891786262303594621152436045807735796967721418067642998615135331841739153329865900838099301060619019054105798528281249955628597384495912845150706929055961469429328665828772790120543633224143219873238830664189104332280959426277074632132041427927502200336919582070992989654914924946473538803464506122625017990458792192159295010592228718245977147918668977157579465005464662386548310494695872173576085722773089779328473259188091558310772330618754284192536792695258547427678609979466115630483189109921009894389706263142928209176881948000652229313528365126189564974598415997613243222457989656427003037346318668907145448728508957406287527663929060246164541040107998268994022000029226868340390183583435878555030392489297842332361042609256866465646774183238416862242560961238342560143157453186888614980893188706631462663142086988278655669470703469046562258822262788066981576153184027997238178240177803300116698473668399799415273978804084687463402114052649636560854271477296283215053764824062305227574224868668075145997713925701563235686988597006600599102389891750491278923183406059750717159241818068073139145693157867268378777957945222898352343507003050593822247541297716989481570999501679211967200105446566139351932263777972989740399409093516074685695702154318379901168569097160066576987917968139792975354446096345026718310971547036146378434577773339521998174760941699561337547845174872341913948479626130379149631286982239126345728405602710605823269810649902052804512318154577963797834812136874241866392417128755251003309135971900596157519660550297655343326736644792340433676633787222445342736620383535398801146172473026624172850693520362021392261632277464304271613424080277662561617469888895831060890052509271333017334317670684062398194743785641255650291312092401268700636177136737921660493532542840881409817019869456695529161767926966320675672852533673283348410487926175475978380135621476570669036935018486077777955797593844231095677821401810864898023907214433692852631954833153676040665703181464890545414494814766990930388702959490852270658046310464886728279099953286004204516397660310732947583055747325808654157054643595398094972547348357472364605985400052683708942811947014841914004426217561626037840201218983225961014099893380090525044131912569349603507754337775517076031643109359020733519788720712817166379664629049766167366615243089103124429709780641706045988627021116651207807161785958527125061261473537941184082816196260201519884095784397820984082210000886243391693433167477521071465466482800742708288674745982779698955132803874045659806353905147809954385300722109496937916502052945297235617035648053541168279341480525997642451761035376150340168930207356710447181993364790859942340088913962514973544483383866017228351829715987735268484899614886640475669653118854587053685150914396233629073706769486233341956944800441953592048626767513782666844343605137588594139332475280353450041323671438435844109730118638175656509071401684852449872693668154550617726905617363357417819065110528290355695845486455025304764826309020142731746487612866050984571171264372835130294986385187068447966247711930985309596827902876110086984254046936917634217996233380323232273505065209147691744526122723312483267726042684513853459898868756969123478992828933877901949807174583891337047028574303064206795157972559652980866099144649701019192582357981605281087165344283260909574258033493670703167143002941635234287631171980753080475391395845665510174501322299190209410179304346454047349147828639425700091319856090463287646686280781438646590169721392864026168019924597764566902400852210164723651305945885288901693747524468802237423402251985672794741722678982362440116498719521667945993637629315198467622796595010425178231575759960927662807200488426386129590958473005938823928708951245730964034227725062514220281460526874510050853086560057036984195346965617457511582878161420459995809546474430185584478564850973850762010054376973090895600678258109528002346060182195429989994669820362850477146574887256500547913590208765386642613358124422766099520215959113462074630368415051342397647008650844454390029560217497960132843559550588009487867704952477970135299047505082597420339066346848145118018826816981528305752706855264140911046903265716758417106492353815418861550590462711352155750229790701417487809469151660106685705349720386368582914778397292067161450297091631262591527608236463969618401317486943441057951287994003769255631069020607899081773055976⋅t61+2928884923279901053561440929384346668428294032701188199852520639147105600893299665986366676154912839257852574507620205542810117710378573372895150751432139908211997456942416261890653620522025688191581842640059527581113848421397785126646062590533965274515188125952904130850968092455087436988092399860328845744677702961226378043432116350158432735440178063480735155676814451994426615809345303495002452233536099258494307345849331188464195386478459893438701121503253573209215539720345021957885856067406125026029579509702530663645412783563786983847103748841227727916086976988244946218109543362524951944944209178442815753042712082014099231546939167987726884416296556864237794021235921768910650172104574853209014898401533037558080922370953102671449159413055266825777168474259915940417473291319482361396739691474704851727551509400507020499263063084624244501495794228493481549363845553410462315826372070237740846965735140745987723956898823368256418893442583921794692324446911236618546490496737394606980271069921373940525632933948080685706855287307407655280341638569293111031020077481498661413677909787775796713703835415562956430300720428952002050332924193739173727817123764327596881592272472841817302501604688872871310323040156301042418866196353831772775301537644913096457898484422519470658517812247194973112810222201445441166809337137385520414770238315037652565713362327099940019484766817689909944359191709576888680215278100989512918550085420188360638488979896303655522480024150128749883701167129622282683228317548965098100461345417435353734276345952490383070760872020476877452921367020500686836798474256830987402587653763285171078593460702048732767529355838739103617495679772636759525298591133743135974400564946275830163974876199957001541684107773926551259402491878426173863222713057666914060177462682693457752946588622046876266124099918493630272965533423093285805950869280978228902900375573406385208490921851809842352130461513092357747537391417989962395558726642316634034609627262413388257491018068186669044792920122616605504023409446988892107828847778305796394182710225783857868243667633954357978333293690109027940150887822073870692295752839830579536999768066624375437339773481703841565498172933714566202484374543218601700371641880049159115142170016118619829646588107210730204684753194544722682592028770258191497115212278332474505073657685372296446193072406973284846846019420966506149532203095389141484788311283150575352428910994336529468825892674613181507714056091753446748631480928564587776454678734336374972401814868759257257050017372608230582107725868087248259940541306506216707171728574167119478353384911304067731069151100227581975939750997982841650950734933366833463198653543519175442643133250115221768775574936048074896631046456255650291312092401268700636177136737921660493532542840881409817019869456695529161767926966320675672852533673283348410487926175475978380135621476570669036935018486077777955797593844231095677821401810864898023907214433692852631954833153676040665703181464890545414494814766990930388702959490852270658046310464886728279099953286004204516397660310732947583055747325808654157054643595398094972547348357472364605985400052683708942811947014841914004426217561626037840201218983225961014099893380090525044131912569349603507754337775517076031643109359020733519788720712817166379664629049766167366615243089103124429709780641706045988627021116651207807161785958527125061261473537941184082816196260201519884095784397820984082210000886243391693433167477521071465466482800742708288674745982779698955132803874045659806353905147809954385300722109496937916502052945297235617035648053541168279341480525997642451761035376150340168930207356710447181993364790859942340088913962514973544483383866017228351829715987735268484899614886640475669653118854587053685150914396233629073706769486233341956944800441953592048626767513782666844343605137588594139332475280353450041323671438435844109730118638175656509071401684852449872693668154550617726905617363357417819065110528290355695845486455025304764826309020142731746487612866050984571171264372835130294986385187068447966247711930985309596827902876110086984254046936917634217996233380323232273505065209147691744526122723312483267726042684513853459898868756969123478992828933877901949807174583891337047028574303064206795157972559652980866099144649701019192582357981605281087165344283260909574258033493670703167143002941635234287631171980753080475391395845665510174501322299190209410179304346454047349147828639425700091319856090463287646686280781438646590169721392864026168019924597764566902400852210164723651305945885288901693747524468802237423402251985672794741722678982362440116498719521667945993637629315198467622796595010425178231575759960927662807200488426386129590958473005938823928708951245730964034227725062514220281460526874510050853086560057036984195346965617457511582878161420459995809546474430185584478564850973850762010054376973090895600678258109528002346060182195429989994669820362850477146574887256500547913590208765386642613358124422766099520215959113462074630368415051342397647008650844454390029560217497960132843559550588009487867704952477970135299047505082597420339066346848145118018826816981528305752706855264140911046903265716758417106492353815418861550590462711352155750229790701417487809469151660106685705349720386368582914778397292067161450297091631262591527608236463969618401317486943441057951287994003769255631069020607899081773055976⋅t59-144689853205116329755090883806549125253673808585246370208325196361032259749986020195564372929825607158823048770187520394157827912053850758493949613923631941143335154369020570351728073829990574651391726379685029550185274510681693951640910413783631898665225206450546590346589890894213780505683839210838807134322279667354601395997717688318386720711753285347706181268861471788441559852392270954866679491462850040378738338174025891005284538852822737633693503762591265190678757396904895171656403671778097016035107361501517036834558572668193168482458482725258673499107292118987853961183924254011786986637150411237510646522313141498364015576792522466724976706365687326223665157636325110300207830956130783689741515621953238963208624772097044020719261431911931365790810314138965125299696071593833317108649762685066092457559478729194234553647056325059157865341638344175796699946783428331974129543128633635741789096883046215211878689017280097179654616463428223788103280589502193589399750859096106328381159853980961107861668820629058292943282922134375380415873507162280373414786086520080532575319945212585472338161297713049904581096084184434608599158704737234560315028634063262698686341588766324123730957741787795765647430591905936004429777586010716554816099902248539510618320369745952057849456512403390293974111747088245394527896425950025504023407554950170211418423679170389041559244550975810909071124649396587132031668744636286307777753508316579145446147137000062302404840748563246237972645091965883162403207730909514904073207613922169238903954215022860506521032962037159861935528025424969521210064038121023370356743482364989271006955781772582633492697092614285529601791033897790893587153295002195759095280108888816528739473944333343051538136349158217715352759850523975325156125498494596314504172642755988961075359532102739094114632025093026491979479460894949516316886262772084520224257979761557796055429923659946225084938051980287104492670736719627973940650608279840070568658338981386506347445180423659791090206758724187483151677909709261663324190144030751274645080123196010186920984528161547699515692471767879706608150438026923161239999166940623105078800029766056092652630776803908968041272130959476317695556905563331312987562528784692323840980013968100716990660123554662346531240597067656519464813973163977410826788983415459940475731107199697878421701353091531003444168162066391059110525964300883932156257918841991912230436380612635542805750022170807959434473272803262157280881954519597299950659961620215586556801647397918023783386087770223530449549544881209107832066704271198504653781886529999505331231367194227488040138306655044717266966034911227117756044317650329634976059372374828486366747568524123061613891717922361823389383680794193755650291312092401268700636177136737921660493532542840881409817019869456695529161767926966320675672852533673283348410487926175475978380135621476570669036935018486077777955797593844231095677821401810864898023907214433692852631954833153676040665703181464890545414494814766990930388702959490852270658046310464886728279099953286004204516397660310732947583055747325808654157054643595398094972547348357472364605985400052683708942811947014841914004426217561626037840201218983225961014099893380090525044131912569349603507754337775517076031643109359020733519788720712817166379664629049766167366615243089103124429709780641706045988627021116651207807161785958527125061261473537941184082816196260201519884095784397820984082210000886243391693433167477521071465466482800742708288674745982779698955132803874045659806353905147809954385300722109496937916502052945297235617035648053541168279341480525997642451761035376150340168930207356710447181993364790859942340088913962514973544483383866017228351829715987735268484899614886640475669653118854587053685150914396233629073706769486233341956944800441953592048626767513782666844343605137588594139332475280353450041323671438435844109730118638175656509071401684852449872693668154550617726905617363357417819065110528290355695845486455025304764826309020142731746487612866050984571171264372835130294986385187068447966247711930985309596827902876110086984254046936917634217996233380323232273505065209147691744526122723312483267726042684513853459898868756969123478992828933877901949807174583891337047028574303064206795157972559652980866099144649701019192582357981605281087165344283260909574258033493670703167143002941635234287631171980753080475391395845665510174501322299190209410179304346454047349147828639425700091319856090463287646686280781438646590169721392864026168019924597764566902400852210164723651305945885288901693747524468802237423402251985672794741722678982362440116498719521667945993637629315198467622796595010425178231575759960927662807200488426386129590958473005938823928708951245730964034227725062514220281460526874510050853086560057036984195346965617457511582878161420459995809546474430185584478564850973850762010054376973090895600678258109528002346060182195429989994669820362850477146574887256500547913590208765386642613358124422766099520215959113462074630368415051342397647008650844454390029560217497960132843559550588009487867704952477970135299047505082597420339066346848145118018826816981528305752706855264140911046903265716758417106492353815418861550590462711352155750229790701417487809469151660106685705349720386368582914778397292067161450297091631262591527608236463969618401317486943441057951287994003769255631069020607899081773055976⋅t57+6362517453235192089961391450983538429385472381228937428346803175089576887551248029555240163794881495006122321391394785791325150954882685376033958198486788804268876049137278397685190179069679498003863428180590727038753634986658359222331491471624340682301808616463508653950096730969090306337699448518735217534707574484103191969080795885944699237252884798862856044795272442013880145553379841144044818742771338319365654255602557607629755004470630428925729967131933199583492409372127694740292678389540732776325166070483694448483082833351188452933054941261556134882183377830134410143706757723417153170439519673760546858915258058057646894758994731679359378034109804891892729487105049480279693394981824294345999133810512221519850289483673593430727309315714981216694247264415219495299636665685217800078267264379101747373305958917476964794808684034707764473647714668281462593947876290446512755081732748151087492812486807266225681722465429967357375140514593530593578171580629182374460906754555352935129841238346138042263323433196122969238046318187889908410741171401964492785286774710309540892206458396213184612193429599948700193770605067566094362670380359546382889454872213272209902358352118149764800398878093024989712690368650914865273617919861732966714538186068365412643831752672502436351334907115329881260664912159065433324963783793559231943841135630574631897692331938994618858017941808433780220883006969745056203166318383234813689792046551092688034985440862565553899459497703071432478513708765442215009055807206324798400196200397950421026428175532384065761737853881184357141501781422302622657766378698804735152034661744940694174728942008383186452350728174946345105549485124419819272096229200824875749388198035608215598480256619515795243652633167776193074043162573283695086714693671288366641384587255827480918218889006806310444534197309910379536738142842189969240415118490079201711728446016164414421777059936998113499459165747127423670606158505788328538579077722714576154398688993259385774145896408485656831294930680547726607732213650054408312552753426954932883271867180520483261711375852432353146955162527429314261984633200128118454662228797441159584201972940945736943888327968068959523584270849258653885870595100419066796017862789938926723965775703352861506994278547664561615903100078336511434886735441272356886970765415472329693456774112440673933248197260325530638153233724368960694011473283770875870655488933913023541449503900830733180090448158410393821498987230542437517789590492438252002886483658335684384561869868992211085607003113163861335615765456244895509758859706880177540713290105767360376604408653466195424912745279234001158445285276635387395335745770603806521515817338244878112169392690404193341682829931000367081417077893618755650291312092401268700636177136737921660493532542840881409817019869456695529161767926966320675672852533673283348410487926175475978380135621476570669036935018486077777955797593844231095677821401810864898023907214433692852631954833153676040665703181464890545414494814766990930388702959490852270658046310464886728279099953286004204516397660310732947583055747325808654157054643595398094972547348357472364605985400052683708942811947014841914004426217561626037840201218983225961014099893380090525044131912569349603507754337775517076031643109359020733519788720712817166379664629049766167366615243089103124429709780641706045988627021116651207807161785958527125061261473537941184082816196260201519884095784397820984082210000886243391693433167477521071465466482800742708288674745982779698955132803874045659806353905147809954385300722109496937916502052945297235617035648053541168279341480525997642451761035376150340168930207356710447181993364790859942340088913962514973544483383866017228351829715987735268484899614886640475669653118854587053685150914396233629073706769486233341956944800441953592048626767513782666844343605137588594139332475280353450041323671438435844109730118638175656509071401684852449872693668154550617726905617363357417819065110528290355695845486455025304764826309020142731746487612866050984571171264372835130294986385187068447966247711930985309596827902876110086984254046936917634217996233380323232273505065209147691744526122723312483267726042684513853459898868756969123478992828933877901949807174583891337047028574303064206795157972559652980866099144649701019192582357981605281087165344283260909574258033493670703167143002941635234287631171980753080475391395845665510174501322299190209410179304346454047349147828639425700091319856090463287646686280781438646590169721392864026168019924597764566902400852210164723651305945885288901693747524468802237423402251985672794741722678982362440116498719521667945993637629315198467622796595010425178231575759960927662807200488426386129590958473005938823928708951245730964034227725062514220281460526874510050853086560057036984195346965617457511582878161420459995809546474430185584478564850973850762010054376973090895600678258109528002346060182195429989994669820362850477146574887256500547913590208765386642613358124422766099520215959113462074630368415051342397647008650844454390029560217497960132843559550588009487867704952477970135299047505082597420339066346848145118018826816981528305752706855264140911046903265716758417106492353815418861550590462711352155750229790701417487809469151660106685705349720386368582914778397292067161450297091631262591527608236463969618401317486943441057951287994003769255631069020607899081773055976⋅t55-426832316236167000580890153551683140827806034556454507118531361319058518910674832535293877672593015364842632467858574316795046105023665040103066553889875769773896808992910031013329898998111988335740816074695012362252699390438322129456071553253972283918162986213931733865218554452109350431022515277716731833987745240139745884236810372148508188107688410690160152893259126447310540206439139503712106359753684314578709250490130838322894493513540640199603311984875336736297239029608519516223341366198426678242324353317747929577452608200444693629051699416263374790420282236123816260560856878183601721739146614746929439508601815486293032457612265458525175523823644237474079025703804670598059788960947800432402105762224858326065853050280551824577596304413906105077536029918536921617576298768226261921234934935722467172916382807275672956222732644846844147508108347268856222002276905828470102659161475221917199458330517078280003327254367564871975077132267533425799405600261781665897472148172915232518073751638473893849006800910824814550072425060816680665436065434222491936324270297226388027032281201088429320994964312776780214401649343323074816526983058973388664575702057483575108844352364881676781315150836465307408644042579064429834238758739918975640950925300599471439260119119266204675654198336999430092707256070968884251095490110053218411433825235705468564662665767448455074020829847858157682522447825425205436738207698626423845642767748915968121133683635188913336915594207998046378306615209825087330931729025989423596860169409595326212755848281471798738267301993954016056635857200521820245371688805354546868820789245212001412271638017232327760084845488870848122561523828534851923283707991884425207029570736567247295013063818302085875159519392354253865872467555888843361251058255910863493296156319203308828900757671351629691686557072628758537891761019788586754620531945725998194988311798241168927588971390944400577688268832672270230991618698191332195800999126744854320669009889403071177293957148647590251280442800344031672050916213976672562849087724429197219045592678820858440384330686524050498071385445032995537550114947098711596899274744542284468101149230828332695234411800877586327834523562756663777127130480591634414472079173174331741727762488059457183502051717454259301171289658565954844238609053268694122915006936335598579956340214986124761063991239395644957046133079104124145977592238506643659774665346837092528499005570048679324782790082466273889560924368088852157905086105944608754608222142818667196682856897455466504617309777785483549088137864119161794434030455370752289056115916567919681636738689590827192858545336366698650651632668926233624951499834369674990361750367249745301894575853698770219187522911007974090361779042143759691751821770842656433338211212243433379920295956845422658348233052241330238699430406460241296179849971995340220258126803045413341989941031692230993202289911639927577968778034038132239584599316999768264191950625100673846710042595460850841622132386732230781156937932704958714217329261562353809018947359287970374406689456751293661263117770687363546454641076030546576598721515601025891891161832517105256614040137311635864395903854227859200693698486383578109502918042852874718720583007513019768514806024990308067766302466167267711889610822228165923704611870862465122435102279673698400285789439260897297478061373313389444234351665723243924197533080546358705079350726480173557603458312624702435478723472380481962405162951777432918856660664626965817264951085421514079397383783846963463044824706473491697781053010545128566698629025916804353201547260626581879274503684482917955882232385121779832678835395156347067185129000611853254171515205473173142950409800964862733352458634418554422558884590030420700660205171332144898232681164416101292770413232240537957244780050576729574540214065938170826841555347364978845359079940201695701782731518491172298527141803496459423858885280682977112365474102375390137002905091174186308279426444877113924217950446875283628980867043662136028756134320789267121349035356545541997549178841119785815257266526907493049684815972437367597936239970627976135478994934711694055262429216775854600812187075830442009853389575854738393255104704433128393584732193408180314715253565924318871268965994140465415175006130880041521089464789982252111262605736963466585235990322438431013871638669439555591036463179234426592053418529917041568246365646622217976801700507453971715565182371010617854905967931983626153257543445350644425542572651956197748965156570808642618508009813709886837337941551625668210810293056964261961666047934623137052647937434766384626798288596887946474685630667208168850971695916846771777004524235532072843263802049760592072438380377291471119737908213424332983860992235001610332639294942102454483763683919489732796366141555530892025476992384317387622976581416153443416094130637084837042554968223722445256395480018823071632950350560845781982162398384407423674693070638414116620917100892560635466803730509873928898651098128242515682012621139661691422847711765203193953053805171614652483099500258738343722177633306171458203848301115931405639567246916771818413892019734275467273308861658401621128677232962232467076762790489303843758227964435191695398124343660060752764237719490070929941252538234479275279261525131492464297950857153321386934673719377859463398714060191477294325090237112288112553003975106249470082249207536884681399024132110819723982458072⋅t53+7415487548311148661590256857438194793502293845122804668990056022307245028718681567686913245051717285063624882609971979616799723129240272567218245279710211883727942741626485033322523381489235442507356872435829213003551210506871423248286969868414227345639549657654992501780496775819291223336714095773509055765081379541251517929112024831892321664539522754659052044511288682568173379400544327747649763842645157014075411704795299157739234807546948023397395838629228233496997264457379867973899698757962460640134121359059577077784786440884307980197639193319909678963736788161294485230972488742275398845928701299442451257769631893926909777491270358709641671479706713581048350925461894595937033900730868506510793721068643383959321176378788352078678869199337958445354397899833939076262274345914592782012557470123333963015188881082218517963471859661461276435310046018528910469680668675925187259882549605540442760903383167122905979653854362978083660701737031260993535693488973743686486676927786259159216708406299904384011691204471600252553422049417811119976097386695135329366382549290097672785447661698304607778708440693967363584086399827461817640817452679629138186084658558718883435231777621348786166240084458562318987059983001631165608690869056703649052564513358196630108738093356971466647989658515463541668652677290911136512012847102593541798352423534356607107824239349491884142669616890374801299968445163040843297489275934298434569524247487292572890660933192166272125339940484498415430739631379181040965092428029225393164470614308030811514701057023859229107986788567266199332585649432822561451831854576861243915907650805776486673907064650055622436444897381388437870817700725754587789159183508059645109248606462627263619345344600545448745837798380461490677483515772527684261249806811818853938173333602249520497356445126431645561871181341352187103604088944022085215492549480820852893875918756415909368562851683532082308646319132593022798797715567360446277119224278801586546566223840554088219222970587392446748391402608002315597293189680987415488117409842296821214124581415320669679809988033413400988048472952316190028926538398039247304770634818379439910617744339769445967548830678919149662748139759061572322547514653332904357948473057519745095496454143896142795539760667568887136392355044430730971719441549973383097669311620058825260469462842579818864673590774001887989929252744176013700093025010876739912266575386705390456654849099876043894691720045775795893915100746150570797027996718623160429750225131107227668412164364845260218738369373496279409140255173256729429812241437277467390682428375537865629032175043541933371987718965051614548078760627534648756473939457697175145991062875107563175864633708434986899646348582285917492400491835406254845875910885421328216669105606121716689960147978422711329174116526120665119349715203230120648089924985997670110129063401522706670994970515846115496601144955819963788984389017019066119792299658499884132095975312550336923355021297730425420811066193366115390578468966352479357108664630781176904509473679643985187203344728375646830631558885343681773227320538015273288299360757800512945945580916258552628307020068655817932197951927113929600346849243191789054751459021426437359360291503756509884257403012495154033883151233083633855944805411114082961852305935431232561217551139836849200142894719630448648739030686656694722117175832861621962098766540273179352539675363240086778801729156312351217739361736190240981202581475888716459428330332313482908632475542710757039698691891923481731522412353236745848890526505272564283349314512958402176600773630313290939637251842241458977941116192560889916339417697578173533592564500305926627085757602736586571475204900482431366676229317209277211279442295015210350330102585666072449116340582208050646385206616120268978622390025288364787270107032969085413420777673682489422679539970100847850891365759245586149263570901748229711929442640341488556182737051187695068501452545587093154139713222438556962108975223437641814490433521831068014378067160394633560674517678272770998774589420559892907628633263453746524842407986218683798968119985313988067739497467355847027631214608387927300406093537915221004926694787927369196627552352216564196792366096704090157357626782962159435634482997070232707587503065440020760544732394991126055631302868481733292617995161219215506935819334719777795518231589617213296026709264958520784123182823311108988400850253726985857782591185505308927452983965991813076628771722675322212771286325978098874482578285404321309254004906854943418668970775812834105405146528482130980833023967311568526323968717383192313399144298443973237342815333604084425485847958423385888502262117766036421631901024880296036219190188645735559868954106712166491930496117500805166319647471051227241881841959744866398183070777765446012738496192158693811488290708076721708047065318542418521277484111861222628197740009411535816475175280422890991081199192203711837346535319207058310458550446280317733401865254936964449325549064121257841006310569830845711423855882601596976526902585807326241549750129369171861088816653085729101924150557965702819783623458385909206946009867137733636654430829200810564338616481116233538381395244651921879113982217595847699062171830030376382118859745035464970626269117239637639630762565746232148975428576660693467336859688929731699357030095738647162545118556144056276501987553124735041124603768442340699512066055409861991229036⋅t51-57144372822363201297848745929679600149390153599812002529666842284034760208718834173768471035404178031713416730107817586669955129630722976249711350045182808736990792466759212286461387821412627133182627146959786264056829284498436629938432430366652950003392212973809779929188005439357009443139073990179275857987212134545813756368109164078909552214412723766315346216980723134312960405866355790908476709105122825399510849216552631699949703176398103350996780881255070550390316103424861777719280879874576423032280531346761861172104275697052267093906814844147134913264222130447856892054690882490186634683599453893022950998067902282325663626320440143502508989685681604206882253929397018448810732339858388016249254113543830063487056116742301198003453483779265439730615489365803645280258154848059472959630566366815868884884354535404156736490325579129573892833570636451258951314421711012203062722709036135107126990760693398675978163565213485903250650991147089421118686526577303868328663420364801528672233123246082131787052380885874168695316544018668702366376348783326559741199993006919420380105253744246388547054767534004345848119464020858438570386742136869693626828330660294434602315015299566832024414896218586302307996207831558668828553521168725011904886442650475815609615265575747687658427540502820820189947110410891079542352974066283281246472231739940363018451312690292010295503204387796349676821550642079654842798608996376077804554780472980489133883186668213659664467390614317645603194657149929250383355241614056925425540486657021696858063382871352306637955329971469485841110472643201002906387162903579997128675856927622811888778151747970368929101364185622221636720603770173731286781871179827310354344193275007748210984177793855737955923797043964570517724828852773970917557428474621353596976453630333552411039748066474072429200867177673564132632697355713321908730350666600633108425385107092490478115961033200928223404220632619496679057289928181829649540140073151586618814331110783103764970461013401064822700418437819946328359542656620324801798854813773595859227961093211007221340612642215155516434298874974399003793592991801665208653953961499434902887210990394019679886363847948400154278861773845054038376608635422779562087207014644849420003065665625269773233059288706560706667715158304621584608726252306985049918024493952729108943997597393943732325219547476525672785581709684010724673379508413782957238564810817380560704717311190952342914197049377992413237014233080431001003538880002263362392718066334148086856682467490198727925699666869519955296077870281714763306550400762438494286908704273262770837455501777228351330002905910709742764106819905559005437001748898468258603312984217191278623217451999015479040976659561102789892626769551968751211468977721355332054167276401530429172490036994605677832293529131530166279837428800807530162022481246499417527532265850380676667748742628961528874150286238954990947246097254254766529948074914624971033023993828137584230838755324432606355202766548341528847644617241588119839277166157695294226127368419910996296800836182093911707657889721335920443306830134503818322074840189450128236486395229064638157076755017163954483049487981778482400086712310797947263687864755356609339840072875939127471064350753123788508470787808270908463986201352778520740463076483857808140304387784959212300035723679907612162184757671664173680529293958215405490524691635068294838134918840810021694700432289078087804434840434047560245300645368972179114857082583078370727158118885677689259924672972980870432880603088309186462222631626318141070837328628239600544150193407578322734909312960560364744485279048140222479084854424394543383398141125076481656771439400684146642868801225120607841669057329302319302819860573753802587582525646416518112279085145552012661596301654030067244655597506322091196817526758242271353355194418420622355669884992525211962722841439811396537315892725437057427982360660085372139045684262796923767125363136396773288534928305609639240527243805859410453622608380457767003594516790098658390168629419568192749693647355139973226907158315863436631210601996554670949742029996328497016934874366838961756907803652096981825101523384478805251231673696981842299156888088054141049198091524176022539339406695740539858908620749267558176896875766360005190136183098747781513907825717120433323154498790304803876733954833679944448879557897404303324006677316239630196030795705827777247100212563431746464445647796376327231863245991497953269157192930668830553192821581494524718620644571351080327313501226713735854667242693953208526351286632120532745208255991827892131580992179345798078349786074610993309335703833401021106371461989605846472125565529441509105407975256220074009054797547161433889967238526678041622982624029375201291579911867762806810470460489936216599545767694441361503184624048039673452872072677019180427011766329635604630319371027965305657049435002352883954118793820105722747770299798050927959336633829801764577614637611570079433350466313734241112331387266030314460251577642457711427855963970650399244131725646451831560387437532342292965272204163271432275481037639491425704945905864596477301736502466784433409163607707300202641084654120279058384595348811162980469778495554398961924765542957507594095529714936258866242656567279309909409907690641436558037243857144165173366834214922232432924839257523934661790636279639036014069125496888281183760281150942110585174878016513852465497807259⋅t49+12478300782317981920150552806703939094600557638439539725227314031632493506103029647931588561178848964055188682544715062121678198026951938931041686933564072125277339297719546713504713770470094752475921455119693064411595377565986251988708909461739586877837721161296231624381263797585651816894327724948457094900055379018459884987474212292602182361980537895308950045748585522067015780544851924897310528293078728155823258697863128587582363389973737978349555751028560373712128407786666848110060346259790448581730951588512138584113868378228995023597054843269997883815252278958350008949906754081781796280168916993964303145282073754928657553774856846151981887184275872214832678212527310809344849286551528314817542499385980637244085273419479023500576274953746274883949020227338297578804229085371304951894120368394338766675590531442383443728265931430092116033728172140799973114589727355179070978231409238687433251871108561627067957165051895483733393079453773183334802514470866673203063454062415298893436271425899353079958801359540842444233763601532025864106841764623263993328389105109970858838162468386885074125243428201605245707029009048444770824205878548376738625575434580336472097237524144349440204034791443239739997430656101344001315471815696788395740336378030841707133403355299464255116801065433772573392662184000653076976172296523148684152193262124098437354143672795780191615105938217752321550925055595678024372484915809260592353335962817974919964020056972470022294400971903807267938563230034938259513261309312165195658538926658709513140013740815903413363959132380867120728295206189271590304448472817752283334165044670591377484147490310858568937501354127763072504062762006973803017111453591549434093184038558964443909320019009257803403203775648368197688011811440230725483046119416931520010789978317976236132840985516558844517302550424096345971325497868447284012329007133005172432460411491801458100188492948214443704212514843525555503966376332606920099787112139895408258840116826424573184245309842817357398357785233658452510554089485508891528640221588439958946597368701741673024734036989956058468307274055696922903004022478063766491817715181780872214139074083986393039528733620239575347426559945924148802357782557641412583513311570441788170700835072320772033521013892861898561273932399030235042635180896076727614438176840576980459649994683353085253279927217345351568035209869577850989526232894047509695378394856273925059252513212308367813763327046112520067764713205857070216571505636122394209742534188835325931654886531050125247953215987962690253607180435410499846770745804115120382247664936339247613564937286669172903990057978491062289009860175996608388434880704093105396760270111256270017836498354446381843745685764338172855316170691420843759691751821770842656433338211212243433379920295956845422658348233052241330238699430406460241296179849971995340220258126803045413341989941031692230993202289911639927577968778034038132239584599316999768264191950625100673846710042595460850841622132386732230781156937932704958714217329261562353809018947359287970374406689456751293661263117770687363546454641076030546576598721515601025891891161832517105256614040137311635864395903854227859200693698486383578109502918042852874718720583007513019768514806024990308067766302466167267711889610822228165923704611870862465122435102279673698400285789439260897297478061373313389444234351665723243924197533080546358705079350726480173557603458312624702435478723472380481962405162951777432918856660664626965817264951085421514079397383783846963463044824706473491697781053010545128566698629025916804353201547260626581879274503684482917955882232385121779832678835395156347067185129000611853254171515205473173142950409800964862733352458634418554422558884590030420700660205171332144898232681164416101292770413232240537957244780050576729574540214065938170826841555347364978845359079940201695701782731518491172298527141803496459423858885280682977112365474102375390137002905091174186308279426444877113924217950446875283628980867043662136028756134320789267121349035356545541997549178841119785815257266526907493049684815972437367597936239970627976135478994934711694055262429216775854600812187075830442009853389575854738393255104704433128393584732193408180314715253565924318871268965994140465415175006130880041521089464789982252111262605736963466585235990322438431013871638669439555591036463179234426592053418529917041568246365646622217976801700507453971715565182371010617854905967931983626153257543445350644425542572651956197748965156570808642618508009813709886837337941551625668210810293056964261961666047934623137052647937434766384626798288596887946474685630667208168850971695916846771777004524235532072843263802049760592072438380377291471119737908213424332983860992235001610332639294942102454483763683919489732796366141555530892025476992384317387622976581416153443416094130637084837042554968223722445256395480018823071632950350560845781982162398384407423674693070638414116620917100892560635466803730509873928898651098128242515682012621139661691422847711765203193953053805171614652483099500258738343722177633306171458203848301115931405639567246916771818413892019734275467273308861658401621128677232962232467076762790489303843758227964435191695398124343660060752764237719490070929941252538234479275279261525131492464297950857153321386934673719377859463398714060191477294325090237112288112553003975106249470082249207536884681399024132110819723982458072⋅t47-300958076974898551129891295824743038083151387838651154743481220327814509282412556458664432918576678330795742025648249879477203863510366391282985092999303377233108184372561383579715698926627247748637106155142165279228678130144483076257901134847361212216195162128613183354216021895666961024311357107628427778644885271633779622510951782021813190143361128699427164598721772763984208875350899766425298706101062636832279711308114692171613991239510252845568256812749471656636747268525525807912358204767385030709828513306638563384067216917127291485049012294492342319680172377224611943672496370145897783153070326119319573250433809517328986669790471341353171898146959609446288449030676555222347421218857531585543582023278594679344926628232399098838466921329012905439888351917105822166746252217674156230919217595230899095207114371492983821871506987633248846856788195428399740471698847961199747684486334407253406609961914259359379619535112486763625006882909939018281504571308818725559249477165171372697792190029489855840750389950718774096317161127591539695285460604807910904685077439485265953012065753553521347550518915322943774390817162005464097773345748616134400582895079047599678784961172705573743369865978082826194569589309282274354305638541900133861702467432511753966929209805471726819065183181851383461532277935073086528782906140388786401793911644166391443740181237380609574702879339962479344568045428326764179767240493912389637107827811317809017912587066128941056551217442581474266991203441153713270267297796242592176805731329381274967510468642185747541223280737416500585171716095077228531955117785754018537779865176524259857505017554945157961369638250917829881294760009532582614136991993771709271073819138955700792054513540112987855862951731758525899959824742220692848505549318004564279880372318970483287975803242712837011154779203910980377578088480126052317427709753268190663986731513007823944081517767196593574658348935542461915067239946140073122801062397544969664187322649110815422785928744904393637225493173668101680013136594545178531489440147666568869207507679578805419367669677029464835467911148180488584217285230482558163505436301440281161618272624903729401800099124275615867641937774300211667484818457904784627232656825095101614716995476376752876968059767718238222982951967078644535922901837085348403239907941981640864984947769979528210427443617934130535952657312838331152146283367708896450102650761818008723584265661492725071855040909550841315221606173679452320113556081256601434066420538758132634047014499958335966358858325252914636978231294329433621543880390572465267559601142074300782438664967235700747470870399564845194902901796210268874875457813839492858561676934188082659196663134263660221070530169214769862357916436177056406259691751821770842656433338211212243433379920295956845422658348233052241330238699430406460241296179849971995340220258126803045413341989941031692230993202289911639927577968778034038132239584599316999768264191950625100673846710042595460850841622132386732230781156937932704958714217329261562353809018947359287970374406689456751293661263117770687363546454641076030546576598721515601025891891161832517105256614040137311635864395903854227859200693698486383578109502918042852874718720583007513019768514806024990308067766302466167267711889610822228165923704611870862465122435102279673698400285789439260897297478061373313389444234351665723243924197533080546358705079350726480173557603458312624702435478723472380481962405162951777432918856660664626965817264951085421514079397383783846963463044824706473491697781053010545128566698629025916804353201547260626581879274503684482917955882232385121779832678835395156347067185129000611853254171515205473173142950409800964862733352458634418554422558884590030420700660205171332144898232681164416101292770413232240537957244780050576729574540214065938170826841555347364978845359079940201695701782731518491172298527141803496459423858885280682977112365474102375390137002905091174186308279426444877113924217950446875283628980867043662136028756134320789267121349035356545541997549178841119785815257266526907493049684815972437367597936239970627976135478994934711694055262429216775854600812187075830442009853389575854738393255104704433128393584732193408180314715253565924318871268965994140465415175006130880041521089464789982252111262605736963466585235990322438431013871638669439555591036463179234426592053418529917041568246365646622217976801700507453971715565182371010617854905967931983626153257543445350644425542572651956197748965156570808642618508009813709886837337941551625668210810293056964261961666047934623137052647937434766384626798288596887946474685630667208168850971695916846771777004524235532072843263802049760592072438380377291471119737908213424332983860992235001610332639294942102454483763683919489732796366141555530892025476992384317387622976581416153443416094130637084837042554968223722445256395480018823071632950350560845781982162398384407423674693070638414116620917100892560635466803730509873928898651098128242515682012621139661691422847711765203193953053805171614652483099500258738343722177633306171458203848301115931405639567246916771818413892019734275467273308861658401621128677232962232467076762790489303843758227964435191695398124343660060752764237719490070929941252538234479275279261525131492464297950857153321386934673719377859463398714060191477294325090237112288112553003975106249470082249207536884681399024132110819723982458072⋅t45+58158821631146584381787393499893228910993822240096798530275228950053958108772209816368552897173929767924860741058191464146366509752514245583367732477176749570506516619991329256747764570425342328736973280866594979099164038561745147982325586137710498159341897225744070172346012155781340607237939377802129480753410831505531068264515301811834790728613974931996649281598422379333876679779203673885735458072949029256419683861180813569123500142050651981780772087155533226781986618860491817539483034961748820644054338781645049998761909174971449272699050907770122238862436845240995398670849129886880519837566928753706024578912768940217634754778549004896388024028842666860167132315193841077392078436263349995503976781855930325307650620332963286466472357841943814404823843395642289030561416904856690144658649093460404932743069709042313808028346008079160593463491632199765986982764917028597677768889450895161648980697135999664909778906898133254123325585242914943629837377762080585449450788269995374924911075465983510880750563604265064312948585156902741612781782768327717028171049037733698214350000659080087329324801487497290371305163977010503602388335868219178682144856923039665516098643251478950865741684965134682159936945790588873387008566200007583751155254937220325905283533653127820344760929019500236976161088957739137402084130105558602557643850372641153507991841893659125512850382729422888392830883650317542547808505104805427287031814435544896248039311862404715774227582410048412826279221144111677565828444692722671517053222059652021917205358844712912098838102589829292742543292576955360053687886348387056411464697266273501937688534978593113613906608134646767166846246130872251196360781849851494636966073421842858901719069861025418488365787779567683526877007264094504194068013468188429441559638485849903746942395715704045627521567466732037108022108514133499779307073134126565103924261149565188794088810558685580869253493652857771679195442984844285868281388030007274686833342955975289526832897346127142461075371124185865237359367601002580489700679916004539648140791734471525431058538216398998995092893902663256195913929820973589369317441796013658712333115911248437334499417734168457143448753364942337195948044297380371309031555430345288082573071668528668548323127658630588627528871498766047882589629335791547851281862003863788048085676656726332400641035963408727103739264486848281885806637130440530621853546191923280313454555111480929871136652760809416284272412362384377630508729501279960274162831250116433958533987557013087569566633629200088260154703402544811642011438102953393219145791704003254340086332968709489687398018309483496698791540642530569316860308634085229153077822755817728157480917444953072510490094392685690407047888919753350421875881068347433712968766667110110203948489083663268804129332577112095658302748972675491496385572379986361090485474568920618458673940180903730153839181200208173785447961633525275821648385416781756090888024017450056827333986064549326860077349238375671521111889196085266609541701292484478323850346274449759935270034036971768795572151023919797335214867859512825093686052418065592327365990171923802956100477874003648846512351308718532202532654608518044216688919045719822077534065338234818864819978955891456817300733433300224197024337444510074748015083973146533714769556585009298152154400025980858114627027043460124846671767657668333247567629472503007322396245916304611498197596145768937511336585043520315670952905673196631979766628986969151329724165205904644129228552672489434895178496640438609679408336161913910049557142427148093265164032109231569147871079934045789498447086898384762283798166607166854105122460653193545510168477651955927770288467540946345542260248486587148583504947505353144548220063696382288302922263475698287674191026615492112021867087022252731870611779503655824176197347894686849760452622305370903654699609252975592590106572593376527590587220350807752789361555669588554761399103363900462834016937116311494988828538565268222443207602634624276696557820796012210980842465577185032413231090686288985556344165023387866082499368153165088403397054357839997329816012316272266791972186842039019706895872801107915984585637259399052350430763023191336766648035780430199400743664974113960538574442842633272194587765015909648261821956462678617271113828296600521542133325930544574767130092170148969949050508276042107203129690186674411810640142567851422420201634254700046132179246869562033728237986809633448362147832114322131395513129594779331996017977178650597346240238046182710337262439757994686511424382800935732451296541969640721329376095695267039524216784254389872444358770425966424291651713724699628804251979727684021412006622114891095432781097494398216117406465430718928493121180350999294091055484785390449282041316705789447226339345124194686866444729588817489483398874816052856013949401463102785189530640232269838520222296035952728983915602995486414622343816560218034946129424972097330764919692810645535687330496982157319079448081695554375294774152910238285423790129349791978654835813913982288328604771190863659885303974743421209651950745804391010539218694506113356070165310353819975843224297573532878036511011697930269293860643342071862663985796202542221381063218011303969096432069476156317279175449204776203134479570841956830135678572540987013938307903152156307078133036246732744679754029553657919298919323000361373295406371113564321534971036274921100983611271132552⋅t43-119501801395859324333092834072824468726416134522918060244935354470564313833647428379004833298974671755902806579810849962621715680324061049419473902852603150468542378259111015997521103396403141923883042749416955507355514604793063115785186399849944777425056835697204235702945213787924422089793150731227260955452893230156976745450887572571404159031997680624017784688989438778598449672133599006801219213133315377335122869064863391554975974176138021480720922225888955817259353518554062930085326452665194819494197116341807278605636924721172474018093413421358166748010611727272579153184549782025735811491865518221180222665993239584094409878777345374898201353643150581906638836865627083604840304806291178216849444177650819762105693626263878769506839137661480790517276557075660724926006121148007456302342053415205571323625455204303703839973765125423537389292444752050779230834720458237954882778898456022313376198623099957564638530325344547948698722888426903796819400764374572594995946463915571032466691432883301181451099050490016866311675150254639776086716303480761369992824716598783209430684309769136713135136032477404662559617018376430384899262789741603853852656836161842413437768531942560785972380209529440478734981807328343636529023542925148407024575155522335190561246108789695884146778325826200592894967443701515203150650111310190342920154530780934977777684739403918136515480268986270335841224344835434234206051887086298454058462888672077190696404075985087696808105113609261202270151962114744739301610611617137831203629447240529368984537891097148081776624011261547206588273538767472467064759418858040954151769274340444033989258906966373527216174434250144610243189683777019837933899516529152717966959674780170376851823864889908048408036660497434296361043309628628304206478801808224151077650770128375684420942154294728375264943498898187872191245105994240665184433111041056835766526432902446738546788896189457622640322423070674562719690165230944574631854747722587306946716011291063518357921449123161473118992802351749809026322460547307177842704442085680830667773500464567305979097656465452404912641892164006579336459855211287841902684614940167164525693698263619967239893369387068733422128425136550813116325119857971795441331755784028457864274992127807700627538153330118914608945339677737126371274705682298867218264832675035618952827462415901414370535122501288043433180577592528404880373471047824640610688861404820808261961340086988065386629731981520809185773619374463874706817742851419701259138487996084805246678680896193918245689988617606544106575378705425762523213538945154751908419321398323552650907204359941045103078448905986959347126263794688526196502556877522272559979520956141729561087868455736115603901675994562895518395469955174950336093759691751821770842656433338211212243433379920295956845422658348233052241330238699430406460241296179849971995340220258126803045413341989941031692230993202289911639927577968778034038132239584599316999768264191950625100673846710042595460850841622132386732230781156937932704958714217329261562353809018947359287970374406689456751293661263117770687363546454641076030546576598721515601025891891161832517105256614040137311635864395903854227859200693698486383578109502918042852874718720583007513019768514806024990308067766302466167267711889610822228165923704611870862465122435102279673698400285789439260897297478061373313389444234351665723243924197533080546358705079350726480173557603458312624702435478723472380481962405162951777432918856660664626965817264951085421514079397383783846963463044824706473491697781053010545128566698629025916804353201547260626581879274503684482917955882232385121779832678835395156347067185129000611853254171515205473173142950409800964862733352458634418554422558884590030420700660205171332144898232681164416101292770413232240537957244780050576729574540214065938170826841555347364978845359079940201695701782731518491172298527141803496459423858885280682977112365474102375390137002905091174186308279426444877113924217950446875283628980867043662136028756134320789267121349035356545541997549178841119785815257266526907493049684815972437367597936239970627976135478994934711694055262429216775854600812187075830442009853389575854738393255104704433128393584732193408180314715253565924318871268965994140465415175006130880041521089464789982252111262605736963466585235990322438431013871638669439555591036463179234426592053418529917041568246365646622217976801700507453971715565182371010617854905967931983626153257543445350644425542572651956197748965156570808642618508009813709886837337941551625668210810293056964261961666047934623137052647937434766384626798288596887946474685630667208168850971695916846771777004524235532072843263802049760592072438380377291471119737908213424332983860992235001610332639294942102454483763683919489732796366141555530892025476992384317387622976581416153443416094130637084837042554968223722445256395480018823071632950350560845781982162398384407423674693070638414116620917100892560635466803730509873928898651098128242515682012621139661691422847711765203193953053805171614652483099500258738343722177633306171458203848301115931405639567246916771818413892019734275467273308861658401621128677232962232467076762790489303843758227964435191695398124343660060752764237719490070929941252538234479275279261525131492464297950857153321386934673719377859463398714060191477294325090237112288112553003975106249470082249207536884681399024132110819723982458072⋅t41+1954870443500355894643439372320428751772010828591155210433563679237795255055491696802386702936550796156256002866837216495725449886246959209635342962975367712433280367444609150252230801400616830999756918205488044456062966502113988156613645167652562069188736662696923836161965254634705820259374538879933400473077282334154770486815638807595613491335645608733832776841715209597983392197419469259356472342522859572058607233904021070017143327666650530865705134045444708185349003623699894290746142408744754545277411544836429070021607288197748154153184470519921221459970445525050247323288343437557320481915708205427013371893237216732238872504528405926196468038136210046337025109622293286655753989854824653705317899830320674385415380356278979304337581957417154224422546890354686447442174542023994947019296491953879286278955838680287001255255429774470252667111466403303141781996078421173753109643476930962121582150493101253665344788166281934393632575541079217370580441807710633506954367349880429105510364870800294779110617502651725650376968159537931888355490069231736305367440860046846911218969534346126288986003773257603381720727296074455167645878958111602949225289880825961070684588718376174060385498050206979913341834459369508603312731023429161952984250113919088581479399367107214404993439692746054295192808993817683358935224958289293976929757079942756943773446231738379747585376913686396452768141818975326575780423855922181231035824311647510953921235938112226831487589502354607251415292011961211442553729019563620800686836429070709972189377947630871606740965348947206435581683465695017372260370480457584236865865315534086926034149005042223796605951871425445807095088993270382568583984275664617237269638562351894433622806538493779318896540024858332426960976561890972579941705331514163703828282145186780660549275079376541632318894825643264378328724332347772401811559467510892974956280477010746979722635732459177496656511150437567647050818883265822020279651599696280484816744687685178979067161529208435652377108185177990029656914649252129274619500726060327595199035820849678908157032177585045449269700880572883869641895637245934107698781942610878512511551260202106939758402197172682330532573218003249956707100286104532366270164262022984985862344089796116431883518157069783122479449837121463568074737710271830737655780438305379394578229011554499735976125307152802081735121449591805857976425615372210692881915641759966724868864453283939813979813279068005531115084247388278291284642699111090475743422762327988107622918964766732236644662354384556984632933084631296679715686925881499401436106172328091524679908845794168414537735313073863750193047090841830320399876829770801365296438419458565522724500102407166239599815160074192281839301313899576656497093759691751821770842656433338211212243433379920295956845422658348233052241330238699430406460241296179849971995340220258126803045413341989941031692230993202289911639927577968778034038132239584599316999768264191950625100673846710042595460850841622132386732230781156937932704958714217329261562353809018947359287970374406689456751293661263117770687363546454641076030546576598721515601025891891161832517105256614040137311635864395903854227859200693698486383578109502918042852874718720583007513019768514806024990308067766302466167267711889610822228165923704611870862465122435102279673698400285789439260897297478061373313389444234351665723243924197533080546358705079350726480173557603458312624702435478723472380481962405162951777432918856660664626965817264951085421514079397383783846963463044824706473491697781053010545128566698629025916804353201547260626581879274503684482917955882232385121779832678835395156347067185129000611853254171515205473173142950409800964862733352458634418554422558884590030420700660205171332144898232681164416101292770413232240537957244780050576729574540214065938170826841555347364978845359079940201695701782731518491172298527141803496459423858885280682977112365474102375390137002905091174186308279426444877113924217950446875283628980867043662136028756134320789267121349035356545541997549178841119785815257266526907493049684815972437367597936239970627976135478994934711694055262429216775854600812187075830442009853389575854738393255104704433128393584732193408180314715253565924318871268965994140465415175006130880041521089464789982252111262605736963466585235990322438431013871638669439555591036463179234426592053418529917041568246365646622217976801700507453971715565182371010617854905967931983626153257543445350644425542572651956197748965156570808642618508009813709886837337941551625668210810293056964261961666047934623137052647937434766384626798288596887946474685630667208168850971695916846771777004524235532072843263802049760592072438380377291471119737908213424332983860992235001610332639294942102454483763683919489732796366141555530892025476992384317387622976581416153443416094130637084837042554968223722445256395480018823071632950350560845781982162398384407423674693070638414116620917100892560635466803730509873928898651098128242515682012621139661691422847711765203193953053805171614652483099500258738343722177633306171458203848301115931405639567246916771818413892019734275467273308861658401621128677232962232467076762790489303843758227964435191695398124343660060752764237719490070929941252538234479275279261525131492464297950857153321386934673719377859463398714060191477294325090237112288112553003975106249470082249207536884681399024132110819723982458072⋅t39-835189290857257036017776762487196994369258330534360572820404976724279335845852440677356173886113033951853340605766799829434850688659317801259397087852983341308062954150408447258217391166281242576063133828173620279972912074937417606982603372207516996990631981737081041495162857885342426990332576534114349936929440172559048666568690234935674080122668219332554345656207847511148739039786393610830845934752144002128461863728902655271625134471448880902365958687645166638580072491650861335782840316991302816796923538120166998165780588477464542196147221297797980918923025642141381829136078665108350330879773905386670379700352171137711905305047152235428539537918333075814225969072907042814653117400165902770699940412348015544397749811224092920029832882797577556841005969712918653062555456321334236818943918130812562497261726759957082348143374846585831828703594087848844216649348528931204759319594191466857667355794717818437670324045916252212481913893959185046989999775525281334212254849441584394797780543185583270959176055672901195929329341143992585979739898655897762786039975260646658369670954987834956006300354781477194782314696280803508466048278672576112040250109331212030084062704446121901929508866841213930675956706097663787773290395083754456874365448270459269150401902610714644205700778109868206878098234112148203107615295748427733945382188442676040718331194054432141675092835865929815682695424615876083678203676621795284203355599344405104194829434822962027616336164220787620422134483319176514548730306190776830414379417917597206568279700080757897876636932977342784765550988111312687544993248542145093395318606887939925292415758027896389349894977204090324824062461520010900404786789245718573002875286779311771455906105182887766830060953077223389944242754989748462469290576550909500754719484504852603662559212392878447270703359072679588500459416127221968805660649771070272723129929036733508946905479206872292567616922210940817714659165411821787603294856234591905065985423549204020162494433428077664255414968569080615082444744576194241763943365593474237579958587644205979497672376012404845271922772716730805784119809629976468922441719684312448526485640890972787156076842420315558707500209733559005558172001460977864164290955387360553952274144992177132928169399016038703616362560364743898010796527693214060828733268731721631280533569510217837246818393674253765946684314472089965731509769026802815462858699313520677933675674262468178135088821882962636103078079387658681285514606578374152860452109683586011552316736918297663996737164381633367332456343805650726699110376640451032672442606788432124593604237876058827398229193954840270997626995247276071276385785135871859264910849568597080971466846769596650237367185346503418350111913932966090430937529017221023265995977345323985665399501137485916038459349276491715725273443828441408402575572743053443029926168324126128152830578868233356382312068841923023687544693347211910281551294130492812326346611569436977919463095349431265255870810903060276606982726889691430936242391359932123537611837751553734608646617887445178014225430123542268774513064510343236754582474780235693160482113448775933630290734301239641129675556480227257048586404792496103252645443441625503122313996163834080860817424456631155763444036131036833731039723688292247970743011747618598415755883600105096645729635928999369578625441010413357405129908515671711574021688395800997247144786542153744690060399873064246444984139028379411593953538809596296262806685385798385223434029393008835585094353531129891568404082224685103911597280532278601827979426846403080915918575907789063654570604428965579893661431005635426302759819858319866452563913374805775450933692377759027561296925577695837727439708782492391121013635995685283203683894313353907698599236222253536420407488900510219258205203464804730690349489744132377442928655170184297447200535465146945928747591921505184187099318259063298812863650969637381079889153031034353599926317775457799674174210503830618098434472826999851637351148589763074981024359367533336289788224914218668732172281429787960602155047351069660260202074999056335246818465862084550810263401603230523756621838488809668313700163475485590047396532963632902921720773632500313486326731717319557465293953038069621454863230153499898186049297650224569254131860841585223922102551231325166877136127500706557851612068903807301405507651470169051434833612551058139311128866970797501935994664601202696130101711723249049015001849864987927940070736985801028279492947381863989975916759727440588535355217420682664112903852806401022609657689253923033104683419046904335133602206744454902499300552774845175439784270882292307386850804943029029691157999332348874956682852824143119909462850516282575979914584190832060519234529891799377949106617762393098629049264921448155447574050288521381902787101872685605941070022823283177892674980287706977955343823480703497675815704360465509038392430038773504673190964018450294564094082858362486941359630601548206265151603194023145239143499696560174036654238568900063292400273721100933428752077703753907699445067314669162451312406353825249419675024562420063221351513890919900948418618005664729743339722375176232510184494397237224437821757714858654159592346581520851602370345503366298383415427437837483503206377069618377947542740357070434525426539814224123213537086630759638855866656882377425722985911152964781773317702254502919479788832581584453703247549098874647038382407133108⋅t37+13826693481496689217885193547799048189347763071861124274371281003864646881828368005650134526671854184191449489570187781380742852269387138312318533513897512122702624844486917485928003815920864897894316822073887600403751576639012522232540066245224073538423209665961677324644838419496410834170836372783895094025378207308294868744990489340966223718153964615197599427437250286003541749709738373089597228841772953450412768523850045245948655346243736916695743008605506831018096166992600329862448951297004072639921798584413427647946159156244553735088804919203818458571700428654296110512102054434499468875731139070463274930189913458650841847407654438585385546907872396705430191942243837982273381230156901338515132696207236158716348558541382211907929329646390959819888493338242926485778107534081185508991556649093422290735037662200400691152503299916645193472420008001271335395981703252631494740349791206287373819998775644207368625291319124577382149645403563849340904661113701220605988490416933912765655457330979496736818802952965694429831755692474938996888658192486122474423748666493535018472172543092314054994457946984393152288455031045477567249265829143381239038759947265907941396783632125545064884722296845304241949614190121685476929488853119521786441711599713014322861089092901847811650572464638559102595813876575164446401094213304145649817858913108622998519947215524782907868696399716295875481903437094074762530129526279264386125750035770617909857663701226169310980240367984295060246602244163396262626037805771632009449041233500408783505470510626261659834240166201561658554176589098438544383817000356621831288762611589228161815822928193016075327683548917771775196030363908855292669571120005163972222888741354178916507274015871727694709620545624876855013389054023292117710436318658528549806390704186689648921764159693614660191741965404713618334004959954454720000079101910078875582421093754944612552825376917811367957415911899775592900389896840524111959277714493296062430221043177797727252463459379230747711302925122328360236351707593151631337739243369683202477176239357676475185964077797615425444388589696927245989530278597846609013252209447521614612111744720097026818707260543040926617840589922130055056291187217002083519777289427702152767680434617981082863844987165347953308074280764332980654095363471837252436155309736613047447995174325459883706914798256290294899488992103138151017695535090015333540021901937735713694823725712595975157937337030909977696847383612415339323454058687553867044471636632061173806297202453535072313634182386006815320530388457955449572871714559687540680619274894626668372217216212094676327594686380625837151382557796138838971821170152336575045004779800640179990307508290436754098398995194456607255959359083714598743420312538767007287083370625733352844848973733519681183827381690633392932208965320954797721625840965184719399887981360881032507212181653367959764126768923972809159646559710311875112136152528958338397267999073056767802500402695386840170381843403366488529546928923124627751730819834856869317046249415236075789437151881497626757827005174645052471082749454185818564304122186306394886062404103567564647330068421026456160549246543457583615416911436802774793945534312438011672171411498874882332030052079074059224099961232271065209864669070847558443288912663694818447483449860489740409118694793601143157757043589189912245493253557776937406662892975696790132322185434820317402905920694230413833250498809741914893889521927849620651807109731675426642658507863269059804341686056317589535135387853852179298825893966791124212042180514266794516103667217412806189042506327517098014737931671823528929540487119330715341580625388268740516002447413016686060821892692571801639203859450933409834537674217690235538360121682802640820685328579592930724657664405171081652928962151828979120202306918298160856263752683307366221389459915381436319760806782807130926073964689194108567213985837695435541122731908449461896409501560548011620364696745233117705779508455696871801787501134515923468174648544115024537283157068485396141426182167990196715364479143261029066107629972198739263889749470391744959882511904541915979738846776221049716867103418403248748303321768039413558303418953573020418817732513574338928773632721258861014263697275485075863976561861660700024523520166084357859159929008445050422947853866340943961289753724055486554677758222364145852716937706368213674119668166272985462586488871907206802029815886862260729484042471419623871727934504613030173781402577702170290607824790995860626283234570474032039254839547349351766206502672843241172227857047846664191738492548210591749739065538507193154387551785898742522668832675403886783667387087108018096942128291373055208199042368289753521509165884478951632853697331935443968940006441330557179768409817935054735677958931185464566222123568101907969537269550491906325664613773664376522548339348170219872894889781025581920075292286531801402243383127928649593537629694698772282553656466483668403570242541867214922039495715594604392512970062728050484558646765691390847060812775812215220686458609932398001034953374888710533224685832815393204463725622558268987667087273655568078937101869093235446633606484514708931848929868307051161957215375032911857740766781592497374640243011056950877960283719765010152937917101117046100525969857191803428613285547738694877511437853594856240765909177300360948449152450212015900424997880328996830147538725596096528443278895929832288⋅t35-148019471559663085051673866005959728973938909522902302138412594251509897699651356098517279840303273060322414610850839615466275532393814986916857953705910060107838909525197157766600404210471962679644220416809130164460598904158934238711353396582095540990908528467665439188246463315980632661386598399145835190553786110077479893146188402017022683615382513949686997503623147718112802910433690654886685174815639413969335252539643001281197260961902717565510805979334234798561366475851468232370791681259378004085576823616708694946702413820978525168194058421175697427734298682230384000009632056392129981978249038100659073930836071462355020435636028493574565867934709647266546744354120064937340245829409853416063424680793737794919435620378943288040853258416887577233956487421807212811399694351295955423627443577730454243011389342471511942255655992305327829537459382665991690449291975270898822708695587834058678295625796136900388747600620042810126537632992056446678016514695865941228351572793203577032294884847707730829802114600728412909754744314696541053680393851146012070622002923975945416630493226576108138737466880707767845359891269027047440264702653832792983520729525924589361255319367839331086407710268734126741522000442039214904701110520516607652430379554423814030231981740397808416691287126094373631570711492953754224296312360460919075977576892978318907017828969186857987015541508606087445767352822044985596490712591143443831179052829334544688290319683478778173716863722091521165512680578368559122388815959269215970479275652122094641184224021316476653879181984338097814671293946622161302297405496142082193357637877436764519125094145759722655328695375610522194510763691041574167328723749368035017927947791150188916696027179883626079529896013508910924004781235943925330942734434255637148866803948505754562607151910878600473088727863513125568544332947237266376229876549513572429529156631644404587398500415549224737140159932773694754111449945003408696580096139290294261555390565186629430656771029738145897187443490185134200233942907965876525225176775789974036001015739524970242713001004667979509226575156955799996757790981687268389921461036201819133840825775741364202305812103521317109891380832357935440708280953698931765350280888477671370353050459328772736289012505301136681262819147449622622960992163195868669667143022837365007507417039179041483748260059126367605953969745164728144571901144978488970048633606021715760998241881515964256679759031410927219878360903204313339683579055385236016654791237634178659818961556841782861632499061118796045884945557842548619720871025825818321906997908054779827061837180687083291775820459907986054190214717213865960914082126020601825091965150514935751250561972413332558673290096450573479047766903696769562573326562538767007287083370625733352844848973733519681183827381690633392932208965320954797721625840965184719399887981360881032507212181653367959764126768923972809159646559710311875112136152528958338397267999073056767802500402695386840170381843403366488529546928923124627751730819834856869317046249415236075789437151881497626757827005174645052471082749454185818564304122186306394886062404103567564647330068421026456160549246543457583615416911436802774793945534312438011672171411498874882332030052079074059224099961232271065209864669070847558443288912663694818447483449860489740409118694793601143157757043589189912245493253557776937406662892975696790132322185434820317402905920694230413833250498809741914893889521927849620651807109731675426642658507863269059804341686056317589535135387853852179298825893966791124212042180514266794516103667217412806189042506327517098014737931671823528929540487119330715341580625388268740516002447413016686060821892692571801639203859450933409834537674217690235538360121682802640820685328579592930724657664405171081652928962151828979120202306918298160856263752683307366221389459915381436319760806782807130926073964689194108567213985837695435541122731908449461896409501560548011620364696745233117705779508455696871801787501134515923468174648544115024537283157068485396141426182167990196715364479143261029066107629972198739263889749470391744959882511904541915979738846776221049716867103418403248748303321768039413558303418953573020418817732513574338928773632721258861014263697275485075863976561861660700024523520166084357859159929008445050422947853866340943961289753724055486554677758222364145852716937706368213674119668166272985462586488871907206802029815886862260729484042471419623871727934504613030173781402577702170290607824790995860626283234570474032039254839547349351766206502672843241172227857047846664191738492548210591749739065538507193154387551785898742522668832675403886783667387087108018096942128291373055208199042368289753521509165884478951632853697331935443968940006441330557179768409817935054735677958931185464566222123568101907969537269550491906325664613773664376522548339348170219872894889781025581920075292286531801402243383127928649593537629694698772282553656466483668403570242541867214922039495715594604392512970062728050484558646765691390847060812775812215220686458609932398001034953374888710533224685832815393204463725622558268987667087273655568078937101869093235446633606484514708931848929868307051161957215375032911857740766781592497374640243011056950877960283719765010152937917101117046100525969857191803428613285547738694877511437853594856240765909177300360948449152450212015900424997880328996830147538725596096528443278895929832288⋅t33+6185899699262149796385139926681779276988184330425659420025036132378914487222844885624527646638290536276293911022710830999989043362285885007454260796345265714015844347955685795241627993735968036788495212466790826463402567760637499474547711774529047141757848193822025080005638442976687448246590763997271557181243737528255020677632310882852960700751247737657778706309596815482246649778708480293353877517974615479821132126404811818938051855313448620341120882020762259113797707173983577982416268849844468102948099644598876361349528191594579197630074118367502054256430682149256894826143961691851477788038316424047021283115804851761615674245361519112686367726975336518355987878597520270400242550558417998232586084010753357419662951555918929569266303037563081335158364280482329442939134054857388549521831417943271359910409047267796173784411345531952815750211606346278571559977428108043597271569820711935887492534722104288697091290616892112094370541875691942776654597494803826533409022949721421060435197946554967540848753510640156352111783590171757237523923107233824038890568747055414347556435058824068430168221221509249027189198921033298699101188348736689087298502195933155590738893259683804149184477845554917883650218937453074371353893475849310749956167462147868320762449501617162361843703894516083571909086293528059884124805533571120228793606138919346185328746676000329601808232421745073047128079030964883324091245097124801370041707858801204205744519629542497939368479409992528779408366738374301779703940833227242569810083316986866504889949290737173087574430255229469323540193454801359471640106611381280167990710841634192172733501367648270294021501388390847347467876420678076856182389654276460822247744734915604899807047096620993142503304925121161419744952129470744992513979633050213871210827327329768886587510062930009154215569221515808818295281487492108178413178974203455390682710014857799303612657970870644691449545569056119990552344293215557473407598708349039758897071586826267423938828063065068296906435393673613068891901339288776580136655318486883955559984351541043959300785885129636347321733851549373697359061984583489209066304337630834228909062653449199558942645689771007636883727142324729361329770260215148263255024212266817008726339592365167629168665972366296333168670707235523654120080867844009680336175128043980442159345472350253811718056900261576833900409980104576690290508396886614307548488572457242401036986102380057182615121494749991991548781002899951250940164008126568196653440962416073279680648866181445053336679140519441302082128058407198466519488814468039264008603403314699446971585733987815109681338575515860471885638716781035099258688288770984201654168865002566977363012649964852366083089309846619436963407365826750147414047343751762136694867425937533334220220407896978167326537608258665154224191316605497945350982992771144759972722180970949137841236917347880361807460307678362400416347570895923267050551643296770833563512181776048034900113654667972129098653720154698476751343042223778392170533219083402584968956647700692548899519870540068073943537591144302047839594670429735719025650187372104836131184654731980343847605912200955748007297693024702617437064405065309217036088433377838091439644155068130676469637729639957911782913634601466866600448394048674889020149496030167946293067429539113170018596304308800051961716229254054086920249693343535315336666495135258945006014644792491832609222996395192291537875022673170087040631341905811346393263959533257973938302659448330411809288258457105344978869790356993280877219358816672323827820099114284854296186530328064218463138295742159868091578996894173796769524567596333214333708210244921306387091020336955303911855540576935081892691084520496973174297167009895010706289096440127392764576605844526951396575348382053230984224043734174044505463741223559007311648352394695789373699520905244610741807309399218505951185180213145186753055181174440701615505578723111339177109522798206727800925668033874232622989977657077130536444886415205269248553393115641592024421961684931154370064826462181372577971112688330046775732164998736306330176806794108715679994659632024632544533583944373684078039413791745602215831969171274518798104700861526046382673533296071560860398801487329948227921077148885685266544389175530031819296523643912925357234542227656593201043084266651861089149534260184340297939898101016552084214406259380373348823621280285135702844840403268509400092264358493739124067456475973619266896724295664228644262791026259189558663992035954357301194692480476092365420674524879515989373022848765601871464902593083939281442658752191390534079048433568508779744888717540851932848583303427449399257608503959455368042824013244229782190865562194988796432234812930861437856986242360701998588182110969570780898564082633411578894452678690248389373732889459177634978966797749632105712027898802926205570379061280464539677040444592071905457967831205990972829244687633120436069892258849944194661529839385621291071374660993964314638158896163391108750589548305820476570847580258699583957309671627827964576657209542381727319770607949486842419303901491608782021078437389012226712140330620707639951686448595147065756073022023395860538587721286684143725327971592405084442762126436022607938192864138952312634558350898409552406268959141683913660271357145081974027876615806304312614156266072493465489359508059107315838597838646000722746590812742227128643069942072549842201967222542265104⋅t31-48513882595406526463751742269285994831165805083291481960119138851733537121180747471753908077118622025916735908098968446160114270534596268964692065027136944308263754644893741703281378028353864468441263452694159768526239059175874377867446201293457740128906030184588275972355810654441257999936238921440561469933767838339441828044972941135671523552127124677336773897387609609044907262796494606393691138220842163521488811599228808249445060147166166433048021867401486756324378316086266143987888381054437643662302481313442785539051336858147406330343651345262729772744658835696934565015273867155142841776956741432442528858422016723594107648402411098788580380706282138118035022049803697277391473971312042656855214188205387088178127655772229352163634010297245342444870403731776417453154874005794685897829901524749106392013843955269538475404704524946550045550838336042605107599244357606105753540488882309688626165317045244065730102904045942673779351223861564062480295950561852656264054729048629706748237395275744601773707814566814344730356355433685476473940671851307082022493222303968406289104419504331258087865492206482569860158749698668211648514793342468476793120843662946630689577885157619205274799123153260187158243928243229678964400633615396972811320223679589104176185671405671646432143322988493090808047924857843725719558535553671900600783090000055961636552921397273173776279139068163843512131852308936894860499760760561547629570568235693488163199700033088960870695846742680481248911831425368116496761291809912038792625979628559888402095820495108745499492185793617002620489806190539098790062161656513630023327325583145631393756042252220292984053685512056020909149914303823415087616576793787173870716929510228629200424723824878785483376078171311453858721617720197451471308102521091104178624345944105809350263574687123398173062809952810779269727861780975735605299696161810903460097329635077042808269079901494380573363596284356808042349173348554292478322621046554184000893717188080235224617991936403301330737506922662299392598079092176307354497879909569953901119081565990355654438749025965972451480904981026363823893693790297362422205318639630046716923834677695620813848815611136422029970815841652980352708067778204614396526916831717489762698817191706777936527929602560160129700470040530247750326220587954813504001181763045704102550441910023757655140189242244596835872926829918678369214134258079311035942574909769360556067033099407505855771748234824204648250990433315701565526005946238748344319791051341162444643162452752157820183327106993153421705349402330923879258357569039467891826868270247605709472311956522643625855372949814488187170356645290017459231751919107304842942983932888707980034932720557020891972546122462248914448247100518760230862398906251762136694867425937533334220220407896978167326537608258665154224191316605497945350982992771144759972722180970949137841236917347880361807460307678362400416347570895923267050551643296770833563512181776048034900113654667972129098653720154698476751343042223778392170533219083402584968956647700692548899519870540068073943537591144302047839594670429735719025650187372104836131184654731980343847605912200955748007297693024702617437064405065309217036088433377838091439644155068130676469637729639957911782913634601466866600448394048674889020149496030167946293067429539113170018596304308800051961716229254054086920249693343535315336666495135258945006014644792491832609222996395192291537875022673170087040631341905811346393263959533257973938302659448330411809288258457105344978869790356993280877219358816672323827820099114284854296186530328064218463138295742159868091578996894173796769524567596333214333708210244921306387091020336955303911855540576935081892691084520496973174297167009895010706289096440127392764576605844526951396575348382053230984224043734174044505463741223559007311648352394695789373699520905244610741807309399218505951185180213145186753055181174440701615505578723111339177109522798206727800925668033874232622989977657077130536444886415205269248553393115641592024421961684931154370064826462181372577971112688330046775732164998736306330176806794108715679994659632024632544533583944373684078039413791745602215831969171274518798104700861526046382673533296071560860398801487329948227921077148885685266544389175530031819296523643912925357234542227656593201043084266651861089149534260184340297939898101016552084214406259380373348823621280285135702844840403268509400092264358493739124067456475973619266896724295664228644262791026259189558663992035954357301194692480476092365420674524879515989373022848765601871464902593083939281442658752191390534079048433568508779744888717540851932848583303427449399257608503959455368042824013244229782190865562194988796432234812930861437856986242360701998588182110969570780898564082633411578894452678690248389373732889459177634978966797749632105712027898802926205570379061280464539677040444592071905457967831205990972829244687633120436069892258849944194661529839385621291071374660993964314638158896163391108750589548305820476570847580258699583957309671627827964576657209542381727319770607949486842419303901491608782021078437389012226712140330620707639951686448595147065756073022023395860538587721286684143725327971592405084442762126436022607938192864138952312634558350898409552406268959141683913660271357145081974027876615806304312614156266072493465489359508059107315838597838646000722746590812742227128643069942072549842201967222542265104⋅t29+322020655168102645644615760187318377744071657354071387037389699881902491395816212001686177720310670731372475358341656356936424849596246139236877180016460053139636386742763112112294155360202199911407096664789227915567679787494797308234224482812734321604796180592083346702136515146211409804041237764410052575408147937071011380227121215345101041321295884402813337859246353372807512381005960974027057050798255711964333599287264709293567423637685662920360714208079182986741928093331130541262172674170649883611552737881665354182392457858283558601035430962629126409923077847847195019025818995142301615948637580271312830208136848469810196730503835158111895923720338396041830860039779014968822914944165800193578025151810529141581938349615411171424647965250067230831999242346554166254103842499701734410469524686337252651287953985953703500547129012629175970950663441915174777113540165740743297369165972694101876714767151035044741891605857918838793433949679848307441657536263972145736058238160879392030073813024727756378645843607957087657041532256895386955838570749844069530784039743575383889386886406181871538597924800306839869862316639850741396646172108764390756249352158903039366409847682404022403549681924831127253932276805551941977182990106725452789018556345413863809724939021260835039278907200025004694806775584980465907527826288354884337790920758412296787014444112946996268794565979053056651706269279879031471715662184560349697020729105624467985893642158916445116552683920547366639101362785623685973484741725553693400510510430224292338160251629986956749168310244681762172120847809200346894785829521321841996554285942075123063318903118536449004102863716005996192915525949052495379173435440484678292950589330481736999132883954190399642447285050632219913988946898441968712378907417290028590808358763134407778097810093706733703655292354228897022659618754805216671602351259318649731915618773191947592946078186945326313925988951972411684941455579152384765752435871627786823144893112147272286617943558191371692574717441332658385312892791072356876579088554557828393979795124923856432837063015106227631941358233090073654635382126182612556545210689513199141314825943553127303491029651781882635355292536516563012137290074487810208758978743796958540537028895512844337145722497553587637095289686236797020323932987792396766301792295511334708641179724991763541757098500926193099261384830862235073775162233226588755991455036607898518436605648437075967742259247381562549664505408747818836772647775382223587865872523942119281610533745530544430937170149442831920371514959226115546310835314882791558200088728262727538489994088413527187677325673769507781277219480358136880137199133643031006267133946514022556150548244782035147531941340911020770103915294729624249407929531251762136694867425937533334220220407896978167326537608258665154224191316605497945350982992771144759972722180970949137841236917347880361807460307678362400416347570895923267050551643296770833563512181776048034900113654667972129098653720154698476751343042223778392170533219083402584968956647700692548899519870540068073943537591144302047839594670429735719025650187372104836131184654731980343847605912200955748007297693024702617437064405065309217036088433377838091439644155068130676469637729639957911782913634601466866600448394048674889020149496030167946293067429539113170018596304308800051961716229254054086920249693343535315336666495135258945006014644792491832609222996395192291537875022673170087040631341905811346393263959533257973938302659448330411809288258457105344978869790356993280877219358816672323827820099114284854296186530328064218463138295742159868091578996894173796769524567596333214333708210244921306387091020336955303911855540576935081892691084520496973174297167009895010706289096440127392764576605844526951396575348382053230984224043734174044505463741223559007311648352394695789373699520905244610741807309399218505951185180213145186753055181174440701615505578723111339177109522798206727800925668033874232622989977657077130536444886415205269248553393115641592024421961684931154370064826462181372577971112688330046775732164998736306330176806794108715679994659632024632544533583944373684078039413791745602215831969171274518798104700861526046382673533296071560860398801487329948227921077148885685266544389175530031819296523643912925357234542227656593201043084266651861089149534260184340297939898101016552084214406259380373348823621280285135702844840403268509400092264358493739124067456475973619266896724295664228644262791026259189558663992035954357301194692480476092365420674524879515989373022848765601871464902593083939281442658752191390534079048433568508779744888717540851932848583303427449399257608503959455368042824013244229782190865562194988796432234812930861437856986242360701998588182110969570780898564082633411578894452678690248389373732889459177634978966797749632105712027898802926205570379061280464539677040444592071905457967831205990972829244687633120436069892258849944194661529839385621291071374660993964314638158896163391108750589548305820476570847580258699583957309671627827964576657209542381727319770607949486842419303901491608782021078437389012226712140330620707639951686448595147065756073022023395860538587721286684143725327971592405084442762126436022607938192864138952312634558350898409552406268959141683913660271357145081974027876615806304312614156266072493465489359508059107315838597838646000722746590812742227128643069942072549842201967222542265104⋅t27-1792720026175163304726428577856414524248604440385808113742430789966787538304260608382720659580824680913955126043485727296138736960576774507021804130940561377636429717437702333632409500330768428864784229264022221970675898838162919701278140312991479177714850487267540831698136072454045595874588688777956365227154736288946374517246534696032150736990765546605136460598386841420353113530899805076000904093233358186801021224558321447225403390447238019074000900975079739702524362194014043235179214259282738947579605854863485577564076913493069479182119673439067634676688957250217428537956683560606433327259122173594051640927151783309497371263250916697662093363751392599241888997952869278911347801800363788272210724566511208353589899323685472890198384301547520360229578772896681217397475219683817965075848632905011500931250423702603001835428763445764974536536771054095091546548860759561266225321415691702695051605105825574501505878838290662446507645759011847976241683977621934249409833649620515342442529163343731936222250581284925369088602688762247044728449010709403887192143814174552810238114007171830075468013561672326000843508059347927708916662039186249634972772180878380711584300412015690116940949159342516693907997122367638068083527258490801709802907200808410898555707010273979307397664782672644208131516867156487824493697358418824024546051942915554612565651391255487036123915653924870104781274248740470370976721942702279489205004265849061670433245110931894260565368895110420180823182587670231713677830430051666517749853104937265240264030117066419994373260518743348078536182397594794957332526750646681252214809859987145372464538666684420893804417672791690678729103106815540286132170302384121356070397139934097675515021983582713165272942915393691181936664748235449154777295401391444200037714115437961716357275547166617263144466068945729505196582062128991839196611801455744113847361911690524415938098777606451697347543924591456572983387407870183399114045407031189207430119690611542714250208568849610314907368784596205621311562488657251729113224380843540229014456849271402495912510427665963135665667692280063794742719052597606818873833700362907857329979527225649236235526560897995840044474334442784775298246902555680801351575471570296522622625653268460095805436266782830904821014065313242414956191644429610644848344759369253709136128190694122085873264168856997691397571036766366899010798943272934157873115307500347233540033201074829737186491493700739682955328839367584932227347096201138541619486402755252865414595361577599654808304288909561543715146257138901243070852568083864076564315901202589157237250797374562060203778607128972267589284655171142666071770200239435221582727410206301753354891772694950879363600499117260872251572806739125269161315149218751762136694867425937533334220220407896978167326537608258665154224191316605497945350982992771144759972722180970949137841236917347880361807460307678362400416347570895923267050551643296770833563512181776048034900113654667972129098653720154698476751343042223778392170533219083402584968956647700692548899519870540068073943537591144302047839594670429735719025650187372104836131184654731980343847605912200955748007297693024702617437064405065309217036088433377838091439644155068130676469637729639957911782913634601466866600448394048674889020149496030167946293067429539113170018596304308800051961716229254054086920249693343535315336666495135258945006014644792491832609222996395192291537875022673170087040631341905811346393263959533257973938302659448330411809288258457105344978869790356993280877219358816672323827820099114284854296186530328064218463138295742159868091578996894173796769524567596333214333708210244921306387091020336955303911855540576935081892691084520496973174297167009895010706289096440127392764576605844526951396575348382053230984224043734174044505463741223559007311648352394695789373699520905244610741807309399218505951185180213145186753055181174440701615505578723111339177109522798206727800925668033874232622989977657077130536444886415205269248553393115641592024421961684931154370064826462181372577971112688330046775732164998736306330176806794108715679994659632024632544533583944373684078039413791745602215831969171274518798104700861526046382673533296071560860398801487329948227921077148885685266544389175530031819296523643912925357234542227656593201043084266651861089149534260184340297939898101016552084214406259380373348823621280285135702844840403268509400092264358493739124067456475973619266896724295664228644262791026259189558663992035954357301194692480476092365420674524879515989373022848765601871464902593083939281442658752191390534079048433568508779744888717540851932848583303427449399257608503959455368042824013244229782190865562194988796432234812930861437856986242360701998588182110969570780898564082633411578894452678690248389373732889459177634978966797749632105712027898802926205570379061280464539677040444592071905457967831205990972829244687633120436069892258849944194661529839385621291071374660993964314638158896163391108750589548305820476570847580258699583957309671627827964576657209542381727319770607949486842419303901491608782021078437389012226712140330620707639951686448595147065756073022023395860538587721286684143725327971592405084442762126436022607938192864138952312634558350898409552406268959141683913660271357145081974027876615806304312614156266072493465489359508059107315838597838646000722746590812742227128643069942072549842201967222542265104⋅t25+8282308041520199707841165863320721898114177822050592224995681049201490652227236471119680842388042689912640346328436096036877007754805188229882153545231313873846347007553002506712360255238643481234886532257313903362722491125702330422041892391409953918943234215315902471630740853510348637469163535658700314005670306937504841560393313591927166598696525994695318675465951717970305260651744026495803537306070569677861296293823300401115859823748399650195964410558868023909937739186633450261734575852936115976451072809149671938054309998383812300903424556985943349093072068911011302499200329837096854462388779133367682000015151159500480310156670903918724458442298191896765865063398518310311224041374890329717244411818795382072310350867942738572633343156774646610570145012091117774478560264591965339999712099481996482554900992145909711847302323182654159417165340551651512924082421106451029787996330533405698171124442432551951127671573138568728971867877582673075099891069598007946657385932030082909958047417668949507309607234798618071115584920976464382295498495031142740421726651833426690628106134685610980345495550825266249949803614535225531289955709561969958322457107918928110175149987548346707462138402252797801274222051797322685902831648013692822276234585560017532447970970955858226462858805909175280880519981595967740139620738043582774410948524966452403388189066129257361731681870629420179745487235518052039645513882151331185465121610660428832007224851253677025364051796734222301304103949357095666866516207678033525611199011216487554471688948043613486239108972135312975949174759853707001057692499746129962712385356276352085716820125782350652722263939990974725736011548104625084304200538025986210802968990979205718963825474923725924657401191807595471436529414182115124766594745765182846736824694462419689948218011274390578852226552214634656224337587508397274220802220016043751315461471920093599096179304850835031007375532409677953740332287919665488338144254460729101592114740644832484809063437584076515626505216000895489329978345491314664883894977567115668506063637871626272529283813365541990855966811513405599026471451974845475610380286132384658707611002756297398145620389937984729883764833151091327054872706487508874949387794320541235374446877706803612076321872838520049252730091292501738091597554399556735386411229420550449480093310030840874472255266485092497327954538296132325671442855764567765834573957487454525351410919385539520250410449077267787664004238635016855086555832930330783865204122602271740493690918631583218106081155882583957332388981200816292664600041786281859493587015353394531158252301984709478795262509983369894502128623202416070185293902156343085881943556427103021382048449108689457634839516892543897095194139811508177508809371093751762136694867425937533334220220407896978167326537608258665154224191316605497945350982992771144759972722180970949137841236917347880361807460307678362400416347570895923267050551643296770833563512181776048034900113654667972129098653720154698476751343042223778392170533219083402584968956647700692548899519870540068073943537591144302047839594670429735719025650187372104836131184654731980343847605912200955748007297693024702617437064405065309217036088433377838091439644155068130676469637729639957911782913634601466866600448394048674889020149496030167946293067429539113170018596304308800051961716229254054086920249693343535315336666495135258945006014644792491832609222996395192291537875022673170087040631341905811346393263959533257973938302659448330411809288258457105344978869790356993280877219358816672323827820099114284854296186530328064218463138295742159868091578996894173796769524567596333214333708210244921306387091020336955303911855540576935081892691084520496973174297167009895010706289096440127392764576605844526951396575348382053230984224043734174044505463741223559007311648352394695789373699520905244610741807309399218505951185180213145186753055181174440701615505578723111339177109522798206727800925668033874232622989977657077130536444886415205269248553393115641592024421961684931154370064826462181372577971112688330046775732164998736306330176806794108715679994659632024632544533583944373684078039413791745602215831969171274518798104700861526046382673533296071560860398801487329948227921077148885685266544389175530031819296523643912925357234542227656593201043084266651861089149534260184340297939898101016552084214406259380373348823621280285135702844840403268509400092264358493739124067456475973619266896724295664228644262791026259189558663992035954357301194692480476092365420674524879515989373022848765601871464902593083939281442658752191390534079048433568508779744888717540851932848583303427449399257608503959455368042824013244229782190865562194988796432234812930861437856986242360701998588182110969570780898564082633411578894452678690248389373732889459177634978966797749632105712027898802926205570379061280464539677040444592071905457967831205990972829244687633120436069892258849944194661529839385621291071374660993964314638158896163391108750589548305820476570847580258699583957309671627827964576657209542381727319770607949486842419303901491608782021078437389012226712140330620707639951686448595147065756073022023395860538587721286684143725327971592405084442762126436022607938192864138952312634558350898409552406268959141683913660271357145081974027876615806304312614156266072493465489359508059107315838597838646000722746590812742227128643069942072549842201967222542265104⋅t23-31361010818743022234033470773008832291845972657634946744719549197385281007944763727322692767613458967721767981036764363418492961601567614106206737489041104762545032841248707948333417517381850220792817324483301615048049018328740447201028791873178487676392677495492980909198701614775932916689793754670330608069134277174756968654546424376543883301778678599410812669722188355021842761822651019670828247466641023059992120346098120595439531681798407956764759284671804312040012005688695618800665778430398298333310492290579819712599821220052426986093305076175806901763585729911281208390153566789813716014557741439711898559371687258384530880410933194161472902347570377884453913458916805200640146570783716023292130020410501224366797379877929210088166064886836854169829325825551143356056986054149104849314040974705139398696964763674825072088551794098230059337864525107815667293251543960741487753422452661749721935159972717506737766563201856682137649793185427541253241171531446245611708179546631713055645159059272136715040940426105272093700881301645367642103342328371186511196750974213168098962960487944142369764067118191080916540972590837413161026063863610911687874277240383428081515640883270099797583123356617897773377246441502762689940020208841007942069761280832932877314893838458395877986106494069914839812765137413735932757175706310183758175930112544265634041715434940592640345230439169960867024377285274609298970096117045043157216478973517087769038632909104418634404526644490785522406066280195909354081098068729374568264775456613583598785964816656821458455290342484372612741153058342677907154811436247999767563572291776350627498968778924253887478095663660859545850439147154520553371395747324231356813676606969109311262322534073031067263931085054858530412423401857137887226414645825767510306102755234653911453291953954196250446638376953560978619241603896620939416322330759798009211888612166200113205777351703409922811085381090272912714872086061253260285873996411705821877735850060095190418775360793797331275000219422287187747659714541997855821818674089890517097780806537642487343058927636790820000420432100087140666677592221615478798453839452860409775328183348463164290724749120911278571593708853394845616554570587836629358630925022148202404323693000158452916471960800284969921419437161303573894761924254472850620163228557885716000954168088911204530190769556414037824782525128461223465014037750976654674744525891726066132515119995404751247930542428541107056146546292753225418256404451939588147700537834776607429716302196131551603038724909315457997024408970188832420865384891918826673954086623323555669911495702475849186089224277951767117148588875248692263198012577500148890495179200532310322225464225464598391119483146107753443178137197791224649569738281251762136694867425937533334220220407896978167326537608258665154224191316605497945350982992771144759972722180970949137841236917347880361807460307678362400416347570895923267050551643296770833563512181776048034900113654667972129098653720154698476751343042223778392170533219083402584968956647700692548899519870540068073943537591144302047839594670429735719025650187372104836131184654731980343847605912200955748007297693024702617437064405065309217036088433377838091439644155068130676469637729639957911782913634601466866600448394048674889020149496030167946293067429539113170018596304308800051961716229254054086920249693343535315336666495135258945006014644792491832609222996395192291537875022673170087040631341905811346393263959533257973938302659448330411809288258457105344978869790356993280877219358816672323827820099114284854296186530328064218463138295742159868091578996894173796769524567596333214333708210244921306387091020336955303911855540576935081892691084520496973174297167009895010706289096440127392764576605844526951396575348382053230984224043734174044505463741223559007311648352394695789373699520905244610741807309399218505951185180213145186753055181174440701615505578723111339177109522798206727800925668033874232622989977657077130536444886415205269248553393115641592024421961684931154370064826462181372577971112688330046775732164998736306330176806794108715679994659632024632544533583944373684078039413791745602215831969171274518798104700861526046382673533296071560860398801487329948227921077148885685266544389175530031819296523643912925357234542227656593201043084266651861089149534260184340297939898101016552084214406259380373348823621280285135702844840403268509400092264358493739124067456475973619266896724295664228644262791026259189558663992035954357301194692480476092365420674524879515989373022848765601871464902593083939281442658752191390534079048433568508779744888717540851932848583303427449399257608503959455368042824013244229782190865562194988796432234812930861437856986242360701998588182110969570780898564082633411578894452678690248389373732889459177634978966797749632105712027898802926205570379061280464539677040444592071905457967831205990972829244687633120436069892258849944194661529839385621291071374660993964314638158896163391108750589548305820476570847580258699583957309671627827964576657209542381727319770607949486842419303901491608782021078437389012226712140330620707639951686448595147065756073022023395860538587721286684143725327971592405084442762126436022607938192864138952312634558350898409552406268959141683913660271357145081974027876615806304312614156266072493465489359508059107315838597838646000722746590812742227128643069942072549842201967222542265104⋅t21+1198712440956518559642121442776983953340847892369460492013270026123529080837127006252881877056688070345624380738192973944456773955577673632026107355925432464909586968021666583528804133150374622137419394971384360510167239742272508120548082201183016082673267957949235325755593689514703270353091753802487442704568082402085373744377263120554209411734656361421547139900400585201629534111865245609030387024946221719040638378787649641424201312106136413430863252688308590447222331162429211334901964364528714823283361601206084238032936651442125756246237829867088616287972324872390643335098855118632023850740503181765654156233883551188234760017008997092758743472068196750669577290638049290885649100082626233264323418809866979130171647770438608280868020014429306049143370743491864595346135718014450473582265466013936868084416997705146753765746464999115413991120135507268806580565605495547251791027144088662165426264978525936322746471961975377937188633777492676189760423518525995204576657471178013208771093942541881115063374804308590218294183016530619831418285054645349567589524813610292685185768524265000747082168566329559927234742473690530254000702345109428733175666574229308745403046111976418866070577653883211664969377373244078421029613315783281058960524802918507381344811758636756885337952187212928986244684858492654147087841437750835734637572896240851051983635563834903823177166361816642257483723536972983332551436029748880236025446931941402935467679002928072762547892454304483477552614642773714759739038627905206047033729646952679250063492169492278021221123719709906972282524493797443815177177017783967640443102620947341975536730897504426392359489067592648694563658363974377905819563076127497114337313759375992943715611580818850294075768361784945751408325721679566124822864641847551338281223634751918899559829050626529333281321305010196831566899972302379226265534952196592738261924111094240961364842889224204341228759280388903725348276520470364158409223652688520171754440347203454969965814402273613126945950481476012752079378166088962739835329060333921072894090912674095867258069463800572178094068915791651733588664552653269134053927978638835801861914119312052311430933446102266767368484732640010831385506582530909773163257667541195880221867795865886369032823268160759339598628967497780802707816202562912956326853307849694977511923105184765779742795429413086064693217927581662998113382907537937155255092006999358226009412310708232028668961721232065287325267741403134926908388267258198237285245984995144530197284454342724594145657541489487889542120324720676283391444929099245786245681494440152362760156323953141889269793301029288061134322007091347662210342378964185136513286534416379639830495685327400166087271641282319073473123376302518279229056169140625220267086858428242191666777527550987122270915817201032333144278023914575687243168872874096393094996590272621368642230154614668485045225932538459795300052043446361990408381318955412096354195439022722006004362514206833496516137331715019337309593917880277972299021316652385425323121119580962586568612439983817508509242942198893037755979949333803716964878206273421513104516398081841497542980950739025119468500912211628087827179633050633163652129511054172229761429955519383516334558704716204994738972864204325183358325056049256084361127518687003770993286633428692389146252324538038600006495214528656756760865031211667941914417083311891907368125751830599061479076152874549399036442234377834146260880078917738226418299157994941657246742287832431041301476161032307138168122358723794624160109652419852084040478477512389285606787023316291008027307892286967769983511447374611771724596190570949541651791713526280615163298386377542119412988981942572116885236586385565062121646787145876236876338286137055015924095572075730565868924571918547756653873028005466771755563182967652944875913956044049336973671712440113155576342725913674902313243898147526643148344131897646805087701938197340388917397138690349775840975115708504234279077873747207134641317055610801900658656069174139455199003052745210616394296258103307772671572246389086041255846966520624842038291272100849263589459999332454003079068066697993046710509754926723968200276978996146409314849763087607690755797834191662008945107549850185916243528490134643610710658318048646941253977412065455489115669654317778457074150130385533331482636143691782523042537242487262627069010526800782422546668602952660035641962855605050408563675011533044811717390508432059496702408362090536958028580532848878282398694832999004494294662649336560059511545677584315609939498671627856095700233933112824135492410180332344023923816759881054196063597468111089692606491606072912928431174907201062994931921005353001655528722773858195274373599554029351616357679732123280295087749823522763871196347612320510329176447361806584836281048671716611182397204372370849718704013214003487350365775696297382660058067459630055574008988182245978900748871603655585954140054508736532356243024332691229923202661383921832624245539329769862020423888593823693538227559571355947532337447994663708953478495572082151192797715914971325993685855302412987686451097752634804673626528339017541327588454993960806074393383219509127752924482567323465160835517965665996449050635555345265804502825992274108017369039079319793862301194050783619892710489207533919643135246753484576975788039076769533259061683186169938507388414479824729830750090343323851592778391080383742759068730275245902817783138⋅t19-11631895091331392069591716605197126784185118892118786519130211661805012284299758073905916898865371270734274016013657586010819218939547718648153085770473560400383403102864873559649325804392874773967057362144071999481748101102330861727306498844292351381073035689927696933062945813906475911245755631283910697002078964375662808707157131486139034413240892771665982664703269044449840145101212808976117657906251743343771626110484770883079316036816589479006733771816236957443844189104147710216456235557559952839282097992536442111130136517489354502524556915233671144532365899537740195636478220451736239198544520980557633828634895390383911022210976136980593047626307886908872260594168344082927507904769103424421509155390328906418950987928835790567355747316814255310007187100768731277064470682619952453338203907442855056415145538881683461020683380846771144707536935224975977996993631301591481041842764930261946847305000732544086058294043211840773713829855257064353725092728879720730433909170066255661267027131752656461602657517119767968754494443226034814046511905288403230150393090366618619892830368901684584679282734016660506683879679583207322533732416780556932299090896136542717344119805375659446622093012076974940714017815919523542993794151907013165551569696223021427563379680757771000146902111246932057233226439240871784929582360854085465891071688194439951832643944159910442919051762731694704560107622456755899516689537408306714571505302659456853172605483520299355648507950884492589707622627919794498867334659667736632464590721891947035139872890411510024151066360643492034004050013942566838534221679069365625728168700574459564830737033641985349620901066227594293866190486307537764111941838625027526937923585318311714349378447602611756362517105876157556754025300740499424734484775985462067936783527467960307103972470588501961279814569549956384706761207471826168453228310417309928773457098761601505270664591868954858588548566451063234461620827257662638393741619357591416368056991476945642516163871932297387614837857819461487683149456494808014745912782373449812464904727833935543511725408273506343426374442050363613610651229455008928898388316008589254331619135518311299386072624937940519952649990224452137398295936294617017592761204415215404661374547989164326319408910154884519731980324079532680279734963391068472035612243285293666136280850393323007663655855294355238859664175359044249127379445816157749764068450098022118497881354473931442517926186559642492113682484153503925579599092413778017762871262360149443745664721736087674433055274564381931471769598475481958957728819379196684513725156874278619928676123086649516863880814271729858788698634971850468024071704768554426390969711975851654019479192048507051175420504472420317169932854403258019201602844140625881068347433712968766667110110203948489083663268804129332577112095658302748972675491496385572379986361090485474568920618458673940180903730153839181200208173785447961633525275821648385416781756090888024017450056827333986064549326860077349238375671521111889196085266609541701292484478323850346274449759935270034036971768795572151023919797335214867859512825093686052418065592327365990171923802956100477874003648846512351308718532202532654608518044216688919045719822077534065338234818864819978955891456817300733433300224197024337444510074748015083973146533714769556585009298152154400025980858114627027043460124846671767657668333247567629472503007322396245916304611498197596145768937511336585043520315670952905673196631979766628986969151329724165205904644129228552672489434895178496640438609679408336161913910049557142427148093265164032109231569147871079934045789498447086898384762283798166607166854105122460653193545510168477651955927770288467540946345542260248486587148583504947505353144548220063696382288302922263475698287674191026615492112021867087022252731870611779503655824176197347894686849760452622305370903654699609252975592590106572593376527590587220350807752789361555669588554761399103363900462834016937116311494988828538565268222443207602634624276696557820796012210980842465577185032413231090686288985556344165023387866082499368153165088403397054357839997329816012316272266791972186842039019706895872801107915984585637259399052350430763023191336766648035780430199400743664974113960538574442842633272194587765015909648261821956462678617271113828296600521542133325930544574767130092170148969949050508276042107203129690186674411810640142567851422420201634254700046132179246869562033728237986809633448362147832114322131395513129594779331996017977178650597346240238046182710337262439757994686511424382800935732451296541969640721329376095695267039524216784254389872444358770425966424291651713724699628804251979727684021412006622114891095432781097494398216117406465430718928493121180350999294091055484785390449282041316705789447226339345124194686866444729588817489483398874816052856013949401463102785189530640232269838520222296035952728983915602995486414622343816560218034946129424972097330764919692810645535687330496982157319079448081695554375294774152910238285423790129349791978654835813913982288328604771190863659885303974743421209651950745804391010539218694506113356070165310353819975843224297573532878036511011697930269293860643342071862663985796202542221381063218011303969096432069476156317279175449204776203134479570841956830135678572540987013938307903152156307078133036246732744679754029553657919298919323000361373295406371113564321534971036274921100983611271132552⋅t17+438138882832821681697037373606226083208533103277026337214252186734291915306617970497971277392543684755138156741129444936408598281671789159477675155898601506916510837541105429312789792432102277893658245522856707118183973998957821793811026851674514686307781965825918014861340367620286468722229855354672129269961148034377102127864258681609005886891227147807803747423415427448787480995720249984622343353124341726230636532869350530764232941455952773886332299885267914243277665108664547463378099635242506849564012857570328923955106314041387873644535375411779744320125860485092163083662489517118239072050260822605298921995713689358308202973330075881401834331763298499264254891068812727279432879394898042117936378546984026938605659001611675210397450337765683457180519939849425665818136270420725857305970059616667336735516491980208848424116833125195592198556916789464017574074245507848338174702493107935319276525604041604076336017002766574071742911030066127001020579291156540671754400217672206019881593708208820456324533125386325784385061286744771656203603216969387630227781803149841959467308724262215493148138452387250480726647479291814523456742902677929257514130987792583549036945079531191104896733684520144508946400908447836530701351877871583489962590803213679634778717554219319048507403835149751756417316841167448527407276625085944377273222268954051523326235025001744280233552149344129037288038916650299515292481360799931613020488945885666453812346930353234992675355785393415983623066753956674961697510852076129229914460856985385335223973494121062956013021661020845814621444100418642825851651404347441242750576707011089554920115269436248263970267943277899423765569371548134267941283060817441899620976861925731169158509548582998806735034106684735349686506399476432481375161313521953563872902724891522040043303443307096389510483221535177426349731500524598973167368166269435985487704327466690645784989794410278977875982891784642424847003488314830328218692300451734202964675372840567180154696327916887683923751327218896896198378297490250719616565931073770843156663584914965936528764239516565411295671926073100411087724955657467431537152307950639272133324476384199126597833746709126223871209143543709002223968109292206659975690811235528265997065028251418057321636975377106978517180421490837292508344305067235101637307952187024049100577665404698252044382906203998657795731543350997655848502554034746222946006352542054456704143537754893461139356346582720027320763893443444767440767051963866770562522704136804027008081465826531051045444631975047368900540815611458064434909726311505699773923654232166758848506486562951241951602169998323372378103926624401905887397949021709701655008804888799880286318871948080659422301575502651569387978164431900756317513633378906251762136694867425937533334220220407896978167326537608258665154224191316605497945350982992771144759972722180970949137841236917347880361807460307678362400416347570895923267050551643296770833563512181776048034900113654667972129098653720154698476751343042223778392170533219083402584968956647700692548899519870540068073943537591144302047839594670429735719025650187372104836131184654731980343847605912200955748007297693024702617437064405065309217036088433377838091439644155068130676469637729639957911782913634601466866600448394048674889020149496030167946293067429539113170018596304308800051961716229254054086920249693343535315336666495135258945006014644792491832609222996395192291537875022673170087040631341905811346393263959533257973938302659448330411809288258457105344978869790356993280877219358816672323827820099114284854296186530328064218463138295742159868091578996894173796769524567596333214333708210244921306387091020336955303911855540576935081892691084520496973174297167009895010706289096440127392764576605844526951396575348382053230984224043734174044505463741223559007311648352394695789373699520905244610741807309399218505951185180213145186753055181174440701615505578723111339177109522798206727800925668033874232622989977657077130536444886415205269248553393115641592024421961684931154370064826462181372577971112688330046775732164998736306330176806794108715679994659632024632544533583944373684078039413791745602215831969171274518798104700861526046382673533296071560860398801487329948227921077148885685266544389175530031819296523643912925357234542227656593201043084266651861089149534260184340297939898101016552084214406259380373348823621280285135702844840403268509400092264358493739124067456475973619266896724295664228644262791026259189558663992035954357301194692480476092365420674524879515989373022848765601871464902593083939281442658752191390534079048433568508779744888717540851932848583303427449399257608503959455368042824013244229782190865562194988796432234812930861437856986242360701998588182110969570780898564082633411578894452678690248389373732889459177634978966797749632105712027898802926205570379061280464539677040444592071905457967831205990972829244687633120436069892258849944194661529839385621291071374660993964314638158896163391108750589548305820476570847580258699583957309671627827964576657209542381727319770607949486842419303901491608782021078437389012226712140330620707639951686448595147065756073022023395860538587721286684143725327971592405084442762126436022607938192864138952312634558350898409552406268959141683913660271357145081974027876615806304312614156266072493465489359508059107315838597838646000722746590812742227128643069942072549842201967222542265104⋅t15-623608628847297067275065139842284518424200095961378444771294648502945945043127814760435921691749564424016334151180526536678081170006525717528347997370085344147252847978288126313698184015013247627086255779017944672221991876523123728975506457110549834464996140427633870820326399509572107964553681610327663773576494083736930825898399973955502804354329477127483947538156504325728401141963146982874102402523542129590201790241383931158943239533940311598177902230583726365988596508178631486339848834062063467267650103512127652601561709493895972244077753413516695203716826306489469956592709553851481652341779115228652402210596661861545745830764206078173284072982851396964951205525000448297063352820608302952761856450213111228673938267499423950086241068896605730309974809941337774212957291690910354719477287382174969148828999671257181907059467984605266610770215179852594708628049812456339503118695153057674819590215644546895736050133966324221635490070815203093986028185523930115646250296499227434429832916590076866736496454183110476341152445745051140078130155180168775560525873179735353272953325374065118037390879975524886293835962262183534081910602210450856491777317234571019321323827100712862837902591896560328930481338974980813410371043793668719872260381845968902124705391851499983885137512998382937698971879575755912706220147024214125169218886561956951481490460139388967244002554835004978458441102041940848275684145932002616936418338576706590136703193019700492927889301355770539288062020882408346339322671487782979648537902574176745028209438434695691188245313425081255661970439592551254136494656377436725131352204699817654260307720159586816994094242282555987729064080688178134334070575876187682769662710475200575823443600166616157810794278274928158373470345125376023790484733364406569685683307923885040981017219951141002696551066728054249316990761042825862283629595567721821809783437132876269151963815913573381114333105673926494006766341955041879046158506735231378366378008163641020602448342750529027235154982668251442007848008065187284633814788119079334823236645005092779883506134825274041412098314480867908805512677278961355488449231159732452086888981406924580812876983182693656882539791075617014618510870356481605338649728195508786757766523160961373460292573791734307717251553668824347300993799041777989621934159621315269479047390447397272271349749900185367491279122319491654391193805353299861883548970701576988860273727373706358903671186222441351922659675307727681196775627816755344762686294400426388398150245500577252076822461653857032837871375201205179699119073629467052916174603859818536235749505240659993418047135726919067966425121260336954526901033048935588220553116446585189525317482222078260964037032443858765464455636470640552785598409589843751762136694867425937533334220220407896978167326537608258665154224191316605497945350982992771144759972722180970949137841236917347880361807460307678362400416347570895923267050551643296770833563512181776048034900113654667972129098653720154698476751343042223778392170533219083402584968956647700692548899519870540068073943537591144302047839594670429735719025650187372104836131184654731980343847605912200955748007297693024702617437064405065309217036088433377838091439644155068130676469637729639957911782913634601466866600448394048674889020149496030167946293067429539113170018596304308800051961716229254054086920249693343535315336666495135258945006014644792491832609222996395192291537875022673170087040631341905811346393263959533257973938302659448330411809288258457105344978869790356993280877219358816672323827820099114284854296186530328064218463138295742159868091578996894173796769524567596333214333708210244921306387091020336955303911855540576935081892691084520496973174297167009895010706289096440127392764576605844526951396575348382053230984224043734174044505463741223559007311648352394695789373699520905244610741807309399218505951185180213145186753055181174440701615505578723111339177109522798206727800925668033874232622989977657077130536444886415205269248553393115641592024421961684931154370064826462181372577971112688330046775732164998736306330176806794108715679994659632024632544533583944373684078039413791745602215831969171274518798104700861526046382673533296071560860398801487329948227921077148885685266544389175530031819296523643912925357234542227656593201043084266651861089149534260184340297939898101016552084214406259380373348823621280285135702844840403268509400092264358493739124067456475973619266896724295664228644262791026259189558663992035954357301194692480476092365420674524879515989373022848765601871464902593083939281442658752191390534079048433568508779744888717540851932848583303427449399257608503959455368042824013244229782190865562194988796432234812930861437856986242360701998588182110969570780898564082633411578894452678690248389373732889459177634978966797749632105712027898802926205570379061280464539677040444592071905457967831205990972829244687633120436069892258849944194661529839385621291071374660993964314638158896163391108750589548305820476570847580258699583957309671627827964576657209542381727319770607949486842419303901491608782021078437389012226712140330620707639951686448595147065756073022023395860538587721286684143725327971592405084442762126436022607938192864138952312634558350898409552406268959141683913660271357145081974027876615806304312614156266072493465489359508059107315838597838646000722746590812742227128643069942072549842201967222542265104⋅t13+648124262265128746978329126888094445509309027324047786743916579757452485479505201027525918282181686510035567184849131886849621071340198436207250044787431629748059901695422840578143157941243469303564458214761312537502491704078150491736943549007141921470584645305425769538105339666340441086417420389080296095308609639629019867317653489199835802861325970307885537902225432601650056679804071556840144958620686018397128057016309404743345012193197990976455748865445980961853997400894794218997598647141649905445341603992398083004653955026940679593057234244963990747419478616127166954128916279847475591049558492157970566520602972151176084151834027117894783101814284840201401576473158976600424497729920347395550268255119817907628377358954412690043258705643039507332092007239852675547606969496244348357066593359512916775503974158081751313947931389176658146798794681260723673219568703465780421481375154273109355102370533223553561315980810440906382900298936160945696404576411620604831615062711027480798670519226506891563684635852653231895373586947155793096009766332016626736147931215292155904969765521343254969590040097513840122222331004198631801375938991272716721029509626618652646872699319558013748453156245858632043830280605427848319869095832156070979654591638528451160020881488673140961518895158933706178566086564841078971043132262076112012352466502171793895698943173777430842439401482467052442570373885001832749945757124970790315481232421348498642529456492191078137274788121538366006071779176810605618760596624656336724260661929000830093164590058177268628003688368592782410996326682163490744517306525271472868702714332439764636753983582324790499857899020025863759035542046376714259911543133276952957318927603743392547098795408229993945216407578056749946464027986552162421699824913620380654625887432707915161855895901868505781501262249767150590406105467758487577973090080427737890212950851423942508637505950440145584977347007370827691523332759783272686450422352545153964711774323681806681902534848666249207698143289327948099240615379925911914169355480694467482469347782321278747802374332692568695618445151854976731617618654141745703884081180464249725419240566216096315212285585486636026830972663477117097513118297555872618405606147207647887847036247499838811034086685293538093417678240239855283679752981392942906346011432114262251962157431665047120547988612136500974432474597670522276826872190269660321380220205070268677059479611269492174622308585663439259988100986167545290343553952368982246157892323342797500328352736476854756656104346517562630598803681546445742624290345749467703730061370284834062058708515449202359184095260566829315455874341325155861673131705543170340408937665918956900723783294364516103636123027677656285308355449115190914000424746093751762136694867425937533334220220407896978167326537608258665154224191316605497945350982992771144759972722180970949137841236917347880361807460307678362400416347570895923267050551643296770833563512181776048034900113654667972129098653720154698476751343042223778392170533219083402584968956647700692548899519870540068073943537591144302047839594670429735719025650187372104836131184654731980343847605912200955748007297693024702617437064405065309217036088433377838091439644155068130676469637729639957911782913634601466866600448394048674889020149496030167946293067429539113170018596304308800051961716229254054086920249693343535315336666495135258945006014644792491832609222996395192291537875022673170087040631341905811346393263959533257973938302659448330411809288258457105344978869790356993280877219358816672323827820099114284854296186530328064218463138295742159868091578996894173796769524567596333214333708210244921306387091020336955303911855540576935081892691084520496973174297167009895010706289096440127392764576605844526951396575348382053230984224043734174044505463741223559007311648352394695789373699520905244610741807309399218505951185180213145186753055181174440701615505578723111339177109522798206727800925668033874232622989977657077130536444886415205269248553393115641592024421961684931154370064826462181372577971112688330046775732164998736306330176806794108715679994659632024632544533583944373684078039413791745602215831969171274518798104700861526046382673533296071560860398801487329948227921077148885685266544389175530031819296523643912925357234542227656593201043084266651861089149534260184340297939898101016552084214406259380373348823621280285135702844840403268509400092264358493739124067456475973619266896724295664228644262791026259189558663992035954357301194692480476092365420674524879515989373022848765601871464902593083939281442658752191390534079048433568508779744888717540851932848583303427449399257608503959455368042824013244229782190865562194988796432234812930861437856986242360701998588182110969570780898564082633411578894452678690248389373732889459177634978966797749632105712027898802926205570379061280464539677040444592071905457967831205990972829244687633120436069892258849944194661529839385621291071374660993964314638158896163391108750589548305820476570847580258699583957309671627827964576657209542381727319770607949486842419303901491608782021078437389012226712140330620707639951686448595147065756073022023395860538587721286684143725327971592405084442762126436022607938192864138952312634558350898409552406268959141683913660271357145081974027876615806304312614156266072493465489359508059107315838597838646000722746590812742227128643069942072549842201967222542265104⋅t11-469894603243463097732329739457406979888603599180414781351277246149398969803494137181704481929035171493327381484233605582490390737908037840979621478821150461133512765020306775629713143415509108634046781234910435327601366366736349527921588114931036019982549091913691878376087707633428051528301791782523726025825230238001991383967732558685848497363798176581322874100920902359254450107999238502060488970097641451944434841727313082637249050835677738663287243849954761421289768088567869570627158580788872537391501378679034991743132420798384266485463192073148500784892723280007942159883108340221438924800933688289487552595872098296358567638291722863774593283110044305064535320194643628754657364249127312768308441974983274946697352859504933673481389451458856140941356446785451562618493565325335821428116259837929101311628667889981845408950082336927615020737065539706719117074584748849519557494254614026474802363907387623757381992549312791061463521212621982993850585466464541517606717249886343831891879055963307286479844762944628243440449796525814434112031184478974883759520609673819717757583666050273419545228130989102383593081727007126537857110427257606097228149208848268131672935104906546996678048788232114501597312145452780279032651732769727293102162553289605192667609350269622910583936956543799623632626885390804841373396149683523356020945043730553515516674569279961805755737689607425320059822568859184285263509394754515464889618126577509452138044141469601904509160066617551590094531449811978203652779675086591456363123354859197243433745735990679920265691336894100887945631197283588854789838605782556962090994925916821635389040775755766419534882187474705820218505485527552417910604909234724917588388617947797589339860211460064032145328475787312900975001226118487833735204226344594358005547774168320244314788879533610200208130763501497945104138630885415427307035868630562393024989928964024613947136580992860864652714595867577442695633929542774846598305327854930524612556876844499836147010214630808603127176635207714083546894890482122354901144366313060935491827210897431282387315375509000290422216090425668805773499159911109192698579190306160578521085657607791763893528831842193634679189516002231021169410712336415984744539260302180366175459864429789767848386443561366608975193651998385862474021890935667897704372861420972141136511943066719251917764314118915209963694478645709409186532975109301854123917939415459470973422343472109799366019193097143673061932971591009389634042466711792906317810532847474128112998433178680166183916465532338558860396465933381524067604080396093870126950819613261321501597885130089457924876312689633482543039502308083856978217227758228298661437944910963766449667388533402807891267819371719032536080235419266104378497704003906251762136694867425937533334220220407896978167326537608258665154224191316605497945350982992771144759972722180970949137841236917347880361807460307678362400416347570895923267050551643296770833563512181776048034900113654667972129098653720154698476751343042223778392170533219083402584968956647700692548899519870540068073943537591144302047839594670429735719025650187372104836131184654731980343847605912200955748007297693024702617437064405065309217036088433377838091439644155068130676469637729639957911782913634601466866600448394048674889020149496030167946293067429539113170018596304308800051961716229254054086920249693343535315336666495135258945006014644792491832609222996395192291537875022673170087040631341905811346393263959533257973938302659448330411809288258457105344978869790356993280877219358816672323827820099114284854296186530328064218463138295742159868091578996894173796769524567596333214333708210244921306387091020336955303911855540576935081892691084520496973174297167009895010706289096440127392764576605844526951396575348382053230984224043734174044505463741223559007311648352394695789373699520905244610741807309399218505951185180213145186753055181174440701615505578723111339177109522798206727800925668033874232622989977657077130536444886415205269248553393115641592024421961684931154370064826462181372577971112688330046775732164998736306330176806794108715679994659632024632544533583944373684078039413791745602215831969171274518798104700861526046382673533296071560860398801487329948227921077148885685266544389175530031819296523643912925357234542227656593201043084266651861089149534260184340297939898101016552084214406259380373348823621280285135702844840403268509400092264358493739124067456475973619266896724295664228644262791026259189558663992035954357301194692480476092365420674524879515989373022848765601871464902593083939281442658752191390534079048433568508779744888717540851932848583303427449399257608503959455368042824013244229782190865562194988796432234812930861437856986242360701998588182110969570780898564082633411578894452678690248389373732889459177634978966797749632105712027898802926205570379061280464539677040444592071905457967831205990972829244687633120436069892258849944194661529839385621291071374660993964314638158896163391108750589548305820476570847580258699583957309671627827964576657209542381727319770607949486842419303901491608782021078437389012226712140330620707639951686448595147065756073022023395860538587721286684143725327971592405084442762126436022607938192864138952312634558350898409552406268959141683913660271357145081974027876615806304312614156266072493465489359508059107315838597838646000722746590812742227128643069942072549842201967222542265104⋅t9+222737129269274512846627220000393498611129459191178470580857302383119983193506577688215459691941854156366188928788939344132653425990063712333238802091145683519290330794598161392297719129838940753048588049034030536010974997228109154488634618150175151774767194683760452266038672725698121425050202862951545976301023234852115043620632931761003647240925415176564830721876208925878123224031526025847174598248298338136764936571736428718440043449967037403785265787608051157245618625347309392594451619527792212250900921123014977619342887264422564687350207796464293649991736279951101407342916561218089711478133715059561301276789414294562389914539963417578356178762861350761794126301989432343869112052563033257797473704893160992870684893605591312340160577033120576110308417812427332348587716457199073705552444891121424558409160735497357941245946294111932361592152607352153052469394518287095841658283685139815750643510136491164738390393546583029595873724399910510000297375917667527227546968009781436194488383154191721778568007814191675042641164892434530696730391317872682013438166138563993000619954284548869008953592133151773485607686548470970079004993637438775590868445092970489913872187074683723773644924531046693956852159875564381350041281905896502357171008996538437298876791764551697987130249196848093387627265602308272776834139629071719840681290977148681014515186441753981800524535391286273295353499062147135908420756633574942180334535542446296602867808500895233699837435509570551040903270779151934555745588414148617204855578405795162592563767014098293437028815749913161647959462692019599164923490937788286018747052057012767258115983533508654991869576252711795512782274609775408624824157833071535879854490430999647022886132273331330236393896542222925172235068230006219075137453683880537922597886040864051148889908914343461493371388136821126156974559434632960164240567737003287701806794212173525412061970261074524645466333662476615146609230945133834351419825130461907673828256530835160500367992635205630912253146150131396658376535550437880061630125887946276758935444212889951767103333251056789847594594850599081597415540090297785990303718928986494867140399950198321772307618570852336840570000496644189234120180646406026088209815892677879746674376803126111857177390250229638207504102691861600817664168893578639869855059016476404843811293928397567996665749637459760248073307742394162249731639302120489847157088336311575502765894479397133770426670475419086955020335253632013727348929859261222697594481427974917153727940998033007444548541466656166344662591679699150786401004586349314669267080651356672934300189129530285287077364877186524267571630332589740326231022968011912834342982970805842650115227447039817505926324455644270731897937205861772356375119628906251762136694867425937533334220220407896978167326537608258665154224191316605497945350982992771144759972722180970949137841236917347880361807460307678362400416347570895923267050551643296770833563512181776048034900113654667972129098653720154698476751343042223778392170533219083402584968956647700692548899519870540068073943537591144302047839594670429735719025650187372104836131184654731980343847605912200955748007297693024702617437064405065309217036088433377838091439644155068130676469637729639957911782913634601466866600448394048674889020149496030167946293067429539113170018596304308800051961716229254054086920249693343535315336666495135258945006014644792491832609222996395192291537875022673170087040631341905811346393263959533257973938302659448330411809288258457105344978869790356993280877219358816672323827820099114284854296186530328064218463138295742159868091578996894173796769524567596333214333708210244921306387091020336955303911855540576935081892691084520496973174297167009895010706289096440127392764576605844526951396575348382053230984224043734174044505463741223559007311648352394695789373699520905244610741807309399218505951185180213145186753055181174440701615505578723111339177109522798206727800925668033874232622989977657077130536444886415205269248553393115641592024421961684931154370064826462181372577971112688330046775732164998736306330176806794108715679994659632024632544533583944373684078039413791745602215831969171274518798104700861526046382673533296071560860398801487329948227921077148885685266544389175530031819296523643912925357234542227656593201043084266651861089149534260184340297939898101016552084214406259380373348823621280285135702844840403268509400092264358493739124067456475973619266896724295664228644262791026259189558663992035954357301194692480476092365420674524879515989373022848765601871464902593083939281442658752191390534079048433568508779744888717540851932848583303427449399257608503959455368042824013244229782190865562194988796432234812930861437856986242360701998588182110969570780898564082633411578894452678690248389373732889459177634978966797749632105712027898802926205570379061280464539677040444592071905457967831205990972829244687633120436069892258849944194661529839385621291071374660993964314638158896163391108750589548305820476570847580258699583957309671627827964576657209542381727319770607949486842419303901491608782021078437389012226712140330620707639951686448595147065756073022023395860538587721286684143725327971592405084442762126436022607938192864138952312634558350898409552406268959141683913660271357145081974027876615806304312614156266072493465489359508059107315838597838646000722746590812742227128643069942072549842201967222542265104⋅t7-62363508701895182709287256450573113521332419378142038067291670846462051035316498084848382737432818864282579570968961425534316741377923466270017867638685439116436878731323752192457206518605399455018623252574415743205592438192588562176667737830624590030679163073510706723744701193690687900953734961708448663045473273006884318097876947963349870376094888854003093836977538309733817622076217211650906598684817913805227927792988948379609969823817162605157091795935296587399495894165093302769637337361973207559805363616321438874563620878181687817739750771073143676876904927973087070447012326381096584988677714498574980974225125180913421142975238357134158854956342405346033984562863821606558252206659128704916194426150150634374462014317074621808443538584334652365041527372352137596499812795486367332743418997033886423556142434727917188724181620175451996151079346505497633687077640275148469913560468614444847336401929625622947588266040352768552972102813260738112223098651769739645412195862990067807096844119445505248980398289411719062216655406695783869268293230416459788677680010056535452503204827873221374276591787864235578911749364140942915361136752585301377166954169501976049659342960342537638845790111626485959476947328348262507232383910742214275707321983713261769027519343675490632755139444637484117013675867703276508417950084762092818110704657302295150699307695018017876061041843250094871878912396316900555706897951317112410877032036381321845743496365038678142330072731375465138139962149812092897778145154646582755303710872239792989184087925096358292715297258132992992752808031372991460850580712078775120840281499153914613701413044247621197296275412244815503637493029387238746029727835165830650860689398783233243112182725346189030844397192521944730135425170058144643132520047013753823501756992864383176697684487122430431596382531711264281089090916702268393675243535954128143142767019153481851823377461821839144052776362591730761941351318700523887564307390558807734027302553553967901848050792463388710284081373899970435298012097511185488658005331674575402843154996956486587327258483873772492178463922376529701984312585095420549988673648175199097045941746358246947539708525351340486829077983691657262720150524746669303250351115558158114676480911457706291113278443506599538915135884129192562347359900313825662746134709794712565734417852800963857221949201941641100400549102757484396757564742314083484117851598458751408316411411361291643461892743715744561498248596226119362152738148673002528991573113724427668847217251358497076677079766991838496019145445936863418949945253514925967340877544225988758232329576819264766974077926848491469345492425321020731699198756234818664713825470035633182650086881198694608309446705863009972252803988880846504425699316406251762136694867425937533334220220407896978167326537608258665154224191316605497945350982992771144759972722180970949137841236917347880361807460307678362400416347570895923267050551643296770833563512181776048034900113654667972129098653720154698476751343042223778392170533219083402584968956647700692548899519870540068073943537591144302047839594670429735719025650187372104836131184654731980343847605912200955748007297693024702617437064405065309217036088433377838091439644155068130676469637729639957911782913634601466866600448394048674889020149496030167946293067429539113170018596304308800051961716229254054086920249693343535315336666495135258945006014644792491832609222996395192291537875022673170087040631341905811346393263959533257973938302659448330411809288258457105344978869790356993280877219358816672323827820099114284854296186530328064218463138295742159868091578996894173796769524567596333214333708210244921306387091020336955303911855540576935081892691084520496973174297167009895010706289096440127392764576605844526951396575348382053230984224043734174044505463741223559007311648352394695789373699520905244610741807309399218505951185180213145186753055181174440701615505578723111339177109522798206727800925668033874232622989977657077130536444886415205269248553393115641592024421961684931154370064826462181372577971112688330046775732164998736306330176806794108715679994659632024632544533583944373684078039413791745602215831969171274518798104700861526046382673533296071560860398801487329948227921077148885685266544389175530031819296523643912925357234542227656593201043084266651861089149534260184340297939898101016552084214406259380373348823621280285135702844840403268509400092264358493739124067456475973619266896724295664228644262791026259189558663992035954357301194692480476092365420674524879515989373022848765601871464902593083939281442658752191390534079048433568508779744888717540851932848583303427449399257608503959455368042824013244229782190865562194988796432234812930861437856986242360701998588182110969570780898564082633411578894452678690248389373732889459177634978966797749632105712027898802926205570379061280464539677040444592071905457967831205990972829244687633120436069892258849944194661529839385621291071374660993964314638158896163391108750589548305820476570847580258699583957309671627827964576657209542381727319770607949486842419303901491608782021078437389012226712140330620707639951686448595147065756073022023395860538587721286684143725327971592405084442762126436022607938192864138952312634558350898409552406268959141683913660271357145081974027876615806304312614156266072493465489359508059107315838597838646000722746590812742227128643069942072549842201967222542265104⋅t5+17138323730414670737414522110929941216354562207286737967680532859742604304347329797589437670575578187275283684822269355683783189906423909038673707514750342387506652058938841136519006999529613416546852149066060527598841914905933416627730040202446837214918679625827325013887489452992092713815702663175232641892137309322698505339346591225255177238390234442339687466755954881898878372489694209569050445253382242101157109916322724724780551028825984639419179362494592624434964748362837718455538404240428923715019750352945262280147691016143348211681798600038700748483382915116376788857008211045903208011376480343633104999290242586118715021280550948568573041719455547570174540401279542829644989008208116212553322728421221198064317732299873015753513808977414744400428606523633338253962552876397878529024996953419503148247067577532925047698464214746650675767554292519505863263878533774917803870722153272270748908815690761429609373297436046678093776571502818567642964867869335130499494311197927101685758347226467526272152676602732352231602752699429401303340911141824588629711211345332659627413866199441277261166218328203516257690008489223328985254444208411310240794710660465842621099418826810100621033613362377915805681271796674222835602316296288081722517346968873794348051020692656186321471493782213420515447174019420703975526344384790458651046223977950261172180511644867986673972997662949738844627168753778512691325348770377262276098139545777938377406548783498673689791303631823481111549447442520419350884660678731511600121221049538588186745419133312783642693991793901218660144787399405916570084266245950575361213007123664866762942831957914547226127067784711806016020310469041633547535772399092107687606330884661235119970429107253359392180002652600180539835376921683425759100283974125299731088545086947142101657588932232015316291082434400857433227516787339846757878451890099245773474922917551503242226859687165027616969456636111648784618141713780020100028319617072303357877333943447705354850130121839865945289578423440100437995881515828944453867362640431310717295693145328992974193654422627380171520614133963365449576287654011316455237437142627307467002247086799086705246827031955029803440443533286596556292610407375038969919525767940196125478274899075733191505566855847279314560169942857631790671158329189604982950075310937807323246865697107878971933465132757665623123478747306825010679655791777929002049945827787161867314627255565980967699064287690802903064854697659454738405271787219953544648285098639172625550367791722056330397514738509039431505549214406396129700066547687351495908523928179344725456555155136416292505013838386639389954139870777529374207516381537121557910128482791618180344421788983667420950706155715950115668406359999345635175516308593753524273389734851875066668440440815793956334653075216517330308448382633210995890701965985542289519945444361941898275682473834695760723614920615356724800832695141791846534101103286593541667127024363552096069800227309335944258197307440309396953502686084447556784341066438166805169937913295401385097799039741080136147887075182288604095679189340859471438051300374744209672262369309463960687695211824401911496014595386049405234874128810130618434072176866755676182879288310136261352939275459279915823565827269202933733200896788097349778040298992060335892586134859078226340037192608617600103923432458508108173840499386687070630673332990270517890012029289584983665218445992790384583075750045346340174081262683811622692786527919066515947876605318896660823618576516914210689957739580713986561754438717633344647655640198228569708592373060656128436926276591484319736183157993788347593539049135192666428667416420489842612774182040673910607823711081153870163785382169040993946348594334019790021412578192880254785529153211689053902793150696764106461968448087468348089010927482447118014623296704789391578747399041810489221483614618798437011902370360426290373506110362348881403231011157446222678354219045596413455601851336067748465245979955314154261072889772830410538497106786231283184048843923369862308740129652924362745155942225376660093551464329997472612660353613588217431359989319264049265089067167888747368156078827583491204431663938342549037596209401723052092765347066592143121720797602974659896455842154297771370533088778351060063638593047287825850714469084455313186402086168533303722178299068520368680595879796202033104168428812518760746697647242560570271405689680806537018800184528716987478248134912951947238533793448591328457288525582052518379117327984071908714602389384960952184730841349049759031978746045697531203742929805186167878562885317504382781068158096867137017559489777435081703865697166606854898798515217007918910736085648026488459564381731124389977592864469625861722875713972484721403997176364221939141561797128165266823157788905357380496778747465778918355269957933595499264211424055797605852411140758122560929079354080889184143810915935662411981945658489375266240872139784517699888389323059678771242582142749321987928629276317792326782217501179096611640953141695160517399167914619343255655929153314419084763454639541215898973684838607802983217564042156874778024453424280661241415279903372897190294131512146044046791721077175442573368287450655943184810168885524252872045215876385728277904625269116701796819104812537918283367827320542714290163948055753231612608625228312532144986930978719016118214631677195677292001445493181625484454257286139884145099684403934445084530208⋅t3-745037820393173926436247600599596504264895809689296393174650672959203923034515142904124083990743673694989496536836814615589653355824194689701626640812118203068725483333931899932475017593400345331872540771984441467895647172986363377445208807506748189519618769296125935733170829790158170792435880837475618622754450438100535102974708470319533400331926838935569921144466233509928456922375551606578279415555262600794978794921558581579086662858782037195677792394214591599855849376683855916647026409410636701823524003642828565941906981530467468392188575845300313696891255737796724577259217852089780016302897818916761016072880933104521829033248654081173735184206761342698622417255833507021451987196495363483467506123948751222959580163096033381129937678049230091762626151878110868502905932697838164299198921434304570370373048982825201426205538539779320090986361459690185998712666091528741468513184988854122633506818928770031336529968448935649476582858542756859705493540948899837446619861523705331946086866212289464061914158263222666691276021389881989108407517709989796679007871828216290293909044456974178097956929040659482394221630322943979061662274376386133720190925998701676056635392280256770366962998813548421832152135774665691491414467843927044654203436217292043891591994056569512872022795349543422395344470838418605565393455198013956950962435075074274941787928091871920777284580723765570618812954853390442258395419401675728164420035967961310515495149265663831967785296799909086414774634592835843983084160075584052675204043702784104158108654880940139530290018040743646849919498523568334211730724162912325559366811994047846229355298715114339882092800933778273041025409304945945765174463847664940328840471461866367919502683361354866021822260541015999792719663561364075498760847344812350255973617086972082566408864892626589852107138311386314426379744552086378964530293290891354137890643913863364028894960828489111862453001360450675700447236695669653685013880062906561929872948265073343448037992961744929082236351318370303234196266094168430463697381921826314679101654036681196036308718703556600842162648589401913587542697212016458300634863880615842207749253195284789831040217555161625020178329042653835821990869375976046984490979770784887040587570125630239919634144469352083765514196428222721521989973369739705341996514344353898567738514126354575777026162909987593991357270191233217187494827386375802055838937869953456848332745806948930415519026250203583873683182824442227488902980213688116384023872535232518875599837491366383534616825461006326546695401822057297963939204363166514970337830015276779650075890240864595814076750150847856324320862666364711526515579536302809950492582218957474736824820201926933235770228369571990418809492424914419968731933593753524273389734851875066668440440815793956334653075216517330308448382633210995890701965985542289519945444361941898275682473834695760723614920615356724800832695141791846534101103286593541667127024363552096069800227309335944258197307440309396953502686084447556784341066438166805169937913295401385097799039741080136147887075182288604095679189340859471438051300374744209672262369309463960687695211824401911496014595386049405234874128810130618434072176866755676182879288310136261352939275459279915823565827269202933733200896788097349778040298992060335892586134859078226340037192608617600103923432458508108173840499386687070630673332990270517890012029289584983665218445992790384583075750045346340174081262683811622692786527919066515947876605318896660823618576516914210689957739580713986561754438717633344647655640198228569708592373060656128436926276591484319736183157993788347593539049135192666428667416420489842612774182040673910607823711081153870163785382169040993946348594334019790021412578192880254785529153211689053902793150696764106461968448087468348089010927482447118014623296704789391578747399041810489221483614618798437011902370360426290373506110362348881403231011157446222678354219045596413455601851336067748465245979955314154261072889772830410538497106786231283184048843923369862308740129652924362745155942225376660093551464329997472612660353613588217431359989319264049265089067167888747368156078827583491204431663938342549037596209401723052092765347066592143121720797602974659896455842154297771370533088778351060063638593047287825850714469084455313186402086168533303722178299068520368680595879796202033104168428812518760746697647242560570271405689680806537018800184528716987478248134912951947238533793448591328457288525582052518379117327984071908714602389384960952184730841349049759031978746045697531203742929805186167878562885317504382781068158096867137017559489777435081703865697166606854898798515217007918910736085648026488459564381731124389977592864469625861722875713972484721403997176364221939141561797128165266823157788905357380496778747465778918355269957933595499264211424055797605852411140758122560929079354080889184143810915935662411981945658489375266240872139784517699888389323059678771242582142749321987928629276317792326782217501179096611640953141695160517399167914619343255655929153314419084763454639541215898973684838607802983217564042156874778024453424280661241415279903372897190294131512146044046791721077175442573368287450655943184810168885524252872045215876385728277904625269116701796819104812537918283367827320542714290163948055753231612608625228312532144986930978719016118214631677195677292001445493181625484454257286139884145099684403934445084530208⋅t$

Node locations in the complex plane

Magnitude of the Weights

Quadrature Rule Data

Nodes

Weights

Download

All rules of Hermite (probabilists') type can be downloaded here packed into a single file.