Rule: Q[2, 13, 32, 46]

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$:
  $\frac{3}{2}\cdot t^2-\frac{1}{2}$
• $P_2$:
  $\frac{3}{2}\cdot t^{15}-\frac{9527}{1738}\cdot t^{13}+\frac{347711}{43450}\cdot t^{11}-\frac{323869}{54510}\cdot t^9+\frac{42861}{18170}\cdot t^7-\frac{165711}{345230}\cdot t^5+\frac{252343}{5868910}\cdot t^3-\frac{32643}{29344550}\cdot t$
• $P_3$:
  $\frac{3}{2}\cdot t^{47}-\frac{888175413847264309058284086096461213673771376866780642241246255210687818518583762207640244545477290603763}{49489500514285790401109211815303530531408326496830650377226011890031968618254391899215225739170719948050}\cdot t^{45}+\frac{20311733421883594809897630731447172339028487782296665181712902580498417103279910398862409326528742402547837131}{201966651598800310626926693418253708098677380433565884189459354523220463931096173340697336241555708107992050}\cdot t^{43}-\frac{144255748310942603387345728977424597284129187274418395996266214654514834273240862695384710249692276207488049313}{411325234956234398856491790019465934439455113633885655521626194276924793720355252671432001200334824659133750}\cdot t^{41}+\frac{3098757688598898943933102883967816097490159467520987555475057935287431781707147869814171125708261453456527444095487}{3633235800368418445099391981241942598903707018728111995222524174048076702931897946846758866602557506214128413750}\cdot t^{39}-\frac{16565105921998287209170559981897135893532469631581160459086096078163562409560834133297196666605046591506627728121198317}{10782717208333392261365975521929837245026421690181290779421407243739882038961286726651810964303070166942290306327250}\cdot t^{37}+\frac{49505178103644525676837140246769373063443342443514599664840479033102255119913147059695788536605610432415919084453488754513}{23299181841480390488967375002780498320766302236336468049955046020617939847871348766457373638919081352832406764540276250}\cdot t^{35}-\frac{805521248928009732465094997507472983489953248269284519438657949429750565038468510457291841824678599161029863744213358773413}{348939511578876906970064333865171463086300032315956750912856159814666322662826199761179254615811653672419456603056137250}\cdot t^{33}+\frac{52846573639759539342921849286288221179243815065569641217631606150134226886308069270203691393584524840403372388516822438187}{26434811483248250528035176807967535082295456993633087190367890895050478989608045436452973834531185884274201257807283125}\cdot t^{31}-\frac{2318572740973413973355879417785695448940059348289481233659571344963522754892281173091030793521038598232451815905137338949853}{1665393123444639783266216138901954710184613790598884492993177126388180176345306862496537351575464710709274679241858836875}\cdot t^{29}+\frac{37268649078503714822163852630947317910105615266109180645252158588565979611410858356082687203139865506584826208308679581207}{47582660669846850950463318254341563148131822588539556942662203611090862181294481785615352902156134591693562264053109625}\cdot t^{27}-\frac{3909975709087685175632796846239598079034482860226025860745295236634061903598342604879127996774828497422578380019330771}{10973354704544728322139965466155058149562248648249517306088788250332286836699064108116635049618591068606974370198125}\cdot t^{25}+\frac{114233025604133585504552650147854015700242205071983351055634702884919673556374999506084344703288772387827496912821848413}{873498118576898713100292798871970724458458578920049837594765090445146262265309327465402613662769620523843171997110225}\cdot t^{23}-\frac{15290565361141758359279224322735853308616730898318580014105572728977710588666929122060184973416728696825489704283904251}{397044599353135778681951272214532147481117535872749926179438677475066482847867876120637551664895282056292350907777375}\cdot t^{21}+\frac{63253862305564004102014402189346704597263487248842045209068742158902209932693264384194416130827781515032745519731987773}{7014454588572065423381139142456734605499743133751915362503416635392841196978999144797930079413149982994498199370733625}\cdot t^{19}-\frac{10358817886424923163081552410206874346674126605381038943075441019486428931173856931329621310504025727364876143274108951}{6250408734073140219369829707260074268607780266093811995786797340553712499092957132687217329344349206814777114038818475}\cdot t^{17}+\frac{11097938413845187206608881454614857922593828989399436699333935787450517579011402438079511149179324846718246988526330285960593}{47266653416545878772711945117350915831837697694846642260179045244815068049265787640093294271447957241298503048470931907090750}\cdot t^{15}-\frac{11262484017613044590339046347225021892179802578793920254410364262515087043794949611195355954117596614766746575451477638897}{450158603967103607359161382070008722207978073284253735811229002331572076659674168000888516870932926107604790937818399115150}\cdot t^{13}+\frac{2066708831427451953495910022052262501105980119307093303739299115360264785047040979190805842393100450180092901594943039831}{1066165114658929596376961168060546973650474384094285163763437110785302286825544082107367539957472719728537662747464629483250}\cdot t^{11}-\frac{191747016270618059313936226750413614974653870096507080108491211722511931150076208152615829041526247611239501077305495567}{1841557925319969302832932926650035681759910299799219828318664100447340313607757960003634841744725606803837781109257087289250}\cdot t^9+\frac{147918664325412940240075844884527183493962346448343795086613016291606542611259699743137352888184096894090006159610813}{40923509451554873396287398370000792927998006662204885073748091121052006969061288000080774260993902373418617357983490828650}\cdot t^7-\frac{44544857647794718991130187642683002105036503219560992836781700987296483124289635153955144888630373261594473957753051}{613852641773323100944310975550011893919970099933073276106221366815780104535919320001211613914908535601279260369752362429750}\cdot t^5+\frac{1541451181460179484226069372143901076862348306179224611509754073538433691677444669771859183111381591792606399209}{2232191424630265821615676274727315977890800363392993731295350424784654925585161163640769505145121947641015492253644954290}\cdot t^3-\frac{540390868244218560325772864857035615721881424146921879241951791206880222396086323028149072684042997951920809}{274283166698678115131410893045907877129358647862708044143960734632790134008352197803977028277007850320293746302452008370}\cdot t$
• $P_4$:
  $32⋅t93-12825271215047989031130001158508366482005834337062375577410503161239437923206350972291018254979730541938930301724606495307894830232459822061721014828819171409778146844446240963392886453599218140592869754913213804965447528794523978163092143121415979994587479212311528198419443347743298613384222344185055367076881619833957019475356480299311129327729511386542713717706586598880347271732651164893925532900064026353731534148369396578234037896733440153548723845590361210785654787887833633653397599402310787312843416821917948808496803177358806755881727118387618094528704474517344687351147518367959572075002521392147874202837415313139662475456495462978538908031149849225050443906828591092140923809209396619020940757463779832814552221165024922503798604925130206052355242908361525966928120889247666634502559750205915831544369554814113754413407038080404227912114239637889237956139278116654679893117661395798924876742513910369926153511398742190762188574628068999488209453925797601123545851144936690361239531604170263989912833774349033249630352749029352330918739148738109374173133951056785859135797440702749862914514434052646874430508367482112733478643311369568983172817745626578126518155176980248054667824996013012106342610293463473027033842997827099835270383281058630141451262454560772604117004370779738120915696246410091464876923391844550995909924796307969895846082532395147863162298984943985363335666926349927217844914159095009525986668078368253451909485609197749540093900047732474099116420112361352783951121237436795688608383409759641589820378673179818951279900196238641107511526184760720192630720825298544218913722409227067805647458695320170467630796686339331595622366701564248599417124676245441007240020884387661191845170096341060020548466458221185291158296493485218285786630200216606803496754484863756187782905562975262432486751174816894742891087446150062501056532387472534069629403336417685695733160591353324429201987048174313676906023388949025903963552442331622480559943998893213920397082034870494965152009764391986356316314108663969240150618592875201454241686934693865511978224918548529317562619707323209624820035459203136374285461286472495313048321066720031348155194698193353369999083468997215356684719217128820870105824224059955583482618052448529937322457583669656952572871526762274873834488215345246123563454566868966408085167931224872616410292613756625975367496064245936583688550707935051816362603634273501272641181142963205203163643897868317637154246204275575246887833768489892375423125764161403693124681302298844738714200577374947151910362995224922593921808125496525942603875223424670535451064905542181071338716417449453957611603258229405305165333795364881892576109744857375726080841950111758396716321835437780416899606360974230090725092535759842847549869239179068362089077313456229265991677369700444434487247695892972893264185677768725239893068828274187586922062703364946717257399560044740806335725905016024537353937868210060739299035592026227517985725771190707047291206161455808958721265466080669997596587594342695759043249581884378847472746306347854696313198593253855674713037891394470090755150091253611892347454769294046035078215200658029218685121409141203573044981125686136918040222946363979676592332544553081569951134508782416400150269192477022900225143162803410886715418029158936536319086164097723957333115325355168472477246025736432144100234139217410424979698445388052551258403422829731559259418674866814638253154166063982412413575497352039702235060291627634219888744716736166356074782538058857302564898093922030887681803762373062169678225375551247317287781606562775362468376759314501412852081582067783987679749556932355988530154783946169973306772251938114583836462060921727558030361543318579044555054271146887961344447728632089345879184361185666744724035525097077746806945594351015574840382620942652836028032068822352717896445381991274533220403832381165076757054545921732845496227659893407858852722733409359910821645470286407322243781799957820151489402987611069044848214810102560686755910052285614318576519681618312968360925426848653867542424431791559823655404645864329514139775889329329448458290041900320822714939604710929097389912483121137543068580732564616771085720108490879890999802996310949926193203939545727703227185826504886429111643945936695824741943189365080781412665271247057589622537445305137957615763172296876241686080109452509335019712203607605811959029708407619563915772727448383178454641202699804997114222615984621775119049755993527536168416902059434147711139946845635056976960931398267139092611264969007476732502916336341708327777699304544038314222849466173677143698048696723357206351993697108188178512546050978751038659817782584983543921722343081878207835930193002136101027147521776554145069483437483391218453896118803549947344536991430146621019926622962073442698009090830082942092780809738122064268365930619153316883195076960561580172350514645347896852335071875331188562582045627477428413020065374736932578939209325964208735342710393506377618915939549990584838176389490782576049346499645537737789573216664949674689611483140847106879746655918438867694977540847892372007385917304212427777831262985856600407412463775146474778655755285096240150441587683392289495920838326828317390790771304447177173956439570240262347545906588074521073152230586677962958399197039042161931050195511046942217904330448455674854397478756784843866951201801089390568170992815063579264271663536239910311740158503894456551081596732139997636079264813090154268361069375892643585348918139736774391264809691361406472570966947432895671550003000363047804134043889671611043640302127208657553560901697876116804295966404109676113700949572124103457896094255716189196342778049007032133276565484812292613846233344475262029425482801514348653748150800⋅t91+886202901150338102690215231366340001398740032804474886593987148745577746768416889425053630021863875345609059911076738408549010058818355573787267136848485771161036702830917087381584506116282905413704644146709546886644772432275862342575159482717227101517082195052835283634194269232950475877948761047080774681795112201042021277443238795354018407316685146246746133870665851710096598917624024350600500707168778512843945227131999051143325854700273124349481137069926741331817718189981292143624297494022365857708091474705050216097965664735508956290949292211189764246731049109584418790274257266204834209972383879765575617471731455385566574376800622944275727095418190842081814840862121837637911380291569624029927218764026492001879679734265334956562913674701844065815666097538179626539089910061204327739729627610749623329434892851357712098920353260256334019914259258889718557497469495428197219646145000067481903241419947418875756828098003150704377039038093617518519829783857129521121325556763947591074558479182656540889181045116733022014270795508475195500446909743391364304554297902936354705797707988416675751516335576032055792181224329543036896889545390702490545012463071163963762688347346876526578147087918773865121293771543201970560693033318005939502874452685885396089440367083323227651524143367842997367237103225098931967585141088052912846665686322950582151825728265899766089408455767684008997825308369867648668755246699180367571261026511968706924575054628491954719597291991756245308040887482813110709845527470419882814944763508676599688019837727636351672682511780252718562757246342986253813040525355584935937883236918681839759536251461149725261085849141208793048433677726211444131728309523586144377348814075542215876706573246052232136690542653459403281060050462207098610349062658953304651047285094807438219277171319416707462369289681589021697529248999821174583810152969814453006670704778740296840729649698590647092325309418310860890414246716859437557571789608474835945011564884642856128362742983167767773882867732156607385253325305259155071395956469417409848891404284779428760556215658727090869711718452772616812398614325783982370519119876566546973786187936101696811858708516113325937583821454405161158612862207833858445892914271400945546952297576258104561554411152466433991096191221009108079732868655563890687084172107258825109884782288447831294129708282209260188762994383490540275353864518965789484425521172174181696716142451928542450770075034043575715972719358736248045401407691840800224388884166938070492933354978274886910004955297012056224519745007249557382639294960599266459384675143306293599985035517270144892505080990336874389033941388983793655295729974389204875134172979556244660403703278478811953567856474016012351185269449756796564167119581356316756259540702534138819995544222379551493849752814933806237013382830392677076373937770378467796364198488424622540438861618856567322240427010852175078634455115387502748525125512946231432987795878426146361064562201935920042999770444111492546408967931965986053534174547442267431529780616524604551626351092916234538778150368763622934277153131988852710182170832071604412088650651160556187131264912079612360610935666632290369041524854581549554623888078743263622115552031568025004157372870131670099782770166154840962989541896742278491434949201762378049505459530456740762651423679664932917550750392770579516376658269230938112209980284861316327602517880350234055827952389011689111959249554573187091442306856818017362890634212656189921626759628647988033341403728875353502239130600841824428310301649915444756332621446983958234608753627547504784402653834468042469268117809928267935539348833416558245510828536997590467154745498682712585861001393234372747391907263819014208541847100022092384059866419093839399116663014418562927654676477272175807296895593710991845170803278272140842108006620459346368478432189434632687134142329292165240536535350240642875271134490306079160013287249046898706826045888610797407578422736253952358200893682862510895918059804657756769546339578865425632797581845376230263279177898214027247853399620568989107008863777162969070480185182003684563203251624270620043641460140902550111082229486411461053738071423954556719980070172144701249164876711596537285302485626447749985713551664341880630512871176416574681309201982306337036544894091356983752267361133185908168296572119111937315241661154677894074048087673285247695143772944725481984091661410601229521204747201765544043137963317401186890277794785807154395511745872917718931288856451431217983909388556120623918955488930513523164731111880839627948624060771001972589939919742641008719010834176331106124608921333995976087587858538778559356581583277871313107564100903345704348456655325779942511879743766356681285680114964120204514977685022226967057458483211775243257214440654705589192747886674939542037963485130211601974489654876662521313951540067059029365255832681659068651469847037966423048003150742526963358802096246509484336464499303132555502087700528622032125465463727637628731910949338375228419627028959185439301310443012171758134822231847141423210541466203245750883053159424301670815538942314884831265418566624874929931694934777981260156402262944478416108552576828331153666998043352097952792971115605762738045317176272872390600060889885575392120237188324355419545000410867907120580629496171761398916456400739535599198661040684246403528322672552807811408951998820574835704035121672615374897875225202639776365626496654808203067356208271112158951950393264991926587699729025979219522825283792837349794962137208621930856079907568974169148530996843704258124537487626430443611657827341690532333100766941317185529350221597326889462718518919815938927254499608811190734741496359626263419544681968721624071040137373327660361208208731189029844655593208400⋅t89-5587552612379818102996475075749264215433310869986333487530530469937758640910989250007818385249739059562506597342095412925446201885845830574990902328649208851213859000261024267687435590851636317792353880295304706729752575920425674918179909557689341400522534164799045258331635830868016247992777337441788740518945674234348989431577334225726808266379176542857165546825781490139325601890619888440440255721330134197783453625564635802744865961387927914722430692890513247854782023627799152380793000399811431287380904865863078236554791415849668791262226071447875874978755748723871349204178462283712492227458629618435342468787974369031767040603072796485672001011108442455295132966768337134888191301617406259131474611482398156242400590059302953067204709314335159076761387068080730157109459314069589302070848895458219220663905971692917415845397363860636715920795523157054437830204170560496914000509747171512330796945106345401107935799190468125383705526020005648078281010744046778423243680046448117742813150267269012338903028762656672110611524453107718967219950390031088967089391440046189298707703402608769817733017455933491445627926215197850308950089744260960332665930641193769213436668231881483145782762020290467809344451874596997061953539721920611659399532495183218780830819535677795804206146801294371076841261169878160270014495962255883838460905244993016691305846987051161904779205659316212614599595099925845115771439607177160361099561424156701991277798113631875157007197318637618130531745037211707915790283175481951009532953800714726276080793870683177899840351270338492107964141677567088732452405555573647595998108464005052936768961814670486397590358674506803871090115393383808639976358749513878253401022458422673529939383572333446954621652541196702525451625281440517306167195697496449859871137764699260747546915066444156232101247681598074460235753056050366716143390760784255778676504392980007614752175193835598473621373246984535140358867243311997615468395784624250083192974766652402579373244383986091110244459571386165721148331463055646841183856772839297562956860867767813882574035912338198937279702937594993313285147609963126224867268045917265231849450978442222038030593140853306855789128080465356950309069329383542182298856942156097112956839451903650975813195437282454342178989224591712977113155700633554387913140022459488876425346580861155955379381859538825515312639544320382651607893567658237677111865116671435306772980455411487641798915104584341726131765910430504270257295408239419381318698808562386019102086285216109954620933854347422539770809448953699839941564908688542810401823305298754054275576937646941609476766519862045813322799160659855214820568554189682711838496970017150386909251544938977310349176775162430958381729533247088639742462675805901356815243704364416717296252328647187858878792686123208417916588635299466419856253951600765990391731288292067906689138796292274552793919182368296860001005322217537021721120602920754916124610951973945142551236418184899169731037087302008046162321277734841320662971173225547168955659694435781752471425777727817640252289696154693058624780814044576340385462532122342661758805426461186625979711400715986668665661026932012470350443298315187076586490863103467916064874074663627227421566085734100488565461062639268308550330578479885940215198862643686520051067698458845018938907786852923711004641387522213764624832874867757211684121781107995692885332557171671802076873151608935522581859064852740819373866368989664005539975493172008415963807403080179708889678756960716154992395681250143226073569417635173052071102336885998023663977350050003759722876547288932228686629743751611063131094402688368821781486753089613160421777920967992613839605305113701664646494625520015043899754867343123769054681251634786468436481738121849936010525102158461647251633793572449575730466459817827509721476318155710146186242812647763387370692653197759014492519962761739582554479921353497888993275511460252302950134637464578926812764036389610019033908948270801468915647729326581517315213733717886771429608287914341636998602078290937209598501273557172740753104795145007803060823289159719478177935762804525933409787640759371528449470808422932029885158849086603160805170982810523474804827404706163752013408573393852811184362677938310494872043817351389659295662629186709739215694019971153795398486330598977372845795155793452734045934395932745909683638866475618208526137061504164825728211279057966643560462039094461522781737206493361258523692864598002758670666128880815391532578236638689359425511121847629654038130099109202567913729580583997224179105688252414989201358823180778027870020146844477085579032475194650571529375544527989696507445051615577164007555274037029135670000543865218485200416496278998482637608899099156553676394168253331670759087057941770156147309347455064683570678745052257135355007743505924807506702997327331121424633283203307838412827533155687930946711892743070246039878902717515429505896966808012614430240200630648951829120550641705936502708213962465087454781273193804348634511928312477297441397380257097998141391284174968159477519092014600299460136633350003460191078402337746588166966423513713954627066086881246008836884896951789612633893626597514435620037785812391184484283937587209970361564086064535352436892552517526308775703704574929756549357562854373569891500792940448144206565443645637849454308845147590162523043178305076796737340221098982745795794730292442630760849417381737276807115352853364772075145594729633834237096057214191055536681891016284907076838436807271322214198154843342436415363368920278240220890607984777694922632413583077796257615054876082208084137299411486886072519064566127694442161594722568341247324757005912599652008714540610177652199357288198022400761272118484495107061542080030650538241015449142245000⋅t87+485532459522948070444163366436353358666135166893128161667944248459766705016073993985429073972435012513491099246872678136327324454972689980987753068528318986231227785765534809551937166326571052204819283168070747706777712847569729389169773639208422434465099256515528388935337773906098528014016225822867604627804301960088099685505043821299320797834403311084506236572814056816257776926990790342876538971893693315406773707010504723463940594994788945102329652770699423683795117540160311887812948443369518665994132625734221255368232399865899371477144637877852462370747379695336955659684303009512720120331486482980337904561875808916644763276679031427046665620314030135108319934905651831766622022352146992376480465492140508633620254883738781683644969935509670682608018901799254703608124614062115980587618674102842581106413184355816494994261937984764365494769723056819622711485882605450045504842002314007489847623455717525503716788189337052770694200721162043792766101433650439793740233529107348419692404804437174964558383060208236892932042937835434610855153343341786287872997254046454836328436792902104773434110254555906272842526310701807921053269091594057242779790848653019782493200132028572462311434601074101089327138003514855610749944287434481359092996257925922433091459423577214009462854005471791525054182798646485067266019362278191248829766002276805374894242231174468223696638191222116082317717296531820269359109820631868858482227841100318333850191014953749525101356234900483296980322742784668285320717971157486807152096305897336637955686030743329226212708214973272711536961978428267392083774912876826782149659633279332655518810531249972796302050822427196625110476009785287755910942583527835788052617468289446787606291466795501982317112332416262633811291141560623900635121320900437118008629508740050564664805644339554083227464094235122046984017159347692984798473901163707706353119518705791622570000138607567858689756704575499968772956674418272198856876146313768648225997699848939183821871771337759280469890943551566264620323954899098627816679755474524740580453503921609052004422984615808750431439567693709377831564479160120623001067861877946832464565373365724744156654896271597085809590804220338479101725963462663144272382425233226613172303002106005051621837424017477359964081641210012371461991553792069162645190446594808430526398975602721462768488008327120589257879102265753354233066111769211911333423841769389891451969018797713860283778169431211098421086246672081837680734355776329475696762111185837169759592494971117499186633807758150823520156346591702607441614520955058239470283822161168955069561340027749083504598639686005027314707014543454314875848860482373078419248373462331467212100309098470461305220406586086844441016648802495477039053682881735689944973882244016048540120204283632738109385533287474017279049627126824544958353541956361463794722845662489604321644028213008338607462777873146503054102242824904008664815209937133617694349646836059063238195677821860911287195710151744467235681820051721508123756669667824515359727670965815337995716639640441746471655348223331149950457099281421708545901689767804606559989150958612907854903446078040770844009247897043908684937524053564665938451359558682765724945740037359341149437741186906609050237239881143565781819919819275118634170659439284638306543570496685645902807301567983185271929239802331436656246025175961297433083189758179876925641499673984685426497366471579931565302704624924266859929342714674371743576492727720120497712478959292134644957828882896183023231619557655991142243516073665144115070904274987421747141819625868706052166711103162928350842403696563497320514296456545967375826205639053596042336317144654154300796440724297803105597753629159918673587665920690645159934961808420386905659204104535985865166853742443032154622460332742793482476356644143870378064247123481943399290989075594801425276193802086596681608906222542011770905465993895979535612229455975420336645505213534717952345944024497653024121032151118693807835747702612689168492866731823955478685004370077074877373058517697504140721427651762402856601838472532652430774943869904944157945725004981108589193383140876501400471183095146176421963794092491174524603070033001481392976095710644021356746406511421702367070471382194424899008784356219403965797203926836728125185233289505789888328213009111294480857445268625199955845418288664899244244311316966906862130362750788335589660529024224315157326509866148734703618043411135718312540596899864272874990507508035786449029488480340734080854315926014827788539781528518286981606417456976832773648679322885149731883093688089125166200689547274707046420824614275938653727898534999944470677907812719261554737789323299155567926153085859210755653345909518301140400105529625328133748656092611812762247286283809201246500482999299572401715110782005229666790169417275175020352100131999354599451178404022077121788042694513091060647001120098478538555528167376291656773417281785362485117157606730349645978217482473042309666470475731044477110760295227023252921110867626113023963576609853680952041733130553734504202167256934182246901720745672105034417578602781413862910603615669415378013691432277297217664075523066531899001949950205464416890389190418044592338382141578566367638648377718601251798395575922282002357954787454365130302896547670392565751042872766566814649542347136286637622083839734178404361948817295580560052045622653807087238775630005404599657166332890782543747251947938443890276928258207049096567463745103360900973030737467265292229592720885627933522254117137537108303187648468767362160021672907318351070075854317432445833997932855066378640674249125359765605409361374679846491847042208543937607583139927216436849633518641454810828050467912775340409812419272226867130216906411808929507638438212005138251589595000⋅t85-55858958646734203716703134242318288039263060556843578312070251403400394007072283591008900519990542689690105719074338428722751264518157435983751586034013272508263303261298108981194390805905903629545579185518542946089335598250258619461415801478699439828322197882258817817978749234781140631941878477226545766381719769142788220910348178328025835275672207645747339325895689681581940377789687164632252815534243876386732151938452789809312467192206431859795116508546638463668555605419917477741906862917279663372484894232128586236297880494105306513519463295750149193769022393900145520125953109799709011780476284799295913872597145615706944867218364490066275745359855401919954212114264390662310282458596160218402481585330577330761865490742270880583737586687629315848023285624479354577643217255769656864251314458735672100887026442118473736658763041616836305217897764560947607366991322022647102950947919604242180602253871272323916121913252595248967661738403690338650944747661194356764756330681151801789885889435161274572682960350284372747502569471303464096575611468166511637959133710692183422123914794761444608059410673592875687506395628084761887119232334639727418476829355044805258371355318701749171606001528808152113975398454188301799456498238969404568415977580789836251287437411244659899969294277210343960111226807778072037511353307109682431501827567852615129291857858510890199058829845862603592849175996760288616057891980719940843844897830143262020013973561780700487074304403048136687099282529834390822092595600194455567818853773308714760358036328950828228360466960967384361141523650556410094069819653388051362927604317952054561384743290958398147001584566399802510500519595233420029568119383458766924204152422703391906870745857174696490017552106444907966838467975222249336820610494411173969394518838226188421376783076793756570271657785267826879853646318867343277277763193195249821813977603647751282337446534417871705267284236836489564154712212884415954975333567984989362418527785835896937953971245199493640805988504349209166228464425794664846463004424180377274165836466821299606333218693622030635302705441590154801827655327796470018729904533173530634303985423808147473041902289875252930493712244377322403986761060743759836050888821671827001313482035151456178962779212843391440839772487908928245353747555400687327190210987620220756010817735509760121792068739003101807046550300332991041291089615943076937137505242361358212461961483538964855558022474388949806839328308888777023342786009882955112299000022796415214748002597053989806443999566606020473632427953865899619471656996323159132843597951473396130927909275975255034287814206989092694488406580965542751333203242080584850487474801209220818274920502471211694118428806232153262313962366879797698598260442705684804549593855384496775372373328782035479351579062938273170752046259958710878275711826242325205464822210979723782056261752706008278406347665491884848550509488137072886304464704511201949170141848481943831835124444394794332325407786723380460840455263816986894052129288097983520553839111340251302404038414068254824584733320261767440487384174959428454544340717230357075578071891566120254480335262634664471148008270968577899094080031456844967262169843603379306537086950968576225604985514652137206436490072005803096971482354939018774190095052791314338078240116539695001409226797654063887985355616146822466647234221273602567773142468039006681573185799926185301390631040746532003354672841265060673658939369065770697041834941974951130808909622750275387221055382016046558588717129018835949379432542652765618319216400210963692444276992035747242027220446902544426023516485515715450490101066981634403601529829088984743121744947258495119339270438812575626493627403061049783486271989305204170899414685233134852208230463333330118444436981336943029611958045894099343354173906975444638976166725867856876833471587310372573575957644935641280877938471940130982938093175189110790550899447862500647142305711015426699463295023754461802270157843253215043611037422131043490775961779396136444625043774055700854473461032160590066918869533411227457616574903902105240629881416327407312852532096397643084530417406181265547770110457440767089860722346041307837479775280906297559015282281263910641433862068764587522607836469143448850967234324338389020664556799549831935961388889932523676024018836632524922581264248184403319178440146288622104249544985890467099161151098925789830401122807857497412550186389651702758875801149678017710386866181436386004892607583719267752274914497493284727095317096913912992097156250006700969942586263920777486874530290137268766514308156639149315473808899271920901048810250814482824684619102425066648398705391840624272985115194402266204441358663337284555880045040143743336166587201264374458153656016826955940156939943585196855057632333802052142132057232446312767305076370552154208780996402259022746242323984196771667546580524019710415671697830206201737912101980210389335224336601347532456014912348459477987305600559966457387226494240716963162233411341907375691507350831639143032150784811897878344894871970113284857791874015298410078738139960516889506839110255450872219231947441383570678853968783638108749158349678898512656630344590455805273653406579321628405156665159072760050541649197443657517315122194191044558015901866116878933448981117298384868736650494611176388300918419850195927930770822043372705534588764059816308818938186177835419816440830538321616788414461128246421439975866442946122607494297769762460267957954702536004222155455075275118149287918315582504175135668929995039800747130733967055782164068798576432883690456431665872808441044641975892836027054530046007808549474966547630021803127651641601220572993755363873472193842205220801704139160181848803645453988868012304557982818490607750174951213588251176954255842210202800⋅t83+4855215055404435103120042870918895518238979851239394631242442101306838933603559691438766068368339457156313438099508688109103782233129040156598786356390862193807311146288054639625436749747200584701929621383179573123204826146419215223925854428036041459024667938582037649509587911541258606544652950833437499088898184437798743915926992355425429559553828015223830587274025429354929621424228120317834039051816959054404182428929447288635018819108851453729053690650816383148497657279494795375662518936486603073428815272204781891876834242502730123593287207681931496612738055984517732182474739287874907503675450075585343324974351159223789868088358967413348196981040739519547129235996100504651792621527241024629821262921280811941100640899164397656578765817530680412731400909032175369569149659171340445089343706149232155558016952842309773343506891986581384705143393593345214312934814238401771803135155172824637463621239378557603147495957379351240859689291622022122953092027369046091114992070513722237927056045536746504264443927059518074429144230401029498721791384262456288949012445382470844352596388470199700208151800346039930023714998098903439040200381077966901233816891489633329955486094507998839352703533068451515372714919451726096481366913405826924291428569392456634940742850369613449237059093947502835890006964864639434696756124774200592176241586299687921237938902845349435306061206368343845771035217501605884493063609313678685065509186525609549915622022010148993284997712971456719856824784957129579470766283291633960793111601539449012876988097011379693518354096735694250655584340668240083786267506569404405829240758944631175938282437163780117625048567671768723925224968482621183885952600866904460146463817334870241118924818199784040470930258779761738835199533819053859409995136011610779024128144929406817029276855900170032108361068784781864825133300967834583708998811267373527845481152350573547689352448879820104989089091099119584537167034189237342236226318591350188386351189566543431611676392290980540818457199693956984733978446003314147839663473931660950509036981505991017777177047644229109816736543333286649260424114269984044305018144163248006284319841326452541527826551281816548895071468307408613702213713921710379954926393823431641951992263978119124307982911723913928081895602372155077892375636847843300288551888108275831768777140954931720450323755451272990373918506529961232962484953612191900711494453477747398660010893972549781236912494893546875499358628600200451588396239167736879855023542332033301014085214370847608277768185521451827852339557629511395119029390748930544324116716152291395643682411852081007295898382021542510615275492419373202528114500502527964562075221074550777725585304692270157737305394646496372866840722315747937428747954161635142917413354801603020869374070461811744722793633982885333757042235307315364488362377427061219751284148663270539057057903822351370602494536796941512072339305082681201620064387074133995580922485089324959796411776256632723002071594170311955033136242640040996887201846346906023469722462711403843019119276961140496616737668673519944442243744276914601786364585274782606066998063203393892249556930978569145561454675630479646249113292061487671963562029524852591478779990967825570318908867799796379578867957458374080514261850571901903634706798983450944391245411579276134500070564550622207895966592902964129853919693861625763978767684511728802741103329308886360767853497771959954508032785888866004001885180075716072877095293743895500322147427809092681501699300834856850374192848570542079086612258632634093150109311947153569811732097444170633539626234900833648191898288133281355834889986501447344316691230005490462706567079856966378140437594326406133554164623908130042431604449345079277645793948752764082864821768502726163980541500685703602854823080391169904461836727502446953957727132623656139012258600275338006877987835802834384433927601701836666114642184177839760508583815857082151794768148372763588911369105305594269625502072824695745733038473321026019197614263086587314851844783430790102003148298501395501859077580565757545912931422661955653567632198336639546194338172244188941869822940081023061330628072934012970202166382312936791511516975719593702266810577183267301857244799631151336365346794081628547750955748011861236454750897546612070457874933218882456925760480633359439064688276200378637173793509028213460148350358778170813273134036400805800518572977275512406431140921968367014845844393236516152444014151569621664179723954644757910344058331060521079030409097987338145209703764161975378611465588771163296446596669262236336596052242440704474492401415544150170316651803334276368437026750517591482749733575704351399097772812340303518473075243998775345817995985339530874204419288840372414534671008126855789646012362450807621754210407605789618004168319979494327421452683871286078501699407151627523526257500036950398360452144501259061669249115775816063140192751579050928651513649159311524763518717602584297554518036769371896402922220619235751481860605707147733997495873787186150883509804103155084682837406140644347907445143514400049834942169512776448517118880363295151194411666511172568946194228659997162211495433956149588342759358276624055848678355142088842982865271706856164321223292218726941003707906539094574059661184586170320018506927121742094140845520949488695370878408924728558702657731528056399214835939666486026151678469195435545634859723608418199123229699560118905390884552985614597270542167451723937314342957896509823375509023122260152023432464480407694728046511675452297698640436547628215670964394218259524425204465789763388834370176249223885156554137046853985007991182453735546200685798655691691682112708602871543645836910034010387422419416193292342643360046905614301259974509990598706642266880408774646655735225305159569005590499458000⋅t81-375334024822893233905446079687442608067056645957731137565235810258404951430054063257455554643511779550151975520209710728918405594246305254529576264536691673184860791836635343586939041215337229894244423875827136329715576512693540075231748593394021963255683192699349072488960265207069376992898140935724870836464268877564742984026166360574518451554627083154398263836015800321430945063505905448519775339287981035200528616205275447584019392568099173767630583026827540470951922656759818563476612418571664647799855795646620545870680709911039314491100581330065969971098507459037632026747270446104210129976035439987085469818913998799031615185373714606783733557837724246084268599915305921710627985508734553754774429601562968175653626460437226939773597238069395483264687260397767285809391479332395377440502081176675661061792220850125885769543087802186916457033463771886738382480499777508707021790482783366533885041190268348628602922205809284263422386856161477543751739636767270977295383423868624443748456725437742610560107264015942016574140435784777450366063994814941191399814310115080910933114436148374156167430587171907653704553575059340635855964446873621433752493319264459862515111752926524582584862216853486102922197706263342923383908696773373185528733882451081298201939491670538482234534220089898326677156467776290371549601314868039315714987003869724048673109881023956689797025715444532872672626748470027416974345578140143705616585952940721296865438218431390405988832172751213720492545365244693316063421557372654327799813613823153481213889584032967976473217942437363549102866845600001230822307739881428335280855502101266437961527716034269577819675375545772524419632996267795685065509631620861297492834188983076387088527992894311869754298487566010844131277630537848111349876516120091890715182608112455304977411617255001404679309527348012250202850667106290413627575595132098151923944877189942604096158349411076719290765476135100590233060993586080937262156179214962653778628466568811863719798191357778647388124847322054362587934548624153961379755638618785063630418269784963132086660591861957473114661406973659834457613761086737523282571539712804793155794607137316015977229859928830685596963663553993733104859838032606296144978183272297749608540509983894451643046073719733238994888300809932855263071425590661251973609735236548825285110142874565670573571863742209583341959396476811714937224949372810904200072775373923207583421153291387863722467562825087224639829851700418784918417294578970650006959746865315817878645011723930186853058524634452464374624806534009300555903733926795307796259234014546074352749384917037715214905030068869457401137942048260778407783290468733850512590932982250054200392822167641602580973245552405670119149363582473840044276054731341025326973496598277980763559903634355457557270866058673163910206422137677719186471060648122009719573189698146868775334714711092426211792947495102534451023666117122293472161313334219359655241667677629185282302028253289076167874839886439996329195685545091751673863630725747281490183003471257072244299694214114684756411616051154784804179928906182851432858667315656994347077577698497166410818061336096147564198624218885779079269435009914508614591624287907201775423582602428088331148309300105992019085082650886272019426436061950349067059982761010537656415407130947198879298895093255789673698376487329119035975903632827097936292954098164714776580529173020705391228646283490565597046162335781854594639536805026560151751752884893574243716731480068639141057608875912725488144051413630461857019912840645642558024493626576951979003890714747227587900408570388012381322643037545951866073984923656287131294177827744063409255694975989271176175489604984444146529548376657840029582399366951011324309639826907349572595757998581151275193459192320254100912910872141385630295508008156321770139462801014586085583740636428402497458507036244857090967560884584597990676144361944639871804819241565304142723560230249144431942512352735767968275861715236832113597482705278162158966520661413905737904062802081917481545396477998272369154372341066099461198707222602991872353383268476358110778837794546532801197432082188071316713896343767960193265066877363608751382904458836154306720474311852935364203850456694970343030032499614743728972084649246377487080490318076397787062879887234076779609610296860349100273669986648057816935237701695783782777242764662084139079524916865129451697663655279202157731267377530492507477354190974097974408433029659449768875176396085094814970470609769483377253908990651894536848463146845122489059614826402588748663168401572421796845725876034990599111711303076196760997666600999435195912443367209884174712986635681814060893090808313901426885208175728651279721674356825431416429708392497296045038747569564122186101702020207867470294511413565748593726686929114161009733258651732348710853358906186425937324101823135521625933138748146733517810318685717163623979169886012134751933518511598113956676411954837335878728649010970078647500732102321327380234459807475110317255786950060901256464079416718373410363437951398548478066645004615725414190499782768763093715249601183448294302608722039056389007428806610934191939723324819013595280600727269268699902911161626709798039370886118527292790468332459282496450805826387007179963488522310911998625269847497916061306605762090366906006857626941316457090581789052614059676424533820031895946690444103400271619526306297497082200339656949743858310054376462653756572786882181878391150259157261031172206176194334063578288672394260796091073811244199585041769687864306937134412307111253649399580076971633635124970586907686966501298328790524091672231025489203701196780645281167208209206481593774667672053152060132184457818533928761039994567696773356373672283777741719822981716385494196398580635220605405644187274341894720665500⋅t79+19006531979850998921592262120354772046749177390348288427714071511367342488081853459198782220180161597157613108079195905213283561416361829168644438090479183323699385349009436877746036335831203940556042565064282465032721703636984540077374306610062621544823743637544891068521451931066860216424587789232223684844299993592556305059709993474276131231814577369614635722774915866712868765067373654942366424078064198205941605970879424772353576283032453564885131132513571137057942668154769701489581720243853802588179416726003442179790861332737093242446178299681589921923591007582889111310866752108847812434212915285196617018984974213115653240366994499116900450911567732036050914529534425854439559535761292990299265538818953524701349046654730481863928891294136846700173084840967030997511990600904737975225667215388362227528237481407833995159978304675658685114123813741144721079658068478678654479028435141846930078004631502681519245242652750684748334892717411247845015729307048658277265358607758971624440807272239875369034081529219982467352524350388335185349718748158837470200630641409685937386502820112977674866088605748988883469166478641416132270888533556170242785065104459263652866891766621981160345060425004430401672759548655849517309846972132818954616517660684532473778524145217237078141625358446676347830780995795073325842413055661147500303567367359785170704312993087146029730738295340663798101753964223032753180685012321076716172518920986904401462023776741799779490552839299887232311112029912533667081149668829229313910935806921234475274563301290973320444631195153684655467757886711659646925902689118384304154069168346235172536561011505676562323251129783646663983105595546457432797373635928953391065431798982799080438476556821376850274066764786999865500229475479396907924442693221633780565661660837658763740867453136108056132526939909601575585495903818351165997961972801834177434747317242292946962528888588380163220489550655866592935693062131572577342611123832462971051223504207257974526937493729624089906278441555174960618473582718973505737678651254633849531389922484769472610846356283557303131389383367087917269345332370655512539301282014746100402104082339182701779827827695136289724866387030144423770316394056165795007145053728415767514731418479724131806285376590429566469487604943220124852540864350583109913732488059277682937964471327006348637499566513297284985291303434120359112390610045014326505325636621473968230646990415470116394899606887809789896181005636608150273620449476081457137811517197662018611146555086261165134472131187596960048777688799206515378757723862781159767011259393209769782227241457233680107163635869572507243304510266309284213131156737514005542905070828850345981870049729858843920277895564493128097381895058911601472805287732686630555064283061109417943808903158757482102479439656840822824410144583299374528560452205319451195984315101816761969938938515067307759990625161404690256191475575903814653521896626435290375535339792216549675985505624374535814912620001607586805180316080899449910457409835516129883316779841392248642436031486962909270532060872811232161158070361797455705699579496708531781500963256164609137888110554643364857402015674746978973065204135886569715867522156756459629102872853479942505708280095171501308099866631710096245564890010649507427031607381985368226236661366022275998446919510376749277179947914969567484756748553730913150016037559225633998754336775678777765379912653301885816241498845086386760277454947843645905779199428561715096840860873569770249178247509933252663610240473232035759221325912822625919674511198113501219312416140262845922564196200226609705461551032538500969151232425820889214892166074116596159743628111368638681401401023699718046109759062216734242745821382486417490559328730490964243091868984198752824795637451342335033667840539553702345591315207941219111068430255412057784520944447784435912091629510668987226826875377244362637573737510636860475517004649037066138944595446754433868227084325680498663902225318562602783285562954730106048343558427182702583964696080561209611018283337337945121544495692235030452022452708297766805846102177004590751725273595514471395057602713707752916771289369106240934447932956185209259392509877168696249064341830053970743489542150906579873800704904209875348988795109090076711887162097004678642227898484379284005464326606969127753770787945106457189413501237933698252987563086276768662517934942422755114520141008529878197505972038833369478589075739499584120525009875827895057634884421707488514175093122907083430625747764102298024664317097441727032726994868613329506532335066774352081620278839318017149931006051118157381956856394619002016261741636224426969300919762586296970332796094366237338036853553829290809510038132208234150318974287177554530149124362958498513516428525776921611411892371822860808888230539176938945611648912065329422776427956742082772553390114540712462510117480071878045782351518993716888561452279140804830232477715565442309093317621475111123765994644553971687501621745648510019506714763394231715440034383046300251660935416781206921691160018920835236223580706427239841561233696006753688609730129203841158265272485529555292105063812112828906195589643586422521191204142685088892189993079552838160213796266718256661244708331397144770618873666047167803716588498789994933663572446989054566185519093238154538622785882464941518871541937774777980295877131879817491021149717950570221941988653190658093481765062863356648155183745328663384813135498504160993054371550894689305520010557069128179753388215134674885290088199176295978603738939920430361039920816068210695272322405517546162909527960066065034521614409388810666334550134311996321982442078534954893811826315323630919105083677508003545800549842192177203156290320726144210755203858240114200004651411194553817862830455012502946493795336406537500⋅t77-40497884904578707615994549008679629079059892792040647005098201626094421418447041499477500756437236642463243705446580636937073787961465942986015185103780056132416629064332339456918886459718493127141354170288843339451273318404165796445718390054156090146563769548452660736265144472676279463117694472252001184408488882433607876483279980623838338256504901266512288289044203212643104955360792743277817746157269929581863045763346259867071682835170860678534639930467566817200318696655163032999468438196691741501300895628003586272422955216173235284611661153372697623753188984868103438550085908606608564007306752012051835796129336362298502005822568466957880472467085552812460843493247677184208498291809299779494380309558589947500120290887266944427111747267957802322084485160019401615296793863428328559769740737230748855172142344369009541037866429507740722772981528861284547178393219592096074713430546713775841800767977208387795892372856678599147872290670975368509962133766698037156778636344893865493115312745783636569494959241399780093124825201062878150471807442069875687412299314789446305395619498049888118976714092570791302646307025729470067535600198330827850460318502503387399990875970298207372994109482139161899660431404564047733928940664803331538320993529941005131882600696424789423546075566948984648922650119128838257761056165909760048025258997913226278661542873585015421425851375212046692952430694976629252708820236364662575751575340483177900865478410251351595744125919765503403451811539930500945214878199868824720691288718083799662013882388107101589549244648698891808154401243418616731673054812633411824524671023148314368432884120645261992210728068244142305161187721335335457350808651955466512250891945106477932347388848625107024099648687066730577884212318697158361999190639379513074748556030899786784335337820806350284656526351002804604985714027075793191905238346840035074026100024972939276426427963572126586839500996639957833470253239344529695349112469000131194497511404757700588733093846628638946640405578838969625049557378633310200736423488182945560422400516935876599596779261290756133153973258111783043429871967857070554731064500867237844016251315536878577738426192624299783930806956665119862578957994275675737536883461950317626303798114404038071654600191209300125198370872047355325952953951385502739771455256444189200779945046309221828388227739329577519932373430505601952225314530282280540123957275688732169149969088733863455283050100220496812600630828016067539507399562191728231121167705153748505973230859202966258441874635245398140810229572546000716907683038077067659116643655813336343270468433077688053958652486468920315701253037765102332989607337027002509119483937665763747563285384765888213609087787919493965966517604172655312371747062291468302724062347909602994027073437260800023902286705112829099364816876571758152109409561356546611078597311694279416705123969731551872085479956270077700056671609719167797803842069047020316773311279773327145101075097044772220888995585456299185605651253906435763538680810729653959872709214372427907609930216167595901022398611861248616903081531303779042588035904905500216488910141733997755423150666059610943480802198917905795243343859057330803326400933261916137777203134021978119097136305558368910517927127234592832267888970920708553556761753507620401701349085126569755634669366738592817393287215907239528165189180240433723436381131882791600725913821937104121198596268349056602708627089649185149193029950852193068260850035740249143742008211862076112999103542738109002905756625970798584464605082813988319185099466761578364966522635789377650097342759491156301496867146580951091966346799009986424598064181171763559446993048848765787652437892025854237868483373522418255537540896053621546353337449524171960992463857073671366717958877219646183673092189679513129831554162045026784484801923914994972128568303033946657358645414011638895156538409502448395604625895466149302336927641435313163060666831396459382401702273809833271269711518529341021218129705041523752052738427375108402818870577542430410484747218186186849223503086209710942311297221136324836515468475102186826274609389376924877885517384778590275909205042948115899201215926861292955555700919866002214089888372905513422629261318710079905316873496259138045835260503755370992776604176833096013064248616528413764369597447207602684822295405031025226024814728623200398094168250639574656722746838119006641943112881100214412579097424042363675794824446261272273586027283500903158244692601187317260197281919770444091015228088469929779663270164106300065853883994402123632188944365527390202270858486006528745981742915692128898962134752430493456745012809057699374875601003377366869422181232102944986186949294785995589974010950689681709982166153767830059487435408395954725651108831119029369030631155314715848155150796951829387940667253358616723006665194134627726660967334670408049959101946341896594231762565293447691151157947940880877996617248416980482519010891950700121225926539612240696386365405540707465475825507014611889144116401145141418456357384091034043914572174566095456621334815316102443463521345850189185842119705595495099445380297256941333045932796885941267897667915974821551841299495428383733336934537904966732538415050472783552721357863634251430658856953090233273967690823816861812654905715396715332254020566283532532223952130053598118020587136659390666887595502325687073626568526965036985696663987621662536101980107341305479979805654994903996419796147816549993810604768964612388333294556971348139832458241689237827147589187126374141067567715207185924030225368162983502576660715351473686723174030501890252764932670264787793454183145601067632351253573176583587156885628707625779184478273102736003868146054373300556948897771258973975502642040572625579127277801539484967801304905950922730487084140366988950000⋅t75+2510121782164889575754812339245616379457792940020396029755709941643861945708092215473106667178374553798658251567803342535499575311502013611679040619881921720989584554467814201680576893073205419512482798230428435762782618829720654859334360304455220990878729669234939007625923079235634876520409873664887267039996065111826450470900856529115259607183907414970137089278564953977891627649116189085121005030880854188737700773830138894884209301315160684312067020252988957109923808226419380379349443447889801037125495922751231032208008283663594653673066729909546321030551992361236022934619262244602254457890632561459417205572121706430625432206241937332669192973994854964293852409194554289554216519599635801177182252759499000779916846255554612110733289963401744225903036169912582310329132116433645172124897275130758142548919013038963427542130990990104131704691749686280294409758980677044247021761448929221568646270969625090511841830648441169342539675000049585054874973469884904915933049220684906243512672511038330636845492797865403989374231403449364654888373543218049969518748998567826971904138970794900663140149132083613138940970802667005798833357338545599399304962848118996714111691472289030615670573309715613812920331572677913996989533510837518765222560233021364303466818787630893495655605979300069379308162753970645070787222271526598984756768531947506271478069210981450818409057501149864559083925882166849346429306314059577874039728464492586863093262905002573101324924742355405843609517443242797878397704498469423429992356070544047309783582751808084276353426263655906845941852234090127256999155257296801874749132617726492939053293565747396935322888404256186820002897375881828130457698630132012490074175632900740766714112814289404542950911341731356273720026607099558384890593715494944957105059208351133616574708730593746756004217745330578121264586187373432973486207721692316049269719801932672544405789091123238971036800761057910858687011479831922668630895079267602930135081282081603868587254041100303620286679369041096711483127540588131614013807772200753861806823722132526973007005703040627656195016939852004364621237915228686692224160749166664686968213930948491554123403424314564464704382951358184083566617889882073700296379354417848424354912338907645983604249145687382721089690313645400772242291604418444615927488466974444956805247039138250854669684103543268637498272592839993969134018755056993840750591872455390528983046838145554005571206304436243168977293805544169418914216577963337709672022425669217058577204933862578728207353761513687960648126992881728032004137549473357994085648904174501276744668394990991970859608034806810732810678958835564349599650519485639599032596669186356948852090088394890944660288060127867341409731832193171745379314386922911643835741591864907527824564988786162202037554938679996441481500341433105646219490162090168559632075820471278296465325243795546727532196102154581004672503591205948900284320178086360189069470688207658333291667581096443615671958378658495337258802824162000044063297315940709272535067747824055340613101643028826130920953671992676764753495398769751575641424095983474624965017906600486448355411699170984382878403716693485401162100835508328767767150888216194654238172787404435600104766424950528218044765963093432276578388312956332959669937953106435129352131845810121982978551294693083180206261850205931608526124026197395658425725433891498006084790167329627331785666265830017152267532131107518909339985545585714545070348558580964230974337561447526136046943482969269124703568797174729661930636775869864800864345622337888781314977404417189609672114977122206496186122115653367491958549188000031377761470844721265889105986537940819434737804462162222829180788439002779068397424110914239186115225754188877702037232180234330211049141260360670052912662949664112094956316255878355291756236342965143607945401449477922226884447952055183739675674106762717410749335328880294834676471606490787743524099454440154173172988835108338765084512230441685247792840364397068723481187567872312540671657921206492623487125341952017715532995678935202927903421888490068394502044785401166798013583812098434227877953657682318610424835306682762566615719304047238503676821065114422631356649911503479475220201429780792983407288084080628882288586585015608982801589170400518899343596764615890146186652153338064986062006676029576537558204682148884509845494521143989237559990656909162439404561458149533293347232144830104477291917342081412725935231838667604432664414373526978339199728995988417647972865588856228755439964678453586569640881030671325406731212294248241492470388025769670557615112852672381886527911309074472142295441068053918679499766186694960195678692016154172522199570468266856562135909476435119464393450114656548494575385368174514281057316334338261695534886351588313820595164474516853702480026882142619232813357034936717819610028002915313501984979260292842021881483705798684424750061646334650795191484880327691013579709454861893499068431201821222946672810567125859832774757731667184730194748205511488302778516711975252503401351962295184149522744786716095806508420567021342210072923964600527291069030581901640271409597136310836611118779852776207188130804541957333662061928684830551418132290618537276868454025979007488707260162008225867493348133720747283793011438099109339085664203917071406493653160600492412399709379275645812572202353257217797797950121531721704492928592955453774240531999966696261285374401349652673831412361494288987452272258478783366731715137273651295134993011936038592801970569119635504684537543051767002830280191862488950304582700844547268517669238462111603329197302544351794789595899991657119384972642221421217972010347085452618922536844747575913950511573641788012204552140635989659532820970349446673394515836574383592660901570165458338893742529084280239578000⋅t73-2993689601618494634446798443394812092926716235395890333251646963662865878632421418337679100793790855857589632975496098719624010170573549127764226834882079393570558662296556653633360831809346525092198087594508560241668992971808994194876779121273829621920193940622138777883239708825668328672409667975096136627749871375449749103238556242188330055763232838118916824251844547682355378802232438640209500731454647868079057843177762536202208604831079295245742672595753322441852061884580617060341451142538674093034607086946542325811751596676150094680386197064958887432405332988362210867670831632076911338013732488754755504586576795498146813883637281333699973341782065062393743213871242383091463351750752516095176830027109735887096704007764526573654856485446002091623671306963184611900725173487908716277995170486383040987215671655515641317950210404723125434124881366510095892952721952213697572790528256339322783239874564464848956871690986824529586506309818439333114099389894495781637605457552879589239138487993554203208883136090474530229227645275719289011536717185035382328129466399639626260750443905948673534153328554287322721610250495094510450994945842954098054542793905532689952683445639354800135557848698849213595101569491189829975379921246842176918407025569809151939499546682745681008989790733304358424404200119053525589653900981354038510951619924500980673165834125078804333893792083564341001493895734488367168596411058686396479798895799305084106192685429850679490170153274851708036465439477619646433835082960472506445629589374997186473053470580551459046539475275756806230719354441412530820622523885538715015256145243573882079030900986047848581162135546252540399121608474759678696061674176137383586714721135256294463653204483335300257745493685024718134388281344979617654907164460722186070531579173556396153909884431999577917823942144302207834854362175140536272127545010653818655843560446319155659585170542722146496046866743974047237750321085974375828653549636804922655086755098578720585105503191397236812698476923999592813975333150428684945109548848947845440434604805983495383791306369928601057138114393972360579700484880031508856376528578472298334196415002122347090336157260697090010238322328591091765263341271801128038977273015231557956954347413251496744914038835986337926914756175737271731263476872287330684641140929424106494758373963266826962256576574040392993178790675628204628997738797124887082562407413168143063114951933095134967984601432007043892613506998718994731230904651154735776117348617747924219590698422596464217986034705634277835721226545511985285624693674136062360479345594855793163841416766141318680520819057122000095147546238462460383088097122658670631279016179770800661245993660709526198017185731093693727025948979827585930369829999375483273725647709997497057327233910463993389939176602491967350403366812976054291006258211459975887720837386773051503221377426394507639889888199672209819071479334939759574212158291036869710690250273455146323473275984041537098170302713200421161272255001924182116746167729070255620079974237638816847527001723739526102441583783880537851152321370159450665726283504900557206865366719327133705455958507981715457842964332041782520611503416127116863757278106996504064909872920116412229697660629997883593645354047639683658065601109862676665536486003592006838249608374573445819146423861259732387636754649687547252166188077238291451076305069870239854679085779112080187294945235929874732549308097907633405788730529574939373638766929628635847216438339841523715836103396981540382744237414923425554271137745235916546220111507032909896655673117228664312977293350666501865889848624704311871115682889823027706626995449229172612919569863896844909581597772294955861054294595281209513388941286120525974223620575750261179440648276269975856751107740796788964458173562264672367465163092540975150144186879631359089652309937579347926861245936379292513573026041209546580758382063956075835115141185691841534413491429652703683804380621982697391664945781333643451749839504513601096840993743131339201279796880872316180371200881358873634449880355253978859337456309009654139819790739792872116717768733662018125132944088986802216251156951644849297614986751037474203728058415711090706357641395838858921633361234049187426211592194179888103739542604661096156144317158711448649976072395075112390752221235349969787137083172211359576172698233776635410408612471169356275637487215964762514575436984660452825280938524591965794540629732946670352926161569492001171689879006590186893585224615021505425556837581143964362539344184767438542407222884306052012394674471764800325357537556660927463244738759421462078599937872586235999299029925948583838953754516226672656686401566013317681945755860196216959711516827533477009246867648853619962930009710905005424818630917680791994191745496515734117792828398401831360569740571776031020520818246075345259367418842910589270381365097375799994075574595110015609562350958915912560178550999684873103728857749915900747467579395227886941531446317235159858577343064040287791305256380250841273401762694308689887152158348303566741452556066791641936033890517917099579672864776812711661059246070528418784452554496140376485692395457789737176999675144511682050005765629840860479165497405350934748403193570680120351701583238535584721329844535545671884452623598054415089225236791384676054305532867033606838589964746160244340305017684967730069762202830181796505486682652206450793221400109185059732608577396785540475510019546714320585900837786841295157713526613005695729868908681463863466426465735962753329304226493978679917419920404811374529278306900877797345607262625958495590248055536095325729409408488306465162341592526240005726238267708517754512340594257265747445030725109458678624312756494989752075558765228129901033030042060547269843626352714177649383765913660455949000⋅t71+4390477378250803626339907918774599752280349010845105647165532282724767930842955058165265224426361895514177622711514343224036056770309512919599117730433073127396298725165097179206791144524315934469770896604613835209000416256228289015690902997768568569469444655969407004220906700402115463843165676805471724734050603993170106107097188126383939460490373092502130440092100061333372052675467931355239369190787096435336755323682580209742432335934088617604672306183000261401145553656730385404497831715666562629988240056726447248733265709272982441286315495031624907176778629741564034805487327210270770044969409141025608665874557700890046223111115970078614643098712473723856242509762516108248108237007773290585276925251174955103244103397572956430779116283130058082837984983598369784640771573886936653252020429686684451020385291749092691106056372232915677605774179328968109846598184367024724763557806220857123464775326621352852357125999399907405598981694413239034193263670620266186967630859864860568257017079148676484096955453169533466652353802806690506751569816561299720897914807242189953343598370350049549629687821192688935236087508859293421945229252118275902568437304849874043568948996277759663715751525214789561678459382154725984699429737665559693370093530310996753056657190712164096936522527648725213417785245362949892176948702024620230537072299904664481637283006582165766912431746931982598200571269239236563966456068492981853595947010351365375259059608579776882310041962304509264676272072546498219782785521681928420426840605794586376974925048436543058763670747782887230401621872775656514746028180151991868748280210267507575134883849560015484411754478637138930800850900963175244673735189418346113652049485094951128845976582436540929701977587666612224736014311067110106665235934062602902538863857283617541205007480604455501947406486348437085536479439591836222050584849927792865711652767453422110770182835505340872031109381162766173438096595946892657064883017504368938554744984842960597929195826142976240002501652760174445858597029951555806014730853409921041748011384257170415460965875298229465908136095941603108771087366198116129574008420105153217005985515863384549933190013189107420964281222556551923923853464966415506829954583708406862967746099123594128749209303797965331867841705582293554116168156598785458715836397694595564865223647334770022286354289150667001065817682749324123147373868227046874120846469035166387217460759128391402610048681636261208277179629212030032023433024540029874232390251154958805010006743293371019970690858138380956679413132333353917194491637334070534752229388300191571579318726130970431111452065522933164491508214720708734789115186295721767887326792604528331314355319290302034483411680241179604950953972715440127406979648424556689631219500508566014946604861828952772205263492205017704523017307093905494797455693988320321597637735876151223275398383060089515911251129945155772732489544481887744044030722644195375596660714172050187468442927070456280518318792110036058840928678356922818223523951491110632588967757281606594457037801293156176242652697821728215535130122654446015494199064018697557091091246671662592976280591273094163461981257516037943252307945696530851336640954711583134168596687596758250917481606527536568918733922156152763225135036669680947548886803968352792580870953101258539461402209366539508455997568403843314325122656434932054866209902091701261168494974823502643373278798522478790259142659953467890536331410238327246766770180480662757853360735304654557680049467952799099751008732843829473488932640640957946110230921168245955895732241549992766567954244006741690152028110266147809283674979971235769885352889958014269504830325155695474797738886749553064812653800507557378448740271806820101615335843209508078148067976695656996632802942312234273990718537349014247644352038902231436089105258416346893993132655377087988897832432331861653536150845414634719493702675859298754464931857426273666834725345185676537157967488463318741365743386842122721263545706065113052646491257751470841308104072310329339224533977339173513305386922969191742970602146373017824787324298385085690428373155445639737603674326464688831428320774433936463143190583235720513301174643277459734790112101344450113511839781495900190626750681480583341358745207322586166490164596323944071047194410779554921209777035417069829209873166840862183496874465706088364985564838552457844763943882119186077801308391135598120527962809410061835277385378429745370996816117357643761561886484380104185175264343236480468843380746501279146151852713542256257763777519575151811998962460864847977106520644051983157968615837187961150949679708975626212925946827397119410525350268645909968837197992281870048532323756586676913545190286186579580576875765696203719164610358156960645038850493833760651887654810478003516859932880729760162670322268692877530608787911521125879455409166888956070111118351259153688443974604661680124983284341025381817708765148570598215668154818155853206617580923052687955627767405988170033829033625120228984415622625491645969171429667385226193220953190034938543671687941519102681644880207752510399020402438980054442816393131530695766472627297621431574885497461119868482315499079860154526003543422657443061584968272033025959875261666279227809528361856155987153649950091799164231576490555189510747805752253489757104776024461732594223721140342598459654331302994718942523651809491634045888802829356973654088091126112488647041081622721902397124386169836392814868959818740121338420182385360656043544464531172396582598334892930364375992203629049018783620615495643293527580589000708930551819387085299824426619004560834740091275169809238514326316818033474089424895315625353065175368317814511433198567428461722793830562371205617879874370991190651997303430404468715260203138834008462903727679659561445412960923400⋅t69-500286017544868226642279190297001531142496218746614167912399176332369884505792496905389968802447917444485026536055331904251131623925655226230661310425871695757608478273320591075502844544182078339365780114004906892041567923013246967350192451374983815880019653793173074571042870301571488681604205060427301208464444604289414760349971917223100148793599442912073870148410619646927349837001831596718136435719415704449251777263497076995810109877906248199675351240495872147094992726421266230425671874257268122491611518651973315850333622892480395608245406712417647878582119578377482657940903490430546097673951304686281145359319320953503778898781340029725688074544963236699787099315998437970241106545163761486305234482585228881584620084578358918736563382399951732509074054584897460500957578982699303876704555118136345469034946063393865925263634429629491403295542689540950850862028733725797433141105040545754205561697898993334180322871319303644300179981230118406411554123148913015596419218858796366587884780791833060534139418422721244113998492315874422943771910890806821161054579652490688790927153758602561723966366965318390489293287260863883438808018468303049439715340954872111675207728543288534306214497473964937007372288504813406581907680569920859034685698316528366028631468836336211217169810839513626141870216036257515074171806299314048787708209279259173340125749137574376419556312348064581328963496032746290189490662327779845017405985600404526740466875873909759835337889862115998721550907948212449491409376014309633276984974882905463053193171131861524677446577702336888366350769743508734541362443956959534695892321849321986151763566245634686493315846406547585319716903994821747555657126657343411571237541811577398418577672559959784667820831516110643043026019315652763055311069725536963271689030408930380630989539307687493160295727197593748268009792112752639601009997483582757494386569984225167568816443195261174117150146212447158443439780450263552240968048100515190583189736868643929326941586966306889151249125896984888991275472001459815630192791993277551044933545872569263378385988018920996800446014507743509334378774228876059479694423687841438277093114108508670573711543955686943227598288420015145490753040991270954894378738530456893635879367391336179300541232018788283234844349166177245357352511597496655494600488682452240464563308681148212138722012377365618903573326111309603890648588112944097210039658231722481138964232436085825307992838280173272806853630950903135319103365630504068822816236487202716958331183974760805786899465309804564116871087360607502701349571928524171701561019856679699437618515862316783806053063645208391298094389882968614321641944753758412606719145974379379420166105347495711734140177252163123162234727151221266805432229865982537320523974531111789259466748349890825859059264457937585443236983079021649702921870314630345562493378658176182805667774568862014083504461923852717603345835444818877440440307226441953755966607141720501874684429270704562805183187921100360588409286783569228182235239514911106325889677572816065944570378012931561762426526978217282155351301226544460154941990640186975570910912466716625929762805912730941634619812575160379432523079456965308513366409547115831341685966875967582509174816065275365689187339221561527632251350366696809475488868039683527925808709531012585394614022093665395084559975684038433143251226564349320548662099020917012611684949748235026433732787985224787902591426599534678905363314102383272467667701804806627578533607353046545576800494679527990997510087328438294734889326406409579461102309211682459558957322415499927665679542440067416901520281102661478092836749799712357698853528899580142695048303251556954747977388867495530648126538005075573784487402718068201016153358432095080781480679766956569966328029423122342739907185373490142476443520389022314360891052584163468939931326553770879888978324323318616535361508454146347194937026758592987544649318574262736668347253451856765371579674884633187413657433868421227212635457060651130526464912577514708413081040723103293392245339773391735133053869229691917429706021463730178247873242983850856904283731554456397376036743264646888314283207744339364631431905832357205133011746432774597347901121013444501135118397814959001906267506814805833413587452073225861664901645963239440710471944107795549212097770354170698292098731668408621834968744657060883649855648385524578447639438821191860778013083911355981205279628094100618352773853784297453709968161173576437615618864843801041851752643432364804688433807465012791461518527135422562577637775195751518119989624608648479771065206440519831579686158371879611509496797089756262129259468273971194105253502686459099688371979922818700485323237565866769135451902861865795805768757656962037191646103581569606450388504938337606518876548104780035168599328807297601626703222686928775306087879115211258794554091668889560701111183512591536884439746046616801249832843410253818177087651485705982156681548181558532066175809230526879556277674059881700338290336251202289844156226254916459691714296673852261932209531900349385436716879415191026816448802077525103990204024389800544428163931315306957664726272976214315748854974611198684823154990798601545260035434226574430615849682720330259598752616662792278095283618561559871536499500917991642315764905551895107478057522534897571047760244617325942237211403425984596543313029947189425236518094916340458888028293569736540880911261124886470410816227219023971243861698363928148689598187401213384201823853606560435444645311723965825983348929303643759922036290490187836206154956432935275805890007089305518193870852998244266190045608347400912751698092385143263168180334740894248953156253530651753683178145114331985674284617227938305623712056178798743709911906519973034304044687152602031388340084629037276796595614454129609234000⋅t67+207353127826223220079882904310429325872172653040831657385520986707694589865115877650200026574029381643987446572840117800631780512083602265063624170316404576975551587532293828341481029529253679190171037273145634369721695088703441216639085693960722782718199839651317283491490471039171037255744021204419227769476801945473123462128761225040540064133679264459945310910489144410704767760491005688682050729854271541189941476277103079228339043391191411649022915669395675631394328838660138980578273405983924630614361965174287851969159864438809040842392155869477746070575360686616043277455986825648053732837048861549456125839848426365199709952830168657239156319617781327997884753441998482484498807666365034648821643626835595508465118076020712421455878888723102829977724510527631870382983813956321272956623223980581396504177606984279422251643274993604002652944095846461724030501659172379236503862861540560535106263489360535018844367320899841254627193568447006737240646254713293690071299658770785290853315454515984684428461245974949823193728127514123459227248564082555300804442087094883751136372389037205934261670115639544589994918268747607333682471302342980837747747745710018833485079364675635767765580029351064321604427519418512627038553409644206801181466817887668417104585881250770176165991377767171468137190665999406822835850613352180726299354602760384775704667906434605319358225870109265516725020086066047486812890082274945989556080443241470784944504887139870055289420808286082524006467642620815808483771960972156141156153726741065727051545382126367214363989636144424783365855015076003127210405702941934918871945460728436634811480120490934376079196765489737247806616694505866908675557981385408278034816533537498363695423728305126106956359833035949672062006457167094293531720585332380830307535225967690044452736046650454598913848040027423129301675604755065525098249576260333467381679149062275619885710719469849634161849508196948680390527775400360615246081260129683185889402314904391695165743171692779135370834591602662145382631012997167098836283377041822902690846570336935073921324139956474168928798537253504585870495854907153270256909385749385678346057217303419490642427634818461506106984377814821752800866382151794395578522091286115760675164195760376272504846339718833076848622022794161874724724552745939652846691895112904304989100591279897824880252502970949142746092320939426537948453009484835844950324361893876430441211845302025440951359155232989919168649989431085918961956631038617123806062753244064456123446443169587473810057771119782556518018235649320319588593983573864577776306864441393680909652296319428362419575998014005998188981503511403253412491685287743028044978722286241447357113804769663973476631224341802670232172576706217977585218269746946407231624141005086424269023149101699005944593839794707375442445136571062923308919377625394958283805899294923301543768900435489960150155982430516299305373932234161852416098940015255653624345464707126275052897489893901521061652707247376243418071046640141224525889645330525819907526445239192864156839038499838866551251877659431323135179267268390539520836201922036973534204884746698872528127590805120103036441891328030929097501887739505040391668665614312593896369028311066273579668587228955276159957866624475042984867442911260938423935531214942375055198545430516058864531142755489966967014353499213152269890219152950742831883777721010005733631760448214244624137621760079865480662664550100389835778816968660899014788064089593013998023886615213687509803762722280581189097243112419289107835104721474311438225474631435830839859493538038560789309484211380524406633870632036288520653981221192531800607070961189361768316970789069702638626526950897479692075866540353861028497863945533452105039860778944912626513861815142766876597685311219727354606340490471132769686019500356270901854968579709824712282460676265950475635530796247187134511414714882781620973042905732823766225728054137180079174174315268228172662711196575881274931189042824928493906846895107946526981891257163629655331601114013411391933377905260348816268652063999213624879771437867096046956368599247925241034612811993003345055862169650383336557584086012345244647731493666564896545086472255902702973873663510110969402480897653781530858109389010838022128908221602215246169635397638595633533104370514559701444220399935474492751183614597232409096840632289089539780340677626455247770321253072659929744214573252542052545499882813574822540536539633906099684437432624827662375016694227883802367334973723957291343140248833167922712646500375719866839795856122480218282916442897424734858825629396795765916397173743561558809404887735409338855688913439692624719311781553693949869929665832144560224021416403628392158850076849872794114229636398901205383719252362466817898260347034371068205310384442027360664789639900787769405480711429550151536258802083253369207645084983736257036682451770539637872514520365310497676642028263618744385634630697937127264732955654275149829183115503127767485315854565553630708805065642187891196995704088556091875105690819257609824343802354233420876484721326288519703351542865077788621509249578146612274784172080219439249562564507765764615166771184646713691420520042345293466531036700386926018295064667400797923792981356461145171448880595362724011807344512334036662732815252035082184829064722516781589545660281959377564356693510001662476836695546399165211870537545398606700730883711034932457881191080001946045671971665913972758639260033092219109608223293000892455617478755463215014889262743100916305917914441102223576388331874504424602333069017499634294877998732514090086204426847615331073866430999129416272638913881516158321901261308750408506369175599063427665323971009716525779967848098876942413894230601352175964331664073858197549184823332033152482750026169737410112383582782370586000⋅t65-507794811499171948108273750092495230263809838125673741795664854383280479539009986063683791371706886970950438161984083565650098503289188272446246384507653310781682031885909487113300423603426657025672884631741369628692321289485349637709981453465792503211947143937847583462882619218035959955958128860895706552697315648667355528131908442522654492530712227085275451472349282443010694054870688494186215889084259508416161370092333590610527839775456348372413743694946912974599652958543811220635166208175717407953081018607537739765431365746144666477428319629718140747596249047158152462356197321910166824506372304722767971163399301660848225022314932310693533903679871785660827981583943028670812370572747007846924688542312578822984747521981519580168518596845540390483976000509083645165528258150143280346671816942350302047683026057203598217143975024877848334640682556107991986616419887970123402147323738852340567403233287850872980560412905958379900963731548210833066137332630050728567802185459616125211512542222046319203354419411160602705820358189721062397748898311203941671721646081570047760339249556615247357213690434406805999051598987758942646803752312824316940199152059183543758713121137573842330507603352680109369466467634739247764036083083997761448845597484975809693656879354898983566287248841015789109243639788623751780793671912711521811109501131360671460145917117880171219469913245983901453094644033192973341960476695648562010429026042937554972690169255532408283270904079308582167073861402111313880052340179041449953711370305053988043251432167985119823897980795787696122525788357805375297781122758051979844732893414021463127819650113971571001430589797092461254890908298272457044099400182814769676996821174744162877078315075968206961441597517773637686407479564529492250012466147227647658665242632643466135522600562783628284168544574292121480232925942616258241872420678263249615283090159335191352332032270065227828445704044514031769411348963251895047274570567279161394272770669800491294426742649583348404188508493410003201247969150932104227323408880380879790254815383535055677909532658484740220100723136583191497799043006957496533973540721452315035425580238187184282990285655374036476098605981220169483084901960338670883693210703777305800196096692580384473397364517875453614489050244814754423095155786327154325033373937026481732858952203679032115727416899526999972662089011307093446055922012981051245959141246205566817303636313445131947395445837339450150320816272700287970590599709209752164122577662032981703649964811449337554809401886071379692803763513415102917962847973692989046303083411709373167810047481871209943593344418456141622617448922595602173212043422604778230933927319182291017677102099952983689098587626646970534320385419725226239151201627791258937637815046523941067166887686752886088672376652147490379207634921322204568066631045044732196086927247149322560675338855174184456686923806902934663585516089305266231921839226362555938093752992520798581674408596693547893580612416082533011753423315384913585509006159014666758828871127474029210080314172115171605721829598939176914632622473357910704887800347290990366324726632986329200304276025911585178128307070692994252158677724792270415336064160748727386027541836955088044585850518049298881624294087903445961472949021724785976106896218986962446641687681542410437838957021077274097596186303561934039945352745678247446683231125470205844653955786844802603288137568913329013871338434105138601321069074910004651718555113754872391353147486574262424818407637085388403979714243903660258583179444670473838424323519918854164073565268077925194775577891344201032211337619381514636456367295804645097850250473024265906581308971295955832995669923234163399869821032540550574954775916766446905855924894787356968460335327685312981596408606395072110516737804191701543464884670807988354784058384372158115269858854061816106147927686510675804116709127791929254989027267527234341098927277988020704923089234277263198860596005884806844445604918351639346164585423351278170007709051454131913852162818900683766601027279826439844340918533128291483028290087447547106242493763711057110754664810948321617095189554780800235237110973560821414080637739531425519659569923023560899681508925273481799757305272681366509376857927113778630965475397464733401924305173455194077265499140288324403664546361780654663666948819133217680228617266809665240216526357769931014982696241390972580253932654816031735606348865385911812522168883839151679302963980768212351527559087800455037430535268057416204394482797770835398045609890969693006631291423072955594939579326701404915933157897513549329386267296915196313820198647822324909978956467880466583134428578528138673150922431602285309523623588730541514498170182283756555697207405728526926630082636194440810739008500205092884266104118465634355290173937012201447591568352075648918453444506764954155748010924561650722303783965015900154310141478060887035787152049859808697333672648342475376756867267720755367605083328395753127140684244916441009785139893584550149104855139132667826496551651879661365907110961307869894399766781223552677343645645363241907574385264475220250303284034229511134693780576633937668231011607332066994110040167398022634094920189702413279337907472449464674775990109512311219040660943579208728760442300396388692317176667657041270193977043251859597647593199083709933959374357582966487674639145741952072574744970538138050328350750984152275150149007209896608379915727122042702926399939709759499366676760768695367209196552151439143097646550356875595257705620066373723497601893668825918141684968001500361950441936762803348794736522087386350725782691011214142721350083215110616295834144273577879706218160668099505294347670985721943905727585986884709894391068731402805685393095288260250385414070114209923750538794152844082453045471550863309125⋅t63+3610048432696809670701446656046706394045567750810939193698120616160202348408276318403813070788789158110473794694378414941566223723782210320497535625824919525440533213968591981872379590284194239058808357879673243041558464849758098512606487076787423280894690728315166883774231924227194582130926232026695319020896166299256466818862075173703700508373905239687948297543972429014386472241112191277277651717613112387613448723565920068939211557112604112973047953437843238109387310607725981164884987475855247427132946570659673774626439683296195303747980303901860360795892194430312422830718269914064903887450981595454065853620502919753599583269426473986633668397869572658053575890996340234109927125097590453830357083116221371160343336269047360893596902248438170443306214841540186387887010312734435689308253096991741721067459593293214893898141968500840782673347059734837496949358188377992129644044067410557920295592200867005550092808747730252102324434990456086046130130979959884855401436266222928475748524260155977057900291296406658947594531967579393969214368623278193639762904560688528273369807803676090219240829014172163802352551591892435268154337685265482729451653120414972375327643061730921242955218597510023246635209128427946999028962001703411506441354044458596165435175769137610178348688756576722351845757875022958300179921867696418247788061989868917543481836184161913998427282883679979415445997333466895138090172095498952895736814056802195623148543897912211768143508145788974080038585349254453985840123347419736211358117265913983532128549430335591558136175112836706792651405638443412368069600977791874063442413216524636322410862200014445183146045983776660076162142042919622922588182439607421934783945845511466489390542116768791684575915176467354603455566650656484771451777951216210339214562087560307558308688930068789828128705968743354440752323238191893115567567139759093355384006674597202360350609183234311929410905858435745820164123739819775247687287949855481418421816863255764620693554013186683748996716349734544399190401942641527006139561951794183200556893939857694508899222943103569046814453078880539684793838050675147198727122722522776071577114226422540879852679163356839220731160767394573709570128324179432223521745246765877220614648406264258983166236872098396371017258149814165032542205510808249208352632448116579704855036847111132819565538093886784445477072035878293049830033514561632039880047334181928387705430358575947602641480805352021651519788257874527342337548646027348467648345086409731601540362218839993982296223759605705382155462433059083209569342493283099921307577426024782128382558458730983729354248131184814479930767781641324288270530505478386767491312710795246535136362522768793025661541253424579161544686738651178529604133586850272157128313870938295947957945806147324673690672596349113219970461184528829673907895207637990624792242763303144478854403749425400681011718931969488874513095128393456540169209419545087716348393686434150408612184817403485572562832538871777449494463995250340372781907292248851497615847489584133704300168849763439609278479575715845444493648606087801641254057902359856211794812195861129448583553058747701566960444610923099725439616493062057987557092992430057411220536688494090525416051170032033568751572157116029895310335350071137409771280700504495477774863207472064394028442012342626104488815710588454889515516202143294431280191550578262623834128643617076414403033761748746977788301106918235546984704147681577350784910040681975708069616407469641246546397116122641362643917608770299034620269094041480555427899508662968164401294462941964592343501419289388747096644192435480471190985605968684428763829538440513510388084721259027089480095341625911547577539954353180889679866913028661636909313496558725623905143770429733261961064273292446947389700610346939033609487559946519392765075719925604588110294119376053007132562924722410458585198176718350210267570814227415224770722414818188760444496336161051279936073724878330342218354726378062522410504717912081429358370187749879626086275213158754405955721490821922273003358554854875417715679648357980715712339673799235012462017217905684694723828101295755145169035058022152895559823642822603026116633161545450847381877858275758293215233715541140977954061491206507321270924033579621052359765657893522437892520561663619237874721224765012634456888703947062085962350542212252238051797065635623154110936678206411981021381559476938065157043282186370563644247832826125316636071161669167387116604567324277386934876246101134833455294777408398303410580629421475298667453322089388372238204922413733015999303099139073082589157847448350815617497488158256186231578683586944644734580116039763213603187382641516243265612600452823094986838322570322946895107069702588172545253323401567266013565225404377183645161983199688396791232864000850479901280690845369804277391393565828168683778006565069190400832307442989430227126738918475009173329712083438099673536953565455479551119982508081935406801250002750811505592294804292799550923368867599238806165690678295222692166208533710305467825031479944791412223927792329142915897870983135593392749971515464224098455857653663459506017715021236174753030474303666373263998150074741563095058208098413254304016862293903362647851270190912644752850905601840352625942421402843475820821597361230214152860895746321973451978295435395651622982966894889080931104522669563374874419504636503563185109084876928447517890054119826491379989330529143563684417161677942188580635413049326353841696018609391211375976008500755500109994125271409317145227053315351858097646546722597915349381396290547368772332853760105025337163702007480055812503613014636714282263977454679574547047512787330360489074895463635992889968818735070342221321612211946669557572456530853400406217919531887705498039710037518508023657179924232012992480003757462451425⋅t61-1185834192050581031158790790161068902241580717204092425546568064472961804807089905070733425660871017361227682654271097230026915022135336986702050440982064760657181982964947423742845789215992579951228186877922973139092713025564446410719925195719228034058306316850752256540699094047550459207798827905597036753798069158751931284275004856070538772811166081825386101282259377071035838925103885674893135091641092950585938229096528590148801922253895725412707747695153754610803233244131075537213010801494943581620976489757860250573708050258619148742444680451206451604425572484619083470598873330332315234320700998954276968848803747720814192786777639393280907562179934206829478141767036314187548092608674379002011351446962472285341055300399436334180373712901451838708170913989974500495578065162698633111464598201434784216682731090647421922807343279743984989059677292191192790788583706347257521652662255808899198987252505477261189769641579525426428233619190022922973675272757423109358812587028796194121328870517507261309258064528188130193831810370702320806215563706585641123439674089990674175930149905558128421001103097775764275711197321832461590980676200930939510224411611402649151787151695110987488001315776357745808731640119569723945436069043807104810950736248661857895813380913574037789950028035368243906490452208984042312554889687518759307238502591324131517554276188763021962313172283035643121171479825709899436010214964743647774287433094104374856681803899112782223442283783307676375635326981843367244390967747481469818218624217231757380719190308380219681475395164674173145287837943981195245673995121252434585088066780422345279959096746160659748254322641250533093096252573639183805941911869723600982205528561223955239059723407891994444303381617675617373202548850874678761368633870254967955085057622955374367698591994692939094295262541236666400934589964364489655002057730374567343168653968439011042122122424693929058147332506389080653278105529642329153564978234413747765012328997740327969242137195633300414259945835138139744053331829702181806878946109287599121907597431006357998765214704650536400924327266039837869446398904375433133998479956947739283004898132459801417164973455096305337797409344055523266011378905383476496467071026656345617848495603472678005151025948334431513952106539909220126313253431599008190193086235720779165433067711019630695861403957137598313964880603944798023568501267672261192735599639127305539320098688743971078311872441782092024506039205385273539246724170284866422389929880427625558240664136871812969806281020731551259980973186576189665495663384583016383466297562217853169792289161387460839089702929403880517473064278334708839465166892417312411663536670564221361489281877413233448978597029617322979754659772106457384295742553009536530618510191963795236717238068526140567288566041774234969724192329285243682345892957842106936126675789211455345726312685451476078141291240596187877057164682609247715012998569910578160411976635397380141449803759446935665801271442323741973246105182841186703799765437167514175059172336879058652600736846407535381109245051303814682611811213520949808996873684794234059980306255827069531512599532857892059434579958305670725550047177285780214760313682700709313607310270514030727600879431812244107653362526155357540794524622786683148085438568438941913255601412239966403271382495064794515389611198819985763035395389831797479826404851062255438773234188480344331403032281649744448079796165225344593864111440817642918612983404999038951886662806178563722123610522329908080570809550721083057404020411179339679782481204061260434751987720090909164275803552832298036390993638043117614638207815918713715760251208121485531019244293221466085375341493507063498539698342613758473141582316797579124811075246045823455910782967883677402052404338548476891451688876556205276824896236055180653008044710338330345232918775260566862463229166604174728881195366392253288889219424979873783209250554146351087800741323186486459487361242821586273926736193947026242040093503022449121806964916906118038064707202343175558822241585538125838891526280817185023369644805759933917155663115903337976795638340976159157611086847297977212415091431995541947502967028901848470930025866766273094871663283000695913554087915577347652778654490930176260533040150088728608142828220751744795884282001531162338348531232642673896440978559244158139811456195054063951750931203307307360420977469564264306387343250969133062482079476874103974861322671790030558489721626919148918790051231962628959741812205384880230221970139070474509513028385718876920250746656228676007662816664607019016073852385645858082245321662803116987344824742026837787544922934975150483660441085415895662878173974680115844511082174872264710561236537124420091188070108976468283904877762638797657565537847501804993174037082895782520783955633091187611430553607434132894807153590672298507079167266526961846733341461051619133408597725390875309316529274307839558849047601001762828543182806663525505315477339737862771234867862677936577515484705167121192584287592746550211343766476404168799131161977302443720595565300671673811212138412924069401153956721974378992970220803351506127264097320356887168431418624203587010598101609331821498644501303033186373212490155138368384528387058513459717368678450217155174009810736544527645249805711568125637441833686302158617214947440640028816711357367419400662715885248658656858728756010311287949455360899309306265570495192634456563415229257980762088214448942632869080158530788719253663608588840479415481536195905200207915008556322900661885950046950573872565940985746567992895676885902018936927631481205748366917717844700740880625470423626127197806502713329693408235440196585210965701622260000467379145940913338272909536832369041801322801501137249764550920241368862796461966314149679693476303573634423627238359350092797807703000⋅t59+621045778967744381534289710029122630793024479711808263119923393288105202280758548573836122112628305870216376426300023694475942425573074743190643050467086110877870350822926717593393218877330749408313139974516446208002575900059247638132495115334036729323934016068161138047126256777633672769045631053671309477581499848473957127475502848830903881295774175145160538939673924795949879908309624741549050594766628730029924895012311986618780309346072280132579699787099519939734092396824890120033606276095031134984425297244869661177733940443335313470023350944011806401573466706442895808197444465763291301723416085198689902388514196354450011335968996374863543093699838176666404708435553399382373925356387398042326141565199665383027761013835888784764341106954407259486321867515120890467781738637808203274456214133258592708876665072738472301704581386869981114811036573965391730170332795067151892960341698219947838025268190456442940221030121893579739982076242446429303229455698338895312572750970069728364471636395567832205330622479415375813099508048126985162020751994788733035205888738665372729458867588587504585384466878773342960017439288432139813764636072622095590519180500358832794202000506788110049678795781042747521459503748969758716858463170481316436477777112118507591179255296881740256102705972641829735511969060285744215174620658255533106544041872220508469175647904030765735257663289287991423392338712225361658420613406732479126001429448137774488799666212355445814285106736564630124057125960467028468445845608445776633120970937512027836201378176731159268509696183897107984651181135650040272574439846466550051640498992872523839490394072518877213325462136449948084982717390810168593224219087645464242923057695860618992013684017269790404387318225598421322616388411117470410515444940418678233207989698682401785899318381397055961606706203079493193437352939531470116875990517353651150702776555311468553144018479392629859660142358256854046610760827585082787421309576006571321811922359993880711851308200682497941770741846888194864505858660864948251897126402237594385639048051408093604051239102874454235148833458546905940853730609059596887042599565460278942231458539217131756406476632753015796184040156256133716030915557525180634445608874342624074944387543235540190028671802420175402731650157037641103845737197842196930574883856640854420177847358195877186695313946467445349798975068206945150433519803100550459866491493415096858232064091534448908252491376433637237209227598954140601035526322955876248069432383421848144200791608296599814621725829105571721569441011180236794270404806648704764636544930518327266355003391896551220509468960145183623296441843919895174648815912500202804805062009189161369213449268723795387755154483030083499267731524039869296114752718831544605770743895509820161023334437963588017271239092328328808956823416552639336650644734101779004190371896844466527702282062421340188060322159350583865475319213450003202349577143492827801939678901931236893829104632070958390922259191138352419396620271852322559206603893139733700774016556114845529351899873090044257079534916360128599129296207481960036882111937749807764585097472203382807052055080245526883183126264086280369501998042774733697922887683354877299752022107093007181540961430240952391606243284863526397570823595155850918547830130708574827212022944238354325098401089480502504604562751046222529048296455606999042026105653928761786455452135961251020255118121030747617519918741969203991232225099167630615262077165003456418343833520575318235230300803544469320677001867225372925389009945147742174167239265790334448248353763528301379104614785630995806845150236243821831414194719079461057754763818762295169409618177605284890813299399716602930937493572230885933722255229826407785185089318160731838329790172629443285294778230967734641420059561786536039208755523289774227653758012115504336118449161362265813897227378469228613577261512045479231309457897121811949440368980177238701536890792001202927371440565679623497465625407641818253046358005192850287041109943630004921336347941756219141458600642935847626691616561171253970037310170023959322290463003116456972437146877793955016789848581874669932402582124263813985494235686372168213339940213502522042911988810371596924399215919781207631697045207681192878726718472373449597885922772984731022719282084255318548625367923097579892685406321384114783077088358157976790036519256429549079292126932358400842682141322169160294371971590176066905780821041460456280046888341251006243765103161341092184791775536258280072927043183912754263033660684797452902935109910764354932884564566934758225109825073147901731021590055551505020732289556414270905884249619675442836907796863696807103245295145673045901408918840769796081317381335506893414004996763371222387948182975996108082256040188077294059180441063003562071840494622741302199778523653069665898896020860462753414009299668922207914003445989690091233629400463853817173483601866582631632670147963544581016263078621955375400198791176786248581292536685705792595819548453989246261116552537975125762498910386870005066360578412737221886018883106265523242700531678149336873301501948207043308399427115112161454878025307972111867408178851196499862304674161136639781985206300683045498597575863780116841767666874818390782899637007761156199891718692007589212031573125191000437544008630076463263297570752405112647268159387598691152795586306602696677411973430439270381741084764721054440940155423996763010747013508035396319132906701132037137717258311718005498818942643036727210663265033248324135940065040203088091518531568013269623530771623865353295213680466373691570597071173503576992264396805514444182063466899434935598276006750320755488303509157193631228677791268147839412507434276582001065680129424168976521227429615419532246298322589361736872618076448200217408312724259509266351741167419023565122815000⋅t57-1341101544717313132942404416184832280809434539241112443603774486099199503156857688560596759489457463891354404441318229982821120028308939204896552519679687617536278787735846627263518455182177354554196192606897880051611070522124629447377705431290279214251932997790080577448879325167440836381279641059527447424885884542250509238016459935419494606947896975140933345801521319610067509267147091110252402405677712080544631841056929009021193588096705954608262505839825194737541987225727994513444386333280512956597777236517827282350116164764102141249540001406460656650627918674969702104664659271937030986368660157420106994045657321390809586401107084936146873567344915044186156614712898742573082928405692981650391486970266377649362392539963526131873410894532058697788481444186979993211285057708385325300728333955604722392906094272775455020922910645664837151847947056789999936126550262886642648933580398010607083945830399805823604202256051455175457398945304798257526371237080087905447116776023734945115891268768313513391613500438242700348437477171543490663263422585074001296662017279418524286413686138149241599202873523519326103696833956720250188474329302145909076251683736858378027540780203366874186085697586212837442198611467203593840401198869510850936518319491872290077369781862871880321032092234445430744662650914115073829343736272878153557417850215186453099639785055341809254701924189610690071528650654828003421951247618199497883754350435717765932940597044624943800994025502950177790452677506415788526663547321891463902085096136509503161369778737379286190936053248056111504399015115330462782795277889064267512120822351639717714728631660292406181176430792243578222908831825138267804062040695220685649648844528459649789993985120256546040950849982827545634023192984688691410245062014098095647861646207105393972305336685891733259887901116444674416572213342414014360275529474844668401001437981106589478811054828411924269277641610862864977429382925341581625605993777630398889342341860709561702356193902469523320474377138201561909862527699760306126741614687535927006613525749824012460839733875069994632804308057929371948463613707572359038913933378416594618361135849432948882254670692855703649555079091145478128679657572662555786259594002849733033509929749981421282892144595514783904945618053417800590491791477293630975173897671391392687446949476910620558412109989154877011503442441666256598558766710671157379805563484531369291380919965175204245675208162460481503116653499003034867306497710214690862515947261177342972080326580088409518446649809752465563956888102582165245969426711529545489254966050288479964989391594962346442877529780988597850542609319335558415884729008332053099319836140808831012787925393100452415382108847640669929319253473980450087124306506395054407853765294898234358864483207853330785333934966207755172454238552806577126098838419386458163134853848796271662533140358173459643515153088841002608262727662957760712696028168525571201800383200138698605656511544956356850598462926136915024888240046325410551142455412532709676753970356562140420676214624226530374191414887701500486075967977293371737262923871457761598110797757078222000207068592206327756113774760452516924804672085465029785292042687508645684293635687996923086321166319369893256553702494460141243697726149815483262519288378100854180537384354715507888725900302640994753995304685047101685325021078943767015434789205871377652075699102447444568113236957697810225258428455654102376786087096355696473974304524272249412907972087662538459777456934095190515044613629221524018834380254669827696388217256896421986292344091358568062461600116525589643421940766247486519529019095718262235954205873290110562474351899567258696614284648883199013133730191300502715245224911307463101839541957638489961617190336252952236008387096746772255863014235097891762238809360053487420142902689865925257327674294232383072283377703866968335569594155936959809992094442902065565296917959543990740190947372943335982859269472268787464757171585782906189315808995677770831240389586484666677999781038417825032333244119727919893295342749075075328233721894583918385199259836304407658446908999830890187400683739360648130007985954187915391863482602136140375715088355346025984920339742845580448180149553412149237012058951852927544054407418983450698957793175680536538654452087663716636721515404435686787241809714717229613114128413446579084658858757703305609499745708273844669704218681053738240494699910025961582033990452843158071008801695512194605650982485308965382614797963458920778357834258474673058874754877642492237255303625394484528438221559241447781297267473314778276654344178590303504847956444627465730261728103168559803747607882733470846974231853556020334281356277428877133012539499599300770664523951963864466853293218451437052782661944714508197146853396849894137197829854519548039562605525059770285792708506591781989848379406796669185887179286057269283460390427884110840608520987336964925368284002184271665709105095396241348839010474618726663671750773656375261460353343031056829144879605735949244024010789492730678866213297826639168733482201215198122299541914800275569556196267080106764763590647223514579042511173352884993153575926691211671707372694134518741377070237013152622465653308709931457394266234551815412169202109609774029017639126275233201402726281956532120333195776177681569814858665837019805110479694327642088670325574047659443509136989738277222123175643061808045697082694597784763208676824798192228972560646756156831798164353404130898280612920027107756635463339564420827312181214616885408013413583720389213427157388546222607821302156735227808538246254048843099236110956557075426567291108780444646641918499080783095899087194102363450343113337742152283587505947372427368907609657806470779810584283955813151588681811040874504046797745178226739564885373181773463035409863026777500⋅t55+2155554729796466737372841972451416449155793166230421050119544027829909810453725191044556227332152056935586062718266305732738197946062109567383163237827117537213647228403984323936604568142594917784815810231582450350364628707581824635349687809619749872361342793696057354788086885972485422562561222645732307580713438422925290628995581614284685770730236796702712860590412018900598130392707152136215881610279628520623008625963128514016791158595426317036334139509006794691199676493346132694997571302016251058437967628635731275173219055928153415945082470410053192416144830320897744029808589295585519308679126664545458780664845557413455943779707231453565683681212551006215308873033755001579502337730646958841760212052779412649479139288840398664233040562948147382656536940183071236607250500945614630975460482231998679326168678228547830982355589689499721223553624536810018308678064892387910422694412052177369310910881837915125915696672725272069323938716155793767675039232870798723573343556277214893345859426298727036526123917867128898478889697514137948599406355817742769546769729195496945104747848868138256098370688414995823791334994357670372303104272345587692695210349181147646389135813132143194062223388428195520064129531236191493791882633454416648829558790901754042969117786137847700992412865686594303940170107087246529448935727815845050438042350905087486196347481952265467048285082493819226555201850957094895373426187450605585619855409242357663561810549936199405711812436187855792334836734936320495430656951879684235678686483854399252876317604965038487393515769674127128053771498838974921097046671827453761744654829969472023155648091287189068175322303363649690089613964195990002254786528710528664490967154136383304413667918413579811513603505548172738069173903204547344696906184477520467674292019041857650728655806697095375275246371449182093865829400246563244471079734355776441917814611733003958842029904007031826819947821103520275369243536909512332652678591789897684200569252127264888035449778014719358753735070586207663324527238956837252830421980486110833039999399509653897639422790621821477671559854097694634715953024538690895144799552029661975904499101220569995667097482934952354762631746995159649601584032320684295913265740585739895733895930103205395154992344435923404129349885301172407457015893464470141552875116949012506629706703781335664122857461509271313858893302621051521783089776949081145088768918466374458093895611505717195977757961224116964213812698748129055198221632896499041202294624324192968983270345775569772762239710812841103308744428037207488952175492181737020103748681619240270026403473773942437714146229684336080554668649001206535487506825205380497371515624765515489168188994205030923466306330198502256638653034177597495288679256417365063640321719209723537100661140429671712488589644782453257343060684433848637315130256015086253372910855475393024831619125325666182774994853000031534667742476035408123748067256006642880104608931962811602645562040551321637540226864742621401510867874693809831453023847198969430227545210310949403547314564736541762775499757442948790478810771582127503986779644368859872302981022540889151039533737032233059359222679113885399482907084035831699202569935223535497175271494045023467580712971683097420122209140130599782954825981741804239722940829420821803029599685253400845946271679469447901599865635238985924974430964748955389963009118783026930098702072279252768405880916870115766184668522211970147159653485664444413288105706924875917313490236146809392337007961701015298947533301847297697395278884198132147166449064891456202846372071905542957479331755770910444316686463132648126079164205923406331931984243117898893087923062949301036057856122304402408231010011177062962966583200930412998439015608973477550677529031196497205799804116375365712872060305371666601457377527921294760689097915707609087157578756668421763667911101082137083356948599875740795636250116839244779028647541966118855129107415575260794688773988466979736510490692065687077271401004437192340591222540889454439503384102255326607374191203275519506153759783700002943715246860008963647052134311438889721235446424413685629790032126799645131506167703852424375467778719993233959145910960121929620483929240424335742938718642123331066549817267367642390483511662137061719724547464197866245113397630804263974572095469853625746803885348859639445149922126517925232296151986554308665013300201152383748932688766245006713973798716359009355927933679301955121861962220227476262511598231580495918064762720147331981217753461844032745702583417347725675621297588296814587817005971389403955742554316513666935896382100162811628202142253476644097430161079766420734857873357140630061262622813747137376125708383431424461491588773278560218171331472502282217368901583717383293043993233282892269283172748132407113967883066797458364799707799885209593192376474191014874357755812135299452381675787033348369661085481642994127605696815100641046705033769884213643535454955153614460843562846926998551885118625383243054478616862303454260446829850150600884088217985936828345792283877967861242535503916162536118094108878426685674057325963436192300787547256093477868627858472576084489155149903452111432917096755616651435794162625992671846964595882304200999132951744638631372128412627636767272400142241570542083189214699655020352102738401766321765077370402042349857509188630793366555663022671800193451477536457967479647672552463501438856807535670745211352662516896329239609019220834302372369477821771785359907140951778406976118982148056191891492919281727548099948949919255111331780150535535077020615713047803196420261566313821251240033883661607318407427245589382524250473153786984982962212810466522412950431964440711374561877735834904503847971959862079377862794733253359513010038748750504848537403300426333667790382096578780148831874637018759976996672308500⋅t53-1238769403469842980831888615799162944590939271481170298186855512239767897368184651732117888790463971719021751301081401672240940196744297504422831680826721003489773630114137943523103261264667615816159931628002181873035238149377767348434554923397377600565460241475033645637692900392290258422078573679732261086997044431507259090668611882450616412315130516870182904212928808384990803440109880303772209894013580082186774361431578133936110740754848433008130550343173291926398183098070955037461712503340776189288623205655587916994110801105384917065945294094644480351080986855347376446921488876085957308686397608397564346208165422144293751557902403183131923532477750788743691997102786318465288808744945586437395473862064735257901288317380337560469200591725301790238507299326932725466266972522205840107602220710864133719462745943430108403045687363579973601578812381662867886880919756087470954015384789790903337157416444859151223711707095825819199686237001832099156741988261227986635396415782287107198106071830189745762670715702849868082346635586208174770477036145277400875744508390967809798838446797276674488634669246360594635215907497927441006881801628920617157115207611975074742225368940967733773911973130955913980666494535352028745801541857834958288645692837164522237101401615631630078046055323311336308126675068500225790838962334119864220775014247106206864375192432510666525181754961517360810590821413351553676633944128508330038100380491757873604301151448307769516583547387226952301725805688029818243169627370941409416314429076088690467221742302355243844836770159193650226004044414287920628337996821136334116458234365193373047935748459273078928516967650014317249847804359958149074689205348609711845596380336308528033755249713029166042612453238729911996620741429823704684924290196973866203717365093236069682098830488547858702392395271792181560624820977025918468544202308403679313813012241575511494541965155677915104383331198064585793298101364351996486593579325959785245231065316854088023933474701275236510575088275130785371580592110094507783398856901653095167565135411250062089869165608550619825976420029699075428172155237363703215979179577115817887906695648555776241510078238493626829350479478017055785583544624786732097008116730881150710854089792957956650917300476150157454428211203861533537329953257380943961497487423707014073090300019146584152488867295336107782131038877297835717763694415628737593540321405044674043305216555420886856455597280060360363258253720346986152441055012523010718224950801199053462505652740202950883904372624364172851013743870849065524422972258831600176006206461426817691717403963528853043446008748143223234858101638149874573785687914645755066468352131365379357718496133963375405406790718021516146727294316972713193632154436177225807531067272271604335795491825914286835026629902774012973752673298327967911131662316583101165013616593257343326833413992320054059618951030454683580074422919154129573064884838460945035928103953689920275605559931834492031225907037981367919193957165876393884897621040226082924867620387220011964580401370033138550622339457256984369839828762649344587310500534806633433900895994314791860551446115610979579409373990876157846639010308771549950370108014214015350338086923991487930699172284611881661618929219237465566387071603001506070077259278759226414218475975933128914225110282708707652662866524020208458725352328887844104879279993958063896496920196805334241285670064672463550719291811132636085606227431194929754999559566826614013025577088479620646085386269188862840324489092861283548837855793900409678974307223322818638878429165393116861054639261888477828326538995373138136317690395185243537942642373232583845338153861393743015443473058312432891446429012946331241405495498250148999528871551877704617300302999411614769567390203285604708603399142075390494092770618970834065669102579286787781135810190864837775134578706057500029407690411299858716839768139436894639447882448374423368322442037117216027529872430578539805516710874251832073820118733107443000390333937811188815534919789652001635785272003477120870719730645286684626533825671539635951714425565409841538480453043457576719662648467482616592586197250188844922139538104781911389247610717874621734704337132191679885951516606412271552602634835177316451165466057473084940002502586022116556306483643045704184118886987533948850121377825211384526318119814774817576340209671403243224109684453911838293536954191895153250390854333860707381955147809981849865839745943649685391801571402126992307063009994790769063617518522757758799443500848111218698219638256410618790988568145295492056765752639660712625683370014067310591346957159594536422464740841203179256974369269463849874209541647378619326353835971207819970657717667641026402035418587747666912217066515986742281199120691903580616781158051676783431703441672306642958126694196676097182959382954848711464375162281693657682841546116999856559087580913917215508980939559288850613815637969020763647925038493180271993870715041168008007883571231963048973371941736377003575297549244144497166460133430767374005485583884506452968740725787309128192663886342665179014783275222428148150530545323953572253559607358897665740375351468667067406195959824509335139900628594647960371006193058061621561788965021691897367457234415596980724705432899165613028078682589270627146806311633532764058612198769718690483140559101173446674707478090806939575800117468936919743178539454621972628251967343093382560870097315656871608841038942576912934645979959127431534015422167177808543807013371034689295709321097633898692352279949960329998780100284591710133229339829504476667485135897770608232484265717262079211488665030198702417923415261802000858316801495372236031190319824926111897454786740640870742469759225263102875372108072804953913538364528367332411851660793852173931588669619300070302702606763807176837000⋅t51+51174100049204675668987465621024240009691748821689338322658970075013526967920363379978991279706804161173896668504661697963999938439932384189145104302839806195926873071394482250697159493680048851390524361450722627903938040329939602878887314221637643777623284169080915155628910790155785661360871765041161514901371115055665458653051568897191438637664688927199736108344106989564353181730453465460027665181266450165407045231853493476001803484253231844238142433539501102953860387513982998395162448401479640847847999390000661053261117305711508836189812708428399901927409317329865371146279928315209020063184078647508391279610665475393298493320811871468654963593341240038137334792733371434293846451556910885114416157271573681287424778343708660179343891335686403437075720524006462592743578560268604683805654779447331518422773176430393857561996747447961445293307342391430152171886205786094253680691106309434316516532012443138741436026297082963039456422565172398877831503987423317635432891072936962360318932806953008021021797184827874744172848719943438711982206138376695697257531638071444800192240521910730206838812794365742407613232082468901607796808655882297216382818122878433105120805208060773914902792784728910339238018404462950560923273059162427132839691455730747471556048901914256802281306508253942360240666830812475746022365662473995137293955768559134919079380599167604587364418256342224850077356377069273684321088463703912920860276193068447256599420973924877960451248834918931662746813617611123318071891677678200169304102524689337567824416406354565451140377210022094401816607406904765456139105369595730907471168646841399249516024326514913192369201385065332677692953175055046031951332660368386579153661092978099218915554919367921509813823106979006158075167498296759525379552060912042490028925785481688194041948486222772823015887229341254825507590480447871197923422358100350919768960145203208145005839201561754226795686419470344475167352824258959139469117625373762375472682303796703853010585993679181416826742062055104112358942740822601831464563011353814347371876690501763447317495179750272916461669337727949820713440006448921637154582012905043677376475319423610852964258593055970363225390639812720192051683092683602750248816098286144671577789537324621849864064204816078610801724276160427116637886446149942955704421708136322442488402391909956445061731980968418520542158972910980278856400925931838986211364179956982273736676909559572654355970973748396488219966810972668351067261514098678906256215677753574109967563587468525437815963867063603149822774098179669923856543305068047903815783366180189329827615452082923561364092054116909332280579734302797860240476022133057902225143043875896445210089814324181367053437809768822259611397292640478368872502421612566447608936898309848621676739287568472060695066868989675942036885558036042969481396506315111197067071332923014753151110615417972810116801990791925796856264523578619857295464491264421063301853957686601315993473575149278958409883978037216471846880666826044271051304012131812898794502352395288715139538122790088001087259267793517454530839069729167629601771819210843253074638103851879199085478769498141069296977879055542843693045770351994936555554147749170012227365227826457598955915615430295557309681234721829401518473773232385588047146141897454083431104456793475547890982023076834542698157754699441485902711124995117918450451848886419635016389900729686282094404685129616142583335236444485026167131291818265068543182200599632164700604138540690999889875039094215465928637681970526777083936439017236858993102632303468218281021034385791442630558796900865527781982810451102773023119950044738295768187584939950966745198773495229184886467295739325599517018441272268346795432882305523017238654292955674810146831447327267121443162747795521026476643656560828475226426480871254137603150100003869654296721327879616930594211369575852220482793812234899296888439946123481114014342723793541708863872909518392838105331050955453910191196917458344650054249536806262476463016899826372671587456009383618413148343130652586739914619360828877059266103699452284352502793578825824009726810958206357184649006149520838618822376528696726636749617096125204876076689972878682285345751431032287727073740541602414665005082052924638256568663594171380213591635565003336946966514058078077669630503531799892451682961562685851686942802444335069415202405215034826989803052079857379033176390727709331224476124655025649602327453113881769528662009604901723004006749489499878650780139866532857954573714602627560872768165240016973479186013912405819798492340766784339647261139146634622850179843202549810546500118147448981509013396845225744460963956430923371213324093227530598959785689601175188337329326841257217401494782735867110186940119960711561223542131460414832808673942260550094302743266149085748015669794643801718990886954947195101893476240572246356401333909269887254945566881844020910946900150228567136854906482632038948486449606419059585364097490762313976309568006764760178542822292959069888142642720797814498247671190103193106796833688806468590103971610688591341005499772904888449567803536699702747279628171950678331620140385314037122746578412090136523452670455303834606672767382747180289127772066722874843093661023833549531723746598265229046229434420531980095563639763534117749402835823741859530625845709594477908259436617057325979823905727002413605252133301818973632148765154096787691128128528865405724845985165653142280727804243930820075285937130047985771642168456348082872273485161175870590007580753431827086460281835291628980053657017811981943355775941094334236579226384843992754626146850750298781165433401983252316715235857472841880663790575443163740264010187622485370836783967470774325742939588015364419603660827842731755394294550161800002918018126809942991377069750502398166427002394301744177197503778467000⋅t49-39051551970569104233990153167083586537088252207519519875213405232782487637777422864815840513155476765797261666326454407854109742292723187503037791165581271848237420254427200362683015848650789971237842450432684007113392795663306444369369112729551314749028468124252108279250946585452821081948536343741686379010660583661016085151250477349005187713687342458289918335013685316606809528234843082338890517086370318573148337005320178650196738025760856473811715228896536679969597959898280532789324440441681493661247572556749838671396460528566459498239630117003230490641435144799084875155514087295760688449676107585162804845478185378354387732294375697402170140080573343802543614553064356447282103919519758264324298947064881625235182090970979396243296071278099431642155453697760198867162978380701236096253669563448474599159147831040756681113061964095301652442466978314129107127708762475836466477554354291033957448516643080722692313764957506528369066521282032050594774171756151192879042014096934023110956013640943076417137084144096039990347011942939395993812757212813950930023897972725891197854079360350169494368086290865404874344827839026361008984967872698812177577398456288158694426500038844320996416535836317595882583516401445086308302747364449563039710880482836320192557482217540652671840243151186944603545164476930276662130434563494635446484857481528586420412894125146191850590055355094671260719373570374968211815646053543457997307965386639485088631317359978953248237661251618412174078179139616454467424026555265552829760031935607868844628666435090750870634575577886751100286815302370286684555510946773953902051469814086212073078434505840265157555710047671655908853102439841566658436855840730374037909214760161289477855864645917751421458680708022900477619525206992927087927475387098102711019395847042919759587692266942651150001163021911683272040760311898290011059605784863282808027365947202306905202510813232590308324100405672945966807200737800200491020445458177188343332795812686482573099259442661278378525718104300836317102464375019336398028723259399802417065362801424639593132281195948301652374804613647705133655027209375648684839233778682457819495524320075239103823838711311770269319337533073966463593526814095571891067376760188974174799074729590490379222537362654196007818258334581596731738998349902341242249034260940557688678681557484277710127027238392466176467257727680626837023314324030839877233847895945463553252342533042065257830958358202624115916989191982594481778294481280864107078377221653774979667525123357798522793076550722122219576439869768488570166287489949625009859216317663906114841889534338710207172956867638038651031955144916891916045753553842510469014405898005835361415941030610317149730491328668191761331778990679021515089926657566795574064663754326164756408953669444897613101237468998279323046704766755387537472487227539384768894649515560699895588508685170797349168782816647294389366433754099683131609155688158790179209991114061661804077453637077247203215182876797507985788211764397851013368759895141886982904249979776001084784437363544499612631200113795076570217801328824744950640016575321056706825958428395919777335321489062725905855782315585291252419104104459470080236288583833516096637587401525326543301968882461810645752102545611563863520230019488846910421875974366504360320621201506029132827186963161655631861461604656316050481238845363311292909210792347001520244829827803086977694633035900344969287071023189116855896520682807137397808184082405085794106765025887463587435294317613074093716509506660014621585388437584238329417597959456825709767689470243433656072742974130031201758308716352111236589873922981846811080516611808015791828575393407371858450995885696336869134112695480163637062012598259763363462809987100173715724798600820826695183143976786220298093080265961448317431106543354696030448052965917068930124733906505054386127676037924240779242123606393380043909608330481852296750349446782139562105712005013569649989887069339978029127954683720937833715741739844080105694856270745930670318294045320122377757135999884391493005789915994600430629791718026625207270369878423370929144561553444924715104282158914715983611068492605264332259762519608782780223045885642737828553740775017865930817614428303679585318919167555666535458121371100085829969768129146490134167975411946686104595356307444583463697014910082843575352855688807691813810153608919204995210837891913752227490286078231900414098503753056128238564716647126375489286935386729201647871058200754619945601911737819366237513989521650977773401899114970058958711424786940570039099468788662518428606569344522680226831819589672499016323295531266569020206191547786843288026338745572534806690906491824449154103613301124170760402995273371211201133724146998749898399273295622861613471602199231879329571277063147110007279136378796915551786751944201595971471481790483408124537054426546871152100754501228593800113538866731423543122062971234194489823430101768611327582792454879339955200995565160308300570403557216601865883623470809671982396518527961709049581836738726048103861663610738814013058353205375004995105051281182355440114434429581962735597042820392014866198521670173938130121076874145105170278373759529140380543143001491829857582020678654303131411526410077768326555486683183260895100185187686235983478083909625879450651779467794811517571511663939843327085233218837653208377067034196880958131969659247585761252833933312285280394856589391672977923961655017364487518489922307622748604147988542094132392759029326700953451549826876054074070709185747402280126511072027280305429241268209526074408190243189091648729721999790257102607955280648461168994189153783185435632368491086344875022777293535633336514510195708475588824088779031483268722851914793527429625408052385274920055322573840915106952956247772076378049647951372843120605585654569975715632790021250⋅t47+679850568096527040272061428136929787033020027777984584331928648282097990370396784576189478033171273453653865484945160322189234956572172507315888382101512873263804667461226774016077666066119710505193990163994685561771882710333011757505807113916441013969777507321000886753276606887190057197145514515979193287265427469837110767647862443373722755586877632222580033015574276721576090273642521934855054738479035145607734638242424176930753090780921450474427042052491363106037047063950121618137277649658742745178610828935976670529250056298230515984716127313809824640786671969100421579779188349316885760490518141330995575791959844036818726682181395869369102988627186694130096194024752069092527456874515513876280027480111636687824373801523325242560714990974039459510782330084009117134737469633231794020892520406157081132970130456933151985219145602065984394116500492374037817069166854284189291772239299761361956964637449344340265752338033762311863060763093011298416607620191898313114519182463237176663700855955345746921539729456428281504640281971034951044181293314814197904143835198512017263802261040887412849908605162665265977633569371363666819337941271266495121123910461822737077664179120356232771207097307331088067342425044841994210769039852982826286468488616391725157120907854057500915424399432935368279440394088327125950217845293195230181783506331336519079307163439673761783411326068535051679364472129842078438215707708746769860513484496147181671551268582229750193043050055696238466552575490876866989108633982404259395996339541978257490802935510176084982458292012309856652665282521580201471819031522718666189512235485932558295671399808711318849506941385932372856079451830293266854082551336565855992290021245029626765617260412050599687767025603925868512868452154087886540978202349262806978871486939319635801746027991895085727283530410113405705956691247481449452598698880839296440102869931983869615936183519977156477563683634077629769285679747381261062233603476924792333147961539201231570950380160234391154309176769135577640352695820033390655630961926318225887328904838945488583019032138626674167293225665300856848156465075419792568550520024499732682055249989608418994205810542526351675265505183181078998340835126916077611818427000522371499580346956949068476991490135018807738228243054371353749079072430208412783015578105412662905089517413806713052152713091210709531215177787391894487686950609777438720623536335310114182371159694609084892393444435302803073668476658586819528888930542063771547296979582216764325719092222542673344507911483238516492534361885799686081815045668165180351338650488728732526803922280375593901664643852391791565902768512999074665734148771062644642486837860636514732650106807125811863934655570696975745712944284848283027785979108593763665478875094189299826826979614402550611559680769712803747258106667860762587039453371081250818886238775643011992379534791274305356986633588337394554550721050747562133204688620313635290626474991367872969277038699406387460392918612717324620885809717049564026853041187485579344844097719691136141692040042994976222972835381269750652015389599469310392497478504949907022866998688517664915546691312025644982980420008079140936639634636504168682982213854080671638832525025415848336501662381646916875478452522565183803736862276441325050480304039058566417338920234009979350960418371415666585010298007104967048183908708215681149652804603216834084766278659311892360915243362780075707988504078516658241890391418246244571077837998739799177692111657929699742594374453529650666943376100254859530949217432508384254762145786707648299212627213019803147165299994336251104902406725156759114233684551339281049597500436033474383098157504447478037937847920402467876749027658830426090630588016931798564304348193005261721856549160840001309441757443092724176924465747014575930833212684605139986270191690259362632395339247265720900932556547340571056012911146678216752741852521230614256817055785245169000643093591593127289077231973484232240194892031749281646939336979179725773438156902619896135152764325379774248200585042870059593639155645015071830704556429618332612161511099531647062021389042036343066418180053420897131171273374140738443627446298811422452477763137511794663260984077267903375170928079336749122764748664097202208279681995787408062014867114205448097144566297632566028523396226121504309014730613914090113812849493292639542218634203444513235674408040068000848970635455046084787213867570425718124623074534882236269726920947575365190973827925709087539905709577223622379964901396511665677462164909190310174090539096513433683958074931659336080930212638575839454202181319581407868483424316663254410649964229661219037008129922359857026504334152641667288979878671131507043859236003387676319007853121167336422013568207407228488263646352480756472961935853947839603511978340627251381138999358625787502089099854282277524738416765746583017573534549941732600597313168456619509468244326927718837766740970173998723370342914800005851274802755843361059522557844487340250952975650781317820433858342755078043452271538515296546402665082582456329567858167407634974248313261872391663210720259974673522054007881192773861305266177871587554115230511806857634942748908827216784596534920891800555105413135529159952208465026930868152748429941964111665527061204784111043515137089770931022994144156659660592441430927683523590317966064319827748418483092948808518868188207345994657025778518729848649033810752886627405599972185091352303901620895618363155700082896243190870414080110805687624679892567478371433154600498931985908491645205013083345953834497971854565364826931560003891143320085853091713720112563411469628186821200337627726587677713975988255554610979035288422532857986118502010770206185339542413715873116957252999333668449505141970725827453684814258317726346974836597565539222439739895359820182737698330068156198750⋅t45-1972608196752462523509926705689946266102205216835714072074034710211656189537750310168276264813712979119598752160429003121666905127211987458099324262946086342158960274513107531512213617995131915163509617026205232753830867312708651418717366433875798242152724722506635325113803464865859432872967709195697388154608592374977784859788826758516994183278659799214644323301801520663365877150372808704924603147628681788544342146686820083102631116876415628039085377861139965767000477779598585737289442085455928540136171919222789725235025536938651941901969078532201894282692567148306561870863193281631513646310349216532827709478245323280188552744488723040541780475354844544538568812408263731971584583955459854154388714609475521008369727330830483959889839266061289612943755981021284635412146445446542981983025829803270382691222699637577818385629340177421585175164968303390650731705196286055421126803099822371174771306355019663327533105095230947622156650119034355275483794695212646235186024508018054709345467389874512008239986001805124177481254440559221437897270333437637673269313549230608173157965527583551073957039671126839012248910814874363540499228781076556797112870909486817805872903105264246087031132470336256862134010942689721022346623772912799802700141867932978531240894520103246829252979494457462301869003303959432553572205411848371847865936634400423642381718138021024765977161279874954222007308689566125098521171347694701314464022371031996801574621436016038129554864945985035067078169810070164558925009881978851522642975257691651196606060947907166388593418737455468320917378712336381592807312299987044840477106482353902433109352364508454622769764356703639784078601776029496689629208360128189132063652687369710989573845805100050635952328605024037526878966002584328605067532818434384997464597908451499772986825537930935008498683151080998230953189285248993490529313014304882399555959544483707621799425395834485542215890543640687426579987206050067959084204867513666533860753930239378901622940997337693812626373536439152748075516163902099253062629652274643671647601394237398351848003699417030000774267609637657106947287070389315785976339713697447729874102897759867071723770495721079723669125998527698421327030204749945492165539829730874902682087952614142389353313184771419226877290547478913705492972765887423080625870053757987943264654231846667894512124318066265276332590061461817932825242453287066433627190730051540256732527007043384102395915467700823223822785279682949134258513384062836327092343754511078379677410801964892201676176134713515568549345898313384237531292269047448158639417144837940705549144764620698508407443689376270793615876467567362378841511007057622921523266611259126852093288387379291799782792120534975538953264599536920763547591509878735624604507515603223565329879161311808600366230848229637705764081452830032763238673511927864619886104401393932583065670746650393219397923743493733624401928986010887201314846601293971186447513332485264712771077486257469645231584986512579260999307621324167693866263695612618321598718372460883550762726741066173102607857511142291292127827750123300670140103151363499637334301625538577605737920549953396700082286877986722618336525508147777975871936799699153704867756844602258783937005426968819903555777791690614549139060153474937197941924607346104770826279882639576918690848120700486541685222260347154657365436645017680955053608873298495980257739657756957845984655488273130244995361804205145371133091086704894203474313908648120620966242548849233658921552577890632346226015897568898480233607326702578102222245901851979482027907234963349081125011929268122915569359257208383351573835675219297787328877235820832570971047053068524158113192076390417896663062366481585721184759524470492490528146489137359046357836408784280830401295468093320270013631722513712723029227912873487437247597780095656679673928066398035737635479239738722770415303551252596733602708317875288418213605480655665726378970598472307242435657878096696500791077111891157495137899773393095865460590853590726637839569828458363785788127653334602346041741607229550916700798526418643204001832669427670588549469800621114406525294882441351297097528612196283075163398232865683609366236378422211405513359839170179980718547320075189387499694605595514602918705599586131318373390453325447532351045109942848592275982787127726739131271779612612362058806266007697919937269325250689019645205000427733416740974711372948680849081726217263535050688024479658300183697496603895527534270813753875267078455677762320795224621891587111013926107429674837490787842437552196993511670519601618983389634925895170191991793252450103229184336424093232012274382450633382922934132062547635076288145109733216435408549483479586656940556519631069954148139955763808490583789157218955781303095080243723442957663873370314066309948749254607153234708708917621228275420336561065862079563752424225699972136727713573729181490416550124021982845056680617991078837709350427944752174040752281276616471849696891612865374104019808866760292344638164557797010644200498895497065273959397555436051306358978165711929925218995716768255338008515672175088306243125819710569195345254975847534922738261233386759488879270223783849015604077438486677115034983914185794974718654311094164985101980029041951011842088163630728820119140734099732766714337082960828197847264900310035319211012843961063332634930445458657988079181187818629016862062632970953679033107937448935793266054622304558670815992507049983807288821643367025688051962611830155238956348257863287690839980351327469522702089843641284441194267837497218827870919045018298786258526698077238464575040589418116322019372454699056117927907285419140266636237442650979324256098511687438679337958092286195695401779605558050692192291522741553391530329737474818135800613330641741535843141841164333677994079709017806895146159835936520609000⋅t43+3238730542629868262961076054903784898270287775116851519341580918079572738117996521980714301071415343442896596678186630206495862367333247082066912997808674883808352830609725583237178336210127652733648059280905420519492625794869898943788513591090128243678975715479248823886706298794019782462296832660377349251101812406321271322315797199218248444128506540517264011235454187285108090235033646349832589525823609782939872896426489525397189606305215007106229769010602843980887427466842198084053079990399700259117485912367499028595942942915496030906264046288043178458080970696739729961999992942756354971747239786780255396947560613723436840150422400934539358948875300722287835268738392498001921001445332482232068706959529163197366236741136998440299819084890024456351060981564824030101551160578084442909228219416968180086193973637565021636551890287889678030141181104721357553895050610681887978622090354123211042220238447202710360592005021009907166991649774455678099365938273888823016193252746860213426316761111793075085491433728506247106373205860906244451872773123560659702407075183885447410396684947891341656629655648228066535461058520011991860949999893754665735971910582627207163090352716877378129626310688990963270662531585099645210608694725771212224535051782661827161407991585637836708659419061329969840998806241692792160582509160437588007539171622759522393569835897562182345160678725287695676406312785803868999311919431124308092712048953299628539081418875932677876684452990604215187850896855138891093012722166841594409427506958112352516513959772563133046920854400472579383817679404741330949846430824345386851326845678666320455101522253221576553088705991210699094143704040587733130777705228655759599472381801204404653104658910613909104386047328191560558086305083223851659988623519378492973024924907177738594941107572002929486804416343410596742265917546266761624402933418578689927889501476524777447831459434762406353960443416966655370959629394546960802554804681826036698162541226312809394936154884611641989722661167514950747983665037522151458789902401118905490176493898765705162767689394008276207704148041225678048809539304725356769138669484348204116707948109625385561145322906195052784910820031782978987814115560769741985716830593687313164349543674537661192522486683327738708980901940848600366900624913678902767221910539789201902239389449717524685905474884524243539658442371422352829109108488296991826926376531839402211078528506051046300979251585866598410826295098235697431867161142596476067358753131713821092700857091584684552231942262984770240188833506132004485747978264750296729805091589197534175164034028579538237520747859828524104452602796775207903691621215550254802287601736852948897380057206745026523681107788782159311785269485097206602436087750021029856358899946876918478534528433990303331841709354317896579480435103659482627806156264443867163352564534609502601229243298858146049143200540804944834587124325547016119655423537923629782509046613722954211565837356359176423743234157999591008099632931237326031365319283244886648377132680772301669044512263702520834233390338454470665694389543411770407317868163692763073584258622908344815353040047090622562279909382885397744723092437225567922290911638361452718172820155883869797210195940767756836267842138399793996252755295506793642945864772892540693012044101927873352557232678016088388063161110243797895527973410389511051203868233063249053233175777112939813613492625051131008996158348235503883594400698576966702610739725604101623178284835302158421245496648315190757252706748229805123155200252718090095874494158473576235170780239854792635947173298595673443401427914294789233966598581547590437531336007671976216335366027277865299352133911801802977394036307493280022534273170515031194400002250432271894053501519818674697909445650968708285136723248356065709110371132244858582457175700257424145358080716563088192386346823688835810212521699626396083483362130214434108477942149503703203944307361771180706340356104036624406528671128062260767894600138968984743754029002735362962270287862329282055630254929603032174320154622759107228321279434992440021257268077127435313731186124489570807364837660981502404517143361396529120915003966043391041863613910072340601334035673909807367715025553265394619623791806462840210782049574162769447024518300460081662486673292146404974943496853545226428623681098673086031385476892194855858940956447793014512136369312417071873686564124282653361578387765277737831021523813944382454325115145128906504639477944349070244755018740304883930451395231938216155101278109700569067755306458615726594942859580843927963038637516598481985773378760099301593365002475534627051986447275255476760316530190473789762559916136202226039076589182939909869003314154111081423248165809826330055016551672097668061350364295215306367499873237546749568206800489180475137652529399571496679479812439597968818395622829912375841117678572975959950330187433200599658071898538490008871636011283733858836671436544106702554485456902505947831738354779522353539178250658125415965327664502231145333173932102893818817936345839839065488016196760100161175389654672817335534359084261177997601931248337982346349338965890945736998573413805748726827648859974140262945525414181469710071313200564578847706878585498509324670190370310713218215232642056009214400226174150595043607697417494179251633640776356458944687283525194494943523633362970086025582391554338388767229758108248209738380740705951037981421013162735226960797263274826459294021627175096958237338539691346274884098036674413867344790014883060116180238748757257413577855183518254227374667570938513568023865679029859898962510816690388923680386212503362070783389737756645719394634068280671416435658201528981526812332723931270082526804124021784004485062579833156964870753785075049266860784348721594778997798401973897630404691540230454124549757751358019000⋅t41-9245555948076238768027907724457062342923409924364903859014774080104317031914582322250115879087884296421995390938348870015352325072125070878035384527077776548722292587519202298314269910282395305172686530489996579039024625780391483729857674501748113439211291144876221207162089257832763168655271828274777968465486193435309074865737257670042524662254100174809440611565350897515697605317750083026655529697606505202684736987709764963142123109558555656396509727464122690819302572287403939147582930042717866724657083996215736092337684406075294012823775919463144748101919462208346673727796376797344056853740920672059404808187187053094478191414508020366283195166969159888511381401499039693434353809729037033406916599223292616209438762994490901208396827237904358542077048425700537007350142849467947945587707332141122341525873400961071862623423897265719905478475677737576147062250401578758534700197431267793799513211259765762795892585774379235113776846329360539704809806888887674602582356158117654725927430191527680792666945115209423193752617964557000940790785084932062282311864981041364574467937434577571453270043207200694964074095010310525298658884515824418152301348630853060226544325013316416936751928912747266389416384894531711204914844997047082113021979392873866358967696942937882850708791633471985564328624794169465920038975271145071048528493052890054170764231748776534947069606069262015639344542630115824153450815282958705383575278712967710518462924831088228579217425718316914984641104942887424416662630265773358691912284406495016158862175270823652272326892274951573300141316119454881513189261287772127297174315340199454692733017798511681210995682931118700893138211297798908274042316231231269567168119701034599988050770553036852246936918492544370386743195588926544449050232578666406824316358733105561141617973565250778669491062467080036580978834960011360642716276389150441866475031098590080561640070708942857760437567616240485985115930590759102378764519606756496401274903887276914030786593208830482772342429591011726508808022957436259463524187671193188231790591863825972634059129464222744389566081231150341794977666473707200773411296109553187923040112566623092365549695427052378272678562514299802202223844741876987249654475812248568764209962250483311838215211675206448909425066760074407297309792668176630617402174468881879624820746532090169779712637517782946771621363848090148877573406652600559396154769886564608664211691409921147958398102826178842421778856899936176669432024232249556186996441580284278106757156339255656148939898115905157678524351983290121537137061440198028868820831769282402417941954150338682476475532228701558470158932483222452453730844994476653521219354962268391700810886046565193079353846583994233839113132802814611737235808201823436147971554472272848126864624268815692881998120675082654817950091648234291847623659019737690481437971332478912716245129994059292472348127072055079351632806563459642512402329543523999195639994586121694403635824565777232674013061952644394456545510691595673181611316801285486145912760660983281315105440387785863657517414374699990859140425388639216383116628331118004375660298276133242144098704894644409424278655591241548613243933520105347190502222533577510887776678019052472975214579503871614724432736261359974821764225647228608111915605694464643862479249834680073409756995105090855247429941913474241965008974527936495795147139450707730439839610372758248199441649098617360456655086020339894919105982307603851485874645966462723531721790368759152695930005145905189981441997491450309515052302253109988789495771508257881539854206473760030211060210069828360087526841189524918684151473159966927720142718845382130426440989181111739092143038589220220363903715548693623113865300054174059368204444719497277675939872407977838018633376690673953234850043952576852475557934249496593826744765918920351839988209865357710779069442389561968821248197096621003965759077593692875279925081818272674836037637566438699864108265746048920760797948693429831871631562239207320357569936878112099917610812960951356695688142269173703932416907787226113105683711930943520447042554987204464316122700526326503098677924603008850293885428633059575781445167151405303349561108366786619406829715471255643122720725345399103786842907887456569359095583836842116265747441125611787758748371180151227274715316282099972119054005467615599403836002731268260160537228010285812884816667360406531006783913392967879855304025171311723512680408466148757855528625184404644128344825082087108585470057846037263591499614972792448641179045102296736219392315233830811028270793948769813417704722363139814464927857404012136861411278080343121084131676889197891604038687023280129859868434194424716515887138677914877872878182841058021062841442487867662562279800759923048318609488969415204111583317840144602725003053393122058072379753593280960705269754853728640633359465012544845936136605158919283993929245130724517735986565376926556639866623601345249413370953355390819201103778065861838068323576695274954321455119524881995284651158994717139985165702812575911188858886713758108004090868492901130810325402237788785454199443631921755262458263685753397887141429164448923410936750576258177723379305107950476582230883955512964564271613402337414719729604894262250793023267482420504448528434029067792871138754618406060885385239915955241866333872665789426572890208634882715319555188807454958682292301085803071550303768785892301357646086282904642173679386556527739652998844701011691491532210289628229008043740053433596945315593539472675474335152374014199806958181442572770626744652231072234681592003596102758472471881427320984306877595491979560936092639299808651303190170256699037121941678748728675469335742431075499285110702710787864387170713773600548174315312941406817536573731394910394095864843750472988619804685698599271684521583722170778303725165980100⋅t39+365579953475304000856684803002576942050064787462405769338169011957214020179497305750141916089359742773766646038137154241357182411546473477095114273242137481574645613516723100192411703134611947565465666035716512027004495586820937547064078770967273733396443226201294846346366620366187848293184764309045932270159834459232155061074305912486972082595406286146140328634075143097543001637417392829091167648968792979563640513096804376716551911022847023584823298506605161029650824955000228825781790460365941327174720076733642626025689479037905944081195424668586496677472241386745665958700173868879777464211526397259430993373748804314385053948583935522780485890110997891996890664028319335286269750129774789085143170517984303949064469421284769794027305127783200509072290553420991997522027000341524962805029715223983141041880157743655722097827979495515655868270983716538048285835707367357436538907566529627324879361150581251495225334936533375575239662757952629269405894970517226460239507569796109245325792008069330257560957785689657234012046569500633193189614789191948491852760367819622348902506256757314513320399749093853023281300945585984068286721821855825384876793770148312687833330058604256044155768058764940320000896580037666158773700854970058290906167024289657727710229124007807304387335803092146965418334687720584669991604905245103669431293496959755080960628159052868898135771597896655985817881237050148836096049566147012445060509573830171411933874072634960540678694681750765285426819244341795360019285142473792325992675976279643977306205093663685646309326254572171784339768290045254199036645346631049190465561832199059297307707086379120437250562816820861494982522322571916836425582404344197832931302821867064614035144066965689953684430051647265836302758734136973083337532585207635203321790977966028853066713450898788584569717602192258101560819319446763882625244614774748011836160542567135266918186045694603287075905000135464602198161748173945182586625551415260986744552797219716230811109859486474545005308106609257565131558924267313447072571047718850538425873903082292410913325100525320074355503136900976749860554494958663245658539366402592907937106737754286557728503144907283323591147589290883410660408279381950463454500595971075764183767933652307313235224423015933713922887301262722307919163851503495383021257635289653487861865859913206789351889835299109284824430728993909956691330720356817786692643730352096996688381071318547167888650549528761117204760991265532647008106952694205337939239638096087608710311054600570195807030333029949888329489094047038793298734980677420979847546775150241732288056687601916550181922018250624523580407080240623566276593025491562035064167042988193266722492296422078442468938251478846171297386630559434446752286444572271868702102815948900391403378584806555377173930927072020432202365054488968324187642643704930599362182176421341916307806425610687052066220222486155401034453507905276711077745944552519896484616614896459577405469535144820489574890499809844324043981432891976767249598316433824584922540581547641305255151391547416404642450020549916137325181060635557725013327105516832631833684503204531048256005887731110074330239329288182494617228290228572014765018355005954669895728728967114378545650978833011544631604776080998509518466240815503247130140385958906636313869915653088256403961602531384862606607097639095194877580796637846785482082189041994785344661932548379001496814321539011057018733528520139000490327901911632923659667352604108599587544179240802518795309661348415436758395078202023987169475375280590728535599106630095431984449711698810660577786526517585467386673950837749664069834396924184367492647729497917933244405683918088762010137235613018836714459658559868765542052673863536078885416910005260385435552350059802576152106363329209139355616507090593032303595045492521622356936493648199351728939774513674966218649703085700372653706371769472876700845142358979376239728567189774464906239219818458140134901070582393185609550260768761845534544953627824840001838525042793893910924306797878194696805035720897947087707473361430699413146200990679294828549688864130285380045846647565994371762215308032544261870558822607264386820138821770626426560356197514794096155618308387764174722033872230757859923370613347606888992703040879605473582419811527325440886062598820392221628930423895161966776907854568148338598363552235505475570274485696716171422118763267774905504742343640510702232689481401336712180012811915094993986984956651738818954594779694915951697114856305462666187430136354655580262549237581425080195878028847014260915678934270222681613602815195048951641745272851732117474490693286562190734018320505909676927239889320232483569983803968372703366341527215122039318795246835234652826842587580469046503601189533528299093406476540065778634030953692765527115683396143459360634262787471498373488284061577560252112999768364920178528612573664331306383896813125106401700743062833720395737449176375727895030719482921849417221109755509607653056688404297133501397829160913368159818953415773965302216294066290514301486926208400623815578237859926734126747473317797710521811564359460503569394514292990033734591579832770085660234165354770937648959629210189552864635165655649185447291694606319703056514828693602765546416569990601292147578106300805921538660528682077015914432992713392644000693635314733222783206525240142131930486492985942576084798840258265983743399559578030190263464981400160551281571618267893593020863602904906848599775553521789139879778836528521917541579160726442414918446659789153021571308075220089204238236491473919256488285447068775465255786024732297513824869034013784109102902771726608840456173512006159369084957134606069435918351046073994318923827742189343817906404639900920110483833780360004405385386972612927661287083415136727795907353764613985711070966475288686516135058743799369412500⋅t37-306581199587281474704490910323089075880854694679508724586751327867026367870934347941998595475573540092948856044427133307738102696144189668389714472509846180827381529078063584162862756154162239037410847547822864279972497423463182257221951189369067178466812652579782309247565835493358917278274423332798588966850930642197468916144437642576359984386267114921009414521326624051732555339585912412112199326081744592176213078473390097392283138908266362579118182822834272271010418885005979488233062131394982405548066285560109348257773959538084790797090751226358059181646238027708954084205410255951022360296718159345614939022008405495866564618480346988287068930290530183548704273747707396276060944014022615471729968751931306961783753535046873192341294914170286398302008762414961444846281224211428108552914840708095267783403034548808470886365724188074725625013962660736539183102313518009017557783853276248250116555105022572852202609734276377091115420666851889824414555233239558187267112561342877004424847437670771561455226134748444122722070978340262955900261917275739346523589252767084080704544739519602834505870099593738723441386128867279794387794971946129797532561637950591185735822856494317357086407246130004345659319189470631308038019916695371093959678732361908128372504884216380377743682240583766428621063262550322322056031649438337209964905807688399291217965591348790184459856657688039123773884507933403139582623304999693126043901968172469311644589644887323208073583855595627026248136989509221313074364419933243290058351682604512839831400454102670207065637025162039527190247667816658099718944914430078962554757909126618252314624554580787940411894734951497027857546940561675771774586478337669775142217855118257923300913343052894844945775578202273846451456179288488754237103954964205043393314121523323417195368675701757205103406170145742732089300296767365618033326231746547200605840706729946606969210016185097209144544134426813281217049979424128897767253409773077332781796106193120780627077013711271344536827537387285967199316517474897797226280296336979460915478450481543302038308939836728766421768154041638094488339339455068891036290987559869466066631042000138460116575836430993635139538274310390840547053987756802673878716297681796402650199731014758856746894359097757440315107403455083444301040759369510590820930020257243499919358168503841903527073484847352912397417446494182765446060432320459883363499518410009482198115085625477457033229023948635352468247471217032491395255508470079498713621470038153092185728175238998911421715421016433161563500539602614327854872658597192890477036430385189588397580050052599482099268036488668608093167066720780588727371891815072061274637919015301895802254083974508248914561632548081884058133679050571476419752265619068466453412586410321051342753119852811919518239807695848799562816858990339010131623633898648228465502512805804269216429731238178795597975573830286396253803178819058715002012113449415915238292364285237140560651598616661742520444962991252838906023145913030931293481522555955930906436866751191500041736964011181154613552700945296142316958328789235655350613046853774301064349487147408428219776270835631063419191009147256394752392501350514312679190844330273914815203521532487261413099945026318531053053819699725931437849447077513149367986457754109705270438016120042059794582233716443703679903926491398378964368716645340952132175780695931760125854448897225434068853458790794508622861742311926394022555083487935114488344698219788995581027032245076915864584244422027110090886173597293103409795867262907173512637558904984389871284686738145290386578180219808931499787001738536484547212382258512480904661795556904224929242661460232083052466312838198866488865144293753963214934422997722659628729177860241977730035408102750918502996892713143620410358359326167279485965372092655994628419078707817170179531229627629048446057886341942217142070493101395752328238876548513051307027514090729625385687004111649074446205449246790086538039311995363044894589067866879942640084572151968519119902518112702396956053031643161305566034543774625812173004725245571247562113285687749993127482108945788035741101061904169497036046045705839934161793726385801448815621776385085680528423158442185837152037213558122614861556475048213989916893664339880461851784791311330256970280758879545738042194930799499177450471737761310134823575524723402833251876232626342048943885417463110317645653218147807463492302703716144461488760280589348094369723401308005979985671911359865966133778067283390051282644621786272314156692077264928745553689010389326962656002121230976430243354225729498972251775520282551179677403826571891181860773764842743271845138653034908730694244219254982545144354851710251895613808664581354420794030034759028701576139165654718542301758296697920843025817165423869867214247321436222599130589176088223688925180461066832567771597197989344786328212316178388559240093659253403754894478234180890351138203922662113283483171413096214405073192171048753441952040607666597668141064300141402014935351671857125602403901949527049363657868398605586428695516598941556629769830383772618694684003331960535183164192147657477541551791212672307423940370771606319463131852142943668719431773217620159862530575417951890706340599682119905727215135162219567659438788592889837072390778384319375542732063917664816061624031907224477728248027500161046538068802378677353358499900746651880235252196379740589388752119389144407385358952294440323105278959725733625715035589675462002300434469826480312008206912641393416351086248546350301038992280171460124103394958878607800285798461130565163671401766157137685685635943975564634069018733527499424006660983981552283330977908028191879194052244148119403738670496076140709815623694613435442325082256353896560202647727800740194672419205837096289478611738273172243342709264457863279579742212702214770992975000⋅t35+311674926484129784091089034944908367682118539897977090746743611008144616372595968379371959484587578597160677921748517998528533164582437851957019224028293329103528166568703042125944279219112966092466980777219684794626717750066948023776612938861784153573782041973911798042728765913836918822719599955124035961058172764056708474994292968886171734435831927900705442637970231761326619516313362348328215709318445752060267771865787892525804560619011033573093602277460298212780021245594066401899333356274736000817516006093466836413772370509338287618841322203912768004685050502073868710733605657491235919181104958862909307797206088788901109280133655046648260614578756136663882882367188724033724376836907631412055124564691360463796974407115754935007675807560449405372568699172059760157155462472220647684887833628156704278387214345811095962053548412188800063708322211457990620010523829495408822739638786488001553204950742595715553285719698542427740463306655813111290507193925844633224451694794927643298281777044000723286728356559667603737432705936228531294805680916241465215928587098241565668811143348243854554960837822285948105332520135644098462183785417260818223535315884927772198673424412714018051714113172787789494177696625613509620876465824556767965636127674940503120211566084755572221260990127561127761619763701034624810866144692933408729938350006388602606169871730294369920474752478365460247900638934133156320397340110541140146771720207931228154424701478311616420727763720119844677357797170702089838511401972764611224243575373628785765609851315183065813483194596811250429753426811813399839619645071721509113976233584169844983440340662390378261072668582211971515521395252499723305084224774901514008466816314190230660755773208774355927800985506060048440282791752242090594839702242293467150608848150230567402447831883881653945483313032638452686111913294628731109082707564462336325589213397155380643556237219472756958069784903448416994676286716412430427002197147790387496739405952543126671437450256453108232735926131668728548053149472321466419532615555026897216353420442336472186124165869753717341555803039334857580673121264973029044405507767348830762679873567641118616231199631580184704024838377270396289632259834108954077970979654459265929534967740433067260934913273509796831430780130995010875480880570189770229772697326651993397667049130244185008768985165155617780600890243808118385151513665844855290097776199235681675805297960534762598416538869264962049739468137432912067271162341546239372038935303345793487026758861417305727577709846787586186631954188059766453460077807859328328376171904553735611333669459129997088787716957222053418413537696611898523457583108959237065139284813206251860261259604712613270863972653306233701200864186054692008061023489700284340166038994735567877494049335576141521921692721500114007775205806369449412197188847463848155827109599260773553097307095899152721471242377878413171934906948855456937134266198187556315044319297418341500219206234981289534150590032533295206176328592553282174120256496023845820695064193342355592701243063273351919818648289401982489117358374971045803652388357426185264555654070653086903433676616561676042722934060994490151994203444438687854477169217401647083517838534484842714584742848471384546948545629647408992788402571423606907374963202263628945473965273260269302871318456423527899778859453544075383424351586366370749990773623900055054282635823733458491866793768121724275922452757676796727028833351171979259545533963065601618187930863709949044175527987604641068062793239797157798796273172926317273444918669596532999262451599818448088496155140802707045291875154082547705257225834910551590278776556268407269533786885332335097859874426751518116138578662016486595833931620027788178088946415372702849308279468881881366861419423241767246295768956509520284858932945204364628976764967208458464336941049374842455442191135152618437419561735730147911646274846711494799395012822823259796586143563588258935405010972546674181320997352475793303305488013549297134784583772117685264395268336387571325722010271424118312782780976228067461476662659820433357785208398234857510628097732416388258185109206062164642925256606301699690424970392092042404206970346619704158647712797688477894128861339554355910646650121829947661479852180641105878092624484510442817836446465258652092383839027006567441733928365585035850680394192650583060372425673494874082132403538773121017969152919532974805112941966824612227123708029173054076545494861556375560333192273837848498841921533015022662128913480829369954555496830767364587301836498418804028370054673796744871915516932875884230444817950310238329184276331910377037392119421337270161749722217731126457868046787126397406072932180708662524315161638986732797202208220646923660605818064472099170527084338500615757796391634085681846300420654141591825665304428328472893817526598774893724998460499551131439370674862331998782420705510356193296264289138916425250602145593079185989713302583032792885149690156101018129638604701498917197026126630245654716459153276214740953770911130194867676345323178431940656348638640068244200989086731070015219035206904588106901618792357396757407912334476001050329437254989707069552959669362483352136180884104273619589497140473056638108685687617540317196822070419592481993628254177884598943567944995622714742884181058902738467909400143290971051158833760603594959209939502448657640753316707685533668946477637443520722878839762351540451086940914644335369206105430339543437461735233087321719259564631586403733273688522921127832260591666183653627210892760825392150328758613194627196354177080986183171026453452972969812911388812046737660718217610466305521335298615646909184745320425266445671981174644472809655044837174505933740598971192806534637462482840295227032119105847661541926017886117213935333960883883694713294447911314232124799395199526627789000⋅t33-371367556127075134448136530258776374503499440947302018308140717229083648346495537086645905447939465672842129157057351384192869050968720324776112181169921954203801618400949476019397644455570365273475033779646927669547705094292048071766031767919075105365955043910847158454517666246674821629893275700170896632307675733308241459638069804968533290962945389687826720812083254794194909890592696110803816373714370411400699700726342517115515287658619519635112116448928959120833140296017015364998727070376306784001436352198787907425811688842035593988014141480198206567034168132872918261727546909364172867957192703165129895622103952923162227696314589487969814243573117960348372918948473431425020576448765137340939727068877504493620886639948711854609840475273321591997529619296539938079010101697026483828679333754109351320977931177622171549835839147030659531636905287979137194752557367998454750905518221069887947177008876715301062579817967273480319743475993743139968781545139711503651176811257693372332675755417152685389181628881823928987495294564258028436644559706220037224932289815473400934181976059747763431252200624758883931795492456383111357758050826037099352727494435506431696948193751105422450007606446102620593402884636949993391831624809917351082128715509485137389715088920748794829089250784723230128606365814236726550435421674047388469004527040526546159927960801222587599937270110945965983351044066845500534176203732506530651290399099988009253498871711959238177549199511111216236918905802638103912528312232418208041675402398081070075334054263773842559528006952585614667636673229096371321678515969859079188006686378490846328865928260990926344132945300106081014722075690061405778084404345654744408997209071499120707791253709551131325637316873816307583159434719476307210976431132845447017515163637756706917438429011801206921468501007038581172626018662103589265104557478872290758872665198194941297063329678414079424684875394362760470999799731050817204754826052454740972106048379930908660355140612288661162287798497699546304757592007961805499222769955219042115070960846369757102584186115055731488679268624279728084147140050650299659922485156070952161824171721288743826404820659276050427485997740692087469370289857056278684243734505090858557722760323154484599719739104675724851620144950667717239776842446970247493989634189612441914281972331886962601618009704460449007924055374813959945679283839407880271964584895273800830151701820554433053099083244351405815888076547800364123826299764968278529067536583555037580356958825451339614106611139608819000759332756893381205628969619689745917180879777688567453320370312804727680170857684193324425832230894748302867017923310246121362514312460566502442858383290911203219540069162003724725497520556906956374623493901134373588663062763675619113513299984731408151225684606646507595175050928274469960111293801336854287059108906990798389832990520220616436087178425940814242586917624211417492111450770652245569822813821899143783626649349926529294929547479479117960481288023717186167236051420484760941867232463307208849127532149884846660889079038772294074782111075047246576777399711619130913755570270457402468298519806901083848870859319633677824894505646028549458498308579279538197293197479560326642874528353156565238918736760801179596487238196574251929998285214011233354952069424725208194523286875175665646452731138623275974461360893814541050894099500538294467981717975649086431607503263974472053304522817572322266322174935233473912987377640827356138005686603774354177006106108488327627452400718916791696363250342759227399286410393355931592721189764279971055729132321951412686078585488993062733272221362397769200966388841531754506339216711072945169425435881508751630245682191573110589792427918276233525869972077811046987318848152431346814298806281493516627084656204756863065203026042656349506141711603169312281532372074722252188955609596242277288327656941211985909964832871870111005334767854946460963333852357326475946706984174420031701486523694662850326605769176610084943142707968292536680787346464370326395449360080534522817470849673029450526117981287067640367615658966235825063832544016838465839519082324903369836876750577616980183825447759007395207313333096038419087621035051666500302220876185833584558061398967776519968175071484269448859262331213139214469862074212747342999469780817019139643752421958905860159765413163816393475773807439540670795300041915437412195907482871148806544458779880238849031415493508624361032323567487908870438412506909263102874816007058014519830446335178109368426237943224033057627587503215007194593555877958259597389360522211150380808516913167239526575687818112170311132563952912012911506408314377773546637117041944742995596961106318366119457329378273870402609579574689726763205373257551975717094031883726823262741616612718338784571096416556924234621041114883347786239410233376406881561433107341467400471050874032293200577978038577900263985096176022585997403474648894046128305145435635064330802307368461608387966624292366872151972314557731363564075534385742477177623386939636728550930806496027887860393476096965837638326459353362689550729759763952487883435189193598207530276663432616390771394573029530656267693124571801879972247523153809120153579763364082389659875064614608745910006388064073852745197297500540966180853084970763547141751651656577807557411382500546311349292488034629242386138282620408703149722657427748763408297561855848511518443468246504732367171425085131413701556203316150621571289751708215049094880716398097273363182025216276869580277058133414258049096275201706477211001002469697636655421689069306736378462483562876870024300521590602663758706178297990528972987927516092163977879903563974904825849638849042122368596148994352212125371854491804568330027888135610413814532682430561212498547213229946701029371379277653944645719032176981969455643402965595992517686875⋅t31+57293276604168949837850552182869318557470713673867453532284683979437486311535853094702478101915391673986319565882062192281629090304543549838630792845227247098488388824482316226672591806838039254557853355644276545478718584665907399760854921570629377366943740620943146867137414631385534979587778017267998861766938335583502059220587713509800249941111869141351388065028156718560959739213078004241865739122255682679152921028595338819341104453457024468731743508484268265075983886876372697883291831328262808517890149799891729076698987791367355580554501895627680582010235072886690506235243139912273220583173525125729131492428038428110264004829441485323053875261395720129782218413472235526089849302481217159559242996218250737684972909637579962390526506955883689046359471708508483861555442530984944465001618095592891424272801317796210596658850152059697226172809642843902105411161506079751347277649972174851761848898671893840926336779623132526901475067829363719059208645963513652274310105753837261700146356563640326644942055066000158531128443023521798392350659987814411139209821624458164046526142263000938634622651215758363295908878792854891757098930352572180070629821195193472604460986318810158739690424271186148931608541397826782212743025153464289857716673710288899225489480162038177595577168399854391294563876415507128347138487810781714898824902300515731512276809826511121434211094728277272110035257223732137453886524405209730646705678575329172144568171976846345413374856668627549160386078265469622548155522228714519283825041158188210707522687298130785450757140837741293960444776849475687963440212474038392637778524315461695682126530364230905605111962954876010391469446139058584228002961988713925392056022534892080399588245094353316019262760175763721676472706242654469430309700035842450418494262388757606688134354415106807070003874024274521541953555344941326738335010809696410691296049283330786703965707595157354021978806689434739628265240918117318888625759033302428636933322362647824488511621770463731651926009945281390827108011355026338543818717134835147112108330684540185234026030976127560646142877770786495548912703318246294572703028644933062201687325602635694992327469116836423397133098933795534856332608384923120211991375373605907009024725676508309099947026450518335749386847052425163680582744840921179509208216490165353367474391771884979443630828104108562283218678770729552584992949009000319130747839640876241672023468584905698764756152083101645413060533374371867624221439362570487565982568295220256909847454851347965513137237564281497686748313414732560634241068708133009081878652926380130679163322859325681766569772806155780558397423180535983607114642292399007018854857536393408424082173266094619566878400747185743078545263136801560648517309977293734606395320119832739923268313473029840590516066767529781098770374278217923682925397503636613158607024090251764069287272835009225387473359384472240791961272694727111223114573708102857997956308500598910270070280990815582739001242246609786495158002939276418758300429080616968471467386771481902171616859099853441204767918776619283367904505004605586552262145087515257526597998526036694050561752481510470353108366406806499049865734458581790219906938191810321342009524064894961181840308813108355758623846786474228577347394068367229729088726636014296997211724722377537702120546932041756277303475994611442149314459319400324973865217546139647504704004696280655458409549608694782613296665404182955611682768099388057707438480633780271448370873859349178043462316865348780616757600914985007613553227708966289417273613227907549299826968790901781343655259318847252509554563349627534387801009006688069892139040343767687553522639450456475670177827485556592983949050062002140750644908259624297214743600826304968892951261284912623218198480721900839343562289715145098446622033145198990280543996585851851994677564458737411876852594031581080185144290652451618430864332746016504915880613633568223044243084818415514841263434403807313074619211975025445870225524406594653563999810141463228502820259136471324503299185557043938131326535947492027942331976183540633195147202320663777353968692385067138341206104777149743428752228007876156597596024420554866627489696667685260656972226429393727657372024236515471255714507777170116323131909161797480366333876089449909325279003543496618362961539221660723182957627947698367476065071299402682605530300377597217375836416983283979158427705472371208329311174393031262403619719010976459495684540439156744194343190611789403658856736255654843420568062953957377997030109557860255162384095000918247664525662855966760313731573723282302847203344031032124732693586688216759623263212797107341917246945571711786629058053384218358032495953496102333854782845075835057866737640514197698625020509611605458119676942925047788943875688914249362181395439254267207699506873487897182486522115206336031078187591161867600599519294222918618917426594553691245071940587665109451240785916774240526933821463535536421021118468951137948321158190285110011601127618930826354277952854581334589702492468628563610275571904035493640500787759774702448779130086097968519110603335939530033462968064579536856715753459693588254502183855766289795245794909566029055587756741211607468192426099741223203477354964047494794553584808821267130251105909779411502903926326426332725865738472008118709432668637058941717281348407709944855085086971429258554192473089862062519651442361989014659837141404642386649127268290167253801980622402373518363459683992273698848030002688487438825868032093443288556716255806163601153395259347626425541274003143251537561445786088208573572588615443661470940018845660767026601989681470169764147439180475026390517301695445058969778354085807871792105486007810993724523200542080478541510944584899867799400314323093441543179969180474477619491927209989741384094551495497977052034455240138031263204328750⋅t29-3759751969917088959069860237243598342023749061869963741420521049412549725759453173442118452548059390641478032044384180381836466405695656969348277521680941467736623570053559571521261451451090491232833083376653385605890556393628677607999303978219741541066415826188832962767871132392703734995424226080863324777649974159923888034877180357754994401547273740523394244673750324592174561549516514218766202624505091525044499380316862737111067312254000572697823126289343861036468434091703575487133782946240208111513909866660413609739062748262904390963775513636527200267497142938237298480787161794034175350874412114330271372542206028800803346169558896959428048846738674295584918562478042230394530117448545503031102825637458252561457415928670750099495271370955232632141471898024338872892338290225017575620599832325486680516589085318141729617610627247876803458600723838497855334168211212620568672888807739198019814579431952399406558111894841636390138341321751767798699785408650452682935693319091516793690235561944538035908981547746748536112225526835171177857475341927445536486376238485680806236717877396150915283139472164974798886941556863358355590797114348773065157402391432351834723404038516653883281908836327111696710737375212342004622982695879297372603903716232296761191329063304926399518785240505023873034119574361565832503335165314969056655873436392726225025226337503393310277776588678694660413088608070896601037876791907373751669347356958891895525753213200473993694245927018505034561637678400602672977979972487720937871430979689222098262679616717572348942936001288578834751958294010780948835975081628541074792430631127284486518514379424028214550075029155513670193752536198606540862010446505926829103202830756027812132870306345949678384241942097471541023644046043933545502021061373372107646721279405550148597455070122566806622062786914295494778938789546581114889387968500151702900552959982764937361967302074426196466593348120674729366719743722161256935846445440401641988777324130171078016009843072505229197135787283675029697202869747126458397478251074357960921268919530493136172986749456403873290262099751242188531520311569519434804819192327149744354033298959050433660354435836671709329472131207429198604581780671391502150407799761442408471228292613824533389693876997737412632571735514440845534975150956267448462611943758956877470495204625528628635899802038657584817023399359524906900197431455232732231424964766987294516321858016759432834627758430276763979399669078314955637280059573386828750639404952708637654998432365377283987398062721663267602775379797237406130510825130002941738676317667846184439974631582808372606121223500615526282729135490535727047969649860875781760547145918205447518427096625692770056903273789451794292999972176684821721294246765911580370557543526275781168210717617399086748041441721703046619686902106030393979782225806000279237904709954344229664766507997697178793729844985698871151831600985143346749916061652179645585825105751931502690131947994122343594363798358329436838503041897374893378884113638780875349378597064576707930202571990787732871126323101783525982568886003779726142191976929530473100445621636592197463881584552086707909668745570694225991560451682283956679864686342363055783455798364826131429962268252525219113498940864094367718979055725940154399862817120898668396165553978016655561862950014053251716218491089862077956908871505163284071527960043063557438537438051926914528600261117957764264361825405785781305773994818677913038990211266188491040454928301948334160488488679066210196192057513343335709060027420738191942912831468474527417695181142397684458330585756113014886286839119445018661777708991821536077311107322540360507137336885835613554034870520700130419654575325848847183394233462098682069597766224883758985507852194507745143904502519481330166772496380549045216242083412507960491336928253544982522589765977780175116448767699382183066212555296958872797186629749608880426781428395716877066708188586118075736558733953602536118921895573028026128461534128806795451416637463402934462987717149626111635948806442761825397667973842356042089438502965411229409252717298866005106603521347077267161526585992269586950140046209358414706035820720591616585066647683073527009682804133320024177670094866686764644911917422121597454005718741555908740986497051137157588965937019787439957582465361531171500193756712468812781233053105311478061904595163253663624003353234992975672598629691904523556702390419107922513239480689948882585885399032709635073000552741048229985280564641161586435706814248749474099035457922644610207000257200575567484470236660767791148841776892030464681353053379162126055025448973624890605116232961032920512665150221883730969363355579439647756888505469289556586350261909632208766365975178141056429860604158057367522550698145861019329329017467102765687713324553938769683289190667822899152818670112550524914648587317392037684069922583456046238243086232021118807694081806879792277971911523690264411634850805146464184589476928671037329943389349772157785164618509085126042750859398174209870955170938284074464519682231028831478087757267011066116748269015164058380781116199030674815135487856602422133074609311261711565842362452501415449965744150397779801852304729612286381069126591172790005169168699672800511045125908219615783800043277294468246797661083771340132132526224604592910600043704907943399042770339390891062609632696251977812594219901072663804948467880921475477459720378589373714006810513096124496265292049725703180136657203927590457311847781869054562017302149566422164650673140643927702016136518176880080197575810932433735125544538910276998685030149601944041727248213100696494263839242317839034201287373118230392285117992386067971107923369789487691919548176970029748359344365466402231050848833105162614594444896999883777058395736082349710342212315571657522574158557556451472237247679401414950000⋅t27+27184197536916346034843836686735503235171350389407503678293953236306125255078612062665391197492091121523192416175723178063592701382814057536193025036614983067870338300937174919493289591610353467713731288556452506629521169664122496225692504668872851298772539187133210088511234591314692473233870545985484136620294713473974915591574901301859255039993595534821679987751132081386993898844475569861752589779915835417709007814991808906163775547064880242941463488893015582514062532242763074002362755415056714979553758839365293597372861232433733960585345987040191434996893322273725793994033884670385658995537657567224487671945404882332092064481308809074474877790026390461396739905271088907214666925354721445382409040008133760297828278766737749010796658726102310567661900912166257471428868950001261540411991224975213804155180787001259705141931761467258203096103284845597949167562863616133572607901127582886210854671899845158517869165583619769151955598384925367453677223788041837366059482493039953710570079626767489522264861748940858931358837847351318784680766635158690792523393542664781710694573739943046741567299150801424019629863500628083881664702276948988992554321875672747196168969386174570694958566487401061789766364210230175110756629556951727040354135999788198864971186825182492619506756604981190111689280195444152694985548869079791676252681310029439498068183738152553220488145000808522624357268757914921346533263506588983831976171293080673036931831976238057912976309675873817479249719869023733125544222798631070971803973698722088908124340894180045938242672469886840702100647403922844518005896566201233122590929319030923841239364611335031159316639168314185392340908885593886666548687667384846949387297991540905392441184145048339638537872233981803475707025938418711057459194237827827457355164406735006687259196377547631087132887396277515130371005332156582461560627949337174624794725400511765035544998005697823888263609034252650029307855866418810991501768993716218560235225258710878640020955236406054626420153364707403547540712848543110929259452861668112755167296850308847515130262455994074931362348790514427270367296105573248590231576260428647743795285261802430398094552478500927803551824247129638173391566678302674346378910444438671849380113471162505565447445006809683505824042264733007519772920694094772605908625663636615002094271076453974138493896842233074191547795639589668151681428898887215579963976723014754954453826914204773099101462755123094411722150673556207593721717363677575023494866260659128292681843817763526841580365022814975328868182805278878206854440008611128292946317913810530613214639734289705895394002006719581026619400394427803154062612983590962421449827672119447601739375891038928045185230772406892882353937006241334888942169311395615433725667081529780700994655985902148506452788379429503577852563768845226411861474316871655149343584300418860172925706358281850188441910070743409842105217148252482466717430277845457125307248079987888855153292467063436786932061920017560987690080228723151912962060032847889322278293065079344408767198639480833833288024620714466377414169853141768889820001590650636059592503375496803379429261741366925519711757602962297610820434774756303204181124678110278119132474808959145288265249509159371221698380298119876538165052340888181252354442849980622532546676160043912872890666150113987486142661094395547965650483068875213304135726787015959965890359219754518306731979895734546310144268139402484670591277957973720850205142824714639982883689974004692043746184408174648149369113355386007056306820222412654223536959633022071166832416469266114551717570306688472231855437695079942929145530306266996903738190092727271813002336176962888865493838394223456613403864888754107316043086560303689310120070770490723822882452578911007266167225409324681900241599137308897811198408009901453457318621751389864858238783657375328087055640004672766595981501837408666412688291552413494252350560474765259113985521974087402169863198619845887237409033152981227323041965776822544007550379392758712690644233705769189572158251430035734806003306898943554563614334524052779971875049818090802041420228562037404500310160086381742205262247041475907141504512768067020890078873920096040830189649411303595751663324102807570424342063330201652957126935274237064593121334920525890278221612600271609235211502219043530613279349360001135925892223652965304210946559494101946382728027198461609691566633329723225579959919388954986482607386898929585380974403792154200373369893372232946754325053468756088423311844160017634623247732047594784060567890975071335158485147475137338750429494412568691546859863655186537244668539752786068557130387222906155910824950662910834706751502773033232698472540099917570847867063235489239026660524020889366346597758233726465314349577884960872712337890919455389099467008076937503354097790102083452404239529213135132035418816319352179861215233816510254597265749477215282408106851996878024981810216615692154366894371567641743542830559090643665080565096380281485279813001905684801577902312526229635257842191942054970826212215200318344966433378475610200869613624848678552917977446831392137695722765623725775201746049608858011660478499162114733703094166591442115325059468693917966322868671804572845963375261035008457159700699354588892439135267017693610686890692139901700869960630490488459475830422576717586652014458026086170560841167020758488264479930894753144939751248683923029745539395509737447142346944129717335232025262924403330703572219552876301567042640543119604553669695895213149868668833237696334080249686440647434693983824781577563073629351639037827802322667466768993546116232124395150093786806696076578027721854886470847868737423734827131440210097600666070289056680779657645796847803570964338595874079107201852985651710497497887946191695876526001280983886833226303444349768174966846773052591008955144810150000⋅t25-18458051041062547005082187997339223114257618820660849156281398635605218009412014726758954980320299339440603689470378000476720402399742860828365931072314342968497595855736116401320026830186301643904774713794919038517690477552911953016627708984922720573076502828898756388841828664812063034685438412539357887298038763914659121690699559035119198923483630125850384799870334067926317801952818871670357333142060432019707219776685182047908286991131701502293784035566545975888184434980634690281401017143641939838789722302257168388076528565598231849320720941416956937635664139540378469410510942836918852682517590604173564416180281844745428975965009024161616301003757915915537960339569959261735431635308637273404659349630592430945945355196069238105326112454893672833754232050039637280635649284937909985431248061667504606364812225312243153921528614104990668189366755917282447461669185020577722535132647475215416707054474994242046489673857814673579317210992167506417077075812946584692595130025471670271722635960723053674655263406093834151812107585663494758879741398365117293764165876121893985823877461186166970054554481408684099656370365253866777824697655529342502694030743796978073615157143454765148233307353869478887094282223120155450938323955677252828875032761567463579452930700928190124433453339748305296568623423761006067808390894852414377449420736796440224204842597073882387646453035131542071985566161191680885201598390644396144249970936438571935037779326864060292675277320129754849663266114561743084448170911821625385426309693340811499814749711374910204382583974830797609016698943241895008480857907405134922359653377228119473758297277240369499781695151304988265775060742941247897207931628329366264618679234872350821521087953590096566266570327341087579356835597949785918421646814289976395414642962334140080046411609036658943685935695367728056738514386679650830857325440048868690201666671344344543974427283026791298580197288594995232969438305798700546100411501473744578288693799985375087802836862454847868436444368406006858603403045110358489314462595996428156025364614233675187580808933340584299800896679116928759925026735648791148899003543169631724841959170875660158224480675302487545764007116043647594342387970945307138706770639527910801419015102701811791514823341920293064227323534972893946173182349909893596728159301480592430057761527167687684945834888237506180113843028382501383898131259521591777263247576989129615203514103107152904182831077469912104691570148613547954591915209900240995675937986723557690962046406682046888467480228789994962418091256125891855938827374818179247786658383956776673161440220399601858805514183422595712003623294493617579049205203343550375521484635039181946749702253441538663394711683462469367589240710702242124160633065747543737790921345916130384361678374644901233989972044917003914375021878803651186937348211187407608099171639033992611190532415448690563550520238841675172537222647750621669691814696865625915091944322575329589038605527149314092537380192738973018973328268849026094906165915762464942948423527074608024250591100224898063786824153745219176210184786532754325754282697759734773392142523693988546599348843810726162855995332440962552674081494798472687847852529033904672435970928994562783516534833839086747065904806390618494085944856704433088470134718120991195185481584022818454200771936669649163995813499086716831860222329602784686260714862783342704544084507521139918213388959426239597636175914200713399854035079886213348321872090687127568375949645363511239724507013670079602727048437322751868277742048175018881794915350114687529761114432412785715635385441483290048970296002472826826596946946087166501423781194920626043628771012515963265662951273144464201088037501262379002406577673044771215518508208684766301660555609667912247545619869774569537973657799739251141819997465179904312465057036375671156635574291709528340768431312508174784678458921377722461060261958859938927062784301360955851552091660493888019171068305926824552654854544131940310466714567596999145587922397462438261622481259866230702445614137951413817568803544746450800065005074424631073991855851405827783215366113258676003003659922179084252034204746946425668557959706103707521483118779941534071860618921356227351331386020311175228811735090269699793595012163232131532566623088809588999675809945104030487664299702537026764588460908474437763096617628180231298919811156068770155418712503063283060573037574123995118091546561777550142138780070532591790122809201176146318539420551214924885809307118093373711120737863609331118978583598436433285000609412626153532809564901366271652305036340336181593550642010973495990253821403830601405893781449786948361151465146638120414721530129510113043918875464970102902557562343346103328728001453520289991538679249809354262176873655300001257067954722470405785558187956506684789714056394948525555790711005235816865704441770574606514250678804286138836195344062267185765143482500506135862113251847616692479062269201893419193520070707992028082314185954242928242634469845651578627977610033771255849733907842499093706479495528394308816086027704553148292433203652500382607077154987973844895410072396114660703931740931549214818712167751308054187023792307442817165696309965863438496601872005158235028287509489632927641579404393986897624827999043298977136327430048570951703922341708185063738499456615236170138393972857010244015053600574632533259401494729661342226158754090906928971223346694696422257103408353921261559717718357956145512647736232829273281470722300124799172844887507001809567959221123097045671516707036322783689697863544244021179265467071753684429565395872474483341771922634918005538908818073043437958358539422657797977892951731300863112573338357334843572625015160712886314253936487515464372728164178434758833951535829951354630793060420299523777804073713163502168886604438109662626419087039392600⋅t23+155923101690156068839501513467783738097874619198314420120737594715837441515041212356622999322878475315099207949235098693575391235766353645204199113915407346414112536397609723042296923223652757887439706812110294165050953061454877318099904485411492800100100855983965772514418378602520502597368689027739229761776528462836662081066393958936687418937129315449423290801056525069331219872853868016245915464834147137578410841100543632213158864286805797198468447273540463790591127710594343431105192104626015181332064273078602774704839089699129777855299666467549963826064799696328308096887607684153310578567302968867425699675685911313434530025791557023527435507170325915745381650982286586043491054679575290181451934479204621400327469622519021119549912431866414390014981311055753029165833927921269503431077528009516744910653231898428590896463462334518661947128129159973998933209110834921536706298099748417388456020985627894214536887442170104282986255798185266985752948779635880478734723813615192688113532889776214732666399249058273882897425735406895677783873053047715186443156250068826582768793140111659109055754524098669656138453005693488647073981247314082668310931747472665935923894751384948467717765809401375360485672383270288573523277377413134820781441501615326000552285898752409958123143991422907015155706524815393695036419908499207912445972459792618092782412487019319074725514265649109300069326423381527914263365696756859658318966354015741397983309582018905489061446635419003577208595410134314244694901630706212727903271403772486043961779272182303281941446594469531093928495272857274841524795471673563113613574755782893697791403432789458688014809943221208547803300261483691500107022649204194996812695875946910609160080057891513635260819431216544552188581123409536423629691962500543412424837365561719824831874627974454627030813082897740769528440758726022525377484617572754874808298976371323840096149258490769024051684103136256243236381485408647712110089958899346832753939004540745634198218229688437356012764483671246743244493539059903347164177672071604784681200914341096429898720534326814070453828402278800755260852692870198108024439549250541107235028102290854299397041477271775701964131445310322934733395905454896870854788869681862160132672785539151617631818490144098116171017739936206535502576849177177339444695251618872193851142397211012410175726791237039084600097188076420806867419354100808398352000350707009591157144102607028677758570100342014815659379447501629270554530245544811007464456035049727080614449786501518977224508418845877701837248906284304014252062075527201320290073279480425415759554330725857606492777447790868103326269928037055682762135902432637549171778160878395316776251168774945832781904892969944382550435778061264066413395536161075977589589916314528623887568726621410341660899315621942151254345157395332267666645545921560772577928663541103090615038760016511703422376461128103683117104681388450618994880256222606936310548663940472564088067544825436865752707949647572480745033918905129075980602424554848793841562159138158950913954017718706964190077932261087747758901501544606602218464385254223888623012110367262395184716744274712694540320721622001163697681290665430466493642725144867150992522354634534813857035811003524988661571466517207326832330827977304640502000829057115273896118723236384914531912328953308032888963377389694137839691221485841323727227248647188034364954860542195702823062185043274002438838833357401738801961059406314826345107497688640831065441676609294219592378182438509892703294670187570294701377515745095841843716019898599234468360066396132514023730177008157915363620642386154634827821738393523706930888041539620173331092316540655585038806306315763881916574621340484894444088347177169966326081923979393429737989815541618037050367639427364316343371678290615432002876436542122244196834589606222249848928791957275037518164224491531367205975379630269409526005479251354081667411906792789308986532995832123790061415329207056368991540693386870178679798028996155772837798565534544513906105875745262118258338150676406244412443733885319976432245656391781809523223946239470431990245603678082216903088373464562210051831965718790227116905929385902738278743850279606879200480861982921877169843125959081471210510559545779301149266339839490394113885035604599381662312349262671782040196966592899281053786190633431173876885942653008989014903345919747206989447413031340174441030014475979150115543321467012193085589497025780889730080868682463926043127511325141638172144615213607078276817753658282192480398622841744250984812106816645395489697097204625413369195095943731066501611564265036171633801326698509058098769417511844306419387325989159068315377414484596616374204503794206284083371180493962368238797666581596051847137162472929562148846244193735311001795078135141724766810955886413315312826051579210588347385039972284991235442012016541283573759117273255002015564915346137691159280108095033393442109363051322242120738321633274355834534283038716455615396419189341291102051212632771203140483585747711965824857389649252533116440283077452971353312332894488364319936166705152197761722571897295759869723521398794952592024363492376708839565390385216021923750935894084897225528869149342262160240829873203744987783215694089322244742980585902448490336849895290183105574305554335331709545177845230758056316231008564245976468066804941512751210125365162456523333801761137635782720520632769536182117499722883318551290876910511062125620334807842346591445084695844160741322446580107596733308783182279206942197381751401495784096947448649153479275226035434402113663626355907330083378356326372962531642490292526152826520399608524607872070578520011600291307292861590024159073270093615055828394811472320139711057774391139080300368479651525682377584353794444665139083262507944584074427264578764685993869098825590566648962247489881000⋅t21-7875521381960261940687303620446280831181649525587452987710568084949290077852524138967480673345446940218070643452627735468373919039782058767260827186793144298898203824301034268847477307355574289107141043928611738129168829125397848974374189308589725618434031235598186477913158049117184807607726966248868523385894565022510809152953396171085768974042301698754436016566564791668435021971845307320194145729681877908940356587442095036809178799994456608339537942155753914888281097083881271043200798353583050977956589616471235333350782117358992385734048266810219871814370445043822097448076557198796924860204756239695605891074648212217957606131758236104384101809293983819739592117308868798695227431009741342113447245675507498865133099389945893507681897058733733008546965201738492003037440562097053387584171535492395292598545363288623456395732487151436036564947549062346155158283598052643358420349940013165381013069471220057651814114168878849516336701140835822210331826533406159610480526821508345726369185699898287040460220355841560976063905169204413222858878965523656895949361761557944228171658197829325081954404760971191694333216794398487134623295621336563102155597038152651084923869402928548911306310642059902385983619893503117964872155786901662188382983054014283485487672713384043888447551013913277827296998199618629395188272337610452143032638603948503003935220280348436697816095336397383743615361904903489451549202006024638074547916208351140322711671049381352153744866365917692172367568622440109850971231042783942051740388038493784386197107413011446028841110868990576122529670812395907252262601090711273566866134828155407527799248522172162773209544683071003182121090074521600900939161312663795439571690151873715241113432471340741355253400717221496424675690846150401834216750033077391056570322567493752363738236983625134436844317320364407601085885588405970753817413426407857673825923346983291545462588844952206808419573297358202866663366249289937293383108395840940148638075078999523235918951357258998200986287790876233105017354139533879065273129689050973090904828359865936910333991352257428460202644000799853068388221935563025644286795562338149025225995592495263436951225913831842261898076469122504139182770138280215851168918536536226433500318775150966585373038549925816933021024850102778704949633232736930689364964490977666624813041386629507097299282045897940506972072401657746387321068597466205092002123121656341346248359692966868300170693213432108098071238715423007251599341428420959232265590659376109119512285857071544996548109323949838552614535498171358835568027737152923756121593757655409703228245166664880681573173161976006909935670985046379310333610327302978194399255517006720330304857558494690781586193800519821767168156947908357394312858268583202757906928101024624188103613426460228849979099112781412440361593484444408456546423704415222350202836006797193037636161983281828629299328675182116715719018581557041438781573095860756543249469938481312786139693371619576505793429446841644333344508828828236015035919567058262379587605113650025467220851679584234770467856084153181952597761837365120217080140801261052293549952108892838744098907747196198079212650258794965136101421991486793115431079197662860301411842538796058702556997533199727110359025628882656410224592696913842844741524809396617968829439336371064929415869836580986728109025103011595676856635686804891372335981573893554718121443073849337919013258138940819218952432083880640497567514554283250789034637805600595919928746916849702385242044642683539515247759396580265056284173420371712140451422182855289595479538956250167085834024575667678741942140495723854396344761965740191573309384125125966323506383555891262895450743185337418624145410137462981966947271394944111364267491981210739242689917485630202523600316063978086819698657435634009408901093938189837630977309655052703265066797052033716800914162044310732194783662249199037306385817349314821970587870424431703162516280927645247711611387479971574746526884156943695828728248532879961221653359342409011029719189650691874473739640417388937182044948639624610959848280973683062412325958921228648704603048350790859124330815134893831163356317093388887487445276445917608473342419353258690487493726601541612586939815417543480396321804166276550820579155166637582479053470047617404596325748942123014136923243724242267669531653546684124091753519790298666204418264209430793201795126231522311250304285588418405930269946151272223046792416946096312371487910379510851210082676201770859707895490900052827253277681789785814357630149169785782887318600848283564947539512851756630010709297040811351158353144775741036742420771180951087271863855742753706284295727569401416153266755607226819039471616225561372249346536949642248403506277607631232488331905052620000089675030747545712445055181080567936935293769438932535513835407605213189308680861337595799375729001530017291875991867115349346383396338661639357854483217179817351172969053626727533743236160812863113849681886755755226893953659875534279769055916855304622628894580689285694796349582200123284544473964699221616229461219497571561925966063394751858588500516008049445603278527220748480672287699214300986061172798553984652327689559127985739455377037755966657859943297975907639199035215785150486632602939075617722476140423147454916158763356400594046808129004535056329571508123588958932579571883252649281471163109999535074318268637600176516371848444576857763858609798713300883514139931693258061799795212766868113513800847958401628427786599657132636473725061746323956585748996700984153974598359791266295473553909556389451243434968174645181527684258241019204689420177825522731961202348630132093881456818619086537039484399148488015175014729532545680755933035734514547976397909832884149210681816884276932359052630210547319263080070716568470469652090846590182552011728774482012276068429714192263822000⋅t19+41427572245894010659685965623294903903346985662044698773675521554347082864181734728577482295334200156754368151068746844703208949763109576583966991084188564084828822279301967219459255246880048710764828000709225280884734138120841492391441698350017437087892161822569073204480561260709604022618621467887929756103793694547265599889660284144495174010643223009587422392053939597957283089798432693089675675035085221632907445585676703722666007307452887356191261583906733492658395213093365852393337752360463194817392555827467070329416461021439696142561177753617953020903331347639037681924321268936780469240069529646758032698053908086565033782649446441903528336956935288757214396764667455775520247971856909337933005163639750411218908577100139207199912157183199291383032946230021776311559921334493809172084822769276880852949160994942492883338240693460548091986136226085111542987062916267214730147044744157974216802157359793267226695702527158671101945288441763787319905921898336692159964154675378940421699542627281190707379138602474253712714838683281105250382439564431063191590465487500987956489062119843396590008011110695574451613009447259179819361137177009035223743431262954333978318854314663411817216950040241276532082590989469673965787477541452175713139082324518635584562916379510629188121273757858341822838625708540061571960794622412414783517208589726980067748315441885752824620282844706965450810360895227459502995335491204088975582019992192055693265631498202277443595728829690367600906248903159688051611528196786956354186079898545197319777098916985809570398045691434949215779060969719677286966322519323504679282093515756320771692409500722116435569303428882511390786353897752737315981106157727655586151874331567704157747144598036999116850266105808498496552265739738205937338955365239004577946227139189113239290669406335492340334812974773081873415001249167291926363040625996838045731983885469307250938776995197791410264216675537153881646279710414171751892563120239599963943781749319661916006588557286662964149353107447666527530891285779930144585756086137170788895955868930319817278565528883146079467977464292122291225105290918785073084923576701350430947399588199561336560935896443088543725809089911755601952270716791499383130899235724800124513409938402270393701604954326641782134272538676836978532008447314902969287446538524618121688435712783091701704639182075870001065839680284525198942462463644803522608712645353546653831718998590171873913267240066306324516168510218886316794120436769760658764732848132105609312798471416270671607840475602171082356784313438716783683063742102567960898852876479097536394639251827887542206761244619445455765703554669293933640892981231325136608453604814054166646225510138802031288722114764950200165876190948006855395527028887613859773976499070657019576777171524034040610923277912467251233860264131944412362988421871791680116617042594348056877787475387928333826857865059757628801972503670791105232311836021990569155255415268199628565527320541665488875559671145167812237953285018262761957840247607393311941147026891077110175840679938014589775937364816950555782382277074626863633281623244567838094659013972839646315620356500902418068110374652362667227024100168469905513400163517886905380639894240797804656440105228812516582172971501378861218760481147268788979095004151002941920282609630597523736478288224874247131305871024627522002203144780378669288298773788351250982537898658090493659491171041320463120742822506241112616248250752387635938396585887358343434966651564373428632620932710922971685965244655785115857066637172008523634370839910589820079273669929495928767395106916088802786561246709363384352192484463470324979695381986608221627220993179540617370423783885639194502420046828394009381983345368707173254139511649103771042246475197113954273188830193993325917983889863884415469488788194667514306707157662882331061413871520421167686298483044097741650855162350233069153213300492467694125568292319619996328263204779460271456090156605517297433932796117323981816176907088940940354150646443035777014715762135231248696162371605366161263558762822889683422090509309914594800321893765855270406543005714535098844010112495913008232128458555633431327699142948434860029895719057155176555979599058792406612924404785862237298007197277563230786119370862783404898976244753438896833390885047545837021521357722475570345412054065961204676403813333275155616776930649029974214971930725672235093151860440105640382238718472008177535313581915744695274761723333676326194945302968613121858122432278029588724252719038420296700696426128281012638550699304512848222441296601031096135783168476690410578861935370757055245800806200915223139738790512232577265483563107296177738119902688895128006618777747079437207167575111355132369035285395393268317569551716258425919201636188065167128053618390232130794780643682959407202330175573025120016873152789395114634059841993256703781902389505837727227978009530164751892322402641451975510181853579761734528248758515473072091010449742515257325613625595851940676034420490262217853404830007354231640780335882494155762147499288083799466984820219464366438184694169845234618719548557226957251709705186354635751617360536003122434600615917341013560073316282997816331983016398586491719424885400814523882993554409072753230318441589785326597878970298372384404123644559666926991417455602119983859948267142544339710706855172725203595080033018506875915487436403662360788219055324970763246977646564286676650441943234322628688105669899870158001459295399458874743663941178503558074132832534581730422925753154390395674573271501718639508067737802788075339243948478224308087421638572672581486911679062374979700628506327605217677400571532121674237879100322276031602115080120003607132643932036930667929155168485598598398006030277528027218905217625994209162218332416191832643012728741511122757626078971796759184517804518330000⋅t17-330293069760934423845235241989722718481860515821260967202018252295657897177231216015062192990043256126757061574159606407597535799977003470765584378030525042972041877427575682436365090355301123146481525592323992329519543943109588836463030253248776711286469644409761192441732165593473201199080854712090298580309794877110043959903152830963705891554191074968207198855320376924385987701461991061461379600708121860992078848065472652744811091237569882084418212655749099379701068054747040001669398827985127390139927065820113693753146497646287921456724200074837519439805419519630139990346363468922162292628920324750122769072211731936738875423390309906427746913476685139060174295043513849329033923402813412296511620675348338429066065130719022076771781116639737533084971859841385263192804134802672319988079505493082839350253728162390204509967457118556092844669224921502670065281058440877274317616253961535058818795523126033818449802691441835132662825728127662450006282811959425629747785839580156619658753681365106051086110353589685196554896410320923129881787704954485777021447856666979157202272825509201814379460678861272006567169034059350461829194775620492159137790847217497007597343219427184276120280034748044553756557138739525255840665756954481918199181507522294592374685484571976944686020004658484870960340011463820196330261514645964746530202479377186370433297453412292360122112760676881561755177497604925288272162799636752963563950423184375411724014158061584148833914044226522031424460442372936843282096760056636809733226171325696770231658572256147400020150939195070889838776118526872923930433141077982861572296870273123560638851148931328553633835206198414047140970786580279818728486367452082937751564447417479537513983844544525034378582366134057219488793300737877512727867805113977722275562451739967546408238091817082814566207740127479686315335281871694772889405806565352965840787482528105008749598807078147588307758381653699080828938330145077160436367633780719598977122950349256230401743986028394813796918220885617057752683485169595923212775657845568732732563980036236263001154375165465597272999229247935022236363389651189826196803306593931030830549447608330923414410863585573052428392671209830550100009419545474877225965077579470978860535611249472838357159679818093026804462243159764377672024905218309382837619012555903783268352615954839610082099779714166795458322280597696141205759241492236023314040310017463850743174898169213423238177601935671634510469123759155482516941227813964395186389004490645257660308851458918166977845821007738543056796428996864504211417365350537488217550771123760823507698407004047417761523457688088518376429218532982314241014250557655904889304170632430334587666831197599766324449079287990644303377862864308717038644439949120204862129429623620271992408165944684917051355478488416958173889046081549830631888675300174202174349148986313646426663485308158149491278388268116422983833451909472726691360330839931072245099418278727021029857484791081221556344766058155802665546571833191045701281841979718548483378700699419512210746552420503052343088887360329355922144531991352238756743751201356313289986015187444077458522231609496793396344865547854558413532632019068548218148613948956968764942453445915266982453028541275822275459477261758299498433065619706541253845144350246721047374825022578930198235950660630713068221036785244754656353205946446144863312415386988682711228290252592885421876711780647889184365939163525722869682395255670161407912277549179703993954444635279618301477795524968789766216060658437210547948159287704005845770055783840744154914459128797326679732591832023544587295454108031125732105448499792808348259643474976588552297386985285905909495734380838186547233444130905715326574897790654278234087469206325856070670252376010301995697510249184938820919310940212808633588154234901220470506977857558608295133144997218171199624108365514960460868152170758128620050101206893094813132474259518822911327556395423965555664577282023242733029477026233374160860672306197923709552738111599314014905385655565834656012321274269592794514944122172785854643485799834437464427773734445404780318013588006022637082844216776299148805902274118547366563934302204701869721981615230297513826907317269836619702124375578573030746873814253152023484782806336219228310276310795549358526389873898231964069740788997785023841701105692963092935152091998595008145162875174073877291572127024984477499617429628551215231065051098997487477823003265234390885495618508283277607929066692006892873656739514414567690703164777850165321818690997986455220999388203985284571957312914900971679163518712073415479515739203782884186089469752102638824691790870416740961428049041202692375595649936817341359843482591968408553096938939226446712202142298747429869304673947640985948719513941773786142494884124105958693952544943469683936273740088556648407486639863892018412545184137149396332942706565981112555668930153478758199586023791065208570891763951245888857207518148674690997902361281743464413569058139824367326231254839832561159726644677604694124845111562233861655862107807223757127683408300064449482160364201762416042077097657031017628789380250464453401559256944475406795604874403785477475770588234397264417389846025863775024110982429670751774294338979106990512190364393315637338777132705693083359586016115956286842731552791197610217750651492445804013570552421313666821182797396941053359021589148446013035490186098043932414510164527523241108172929108891482817751928081864315735241983896931825059484179460860927490307905710148789713656938678528055540944506766505144119835867937332019442741355749117040311232571530042842908917049356355759770178427811666006909223802500738432844780272782966163191079184898087112253350958691875630489097318927206151311845631202301857336561005667760151267572727851032758328757399107493614596669807168891734306104979117669500⋅t15+729369932226144436572418980441220235003640343263374680564891676536318612867399289990848010278538158090148353421249867205150575574592226955655881615902598534719437453461254493239108885133917767485374790476604636797218465814475321344857133091569791045002958587631274556987951646714881805339583732047291026614799461809138243307599771758275478768734814515717505370335029295805280370260194379534237900995938568766296358540685077666367467970530113962701899731059877996953747451750917640443308555592786472523670251409851658198546166245518327708891690428177654579967778077799537494463348594649789977241746234992655195520826928673638574041446097848415008089633150692683710672394695016001067409772819374674608055597451168882987422630516898312103833767972246336087096572172133242307995001043478692939450681843321004181659593570324593055342092722116045127079761341818076668538034086338642223186917049808238602725908422620809042914045958764182494328116708759917435291489532299327255877334108763043393969537338079317490691095671829914135985516231017067354871947552365864623394057901232864856670227579806322216456917271315124577053056847217507276023483199085888120822614870841966861917786344680750336033751615810150863494066602085904574930784142817069054201323340457377260440537695221151407454244481163930193205574072295595993058383333207931842981458374337079048492857897931754513324725343980255809172897999100296004639916802533325440920155221283884567727915167717362308919523942584852084100285919935995773634656211432784564114823452956757682319648430458418618865487347728139099024307385889798578042143257407567727360231903277010309803612459844664005597512845998743517721460439662153035792952860708212434840971067135965226623597558549243856679041832123560802335134040757964873955638027253368625246252660596887342838906756050703001781909368663908528132321992478235711428971145611515232978566764800295098884890685682804009514505350333554262594820303723007715282526148389566138485139009388618915458877171708628736201823472888250696549929721279274353511386135203598908304366623860374266172872531975494549745757483290260138709045071086845352858484141444157211062369626067654849753482159104974063604935070930947675253697312844589004791424796917389449073075693040170912610304436058582246114262994771860496697352398277348785438041710262481313661137530290660851264118802176746621250897897867527605104144805949309775618989368095383094886585656498451414460699882042087838291130972828012652723060529758126989921585585117884178589892656196981839964164356221370864337707738651813094581408735916075825440929431720419641462095055424677899778802783640195428844996763455005508178416219062591554508787367881835606436114279968317029698666983261184582504861477147795652681769607967673080975011320481206291484066227899869815325640848974754234905345326203204422920482208050225785361393167370170974783133355504547271061651017195460376554527467773569232596140025890827915278723502143192611831615224607993502133861532792500566085477268832093398254027480108975922498014391809227177836505671092955170418346018425727244464402350210355223451624117611819301527020989490584103567122304025614913882433828345589723317927221880454491615295064412339299237355665742975897989947820145403594114718301852465181343488143257442716640650543623578569127123475196759248870341855756924785308783320557132862005363651819030690951722476943758520769275100772595144390639916945645891463760326996438442150089444370839977983235561499994563375888731821722388055735075289013739391311385737809977632119673792849193798853343259183627635683143836662418209098300250490888546431814369985524236918908355337329891976893139081700241448658014634322925605685318732768483034298855035519274438395032844424611333660226553888615840770705232631676792589314325895439439709621854475235553915475567778385846521330153586571874549261472634739581515756630369730422468916606549403293739088639826228725847118664028227282991445837414127934173457631115244971156942890831973214430096867620897531003543936879272746932141359416288107371104349308637915941636077133876178947684271526475727742543024241657056975552623911551721928174764892582451434103033055622914284633498116293291554075578306906205906621922861971689940987184707839365614667063181918938821598072767560989550708361215838587111758256021401179169732694983779191966778181535524149182515987756499550705055088358073540842821217721875353809029620232018442138302434120962306743314168471120573604675572182847726239009744631495041865872911326947018984721635551440661562878696739109782994668634728908412770869686994181775567805919496906321494298775822276478779664982608709758028463299345885521015855930480604987333520877979688992921776872867560248416182184687607063475811460513317432512158686585734695984335778314422098883990224351925761586463078807245730385449343136507550955004528201874737893747480873310901357871503549695127972105623172035739249635893568246117771085860857031469951229581308021553149148312335904175387506647040915271443792175683747249046475047698048802221686470895080143941225177235597826955415186275916915968888043929625509528993868413153622307456468333093927873524801857116361699619804416303717429411756890447065825801082527182352967132601416551175993525389360917320516032570321982523629299292468297847820997581904785343803531466150603326112820148456292118257671100019096584592948744772036414330991150743827880700193140097125326445719454131101085506953663197207411838230427674751407108716816120189804076421016073796701254606902725167504724751341458769713944987536687684472855420596750455143888957242305636997883837618944773920562858676814477997269156644518060208950278935006343361656662822990850665118611254759121064915497172059065690705207794225032860369071905773328218603049390481318188848056987571179722028763651015784342408319614627970381771960882548500⋅t13-6261709356987594865395505208034285797972288739469556018774131266343628606603689194379789712579655124903574405257152728704274904368523231449087278116008646868032192927945106957555134658128891015473144446616155328244365887695742934240749308360609588135367701412277152222212056125512265149157147231710420178499753958259386635138729827012764852160630301777928005754686538112818978450258301470053958277885132848844209970490403723406539274360446694816771438583158222440990179834451497040769178803142968870246153689149380702257856993525214248185047125527502232128037918657053316378501336025139604154166730644354689671278737285336840049085518391183592752615509335326699725502766304802071871929446866945058245037372824954481328873694040954762454179314150236803184558726985501527742303938783722470745604674532067160674752162003509830399047278366815979046041141232150015429299329440703878322147003306724668949728263871863078981932892885824988773463386186317363774921376810771661456093528923645769817363072083985292754287860692017212859039739931111792738981547270098944446799741435854159433398149236491348120716613682824180833874565853430803488910413110616964241487004917363894719123935171559587353133930396262022939048368371052933660093330479381119500924641422219880242123156212425393242305244006536329670861013247804697317693599886607240611821874624334588205264529762491438347492012389751105124811030157310245569091669095102184438457357146945989978651351952659507482723685585348338160436624005634065445652511053204923318282128824664552032886838660258324756484348686239535109985302073588537067514461381402190588544475404693999382124266971242976141488584934657065167966367801083692345694627694119425595953852655858951601271809785178997836186237430554605364536998475226194839775885630832893588613106727761274389557181771311245359701392204100542195004666489186143093508759394865896584961424847952277440940535361731184660756873927296859156604461891059996297425572478992821123179995083410965946708846928917166060576153430459133573995056886920483764615334853984552145770617418475818661292341328693322091427803450817055729201816609163352070189377193415624612896940295311657114508292654771657817884358164269370103242563861368820373775552499710502844427795419168463629310894053431044055077913399062024225927693825851231388819668314976648615904829258602830999252863534615165572259207597156687181309862447879992261687246867829002253078602700770452894678558789398102302802463836266429992497528130174798692238236953952899632712560424610537734023237944212135702607264903567023640499284972000377969441208511670313850759356846773485592246195221626542054427520734895196444803426373130030823461383528039306962134526513753925716322182947857871133028573652032434043373923375268676967941208035807057039723007654842728662667967309636361719646467821674263429583302959830287229481450629178169608444993225315463081415592029508603908415401212181106587745720602398811661706303894744575518953772830070808744837517939864337079946864940532120364952398651880228562196886343645852367796773549393048968407107472760446006988261455619092688511246128911369243450395184034657168623036407854601313115307746716844083554998764635456351863369322936067223331916728820023156558612726825724681696153858605403489443110308265011897463161738183577308740077954243073268739180502202425889073521653365738705370527823866491387585445745100992041842570451130978788720427959558117253295994507105771548390502663142203502997267017473236809145127592090259380880539355742218439513567056549814992582996145849339294231823318771526450526644554276370286111065745856018829044481924886570329927888100698271562148634525870449042683268527094563515423187835380453130089503941336665143237788791750066423834454006731490705511498808611458399462235103263905482927711593704186709884901072299020774873357347410187244587172088752508346682014987504402439572238183143972153742373640619415514522912466028564391531623264500251911053329972817365432646976773829585137240010685166521421004498711396317491977234923030722803870562292478518133103227623522725426753847870850641258780091728453827244787274233823773060594903008241776018366094074399613838850041113603020281974382061818408601678823228686981408386070044612798155515116624129924141494294945912957561929192169268440656129239563006642816851037003720419751241367300292897832425644803442933075522264840778354379331337681179383228317473652408494672528824542474665140008527033288852785350234375602010004006587196698510743358990963120530406789282319040757553390541435674622193997644158830671888127017330575010926017541751838837417265772144681736033493188351331836224277465470560476949481475227183676549081574195975151857480251532702906299453643143680750049062097653407147850318588096019483948326703501444043113816187614937761270834435738420579631053147506883456729673835691395447849394452280399002138587806713931723743786798867819550680455267794312392438997658206336237396945453378992599404051540192236332569680371750618838166998176184375653134661698967206323766053056928169186871677611901246267186577012578609633235712948849666732799262619111753292241271581669371896330421316799715025785361866233541441257625851147911895428169970658360148378709320860764920982674824217459978983471149094537079588107915562394218482120554864911319474448810938691284548320315777776768320271667592970105838434881428939351845813169153226360278407466496273908585586487747167329980303261438960222409610085092001808235596267295473018184065557350213191099070866188794258523361388429740940329422312654482831637933191998564724480415452027008124524915535117821497022612141426500443139431758293141953907202548088987692227249225189177137554867899014089559519555961276373992115539818308814440985932130293145169913513767610982822506975860468833139414396890850915805291465647307629227574776889675278216400⋅t11+551156730715926153791333140239314468065035766429772644132100947151945447247223482675391081119252050413846137177019497586006953076083730523128928106245198485760969816344274880927768136880212831975984179671863320756675909442625172813098400127413896566145217256180800307510466035089512474123843225682152825254369574152333697208411352452532027581447044289822065861755774574899052577667772615029982416830857322921612367194395928762796894082575540669895968173075743078582369473530513011079184820169500882983917712424980962412108396409683082576260486718606893372340462999532007303492088630524485713805164580456916269605686004562682715763730569971044607079868347591128085893177773530604928553152514019775828515964659071930204606358121372875295547408910105716754200706595423921668876590847069535326611798821243425986326167690968325409928500571832588022747639212466184812117899058687966317978841936095829107486439014867037866305580653003310143915541403258307602934984858682113797577186519407367021093721005963567128236599861064258719169895685996493186321872132225549215202872137560676824323212386130311758256350494869514628718991727075827983449997574292489397959761911829137275572330894841793375119247621172789072508337390867024193155275051973547775427305066125552908621817510284656452299588805739585402715202609338999976551486562827816880072926561351526095901152232538996088640652510863758906427031709052812900992854082673502614213882828422374665283779554942564802523194404207914493555461585562923545573379493399210350473021403743845513283946016457304525400019680366404537689273423949984571324276721029823483902391746066593516679937342372650628927521940267917337508483924078438065381099852618321330272874159486438042186336302643779916849424979451385677430545574614166774623950166890795621524507140221106575755104686874786655862095533489440828265469740819585299916603997210898873905358869466418336314640699972737801275342395694665200139425503096921251194165826732528217360638849631550063756611377573010039852542477803756536062218298140960778765350742494375813296850607264899026952071647506135773862230415126438869750822754794300026483412628174435672869537563648479346001675384844801255148214509556925571941330615361282522904459574666711422658367578135923970979944616982528912234787462863574541171787691533858650177068632175949951093684767140989741768892546876556766383659068057371995692807918775081390246654713690421835464459953097110098079182637919487559404844352859985252159822531081418345740823758047706081310237595911441616884179321501539890039055766320354609179960718684347539189977651938945900431217008328775852761732751200356001981663491014044716200858097252199403879021572458864024467531630719074188794147787923828919575299726449243308807573040722283834032645854933647432146001733796579782810577349112267584409570150628919136192746873817490871142127271041875109973112570984851838420775770281126161640552704057712892065533899160883191931772802512420678716792305019045501185996610780955794449810965896649194162146827510619604303850220488493109290108804382080762722861668462723293492917527841983566016776057004612472427967789322707036894334416170385405901084279989281857543173555678701574151106510546423636570611887562492540619292913185041702253496586776399961859763750084170483032835002136913168845975927729645888320492969275965361985242227056564068387296484301857981902656606844297422713295874447455534948316872369225785031651573499640875598816513223828623942759922061259178048580648395890664330880106587564887655675767833178197146013183278048526355701417757611974301583707173125939574011157348697363089716770345243115751459374800127980604503647055600740024458330567535200557684872999134571377851036212760373603392568198496211360309265801528744654829693959754230169494521830017191010019100748781241437974704337606481295831609301901700810306827370672708327762578763211121814320315833060508796395128818168701029869090970268332971246509319866677824219948064197374197312188600472021800071465724136776848270602196149459328259550140548623290124423719958942183925014470176555561450045299743484048665456541831572278522472977183457225649990188501941019979848257157493607417837734486301516970932941304283955765750309031497647091856825857793380325473076765361942362300586664212903038534717492700085173700628844814003689050857352881679274800660290697392299659391045894726836272738344225397907867628342371214271831043828004575904407460422689667421066802067330589229914740716260563537744152377049738705792299651422032212913064807012936738173667927661153074568802545745265115912287410738948493535025990518076268240403818925311584427738904616920710614787605571207269376618096399701437804249392293536747264181775898943197649293328250220523266294560297585361940909535498548731210956911735264111970038273434801745523202578051848973584999743062104225728164358992703154862408910407437928021751139325327291128922968836811206676245222156932389302118990382167642729625827182942119467554691862147940929463657870182606947447550186373700884561775837887328805287418687194417261582176637495603610181313199898294254264511579483751201986305250063176100344501430739975998094003629368326107452496723081991443826313578019933624097096299159743419401744234773174960933625668670672515410337504877617073156136601195918901679604277157631602935214836168345786429034869349465069864993594726804362386574033685481998851630433504483708844973007494041425859414803327008325513175856483036654297808328988021521670186555763143316360953454824624509468092721183312224890704800681701520242315500462258172218611784596854466353040653655851762052869696691595255165301516978643129455925483237821634138461000433129512028907022817766133196404578848312432890986227311771805706975425390222090516396174799874281248747936267118720117750628758425821060256170192316408169509104027249126860798000⋅t9-175749194657571672069191585142287981766874944193376042765088014263816015255964068097628080500426079781529977884542387050559997289080700318281195994610486636552295127211610749915376389665284091263028515503680802793536377128248753628892230069101308597673133333299624362549505513915456755523283641394627336548158493926606683270594565195503821015410444491771995292172824364355983441501282619704004298121219512075126280120377622509354795786504574727062773155576260411943640254674962486254237097918729407728323312175397784119042444757783481635827814485457088682822399292666982582910122800208436216637086555850532091257169915115676999286087745253817329203001768743487391150180184415061750651592366307474298980636842592233300899699364296321672651112802454945877700335780852404520166069600907492520302707161113322483544471173733164369579499251436534764809394575224981240338353095546053815426065022729423599295120845646322196723696747646932505823098368109940969525869234524892315909552620312087436697492278070787606796511157731265987812522293653856874879293555530963679011031916842520805881131068888625663630891654362165386987937735476292812508199841429220712269456503692789771206795776386648272421594596807963031175776137132037058930638143745200120263824428054731370869198484602155165813763187926155197289703721884111015466318776903566972272761467092627584611064191702022400639701522131549083991732723885815619969799875122945119616087742779975927600082880467991270601095881918376671561876605600484434105349818931816243638076368005561553964393531602620712097048440196759074903874559413903796327662377657932056263439304744111082262677910625429968032963379855358967222125994008925576763838293974754763365477194496359920651837265224688036745102176731167790405618530074108957407842932280337174551721951495155951420467784489410774701379590435636974847204484919986166519509119380996568862422288234831694596446366025904468470062180207202547081646000567889962086549424406176980418082146388606634030390453944086050161615454100881445771017552628087680324550910411555235559066725518652940019105117221025737556281374334568532012755519410642548198764014688872528185832619062572286263566636474200823020530522353686851144971278149139342592036514285287772739774191867258847752457735446249197300383190877569872479269530939232357106601526388874527123297888554797293438838337120771218695072955925247063010696745694906364704881632174783431467612454692809668553467656710971988792239567028647877745660528783851604905396821470742627482117479572120246409191508529116146623071143030238546723459905985754829735503136792334313755611725650834007056504169326375774845011933739326909975676479149993805911889876310946524199164995362972428409602402852209819276109104893960624973413419408944087698767724844000774407516540614952591531185102694619915488020653308422495445844665344267986034644082950984172190781544953810989265331274712187672603196673092646341758421292339642151867944494174894943721425980752517390766199540020214691518237676434531099541302617274269743249140969995163814789040258691057376774259223838897074329769610928575358698638393426212965831092551273685212713817150935521582511600736323849319667841229413361904045774167937481681209089582618343521995860056520230561395555511518454403873365435918511641561281447326420096473698519602473373310920870797144146763399176194821162952843009908412205547740434497770735829658927873130394883903541370610868678100537991091129116818874846030497969336074318310585180337255408988072137357971423536325388493380592858459102624695501846802381012838645680813695272852385088715085344447733800817530009223251281263016781012515626594668233235282154262212004408924941274797466574011938939205659149577671083830775442555023814898117729111735491521716288183936157447366028005366845415979995203809153822784887313842241173920367863119949977654131906285053640936845408889770371340566349997343259345553946232299277544352844177902696293860354050546468695261753459949671840700107812808197234986400204701936762083909948750536721057339915344031522481990756679319115584018079638069019107552078084726106618981041442549060695142574954852791630245196599240834285197024029300263185529532482903907251069993175290342557965344195811174317005078172396662740966780510240587327935344426685521833420995629104053888697984536831876022121991757748823123663200316077476008345549154667801315468095988219506478317331529507524221299058501834796664057629681341184263128886302944868622901143694516162838141399654333074532021433309058972177286026032871225038615792075492473778130662236211415128945691379430013880020722377707359377256600556080881587818661077963243948832778256754257534415660877679579727895471392674289086735380230925506425407051837939821215790413225885055689739942380976350707340051138480415646354196841309509896736842768227250429165712882053565203034362927458680928639137118519581292864077798563429190698899469980994480001203461339929985138676418652613163004964542739685902286356154943114056342366336283919729161360540326616919964167883066599352960872399433821652842928427067013401430632332955789277194020257174530977070375549476941584612164401989304841409558927200604489785783290228604602082527675983086937936190807486926329597383901809513112556640739762344943568677101439639135200810110500001983507621937933632465441327800927950267804750651373014274498839859213137405828949064438531662403779639524219828288157376303638626296312527501773329556486133914302731863076372758564739533268275181365341036872673212621285146707828635022653003373881318437461505565115352322002932725564033777943280226668873995177317470843779406629022710176663144950253056718079792429756408259183586824955791221065950039895744269967220394822600389263395339366802715463703214795713073120745437968837036143092218618922788572944335753981237835113939417117128586000546680235000⋅t7+512494991658133606995826128496056957576493993598628738614789000959744201477971491195233459295214530405828411305792433692785342086948594697241031620340640501222965776447914042476052847359309001249176034937508138233706721116140278227156797249336378355432175066433060557997376602349457868847299341844111429312775965113941868782408500626751220285460858712335128879390215546643389765614990021537531194589569752076962730303264020117021277756532306044751217392514080994771833383657235829739731502723961270820772583740803737494582846899474594831028362385069998159535983085722612653002359095627400723930818123778836337908505974870364349206374654905813203740370484513519034254929057121661660051423769322272228561464858772950764501910552913813847983038030230714473338415872772560708143618944994873551950256786493605001347641413027889853600839537426808573850867753654817773643962228815424845511475803296594669724477064170278342551782831098245744886673400915213851982417020589326868689366378493744622063969227793993994138583204821289642023619688193900007111514039898646753171779709651039532359500944049579622257362865439319391684722183874714116653450348695402667237542442041656948437982769442107696525767700866752777188238435223235868877090184453930623598966118696159743501211731294474346417315967124250736982161818098931216259825506195594634271714225531063223174072112305914389156316318054295288263109365590875119809256576792188315423978745390710933411127923340297126787223261267741364278089403111733969343507257827034517518501801095516133561071643319316726222161671789378046007567665084597703343815704571676281605398813469942430563129203349021239011741110540152318938039700283373314528256640305647011867907007724300918661610536031695646726270206704856228096682778835992073029741108736968487608109502427311578397179046909161413592458755358591754408890640765994651980492253498377994505505510068292312068065467411841745271829900259557449345476521836393981183144944996347607068307374711957870533219562543431457048927413427157605150921730728710019972933566578484917735380063682283319969864098739619272064692128614123755261353258922646394928881951941731237582947416096403550091723582727671980337455909109035956952625090733991693929856774318456168716216398109226688864359815233145310945099945338270576407042743393729710418932061798170604065484568044924782346997491454928911439378760269080437600548917668020258150137898993214044296612554695210188861921882752404953480585790575073043616207056542027259794853648736090669516504583994739592513687042961497317962475211730487070534378615057293703660326743487046452724571519522260982304449452456686042900926269552175881341034800801140843909330568282233248628021540001249691401300102355732068287198698588778267388097988138863795054974610899740274791173226651979002301235062371713042704039938635381024846937188389604852943056858762247677658720029135601588965063661046419303764280863091542817245159613434011374539011640103963752189591346778717638816694331831785165155132565361331631032579425870899260314249185507180504022010470816886450659393127498076994334255683171359434121306183367482159079526957392558479012155398995409082604263229276804153366351436747989990058686339907551820144899226666494273323586412951294417293608863215258917458172049140492287030227083791302916244166236928241976640266867674735037563061719721580738001507474776604315834332673312200338988691154950035020217315764619066136439332613648806128275105404035235780316122931327575071160136619903440046056079697339921677701491640885636481656830197477576685788130484930431914384344072940506720894755813028805876619995377155496976338783330296610304691579976169495934869598570403240763206923012648960401556899284203782241873342083009578884085602636072141791557160596011234779791814394327128870877516337203820736678683589303970026604395574464198930836972358901364186272666180873382736126491550182048451120198457950653430478808357708155717271939320586411468591249337602267150658683128162854867178987997071319341229132294919500121562908376429170645570377607000611144043044385482540428994238139702861523395320158865947161006102385268121198679177520432949617357406388269865009082053437163717437532977927373806021194269711293795666157914626813960574507254377983633037470262412186305800757659228884440451767663417110924984972983720897121194767563881095645784273168512865455157171328166917899961131972276859004281702886621017351106569686455145598104221910425404140714616858407151366773902922934636435998476182452168495619181380779357753177163924197513006780012112212650176083711255020175338074207698092052081146203390516940598124195153965698279408452571222169509723687732142564330291687194981363059821929110537566726674629570246012311221518915768805810910690987467118386408109212462379249813734082321824496758483444269797579333876487000203610610237228513369033586708410981396616940096915893739757356562479218177458390998919781840701617961179181335848352074473474031894328417236881032945638331835494847599574053525202101073195010417664339109875827827422776188608869918023607427272980068813034058650113225148604113809932751559632028945345056943828891846359764722541772854557952417545111658203276483014113635098139684816799240764878050155274814754946144620521551281447102100538750139309615822072294421501156384943589815307727352294107940995006130169629750467322032823637921259107598277304567663959181403529842620159891995750385021319130750203533533851131431416072038492676173525318243243147895404430735993824496768482958209240530664094218206700966972808649040057744462250403727709779003831692540932372147953539188376085501923394064720240032994613505997532066640518986547986015104031118949226281881448873259218909390889490181576026940559482850845983115338974225900721629394590335831992071422763454831985738026547744571061657871426680179285965638318714577005000⋅t5-1658633274155238547517093496771397320747556014330311456345783993896996333970498733681594211559476615005437095823909217585164869334310533238618444297729193795558052839973235844986114818096300842108313262840237906121654862936640038236927280980069970220547177191435398336202947849445628150160383761022788538198523333502264552583642847097317233584049942412254374805007482362911084278359238668610480348249706963613101383282084115156529026244659499331000761222216433102247323141810023608884429725668861882376672074367666693592316312473722723537996942941115085996792614718401569939210420346659614502449871491950880036639408742935333997582234377331799737126080031442454953284079205261058277804974000763112686386705955056192203680338948611164487908122648350337089567663493937784201617002556281232047721321619626523511233182526175288974646726543966810346094837259364894990290895901710799478575655716155731777510250835222109734762452239228162013583830109445257738061335416653005164525721924879393272718037576084762869311358794816597700246397983106570930605500285649021307243582197994806029141846942591473307546422449446084040182185494916138057307893322486815525164137249409025485502072170704110815352515507198009504399351573924177222128451717087390045909199919608315861890974038339158032437328411767200660402955197119391418398829023651143170797887733422028557672598346988619918697797198034804601800313457101756797873406143598594983653275656708771043532856939988910703874910111976407017388856125725374392322726290009141723753459380450079031708802539514913453695207729856575451061830734456389152627593088441771924351817341744916252941983330276956235311403054375381296823781462234761564717731970064555766281759873374719815302478268222294016508057665836726214654331795988434610643031911101450959500834862738811049464576836202634655768494791289033766332537208834783061186361768277207185229143892716561323867978292214726723883151738264072428263314628537330360907846808428623010101747661789880230631917603020912759607868863056207650652332698394184204876218347569202794722605452199480103412933019206692006747981795009428461516022102048108920093654088509565068884686994987327038109564969359540653496771779397682281308307949621426615607565421349127979424472854982180064946432952948837043293840167826277885298117230280584139074021752732009168096041070114656001928476724418356051201179946201948479517860585034981479824061467556913922840350059832628689730896685495408776925533996743844731206219530608648310350871489872633215155615666525225272431950223907861629628668517130441260739414328608960716138114882371774689691784393790872524415527511929978289546121541986695249001177063394224456424033893976791470095327858172276385032728219851261971328744853725779047021395607158420849410758362118997726307639055284196748331123905381183921545816083276434701391243753635394540806578459250765447724579881643676860268626977406265328913337432098231453417074270255469373055830541390702977844231619055988790704291291227824610980288891411018204308019184422994027378892289765485469934240310965572896774653397384712294587729113048830404976409379775736348156662053879531456531342633756352341797991816453648578237953977266386479813422274270475397062948266432211720077521613760407519308053972752127743113986831069510361108833956171966092066082222409088230762940037639651085763938821349803682050165696181869534692435704592461024619970732047627495549439881929945557492354562376334454143349487920661229927186605502096777785803068678462636268388382293481674028631604465615053289068569504292671857459505387403562707939199089140416867905719175992203193712931475887820745329203390014380548767590514471422654055748407437961415297202586146117383026517143848947745232893027282356419585058112836517738410575279300516867576284895264393422218597196201883009681453399236181977981271310545938282408105855293330826005987800521132028508247585893523469902812888665451179366483091775489837475997519597284099099139083324895809054301482619363423676016994304071619921090520165325555391943672077975713545520831155898540364256254983432163869995891671817635416057688138968299243964644830203681427788811479606072688047016412351592674542655715044849981228376188824206807359562105974763892466986381329865954057740930959556880573375889030416551282839014404022247270857979563257860420084824883886878290078266611509177497019013753006307008343947139482296528245823115925804583597504934773578998013421741798178549631371878927433725858812507975191105552957927608134949154042086677859926544320942936908617689220816472609204239473847306827438459780922469405190830358836611103039213448905409393349659995495496862150533224215315713887489196694585174653761357823590331090748277496215534576743261265725445575902838539742955281005515028528948835779746678351957681315591537484206924707894072022320276910429922630778181885677923438934699399038531805615486070004924971736721343411758530903303354200427203686616753758821283924683376286647442158204806068131296272992735420712794274857459545214168023501189431125845294975616508063088512106101091252893585726319764153986202101594781508542121099559365669277443607292911049280022656811082198815287861351855156456016899194543733469971350846967440234148211173748066726756683909309742768058856732700189461077518018320413241572683523282148818509199119986799753208337030696460635557964640147572912386333657134212022984486708800585963417453114220523628994017820276805606037538746725857972350039595994432810810681137750025800951601315605136823164567121703168136761113315083019762694478532468660549069685299445211101855668026121216813296191476282615815928019526444872674368156643610631105821705260980541482321770947743358770467632537716771609706646943396639160896677150537036861004947224981415976642856731509217134958298571500603716104932616643854705140285043828913268113451824726800⋅t3+20168297140518388884500719361137695977735043819848538014619682362626752246670771699922038477903109247149042920197848161743386788919621297662836421476263647028026992238772166330332069320960101048331082827274711117389187797525399007489828266420466419451783170271745183607056293460010727860981674040733123868997066401541444722988997501391782513309908221284700297592170336607541215757742583815222251159291052845424570155722566671356764876189334849931116455947938842809789276895826488829682732496039950556548872379261523852908088591490578281610465881256497287056122029315264840322900508045451431372106943139928817229569332216509727851383884662864250307284636578583762764089437232611334637488654319085665448795259965002493064393217373694566533082129674591683867545393627974699960728952784895366453476051688995593240260887056889634823546576585375206534513294573551447366023565470282447335052571530533264721598245227667533621943142610109608103569797934772671789236633368782641444969169426527635047047645305392344487282299224903632893405096446479770072467796211873003577289360459305739387116310210157356470502395445103977661788959060058661643794956954379623955982057310675522751485721845082038713274434278444530104536319054144493527907885491594461740895930135798536581278045876043665027391041223535383263374453901580984123299044481652536301151726543900490424853795758257796297908530368022321857587571407927459253866974188734527526119092294406376138497531878392122180119388642051316003850987344617903643082547383406472074200529603559664570277441056366215858817842488310402613959487819620755109254817441515724664865826213805682997699426834167831308942069611850722808520131222145321213556468284068919039990663941516535299037200925345447004238437105752205827058412679614747167841462666834567973646970873351821647723171473626273236280371783303925994409357529334995328015926339538862520357469169396083720705962267379426633446101748327294601259536687423447407089185410999440670500812861473665406362284196647792220472918939295819441786568131199435966161564790021950918683017510864582782104063750957967263022809291781669789183834045346332688250145873386167713511987187830069520745792599177251455629273042892593451257342273494416896666397590454035831347200136338061761203544435944983004468984894488201525071934588873932433029979459584897814647656968382514301287905781284527714065476707749761367119905672882252641838831291023843026067281441614830755743766037077827536702523612654706614813832646007006608278986120723354293792786946831217571157665880169508001168139598160959432310144737253835952419245874532612238075944467283256125222633850127140876087278397473188219943491187073736532055401351734377381630896884192548397138338942407859600089605284425154563349593842108480276714314341986788068982849136989542748374681053927662092492487653285555109824737295875154585646487198746633181844247141447521959787086906665431867357448749326173601741529943850752166936611303768951710120756979409417876620264873876717584958296887369904287217743245135488602405543171726197020617781365506353683962614956088873336112563283664987639054938727257063531539010194902621028519392084817358348043947906636140558166723814577906037385585331400594737893962661478764664011389483213195534086570152078827924397599729147181158680484156823284099759919213531865695437358640766930554238383138189062093838673881465938475077549326068395151671181991099438357529499018941370622625657137975475956722719040250988744848791479748373264235234272999610719054554627378144040867692069391561966219601993251824440912081015511850324740267496989293157690317170112025246382756042347734183610635517892332926336900750301771129231426585136336357787307904056823844926480798104225246090778933649570692475877041658173556357575245110962441321929678225534491284367443938498949058211990073813609430891492835744398854467610273142649443994338125573752939386862507953724847268225983252701104877426292841605663020560790929551456841995107076986738732434291714470389912420807827158531201786150360028091310814237560382993233132132759850490712712385068472448004280012013262919222230728478342972755648662313734095985831490909235457249758294624197635616596255789814694637408297900993351005951248059947927492812539092618074218762992470033116800909812958314156372942405686856674144993410429197771298710189294742965240408592779280932624348200677407542488152649166918322591558908338894612464379026966394104452111726867927768346325908696394224133743896813501229335288799881141144550004162329986686663559226608127311631291505984580965661623809792909959389861318845515089429105325726534766624586240913789311095741694553943685235550237874152949336608483346920305205396344365605399506997905515032317169574978172843745072987429744390449117919827551595458095918865650525793339331771353363548041794970269872053468041375610177318850256921221287936811011533788634804420390443363543379632849616398308472855223995260052709666837868353235518556920932256092130185336189483667073561663822465130724844385668558505718375714601066831479252566974133849268519288226184592723553593129126912530792209179691806093254613705041309029112444120143900288018425489426053541658940330996408803406597133231801132358489076188805613837365477334075643988921206806234306810841959290891395217136709315273710555626104651274573600735622750011349625480463310075295664344499400031113473778518748813058158643234586867210407799082229338538591332209309286546267846792053540613507331295061114329643714565699206498828887374222749943376949072600987210832865610355036307251180738183348038538319388351491088512502560056160088230573808040416216596259655753516399612423292987416369543083091300196350321851885759580832205575229636672334436953314781567982506457253179394481207134776347125239782748172529931161813328820916875087231727041076497203526799093760961577200⋅t$

Node locations in the complex plane

Magnitude of the Weights

Quadrature Rule Data

Nodes

Weights

Download

All rules of Legendre type can be downloaded here packed into a single file.