Rule: Q[3, 18, 22, 44]

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{5}{2}\cdot t^3-\frac{3}{2}\cdot t$
• $P_2$:
  $\frac{5}{2}\cdot t^{21}-\frac{492974097}{38114128}\cdot t^{19}+\frac{1092720951}{38114128}\cdot t^{17}-\frac{62676676797}{1762778420}\cdot t^{15}+\frac{104814789093}{3878112524}\cdot t^{13}-\frac{239868945099}{18495613576}\cdot t^{11}+\frac{190151996979}{48761163064}\cdot t^9-\frac{17182210131}{24380581532}\cdot t^7+\frac{42668603943}{609514538300}\cdot t^5-\frac{107290416779}{33645202514160}\cdot t^3+\frac{479989951}{11215067504720}\cdot t$
• $P_3$:
  $\frac{5}{2}\cdot t^{43}-\frac{88186444764315217611843095555521587690799414053147879926410892410827896054407913547944858522059749780552782483}{3251837442113635427153919942607500210649489840377556518165782073609838642813535557169513764276317943602810672}\cdot t^{41}+\frac{8012264149779481236318049782373213159109936363964618512260306206509746539568623881306840719228975038012478824521}{58533073958045437688770558966935003791690817126796017326984077324977095570643640029051247756973722984850592096}\cdot t^{39}-\frac{1638479810486437760498107329226996319982472287865658552941291157541814339008261387213423326857624870028020445441}{3838574506287985101886761222574610316009500591441780647108136939071521687546640696694250561871725895851598560}\cdot t^{37}+\frac{867996566660490583575845876696447463343943066324233895236633559381262670835637739741794459491396748725930559726633467}{942765206977334151574094114560898905301783211084168006770043156206948396619939889806376577814918691321764709693920}\cdot t^{35}-\frac{3756941176802135826528008773478659716728222357477828553864269087375545687785015287309834629667060726247900952933813680251}{2577708628917427037233888128032409786876135655746332164110651997701038306038239646708594839061550685811969069245116064}\cdot t^{33}+\frac{151914677784456496098243684931116622638883338679496865684991855224783214660616518555488852911320016300994157031556556546963}{86646160503838058819748194121816683517950105337473301607264870559087173968876282670045721976637124188997778486671060424}\cdot t^{31}-\frac{307795225452439297277127615199942551311993912944050911764792478382922986446278298847679174575046610709402184607842139859784097}{187985832806665687807735622324226602689250652731691672458058496748146001923377811081911778160731711663852373796065661643128}\cdot t^{29}+\frac{33318685285176206700201806009128596640655497570725186906356091905229715355317819067171377536472623655378675771690035852390571553}{27711704663741235013036889152967887120570570359585582750282761158562902007670349737074925918521657495274789585454507018081800}\cdot t^{27}-\frac{1931833409951959689969177808013171404429517591432333701013128395956437968418468816614016223360718719814636083565671139737845774656911}{2763951567309218909582792805672440577462148402379886230721827456574484564794036847600984573650390857749959875858439802729969691100}\cdot t^{25}+\frac{11031948203331092399844940285494290007042384222080530865837767925317611456286978657710056864657811958546750212624064552385949817198324219}{34232756299814292251503105327087672425722791308771938117431350653755884108182655733751138377872496945210663044852154670323875810937584}\cdot t^{23}-\frac{453804740241924698961932761216667816560801109190611761445676069564725453303467840695264454458966687785861806365471661963140297206955163}{3859699125918634277435501190158005807763881407694993759739864885795615525830468922081005285051210046143869893782151558260540161439536}\cdot t^{21}+\frac{365680012087117870586125462655994560267105292704574942799114729605288334158405250500563413696136216720560352266635459959258896891975639}{10843916591866639160414027153301063936098523954952601515459620393425776953523698400132348181810542510594682082530806758922469977377744}\cdot t^{19}-\frac{420759514422391430296571837823320681353174235599795397612006945905541638137056108308801362587552553565989587091756597324206181965597}{55954161980736012179638942999489493994316429076122814837252943206531356829327649123489928698712809652191342015122841893304798644880}\cdot t^{17}+\frac{1399294096324799470310836557644350347217319657030480017739059706585826754656423597487240925098520368864503936035879706270925656995809}{1091106158624352237502959388490045132889170366984394889326432392527361458171889157908053609624899788217731169294895416919443573575160}\cdot t^{15}-\frac{6308164446426024289129195136421625030497533582231975208047988823145360401473041021457518913164396081652940835971613028817792043531}{38598888010439927045954321696258006874045401074545738370782962517047902083959920666543052509112056827867586779923723136567886522824}\cdot t^{13}+\frac{240093880966180187919444829822334962377523078641911908410762488225583944029231476256174594177848904501085373376842337193523844461509}{15941340748311689869979134860554556838980750643787389947133363519540783560675447235282280686263279469909313340108497655402537133926312}\cdot t^{11}-\frac{8329672436450669111527808781280720208195208531618492550916744901571608878124415731309168913321065895702071909758453985667631243563}{8695276771806376292715891742120667366716773078429485425709107374294972851277516673790334919779970619950534549150089630219565709414352}\cdot t^9+\frac{221721652019643817699415474866257500798028284676440849186995745581351547821795414284439533956262952377541370624516259750010322113}{5651018447085904928180139287332089902897693195625032456959797245348934138146813771226423113483838348395525597980142107689864507166560}\cdot t^7-\frac{16993699496896892386539037154573750890468337544403823501118881112510742009351802340405909532129235092413286421839444916350792363}{18336978226258344562870247891546985603280269757232248176665464530826133223782518155612270919263883620303848368955971329034458298764960}\cdot t^5+\frac{29731237943723201170363927581221467729466965216672635474582269668469866125233819191731458813886057645472702316712362070193492051}{2871570790232056758545480819816257945473690243982570064465811745527372462844342343168881625956724174939582654578505110126796169586592736}\cdot t^3-\frac{232019873271156359790595157336686293162060178708399486327569234244649345848079926911391178311675499171024198664550178091449981}{6700331843874799103272788579571268539438610569292663483753560739563869079970132134060723793899023074859026194016511923629191062368716384}\cdot t$
• $P_4$:
  $52⋅t87-115905401235077289921454368265747982885694369287822466510478435734228343888406998988608769804341360016536282824679341595255175643040087084161993323531948287660203479789663053972235124904036193326028314926329024229323559778120667602530569203001879754122509564908424778881943867734661274487408552757705505611033805613756856747722244486620826066802895579128195392908533128543440252934446289681715726743132987129232528315657370020146211939580190292777432618509128002599685041325593535935020197776291579912072699637872980049238727887537357521999014676985986816461842575469579770685433972255981416079188005904287030482349978705904435710472640872254202957170346465010562538588575688906838507486418960184865501474329018326901149997308590744351809490818900192401359941150480191996491404893484472375008694216343980054333733241939492960868238308294556145848105503041369096201884441120016353652257150646116172095797400178126949046736793406783336073743220044123674333699174965962103013961117260854513440728354902557341768534551135388157381915617596058132376579314647494305692062350901373002655440125931049738030928625437213456512894468766448987221081064075694044175802498169189857058911904980802698341955819604630901892854871094705942230906242954985101130396414529598246581569627827461524544189665206775683366674333929276990460010322127081984950580970970270247563757229437420669914915711982964843065659272869534974758074167775568468050524720600959635068076016000418675712975659159228714934541047675792379081873027057730063212798636991383654167834691443423925912475198423352461760385374556278642724115711018899353706732994012883271959656930781389810701514851551485676915105623126112350574162371807522216049156366634552715162022301528657821465540111129566181426542148059231330895966660728727810619790481186595686893675892702767291573421700445461218448416635338953704979832378034335802498774568778636007664546379354496355385964155717852890208740447295788859074331591915767858844148533737672033436364913937718157611138846820519271968476666231745537122001355956395277852458263849391625759749843637461419989472855185580189921811272488130370565090764279295072678694892535605702934387028522894249883184139939785346275408783599018826563981028564098639640181116151654352995273607812458042758696313601859575687114295381155687136713594513174297123597659053818884961666311350588777195068732959405409060628839234990371205877067673986943709733184280852511112131871883803846637702490720212876895596231223441874436662558777441280733345335434197487560117821046563844331800414336733589204407224721680446664594929157246958521204901393363234461280524108512378029007005314678355810497692206467054885460863505973806879752482141178099722759518021003654691839373449352200048074601576714842732889207193642472186839248067655870686369766410671913947211742151792089785090558480207929199164562763475222325654700594899662412814459352795191104296992125457464707994156489545069077667336413042318243423954954416846309087000370993168400199256061233986652132318693852560131504254123962521518954773066447294324847726577546414852987228573266237529000565114208959230037638377646781858909786175753470718960582988456120888367748265514100813799268543253517944283206901894196288995644904093120217347973138418757616989774089329845681049956325105506924487829536182545379189212794019853284876075729838034964422169784788124283001339810934691125171258728955554930703847908064969588236657805328576552368338467114238136671960321385765608027766628003140886615513436616947362987337774438384765173375708722282100846862824778966269205056870186401552430420127169235654475797876593957279922865930223837840809746688850178245545299352748968516056498586501048244408445870997711084953694203304687754198902302248982639440745678453731873557506554090993320171032282001319452263334198159751047664337022083674000435330476473364379468523223435490607839325747815728794400484177785421417211090491386035719641782096263310420988970139056608378071307892088449793651274700431035848631017405911912627360766886084726476700035384960714174662536400860459204513320987234653818533932778319071986380924650924779951159238286346855254184972312688081741185642568663181199961137465277036656177166157342539592698188315396139893259630562155992945043243182873486925328196108341212650098508619559754990956376109587135438723439365542704925029811115531779736417860011263844708394311564609260131622002154463252286481655087003883320560259688015631704974384786537817751567025590149514000018616341385947436317518729171078590166990155893078850666898018130625597285647633003208281121864271246721878593298325645701818303599488642680486229928027984058436273873357208314017040608634361953623383521157765747909066861164570796000901292887992096967413490268350338413145452286557210559109279127336394063833603956585795706703606260037046688945775883058238390632754060705361077816929265057850894382957540804981360364694036158710629726353618192954933365241943666334723004015924131429042355607844542919772269780184115686479418194260161810107898472840682103883899223184707763734995108783768329538935088837722735454453525955932050174229288090422441460223719695627615875990596308213744665752725401751881887945822909868617449999522015343522382015462339284089588566393702777256571090836253461912487031796741349765798948460251357517872414705689810105701454957881013590778066370511963831825490483547664224234708685274778947933888531472199098201440127284738663797600005418625452142556150086754465743452060374297665260166813316523341534102521520468536678547493238682394018521336979445233833669892364139258753943364137302752871175056330280253718839598775253991772882237621475895131567212242402968175857992532737882593644662902226741292364285110257876270900781346014105431284796923395738557432722636666409125021132147036101184219505621529274242230051152183825500902922064958092177428480826049392988787112390690445264808572671020697074545905515778869710719100348174230148562683454485163848016154270879928716315584883704775681467755842473831448096138590896858345261748575184216065276406933749296701306795666402703505700944134692355216997425391404367055413646449466961917869655136836692546901682171908280212636587249916386470491803323814297333577850236990137636731192683058646038448160987854115721970604605747045426079446904193739234837135971819926944799824⋅t85+81733597579487703557562520768932928167307957172737388784359462155855030878945953932914483191522933695189217197943877956097617052063864391159908079877360846618454994322383340598664976856903883161550586903161654691957495904152353540530319256711673733822404127172644583847276831266995505501739633862057072245353760560344287365013622953006460418250293985294437318774065095454537270753573919896906074025844694535689711832445922308588659230203807156295900757640563893015759428601597391956117779167658702190989721871396278883712313626131784869442494641738654187573835238877690970082000098063566255754206432629360925093926476838799222802937468880855072367042360748025777186123587458476649179337335681336565960727386214451441786710873409452090030288363260233534979002167517592522372159125122809862641011389629977016847166623091064428354677493126537492844394653638939419476314371058569311405029161304707644484453623355990542858160400934598481781259222710167158973723989876079656121915963709562906582037267161888097730354366909873305796053708317845598169069621500202001875172247760153154698532247953390642130801916114594026399101894203215098917191128995731114794278122113503870327780567837807952520963737020642961131245714632303189808538415520094058996194337707613672152750916491425205511311457514194356196030359051681928654117218385843221594096181482583536797563867361821831529072124487812174331924786860160915663140978687972273132521813238234106667402284241350571381631583114882103095142088020726257040004439584126499471514450625902495068466127635240101858627730837535126372488258730832165555792424494815259600680284561741180701377115057813263152024968777124139069356565525387829892748334723207641164054017889219147671080062322713754598841832273416042638483370447734656691979929177719649825335461459558356892601867154111418089498056609521745042987304513238905844934243398535506738232878523862672750924991208339144895146336071606588377094063363229001351302086168853903747981533132737633168854609368858848273390835123987565170175553747245413055076450835915543133238018344012006388205877073284114445965492941345774773206458594471415468535278537034207600454373606012437473057663092484943324945839582120647967142179757239848835097219840092400840749904387107168426988989509946376877461016045379295491483721033508668908062006676290718157523045798859754884715865992093643592746512310771212626642615506635972585365039754300367915291692691192800938169226444865950956025996001559824294519644903187214151267566475393112375238257257201601986632759113709741086682506943490676088811347233108088031432466871000611836490025184134780670405223550785859283073096596059174446263692552775180569156869052329515877237639684178793738710492571628487831741210336416700232471447289893067314338002329431221929167612972171960844981416989142602822688133440023799846888310017943277459393409269140912399293467370026483417853310207107830974026621589215074529862538403146641221779618085402437691145844028006487272452521969974832179133939012383480621230277061051700847518305695923674824881109227745087853346842795298064899275411442755409109796413513073396460045256953883534402162488948631487170256515554766154945137424571415838817269253985387746064894555439218207561917385302347824028637909932315277657006362175723733701054735627662662869130056205430518544966049685830971856614761199702226604432030933455014121069657865814616139332912501711177798595889100615387159434921008971701256705138031298775144572701164826954396951935214676645632663893043462899502896701093695218030133370075638787683893941471510524220819085100069148956335813439734016646401370796274230111644944612534954942629154687323465945322677442524441735463867135704200590396399963165385293941227910354163541540734874578246496056784880665818547101996134835619364645053405221383286680676440475689693002142583673268288491248864039204718264252523414286982092708974924094879679738360785405650287503831764342828728999523284411316319259686434544853426519331134622049911192431736254135784848143463513494473175406485343551415490209532797656538555104826981260961106493138775016787472134743748561174598400103278434127298676628685875960717282932845174889775260342459235069114544323384057624160989576149156567980361380926991204357755109468424277585439496900124670481734202196776838024998088208083628085501998424973764051361507585905455701771127329083578885893101014104834336526175783564322405941152174213736792762808817398548365965948487454840987026477510632302987559461357593652606122476909978148183532955719216526044708628235620565758537522061281385804542275777528107281500745040532183239265309684423072262619381035780194918906696496107120452245812817073497918110164205467292888240185696940855493750879601711266889929605910100005948613352475476876420083930593259888268379947378746136545961280430377949954403025584783730166574259534640150371972888965380570530957577634815601034145477660955972369839322063888157232969680454091450506609926747380816142643420764860671669657544009247869181762883831297101348092300037604548699864052818847561452172989332192377612532820688411840036653949463377876554849747264076958096254486346889242366811851877534084848142133111738226155987180418125630940795568924025634203546855338945033751279726730150025403178304170571570981206611711525922252182190761340109191281919993681110082616348733260685409872167899188413728898651598210049579901891260082931240148440422770698457052648555597867067274597406295669124410435649136849645876911420757630126171105202504339746637464809407063952860489083162502808163958017291470247851875987770193391714221863672183342193392659314811139460695596913789216245720342396011873792241311689914070580689342769127628969732872882529583588237233749730962464631740386567986256240475426799632422678959020563969349882226628305633514028395350509690980127484041095239631506530217387970440324265359288435301975354578956473230412418352439397175599602645166053437512388309183826820961190638260147393894447057892956098278948119051024640232949893719208376365687635337097024495789510431053477043876136957493453481217136622997897408689263386364006511462141004972626061650049330857566379991043142457664461145248600266066167008984575518936107517199906589365574067374262157608676709158115512054516661842832286950451139092227334844607701209811858176681182690610425993517558603299369838042096⋅t83-6444387611783203275855106345206872956720267054928735379966860387884548677288392009117108229985769213263630410077058808586361848905896754480979530170278629721945657513496838745966080033363916834507096787878915342772665151577414196627546645226256847500446168843475910259412089011249949482134616035119783596529147913049294968864518436659484319582553228710220358131121750638766258590657141573474437840103400389509181183251240518389633614516464483647271641506672437208022299681104958043415172623538127143532160975875635711052295514528122047487388879552274513811760582062565591335421415075224266238927109332285048745415250766222286953926796362284252162196922319472120799743106572797627587649307046965877538516328676095669881040441531209598324648667229101972482264138115345254477602457359609813868399755455089907820575823186155652572111802169455820516252531675432653816357211771144058332038949603791767547493111373130320950570060348001096543984000399297078144471370197541300968744983348737470743384627073513915284730905755261056863328085998949345333998072854402610242693741656098093315936830792961138915615292114076834971981707673351095815460246498814950637569677502040837728002658967350399794457735998934128511613281622200793911228229416365700179665525977456671006637623885827074983898800300279745578820366508296547252096828005381158589354689838718680414878999220385274528684483362156607736598868447295780366165683444194255029768040386889633542980068477307279304170896008028076075126281985333447101106988759836647857937670318635763401089579757787159194757754524596932711445827826857060440946353757738558617585112307723008886635017090368173319785733689485848487725666715674452462589642170718576295626603488821820330776035312225138298928602145327551393072365878197042997762552784561195357068902957970601226889992118351688679990978372248921089537640308349054116598120415959153975894342022626516384814316399989215954217007010713602820785379845849326458708707292251464992980472393820894089699096682076544443727876455558988181595931609848129596736834604183075979484922415069099669184111647890050591352195624589927176405484030227470386977954187854761031019926458077773132759780660604711185938723509125309438793360170191301793134033508486638181170914099079001025567981117278693111087575310345093217404365930613479661666593355335463888069829706000053305377581733875463946123796133696409891040505430033308353045016628442664817826409671409591571226255181319688418860184299898484070279039162409541202595098643949583055754424441777403613660353443105194676331006780884516150426133459293644677245422215358866654434369422829950944685291813577578522055042633199243967211289421302581871332488340384922629146136820183785718991887281991709631212855426926438754252647096079456748025578986386182386482744968460426805404356788277274482100040678394575702053541657801392758515595002425564530924322254576535808560930749942477994659633048359897653331326633954792425872285373310743991820268499047305366742845392363268445548043745365010765489469930177798083430240730330743456248097566326641966348426784282529565306670429663556456794052356263195644754441846828114032800954620597101103537899303558655400997909288515714987962964605247787596027131175861154218006395447036880654612969674488463857543342702661840187350088303609913854503072574876429829042285990680472507007660150003542219869203363634128305956244081529831448705069106788995499292659493045375376850778042821011680545053912029134378151252456993195017828677203311488581692021750492637757123631199234834526148836024915219595920138043368661564803855277993036083674679903237725050187173350662949561228570353650059307799623011407245136174197732753500985866549675329764751204964144872269994291310017592854844984824120590049542880635976853110179445659840003079060096070330825222801932144137887665734383645182168289464426983630257737634978265991744437762570388527103150862226613163547894346568623857545463517121214361722553838670902085644603303176039936240717575022199879067875846043474189662504339543233885771506903084338484569995920249525855474048972884221906934282747547914687165616380965928857133226938129716711668659185594700381185158143699068751636094565244064189238120366706501037162396737002902693515170739229767745535634224238816587405313205263728187499107845875129193626507620951172825688910818103604251270679554387048014448237661128999952690969412223184071802195007642272588194230378627057962520839166087877053853798016638265869641009920629845499186038095647465160713976364680157773737893666740212735374646081843124066090446584289769242879247903387028095615307262418362357305661745810560687467411049389635095524589574575903924815068089861413756754194280919653200410151201213586159786999497590928022461876304733533641267087603209738598166022114491363375853078223466303556861801816795841144966629777772822685145914356026264999672119870714366363591668063291821224647814777241886803557260913524295079930961228490805978029198601663536559499509236791787241578809510152798505238695387787692275930615209943810977357925719630859187888848076392487218578450606467603018025176710713060763674683068790112828387354874761356100559194603561393492306779523139934927793639504122295362186701426137020283054756105431062236480855950371181736241559236710968659703634618868445650931059443706359145043006033331667352456210065799496343659093719951090245612589407348751502127284810944617509470520076275791096218767237902762118754409667609867749402214413498931264647704487403954463548507686005284620677188933972131785329024886752619212057783010734328553618076659558364410437794012830382468792816747630423416746504211491206011793353577601157460481301590419259060386766948415272588132506768342719880921746877484864271671887741569010373743314662630225070170540284255371943733950765722143438399508412836080427721186076657412409284637253564796555092782537430529643743315049769962516174995962890138427500914649636096732188656493067619001817674414607620924260086532937329576681928180060183705442099986464780623750455759724588639889306920013648183419855418343068797440023938603947588983413276444283611245129141691355247382116491502667071092335562230093149572914792405612278767969661202135429408548257659586580850191203958460710219630322185784759411853695482433681340191976306964469563923298006011601966814254566342136582756826570743842945945136908809925571008⋅t81+224202065681356427930054598981200042273068641188485283911529558609779833364093580907339367828031836193751673805705899704164712125859870295329212360795413024970478499988321906770515074896628838097057566855542257629477322462845787883986133998216677339476330907822203484122018939096823163891657409273133665751984276709373411650139339541170670412667808535760883417517499108285205807349308442126343976555270749822620046576052276519826194228167083661029902550752087644059696575461728316168611759296095166853041604985133938077988768081090951494638313617006991949333072128313919613587171321793677660868192699881746483527564447208836438869176379967486735937079343984875763875926236755737600080265979376311743435524703229444568081806560373588342344545846078867335917923608161700761467092834637782397322566473339840699512192102908589870448869017683444387988824168948590001524111952563828555686359847831762222739639782791330241991532587789130583267596108336294266154346541142204112173058818068573858463346948321042043591174182457197944970548885460470546280088098604361407479632168044038029903971991355090441098566295822491680330883550417643407179142612753303979960082858136946989116928697444251642455705997749672442456104593378304057670115779066491651167795674410928828295741299931912904414384317227784438105241375041148809511504746760600520631262748949516824896340758921405247774955953029301452823653837575200690584711507656466979243780022823624048427184291686125871451814534875753458175613388667067335935672795223469571787267504140894105669188296335376330891492544121439943601699526746032381298777179126734356249797338644638277164285637526575195419951520400326147766065192226247322029315836048977267086628865523623075280659491558608258454343051967629423583974485287631840490465381079370292356982203972375325136038423958389673153428804146582094819115589868869722104139159996719624883649423073545943468329778425923713996368755034301939562026523993220080007649188933657312524647835750543812091361305468325303114378824561004554372362861894891061321353931782089527631446112038408658986114219312860617595409192185245191020215289075975515682811873393050158529125827169425950537659147036879195483533733256718945137839979698759197821779323935892918191286826656737045629704858316087340067672551050828663002708392459512698040828292222566347310550442752349768822384015067412293645312245686481001313141354335568143507379260006255016624605403151703131273932317973263839791157542284633337592916200861605757247594339390608209452671793210728204752933789585724345570618972029729724217983249318046249259870134571177251745728857036822621790991337224122709508965226129650181857183190720403364164510681849787271817503679919684608052093914175002394701568507706123358872928123842066733322957629154798812686816102202811870149496856099935253777803570877490927707089810299719618947709450185780606225073830655691668945895197870008969321900671748736673134174642838760321328058856564479321135681576504959582602227428465450152944443889289365595844228921488094350132507632365361052182632571091646947633061222452321323910534797675060148465962805405648247215051023628347915777772628558782929186090082127088428249877073184634771096827584875114623269335264713620419229258645756370225939085288712218430922334937237603932283135876099413150453937475041950363500419918006350719543578626599640169497229235771048764843985114216055670374585962370298308337940873131169317101974427300053498692510243642037790073433923066665235840046269352525405125345559194658075633652258443839550595275752558010358957751697246034736915733915485079127523953460074283846477019877813764009520564625948067833005889387874688081168674279278130757530601308555834589640930810350472491360084251561982677893303905715799496582507845353988004462824974409828533014902999405228739946425460854000103869629931306515489435763169681322473838798233308074893803033638600267249164414429106465749825285918757102137385626177475156376425645170035611067565087545171707349920883148674440559542394674604281067494490378420009057422324300771404530562865253815657082811248062454267994478264365106705590724195309517004583613574146763577890914067858582113104818112639476503520441220181209460087874610994280239888749480259117593493891341744541639799659590680748203717953835161381908846500232102854642069162099404287107368957530549541058717437079498444016168414747558498551698066210126117132291434200558392415293016309276275510494141969597103378973725832571267766371594287410360066615689528885714830892031980372851611818036288470133147865473423282240844192782719350504444306757107416897625933470370380489600728148661548848083181787954192149581492138729357525214432467677331877373152658989836787195122626503088702246022333629934358821327726656688876980492236379266023705458997513480924706817665594606830656751169457803265732712945925339654159309759092478853165652115606376509200346880472477452662374294232377597489454279025459428175103781438942515803236547916403106534170268247181882790525993009761114571673134744590641982398577288578028287164696425601635817018702151491813645420682960078406352643067208524218076000674504786205924857295433483968849038528987355567458795551676817551758285357069190215604803820826037233330655806702378560988795181341056156629280979626926242057604015178223923164206733293873485336528276606096383722864681181542475847305686446183986343692530677685906111090973843379879579073494948723668839560588859369423282078464022750830719569527554990157907616086534698359001783368093944738840100164401646584937957039291970899057905572965234202461399773660453876044026505833125496544409394644900865402371822261441028723593117112948672784954292444503312186119694399164643950288708309896480134088933323314056101841339404922809079035414646878276558772552859139603684812911093693577001283093689673894233452800182220304099106021257112554975562700757199963816485064673898694533816433843229917211547426337971351371423107279933654468231864585767538902408732739566360917804515177327300521721331368555309363634663059749977664121074176482352574961788808923254486717326470794862521973097329629428774646853788444348139491034820524428648226889560565849351374441587935949708996610442503603042295569625643350845410439095080280765269779098336956847283150328676196458789138698986344585153214026584329579759273800897457849422793512710505066518412240830550388755228503360⋅t79-1898209940541694666552517008779644659950954883598085253057307230067521232923171960102940658471631607307864836597444990974685869072145872134361953299252038806654072751788299351198209079757078234033925166516925906628084477936974395053362695978782786267285647183170549826461790708211190649948643333307441006112501441213638953824545589901606696010968783375876392993275072777183802715418236504279788097934880404410220432778457234226238637330831724920552517750638925911838013645926429105770712032895892330036454573420714074533343265975857528514186349572738663411874884906060236898456451842238099539196204621468740079842623092438053000567022940646378954965194948918455286606186220042852992481438073357621643815516545629103111106186865390565820257022079170655475783969927448744480927078127761787567210440025995878340626192261461913827487983681591065090632722790818248986583029236288005956956008104884173496351674609242812958069142913090158255495922024041119988983726686612625736817417387687219034701013643691672128071522458194656832430346138470903664336446683996696562984158586023154789743392675387609923593156635443931399894326378697501046111638900607112831114668448979861005820661791668359760850044215091284230193424089530682650856583619757656561592462858938784916290416011925741101222460442945036619423842378704418594366534596165802635072693311677662846680543192256999142598621913932307012752920898651007298329888226842365395311090489980111483424616931212064724385120559766729419552483215503092574534458999716208289950713955298427186558356577913257928524371118193482445028924466353981452367873950584422430296431665658994589729206905739304936201610849455394701817262649640885417724529936372308657526745459961914049368678230368948501545561078690008613714863055363395873880839972368926269572898802372994080073393319416217118125716644615016784240822024257669772313025773846146660495176409424311401710050116032208173985726334111658196220784181638415603194420356020988993458738730461353880472002238515456903254536861060229025432295915286674334462451749986415132740682573177016338368919615289839281148595710551964361229636988466303937364405661368274930936920177297991667577620855020175391658359148202528853316911301963559521692536675503735501211733462536245089000913618959056192641082460177873267338667598510466899672950650794427938037696199915427511178774376714215922880736224938727374522090175919672816634130367956253410980816073700125782882043189281725584268149050123149802261726413189428627613873505933478750811535297071607370033021536672234157001876919408654802689524027084198090521340868686845956966637778034687275858607651175401214579133613327994057162735578810240402965151177443637745351194673132057899244786832860405376727689725359988931429297584341377004247481767090172548287421078773756589875074774523602670831053403802395442036564878080447576715177815467423974361726212015798363600210526677129090752274772222819569861481604774834357267011419918644132673307105834445440124590425463180027859371629748191169217797534417321626116411884281797086284140852918154223616887489860298750402976884420692661179069505543876698518186428381770480991170648179269681429913949809151068103204646373413718932418504824649627744308884258693533024400515313892796348195683061610441640183748536608916670684314606799205996750932132467500551518425919204003336593590871652206573741390464875162526480987176846402753175962047026507769885159625254228344209853612196617964616985087230693327111921800361996845027302023922318518301386958024221056772203229868666209062583034390412841501842492427506594899193283644599476190317379463795881481828830579349640992845000215489571777986100263687218976926785808278320354975885365615270158252436822791843448985774694171804754735112103337889964429799005543549840529068573671915297861113688529371581868141183070229032533998530866654205857789147316054814550104444305140835689173113589284407533816179756978364755450859410212935305721332719810018547599928522403981018037103614706575547342827141433790980257502439753825351284416119971616225083200946989891117884663523867598801977711660927824572925060285827546850657484995106867930993613689249465519628173559396123938370045690262572890499566859493763517242387928954692603971354293654030408546714315758249397451049789198088206530847109006533011786794485762502429186453071748551354861738034471948760294069055651354518366489306494235993328088276702612412231255275721100961954187500639583042961612950637065460819645424849365403739843946887595411193001202116930516722137804058770016076643591043368898337341061445085896167862299696399421854259265183302166688979569605567798715210023415842438993689827190165898233343097823591228516789607801613072590115765245391439310588452479245654005261201027637277998973741985381216281582270537089517225438978532952636108061598136328654456200940632045765373937421278018798915871230262914912060202786764871441812783120535318782392602464246685251138039126103838072868247346136588155668849907845441485036051553109814586523257630539262111822365571188862921314552373198155618451606976526238244039449088152605926972886007577963194795900857581487283053584064310336430832151312129956417119026246644191447382701627019212337564425408592424921412099494096053778744726980293374857028825367564560077372363737016853467983750577075846912991035167044849916442526108916622005301159243309038613835689887842030144297422974955597324652634471857056361935689791231098434909578336983013170165581736650808258753298186293470809009881598932326647148149142420862505630719788195271638795832422681788388341416427386500921300796677078445362041719880422715192006408212229868086477468335522823234051823490824214840129803370393926150158039910386601823321738695666097977907493704560153387854794019273089296366599812093479054402826125012468961594337287829221585730936784763424401795770538528776871933183721115755169625920215349567605946621447065236624321967451462075075226829773987951552253708102451261411617423279811255690743825823758955966006697650395535667664457146814432046748700749386968559143587427790744323675776143211704868102671860950679611832890448096312603519787647577731779256365169340291481047697819780643701398769108337526025720444708261731024543588614130018204652019087419862911832989848259346474731013191630050831264889810262836928618446723369198730978894557977259695526663671673098991031363607205278849908800⋅t77+758658254403810564001992695882396593035114127433527213517372325112404276728981401089471150117735631009913322696633875547017753538261975577696239361121829674150729745774013061019937284055927090620212413912793140770591806533166889758641033661890523200763425044677558921948051970289495463295277167835220948867558773091043115852243974587036156447716985415788954100537413078402929810355576684429878053999513066874807216645631391957026608639228821178895663476326215972529291837216616843787541777475447293550137034376043765647823676377342020021372352615351865275687240975127776722700498444681074227187958445528494129060923798538977408117687625338269205057588434426512118503847425314826878483208222334469833947490870378606595946264042169650732142334411909153405342039362497199296535518632651781333060134897328536887267395042137758286040922802355193473348400202545841321434000127505639803525959438267632024263021266707769992960527277657979777629538571098473606068957469032246619453931828151781465420370377695974638790666939234541047188663797394375835696013931878004131601275435529435500292874620675553386188004755402701153605022551229978271828678816403515178343029253371648218448864130496571227873151023492581957685366016895926650256629085595578035201315399862185326663001596367667278793123527235303262653584823938034994003394223578371207829315602776166532583192241500927413387802661211160912055063702062426865546247899183153222042609075813070678602255805666884162525593670615845529294123543178098328637051264253908159635161867489176352287828711819096979819334897757358372160959770472538280205016648277851249754069897827390208138309188434277321278057473625997958743460299450095532905057085820171436703917436316692269203202565645105115456660884474401771710750339717760493338476021587512437405054286617575662741673576104824873386785624948996195554254167897586372508339512671925696567124951511334551140369027961181844640227218168538679727708532932754042824856952642627087355075066890747214775814160862732408048936614832053326995205193779639606938548130867682096353926336771648822545196580668105294512902232361935838037795988797793485767300007173750405985198575031480826873973644257601432865995987885148814799040309711671359667022057749074513433362886330729954795467015722614073512555226249425310833068126091352109040667752005928896754280168676643259697211135664068996749193968469640676775545946637340399055092173051284820078571614699532700795526796041438138720463115882805415437444999229883753004469642012844113859485463812447619103974896300710157446933437345602649257142942836199642935236699650955807604870400785950886421328374760578696871084898099153602436395513400336210267129151214357640523106369709378593003598857790781242222164148698306809052203326486835989408901613390886533987617046868770946181862826410471484260177662993151286166403103394259214903430600302528537812731519460558666128848038966575765819974810695139454252241978281101519874934734063932404779553174846830481324086789259873330774982470790410047509335820232449299964343996117037158923131928245908603079242650641135412967010590354747506619119090235050350361834495163683111774145322567052515821358423118882257038061673532838854931409153566878282393621873489526402914292406673932420106437442358577164158230500475440476242653436451937740217544573148928578591148388561090952423293387943535150308329746297080032811441391907096139651635870740603997011495579548756212262465631327228804735285520613385627624830153251454504480874052258731409328589441013301572165872769219073587130682896550524842097426525875681903829859653034345447742731394538490855603660114682848696636270714288512851581532287016411522324375672542964653511103582926826172339717564114581712252584230840184049412399157300043349220317270116955111036889987903554180718154040437513368462102183651728184792630311669232034470205945313601507205383767590185781049814145105371289407890049560776064654087733128044288479679295082243114415825293505565226025727506975371619565916199257495343295986756590940776023705860836572986644366559522090220647936595904721089189594830879372219841877570455328387370738320227077858530752350566411548694357397768487784365245952857736237176271305189179993425500223927115960450553298329276540961433877230056048808433733130516742832314370530481935149779373854473841071460119304585347383783829373221226908425458364533190277331407357003980444623289975172424709252106899419165209103402002435073241338220280687670611239750904486037004745503114856453085654690818197430090006710677114338425584624371994688874920757627805992793323326855354541511680803302068379003924242714020384487893489807922382023927779138828924547609067965494776929756214503761140280689254417087860329758952085564317912281220847548065293990623363295350459496315345224292689474249681025695233151118286514261510761746184427800416178771090096380234010375530795198219674182600036191751577166399780786172971199903928107099808456338170468881013933353861638137508515179868933057681623844825365062527097704644552457949504186565859595622354734446405170852187683207487353743429083754391592284765881636462051470062284426721837497182514078757277096504313653404285148274273068138236252563411709441807952435901628683018505472884409014234464659022428315498374766608121656682598407433295285933161921866890611374635233649807364218830083669170245670415653261808354662839140723245296649742133732765908514250969514733400740991713450516769235044609215303077701469742410152424036470892899976445369750766362098687432813599326612239231980592606750496042488815530291203659589458979434121902609367542813988031757948593764680814483013070236522465819304902186175621080961711993387327465456231212602518521430623894940085737965217385658001272440357061098183810231880441808741419433332465092123104602634105519642454046679705036743137477025153048875641581763253747126972362768619754750067137998963835708670207098979832016060056129447421585390587361425636207163016281923408457940410615886750795528451218517191674752805281787667474489190447495413174442165567542199830760508358278282996679528256833028723439845489244947411423530297278546705358487269969449061451678654093108315473779840231425722645472711287121266571762603178029373130188877774209480755904571676459998219634194673354017486684818353138052608198245322211205674397642165238561022480245383869834541500346281450299986896511215677990634414400⋅t75-1546938348345010158639937833235939920031368189156125203714243317196023868290575155302283190861824071932238010519793600925930232621303621181921962964847614987080692703244942539032850842238520247635054815601751373695699804131756947462895888920512035741043716448014196225679782014209149043942164333130607515633178696994586009586510745017075495336984562786123543522521160926023502739286204126323658304683279077132902077563995703422334254022845453828767789941415615473424068625615655711169806603375204280901183009826571736726697650319284864509793240031282044460600567296514382767809986172629974373154496781731623490204529392979281853065574006971790474772459217844321481507925852356963410568329844016965677013625179977557676101767934818271093645573483469453088825245048799571806579772311178280721986395105642655243221551044155201831255469629526489518393894002623660285671364753771725239725240540331799273356814288982692856984200840351480158632716508932569630022883860390547679543103905182502156931568290384510613890234518907600650832506329224959976904106870651789149589818891359148897307083809510052273383686039684129883886671912029316350447007493052077410844205516385211203854515332952528599802643183651517980387355152754016828824157573497645427858828830765035164654296680428237833730715664103459755136440646767216387788180974938347160000621448995775681963545047290426075164965750397004640439325410315243252228598268749195338593686174950690318887215930634913910085029615585158575000584767094620550741970244120979165287747121192145317053380726311579198828494753656487225552452608575158796747583031820602653119862210660209344557438982787818066070623321536281194073157374860563896272698050467334287800760087880617902258712805785559464078977923303712737458033190496781872855202852624570374258780171529993388672951638903983703108133406987914623339013398959959133974608517755677084581536348907552523701827706435853433665877530449975319656839383225203440425122284703596110944377875441996498876681777554667692021818196627578490897374126700979189755885613219142599076983207923895591954219915927099154258653123614308449452329210934663876066747239876250275154684584174875039331388563628630515864851989891887220934987789256043286689995920018012542829639783416137280538291308009512155237755257349854185977088834829149223036584102317721473231794408970159872852779403768475779163444073518044127162027183527947626166108596650737546481732456361052115704360951729944792333004364033965275492168862449453022741372103029555583833467209045752591663796583650657238589945984091486236223315292197046916220835290595789952586849143016987897717212773742104158225005551520302327989290604246529283001671283450825271860974951629633129117940722102327339330406885670310358974685713607851620178584992339717989505970487340007462991536915048462067337881420114641493140946538003357412114862390875658666223160875428471599578649769389133075077392211303602059641449757233242806982477736086594461466191079278793293425750054416104738123251439472243511076103398590987370161428438236653679188316877675723295826233860580350755758952100915725329243034370492022208607895218666899194748563509850086862711567532116648651680257137027456577843531325274460951891722935389831527859405693714862883097515293280977397715343630040144608503394729283521573711088609416986386943757085236718880367142452979262734516009371511267648388012025044098668161533588514233820780202270089605113293274507641422965041576841229745342975328322513678159911835407890710541962995418330386333882574084307978656515847899306134116428272278750483914630384105651744714894556406857884053182614003823266317615064278086327483024935719514776375521615395019358388318698757988521213359963579535930862968098075132715253960289785498511638949854015891777153995355974692705346079507972812247196443777192356322015589205080784180931602965919056595533201053342091885254865789423607958895150384902870707662315658748247831251470426398534384644558796858071940817964496326694413063592768986747878137920993246499343042923690871441085087191788191832831854089205992755580689365692555326726242382405507113949211798782998638486812187755031158386582609277101023015154034518160823126288995743211201611901398647001947479309071399165877866893511059108118305615457753902705508031594026298131602850716060985280571330708055865961426629303841165843293100017846728516475292998340488070907208474654010983248291449211852835416011866785373388911693322750166730855534330094486135979861074868610049014712708789673694960799090418288023951016106146109590049098067740779646763129755284890102868741659668399630809105226363137408589417799015370261003024729252231370701481000628431167541959293522421418789218204342867282158139438892632510143026934975333175827834276064537835915723046740167837861102216101680599498035337923194166840419082080605095236410287689034447442556708732670085314700795268670911517260409435808597492533240511855652263804090052651002359556336624511291274591493296427572840804045629125318568382233535643071276658622260520908017935827613868445000657135549128430977115063763575041771102712569620834438219826854904369789343024686956672294880145680241709098410193539526348982575100207934839841104042498501196125852486967539345746163426352948925297720974552726111220862483139742887928528754819412060359082604517065254333419868361231251044963797643263655455416594229607875370047272605169635111266203388603104790824618789297685780891836480062919915227917409606640102053242780609426327688695905520264035842181443905449721744598400424149407827578592269354011713685236353866813211492599734278524370483087599898235789873933188272089664203485252269298043445098634960558368328420428287751511223875357814663326236647645221054746774812523805645002115455773870836303465594208306016693523934297429181786334746617443837432087688615711129117481851715968247831453359473331178922813507286603257613930778916347720496627362141181882460705167567463631635708821867243890558782121220487148047464602982796219353041485066063520632079153087338529196203579865802752028345564884725648004749923979147502247362148124581017238780888201330371544343100117666299868785818434126331660059146852078125468731635473617411782669189843881856381543051063111941182131540430260930814154330483242761717971557026337779892414293541026217887276576388018914013923094214085179083687011594185159288472742250570553878933011029228503267602112⋅t73+7951262061815610636356678104971525422092548997357023274957495879546805145550096768131076452480056266852979204651951225720314733989249383770734901297875798413923782416037677347942119445751647807411067581452872271335151272712517762397264677377462786939624093550682616586561590171050702878016469666053171194326969753413418411913900363260225434520929600308125606244861322022123391634075409421614482317494808289763673964183841868730426837184858406254538405475575843401218915149067604381604824722281800441080633205349542952978204391075703425800387217196190617496591447406916285190061243550012744598754949667859261203747648009346712170330276486900453340961478715861738905923136305418157817930671740157939494709769302076259067060137963698796230595214677766924463599544712860683065936169058213614516870135371779333095141627652075081351043193575133500308058021342766233609745220909374178352207545792829797462001119007249513024624727329195550519304889848753414344369790552755727583800505483040973408569514114092279208001712950913941716502652378891534465878808836568270035579380966725921087234841366039254538025123949628085745028411705330578453688729160292324285196368476718826094300726509261625106605879723019179344281934764118080271572605505164102472112576270361843749404797740014298286218194051055943867442362043754277226357352871384929791450937669075502895082127491752461741715007252014035320968889414486609323961280862145697516163350629695601491845942550829069107768729090435108993794792901332892216676765602852561244456980532080793817984669194068194270534774527994877050750765904139849829306029156810710444724127665073889921033416409100654508243124338760594772160539377484514638614305400035504026123908130006848175037596239493280846163412979964261471910686199258697247641340633450595224315155297203073951521119342700782978110876275737632615732553461611237436627630274320712330392909736616920056977688997678813724807594103317769216138114486392705071535657736671699177200051967136990475188423176907742220005037236626043835885157904503877020069474185555499226010233878304296066541001076341850726989214681271807433372726045912097873288825585070034109145851883713141772666126048042993314053959709321138938860013429300113710338222210841358914841311010553842750323448980958529551246510833012280169171977295318884988220559198327257664859880896355645293591017242474359686643498006888114099900705250777510527688269326340325488609407561710942447498759809224751931949409594039488942028497940527537308472083487417331888248462131351647926433959924101503560816920257417976497500531506842073363176508605380522080441526102187102260510231962957726713342318765349761247402098601857289649105025702300160773617125760257832390821722336342453323279821997293740504568682029071599748502559703292176240236739153499898143993971227426716580605220017752271060648929305910807733733441214058083426223472959487764638104644702417375915118128665131438103848473797774378546337628547336651262091819803635933652339793286135974748390383487076287884829515188766416639025771235362878893157437153531201421145891219870025597128334470491257885859904731733764902785123358919486769817055747550856948110894055602561878283682742275154548719468091361070789887016630527577821180903759627313195857745409235830013864262183575629610287720702699127465715608423889928218193669534783131767468539301818448805498727270470510378241702772534427207977525096920942545416950423528705643659620596989659655707921114476145352062428429196682507119004358817109836450851890016248313935022784988496344079820358565388626240021792690937310589373199855286770110011520535266387228505381446194696765280747706723810863874382722262334655200598938182645323078768846748350714455651127509102509106610892413071749514917601264338449332092910138500666664865577980308678624724156045245127928822498487069392016090102807863272775427432676969424245588673337240132137662922478796330347071346827807753617075431907531382629084656458627244406745016841222215581603624175739391702962453848405544128660855400043026542787833927752335681896902656940447435114045538756383108624511403600474800095045993814236770320223884082808144977645940318883848285864754524660237754208162836674388627346196938322618687266662224460941000375811410982907700431898905851263681440993852558949478761681036018632395185085554421917400206556794996676564034423522349282253562491439756886207505414811656999082463495392339012606466144706298238982483742989885061384370263795492191087002913351338227644478411912724295260265895541148236956363344829466091263914802912114135421470820385258093476424672475231205916143890531131432831798325319864964359965315445352144704032975075426374344567918962799466848198710835252248102384748084286926802523989182553126576267010723125647490725662218100361851514243005685028689169535526231039351370253137230021157809920337543553839916931157395177731223477885412899872016778590075967582394035028153688758538168459170100203307802440536669909009348373279227823867928722942818949506068671210549075798421139143605744715194047686244332206036126587839484470110937094333420029693323001445698116429300176820759187406567075591172939872295128873746931868832354195911268558465504834524172988007363354863226259769315302748739093036653583459353761887862746120337114395627500021356999853390676047340228454609380262430500416513442790235946818428828435842506605859879317845985812625094566621846578635619709635545597829486487618212490133209233891164099512674349516914072678650762276907311360838041273420599649097119349798621128524178416178406087725228929102139173393783059397745401247879575327347473460764928884541479227992910357451438613421430211575598454841592953610057384868056612686532011603174371735406765290994920005110956965478717335695328976288385727285439147744635081640982289068679425120676241011497446316881447600788956552350169961518929271000889249146968201537420324042436604095784272870633330437636999834048597986508154860492528457294577046922513231147253416228379906317859517386545446979675933919962078214470819076525174519610521214955448033411679473385390305440918366843354407914069131871532515729953712981602947349534983269903124325068299217729873317575731431511332236795115644427835894510181234967611427497657878128711278771792608548996374183325325055186162553135544388015806197046047191118815832658535816346128164514242430681275949575106820550025019936166160960345624959525955972800⋅t71-618261771786087434633514577656291126599238344101747062112324170072906846239765882511873240879089814160766420139131992861738615819807919761842568398043300182672297357351671369568218621824636579945426631587842958341355689200386371923264171522571065098028299953451195188907197584845966390235513294832692255944357670290591867381593080158683791399925779569578144642264238478154154188947211878330066562991929561085402479645846342453508643327402608679971973691672209174894134249394167422580198076350330551628907343020051526745002679818398364239134245310493145465218127481884885908139801680245510999318991911919283489602509480829305794128322660271556029518618287587401795840545191301530200096817931338260792068755777218283032833187540323625441599959597161954236682454222845801749000938292302473244153663586770401865290800197289196846589292507203923345116186410190915909797633771782726565977950979805335161760020403601395731659149273403084850760845699328073777840429837936457519583372105728685688568809645136332952410903351660194000787594905573829808695819063330533871904831452064959458511396266510467553905503922354806595265856026243109171723083567518432490270096182486273057946401155518108674287674828075360171948539147882058091486224347006643816183654534494721433084016387184139336543767706931081190397164429563977456464418179577575481554038994805897911506390595159822746107898512229970500265433079456498643373078606528439837793874598493682871496962707856002302611219401418176856208359475840749214297374994079650853964439569335299951052550865362563808271173602363924325130257051013915996697632553404036020561461315440537953901208661510188374872451727891085025257872990697685140230563325356586135551538109662234255223075845403789874973338339849425548590469115137317419381652418200079649841106488113874729246374058854768043882108241044711391517825397762362094324308485007065453032336195693312081897219878010110892709576673207243315266762316302380043903106429079968526426432317613014404637635251166418424825211919730404649855607246999423953722702504090711805748490162536287852821389798583494284032412021034433495258325403269629977243021095195062343205333466741617458709931236230383036517321380104288877055906076128934380374621319194976489663450476987787513346120110149065682135607661402846198467524081693202433315364168215124914466439263650866440774295464121134795008798992776274871358839792639037626607964260929469102385236620364103086410115067856868000015790727174581550254413802068806077034976520744066648099208075277617441060452353677789299932043048342589478451216120490298898490842795578460309375458304971027351196618393572556728127528238274377865504467492890072997697505789618481227239327011412141075690226970309785582367942143940323590417002388353954064527336280280545178547028076496795361405061712240454103908295860571287299066282581970841216579113670522922931829681907414783816326202952305705752042502934427059355346388581903782757775751313321569382186472728295478143238413835606069980137907156525781707885173543972311743870606021406191526180554519350463758747679827979407994422305087644540950116129778662925936057108202208904033972525406404574777322943651429970798263703868332255716772481421372566179262116801417637129811423689020240297144734567763558066391368008673053133237457215916118928446152846394636445495345387797280271646641806747917844368517644015411989135054477659080982281208656401264584367678373467450913158069127486521414955564916563244649302888003944154649635244996828186374789774025632519869045924150841981340468464996813093216105769685002584383608335086471980759617198193324352163417351201285677473075230637677407720234955996706418395484939684705636616252204962889368407433245258264408242595269257065457734903758515550349397662509683312238359567792015773610398730973095954856624529004544679581734192844945511991454331974597046642246743814853083246781201292981590985982936434502948126754772397014946563924309172541804339890575802222781485088080840374224197284101110232134980086128062187152301285147177039902863970724972820327388685092499491944637979983814421448137599388488902333810849113110536992941399167615979375552580039407443764870705422008075454019715165074399015459229653531506864246923523121443659799394384375649326562901011655682176868387615550467117505084202974668164575310643123530133009159276164403883798179337231853755265180553148946800420123416475860970618994209053014345765433830595911991403165459526992757458085435317195415425359939274827694712074173238376415029227305201439592161599963717528358816181593079582595019947299947710122896305333529017354603178686889738262298352671511517195352627404342372113165024784983483623940145032342768465913652377130194078190125058386380366120593043079130442761158609045495793553254201410877231060275679543771426007737758993594100215473577907933855659015785687775534559176795825916154960752173150734985634268748817072213953104022879639521725047405753198275823971287418098867360945541192302267607970341703849478979279981405010766480078510512839579246107854133645916635167972041815825020222341388521515072184134413891961180410919881375702301381420551546902552419627230579629948655210846751410478225957693430699120548183381214154732948255738237838901089338352744699988924212328648662090746352615185949263780616195919169804872709787583074689841979752246924255846895767174431418272843098686407269416727348464916119562896492759709346482804692361496405357658606581160044859994821745556819590334798807634763606364286261499571740666629207124751513826104696422987591904817047185103819613314834472677487314646358200494054466486608787780842305646966224941682971270465646256522082234698413947858769760291983384830819625260597150584105705584019564226862727645664050512021234837309077701622826063256316167974807257664233049336595023552025797175760545019185309313994820521254036204961535683785190961803298148589684093635936386109616396633226809794205930869701685330957753839309616745693145531407043975149268294579116254409601910066345689627264623875942482964397779157536524099814749570297136928302298362930752577965988803806349821145349282898488933820388912477701138096882964992706534191589664715771272434762315589065855221188918281110487882563375070782563699479101043423071307025967246658615491388783017052512306670900940249602010900704058534645351798164161551440080747939809335758821081029363006951111616609084147677847082016385565819009038400⋅t69+5482502860008452060156276176511166864649294270866965989105993624882843259187844021318480604722402255922738056374603324292807837486309662783715776331242039888077571969762159795031613502691756395642239670325068223100120649640457159341579460474090274811253981680825994020417201518058891395835538700918821897649890334995227541282547948633704255633921471860839670123383861004479440028318197752026871128785669720768355179108384019239867912765186676729320408713109901897930764735710067187715704760393529752492268273761864407851791933848324002415052972062476047224508008839867603499925301000871869887920523737358382306739572894741713969215523397209160968874587097142465941441661877795550910916273849270035282302315161971005168844082216503466904168341104282303116716917821253685794524220255719772989369378735190886901766167250071647376049610108998598390207846375567520984090922352898278871758419699392635488490478053738992416067014125198003305634735262653210743884451365904505257298945278711751844662660992047775420504609071705615225046114290096285431272373643545119333917794054508519063487071469549608881161601758042045567400808159927856209791818549699145250765485285347337582563038768709832939681733781849922728571699732261376655693570921885511763084106386991033267063628318153423146203856102957383383075729539674504362230780848520032935271200129355301034801736504868065466453996002128596016118554049680029014025442320868710580147567882468906528471498307683878424241941992687988010200616482946406659331379548927341291051732300664705248256376812095175332069057962442035922492404422140314271161961973373434549807779837538662123194407795638543345087247095991056978030351549533720276574010431711456730519856794231994954938798738384333524210419986321781707896767418454841298531140041334315727856096535757495657116772344062323488286698844097311386161191291310688313007674548406966467145432208448145667734847439473369512029107800188652121753476280963762792778116549076186160921607674919373657970698012234929905882066147235958975890551105715536236657732701944228787287364232147203468495706398799638215540490864316050714809619278559870700700217802060670265213962743340858237431759999773101390953762166891439485246877009538067189833164770523398882131652456504250565306909297749705627352584118289990175459312820356045653596446677443408460313907255182262547082730929921346337509550804027015320576376216289234429172140878249338083135484855853411653054050760158823696374024751163873535204990685016043108920706395556066296357008695401727099106753598010735441564723570854564746548402553125172346184026961130789823518318544403348362053370159786274705802561376832713533193377698008009699351820198803862480212061731092510181187464348484799749213467994987832161766743577423986043293905851576199498659918538537170004035921178053055990316934426644827605662471833881059461508937451314693821892097544560213759771378984424244411225690888323341254627976308110768814880792243186083638825840049858516800198904221592560240933866303728878181038684222232191343827057125130102694067053897868072816070846594479792829902156717519135569661707151382565411795231114514415753271740382758615335862035399947723535109338808334720448801427907901517532879914900123429148750084534915661988456963933102138380038586138272999109767321641959387627044571025350014680334445211986186610800160009186061754046406602072411319936357877002748328085730198629268045220789536205208740074378746250625316189917543189418836411537834695193720949783965499119121671216849181644020716131827748711085876555675840531818682419533129426212063664255974657794135224957141293760817679083059034956919063985093098233302821157180778146018393580188938615848972918676303923908019716843724802836466322872062888474772018184852756739512467236992272076284593642228421236838255573149102248555181017973094084911503746626586626545806994885851893937928483032160210987232430947791318757662568427069418156995138840422829139118092893742004423987821631024234430196627639660406092016036095668183142272093823317582723449387796924303441323743644643007846067565716597734333604988930490488587274238324383704657780742479136590182987180133375952850604068869822072901629033911410255984159992090335217669992981869362978246365683060754627448243296222262344626693351477885016388057797958193288661676121652361429417251298342263127196859955981272061805563326344261593273263131524994055979080870333807153571489294476244648380628961914920312419941094086875674288902986905377982871043196502239097778859536666833303444301829869937507742326256711459643014692938875533508144144356207714601104517568741042698113031736083447093391549090127482370870446483083775668501686196606622589441090646228400322510327666133595103711674173725654455691797326855640911479448851736183540099415744020861545535808256827703736300693331672747398289056127669106112691626961232713614456837883834591561590288646730010037267378488143634158963997890303368299300615428805216217779178499831480456301034282987420889818615965652376636140106132534466870311551563930581838592925003518270329010643136677489426720150010030826099560588222696064948963235615327098084999212886640751209575906208263977853793470121994530162803034735439140862745312299168165389488642851391725471671910547627673576275237008033224202421950188675275753565468542619654319556149970735997446002320799507904386010187750522636888340119392485639892443273647346942208513819942969121175005589240248164977125796770402516822716739144108388094918828816920338466786654811614422976416720607171817235008590536953222272419534866413954888811429740753008114361920826836741222810463608535173704511089368267116327850434391302181120734115249111284032151204946474114890948034474530809944649350150544517352872410118188796974289534263055420770723374169549561957234163510564521979844594772562160935298797807942424547184023866670420386392841035157364195599473669231240572414696016412643577756205479022636391971661593363039814626852252684328477582604639161795806123636761772474930189056752318375428643309761740335692059056246463570503025258375551008374262668862261184334400259025466521656066319299037258735894300659531451562827238369852465899045877402527988120815257748910796465085367489088969928638846216740994568106026091358338054767808461398763967647751649576306709109008060136138083600591700461078420316174755009392503164335414092966993785647867613741436583441522937059146564800238069218291997463062184000⋅t67-6007026235330013962973677275791605228718913159486480767517179549989836703710099775320419821757218233703738383074236481809079262464850895368574829426870865454559975355618539220329330609504456890716198716394508969026925226767724204883022554222157184072643302891431749860110802345809437146727310966702891292257366582954450050059506152616541526737285531681219856450861972443880717408121855184397190990983344389768186254816067413675354633797889319494178593905491755831400993251766645807977138321405557442966794969748424468967557174713510592880805207293018724986960573273714904038553957999587464329169106937652856230809245433003063352936262210240378199791033254285655424908457697557121489998430787674876680262022236481151134442548882824790627927389276413750380430127627951932466737232091330965333839751093847556483120553847811299232439237710206696993956441409972810469025909639737108943738074929473514530472158478529475793009025972576622676538042864042427485839681758719585624557039893609930839528868136193172090127473635297760043601635647688189572000731351908119908424142165355422545540556790126092119589821962881194091930845077510679305437746383772791539909596202525922019097014102746353271422136224655418861936745803974315660795039865715374380664306802642982776163295371292170566954605225959120308456614002740521907608991830762500748120044734818320189140524821631141763126201309389384567315041086440459526810740367380634814766993745398439235987613766453631984746008434177772739255075096077453320372965660153087263350321176193416885530925986435363172648115754197419619407039549597914353022751470660898336989843074660866740922218027001790007594456430506042914017996926561220222611717625103371733014897142135065802370851560574062926073097539413708167416593121214539500754785717815854622601525059826543472340996702920610490525751007007950062791900311654973737537581801880986070825974097294749225196579040628327974636832498897608931607396349081689200567610089223336241012676137626028280363879537720071143102492849120750560947256602336014109354324735336546408273855637425287969910257823659938427300575818344488784757684416820202018442388801683654532769613983255287946183290780520126434412381313355124431427844316161298767606344064995568294749796799206644493925292415318526948325163541995536321676940706692895664751083516447460192592033924608313241982332795053175654128552766942114107004377803271800488595558796849962126796843910739116633676796610375821715024289344733392257001483739314847095615293543547757060174558865780690838414002795735831786518625215518309391683045757998056997506104874985776251640079852642348260776869009755048132720495598566784266776212849085624387131781542588340471425077664370197082269029566522165239017671585254578339785889588442338136429017960139214547927674911963285111971453135773303005529825069361397692501079737682563161606363418950522639430539224189848258049249232608239257161117690950876600859723587645663195343599989639437444688333687576919572147167855732426505675208297659496790872403891769058852615029714174347321055805363928758093690752879335830403120906669148755162386332176924110236534851159501314005367114728227960417785715597394231388614957600298189994085802345815971345468190068712050893987322624262810780615971129455383381735630275371309027809446762435621798740390355804991657774350765042499981502453944812180351591125164375434390736744674871853198881024496248078288324075981269880143178446644183798158607485480780208366381154704045011545140268188866606283178867502677324954911843266228077400292811022422351204910990688727100220552800496506784311337041248492935547999856509464118922410050575896852665097525710272419180928700640746693839309947025234283559725666063101937394133643289103511846442709349439752109300709318263722057587930166401732166852328890616680776237170559053310687457008610582093665544913613721652393105446744897947546061426975353438579883465260332621495407119985018891129795176710750586750186795514767445657138336206566647993135021321768341978801387071255464637165615914145903675733277133357654229648445983210648918674028708246987314369459621969492245406970814988829627259309880389830503335382606575652285323458649874874898055780710252548526945993990668177593099942528367899439988942987756575770348272081702269983144390292769171187093057698747908966854085368524571646524777090417380843170720726822988028265023195550362323891565264316393275920634610183762175382815362154915749063436198717363594501433829741566470588487650201263794254792735949587534512056614286931261714052247891758374504035737613353511861683986430529539933430921719820181858291549852711333160800289542068894166321006353433080227961902326781561572557926567011337134608712407721277361205482578549850624089165372665681024562973478329825442230700692359490225039098662405395578525102398820085705375462760189169594507417966576129876471813872332226964326430130339101426141785553935479328370061454657833618236856814950421674992110237773925997034025681034787041037527612679770128393351599995933988715327287740039134696003856382197564579050455297436196159264286162474306133843627531784810970477301133690708232278028715110454281723982488794452877199579829624835718694239165827658304763313225920342985621085817889200114231912794952035339267524519988887964482042236137847752788585034828208699652269131171051651533961476327679245934022282629832690707098588284663039345883103400700497771167680859758356592141982955284856722312607808503760751174359735275160236683325653789726046640575366629838682654964619322024732829624548952602802151120309601028029951931682265386495797420650108527318589204137760651315120452009600100791921524922238383771699454254276679907387296727779039913549444550983457633151762727813692411478988541148777548324174401354682238975263156649188456116610879189920137357117439988907365634477317038085601267735610630583294847658975264217851673313694131618660208067279853766154457294901782111792488739674322971741910041393702085381169735075721030357142405603917655804414093651112965821160887814495267554606835716462346053712933869153284970788935726380410651658143009922318434387065598762979603433164895433036165166020145244954750749302824108807824796212112603543105385716647796647485282817270594692412829256636698994377145584745452177603010945868871506394988542835203951294364909301761786459084162069714191056423258441793941408374573156552889152352534850069768156263957923366230188241215232804822492000⋅t65+143327295100983901056188080786804994802739236488071152027745978115265673022238715935255018407351671155844730201299254691681240311606084692333180882792459871870480047138717214994682503447620437426597693232303933083289589070406713496391112547333077397040702562913166625318446304012632572824515905655668107838819628906554722301983167374562101137461643140189320754783373748270155475269699629997481205694884596072267955127307518159268307378953527444392640541262827866089657805904364271307392218983751630060634963799306350037135476243879841314435778966320349541141555670608598692972166652642563606632551692272014000813909345128375451194674494296088690016850781560235858362495183740310231847498778472002532244917820911501907743873908438696553364794204677644073963832530637368897857116030586293206555359517863904470171021657081823266737464642019495832260077763405991560418416055034970878217371812373669701006043449949230996454949173440710658156704381054673091022707098007369011810329772117958697559515229442849286636689900900045490229348783131536233780982233434908164718146822084029819460489273554437741613649434673224135232424466205813300756379120286927587421965141405044707327672668405450684107811966948917566555517553525308888128015645212527682439660487874499988268004580466512609168958410379022682647532734963193589646173624493676459585851728800590163233519321468415643140728312081231782370069693708191149119837204937488904585232319606965912815902581347135911418277006200214765827982948315740887127254836495821678190555773058246137866504084503565781926192597587648855491853276190437566798783674479613388640322638682517306968723376408747203752255098915534187147633200287502147026232215852554509028087783584258288350520546605877830833251520439724767324819679765405314734420282650792419510267672532952812613496993603080957003484215079044364430265451472401051091447338225862137686968908005306282035174953063203655077723262503490684189506010143243234947130513059154436831600938238846790045675202932457054520384342368307678841277907620655308182401788577736976036609814355309581260494422777692588187496524087381074316276788585502947519026708554284587495478722544530531913017682296760783684913783874039810144431958389514323035875717644748061222246816597846780794300075117112379310627228490145434528048532157790918096804518346178018272157180191148534765942163125083510760309091672614570833490876203394622390297169300251078508512018001667127971660421442201669438082559708749030063660196688347691396079375186184209162574178696400825471615129304446291363007692752589453200806860530570989859970385051999075521311869754212988195152628406564547082029612551793422924070960946903011516639117564810229871977065848068062788829485235991958315532190243836084226190083634102560913449440532198538283913308368630140204088232884233097353138726176953634976306072175529308703210238288173711368465392676497781058119156917685241483013033563528214673773252673438155067436208928437065406592917271170184995082996366369474541085748933434521048692151622297757209864416851014104226271019841229944796585128297693059245299748040205644758312465779564079431821033491083528874998971986026028553285605998086554139137391559351036115445825599839990682488082232427716481021959025085997176065701547248751954641525329479926808181686652831085858511071678801853717951328758042096065671075368607642555467834569604142333452305603082276448173126167232403614559173773495604727633014181725658147744996024120978591130750149608354935742177757118812557239627878238644762905639287943243426971700774897779118243238539825387466873946177770061888896667315936496052361945461690485616494596266954310286798838514339747675657156108845390912960221923497041449931479240286348215280737451414340790641446903767108921494247275997229480811711277188871035323637215709703154639973331113940986661402007078744680461807005463860482157566695657208343767721230245734700016182383016679636070533364512578954579258361188890006445915552942794546163780491285219407034440913414423588054900633377387404050274596129035714250632478912047511298161690461289437657758480526134641165566255392512640198486429142600585087582972504315536795373341332030037095931752339662414979523541521730272488186477643261478969711016319034791951300444100191573279760326299295980647441516284174697125345132375008083494536819191252699066320294062793561835422929620665153598227960145757141564811044196483236402273860304687722650329714784482503631949388175742842388644702614950104000942421003038801017497117494869218749035185870351892082459086718059229607199531671424738871472526233497753741073419231965950246260250993197886240224649951093232258847225878722399354487183919196083951898304248229871816183435152165855095241708651726664187609406676308713680149958524241341688471719521069860304134429079174285985618341882882130667115055015240194818646155844546746424363335195411211732289146839623551337087360033987415632139199493438830784098597440116133693836760998531037656127003102434229265148494113658472850968336880677761967807098091496449380546307034168282760311827688818227459111661806951684541308622677401139673678275425893200889205282707888155966526099590777926161747690822225876468069587890163617650169573911833017121219715625267075865008466423764765539241212320139133562907089173974547707370507047556867823277141120188097515662455025064765320022883075232496440186107802920548541606270421454319913168453530717901423604529226919682126021605180242503148475652381410287241220238283276200050839749421523963474778272902435784416209170874467346168838936473093555799617676387068631010294059813016622695004514124492617478404231126402765592030638660634022659849225939952680686659097357698382097645785740492703320259152610828118808304932045716501697597572998959441307087228072764821842747188564644892938173201465031049740381975012166363805602417554221767366988088852712480463014193646771229425879779961994631663077685887476055481564848563148527850232413893993866386847058934155587043329744488779666571408415230093124420765219313990071915646655722205665699236184580648484310423429205554857093122963979329857531509962799701705057637365225942551894395851532956495293379101054976416098707323810714576472613122403208256746655559054040583421402917162095833955416102717592171135155367485768593864801817858213578509106910519150396501263794709572880052210743063914781357427175667648378326317802412945887236038133009402856939096134248973095191890800⋅t63-403771039351612977715466021431938728862460949315804847216575346877613201673519773156445184423144961907963171807132137324070334506926972074753222060559975205755869338906815128376834270416693660686438703724369390190441102633104775596205490165598154036391796495377943567045926646378144306776055973491703070123097920416131747543742319716379454227899631396990941949392768763593745750367566496402406953727014212119483557072664734763165150343035970407863548451729673057264477215745877103132244873277050493732393938955861894135967526536280218525169531690580079394065243798415556025792074963068720393671560860018679688102176450423663429521700925307735605948779798405874180345445956185354293725725457423258692820564747208445117768845361894159958576965237093494720641294481547946645959619289862767119907121183373050195246358762707917586706292133995451491423296067570711851112684870332747771692663079518687232581728191916796591352680724546440602711537484870319458159979560780631701548278097323123493332450043548201078187941080603590619881751877410685763622531837564733679224701068728366627651762464424586150253541510342523912604480804454390372059443545023645431373840101150781452717491364118014734214773519195694522325019825447218756568249613155832257929939247973559908504028485575219727807530209864306483290060395780764233890321999720801704358218654022140839148377346590300832795399935881979543275805262562128524256422547138570752268751487904611629918834573435481390409398817294573601686307730396501171642633360993939572992047476644251241542409920899578901657487422863707255501727076725032569122014781891736280557813113097993383115882347728598670935073422888541105165036826992762080721115379251986985684412777669322194660787002720464184291097805243345023630678898091615300390518372755762883255201443966104328333644294734675659208448112820328897273680117280792367134451859702202363954409014241515269159630369756686384635296265919774877821168540458065048310756101614647632969792390515980866471979024334787704571838719957467199220816558079654514872291767153946719123292692306601286355230089090426669528872338864324902016846525865640177852741631618090042315503446677691256690060028759792438331197962470988209005307324806158896132142032718438797041848802737559612030457729060523673945647174383269691091192055362330782970682628669474130179388782745153543835419965595685352083607354176691564490682963599805760387714241108630753246006839896299061487844779741737415140528722830844575394591360965688508857127286169003434282194999194591485953071764357027018261309981427987301423482420812583580756027041854866045735158209914329547287549402754525752722425656095640700275364221801445665096229599170464985060064630785500003624750157375954063418523623275954531093777559349158783218074392208219934150333664169310036130088995938359493346673702079487978079320427935666385251734287355146530812077178162445969319409746210034026912421454961124679134244401371170025329404699185289536148903897440380729723314234021360723457282294854607035895975716170082993068023796591833252412789673944281595009682468298255280980827348454801338576364085845695247556442503760167651621003244646800800407279364810439610633031311232278486798591093197913294939920496570514943882121565955811243832269566835185598839619427310166915567435166026638633963108193670440170009448032152553173127773289333828875159818526468675761665957670546721423627069577031594889817089431595155798582512232012972823243716838013035467181461161254416840206318265920273909579857471642883200022577255058152790428858801200923661400031158915904928266842848181719690525688734522006724993927443679904016553292508032293220068541074579084485356943605243176342588560541978679953731602069387380876701578940994119614785570582940752695142063434415733361863310456878664933580175333279132230391267153186732243908410084259641077981629668799856472813251974202085342652745630831115785282623668467350342667671310581919487925723016896271687403911598192041416725907261908647360125397834564675060934190873744666370408906448451051234531007367401489131594761359598252446297788294891886601062537594142562189111549841143751126343396238948114612056822004921740280341560590781033527484629583520153615833728306107868826119472430970981442630247709143960808379133353308020721524053551496925154973138021935140010920771144033088279237352854972084104155559095601244289600938813941409863060347350981631171595650122981014244609918765783472506355213763623910845467036354089178103140580029047797208517840198033074471049250375042280740768852769261077572633046790420796967174638539290426222545513606289425803460729228787091053389533468523915558011655866982132161225662044108715902729883494783447096569291719744725085108912531644640960788643701779198478982192119478964936176830782113933496543996333547615286479985271718721295785477070848064311922310567350466653331975963881955587308514258873972013713132347396498747596309734566398708142173074777580056080166787868162416302881948269334100125118446507597359043656533142058166396669053425891933807344990144409806314939479517685203422363505731637212203088218788957806153616867146371767456703639835554222131626485616179011629336885408701443151091708868118927149167890771547189926496194728613986321798936265035207735493003865492498122124372718678828554802776736127869904268467664908171171056311603203592776011021416399851385186598544953572967554093013957269898853981467088168581184081734769090678282451296099233157311033436630870303938908381334167352868899758348814905039579942222516524009898497205164819474848182610018622328580668681102141824315198713703439043743881663875846752728525850510343437468396127484340166875852406494433939477890047555966124941291656061944962961495182532068413611710299946076447238750749713141849713897468978727353227773525055863682865496755821841425870488636929325381424146456396209389165938875120849354485036247201284291702040362912115710217089943241373557120681478716294243238539812234387633763482097631526823242344001730900600641029437905315508237482088556863355004149046129096023614182136926302806442879491603572931729005574188330470969467410071474843282375822867390289408727919707838126453005202793917940968546297954025798078335067332281929316436215462408888006363656342356111169669439714139473966569631919610684460592049038463679005867059079112483388505171279491756089047242111785882927342768634194554801351693206622296168630524885286120764187843209867600⋅t61+25958250624556502462385930427755581534546264966711559058876211356152075727186948438575476988391738518394185606912214722897478514275692148005799517953314745431696957119587290667865107577785511660183220815106627258876356491739938289126571820014602887475944577414515021696266681987121447642002852999769776469322460646282076245630279107394578702662330288616305228043380867156508504933469242299434049686128898378180105910606552751194233428972006445346314994131168818721443637275966022033780086578876116956894746281652587410624056307767595043970777133184935155452335397027186096666619489460391441414577196620542683078745712622602607555423120581059976370111929850075441442561935946756693735346103946275792456622950482880272103825758934757192827118606649372704931546407565682498480775935637820041714788859244613397606087037908437587437225042374355535341938763102807587857365871381591739219916441165854129330558964582267348846229024717663365782279230057566474192033394289724506031441440216600869822033289668344596679179490335210106368452629362655802298128831063121383356799072165075951181632325784431526877527404071240180118102292491424612736780987057532465919278186654534959343701988107326287340979528395571588142308426325089431058116318732320069252597648965225871097783893946480446136651376211079922278989038363236205487885286989882771042495486853928232435223096875570851398742610094303652926860001443392547688177883645314843309244791003503847132192729720018327577247876738871023225069063899848614104795667489165156683977014294246643861145975412907042279796858642585527709908098186374427372106207966745534085331822059269598415140298588700381244036226343394534187599003761212016484374041816008813244261142599549516933661607091148692394923915236798949983219406992739570333715069069887083506547555648622113063848965697794268432183693614380324009985999910977390795428218629473649052690719968263059206477454994610623465148431007943607876651822512488061360048042647388746721359280449816249421476075867818694908990243835548209480283245321551751248273903964141518015940692201484322197745035431506980701418337749044449128630261020282210830872772911297949973225601235133475668568531492635778016928850398599869023059809010682480671274419919204930417397436310389254834048477333267716949803485637651469295177377717174445768795504924871677874714450336200576726887142872708617235017068236624488524032766715043974213749302459728235721798790157927450232721386290166751640556654646617073023609199428071621948096328569646370924251174904888909112148696754900213833353267773295207140872155326071082456663661874828163702034292054702712337691456771436442756931953307591021521932200472914074243417212186366257538096779817415014146236003600201923325514727086605699959014316273672541456710689462505025122670698689603518871483079006795403355128886487630800905836320385199159026302252523401344498358901686440827901386654201712872519487886049492200264529270896219876809498526660333614760280984082275096167676837828392466130175842034599207817843518517260197049992392339803910078825919949704273930641117161952374430205176930488256524657417669967432201110226014937560611750410391601807599231276841486178610924568983697500598963369241791159628105345988257135414918994365752456540242753572627956068490817820259076521287872898924051224173149512905270848595690685234393941629114974595777772477071667745710067509797338987292448504654958959698522123448672058955315339654363558186172741965862659588922678980062305985399413976095859708953310056144816723794808830891849550496139964224579050840818017293044608959881346417803205400123452880456324222117440940614090978747701842117410548328414098463669164981401655530266693564077097608791378030993735650363612958056952214952923072793051193145861204365983856340445446983385144634522329387676288834967362239488580523577059303851923368735508203900867301866965335073309804405916402282661350309725013572199817299594570053662733766832416830084360157595420434937017428161512254455421410179007184448165124786722407733461064546936025262680940198060408050891989842326219602054078229897975999695845223016786681058541483599215651413309202835097837419581523624728376337235431643415674730214475168923758594720432976129950393255695889367873834012430193055044839486551316026374542000700360436564856340298676955636397794491671990688804800446677051443212436304796557947475174574654025447477762226546807835894670170608470765902280794058849557595928830202320594453797882631806594792357041942643575392718751298871187438340294451522532332785133904141014983433253898771303037311154524506878106875935251554869592877095636900695432397385746441078548110880501374765272152639815759178856451457549815546472906797061810539486519769143705079158176531897117515223198228763240749814887247190240529763044829587206887599825033526039649111299351199285370489213242199104533488034525407010083287521515914918394980296543112808885548808027673630647858407024660110489405421002282253619051439773664203454578250451166115261134103955737141251205334202652742552542169767283652304422760069371813120479714717247418272314222289358341502142826152238368978072421062564597182208152995516113704976175570340844532830798246817098100152817103479182320757304391457116912216785524469614593594428168681862882035455399051001565571328813761134158559264848477319785130159003599408540435427957619958989774838766798326497511062290012724128316231950899234822433273721860299162801864039480063384936178365796173140145599014333746810472577922074811370614728913232475502324700080907979508303933540967398340090810856941780560673054042992089590157775890405961651590044705761801674307949649528827679869466113931672464941858290497498065674823941572579664565641991661668409304792291527143362022299979510847009967578113332941243171652908302751564743982526276352133528061136775190785158166255288177732246460321798572291858520072084546225033986090043347267446734769802210740975547975661553891259262114051865678003736257709757269784666289872004290687154535355188020218578490396049497863408205005205508309682667314703481335127188450336634639587314275797647498836687869077791687337003325081332009870413022371906337850856001733892360639465911694818838780728324121736240364160545222668391700390417752832439232402326950386093616594906114619411761795666508702722417564952121492450014126262993990352912884148429714583131048974076813368040018491032662601867483938095291023628004883630759357520⋅t59-26090165806533430104045859268090603784930622096857380878332558836599941344568367930685809481111390744336687953479738386788826491471077436569840152047450274537181047271314929593028197306660012894748421988527966411107540282642849527648062010151505940271094968273945051874949609207151397073838176327509214230634280450794882600492248480318124241128051140414059728059991390476053944347811251792125561433781204504484908927926256744285358122771836339049012185147498125461946933018600872909008097076659423072723238204417735352410637943021969916197451768365917916839238818895710471916750951525437473660307450644486954291329245646600424623188503998958545012201329044418337153818090867613260939401657556660027003371509316577116314265301594800431238199416479140159648768060218941957125908875040379322478172455752637623485241201293361572254569631013570352594626788474829597934391376459190728682133722374697027603444559103068642934075463846801336861416768953364545439011549377414625459816297576109291941720343794897482718897542844522926893123091212664572802719453793642121265239106539529847701018273872170910541801845575153708369881652772037684903190053624318666746564028871493932333409616120760619382801772924178401362211650273714579441648253576058358335044658054226811360808634382326303239807718817354300005671090136325422110638708437974211582237422086660731963702022330137384690470867543731519720536275441331095946706483270422123144515138192283793428132703112912877606758745794821129292613323681976753976817809366388545433181963538668244998692772679403813449049461287630679633765436383116001133394217197407049491137934351165996959812441674076787605438964365316524803780305975896157858896030147799915642723992800363443079582232367222080548924297302749651886253790374126427664747195322329662711912400306757504518389554876177972067131339056613541623193125088403436512087286386477504667665286745116752739908475610954791587222937454681160490868995319574993908499688396716780095101392133728141483320828672749036128643868647057605720346688347121209274677819569852820106580841524815322728631317398896098205950912093900731620573816204563030615485314195204016022057710659003342050447276016155714308313911554985435406533756739669318168191840749900900717752592720994132429486141802888556447865075104981807214159532835896101835506097884699509783027602491443993051973544363266071238095682483392659474170786052961794946662226751166429344976660567069683927099133979720147520391211928176649435238391855223330762611604393228340102339991390606482190623955925542732731117308212801955978905214205551810965204389827687471359073062390079189665486558346659708353682682484316416349893608028422318164761842343065412100042060430507795795765286288249533678107191408609498221319826774587911157148392989896054034388145283099591102712368917862228283377502312444789736180830455718182368883248645752353172242727963036399193126030442220110614364335129186309367826311169650912109525950604937080303935536159838192732905359266899881787116345169973493765707441429911555615146222581422943392009515475014094541153222122179323344810714583215485169185383232825463232347135022302129219349460037546604408076143513996803321811514587147504920018905362369482238195156846968931269756676261581791690598143662249051481506767790676766126548130439055738363019410414841991726931552191274543066362114652992443009227940723133943186898434466369446831436204113500737799118114518646809171211787831049423585826567971668632712721240696538374704711022467997243972092792955165032627715182546032612097800131113375039467171307174044037375890735051814014857545939709038647416585848971010404687347392984265530864824427713764266676759593513411171278134437791608763158699913355289607855877434514280903233371687494607541494124625397928790205797995242303274117315403235155397987125152845323090219450863615907612434599562390610370221292626347194761144659959572079927472278435830042439268639693549676611289801614024329878277799131630562122653747281366553603905627469430220847012813511333931192373767837342741420332272880048525795767689374608099558372563550098912540451576084455774657402243022993046603827565164366993654246009623787560463619484468628960873409476903725160390317776589430067259927409004098803716502799449626779564882557588191573440287247961615040719555658504828270591078521266078496097108676050241848272532311306090040274689786904303811464329111131793438291775225503749660948757381317631101294792212669730015937920819267253622434737079899877943866510905316839603408585460412022300341227678671688045990626143773174345952024016259106982580971714235557305195169524998272922758340427150042595633696383553715738486617669906680691572995226603074155926474503673716710119222274540582257404759418446758354586244449932351949654287859618561496463378033066594136337597864352760875435650571470770636227168911309822377748213337951973305758683814237318764104808409517002216794698409427077042793998163153789412678238117958484163818699661776616193122735069676407818409485602796057128170240700532174458577842815783123684309840763717933810528694697240379687869421473987663516675673472813647217196476065063777346797336987443939500891064483501394615392833601413303612988432597228796381298479712409001910776447331533158892724848379171326706899467077143698603847668288196843217622936969333449062273691579551577476926318018916547786892918756153395991955521182569790491752677133928627498215297441107266352615980387785116340818245028438869778730532972130844245557862247333855084073729778776555048168755506207116692029701600903592921853924583537034416027766978917749551831499712570782520814111369191239357779844248248667763251853203369659417505570008417421629983782955246058439834209709155130733886403095604855763107635567893302995956415961250245896731762654038760701013163672165099218241875689234090304272075762673580306079055277968428052180461690507782154264687656599461993366361214571406029902562225905427516080268481133662132658037513183013808062284747562413252368984127572310147727816193563789998820051638565756662814131409334072392182229107874028043403113483163829353863261013935183827830927973134159565868425437488203729926682969283265448476184962246192017442443740739636161395891408271856191495293001597631350443586517195499746690823552440930695532364814631599010086448363456304474887071815924156802803279222661559816682245569012374319271422933435730030042635726784962910879586925966615462326800⋅t57+231152953046416937074403023091418652576968883868369772958173191260493969239873471160334309213219141513994311222328413581871358207834312579700857782617150517307301481124514651343005275383953803941529026450778343636568137150522686799298458067869104475069995413331834080346602623443121004329175569065653798540939189437054373739628314407957981525950878095935539326423546333317681248121442282660861359611570156995720958455191897974911180464933892303744073077330126179449241184315348774544638787657671144970210576224659684150003063042089558851023740401931852057617944382104994974342371974749703387948207329247836935880321212010419238400002797717871968835507434294518048313166167123965317358439634373423407598572809971791825069293149143946898386210125068164172540071060086122880748203154171685631548675106903024137371356415692124133013638627117085375113110085774771220724984676686410803812680497543180312050040321353630745101170103760776401194057819838177101053238579964329567029270840539466600836606536727268779249055468485787242927419527825925080933817431993329096353592523172691250180133549940899700254863408569386615525467062163690670014765358749851509668900424647766196370169984493747879240454435784341582562117443270801996009130103153647805280193354377988750101452806048043467638584288263022853780577326303503205869927135961795611621561812554092942176198060812688226263399087489775768132999428150536602175876648675255671672663500776202660297951021326593386007240208005027457131812016717140657650085574023086490134564643899978884318808591475996430360326587937785851725615491280166066131434006030222735173496296826383005303904230977277054352347929162210703660927434604959004195811725762669905997408478701199659092136883332622296281880713274549219903038470657228401993827686600191960143525635395174035292027729932538971403244403755237540798269436495230115985069325181514333853368751862169622007285214923092113858859066713449906589433628063373154663802725960797854507045279936510018678697884486203384556412975659063236732587637048928466351061518314840803725215938152297957607118030269419585223575716555181877964333366145499341932642916032305861771256883277764725201399673619556381194012894144652111245423845566337874852433225893918776417240846691061206562634491579020192853710252310530407899164305738464007209808037531146228408142413659993098846597001655763177829888669405867129421834852479254510287374656842038819724736783848284941967712209633476616586014635064498495156909967003045046170098373274961649796902493001294340864079480833396300267109479479766506235396457695781641237273262531485900243606538845627363703349705647028678645849560187216766388720106381548252657409869326027741134007644601795899365007597701719477824499749448185731077694231596260507582301405776099024142230838991032265123609276487537073415509972919660263017474880160571137054239652185577555380616377065271656971360529704216744151709558352087572371778422947375546890448024384324266470625414313192201390912301814030602921650364013544625514233907626305826283955572917791408760669363304036167086959266250992907112211307664778778600774315943854073743576199809387273453543525870530209737720731177700962461213119593782309849223284904618465811616981206710857689416383001272663757666765539357199483287272539251980453279176726143307739225840419191966465278339279329850254996536332405281835010264244519338741913004641861891579884715693073063049593011061888845587412540655192370189227645643516298053485699574888121631178197824222943941220187476407515684320663547864643589489785853075022284195617865057221600616585310493052681080315145097051159665663106540926516346506839626597434578842041225732233634291120670156963878325285286703699989359421530789318281431578356537431610744951803341383725926061430376150630994668823137214172327124347121225895963460730377827299040550057667406963802355659500860497972462514526537188017623850742209632470356089032990839558732215421554584178426476279729717919542716817126859115190793462094601508974489984029729462061725379234646691213858637296669479643518778488168811520998396630611415655926020368992827902150909047388788619758364788704395946589117931006430051285005901601410574142348532251334668819863586598701938084552488825064765368693326248199779946564524616093702001438784837391320790120870342698208669079818401097359169820363725468297156275897879695268103909272075967134741233399612676387158639062781162239063882485424972240509886762959440528273077995348610093983213325601739396615185549775752231997545582857616773726115679836873970560252333445828428450248563400241208387136877186822826953792748683998429110673385790356108235717099734666845077303924374504646333525729582833668271672307468702052119904489855860978979531858405742254071994932447832695571579210830349657460414846166072964111634825446830282948237789478866569361231269809978186741008655537961634040540117537916339451467699414368693290576997648939285957157669159237296293818716240515599065454344428707251787002552416400960155550863501270173634941840416231951053419293166348522634541848175886608310541454047064172194490356454625344153152882626237377550444429042920025045286998458027658004165813763329163293856758068300443700333827729852187177006280471280936411142654749686179808314713231566437689408237543962986437432947673296535497553662900599007647646334330895479622530283024839201899130373562697753398046461017342691969627016447375306798369861188611657338804609026242357644345880685475235984451417630103679279035714584859396289756288621682198897917342867540646389612477303950007946973194469460366880602962323232401102113999789394344661382097970853956218577363820011830574788989887502033728754211560034235261166327837235246997183648492735353284295117004105093714972789039528438099910732083363531177584887338093419422669222897468325047247891660326879472009304187983546360585735890859585355495295325517106664084449056074279887096991263155126479262027742771800220383848560274296993092326180370116779578828648015662571629629701862649720959883420114561258602832806320993678928418690149241145186030791547303575820954072750973281453106974496259558184137051563455457525930919603966833101417280401019988303416416199019685914143599604440873179646629877076148544754582165253563247467024008740821680085387482716995202696533705141589563834108668970600166714236299958238999202782998573978521385668186319910525623404387898426288598026223515371177341785373828706800⋅t55-164655446634528948535301999872670262764385896837225959605921516394427365435031787010291837992387856567622678405340424610211975912000473943614374897096872700261089261927622263060019277904254614595481598433282684124275214350393005071374964167192734900210134001085545087101470342892406652712889962727374376164831120230960807819460075133186022390378551002321521115073776175307342779366940297843266496596884194948633984951127870497378985896293287161909864525016242987385125374248971435421151482135509680557819048525067832150100029229852400472305263804437520648004415157622692363207943979760634864191061026056016628860387839372373759674045680994432344029385647928694114011954782510574406143150924566953892462617549221538500794160143663753081699279244965200430099367978975115542042378015806770858703762513502682089581681868905325253954582284538268712710997725926008912499266801601035212650948883128887167340225313712184105920020254975844481618606505870983469232989217875496916877281200361211592661638660800418570668969923513243916857067784902990453777777849363285203658895339236585989412813091802180648612367071658701756786810525878376242429350692090712216891877026142831732840339487104267973122912520177708395078065809735746179011527815657385066899908724855445067153771002467273851764045243806811424209141214308258767602908461130439319913473971657828547553065366387214034896815185096659144563961500587595645564986057740209960635195778778669797439859785631946284764741711657030150496050052832756740735379229507931795260649489385745304416234320334543404238961872975608769421399924888656818143275357261388752752122516458849169451447338799023476949051905862909973146114864159451429025824639140569244930640105558809509058925324593910643144413595244112706588971114033486864106504430286553762765954532373456367582101259881515431125519539555706988652097994794504984045938379576230178122526518545729881707192518328311711994515927364062969241024551057792375057814141688221231266701937530491672046804085282833354558609501261861203121422719618654277164508767583061017601688045257295474251691397641061344925392513192017444787272408108334953373078702321375885065174127306102487406547129968839896276147672435267008871047489743693790907669070700279186213779942766689400060168500428301869083382337476583820666980381353856495956879118057242538691711909458100123626642879146510414311406627717282234566252065997459840852752190991529254597975326516591663504785236697580617994217638327234923602777344913668562667823415227467331631676385317354674972623890063222143576516469669509551087955556585823876298072056038191819774819095637742487906099725472515796267494203101346494295968747815228231100293877538672363680687196131085628394236211282720833765950311378296748335482467566135043977419636445064551014939435617183001642054977832757660474553825641369701718090558547561191044800806756784607207366648381401669515273630356578207125669458664793698351679668579269493427025452757755701375103105338268193295475591285124131821916545651572148404563523816760452166798143089026234171254850754757812410618465907017342337642814505688049861924419394403665492229979246624166041205527777951487371890368163041186558701643132213607057562821567377200809123737756120655762892941601514413929434767776514225848625932159791108950283593165342745214898279908705722274742924234939335463633301151865302268118696403575660985342265348157108561545251919135004173048097835289758507447615332667918723280231914309946607137422612227700703132238977782711690718695628286288749925280257201677619027923152082766349757741331448078573198285026279957781528680230126202823838388551711366969359660969098825149749817093507801788511567697435064544386868819391953527810688178317320706932610670483554113086519537641453512277319503854249147903351035077062505444945455435149651681970415404871449766129234051114068489136784417137705456013247405853638982815887580098174594901674565614915652822749751491333347143022231815146779716608611958383827940476976971536387102276470658372257029432350576896329692473938596946036599791883949362900355549599829218656609282793733808629951031799289659951648944156551543280250583896660510021348143786977641556679167147872149219331232817058868444711157853211937815084646954324618285461749955520633186848480102923598489954341757397824286950737709831347678243619166037670424098995278140622522544341442863443201276399486697510306969683466133247998749871247599973441307144159206484193647938426911389652832305814415350004743532469639471145800860729749273142554812235609714520298766981292440342458315384008226153937667982518109070554560160745663743787922254741958131613085636249881697805214864880884659980074662076547085566528205449827933597727979905213888229861547646259894688779644273986369949542124780024503232518469438520894090507063128026291071428444355492184111020758560327940758885765469260616302675375419040070584625053130580614049363618245831044387971546698402170435912636182432593743212830561719776660293756735359835734621466732817009349911162908420384702433697620348834707813208646975993323410021833011555446288295308078786021088757354152852597749726458543760666684147825313855286868728042628219091058700419474858213881792951070882607865779953653977603593120352779489426901345767037646400270312272932551911342877931988004865032450937782119482565497496535077441624877860631144440596353309933845028157204025229618190267730778255615273033965852988915780547551303411920628155259342868273441562987178725524987045187679008678903778789277919236658688922975586167925837658138859462284688458829087219055570467604349891141111197624448653766017116918795510845618745358839451204033143768590567765014759472645929043198035375155790227168359413871033475428977498851874991560759117334768622916094729000823344616883138296809832621788978585506639087309127492407634623163093402336952849720006610752574744999329955273106649505503797822901298524954564757293365345518460112822219470044846455750464743959325574386391199742112078627945401117080518598769403839986430479747277558307747247822623977289473164755806912301680209409054272737079974826331315694401848665344369142576264286999013311309251680007151575674598525533207005095638397110871050613539160533810102587405793431601033222340785596708767935863673711052886574865493298581670195848946412306005419694731226336785219516529253603528114291911415690137259477355001420593967602274955151606632407134325577378026723550323693254800⋅t53+15621008871104181487279364163605332729384340107950066449380592898016287892556862688622622622696397035007453038012637912236084091289342491644903578707742514638499954797078783129493028198579681116178030430037951433097338713570309333955743840644295371423056750388856630444859870823506612823268551121920482130766205383089045995905288514398665494008411626912211273520290487696546036310114879449518562828446925463251791745439304176615169359258857329789974285266539801373870337449121333351411603879782708744997050773605047308975471872406374054792828885916996233706227633913591464127058577933616933078080890466103986513192094328854620162090276329214824959739263310227843561863955126539878226375430127310857575920257754057592166353296853205986028848267879695765034959682173577423504578343719595430693917212031403027699933864364650477203997392984055451796054516481696432052441190659695751042095178189566057024726370459915933762918366180187869870813742557399277766059953396608739619080531992329252927287027741242297109817016172797627456984463238870985137090027289931757397620004757378923626549178435199610496916008406711083786842960526854001995952127749704351941383137322661758669976852570561318986008316707337491337088838219470264379193732740383786865740916986565338191200164362895239193337548055828212819243054454504892977506222330821321947907064090508075780699143757471974699079980325058278470289303761031091796298496376906330017464574073789620519499219876612411808281007219331590031136967369485056803214529714331087001610697725834229057152692842981308866227626027651631675938999757572728830180186004306948545846659154478431360352492677666916585325867577780278170724081966290930481798641631609659408036741600185255732108025838224619306188218188421622449174229930411201019686075427760291417001767191420101584000802192366176922892714834237884432291380084643471241295269375925262128108492545834379025564659947384932827790791101815054351898494742109896244784306768845267905975539459763468386471272705792189473424671364238907969667535402885731005889524816062806950096763352065530872826400781912731226601113355275498365773359440379835678475681283180361442293321963467366314047725560222084573762426048931918164183856832702039895146366673709434085922275003314584572333313283085669993889174815697183779609095622593939925591835359610800950647749521296231786671373748681940213452411934715507960097995179095430495314741719367680613882051136909870049755323526157209429257301382500926893561290884960370283993175722998552840962933206235079518635572797933336295229389260507695575185036558734455074574177186816739760074647391169899150873413828704904476296324623601873929679880313804047997178226479880865605320429510401861992812121426427572125526461197094141029681661694257164470113207938303084554739161583094227387012504321661183801269937977157813130302499987592037005840023715567360186114204761350021595263743557897110662886567464817312832480829044362593095740797365479370300881904624202134913006707556154032088142565706027609736739793138494881184525800604269573407970566516375874140835100272994577344016557068649287857105901760462818281967016724544077021141376549913860833110441002952908949387716269472023816520734873980930438817510411290089924612548224964607056208140667561406553226197919337543945108584074017451820767625672273605086646730686282429726425368928609460925110334748542199629781984815312321381880772451918824825083677972455145060664504591422675113917274574867744794837157214028614322270671379572037076678723149079171059559941789262758634202414672256589216180917251836445578574220156476651993199698996295990969352047214317760514995408530067851271288642903816557765499484224298530639231902927964060127764090287218472281096275755491822439330918658435636666404680844048218775858546654498192923387767488069565803221475381238961876869943619264884650621391925065701081400919162514231385411327591235285451068741026569876554805032530833952838233820277013348247477216584050554529570690759488992401597448005641135710562661819884438645068333462111661273952627941207337056682875762246882106998728049667220735757192372487658824134171646913447304769182791069651135435443229011729895010268470281225988745441459572925780829433370297082876367436911942969822262951554633914632741057210929490149439608986689708626442771103076922179661398224173125769406745957376167989505432121096260082941082529730975664730723811333643343017992600054888481209788880682751852918705528355485404079256738860722394402251343939504508900491970528294410515892906744656703273991769783255994885207461171404022633532252906339844701904393628366803716866773337368154165988228851363902983929679887375943811076102013195596117346257966425648988305514565486912868900510064595824646769275842354482931151312417458967989314291832830657496041945475961171677758170277051957087498525858075451324691278391137893508038026859539552912808188862190441081535765269565647515504403111382736910145696313037981665106172393552555085609688340648005709990879432903564831987909239108134595361768513014532601085586555412335048898156950991034410961994403990428796034702608730988768165654341579085138358149070610226238247416833054304226945676006117800626636655075909989580730102139628316042567540024953364782794875652131169119974337154839454809141944720755162350035903549487524739974846009631833871508746713776160470018270355130398216687774855471011366300477341258016740596873355422078310969881744460350816678673627622576491624638534780325793230635053859102679950792358277752647465484855067082948081083469101705860347741725678004906943489193194370173026010946314796879020529016820451759477505969648471922835021856189889988707478472737989309747121042035040508016095887443045016406694556230535921682847514154456292314206074717576650064806371819302464873924046464378774380635368279225739899744908768409536893704149637390444750759838134655475856830330774852748791042289792943746778414839286910237541407438313960345076682623084188084713879485590620812016274780285836194530432635490240265889460429884296643496716198598826144824523680498338415195676562805681003043829553105596699824121032443766794175573637481805915537581579383209512639815436214244248411384959359623407325414035841730800248902962522338389393858048649778867377034638691128680184841528471911145398336184632719466706129357264411722882267308164918193941008165709558715227959571373238509783523545989071915125378130061823145125388373883751708802000⋅t51-509767941569538673962476664692107855063316901345117350663792426802913832916982214569037157750631670639403252828890706164629676725539976758913200933551516362948241043396791578259338493870989918648800816128700448496160389694514700061147849780930469842828760126584657722354262233925644803647064442516744390567989551262905605466415377625503881368645953125084086682478741825892351856374754245758289488157675849615429061700821057409414058413945902912298605257858290247697725282135880759246082835763248270129579490516413754254471719707828079461449072889550010075065539430058346017837544391368533161130373933658070911093459011645513353203832908344078487701760651089511823829427289912420313158215603087381289943057644728066138532118596748673532422212157411703092142247293751351122281991980888874199210971493668351201521485983300977725280936238489782445565300730409013162456828672442579853516202027469480472168758878515295369719649990392437277567677035138796067878007731709569576712582622078792076358354894130970919701654058481663826410417154183336751795434644007297152022043164514142452432581600957122835272504322875167113669410232016654256541172833173935962314850003114619877378082854992864708016948188552176827133077104378826181061263482033121711764331916268669118359717897445878423650106060237758264010504982867729369418962350079650057803653110481709884659017260419935462851192935323547626553083342372324466342601793741909230864933943175147952889247342721396756166412900584717969917474596520493946367869145593916613592176080713110793701072951093529908616792991895447200794371080071307232759944855634699196955880605253097089872374722342367503379463752720889249999276163971155946657542281496981353668038942857347122543582009949579761720349197915846773013338917436552802160073777396288739994229947543336552635328016951719502289871258035878284927000831242227065989814776118324983628412711403902023203753716591814819895013478001446164600073950159802735669976684091041894181064474036405399047727339570290319261831645249497509468080336635971210087136224987083692478821726082199356725553709225154500291637162855715507742686871987835940607396859512751269788173416216155755187554276205556107462114379602039835274761110752159964935433556768501826567146141324302174815097769615453175540469928459377892372059971725858297523631622994135450640944463156264380828957808807863685836067897052956755709600924587725298224662001495890815348464849903275393136572386592855312124157352669929271655871735158170646253710136586190011895760950023325102789607179463835133868488511098298322370254504983632187807244171826965593009147666392912885656291281032005126959834094602847719329104225752763245278867929935422849028163500048113428370642390887489906956474277473525728881205008558376782198033630319257411591341094482720230170023410997895694355962347455925730558562575470892605275823040926583700812584775957717485851918082035338283244059594838699389431718423602982551660126041629870893406950224654456273539381174475654444142889286238691306729275786447238123055482113852632970754773409769423347016884743410734841627913356752005377383585933120436319637737184228873354716547718821847404832167590542624940765003274386988193982381428210684781417011829373143434617952404118968954124505021797848425713866497938891101629105764996348934507021712378712084044157044313549614509115145908662880318063993699536986168315854915706770024077093426438498025054615972395155579936626599237491015477253452134257253110915213321935500726179387384557199067231868247868815036491648109419745851659652340842762617702632965975069210206783666473609126516226916973350828876734500157768261052941993756761751087468830279321262808441426700034026334979188533648529230776136995355676947491121395640410437567770109084438475229042660589298938086096681303431738711541768868776109907988987427591941423754819281211871231810608112608495166432279863446631491771821755722642157862298317281153296585171212007080262454180145666377727116406744300539371521438410804012301967574838842741522754785170981749701879750966210997966606674944238024353652843926743598341842338278606549443152770280711612630861310950042474864117926996611386518736747199273726278359849206981403359550517154207841261894161000907710041672943073966334885652678275288286396753095216320597691177398117070444823002032400015540421581103661817663881703314324732302320850492499215513324117473946519661615778217931597592342321574920527600611927302285778434899006158313557608950430345388199253940539312434568002760791074183803757413502586944242869338473085957866391130840651579719001182799551208224769120413832765524485611156648015576246457025383432773955240079595677339770617548130727263237817839272456132796841474039794606277464368143213934967762444828769728330092554155779036858136070392826708759859319625688312617841181027000016623642205930370477911371194797838654361645485639863830833937924192565583586991737393445453623518313667724652081670190720093971323402478357833293693762780912883882631246264758590748466157592153880918362593720733581219257738563194405758245574435494028926007065527994879268793783985064715946217665757080268819717525057048053627022214274655702781103257988188130282916046280669064675113872270037009026052686187581353182675751314124059361719601063843871388441501229411787787559940549495322948254343834054328991779991102841541800292594277220628591999659923732755048113955652035099243558612715082590730790395596796321873113225700091047662188865526064436280973229895647670069018500644582105744040544572772794010587657798688748146400307299843743805331529649741578920569794147784648363238071650118596918013274491753670859438244866595118918979580835300383877236923844749608547661487010618069234687387036915257375451079689033953202233826793089080556973204308881307569300202107858811080275332192696817579497761754764958986917156792314208138758042208599072214934602926871611084725035643681631896392984191730981296970950794178769966327922975303576907416001684867898601594526413496965884047245413221401131745345095881386509931596802407473174979426768508643957931729785280002461943494436965492845408192714107473849975880299527828724898349861467463719341828508034979996759472596211716756050042899903727999333026254187974193538186935948169099735577710498350910657969727512310084335990176449184268310681074717378506787634148629984576127103541443412381595225482809246881096746430032224608248191464574172541545409033564000⋅t49+34637581196512020199297128189807162171602999594589929863152478331184483178128894443289319672654308946925122029271591717734569575101579654611457666700741573931655165107034950091782632979212859309543938939802481356093200179558220702536091854696628726511731849864863976364151801445491337368927106281483444962170100605480631120140327590155389766111721410466315716523039474925981443757881701920397230068160480420726680114173070339295678609625964627361657785158442151961334570819366814811536641378614527790834810869708835709905005738018053433335662379718400663650776151798221701660547207557235902568814599491082234308945684043044338414607795375784334738956467426341683176834683414278708370977540972878067090530071627869047457935669874908324651489315745176135811610359347392577961769602950807705717169292301657302954322948645240974147475099967576080401078739668712825998570750271155820310319863090860176321815396046048717510470181883700361286446740689519652710467678191818362176708942266475128838131127030672102345433790395590725148749493221504818020324360111893734672529837629935161577328518691007008534601362959906094319780443844991268033617683259708790359265464038077846494053010730636004191409864214019153487302715033574908585684292624300544904991047793910117204604787741313681198714643466066500738609023544109262605044331204790117182721982920247653088590105802729438208859849265151410881266280111351566468239367188113425557853666097582530838367747456457516082957890250939825571533059343382317731632787225539032121691739779986326659051621336541476889873397600236112652093952055600709651468135232071232708058073598360051109069977393145844066181358417334832943705910546028103850633863492994728557883184771575027009881362172840116037049684853451171959432375803932451499251950292024548437309580870408638391083507186370228340491980454024990323782519834943396404885490995298076850003705541656217435358957487587755489546730769940161397336801701512702662240242918008542665793573941033973074124005886926391457893866051999402411966635835039615677907474454401064719449733706461517955908430211316955730020019371520015715737728135846790535300334593265036201661003514634219136118955634166501662759643646109831759582347543733291758628572301193680702489836513073868847129053382408619235293979359441910891327841930602017153123274365090856363240937664474245808740733122176433110371125655387258496921718515579690907889471895778289706543173169880209304601655903083256098749574364180821062876834193310528532426911130673576783484830723343175318471357807538768823120725021599451717431826324696388494327955354299262842250583077717947448830726273948138074834636576544623048708368090982154761509189668305999233845942255523637479524956980336507139657343110751718194836233036159409682175488938712739018613141439712405672933410191703927779493329808529105350208566552777545680643018411155940887619777771940581756033394537048339608390909477983593139552187101891469487613929209804964297268954116693997644847741720471250454265773679932193324747581682348428676086428144860695541402284424890617075994279750471674818232307173620251973444109642635685762243099639527777301302912799911170675719312278402638082084318922619496209870844734794529976959368093124758841980752841463778472461877626656011240147268177797161319706273276195798474912134529298295862169306288233201731852855648285643786839387182533949742623523137970582216434359248484394808886372006840633124379713169963528086089317777400475495174193891514079116821335771604677754616423460218530915584849181194885434100565873698982694754288703333571136563576917172975354561032115764250788493899143145539697616319827820264217692840481398236796156320384023271898843505014928769313230130830399523981236045092739544461552788839359504572083508057134342323018157412623046820025575065828768214847977662961213893457072973326577912131520612695129168717400841459466632810768910207797138227259882948462989279542067194642028117247284514672773670027038171885987597258928548833463443111808592176301805724468121186092877307932764559196667663757463111866385338160448189736119964458913882541705731985409375053051109252268568650434967327054753143330593737336207232120963863437983282934945461265405096647557740212111483991568170172444049575691262586609178915512733779974309786914956526232172417220750696972328569587694156917148021054703808068490413688581506597512977130342598182107286058626303023176932672928699185571200375210414713932831817674564289944178743282880496098607354743669018555569181687062459258299743929203266072441977571439389508310035951857304581430770451396219512095516526929017279531453267847231783305206500148687290559699555340712128443770828873987457502076896142117605763679574105356270845077055156975637036540340757116321279376935955939107779024941866166160084967088429847323803356380490057765062951388054554993354052506426338320488809391693676171924541829809209495424707117591811931568773414143453543391572981768814780909129946758875038636121496682971703642566756474604697508679413846825705027778862570194437452997110513244977124116477743627908488080493744549161875115076051112556552303366631225009486995159780385251324555879931056592627427953565956056696167748830518759050707922705456184382308936742354819562231212901985979241135710680542346110843260368476526924637582859290090949343923154925620785766603873166050270526256640465525681771234670425578562741069485158974971678129123030175911296999934296646753904465318449681814073438076380942876272478614392147043422646596280096371184927500415670966145333931982809281013803478252884614470307686700458479997879834079480502848719963521674591434020037939474675453171064051949419607659069798014884560676399312834675367037611039317210478746526035471943213469539488347857772776138479247864380902703653779191719731955163916746198850364914932704934328100944163686118845966890589624059424792509989860449478315078139550079880095488139778660758076440661261163989751396134299260039541130328043061106071536562368322390187936096753855902188102656762739222747694641748293836957164790271789590234641778091055511928828759296999894537249307995723516310921748526422168447683007295097322393551431660449745416965674873818675332658771744667591788830525395464303531390279779522432278349017973851009443047768916389886861514324468492311403044511092450852218018835384396515471171517016014645017074594934647555157383237088540873107931363018730929424414433451089822543328641528224380000⋅t47-880902467714620079332321143073479252036148695986106124792485003238923505717045383075147066556634165322798520798475202570143374100594209453998175952383800327977480050883154282151453189272827629034444785530760388276003911939229341441762679383569289839233261042487374578470723655436474634613325841562781004207681225357376858614045103182718593811195977857751976899890086379214370642436129785285374858436376048588246981455790445773372336368482155722943647358775338412881748440530098986165942793108530513744015986491078201616798581893250596642553603126850412620708710427537385434454593829536325219501618974984036778116309052722071393565724277424914466054146933957083918626334287707956189996712914240254446779309328410051125193984764714813074946028745908469950585060111929886476986064873412908347906781235564254030264798020378198839283532817728381892521271449810074880832197130168025987648894512900453514066221395402758739282820441471927273645821758362311127852668949926356829831283961433352557613937295178798995425205760662174694654398236403606686336784579093996276939793332195367543334278262746754953782055905760900277975594319531827787153675842790471062953704121783894197161494160188012263490321465487282552852637341940117226957311758914467302487871758724802542129993148486037080905506127110740673691554162284987115165993048204241443888856856855301652914023294595413624882041523436755268432708013316271979073640023262201455259211404171375310166057669303602815744853102326750670473571893985669513549937783036061701488129177474842746173800004157545147236612599906224038764546606499007595758662131885850041457004144178512161577816196736074748243473235029981896308142686774936980786130399623182479233703852103432214559720075892106045939950075157440488606013077223262624667802505793260964665779087792114453914382737312602024994596854581011214974010537671079361272238864931704608442826983017351862853067136423538360436077445556526457571136397354677658205468464876893428604140381704453327278777318223576176171764806020680488827466263891435192182588627920642905537973538091812846114584245877611376106976763971103093046682532750207868716508102194192835237987604840253877878144141424804073484798151804168389567033927461082790386205286283376064708871381611066361337044131145164569396965441425778000010817500387771813579132896426704762576288374403846460296648041500657390769995331749234338276756476579867652423482205017026612159062233243645901323906843085744628204169252241262892443561366885671666884631438280616701632880458939947626130549292056534504230180040515744018687437249880925877690561968458992682818032616183491381208951610626575666795074372716548542064235172380692366623031861163851935299244421352360934813545583609179297263284136386998230655651946253776510733912120780385495428948117019225259362892559310627600997387365271510708068761483057736582791703665286557484701170599653861404149812193064592681663434801264882023106963294983835139090300607465016531527331947343959819453856623341087027060847871866414436010241719308952815387030907949087685996852120106303164558860037984561505751199338988299400946983567020494030957015432445455425885913906933145821353806778166614607037301633015656989570061509065841983574768178472378988273634494942626333106490384947583040988788558705674683604053182422973582451445965684858072127033447813169263487973306926085870258829354135971547712579748468438098191796536769301066730383654719309717444301428187204355431016166576640552112976563566591158559133031671396604169023849210760060094788475682655663954521926355397034639314965296704193112994092730304600587780268780187166185387509719203868612382315513115906432465656472446113454111140971646393657316727207005008264974234108940396491694489230311715415796305053038739947904020196939289883107474683562212855819171004975886292962367474824188123991534478027212317687184231318488482415397805091688267926596818320285520047416432699944961106198580712999209163509094580917398427638182444272581551736892272928454716525065708029578996445595699619884377660684154786979047652562358081272511244843413974084632378349019157506245478014677165392630677830207570155978581335131240197576350592381138693749436631581363160644578129593077860871093099478548966577384979570668459217528614910419773127423668491291394389983582156406186268494422946591608111600447128242203694947336621631788707236832338123876460861012865832020564069075380831078212458475304290745578926917793843457431412734936373954658018380184572817154447981007637982086641265147182981898414470240459330162892055177061991463441272753570477226285879195687319604814580677165259298243721092129280336447443083499738408191056771778102257474224570281803678495791457467948823613044396874181947594849580981362368007040849138518559796159217891064471924365853436306928688630859722698179073953494524444999537116049774317813543413483586157506074490821887698892735983609205254369212972301692503142382776269505257249000791882864285861978294163911585631809944187131680538124658987549191143952623783829627755566289648963316495507128032821931580475192089726290912336409624607434253570198256445879687806197464794949091585424884785615397123602534222362272646247111960731470380078764888227937700333105239567631156745332813880121559876645199931580393092398316991345114104229462893865881713896678622050630364283428121228128868754336216125532974869156013781116311278464977474286936269571821664515448687532105204094996320103517392679471797470365568965602060401440790834896726137598288747397760968230376964891226167428105097589400298137356917611704305767818570062677300968999772274685589427687729135318181158953559619878063083998243830028787103380409895977446372955741958459879830243295679535993552387919490646281649757749004533756484408590308501121850610646436633034585264000086463613035545034876389548375585121931942548839974634861690143899477513538373419569537816917579186812735994191319179586710502301661290313981882060490048824858363425460115216416539773050440712476471688613242860236265746413007888452953852155386158606467653326262822640800911417281604056500826988641646604272890675423992724015844146044648317037116308461771235749170690742764934468150518566969940855794082423980229916458060855956259421942131565543731898915261847483571231584850995158715851358794427271344870759796178628012299149137267797543265683210120230464798889186661462158942708485494744383908739597291778071242048231538304174554890413230433743731337780000⋅t45+6216084656099282180910678602812993428535891490157504348287366351686948997112288342214851628480515112840519231291576811506343623763890293146435956239868342933122854017789809624327344549043785897626170605015620272451559079946880207375072292242979381896311422875109189623480842973728041451102270660550565636985859307859168005852428737038371091414699372423273890500074473874615121274066549764845724320639104825931489520371915282851100656971128420290939331154126613306383623421500927808635386362897896896911263008193329301510840442130976755406264259970449374700992662701475012583180435159724161719186768873321086921155396473654998784089024230081963204641011988400065561932914092584424436888603401608470705375489429629781388130054505735133588578584287341145416299551097913626013273926727998770649150416942955156256992318992760114252171863663097429771600318778848024319785252493528785932723042718147419383680832490075557099812299376974109544811956489937651606648223598377697508286626385196715573889862132552943590852043567720666181055105912452784662769927606857223282425246189096081950393655826623071391721380547308266316616513098547748256392207677051333965290385541435459414652069602703948140869773905317810043536595965740079158580793527082978577612744580603277122623719530623005467113715263105807479140629004564423514664283470997941389993568410913520037965467558270324095605563219518854523332220914260357681125930642032098246657110909321479755088834605323854691013656872810525508608014745083229817554647031421508469005993003275643413201697145931213263799709603158965844118335543938564731736523255689649052305133057435081528401035454123512107382321493592325746966322424073058249576107388818169729970618985582889728389651779327078879387177486450269654171387060808661345122730430434910742404241137954203878739431503023044979928419219467772767391954932602378624455026882693220135187493969105056325659401585078205902941072180755411193130780268814403796421971810208409659936685832621650407762546277410510460106658436875752048606097459279007619757266189508414013366055755735314086294343242110781427701407836333048200113034902533818578385137171829952306723634140500939130940881410983090716471940908283050384543717526900725620543484105164149710998908241418569343918267922985609466608616800935412686407586693989461962118771767748910469281817194291045964933301884734928226086529507600187589454878800242541754684105850068706648429098578079355245677359541469730697535999105675534037668792329772265455691591141820527924172216851919266732682298823380611869410801866477667451416190037027948163684850847454810191091668450807744106189876576240741259938831119468597321956821691546871227216200433204164760361817530859424644528981062297381582192088117409428696381232610060386447587038011195095563010000900196287711900066732648679032203260058824113768686992523304555958872863511630800623217796551603204317096344343642587430212444256563961620735113020670722139920143616745979546859927842914754322237178764140361795746510473138308351014307324977840206496135633450885670695815840277325046823750721705122077747360090726388168120535866754663919425153610434259001516218894428136788989715569242590263156490197804895009368753721142088560804317114603156221252299334442083192143947650229664236622270704995667707572460738569881085292859798798941520429021707897156987787324984809369832289684722624477061031546613637577571979330928277062109755647672667079218945396157970248614074676418340466869734553647942813624705840884861206617134291612883503229965248318572363424265610032125118579619978486920148293045699427844380210051387642698592395344433074777980984588933912903718126055320965023282313275908701032811756344470860476076571901837929682126561950240212033283170489019358882676619008076839945057706657701449929711932092620138209841197334970015672430060956338812634320486583870208813052121665221564547848005685454824818455675806316001389117668923076703859632376213678940209282258854667995516389783550180101853606458499328238463289214056237414622605914882435817797550578691894246178885982961188906468085415411828481623615667067907723184583727109869562819743860975157638640592897279651004504931585416526663560238696028830387856306309547056161907857574622786383626261988730452445482822830217963126811016109646682411973598225568397688969827703402709609773209190136196673621318338426554312846179845000111480669890201107337825504642088132464640095601819474589433237414490393586571853540828488101414129698377349483241562437328453460246057735539675310197507808908452988830953572411494227694961668172721625320961075914920996188837339282401723193137271100132220973831876255038185088978948627802242560133039001789497469454215881054340034687807151159851909813615718694461169480790518403373819070453162327511139301354574029258961958811451558620835152466948346776862296187331428564563640000870400400902881847733448921188945360428169752443434107791839548268157510799286559134899501664920927023737346402913805135222947882657064290992219819511373595189261351930449897772861283003735558542109358931348050935466347553137732010146445814412616614329415184271438923874816677092246729216575994896533347234350894272567022065877891130307266890556717476785103252584922648287785213787451795973978253839864681221893854449160660336783920493278979188278595653274722357831582780061984521540425242738559387439185664116144874482306297399893589718399819825069819442959785719181432326055315845509966066443885834125287524075016182897429017969472138837744853349470500078886118202864468918970787925034093883681498704071407463394123961773027577327387711499090315730956518180514374817914869946988352082241612490048907921794266505048734689651176206775370073677304520581389440770389312596187548031188985046941434165702218771207722952452001735299911282116923559189068977748217898379463376508596594616500059787173490077748998116318704197015681434391696300077400609044071494104552174551954319722297413652120275429885910005650246045328921982742453466228590635879133947809572393379384730952040652624799458247689719804778472913691956950245079413377535701061784161558060785609720225088843860004806741143402169777370582032802357314837008803388007216359237185238538676945883720359557935301174437985186491977854628987245285324690038634869460239354060089492215411058263553286513213872738151866252236573460015566919268914169174891825464467893534050003730618314643738852012050946820201589675227706166857848713090276000⋅t43-3094658200841635850476343247809881799987815447129381235106878458579232474632686953076081249670839471464517390351361360312782120991911979956572140706810032273140584119523022770257911133372472385138892412193357556692120318255507625054336976802517499039353754331537408024983028015474684214469468555828824925332398109854156563562518041141872458551516561835436063765128915007393760419184435703929627220740029474937886943836618702058613861478184135496079178162373196101659063114884358261199417747843801606000105966400302260747717807685079347103430732536648762191751928134685057561338886392181103352853436940744499500648690352830686339139857210795446876150271111874128676648288044837305423969346587359884659098979615052378910908625669505075590239753137416181794149893037555338297006500174692311557150911992707419487902872531993378195620619457545916118513445229806129978104163228860368370343051361385698487008166168837679118237253105038725950759816893299474790088858332504398302578151944772066047328332094115317548368132563846347499515391950263760945430883124930870629719434523154566074250638653309526235785271128072015608477593981211960990445884739143339064293759447722960454219794219909304799839515566158671077791866897353446549521775839320777716636982475945704578096147333864613344951556270113759681109461459873586223930380793297521685862198904024350234563343861957877692762346494652517155316290184216212223713679486118919130477216741862410593927401043747777869618792984271132553832368014981895928112754696734286284678111862409825047985482392398151712099351396975782672200671675998844439134146385559196354332298985787518681355915386441729550983155056241235136392535424351192718059474438154257280339837560172898936694037369617573356211627585061326104010728590123379617452508547916085222017141847534594897730251959663846345162871442659441529362126777599137380944463532360080902577333837462845416274642280781624901064013801163167157945445360502446820836037994478299466850953967084546195460001845505723186535931470557734452969796564134147769391031672023986382506360721099608588663620281153766602932669208889382345956218129004076700946427472338346896611522090579269714312485020238208416391230886766848503431499925370807827275692866020046071980000247325327980631111076300483370478891960078461036329992920811384569366332014336661112155831667197400226660390680693351599871205836580802666787085872841799321076679748515287014335457354480259117520245344915824618543252614799485115600648617762623149755443587402323751772928857568907676251062295047515515183395245058103217328338831988531235044220805374619898303984998928572625308939327131841277104899695469872459752365490915753492075983418526733923951537541507392342933537453911262220485920709024656611578474099134444550813043287464799182201529117633073319957408868656414355591445089538959694203438860124763939336624341606677633246698439745502939932079180779424473936257636934053069460599382965592713100483525132155755303465023597214113136012779407362901150840076973256497153707415350842887749181611957499537819938404839513610704199086929508177216513016033277891999723682377948365780015725291867704008556409011425547088957428603789660450174697193334343219812392059918049627413469283245836544316006912735565931948627880789457630394985380779415792321937439425273755430536094458361605359741884673399386255596250403689572139524750146072786077229212622070634140918141423320003073469390830088728026512154732315171777619559029260124917756065047797017718601758332893629931762909698881263142702869688179270688655204643966378725836006124833242457239165962656127377453238870203526510962635117363345376622631432399916512836431986896085344700074889818123469648656151504620721703298230171130998163122143283792797905838630648516586034952300112027235615005670714843425488810835372550379171949638002900285108254008207569966297589531633318139361265218179489514181691058156501412002185975866599880394445778080398269960174296887965097698370752915199120625397535744770260716341455119793923993553403106365383496224052461042283193599332205745126728783111157586055672632511476083606727181941834134135823662077548666333338325894249207512821042644277826007075214949265843818362285505277814359696645698353863764619194815377614587956845062283211213292578575738436252167679383254189028921402131967370155432433809810834480036783935059694500197734686112674594035472772952130151771918157704580545131313233870956136860055776291084481194467199908396004550917277291487946496412207578884127363951320267861147054992908592371757617702133329715722651761384798934030543837972176193505630495968018043021769045473126564657811533882788936058705912609080960118137263619514443937878288417239178535093345929082832945253427627836395159824841864149115386707529472805833215203706782779286353250214253679584496352991866593134850411210279288992237259061396718537064986705543332481635669425644704794261597031968075530451925860268932210631816934874713015102215648692401484515057753941241700651558693183126827975502507132204975824257735587910463242778170916278008245382479842391885945423240773089149812102114022258003155830244547192135269194465356317263286792786733125825870783763405993890693429264951806307347188960932362320136452871305417462903741996787050329692155383352350229566266411905892524285079229107888486578594107064374826223704439583909115717485660113874539359763720218436993630997773915995538675762379231290705378533040226582299523434972776037397887080367342854923474248764711649954915210893255368306325689007714585172019775736037069155491374761526561982287356644684030423241840772910343529721654140877446855954170827275963090197462752304926200994636621985275386768542629370309886822674081339671922651600592163026798651722870785767166892334384787212484923781080215165521440945661005701414847914747929366150163031514970892315559298543696094716944054624942734084899179715745593134487718700183224391575993985204915090906229661821483569115598967749853852712769005978003850527547631037977391195282211962758573760468087319786688637907164969093956356821716895095045734504813299532924926683603071987127742427951108800802953300530636516592750435877152394407247379168892153220658301745338011033731938096087077443882683243495434053161794608447165975138921799053045569770764254838745479997894921143421063272731908262363014334914917925450853369082089739089170857126255677421799618273763704439371991925940637244193199256366080247070878207421132000⋅t41+33892822275283156516479231914916009785985632224149308730833719897989851619999264774357330724350996600081277164302593017582028224827990679645030762915985561224469789317551206178908159895524284305766241096978075575923320645612275252653136880332292747382580132618276812211680874125255231924218315236732922805183083658603799271384191900409932940775001160786414886957491092440305405307706853304679433709072899201910441647149477883607668948012287384898972627034527447396426547955965425185843212714680785840255804316135631101403531462510432553532473041124883371260685749483417220748675953819992921744202535624243392623252933027285799667707543663942441642112667225684956819924412592352088115573729852506659417670663339724136514429928280144635907254136459082064048481605442792986059770242175233879601933995105963404713124817711142416535277878003950164648519669259407441288993368647460973271183571430480515701996172731363346800299159356899539394420958771020339578059867244205060160824035188707425692895583457034410302978207078095701157432709084588222264605103561237795478725937018272040651388732983946360667555678052825889084291824877907906656170919642582329672870852129062045993425642562531556636538850070754923423279207826043127978132441216110431616233406786599028472479316275325401914522969294054092268111711118802174275282566936821375277328598714602509123154683120093028216231756564037493955524675781275937717517230673414861614598173808052731923149919710582363682486828941644449004133390701845286770440503434157295448123562428832608092986818120952385839053888430378089844457166980043772028928727681483819070170955239186732451626888906010169837483693534699123504962768748360181977682742359121543895838009205465325144426310969237984698345409137693767909046530190916468334106278777426630552118548902060831787762504667268159964446250873109837466900899149567882760733913366817683957977490592501237742314749569476925250356545642519782795085104855344749190557918768326088839835442226634821414373393205135726575106754822932119807022296129859320610449667687203764981763675004408737892188173774219885862077533225599430898113957220118548327002832223319369081875448832484138465408444532377801572608022791882654614685097791203985176262901046782087763054499161674707971026637102863205389186747188868850539170556822375037853813177732982741854331284004111884142443288197692157343997167409684646712009046042555764894528705831593832587933176975317079135673951480637347361206651629313047267000684772016276071850028049800266748862492914447049551683205531310733167730728395310254047919353111810672340553473950979604336355034388296780719888634873472444786890802443852696605240801734913190754387469511262329847149416125554633312997250960737490235621120419128698570573263943428382635732137745051245883982564005693892876906626037415370736960098639847158379132122823802058422770481947058687611227459162712452930771933215080886562896050204415404614488683965958207829461232723204000171790066933758101287412361325788171825762671166699642459292991190017743371298119980852469970046640931007740009764351156443887040470193499344122580004025451610963072578133269593130400773472669840206881214505358143608861916436752053807102582925034106696935769981578996196908645394009331308408153810909874135594502385583783249657865105954557715817342383689135880628184246824437417151143494184940574180402422728318028481508480996243418943794272316209125218593966283368295589227765625764818980260807653533188744533034981975224919976844166304175768234168095099562233403666340312765801573821601817204235153588002396673877483267499724517615060742571731818771243420161567663917756069725343113010809370777734002816004447855391667961357688604581023547238927377568327833868846439099545831964397936855471158664100633508739488918284132653757982209973882500797954496197719423566352285477142872776875204203404599334776663228321172331104592505879109713413596000855381860843431458696174031460192593111681390942864316753772879860525462112079204475319410742308525136752867042635998142976150696368354320893423582347384856788719958608713838021784943156664554454806288585935095966191867769475565086958475349923602939799538426021758002768562371451851928924372589021753445098687447181946690503163188626023099635287198284734822592748138332431576935178889099465272186635616856797017343126273404239579144828496327706543555635311957133536796489345937790059389011453014835865486166048036461097032195738548685231771748034746763653954706760679277892107291733400432919403285299235250014064997225101362861676492139129019195820254454921322011951936597808075719594541900528799443300930837310394866100165432395670631667531020944723524488494459809999801778460685006635078949570146162847674229602115240328540801025077275740803494250663271847779862320045435372920837040360135489585529431599971226680595690978852214353710067503063775373255667386521405857435862208797528189320577726638251046405771409582169377667496255322484170432210357896233071109555890051100254957749506440932686066198443036729670361722621356268225434936445500090182975752981805520587339528998165319491692131573927044713150965257596922496641312530732842155701525243397062297263211767562826793081016720272033309769593408315690488177210510815528962333824829715346401278193485702263743321639441436205155031002694391146922058563633885801565797389402399219193798736566298732792951020955040562725173041967128689047037452742678971669860754871271334596126728477579851347118404612421491794271255756732591053778175621665858997008742149185502094694853231896626061842297988654688721139556615490165616372476356221381195429881212913987112501628064507296164224555249753730823988243385542542648560159318816912234959423132915100168017623020314834255021992916169760957869976655865754970175205301586508389935258654404901462227510059317189194229723249479601740595082315863150108543114108026381047505106161319052625629056593435631486258515949749383398089867669276179219147422162986290191953089295740637162953420840947674815545213376731615819313599386003486858311499335732417704843280524167626591762753030252014101745757723821049986167459129530748981726294596897797163214038885719550662017935653451260257596335132265187112497515860160738910615182237343759932876151131499729402186790933800440345081664936900405216567577838729981280634224972229005609314533101263377405292991637034892944092882656382443328889733623476275996840585466747727773622056292270592952342034356000⋅t39-246755600224312427986542467763888638222086778783559648937479082039515903847205809912011689319554116527474380311340525024932096636575940276620614695428119226495611648226383839946191969316733441914619541478464105879086309248880055914328347998023999217525586722633601503512861601062373602354186332073634828646365575233852886994309069096942334201142442412874213899108763293426544224310591327607727745506704919722560462131886697342120819578037215390746192764707888608934586158671427441902073958054734974175307644105938097557144512087907577454843209003562141930555228497399703112708981310658831301935168561982115213413239060408889038535792560271971389338032121255184086740542268078315889177401378566953702491971265164347834347937854683644017730579596306144355074057696982931716542718747189876648351334867527336539004349035832885868439690758777854488717056010821419021000776011700377117714994151114739590590978067253582767726702249911621797269816416433281917131224113576230345990137315221491245599328836636222764165498935091932430975117934579791626024595124325027060521163893604484962641278010311485059853206138282353421609802203345364901809884483290059460894700052977354003403825951784603957693938122986580953685729396739850124418886746627148812304361837142737967308157080523928979016201283195643225206881992669947712259714295691699133124577859812285620697089806999727649022319009708803387434414791468859744575522138683295894413386825204772981427426720086946475883945394095854149288786741025466694223840426987104614737835971080931622375085121398972799889771416252223510086129189268253421874542260939191943359996788564368254642258892250620485486054205477405863646790119890545684609519915777587708898497055274607413731390003469082281510408238348363736453483421573411444511209041409981450389947449506210270448469011969614418951708725062694270773275940390307635676167979695112672968531912299229621758126472905038080415587927150759674278932633833130363252192409835589444762188840083722751522291196650151141688671151001689490666548524514869100929993587277858955989123154870010369267676038957015528807468025335242711198400470975385081561077660821657703174587389907297148550164662825000456601072865733203856461957994235332655492382611577504343005079492349850138957413263463123908149101049659345622063430834204774299259511182982012818339861304038121916566431297159343035724791066432267155524462027133224301752855675989488815484427773861534053027735554549181583121912424303800910714972936563990018118154121264200287642145010488882746925323593839186496546183521212146599476071024574346667384268263918410440711422351888184578088139194906392772526858801894753317925825667204869050516546608818976923141517668470446979710741909875253688400717855472067019529974270261487786230181822167536578127356003738203101334971989660973671250196993443311306814184506247021924583553106707042744985577020114470134404270820753697099045646319365645585062965423678174653236765474973577733004162551898651367273135292060137740962441405539332634181546203731654659027795133658131689966790151741270707446543104039332333269410745744293735584148329979731845723966867489936010102022410605071946756730266722487463192818626048053609516634846455945270101123582313283657551133854130079499152248416785526297265840367747053172068063773968567623563958310878221186467722779097700076214910303365850411044776374711707007060858341399179312270162597855488446157392464681727025455415206332383440582820330260418377067212795459670535020444540490384108034536649511191016842087734080409437620025371389973807360068272314759422972066045191495372454666292198696388684435726117443111552357641497806615288284042036907957021551577009488251680926517680174813023909657651804043612690188217857635145536045198419979057599271098807821569887248083466209434721717858656199096591352249582311038790509523855624119191881834074961520930032229097899410977901951220949809321540983818307615246608975897785074926877124188716882805036581637979075908413920233551657993134240140522839143069484695891960057880258522070433403684922306391244376994749743643368525776114436318558007762133009808616310565763935633076538467299108749085591716587666474414623548324941460589021187252506089785799649975805792919728406763248512632216873282764172936015337590664313580290962706980677910417986233229193119410114346703627885938503981463530416730997386176283855300810160891867842482813751720428362167459207577543410927146218203412789785993615999894303082174135319951716861342014085667943223881482292616762861986530279145044335712733230765056603059724674768000804473659198664838660342879963097741948195052468992189989782539095525695452352976087401107828619919560978204543705717404506744463569245302787884167600108801349686722874817535556671600047149391699038325235046287822253484519477985014905188099605999915155596628319553025760273760455457752158151907737165383632656541644974659377994150421501625612059914454156460243036711847932361171271787286952770943671220485316817346905644645980530955356349046691005741335682002601435149895513274134166932590825938279682945321642200892025942090887054641066926718265666785221694541378229257289149946299369307452876004750496237685258492418382636699585400602647229648830926676389967789380273548457831211918875563903868096418730307398352952912636629879739871330667608585074278645642735891827587441212483453977547545415111984867427300343458969903071775395110437574566198513691969492210345603963430126196997562015808472524911701056266974980717209858722986963430375795008901444429253587387735079794797740109453725364177719205404650488355970122588857918909600931781669449177889416087649719458610868044145616532273025367625446271395341581126792487700863084236833828769914034261690751987927829731346414231982446783636450516631017498678585706531929655478670670862995422480957344055735644979491498319649340058012370721087770097960591979706453616716598500211412759510762290621055874122572686717096425902614193557523676207041160743850596762554958889973912917633321495490662031309331522830794582200574964339180411717365648186591232120938422537990300019542006138993548955328202462464946115996888288376250502935175839700670052887183253716144194321543858885075313187792781666018480665571654676725147625131345355929525152753514118966266447890860169228340293627024303776229124918111170386440289913981753887402411237410581758222602704717461098008188889737736913760700735281761383757345477208158705623947460000⋅t37+47766584236935482417758099226737945761043898626387861878645000430126673252170232387913862276936206527482714313839022565123824271019677016059305770527267651475866994089405112997322551458356987101700790851765400887041786083703103136222051123346809794351502233510386854922384872886601027038234225817503535988816054944485243150362767147678448942415195096366118867729341330663969806263798102507589966701067366045860112790267155110432696625300407915892094983496452610899379876965637220964937731969240576991710380757821668665362753210602198613425624161968371074799480643439372391136268602684200271369108760620512391917439793935028416258019000071784564499699070729579912344300604797836584430562177610722502269440746708423546464000217011912416235661544669965343464637878895180995104043199021162789140791588000406965690408812781364841972476477264455378703692438666110910732199747958715500333030150522053258876640805303715021507831799297204392753092018570263291622772529975321615131541414134681161682945521021889606325412322629176499070376132525046739725999189395547820094090042925769806509120009951308037386270506087434279699711972556570193837829916497437410762108525161029042069497970253338087341216090097601664095498192008607769473310546502856974494106570256645419814262059575265373606526647215967874653698822597813586570245035696881796662760334845422169444765988420305390323042248678096322255026270184173467706825074724219471134713356597329733119622601889231503634320598766938768357368438220874167008331238067412000371409031622031469052771344757669177837153233863688917215129954307270358368620234168615830492354330204265788632638755255134744326569625022066425132393860418679207481832599591432605068425777480760754877330299673692352652605632958399333981000775681645110587007557420597214062797301899035743456237439046029198773413238931926314674959441669594562101488320703521167414629100605791804311868128658457851551777516372870796892766101196295136508401838326220115583088028828044593130121358274707205854233463419930089301650356953758911840929876623640323169523084530424773268429586102813542560695198791456734900171393660218842282523932594010314321218545303914845857857558348104483804090339064783195307109137425126518634361106917758692945101840515048974712974167101531039527163234346713436335803089646920915428561987372245051100169221905136753617519990831386703726902375535921281454721200826585181474108148185803865941265748318760443029195849635935891727955635826161841981522525179634202215017681564031678620604328496291566166455277497376955632540642465876156933767849336272506437225735110446504648845017851857530863588361252640747216457593263181893444929329136200312168980490642563604408168157380606091865758853451111905595627065408395990818227051854270627466406920188726361644317866082274519869882664836624172787681602124193513488442712289400962095795681628295360253203143009129947517623925992003729683731874206706684303752057446902565453114573845215237497769337180930077005828298875252589333642783218637959509310871757152566957226797020648752398168859032488647186196300934297610678167676956018847626138457863716078452296480882992980633342914034525257406330646120773914582459599604715155749024810037422630544657274857252991869930194224124958703356696051955886750614382044669045358002825431425177773260115107602679822563559735786554461947027326299015256151901769900844135360142328997764997712587276516722248485171202621401081856805647801447006299213475508282249135736491057504207423509086018258517289444158629825832132303369013822742184790699165828186006837469920566434545391657279656513621287636675157475307539510151964357508166741286981203064145600485475181383838954408440688393921174209968372676181148906309168075032734845998913586202474266467808129079628666435454223761804172565171508559171233907302365260114492331467029373359114475565765732446607398113261920636762991366547858497034901181286779796378490575760489086611538039799647164816963706285573167406846202837234036965059586858741349314520370046521432296336072484055365708873629792475741516511109849752074095681923279746264226986822006922983495234711844558654320970041237011374880776211473693172783612315745326884407248633451329171154080079226714843286247739217227653708132888193427522465343429419084878160063463502750522442226244426852586393604674068480363276208655026233280764770371678997668751820735808830684038692940592779832615517187879085239190781961097184464884124920619940252108013837884101255825902882606061796346676814226705105828550085795825824303021255758878924232844509943269484169387676393179209555565937183549055102222310386228019769641682963860102436549944592639140834709096171471820148980560809251045252668177494534732297081085879210907849852423293374837261442436832474484592596439587371798040490117972679534419067347870467216162086490126722555277022975379299865678535708621971765579936753450429034707128634427215240798747167512896675328734811357067323831565368972134607282201111922980432850134390483412792361014095317824825427113228758851515833712430987890217471013750689115026033230735016599800795590705108088454139329961667642351457089619455823826094338971573726464517457970490723415563340906222967746675975305897834793475092200556224888349649987811543219146756576294421860206680589678382274206687732892129352200425781406245494795978251519196876494875285405728485979974837802667445962840565171193135318955907784828228107045528404103648466025443376507924166608132960716802151170867192833967842550369403387509691075491956790143074261247712659021493449546711497935458728027509857669685228813939108487714386792540995425643110589807306776510606506544166449877210955285540806408963235863676926275059031137679148156211230171605599003530697157178422118409038693774470830915135212622941177769091711576096045368399895463202131052483016009563223683360087012014822384376065087399889092249532419873792242414909398662350719488212301502445806590433645909774707623102331578037791386887361035258028910626062530901868625034645935387870049919816430817659897870611323616843052799639812605139392179999755890371721078395807735205048300419617045439495762752105332797740980178293535208381678695818298577638723200340836414681283387437761129594016482755780124441403510044036064776910117028131512592591534940010767177960411613234913568232853003305342395209527826139497239953629177590122951297874213223126384222547844144901224814975760115251300693621416236428898305015953140000⋅t35-659792095713951322763376311362332599406258454799808486482247525500683760613250042454729545461212921511914103414229110826470449766916176100707275176392089226179416116025814034138554876358250900941182845229394192890533623780999316554507180489531136255064037939648938174118768871116700778448956280223090034837280106382961271722963759996494616950672077001466736920230056548571956917902000450644202512290162938111225844369782816362788120223995861124840446049862929953226911171845271294416274325244340014711534154361315652463417688904243839777771022972472564788467851461219641796394820095801923964839796605848013502682619365940396814706410631443235794809585931992689227192639307696121035858705302309079251938215591066019710527543888433658163499840050249979278975822694129904656923829354777572995431701740503009427634049665652783925096563609864894565436226555247096650954155169408503382327587668136894581731438576424491508754133401201699774221193091944406547892699474826751008130125212683045832485158900287597313495844982425260995145949419834446801561734906123356651265338230812114510680142235290359505339492125125902346152027477687444587841815607590248698122279420974786406556976340691621442254824347647064272400793081919533932167183503299643986685397252308348163873293574179473836103511911501604903525664475855215337549489838014027374339527272946947343685598923930773743378344119488672168855103779714032283511862936125978951509600037408561526748658168036694533578157446086720135495835719588492789063952656067744552743535933167500442603690572488152867092233662329264213549936411660707225108881850525377778073627498554791344841074240780479747041464473477961149616474977700356770951843403446052053743218011007766684943018681137196398912121587448337669981374153347279143280846400556359332187432813773389856072562988933657098546093287101761691138236857662280956511156017104499402737193777920613750528022409010861290591459207713887843410349295282764510372492188353555760732153055231496932348446127332653804701280508911130778656521916853366011053737113816710764422519137234865374461599093035106721239861978592619189362047209112853371805815431340002107036928697293232814916294053136548954586553105255123596746482149950600623120815758689830150652361753515810545900687256136482712750061214033786047277182739974673676485283241826569535984279678631772716675388053718210460222087440887613157690606075725074824020357016514456482183211557655124040792991688184264920160284774470662935290599776401050302568067905454238638235075834993299938096770951427177519773173934045409811557308782754928076623147090871944461347918471538045006080546949634732044668634076015594913352403347242128104193315640265995621048609083552504788569735404260799686809613311999664035092893499879786506494649641539248762915309309396363039416666784386721605405390187352593416408426831276617980493441001784558653883486818409057049846649909935447790496318627216902750210156839695101452437495925964836625730565092988138339346224246626938432600139134185746676140715597598956425224291104420701708816334205308195673602977770729480069352187473634645698966831968908411345912189854697684917225428530053126796434211206982414582211036634926199577867503142012783393445200641839354156380238619275847715731080989985401120538236804354028750785848162147338402528898103743973199760574609672653613645479285592330306206428684228075984123483769499056743573657495083312265772290631303553783907898204678887673348873482649501046012369896719099467237247181510297893558458806364805157084348473697435753129218093425026352345629564473505965444811793997502713828239195214792868945121438604842905352742889458919461053099391284704762612094438938918270210906496169412913589582332609645737280212485487492101328257784845492992775196279845257766677860055846455966324983770450601560563753383426389492432944064990447353143718042936440364276718915241136210870909991197623384355414335915046277850494634803274013849475560531496333963988589565080811444176034057193424865849095781589425083127760317749506580504572118086339052438426841981283346411763195646636089991972058450108978904344289334001931102461262154636544598006148500517091901893962487499679034746328210727898694229053898535194227814708688920329333706806578396304256222005685647562224241724951201486834155511083664838086406177993166059104681982639456185624617805090712462100397812982390446855738546619593595465619781183636365798295137062727364733992142234754507218669662855709106348416081181672008357447928645205474769264314713633974754079754108619675522790978588911577341912966211422756532518452456431053864303676871389287627184549690807262758397816753423696483549436022765532384406695394383434605813699245678212816293486431364172834406561427057107444607640589145338143574206377175571453123508665398525858859934545768956202974647822696074385924845702754670930145877109106052600846690866702381945788049277061524396521113340376050396746650240337672555798265207401965774568250696859644117942915517889994200148543087172591328450171614035619201071750205174274201836205074462918310776006907129584973041498554871321561465043597935593828320542615855737494654002209359655919448660089836475922791723269343712903260271759239308237656642889723431737070909445064446168812674123067446689544869999185161707860941479690669817994314320094407652194307494940892120147985700416852872921027878285044903624984937782494643968517919227517246046186427948856365811551460493936345877231717293209293076864380029335655123345072838774628578111135592032785478983787132604791355245742877876962030758609383681363159701280917669538749964291731484277967048125461609245696569460570537944852423600057560692087412105158702753162969179180465269316952045933645601931530771650249894140401698368054227657826806467744835159073066100454060902370663111484872770595662185192926671396677490428531230213763958636477269601818650937236327316048169621903540049873830114947147884053017183395007290603892453176013795166970992293241034138763480301563954912197318216622080177658855808234261047726865413959969394644079013943685324662533161490529488278248540949095240784837234460661996333989396684179779494371194225957509917817048678956495587655920845366790412391974993926579956497387382585088413265315371180572995392432474935742063484373926098689941804013004386488952713344539337310781497842613514201872111844786050638804078932417566097436311891213808593088578267643695066854532706725188322347370651700125⋅t33+4116970415062063954526314595349154780982917261856718771411393063280146197456253656651201532290455924378369455814710205782072497263783272479925734730386058043178404061885723727186673074614589212099668322270058844124841279900255876791109774283246415840831220485940909657252654642309522710377116270620494857879221625859912712807434320216435871667966862266078120386252820411682430066195300871521237164019648419090594841243195209472399535698799172060791993499615106489093829169922189563452508102174457670182074625613118479514653732858886853003330403090832979188789060351112334294575568284412449015732602653200960406843428571249800845535207286367475006296347786835458130551202653720295653869173108709036729041478361123369383652934752170653189008688795620087391896570142752690061397657084727881789873058258096522567708709260391153799381796940814324914622541478197059248231023413417573363464337298822603188484366844203779857588895139007259277705735901132218373305290525158883692055588059860396732357088502706393031364470691752155957103376643601293729182988737709506528581680581244760752037072957772757979393081680918635390951504484788053143496834688492580560495451562562364843692662007190275689576771728122444631759637674533538406744640171231537345752204464803077968097188820493551832458582083473536968536995112016608584827130624038964140826711921318792716561788369140334399748076506881219329265655266687275715531648552891643864650055804142974624369687436343552365997724677051798722885869666207718388032877285012526618839445116869570707991884974217378794698615785192545217616301306027617502863493864285370669164716927291974818095021391464785985098703472567391594553810178792716322314412000161003257632025760522826701949480778323841774212076073933402615570944068086984934966539281084321927340118706849198576705554788057093738569199054160174342846350958459099313384153462549797666731068424881662827439028336595918180965650997003261997976382820573239039025928036001402303178528864785981416390790122307252885825903070814182833551510290316940427234801627218629598643618249188166313124237360639092842681702105589833203899685941184040817598514803791245343989818608502944328796790687936445268516008797396770099938059301951820964816003682455206660088027707462267895504577890270649709984704004593593674032676664613825401737230055853516029813122811092978707098157483004033268875651767154689598964744988467819719489068144820856669257276290950731929668947617863680515689092866384041617940389875595769860873746945013837772890114009487123959961719798551367827922561551583426575713156765840646284010911284598196975456956859861567257992430618569189752464786400203341753660124683391351362011185380616380299438802821192521167015187258469469807538971057866906100796377093934733946472724087043819192547147955232419145000112102825215402364471548874167580223560419417022926657566312470577060987294746657174473816088300018364943924885005220701580732255765648756555904825358607707675964801015653724424174208394785126521303674204087391110583409181690405082299114730734940038627465578226398948678312025822995269385094537590758751385813616172086207287346881938645214797188777017910217090808507353492283867600109434509523340837722883061289299967693628503416116920400319677312730878378333082492533744402866060902407387745797646744904335418602688125199852805849174169338989852999980791649874187018552935455158868331162559763095788993177664971551198646544773348817926045183215736801537858980314429051961411246904281765418024794877263926979320463277599424424622236870277530180481318056264347545564539157639464403098666494150807623086873137554212537853216833357587944104308545276538127565432365503626805248640618254301585771873138158994115421961533278782406057627436918760615135404682902300817066901912189650689572620297636977408981059875893531797156980311413250097407756067664716528219935350143159956253385917649558970147538881503049233956845519378448141301985020677652456321849845005798085148319467164026311130180420791578207198705755253566180430790360324956488975319777350517866336376211441472989604118660198992830122600018980762829647839112065574617378179437693524204148343145767717588547474626437345416698995032504221057362410578294664132569559181432239603827543387463625806857887296192306643752641638132745512597206942308678424024358917911529905911175396599182471953399985707894124761036128107214536098971322195789277752751760839761129128031868182515555320850184540373744915284242124655222533155774195401239085060650418039068174838401254063745657122571240917810107603019064963812174004541183980022475152451288895662658571044492406294832897014912257762546745636384368810890739864064153366613370184093774863015205251971127510034723189755735807676196619642410962107691171286465693987352404049662737274493720189199705956653613113579665172195152630382433396324993751435482276834605694595385107982043023327479862056871152896850821959992068806817599049896721378470381242492143944929555718114953567698781157169530022346214691347571671445187784475927676888966261005759614999893400157746824622133328328340002181273217468063582777383733287908322898225507887540071542920701284387132154646672341088729538741301332812003873525369705463358734019020284022060410295781878689922624585129811546225674881847603068284260760018030369075296982661864165137247270819461001537287536857533743323754620767424340760937080914610774829878811291184954737955824681050212023211325169430541206228795746934144190602055768638361527995448343241610776930798607096538631805333868187665426894017516236430126077320710344487117463109302286156026922561191670838829324545628620321609480739339731480887109236385342752571684026187793630822399151744821919742419626749388240459028439140834976914898956960343681810358930385142833460660550179295807478335064877058268519551226143911137330627703296053856894895426139283789408065332285875321443297634326591424903991871612703279732535400464392391383220699110958773446279658925088002838369776234039709680683333892591381352434275750140910849283627425619280685240983838844611318830829502369407700132332280012917798985410666335926799980281445814183261374192940638295465680946500994981320010530322617720992192190323864987203096892104807095578617945798941802429536108334962802818830986906095117440144960516774577294583457113481126560288817533763496204422864005644870761069601165174546904940750548373507797799873487948706990214974706086407923303340413823276062000⋅t31-130981747007249749977336733660580389098235402180583259763594394933143852814175033037174534191048731325479230974364469334521833999085676284660307116474429919818322007442140296450584391394057519735066239905440898640339110685860927682909194785767789539633245084416982572705839326325485479546582206324151263136573199089081608747660493398111800394131494459479241427746496729591375308838857895795249680314610471173146485113489496891114545238154157333019945539861457723646047555114657517974635126840737483817640872934663922768329358540195260985081962178662968185546656416393307228722857523580855728417257933439629501209094464397945201487420464067544617761814650461087461407727473464243508366811546377821109134951250000259568110035536318293557500520740632510178392222324577595151115036805827172966813704227207930789572848251404976355064275956977404743301163441941740505986200955615263669041023742309052118036792447973647408359654355785520080831754299011477086478571237501241693020948234430226390665571831765784247095548961143526636983788064931076680033232332825602953488919355716718816522155736072603264672865458075168338242977197306535648653654470959883447179825096843118273208823760296554961340817238678756378679637393522051730557851750145390080173679509167947350758975988076432831969039506577785817175336588182250144622005412719750189373414094577449185024429454803537455728819680233963925854348828233011905826592155388452354231794410900894387970218225870454741926217954166609309463156310653570307020862903995420069613977732019748147744859573110333165297979560804134053998517486599966558162807365172210051161827612123462058310145682779678706869585847429309363319314566598594263313591162313358277696211082855975424597256297519906649288008231717070441723703192043910145490197405054420107137607468432385095532626702895756281650162672604113007135762233173098994596109626253278743436294143619189437862271038081991563276536261180118959361248467816182521841977614059464652248634887966874504473742212070858360102794975352957375004826860841496380242230510952610775327685008893426192411929736270483536433834726592896363767892162955770572229635403233645129757534325707569201823046766757546261571716065303911723943657607365643991860612519152147646574534490567946561966139853702068947085396025586568428590134488929327176631076054736160129274258727085933270552499246689386558571787419919021825712349127365571883711919506335236329942566267852651304651273193464101230632817839788358781567160095771083222744782797507488169516202758592391100568103443637865733847609364032305266825186654729981914451495013972612124692293140543568611127844279339604147500884157998772230374300193710578023224165235114121245753940363567865946906344830935281505868406434888901123871113622873228314190319620486850896951844596560628426220807175747693056736836862158577023324163874289834524715932187218966021112961657452060018925987442270190229324409670312341578006619604783904004603694958258095376155802438729367599768369702779598437516465599799316223791093813794183026969525850241104518242829779506362102394460769759747418246366664868147901674183616878098741707182415154397626331611435037104354447627939475196342502249362548249208866744802012368911394434889154052653097418225708264547687037164439833008805196607426249446106873382729994090252860204817970306701354870534460373037287062746384027991951915605729765708406734477692259813676416597007033168494488064602627766596987465187776981946705760908357402091742669494078546321934029132281055805230233955528698912001198823358091995509525568189510238065575845543616140248787591429639104139047901713598453572687842561222505386870811553688200934355106064575370724856585060988925189239291591824394344338215490488923368285990540803328569897909911652960720681467923215013733709603467443523567401962406362758934400755671272389684739375883887931341074090137254378569558025953614290877855144058232230596579864286496803890821060134415076310876186320522027900639233747726820139392004235232166129546985906100803896875879548117123784691180486344098655339023417748895952952691108289531292439851422617118792002649205557631338104537056949307094004695527179310023728940302025903907199805567122541663289675490220372863308152948869811644182979117297506034312265050130138194556201191538017546866265540961219201643529281004832931722651562664696302300625779319406414549967088185226392647775529598494129328300893415270379205614403206852794180593033984534208813991668774420266167972283145333397984874214276713812870463992335246265448027396416225603842664220864072976640219936169872635563056174987971743439916266504559039269029822449924867570810785280855044492354282063357474062230098507015665804253538327736168158277066747144136807608084313749612886261659797235719880745255525867158966004351266564601289532630971815709548216469794382586550126893470386407525660516330974428684724788915039213216091943921222183703803522404690120481908692210933119057050801759948743898064229652305010116326073132652071092054456449291321222584448261831034044533313129827579008847292260841512500754450501310352097356971040890895723299580764104800101751052316313335244290613817516303383378785131238577512072059989561633763523295820068233060765192085661028578222143814025165073234471572661153670050371637004036681784926585131970432894375062412160320885793289967599491119073036123315614534322055373746421025874099844667861794056122852044220188804162280960639031412629976651770492216698115572654682386034681261943505220748983554811888658382569950967087860724905692392429374170574884452979131958767542055919598265812395011672058214636301287080537195190783266931946904878900249906210099511337291758719450295103619940637519319916985778392565743082593896886601574711583203828127943524655523732313174463762835096272633370591513602533747701842264258091231629721668941720348539398548676418351292726768154459728649584006849631676143999485033982647772855039748301342408821758496095198554117272635459061275554061592624625843596927543564247116500322210958715199913476607270604758641424959046617707424201971735915226303584120899643195032727497991059871544007669497762959824558657944989170361719892237111173815241976491064807459459044510014093332971036825704937380146994377880958946971157619964432504882091885963986303163005096547247522809749236050205406080926450376495724239312221449522256909807168605014210227984695212941543617063371833794439680672625965114578822540295911473770000⋅t29+307352996039870184420118862629313337229009560034081408577151100530376197754105128697354137595196069138082457658562945969414856738478587357537033698594161236932960702735739707297379455710359236719600555709873380404565396650797551039271792048852663529682867450637569498937031410524584985881133297308511238951199283977585623392756598987464500796511666869059342120412319954042909082950619454743539456635658508353942642816670624345913422690741931424045612875284086387937528467249112938963339479047121231067280276836190032818900094456433516058531246192391746114777281332535113745368614168130416669258748210432207452826308988069482417036598837910736613543945817688620922706594792588549572686683289867389251319418561223580455073494597599108103315916275299173146266438828995849718538349643748244124087753000535081789299779099493129469698918012034116679339014512118108475661264312299210893021302404969184270455243156319499581077393557695748643109607078545466904091713496793161311355483739509007765448475094540371387807261183242776286854804674388659469799674745080761463455835047300561159839567733235118665510627768376348545413820261690633359980811657602020191349977857453388980864142679933193703122856657399962140610267601250367354319087678324800999722404876617770436026960550620937024439847623350573993256858087415084134854200369570275607727808400941660275463832831740946885382432620568997809123031050844466482596233536041635044004206546721401552581053271610138090356930843357701330864618350940549591054920969724301203140161336149595620235455347929225322685611844600146778207474842707041467143940266443706042489728360545291314867934167766012992480686627154816719752090965734215174308668544719784114527354128014815685474275528459573107972801638625206992986141438151673845990992048463751870221593225563452997298450195569875216784772368150584980703213658202285151692756414702286551788444280585241554770222575027781378247357297200558509077641894998650315494942269854875903178944980487755576110718214970471762911513988959744955252059797773996638658109042610806510538805617581797204852086780095530464907741941996137545731132580315815771139813983326087418526364917589993630207609806644841077856650698943935375915359527312688671688222451502309483430978330727012516343388712346902845816626542363607064125065026865533619041377476421867396059352563028881584651899261291367522659060619313125858894720027382741548625538730203485838819852557241565475600318872115598104681285091819593663743074886953356494810475085601085072319605882274498825812283175854371388517897029097004999369301839435790651132130484810944887005956454401107818554899198702846341705483762537980434031949539778012564485181521084485238682829100715034873480537642574701249777891900359625548227158340553426733134439635492294662299168446492549993601478120054437038150549352719149617410011193414205951120840508937378190729001069351077870587315232342860585198152427543054636577256866149894985259702369724047849745241162727060887636504576153889261016053209106978034163472376531749004431596439346968379613168875142616120985848339749755124603382417654858045637168524798008872049444319160288944699467610905013211114200499435299082086944834680177427040322275413674826632737129356676180088772594133897472121419720839321097179026823513959784431406872321922824955211444440802547445120519271032974437643536062292085580673572779719418117435789759868022569916048431467300711290829007760282200877829119267845924508357341882989509315753714842554199279624426296752921141877614029969847114566018970235316748639173611431170593258554958402349775177308711637215852268656406402609120022184154134960191690445032916989288760954876189498958457243977139450353666289686282325601008189884757417338784081682004264065044066317102651317008265212227906428383862729730617013751735122809600159913029665124502571502058925241801798208311187680053992384015835080763234437005673528827972125019510130969888450474254289624342362975614618535262372267774067724345982142367875458155358318548349517983978162164341738652255125138051053282777853827338718829510040955300182914167303810117599769800867815941109420146962597059305344592546334580449278569035810730889129321197068144948955799302951856876861428958365937078443991311810011321476593081361640044483536118194394722037061629549547963731710654400191483589529724889437011092089955910759596503680120769980850764479158676239277465661472947021058783696169713859745087820258200668559150499943965918900413698070943249110720124159333029137840928128346996734769277754767012166403636079388730903198815286920685728905143595096867036357642815259497239018372501145838914902168666302095262758024858801482128012298610091367035653193188060842853534767003796748548338230124952546177330949287612121070327744969604047579041182269431729563127287478995012777948280513120378239875839860841768403943357884490407898938315600912588165367309781586409670289090561469786737681761525249876856583486370842440643590035021314180566290494036728999870176886870631446779652864557834968225514654584388164486199266658739904516077699780793652699794864287626060423854901899194156499099837901743181874592015699663250161908993202853790889384099396672048827534564736744212535688695790100125216711435051406715921310948619999120017098249283646137723092289632336282103188557992576010078542347900196543460250356746828799987201705129045037775396323425983267665499320305582382757649080072276655244103207074951590104443622326103000548339616591017302434723237873045696267283584842666297948901726940517923983843377867666584229333697936132224447535237516438870980583441425709823115810590097017069863942364841841061728284076660893031667314728919538189257687622674713138890365305819838873689698134953127210826396944167698645070907602232290186721086560975835042879317444843789956521794361955983846786426716470487986636291536928513655039720029601916911563535764647403287343003847451775985804022050415922997533489884364141724130395975160847047552511675456383349520351320648624454166873380279187206288740455381204652293102826405845190371795425664622563105442399049605616084456403695802702470574432161171138412179276912266940515177655137184546091965972051556318623965123853356939294881669622429885116185889138719436801271668660565426671988045394953989158291400784238720757642449900224446071273262501809940634359439283353508624682099774101184579902889426385468234771074554975778661612370538059211844531816291046698857903350000⋅t27-4283322017621926684849189936837658484590668625927277853899804231354619474880579425352188761228054985895214469244770306572677210315405584654685254596967669030765396987789410953434543165562279540669194368012555346074530183702468229478353813557618113026065673017411091762462164710674075546646863355511902331661726289412010059237284682130769024262731969225307591485867773325809713540832052347045473416624879053173095764391427249768134451435387084217373462203281460436407070103141812400538404226359296273243514134069486855401417586817841400722270446882573521085261010111060446799303885317646133832260495286106596975740628772291009883697949253028710103116903675797282037960064277359174260056796280632090672526883147321824968063446386166517266916950186362514857465844562500735902386973452104230904142372084598120599354457093938309863580892196221203491793294315736549679167024565787229400993864000672019646913298270333943237533121447695843589553579441261989396229636072077324998283709289459102335681828483439089238846045189814370225389788424502363450308560950260486942708077058289150052384975393208064029418657842215080577183342427684042158105680830176831716867530981297864659964657472068971733069198770858891904088134580373224667637634316832742407990659875938825153445824104755413952958517262790403175316477344324975125946448968508552397393914549344628325252318696591294356338975287823371199027550581302370835520289944450377878750235500739758733549474804146051162348478157902614605518742963393787705358411163482722945555007024893181644438145673881463204549773074473773256041708889086432615867557932595362307573369064282927106494264653152273067846523552098711597704156123372574283360879238718243630381293050245751561600876220999962152429869665286239174843264133247123095471019753004580020383411039793693496866334119156411443952088282383713190895708831364053893982378069036549036065522077439153781961849217083674388718350147422059070697682562745145109083819163654313715234193661397874388696036345562316607228973681501869632090747895996952832980343862456198124997713956930437738535265551130086011803394296141027020097315144090058947730442153985695182702777066655658838856032312878034386294790666251891228759486857835474525657146794889846793951240917715728333823188616828637516049134496094558575280296597094142250758723125934124128260037483445060185331266872258994879647715181055252009994090136274569013001060858385713523527215966665242825715931497190015163244476771883604963457408506877022615273666482885053423401276177243845816665930416019988143973751793299772219097049779640713964175467656424961559332829875851105809270057352596888257714136154162288392804856162180233623959262042664556485811664349326563857982343567064547546329687664948170748220849631781624285397425279428297243130933988014041613599097419594973099104407459805010720319496158312210897843628523081805789717291740350325189384978156653318620637088228916405503664597642873627435448741170754675011100659166846170177264613599896450825326124211033021719326890191020762357082117318967717282808372679044439410364057707626534666181901445725736975894162023746320371569295451729145552546386737404121284706476487829446953141838891024470190468926982612694650169389781165214316337727843502425092225503806499543257518970485839206287023461996180065792465020527776660696918145457460876530557082588084993733611378626603035801034245588743835659262697552675551023428197866838128453304509619908506335191327390479944568133697122298064141378661145798955626621715350502744301311498504845891696872218238027388009274572008532246433073633029714260727598256094843920037232998951033238465158713106656479941639733153492383284563723015769147139566498605198717111404022087917813367880431552731013988285001579332599842783478014697645158727668338130595194452329117633390917566979429515978720376337609769108479501018806824542995007195178802609714503356469459851664200122551147790655402207554738995711044651667839100048906410263946391867626597278119939695983094376253417778962673012664215956948181256200538093901313223423784526737030592697905992571054348282483854385895519568749880491119699052499511912829056853269417395396003077489093960239513832812040643037565398518979991020411567298735454811267917690501785652373075584098663302757298043129772306751531384563873167319080110543816257702934523557477085368486675285513572532934756229577291414988501937000396915439133554780033001092477398091254301755906795149894434208566811921917084501560519694171228041616784750268650309530370801032383349567548336188335699431978181335046466127777217140675639744018724817253620159008629683802774940169909996268161991608946521535449448240554628645517801311957142259368283869434362733849212032443307039901032403415818633564151178355803230242420686081385827535193360879428442281790902178427497754847349853918487766317033489727327266072732234798334967977038419906254466655300833487538732318669429398308698574615713655517824159488616817194248379286875881689623338597736443425574765068766196085859116900613862406271925393281667726106349270074280807183369179666262379381654824069277487553440589026499044808145085428580219148674406897883196521332563450655860774932021772697413095763925985478694550928803296482164030469954512944640100126013184302158823631543503496166589350077276451333993145696928448709807355516950928154959608495340599197662975354668165683914804783009843330583698389470664831066701354270394426331385034541456461185891277744734611690248958589461626742298447510909860698575142650462522599969037752745971813487321691307328100813768811679114142941041988390697754464850035787451659208535922384343102846147727083547845983004178790685692240318703585478371515665227680347266666739527997281213840462293458550855525050485284705460201048668524486978207342439868645708716921099145467290767953953607924019389300865969001928333860713181297289531591320425087814437118849127591714696209936378688006256559264712032629460850820075510897207196171791524307226335901532022267385863448095950074716621990672426896152039799931314506371113985386182969041931101035599235992735619615807303526862972893824075213019850636850504451284678859263805992835327371753717717578852098681888082881028457600396797489540107362452340478100422467325721011721077920423336133848088679619632701052793923315496404047510506211650630907998870521777686205377853195322863839901538311597806184777459496711789402543831673672289381208616273429979150000⋅t25+685161230396025501446216460203213205652363710174387418591072185675813359765992992931264741604144993976132607636886119605162478366553800903925962228407001946604554080848908033151149505738816459206198650398359708017464892704957765165362840226833326757631896593197613389666747647397362151640921670626520046146614027858404557549034739968260294490949344282801823143392697802789885692810397047968207094937078078347169655352106747498703705261967924407915535450328864152865179357119350154389807356157081352146009195963771749973015322547724171642307223027491464764342760670357543550668145879640921064339880320161178122083334311137540685160812017698862272700701513662471324454432309703760663570441357771102514118283241232178041482831608912221980019688861458506675533489914467333179988574670857771097359771195761410744278512342384115088533390276917930867294467411643511821260666943368829805197246427833217017203633433513849610228750454199706984412938066985795703740681092688782866002761634203312765589845649599122294568282371541677186097658646993991340394318086453674958780061979826918245373705836368791816839388636132139192163196809342854036849423349554517777252058529574655096127845133488395900503906468727403587508918413658598310033587946022985486877077834966104787500921581391446316313376527876374856216778633245836508209247437650285516095347945186018487408194323434681603010627772676071103545196510073754179084306474037860293065771671382018555526693283530705678182907677291817851050228076829014101130291246087829773168363085135570408531907202557202190672288672445811685408509600670357431437665215610456011572465512785051784611990959520101921885714149416408229152228322564629480649762734493009128442648633513066581903866609648126533589515406921937535575062242601988326648552941326771117406845225329917079555661479764150257653534598833676962402604047721450447189429782408849853262786530845562914432332704617838493135837812205469256076802768274497507983856875971336118458259018506477378381316392962189083174858225864063579721291071748896588294510506190411038123205305998109888551332211051624098063655736114214422751726325667491219896314303394098847233174446332375046490571155878509805665206426038943536432379563506538193021321782658911411664945418328867951607744868788764779419772775318255732555049476259595949495948722519091547630668564339639707131560251556797680217271711701075930890215795349630929562637273942563677240313629395345844731285001451621339948668770040530442163594291665387816928038241101418661945050111814373667272377436797443308926892907186521743729534639115727406508880699609751322321069436543496586549501926055174030688299463531388423231062567591149465374419237071821891339495977462424620164302371457703502449297696031892289237775094359635555339108534079628373131148994912608391797749696332871457067783523475937998188441192257423481093971754268482645833913921270457466098770976947368170217925553162664978068343950745031575213090800206257993449675840345838045203286117784546454671055701585838141762296235166732823613438730093936841697152543505407197746170410758447105434974809476738147436751273546515846659486648793089186403480289387349225561363618539639685174595900130834349029738316942270557497703915911698150541763320339935092478354281663619601356481514426655502046815071620000297799792627199628725249213796510827393702346185000899794477437845672741691052956107672200990579597506239254366754034369889894199375107002471806255701078650363040634896261914194578056800871017376188013113882981130141190072172855417988116277383751341312567860301153186382817654457278846939002877443229058871889462260327865952131894031521502591183494569946825504035382486453663096834268980444055164679705930259513799252512957130043120076621358407713243271634162518394710294057818821009178580796132139844597820020959888266634163168526735271915905943321371139433942094475441422787025154950424106013598014739836813565642867097791447164106316193160142019199432465350741706202424921603004750354671691918004320403785923559166932224473826594531045831801038250894212352729541174072218377694985556379774545920602427191564598990629500955550970402575733783904325637018855928087711907454766462515374139055988475251313494894639556351345954688793469132921002533693006128912993431201698243815099913970543344864239097721420229263573360207225458098614173428422603219320066544662915324229212199808864979560716799881931560410163301232192515960354064948815382648476022667026583307876927418373738529177373307749423126781458855285217787345889337959765069353453655714935411922106136607052485473309044219198260077380982183454103088230492817877215237705021433735267866298833892452201618250201777480408528020992500795319241737129169581553172269095345925576122836021778202097369092837793801975124924096889936165960401691115718156300918167642843662113535684652538998485351018285423102546919001428162716838109918300461801513051429179937828794871560833268970290483300222839442815051538924964002518192075332963912184497445390546408878560981131113849330775178484525052374752775762607734145635491151155575072356246277378578443344189102337812299756475746457981391536507013484457066098606673177550147398940210569690249106020349964113034857270492164768017419189841295631525209306746088995058269045936076341869373440618880296287668352066080823376262600246481723231734660389267881763588075802899763694768432810415539257807380041980392208043067124371637941934367345714231163594349039211216046654296908860030449959998313788912294992876389776134687133406462602993477540208357103913635011785025161750276800207770563235330756389174299546110968255666970799091132210917709747133103443338195694734586457542145925438071310929771722284953063802600717968423406920775608482923693163017098610453268126041965824221668792222865481302398408780473864184633253534621404532414274900378690686445391075865730372438428162695701010438220515373461532296614340611030549155002586286939211518981892073588218938808255012464989822976153279951903916953137101079945394191944009821760572458276320172255382616871034349269687795724462462808101740955141202472745184068094751957848421735108038993725816468183006581599267061131949878195404042401049323291219306627688614642512799628727221969485989339874055807487278945176274068217403201214963639010759382749322254207580050244899365929065299037960245995554791637930437183068179022185484204038132212923150358031528445823422528178897323412203423917902000⋅t23-22275524291385518647065598350661662848817732601030690773445628682013263562652145574654884352675512547213872178795327363246584946289201087693634964091468634728368553180910295649163040230181196747608921802670729506147307758927141141789660367106522186065763226609258561605358716440857573726202910897149775441220387413152164825486188000202459752148156638675707125138085453437401715751342244625430310058481265966469274375353101395283949515256870133675476427903008934413928171701427910473717299775336057230094641925348862671241675077068926781489173924891446806711291390396106702152068811037366687984944203497574816595787369158438257463860004030923131387036164941380406495326818657196449326168763634741933512178886054484852217982424917425486273161228819601684827240685214091004936867051387216425993170009730012545674426702396162619598297593663868264790721288029405762730996606246488637755330529483221870489762541008534134172543974604357690033839442693937449029879983760487141128824861331975323286470714246917828052373443055826654457071303187252629171108183521373110123616700946162467365421114982620589105105288285263907867727661272304928136709505481814179886134816827051334252157626786645420800518516023416631354964307705769234760742970013779292664024957112852570061185660735114324286414569014409834267919685592912521192829752129569575136864972041250002301906306379993249341127475677692810265043323091789951103231290533966082037795363151622921692072239844859753378659826569211778975223452814854320190078902142344077824253878961786194511320903363119260201525336189100118190606212038964092231639027666579514545436598643741726822441363648796045857137765566493549026779736088286170230615747679656977260953744455936016189668172546439662326993949964714746690207677616333718821092060513163455933319541961678986775663091353685817011469172324727653618019731521324759428105684177474295897419199374054601725029379214220792944057912950109277687457032071724285963844541935473917601009760904610215704264743695824575921871983113282433101950502519677039241849719037405600078345498876097366438917137422628423860812083066677153241118084608439141441413552785150975330151052776776272870763572611716640511137030838291901141304288063334151680160710180037148251158525900056737845510774863010817362972690305442307357633607003624457678996550510686786154644753047282323075759065596855237629708322589091537287588640918507125807955068183976411721712356449845189348964162370388447726635842558818418609229844604020650738671494339468983604615757347427591236118627416313956188172175622507085404899453643677255085801438138997792504055346251239451744760412193703423819343520995342311200478708384670905699622210733468258091000796162861487756254700799870640555977083154193337491642052373918344288471390068716142643078825251192274358000355646293478342075746453835666973223893089689033983801483352930327661784802836056782639256027980559520538936357437598068415845936746589122988395245129278335892215706065290512705235009927981781963219504561643389077309684657901615936147059142981977330648248662552698759895668706509006976177398128834231754878521685454597093177427260178184300131861833736501387164837253956973371979871501291344823547223317069837989309876026345381488493635584427948319275526167136889727581536242168998183652286963152305009691319582445254049925638681396841792880657527570018221046008149413461822225243051349349113844554377063063625417304136312120377085147827262536477105275431555931666289212226960992396035610910169723164263703649681719542641311352483899013413499231773467373284746783135914293538258622837278440613595400916429600234166071424579801176919791901553603587857026444711228159797536471975955366391132980103566197559894661627464943084421156120686576255569416875012865021684627901188496328813823179589601648518545779465748646465203082699188399766441241203309951425511681030720167148074723030168393220582073039097428162493571044755006017501590280498075932084538880596159837381534763144836105352058306560029121467134275325045068051685773804098679427784651544012621908698755939321194835264093988206884574664236786938057156154990440160746737111970699100198349186829339822446603829698390413497085572311214864491822589092861227196002494686574957994563948919593636595089358437325692051944288168983867467450728279168018668687882333924873832946228194282867946906851983290163683131202513946674915859039915315547774111176050126235868519531482547169895945902144166075195810615477924082178740613156866126293085343876463576996076644786820744762906200927269726881048422654161361940571582887626837133596494886229716628026411860598623206077435078447033188783329112484620682311351240929773186652043005928096197785676200318373410123565792429096721320760715575813683500186792863568042724445434701732890478721899145611614023767231849860715103643133865197774222041624333225176527822126664676299541745543825472300990964162622593292193342196371655415366819492356136670206793450369669427461533066325943250554185200472523331938229669125888257997935988020612986180687658925842254547669709053241710778497834678591608415585135075602604985268276066740622475342915721274223196153483817141234459387943271409316070957309294443411132321158455562167988398620703320404223613837790988879600180481520216264787077085279452438533311434778810524550829058116724296847635975987883192888753795776362142065406961191718712269802492825447814040219629178540698027576644963568933451102460457886642783565807064016293747922078621993260127265771173339255367238407117705466975385013433047591722420744589325840146946205284895743638128380770604714799555778451024069070786058295552766762687443031420537556488322138595125331053369350455305354953856005876077000057924757838565003167523299547930142415135801340840859833691476967147674837239695573338429952273820646496160523393118299595414494188445356533025419266979131345177615099737944812477509485056435413183486899421056964973964615446065940421376401960031163279720956574261824244937041717957702571761441236280309399714482584579382440871640945395032565035618382015460388335225323301392614224817594566806303856063450590139794350781256296151038771319693114725764304085260544205585475187418452101025890417623792315454004184385353149610680089835861523948204318256946736552226409230500297607997336971169035819641217770852438262251571859102064813260533275393290281676752721722957720255916898080299885872575022346180569470058060849937376833424250⋅t21+46426854476328967645398079675510429606339703186511522846430518520369726312897739105441663134910491616865541280280810874146126450371744323150463649162847274243760515387137044350724972221353110762509294062558426131828371644609514271677129705457453291787298681584049891369898047717591857136637707602300930890952512494869731439539347279279519911325775572355788872548855230029434176136308690425569824692683788312705692785636813812261473745665893657047391545352877233851258976699299620785625725405827500169594746259116544236049948445099633789151298786396660327240769798790029386084303200517009754795082520705931184478680196189145752341414424132058791379509391087623112797793171835111394859043883259300798415398331719843622448091137757148235341252195770449869339456626354778916124515629356236762656873188754945266037201875415740209427558344647777164077993608429070692260805616957312023423330504555992609146287805554240752329281913482982778528289970345990559305504120552592445240512445518405622058810401277586660123660340194839762995675315513255745065798133525794857097984124486408676823195649512097979032330338559793389264568052403142522604402630229704244895625359248307142475821775849198244425842752570139001829297047142743416805274403132042207087703613692302825236163724238523599110433080843424823670277009279178646588880112121724729777682967482100431691126256018586503085436100257223774505512807210565965397650981719836043802433200047197619777703667217507006981831201500014961132013917717982712278693785714935201651788433876591547005359527348898732159052731998170689838073657497535011370946458389594397741302683858160058530026631031480480085034871330060526121573032230722267067075978721758377492741381222639762782680611867502255000602659980587689925799800378698522980232769698128941862744351320755744815229319678006225846415319450934637091685162100946781469478611937115034187551338319075598686814449453388737693014769591196555759768361917434469799937567476215219357816192645841923896460408211077654099032629249764365650024349844965538142656211950334732217268897802046544021513994404268432877425473284306080716094274932178190334403159654530742619581497922995911608092257606840259031714139186178232539299015780628247436702660605556718523523873102629479060818845595908448521851133121052395651382126280655964241157574619007203922864735094571016370159604814676722118743901204484396812503471354721116215756627851846561237070384533567027410244567636752599904019467075664659698618170010040937936111481728992772863870342254487155542442508221664925765231977998587607419137189852997044059797084643515987451348541137119128941052001476413007426995141307146149318879773622423207930726777028791489187457536472521400895719114933418846719283100468374363908286422934024484451581557678167350814673880303647702167196042919176272953674337633805098096416491370685176815263177280829154107542273015422916197469322767827581932109718654219835229167288955248677344620561777915568858994539053839178019073858343964410902375054759955526041793312733682525301878040744211993471126143191060706208088792730170002122406579189717089217844179214296505207430753723938364308320484754226047089605352421113152081785037003034025034524414610357191064233100188880351474080337510951231908550339549452865348384161732243943591501359482191434115885231302635928679295385551533797621966279218079882068055199095173023955659379840575518124088739665762401538855761721832085623650156373548432037139055604547034346412773394861937378757501408467376112052690274712120556646874655752506274483855242078027264172295295392858066801954133708401816720219777712120215087227665157496942066519970991835847603551623075349336864929432847875242872922195719268362268973146068831453694597458442355324304181340565396537951760164511049587814432257138805844113530439239958980887404435658170384835073967673375082060242164151218377167406372471935060857768328894923259115279682035157998831841363364017297400995204809576051800511448372477612540616756292975438974593242915416214407472339188972842819584587860899563348282098430441109880597809506167848012548568954515086241263596860148133436287585352518086864164464547594324732000752866013889538461690097099476451593340904354321630948558861614285570022939392630530949273142238870678025672089226919434720844557022027391649875950721971078095192735213400879012828687425079657123804426559059852525964247412693772438032744280734863236586950375608774376500177459315542956884099597440859406465524858606237274106098532565623538986591739575634286220931407979527494737105737931206051179560287309728256452481192397063949848581561108984109815469693156280676693529695122462206953318160262092874031167441800955088982554333426890919841914366369877354831826138115708494256786851147804341735794938419159243795316923502778667454543021996974622362155038832375027029888789674745902462152219178823272411080560615476161393007736375165104761512039773550365339084248966549046090136269692835533335182598206786146821796290233443710009958915711944137733035643047161473831411119362270906626806606226191702592991340558964848004597478833890187930733369682020375957249708184235272413063865078825133359215915266502429458799932638749822163587656049117576958945692376763269336214775745666166154098763954761987039754838414538770675895396249157793228759204215181934049011100373249450236458305090837516107747253284589483722213178100979016335122608857888126035099001752731364146321730925553801296132713953327313075417208116263367645903032831451927962426286055750656118005417125587376974411589638639782292295172226062649671037756806028098881816055774351314417256513772628541303193959912663223562045927795469714451965839456193360800373660954514599828545209172934918788730249733278944083442677964577618633162363909702284636357673632135910019044813304185563555930732213338060825675562895393866965016960694994705101990356329593364391310381957792394259661932419912486769608755036206025289076783098997531239055907122505885665460453481892464205384822333022031311590063608374488335441868128205570417633039571749871470853538849270964428765582888509178649217390879032473896658492875327085387624074276734823706475385538177683025589109685341754788544105522517482359395562881450258488855119521264434267571932141163808883212190296544879167532914703289134790477600113868590369832711296260042756111851775333231034584716408528471950429516391169683349452834944928472451595828744413459926266121000⋅t19-2030534461096915715199930186615498363268132489356170086150572362234584543882599510365767470705421681377460549867561267809088402865289911801156525856996090631053157167648928326227985118646402166164349142179391448341337903336708484877333539393633559523747897367990826323094566700762784476780544105478721246590523707727234510047614663996353830581682497465552294100790421933767471040079204180849934908363487429177026201961497481676752266027492887100063910784691121832408076395618108516097528157815610038361183845365769904994611322710661270236233225736398632160196281351638490718655248232996983799250274114274870155258122404174484325214043351509252882078358246680299421500693114758838920875315177464775838038560070329901423471454171853694508573526836509904621046461964149562539941585388323221208116827462056833432370696606989388314773969253693151223912524931473456302216987468869377277275791851593947593970538173717152953087965308442910841454101444098472324042335006103377919830064291156333240810526705725944370034209404518841613960829274113425945142979852020859432897391000851880388652338641790950431941873989949482440651146675114769392014636093804875782104024358797505095390389551696791761775011752397723619448205320088913542203499625040130558684302375712036900879486411698514120856300132710557904659517600749989921272514365251746678627111818968192430737705634644384568199367421445412529991481888193316634500033994794101106787070492890473400017159222763375628713356430845689458011525190935588808283727175453769696006263139350957421040917042985943556889756464401575145390854865794808287332294769807823720124395026411745320661036859324968086479329629919095752000389380501825838140282379723518579865877355394416848508141052733571172412908138779159565601361544636992421873485796243925521110750399997388485022206313915912883077756905755687248246362361836636472955284886949159761677921705484559125879167841399647540883722858437651616202604686892503660312969694394034687472356592035443154887142135731342031080172094295001469422505171873716214730292769902388170067844818682504989349581547436443688671145582526422754230029994101939593526097390608193541483743032048535790999850689646316291901625221469673454421332797436244783687825729434463162742874074300854212778872031068775795142218945605509664528380170002067450337210736309249769477273919230845765990949115029623595612950195385864824589039959033951501183054492324735723264313137298527355072000229119035692119645573278613528036189433999296404668848474550632561453878632246407078882690306919824004491804908973311641141763829648716397694345220122702718293943506326106611061213592692707974172928106566295542641540207732445258941369668694976019117625969290676316678900466994336995929443018888923759048535678531589596638758281470177993757076387393749244447998028230053225482087520394376487678623264968515824802327018811876187272718797780223041103368974924832214793855807412207328310984980660010424942108842036681734625991655305227172590771803961623126172197830358281068309259342289894172347994589908360963867598733147780963807372593367014818443410073520209421731103563149124777655161572692479625565594785025390993165159425555397700132313807206131856748547909251525795023165973521081537190331064445305040998736200019258936988852087795403508293805595871210402173777308879319452355662288873791713366896262072519501061027683915758547619865370285442547054858365203057772076161511014357118842323559792993126783561497322403933593016670922038000010422107183279031181422871587298937627541377931586009152056920066657295042504632566966026769561477449381759734399809254543489173732649731090439037766055614255559891289253280164318499023420567593566577260297599206500210022246231037458589944862852871602331060649727263269828262424595971114899592031875799258650879931478886739965302612768983386683106914017647484107174563511210953552656346074583923080922720140339277996546953652922466521084535354236095532646135314885985553952786907313480946351044122258240433520957045450785212109914124489092219556716761326140578837324206606568448781550545380435717281426404483638040860811558658427765642520004850221749729111942887369428083287036086193728449644403716250467071058673936775962342279992473547974735175145769239977018691709501641963654436697536707422133613078994643886013691699138222576672936481592821519287861750276462264552692451898718720894145186941450145860261130205552494560890553661167346805774358906068912930456447028465589109801043102798399335046073310193754998059770183781092305299262557676696434111855981225952061976838037190597263435162813409672797625672515117962003337913159836330389601846462327585289578005393061171786559966010958342929587823455205988013129443734078213354024352393984622211658615439946369088731659517054342387173189083034479162195110694714390430106970030729708295795643016159974696620650158257780731689050675388026298991774356222172202235316492474280298387584334969890059565108414679185081692464805831927165141191982453611754449582443134578737525535434923024474606491276804622127297531032703927872389691212757109029264988512598739999759598704735193939960004904128003889760872659050516551330609895622074506476130208363916009900520125252479626922581325528955689338805363792607529053276632988655437233837584753245034962301014940280980549273837665160922518514349116142863218134733188092769496689735998639970738786552421779662863579069540227724000790125537995486005940309266166035233645419238265353235394062145620813956171724021899697945430618723990471960607522916222761430434195598672821392547266252776521711235003980960903255650305053535318246680672453892047009640259694140456747382531335438281098126346491072834312001182440250956827380286524591510424087932841376926831228583586435050713320666117070863506363181271825526158676209574958677873196027964921591989112179266746511675198595800765619632823147199605662679230389048707896125851798731505010636273979084154084634595741718541179363381923879472887281360614296528382920428099332369606892437877602229856328617575286218733264820003867697502227294304684131932277397555741810254623620906969958350401334162614344094672069046876261039302631947123976403894705644969833461614897842939331861439529515483050943710779092858409548844503167031468260655850056199239365918418761742596431446978288804861133950388216049967904291844598144304591447130715857464802013582825762642934359813497869155249238463470553821003942770680000⋅t17+84512759002614675330801661110754721936750014329318039444410198809171941276255542854844129476649065645320317137103905883082160528719620424913404534427737145597196496219195128793157551863884386900683842069813712500507019167874398732507003217121767451343078156845726624577038818091161025439920315870666037827272644488169031053267902242110995017287322461561921724359864825703899400492684971620297725248162240763393426504084880050322556139691521861589442059470216822992570751937517624580494216013034034500259086709856581873906184254960566270137010817839218379416672040426460388421049716516347899105364952792144379914201350047355718040923104565595546614887407856164819794502652193563069921244031915341814791299372644926843325406871816437372091939664435969701288147476790831954891406963040907618558970872483176328853567176011715087388851959583379439854316804866775882468027802973392836548378698885568033578852259399420892120004485267153331310105774436541900017624039158377805860969305396469552276888855217295960163593013189808390299810081388177369347992187144903651401087099885270859428459814507580764705230523027683641611749049342352164562193724547999889220020729007911690615666369791773219871277236348176023062873199680173781184842139430725846037109024038371914600844839960697535821953553761332467600786970355091424240619335878039437235934371003847579341333637474893249718402164517319476232029474234612928961071602681681918223425204088651619620070453718035307651941528207372810272209563233197443367106772058225128236725614360656979967761287645348211320756174587374102782451327934925175163096990502037884352691493106720913892367062705483937026807076324378212457224783192576587982325335621125458673159465307226336076511660523480973803620101818374945597511353666006919850085309248186884264488398428150972003858356525765715624185114686252036534667122076047288746939187057699881788111327380603879699766049760863222492196262758142941673060142950508196486287165541459184788008074194166268019618554440472945704671240319736082203990530726412722686610836265509750932752908444936649439867311214649897792577235393964002411666067412072650295825695518172653875609039200520449883406914021348590196096787514598654026418114289690495862057553733795971672875557389427040497365604147933862891564735861384816651819623593694813998985312013602042452971387282381423881929771867406077333697502883777494911548322575008463482221929314191901562641484590695865668042265522506311112557090522173832953702496257020801134355639094176041512130116911399066564038498642715252033383013841351032412801128518249539241558963594563133164138395894232375305078805472451955838999542228174113690828854539635829805434502534658368048731748317456728023387793204993625090449678619479160641711862885458534268136177196589901154868836784759535221527319473115193396431547086231594131170855923440716334281211507525919700280968049466960081400330702540951687398180489133943635879235608026778103061821999194787717860638100253359396954404727444291130891743859869520929335584929171261896386528281915102055693924787113735019678613020689042369965006218652178267019882647419186409118070058541337127821462579831504551502302771504806353780625776716269056862675923960931022896433714962230665048857929028871911927572035501434439350584239209343648103907296731264917517720442642085869475658756700228443890706821133592276127533303328459659672668397778587418296416519538798369996326853860432514596777143653984835375985529999995285148355928160762000112190918502356629776493264733865034461180715381190569107436257188134411339902809397340170519397080778638943023245005504791677576063229458208843759481657494633380006231373545298252077722703757036628449331438862046443437298297663520877762347641298559013328476405887598728151295511827218472154431872545368490183001615331545494920610478630821162529915603837028799506643830738329676478594784214638701400521046216593404315770148146165374903439409989717969557308397801419726845491764943433353716602416139603411725549125842205511400947899104794345657581127489569630936895901753470707419236691164977631544853001883559162439854618543205428300740068287505328247083969738140506196425972211986673665075583875298460910235513960613529476978661095450545845678650098574759752612975461105910549927171508777497544144187850354107714147387114252631266538080948910961060569335311799564377243689335145030936684033482957963334848693342800947441449586548234919086203335745871212415663148812129953106299622993400712181077260671515615127332055173154819993639397944003225614555439390856726425137750668282698782306390282050233536586205768839211002741814006367649909488066935447408712234869116878246731584733751765022162124386570135452694494275776666841943752144499299952109690207448559422679013993746565937920991334917776194687451865015125454908747622089154325683419447215997486786440092881115363169052888016093882871336205571011097500765238995183693723212054584311734698876494990581546521761748297615720157130637537222882997121427858064331053468657234387700792873705170803249755840908716410871694155724323054973585432676052812092318820941562527443558294863582203260277166249393918014384052558918288167037334419519301799801753635010760070810101578375445399934773470669504355716342161742578642585000811310471167284788123593278474789378853947781924967577699301522838479056995215069024763342229071863985359685011643476069745782590292336815392558361446645497245525828651564453434379279830101211915273063359610155800526704672088000449689647870778028838609928892746686397961280556340856301547931538219074006086656235631089167370340235636752762543478974297591896741339068677883982563810059013787365025938654200462725216417424493327407358788858378470602729859299512351292800594990046842212604737510699966115765980262480749651252178690961895143414752639595151803019647501694459683037444784884208241670165096231619284486488185952700796764178287009874436290966949304258835146360648278499590342558758357055502257205234848015570239672843657519037533018595976541650806361000957492825187497768276928743700446756338658596682750808982397133917418977998558963419026126574024998195587566798726810011316567430805157759572419589969383733854488544582219449613758901964607217592504352534643966973181150985805394118856487321223762533566670523243938517472167722916912524767266890830969729856556494572954989701235406826986381509242033156293402698241767965330037577359491131983619237320000⋅t15-99285580460132206600204687939725555340469118474032050513990569108311366744718011821165769567601713382522722081963055256487994903010883869424910456181179301563710277954197572694317348164452502967473748121208571330479472979142898162849382701594852221157197760382479376163495600345517087437810550563371373852470996706647018736799658036203388718712731337696925261231810697232610950953786527974902978582829295190672415427681328004299314175415394879025428580004461629580307366241433598552450161811999920943786100933493316869773223043926609917616581621537660986242890446042467017736108667225234858412033711304493083026957887932420279761277047486575014738305545497498433092592000390515213993596124833269750876541024646610394340400582019457503816192614219513529373000576361073298699792027292415706671018332691040033464373442512440050410930598470445414920530453696793090814620521273960685806466731770121321273651038200399184768465225611920891829177201372068301720254616765938144098398203662908336036741487027110625607217239668602541397986746356545162963976475614924736416183288575495906824211439161319619039959609910266813523765163686802777300631302774854866184525354599705048000013432477909198862473880884996871817145522800634225799509069078661136364804067016577848028767917972778783195610725181180846959484616613892494189708939271210024602578433529667840116075438774781842308595785215204142732287764878577534684016923708196367570270487453664427097576734984568533065709634532248268546009848051899247135121780517364062335444799396219019893950751965610887965966594388917855679631411801562009647190984921524625401688165065707076277408050968855523164855207888129334177446037187120509934946402035222034792547082129945019755447412050339928287750797139742874944307117576774796656195276982607830707579500537761014638607498270280698055355836967369836112567224953284686966722919503973434307001109113390800078468362181435040344169310881125346719522335793631328782661576545603661833278953971530065652347000632738994470174680966975715988099141404702446666785863226421295793106320208884993809923005961634393739748213396434356985694210679318805925485623912042427023271846227547115397242920911552874950250859502422486225336372018618638272568676020313202613226786032703471084483054279117471826409040029311878147292987154096624322461730779315683058265938369670239097606976541903510842263328189399873530776340725283733936759275307785771700179100745012748387768040332208383359159225884061965617192589746625499028798477174079572249617280095514841626444743510520902483767759414437456416008098437293097080122911978073664732863535469954085738108742722040952118126106557739215070378646242652485298793437660885160395070456982133322222157811191523405192183879648647554361023580609585211284198761350842733551393044070366126162793915158349477876781166619928139155521902741987013984936598395441352362332479755505421606197600173759443836911645319645239162269071210546106128829773616948046593593553528693470128140682925171955819773125895345559970727569940393453449595237586750335561505579447312297870191362116534489563173840240498493422047564456972604936406962754576525385460138823506386997500908225010906791284231247559943527172604611666629405124689601232041212781478701111942598102965722429801452233256263478855483521604432994114465870825987208671455310126161224181245898067582066504949115925766919796246031691553994041461038207919079491984170186252566641351460634336315594373440629428038100696755347059937352871952126240137720537816760776044416053725494604254383224834545690148188762677907866013158865176325927926231098505785820616105466927574047560445780576351425076759131134673103642445791313921036583895876162924699255152353195415306804366055951096772744251339273700314374898140378731813712450819604917579223340276232427680788054308298531630128907431812040574358654211357423639444881739713427455280414161783916107283865257480570483648597425995730918322645684650669153182571522687200894863314365850702160004501082517825048912407045389777472798781395433234092600753600855832858401652801049718302027499422881233549684457218843038010485693838118433108789293969260772010599211945815672688512327911763217704709093207356709738352267402538648917820834569775423629875707832156174629270957285013750899398945614937598973189080503040365727457542794694082064255206884275224770951105600802148242928423517355236126102165776750326663772091589599233810352342210440751640117894254390123490491844145683859621453350412320291168814983704984097343349117537963737253039042631371475544305616696607896480112113544152083614501912931211610714142221646692065400192439897282870117423033532421818518855208327555523182422474689367195017944605800754094807243629522411066266009361203084017868776716373194476562825851456161928624548896273291828692240939251323371731290089629368493165784301035394890024683597028784149351766004854707877776884383374723495385501728368461217385577440920936045797869833863689344520937298254786950544962242361419234282025159827444053527522405110358638098072032337343042816518344246316981234590737736743469492329408875394230051988797728171541900560600717920337572343290677789203913732401607325437818225103575899944794797518005275563871792379608627499948273212773827327289710467134079395885427276916515751136272987127622864196252518696652158939973107232505518209217717927443577865094610910016994016073011796628392488363422895331193204168645530244970283449174227195848954669531008704761302340133599705797322710410401860153749716451579206331709837516509421543321326393644477050504105785627202892710501200126397359891008915190013353822690584499075780668500579803373627618536757404164042657785654133008877892995441252148706290370879116221125280838772504629201450008596449594470135808660867092752422675136670647773625705034246788825973133890118814866719980530075978362384093237909162627838566908021481847056251740066847358432068123382628662500863906242123575326047318957958265364899829096171768339576884856874385539350710327450193397739414688657607313161358708350677208410983566583613995915070722779899515526812920579741416333793880550275973368109941151977658581391961385969148665739735964815023269422322694744355466691213484052887795967987838871907111300772323529299003863957870443042017463447720166175537884775285398028937912745685108057437439944850085247213085716063404547741621085664897360155591135706121516839937999906309764780190004408278086652910056000⋅t13+58700898535249001676698418111983133427843865260177982822595481288786241160162941862672356598881745169887621566842386039118449243304419254878675310539485548454173694148451770009515015064344382784253927828360478106008367022371732723302683290483673289465291128482303887474612957660348988134636110553501224769873348016582842021758615611867912910003701036777673896960993308068022845074432112395267293774874345907708610327331477113131564388121212493550892259737680817393118548948035267907080395778182339437310495469372173337398860875038392461059603833033293221620942125834508341565320903786818867763965889505381281055014922877893519965297762866950695270078419452112461825468688768620837453122047605715999950375102868294322152371019319085550310419229381584563136101732046626198848539789024137610458166780954117841160454793337356034320617438623379205250665756559275065125377663404241424739654454214280271493120058312952123582507929686904262520593932655843517718661322318226618675311158602650839936595689041010852884898619385568297915760536859646639888002100334366729237495402438006485234075342719763896060370014862916466766177244288090848304939402736315523215539397867224843727866399336467920114387970492528766232525413805804912868159644963157070190866477046263674807204520404351284804283341240273898882951389710085367520737564061280543514713674850341279918448987060035587916768820006495560105529784196326845751701959484448212039877289791915317970716002641359350455780124082411186588968773381476220169051399623543648671937278324139758671232322518879417611283371156701126235688570846673794184628766855606172805607909756442866345167278342411098771497412926033992483179690377068398345509957582640788953327443072202332454264158827663985422844868441681940159784826844248603340809777732583261921600844576353049389777075582361065231196522842761799982706271730339297738878985988658865832007840884084444111230354811305915550886355329943687674906210692349312777460429389938973170468324412025354195473213126144384859418055410943815980052470589101245231386914237624745298222925995872803839225406223883551258605059390049380924312087737437592374281287795071909464650161504085338881838881834101884924028858454768731758036504803693517392368511954187620519211089665874894420327521154515521708340914583563395306838516707243692093918140782971905830205160391471118507536669268387805156486089086898702869309093739790628205228385086013393861613477399414472456907829441022110274023770846449545646805916053436436171430214733864563148445134610922889030119241040405060057433668640830046438411009293732857606332014208564411708835869908529384608400492342322027731498023942240605176169124771745038370204400941461747821901187372185518867023288717579123326103742696419918557409945459377270418582662962339882867368289297842654009403869976795963541172982877258804392210045267069824970748885491722289233689431887488505460799197590074150815335586179192386795775912933040305065894340451550295529000169305320768307785849345758804992961848678966989960535664534611391885527030794089058420699676811704585296757802525451654554386587582676685939273290074646013238471726177365546702162573944875476297643158347654740063994597828920973267652225695602778491092621287854522815150871648056898909187083698553393174516673092142602473239057767155785126714453617687501786914971410256821616820187088268833363847765651793382690475547472121121929820420046757757389881306992323172231724889330805043158025169377567418757579149171020651040695654884469651432290491803812991790096897658947674071557378769726329665092942317514637489459380551027617045272670104358201636444303667206270522270214419793432019376670213360523676299173645035666767178011407913891145896568035082451375252900107996091245862021169747869100284601439701582479860474462711165348724998857455085382469481139806457663343597073429045290408030971555582846052007113846891276994331221741344584599425098594400267257910486286716175411502854706133395396687380813446358844699343725532139419550574156916761801416229844138313423483432347744232461508181219109257604431090260568165943510686883498981119219673514279916281405414094404725835096302112586074617864869240917748378025398149600424380241046164336065184646736131362790834684317529774784023325202975143771797682086175678956323486704430690950116699866366952992917289939327296292966890281207255131805363393811177958226307071832097541099895631012193331017149133586520266941558707173397960804090163053856503660909369399059686062027825282294011052342110535012569999888199371446297976808869542992248230751496806862370228578169508311659175477714096041571781128500384319010402971900706689921436941644545352496859417246022993414237223324963396601844633793695136068821942645719427247164717596192090804058505503289941321377268721500408373249068061982973813160819133559289371730406826068120259892460018396571661186630850801712915093147146364257181961629267054698161409739903288902358163764515516854941930370162172967893393160405619763167648747674858621856054616612363727926582637246950500271213814186476149974432316898389691219675997137220812415736938238450213787472878648505811940136231150432609854957997482955336287134956705795753104344202151111568906060228195762224047804468367360492854851012301700349129860612130702997365843842980814528246283198864737293042924870872661107470206067382610260185250315329502160165624315832861348912815506774541116151548708228071642836995070684854462422890747204630743725130476741232411340318406535379349976853816834662985269909119476621431782025909902337617283659154605209573303836566201640221736740893679626051044267466015259796506394007380462946063729698673687193634719030423048047909196724943677408705057045060865130260976448374882422169444984956310673184624556285956275958358549153283954843600737045468526477363589463649542101650443695543787489614913643349899462641011607280614950933936541510710942960287325691287728762949502764829955135007282654349619229613441689134839072375259211838858458990217799628865753133171593703201415309566923596184436421776431084422679076006946982945739337388993375814446803562599852242095844094300173792511286883745194014119857958793951500067897106117757632004307725526693666202766490638385725663201437533479178182956558519413421094376584884321098918501288175425675238944718484045550675112736430908775531260679911733692176223002065259152068038228180339629292999409730917312785747317435612172441889125999702898421032000⋅t11-930143345751147249516302933246576963270088780228056687592601212236112202596053361270765724741571413870217775445747938884498876816209440145767745838320518841771790123657969135222669180599772446052989418476064838154626653216597840088150396193597851713216030080901449190324276016980846218476060884947951594594245464384848600502119335143263574461133897994078141934831816372463189807466434347567344311568121891126363745320587631790816781464789822802314131000278720332503512568963736690887921711288051959068138652190293585404057634263309035011600903055432166780285015934253076505706815545015353383881011322139114786238394359688878223357952003944781321275055810425924341833575468238407149294061201380053082408330440306768051131331192181149674267111815954823372875239710200336856192780151433238559593402403054090167026190976367486248625964672012688630636302940832233336544696695525891853041325567456685329397506937090506375299735592022531788244281644925875260316678053801001722475829019297288636229037415852431518153492605337155098686726214416064524559919661359609326459518244316005852646664467290314567216490777114242194464254666444513905762948565840627384167940916071788768140859853778247743176658877855436675710153306765637434713953782538576018822944259723157678411988914776572753834792480797686785057094937406522832710836067684230267677709684264722932055804029573035439515681721807601998501091029596677992419165892644075854282259280529268129767466634036838672532188936691616417235914374993291763821842689724514213343163832029378433920935320687238210314649246290394932098116767600869586027377489145234613983553908678039698946747349108171262345061417026083022827783748016859404102341715425397460644726978472271778661521745994864558410577055081385600490258369881163928231624749515912044303429664522743083454433617436115409166023904033379780820490246106223645702310526823805647644321015550400751902402939486151162197738597606845202954320211241897973235967747524367466898831659666999040499292181077594631852436716623418001635930600388779056829721633055524515549607532747209681511285111478625091839454271352274867678352700387009673787333658007450496835043076571712310091950863206182796254979058375705449409577146844973969113615465214119134755908720075754908196381601036469629347946706377940137282073265032798193539543263196417355998454605275602214734037409964125196975790873834135342373930889500332208335817328611526088796234524590597912861231020122928683340258134057197939732605422823174932036969746098312312895091288733866791344123462504090073012978435976720291543097327222754174751440515907139014259865544905250533011346173069464213890127571549192792093835110817026709687332285428746005641151391005779289945402316164014290210582372944456523916129540760261772520722257667716528020802656313480300811198757084537945983435888097280958943864940471061652654266928336318623945481898722597721712227346355473491002337851496127961099872304282532873074802836408138872316143185126304487916819918814517610610728103712850011702062475254005569530767646383592216422630492958025636079550343758593876843189771248748462474773503093232084382406421285505131395702933190622395423949302653545636616959561944608371281835546534671124481599850280770309644920813275035183962640020644776518016904434925358393541441326708535212130652851631341593452566302046260878408667172041197785007531862829527076035134258444524686538641603180847219183868600177253919268608032634467950431606415868361144921959884031945827432128099126688463627928452478686206069631850093384107079351347852142462719366224326747299534014779708794448717088533312147284017496267173779351850174744526949615784096082871708026593802781132178913905394079476307955301579844718396486689648023421522327980620666760652093929440516208384075959995929158163353343592578132469093805632733918692977972974369514878636052457861663306400007321283250027781472955479942968712958935088576604382069111101251638502404310160686170219575349036136904471388689940513351032127520573156187102658212532560871447838866910199896186800872609717932354474535431116465808072748079072707841392459877475042485151369565425103775399281762524262042399522374872468313576739090497863856165742193141748045948613514267023157479572071809383214399865840628238556791169306016078549042920511860326020617358182112857204758085070973886415324474655837185391454607695894982737194242022741894785484354386476841527083156349763568035909475650152275270075639506541856254795234372960225792824520016083030242547626622654445969010153727045932737710671913885675709178212837251152893905491775277865360697475913593384337353516690551297155717221996593401135788999532095194023413975323835417739852478521505936718319513236846726060318331786717578557170767950693794914413897039390725259624756261140692880687542349544233098613173474397295091327779829969392685207566102818176178350789847388934915760356464072571487097015836739102651533348153244279413822829005339562878597079423294572960370914874541853497853524725854397311783820614471279501856514871869918916446847145265839896037974329013262102226899369618266624636265986497894483237031052293591906927427546425236663462246609265475610590091728047791777909589480173831279823186033163685562060069324692474975312831938609739136135983570837769307557098608433872675676361650730404382371395534587447896467289135773775557785930877008746783172383733806771336713661620359675693353236437368271349986982697559954947595750906425789156579836602824707017227995244614041358988166033947104537687282972314012376579659352607839100330640009852456778627308720639866285653872685472772831011336459481824762271746617097149636053523520267891649087913943102479447744367421003813094729050633067163955178430410726074900499097403780292924071649354657933130582318988632772144840870121982652518273890548413826741451487695150075075382823344664970127970779362553980377979288004162205447980095051067988435282507133615734272734767740325508641111603796708239182547436581652341467228354510767271787101034230226279329649640058589555166128757905061155415858669242177988754035048706733256720552551560739871796752069605667710989317547593681661186817796357411492351180555181225693314896458518038078424802563264204863461270776192259874630830077378470073167454461287465968012179713388088173487764718851504854897200071798533902776597612259074125738822986688088321167792344610984181090565430254803409384988662883991944194053989021992691342400⋅t9+870529783522167010879393609729180628043079852683269094270431365583194817038334657954960308318503539758331288762345753318955667103157457641862465800139432762052444899015726787284685352866246152377032608309285001457307376094677787032722803325510405454229548685963394541479104158636074497406010456748656791779212867599770896608160653595214101548121421306339801929801186256118974408719489855750342229781629939455402462453399265423061728563527046497431293098384934596944198265253690399083872537071255714942196081384380825673284429740050019273141948252972579859442354766774805529974009686538616030310210327544264671345607749218542927499007195846650741576518847617831051860127222087980326336913531917747864443901900599572798905521499182578316322415265071298744270246955054348228562829604486872474350517704193837588114879497786713643614801305753322640629743169321753106763501244894876424435923601156213670849514407518769959488762190146553648116322674816142813793337273982734453569041994128473183439069711111106256437196753378510399165414228469629168429709538132712794975194829975658652398390702528097496168171660881746376438493214472364868969702992405851529709323157809928989165030285504780329828579893626082246269479248129148766559448819613938973334505493865492352968576949437503098697565946685640918269664943705708885271007897654787742125734509504048417758964953915695375766330797480871003048143128308861840666313871313887557648487852309472072741647432167238857486479115050694832991619863866085119291361126270326334453569994810584909655302185311492343421878932894511600496605176303980000002656950817979823917175249663396478803300265696711749277543906494756260419946420795952824023794764822718215693791848319918210207897568343808887499134916079383070037364950486927714573501228130746928220895836249589856172690910911977765182119263445486890830117604169404795794696115676263676248452096671939949210171597813392033172334178470490366678807219717443563062522885788797916320488839875933112544823024811116711241260364382405513768969906572472187864207403395910296187390327171923469296612633510531351531065253437778042680276874585216207594659926719767139369322681848821168782064610831209821150427958191022386067136629910940398577107351698863833492587681780868916133463815025398968841189486501845311950639018110424192753808184799663315155336154499989408599307651392632642500588219892554506036527333940355541980317697926148088875563190451745049905375540203130942984671502446188473052496662224839516136316354727757333630466102657876195541281818389619873918541221350216871311768333492064135047036174891259009108821330853991514859042732731973654838268021196668541467177664551795469486992102770557238035340719280237948041678180103490655235244421994303973189978200085054872736097003946851673796031598284717098318878894987165393404890478521768386875477287814729986841794355373801007044505061679586941443990230404534529365597127478465959748573021923371621257820840557667672000334884234994823555297747559290897557066887437252965246671569384750197148979011572808777200232587991930971503592369109326010314698193244367403568699547315683027727646125239957499224773200636295725880002661945913147518584352939343448148691758132608110472289078605665887149849960115243210732507980758572899448660477476263196587450055681791952527094546848440880450923438483026346942262366056609122705124355654073587597989212265494156294446293704605286203533782726005603189188551850877971101452343155953976601718105432535145670475212341087286029591531169486316617870523931519327096870808569562430338513610196501059774414763270562198336784333560280591726683731141234086861634785996677370467498965786837386230105170649767988446140620328155117806304578673935224198128601076905831551434574171902764702362772506369711663687299005841880985937240808516300208467816033545834881690425192364684702584238614359536207164957251973578621131602320511878785301164924823675917705100724586607927454047305608936328953830768173556668892536880589078209866451230272580120123297772997226898587540732778298421395617647474360519498377326364483945378577607729726171993058462868601309071442028971981244495837941257538248450677328639807279119285295046100731440330050161406779532011503433200522072075639728013048586134087277304473384999953599380989039234548313554148819344797628636905208069505513345591748980681462920187280622012316598640215874206956393435461057746388671185872194345876067802525047737211149251323605809445765782225187642013902090110290217881503781245741735873166030208988110489688819756564876870961781542938603407175064720383215049675675033222592070001284423212383429029326627063958059315434225635158534928354434112664174415049828642488859903310493007996880894231815876128039255571902278263392310648725767114246975663851235886123264620833184499568170128867648630334594151162199020448825264487273097150672468148086129809513673810136951653635516886572308226268448191350682001585333050903854117991815522424345992370205217768427935345841613833811131279194052672753032571009538813636026548632891591787537144974454729922700301977665621163309615152179304012068608183357916519536728285187126091632089797815562440930885003177419674837916026297254788790932473643655374982198165016952071976971470357398017520252476345983912892641347879205167594774982174847262129311709050739435150288729707415927273818552631286186393376291707469409116412664754569282154316652086193785393955754318734113395949602909424637773435879105032046718662582576812702371967792447765269374947662674944548522602897406248700232127348984265962723601287909684342496704540041572564448180882213372064814022671791168562254305835479467744803116735184064502551074950037216771253522076565808194137056572899624361827342529890026027517668859994510069683061295771698875051066965031017418281632991197156484614180530401207044805802223097041100453793934622492068846132851659618291809184482519284851491867566686094437104310946966184189538628100058451380221991304632860774271756784358832380607066187165931061837624513304304678260594720543028256874647476383429242588253151713684340224692718386052093402965542278929240668656474259917029938717932753945234305433202083211617413080940603371250470573918011183489122228863822184766142074373303085320477608827333738798405058549271877380301804220775136594395527242893822781095351010763408147164077994004433284326477054853203624858323771123374791441106416669059096947556982133802959029246352120000⋅t7-18210454229256226052101224735330639603263035274574042224311384431884114410452890340275022321012816509646369178097622102865063839644917861179203213491568509644942341471113107506165673092428187899029457618019100413077513392802739649042035146531081759810997918432843440712714382437712161036976038756044322585807285091773003395365661508657103212796347707067083254243415220337706335151034790899154401753654692411593508644742011907571873983526283602191010228977562971744537036972090983562640695465222407695441399662300006767290496991488203459431428905080210252638055450931275446044319378317936978489797526500307931184914671369495484650339482039299480158845934733926564199192445948415441105432333469146066185618348583089313797192637371584522457989054067585384066774526197200786282976725986260969644340466592931383748163963324589653978608019083679048985165809043041587744446049853956823493410299840678160748535553788258327044498131433755711861831411081737605479887117357095329988164231267280541417952312199245221961364901433115836524903497208306401278669893437619640527808532651086139287956002856872216972406687904955722618602081736191351528200540534925677404752134098454798214913603214935261025757135722565648088869032744742354903220636330127088952461650993224167240995470395901058494717984116414458629668805788142989935921399987217343570119630094108811765062531049549687440171966862694120844735803204615882053216080776450222182578410798609130030685584343725087795091415954288614367427695499892806072004973861887845522104983465879961865022746782925238516379219005946658763633140638787283423961648201841745974266324657387752138220265620043227130963149048914687344612743775254088199080964994186936328208302097805504915674300380378692316065852889709378635476432472545488568987577252819281704949310231837963117545872377964714177800311161559246559292178585219310404631639225299150771040108611653968999175458879662526968560713685104584771887922375746625881560569094742273196282776886154042404164699239250488666355681579783611877936492519157717790928553050532936199774823774266506601587679157949897503834650298454935261997981820363403205412845663479406038221409377835141142213992677331791821827691616217379173532233110931120472685169569290327675751168952074665960555092395420836867347721909401357370860908019663585985890607424832969934246527056892419773627951891966199477308621580489375333264127380556953976152281496744786183606715501814267484350021540417313608420479575142292640542658653780060436484618484714573690667674546633076516489009403061505856531800322420782006261932870576933636079004663237846928953058738417795094968418806482686433143745830829286090848436639249779609958726511986261368396557312466639224802077147634161478004816751095515191713284718688056481534600446645295745716195890900008338840493323475277380335845157347550708530033150468678452324222521914583457086570611444976199632125712082935107675060844602951272614811644134236348296921463809544688505568228212285754267484811358408956253664834630758871355544529464502540470994617773339625234952355303479064179739159525390368687706820785577491935647343428465948261749044883167518811947569408252447772898160673383570790467136618375186689047828737431218890438791940694724866086998677817104508649343927465522287762499607311305399070166093432483679499788688340669502245338032423628888245691548928727663470111981498635487170565991597813340809727184631563157443349901863812418699091099290328910161947800605702901926506343339643904366851823696222468148746202600482675184722603482416126560179331314876273041800167532210038209088913690800684926634191574679541724692343215805184583996135650002068418304966347660589201292245109000257139721970713183666423612585050384715021801081297644621160957650844372875325430769234902141033217838183333848156809097943330139172134311233990912136896716912269272114048843816685538430898297850234021899673497330143677236196697042414173003826224576395188109521160636177649465396086329490215991959117318789344879332409053824770086811257218518824249524645573995635543837792702000426278946039698689715881427592682092103349351624649050467300603184432073212980397058192317652160478960642534053285648463354623571031362113474633040079145533977197549271482578635555189289242066029624697170711496674762627810183348162504287873456444605263479150341717207911726176104061547987926021193884220764683548443237230403872954923187681544797039335651087083648086422878679929872027305285281791861743621695467937160930972744980816095216426628264323605606500674900548081538452647898977412280136334256466260770960445742653049735289984989867356610895873299370342753353946553787004486865303699695317951044259949808361253851839343397123014332724684226007145072860916519154406221795239305751244281822388952878181692747981762794821470457050028491587728861833970733268063367139294992045620990027970790963230130737704859391359702643085868967486950523916968885281810829537417211767294624835138328809348133489083508128181839044027227610936817206601561629159609789371926302664316803798617969732988365805096703489139586562442361128757933635924608192515172998052074089339421296995341264122250943810545074956589416570964533242847330618300346671619199426317092484206792831925068094209539783595967573702928778931382657010879764261273428735185648104307965014749508781154228171324079959457526988339879879472505814775934810191699226524587430395043776318153719892584328462759745697877342576244779950680532225694486168576026887325438833340929404283480154219177133748898961122978635963011178118126628023109839723878728769445156317455176928155610209686905800672743321287469783221893335623601993415959736043583486577115582976331132117973523987092588291105010940661272529415245773181927020377569448842633480329778499096636294601166373981317506125069423711636462538503682395755676221482302349142634337826968437003831444529165014071957191163161285644672880729536368909285557402969181353130113121389599076084599382407319728170697603496345416674628364135116213186482175998321806304443253411031472744617983153038916203833472053985304619563503974128317248003206577517175225222034135527260244466264887847603305480141194460986948634746766344836225964655637805622367011965696728669480491822021866128768116412699861956711266577588861845884461068145881981582075928710769769855399669510625223346756348914727523823450789859254280019374715187895599524305190446308313775425625060289603356005640000⋅t5+37709494361338408946525326166299763612501612196775968432307067584496689487104259615670069564990017660287171550871671362021243064995097251759323481166413352291469667084436350010872514089558664138651257870154697157734881533391213713044080725411518947942540699545951174726985095124577338400281849434710444077397929000012455550483507037347660460306654504055202458043472055494941076324510558694290052875623391130759331768030843959385615096814249377835615739558909314196492017329889438005905156598388121399287374821830108812940845034694729258554891572870025133273339712962610503407952936268981323234749953984638084264474127334746479551523109242141411511094767989803131338132532327746066540981452746706095048918896185008865799170598809518132823637820242177708358625089906851022076370991448093287766692490483486945036473994813936664508772205916422791504345902532378708324621886274457361315188108369339973990381291721291227268701019190470783051779828668587780406037765274161235955610143368147606078708877006273295764521880824602683018588238831046051623211580599726950502923985888432097396879162797175417792790063018235704833972240557271383741509103000761032539214530798078002123767152097874850544335205563006873935649656727840581176950610668318986973027439896545315163657504063636094923731243620122770527089359971842841432766530456121426616378606321898678063881734692790271384739497173670904120697896231424111983547809649211464387280011551615490117918271875281964541715199670070030344497033047409560798851792970132019674891727878989249183943123431023959808986688412589579569146510935661829858840503391136165105671720640795856214958730535587458193435651166934320075639435633735907587436367832671439430443569909896113275997731433626848032291674190714955993010103977031068732123217343813237743510269503350975619511667001467841013931224784787550147360174735974032251140899192506346355647065998719271552467170307086842025981042792027854184073482912973765116895156397596450713279367686408111937741881449866119323907012906687648783141478906843731281290737578574776569502837233689658853710405499282954003133869510665721424783802369883569710147577686364382784517985247183583576211974315753255270465170273517355033349877729973866853178133920164036611913885350957794232349089374667326956668510468982981513387669640489656407583843317190628646825770803277005080999875822350636350987507569695776027858733234751453522124301582561936413147864347540866845565742222774682497652326694052103636383842831599856621383850352832737358228412006400219329154964159470770364173905592823880244225161927145445480677951062734261086159389309868299744376455734936735429009879800707643962615476761114353471528852625022375389215400221748621972173132440504169630322849362976739756094035976666700905738234741678616195268540845515666209199136794460569262896480871219611351782031862087939629467636976912730061157438610845448854193527276477632132367373142557444430775678351704740800651653268935737767494003442884140603448763822667907845790702872858403441030273200291962026090402634890602005064197864647474778676551953823559899862913795863886745094283574898668709158704714864727651891601965995655959389808247472790132642641274317432119136317273127826368123152197928712458465449074817089235491729922275677869268722642208075224433668761473857708367340142910912453707969184293303725715521847097473616145023681247046085621162598758153814437557951189055104051243386317045558152060904323212430511814391994970279537292164815638691278506317645735771782821777927013198820732322783428828148484837314899479021379274244543444942404636698437741229174459858016616771318136287946629574219742727242211537662167911982850882012240655014030791157669313028180737619313595726455997147206923836669011371055917637706795516925233849226251644094140905490382719771883411071625460564646971348844082569019352580976889583910493324029269529794621863971880217277915228809657388624581330696211044415350092182840618030816934464612575450577343026568422407814787998983295712890613334082535488616246893947096621519708355463289015094667116895768485912005934786253272399867269629907997764104117391268407306803226529627173060168942616100059341659815212551067657827162704714595157042201994836789958648658128420148957671727717622551886422999876706926628018537514090301024005687605127520919552870400364032572361577239315759354774224204155533529716465749912702557082239154689897722460402119042123018137983987446768010659866865098749078484070020208368410864485436085138618738685183891555451698168407872601721067443815685698448099808289053350886257018257131995365088277173214574841467392904539992210751912802843323868085259135535666770353499364806302846687535756113457367881421248854947530253613711647164805340339385585282580899895474999106763947569640270388849642461670281137770991180646317635887373843111478307131351897086714643986793486002065279190409792471536802944870034990429799019479874669318498170678115955227806824102441833636869402435784679942490379145329841005970429911387600915117253917419090013400653111943892598699503551139508889373826368650519651263118647864946353730315779606751911878014925792186336695748481351628759208722728572278855034012732705581644477715681712853524126552759329791253095621235371875125242294290757254257589867221888016751830666921737010800742541191964784827910053222562321041860725563131866702399860822704429937896509204998378295755675543314915475368147189779215594951802016471180369415335907656581281017719418388037731228705646919144339146646536281228931487698822317974902509813015335272379854850731446967205529206396178528390880629881245772220117385045105036847155505702585721905424467774799963921427724384604563616501517732004630135607465133287589998367293707783444546948685128269613729277157336228439421406507082417711434053376609587230546251123637493004769703049943566352634366740568336068648295862981271461092975910694099748249819534337336647162883373367289417916926094441027953161291180881601485922096598439183182755918725898045392882830849637152430806723114585760796838349008675969130305929803124932675454183508854366991042165583769726268062430060176350965265736221317625908297293936963962297697615070746100751250382125001144699667636695298948092891797620491055280126217741201077378619155573779559896230508358059648665108115245403586246910504114314198791035978669783208441210353317181369631766403163270681588686368478577785600460651409669819291134854592776000⋅t3-19000312002059804243822552886657622604542070704520454857944255096582633244391906075537494398120788247104354980229372138788881262340730610081505687377026781489274276268965476900546028832329791404133379614238735749793287223918638272156581354813562996989115162512191298048038099168494301451118782421956318566162148960871673846867887292274350052715173991664855448360332539300833200720415214450359226657303730841320323283268366673810009297169103686058261237774104307785064503397089813873067566643954198955921313661665963860723433290192734584996768409479602843922015445935079899784727304560069435753276181500910691374172312249203656801214239664828364692562533387611904452755868077973946091901801980212119690663561861804905674902601804506720718144272164423601650190776249509657179469840007726527584045609616943317740415817409580564045198107709180397055907283813207274507455872821159161202918055730427952655935392558864914774305334500505243353595475334205014495977851456296858384246506884664291476233861275476082478342876247313632885942399743033094606221447689237364449454215927459386599928122451475063514099696693215524185912065790200378038415144501528497049473533270338921326340115828625848378965395010981951945103798188856989507491894665647529693361808202365592853330554159266018345426850542500029828791680752499142778629187216905827126901798519273141000307590194398339918173029248343340661258371702773717027546201362034847846241905362147885233420462779885434191329849614732099950881265517395287886539868654999064194575836674382135158424754317088150191583555984373512137893382464159958576256750857830255101079134891475767867219330175064082618593686833192711199415942678771771489130221437112110050260297972075612611701482591488816291110690463173938466645261192311892230047291760106275881845961844834038829947499187404699702426954035655259946657462147492508713634317390354963611188821612316561955838529310040969095030158444799000529497912048667150051717477430755425513689992517540437381658803337400780782607213161135497569210670815221718386338803381320440035864636432427907919871753329602926491630462674599606381336739291404873134013706858518957590393972095898330492920034159138360112288150647179078659362937778657401109157739848445374663994005744813264724692031491481607972204774811816036787088110166597749436313154350772410061971904592682846493969014883121820376182743729691302894098689902282756412916671778102981566785003646345396070153485662245233466197751228572602761177721381241190780047444624945010585226823054467545344295081703561784143369430175370512915432857115021074013683322141039615012418097511002466458201569889035501568809109228233693045409946648533957990801886683727175452016988225514289966688703686724853300322884054864679366474854780795076551138932026260943898800535742079596612878142326138375115017640921654083577717707795455823865558664922140647317862185575477965887780971580324354375835914705773737371172018981911558035240451619480213923671180235695274047710992937035406305165393914433569241525813644617180968258264563003710487421165797148097732952505910023822186302537766646361270492468641417059787354802634465007606275147320123084910782676865385830369716697198250447452253545116767170535745555162172891639437263030810180360401363422523844302948258766404301902338869093221952477756239959139555439417328997247116777301625815144358446360423315527769540956950533759349725195175716481921671903066114117195296754647476807490180195851586712860746829894183782288334484576017302324022982353366277183904800245779758396448445991715388147615446485762737716824269460574699664586810251452907448567332723147865276794722152668979281311155408870040948608391991163918710861338595611696467880360355628194146562383573402824659532492815745243233581914044692191200433682979802853308307536272801542568799957006902662223021434368511661170588638595433245977299688050004451635983056028359769432744280734171222083881050244711813517084532167274979434869702449309963270798060459655990961999387370493664856752588194461089276974557865912967003752650956201403196852488475882536721524807101330805048226571867639678370429710123271069483995472980476074717183371239779346897580961408976665613803168225461184371583253299091385339576051740346166802194906772563316177961464169558352780400809772360873439324582576839528448524472014224755140950387792829354799853046093718921752229362126884874139297952184938371226139738397176690416477530897411493602740290508220598573734499356324555264497634564121988214335944139783413202742502179644626797049478682408039239628071609070405821536642117997207168577271039551507038044442479226075709485919662002843589835632950978694956595771101233766593771545350416619108035880720288896434869800607906998089691681057798478234552401602025870583791962727029178630714083374531733802378081755498547520136233839492758635117475328054709990946693552155409605900591823458184729380058335904537378898839204736077203480126868037445292497002319652075826690768683295484869621827272828335972246374910391165822034579879869624311043114771011239319276370741032946658033005430889315082687852290068267200532273587926496173233753305444874084917007072856538054396116745982033313296953042185290218468001482486512560108976780711464077724078601107536303405012180855432813188933170974889042585121892755120974645447268099647454620885755993001300861509423240941777783438552322255546601586921801496801741038812080806639995168371317111471463403555929753687946914361638882213644074017535245710323074153075543425707919997178485187806984877153348868214843613502281851000095623844521802825523517581918005366042235198937142563291433542420102840114481473717761738439798809013411236083204815017094925866876583985400827137563118753900843870432135746167034254426615723010291495548796228626585031248724470521161536354792343730284246463795427530097674023272266752715323416280840514355880402177792341316514971045104023779774572506648054648751821737518445234792289495967967118844081263334956943712686258719451386326480680127345463644204051107506804582710287223176545501594598727523997894183931088668657033063869005604835058960695036260108914967815415409338688332984808170592666561383440064958144984204613782741036979216983064750773921980617475379463665797869698085087116670666251786091318383241394916503334377135050878892369149915035478758701166634356548676113930844968261188372063444534897880362298955040460554123725849416429572863309818724000⋅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.