Rule: Q[6, 15, 20, 38]

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{231}{16}\cdot t^6-\frac{315}{16}\cdot t^4+\frac{105}{16}\cdot t^2-\frac{5}{16}$
• $P_2$:
  $\frac{231}{16}\cdot t^{21}-\frac{5205313449}{70709920}\cdot t^{19}+\frac{14289790791591}{89448048800}\cdot t^{17}-\frac{53308908835107}{277288951280}\cdot t^{15}+\frac{1126298183287221}{8041379587120}\cdot t^{13}-\frac{254450630417893}{4020689793560}\cdot t^{11}+\frac{11958624144649}{685344851175}\cdot t^9-\frac{1164763374231093}{420344842054000}\cdot t^7+\frac{9423837253467}{42034484205400}\cdot t^5-\frac{1187724569941}{168137936821600}\cdot t^3+\frac{6211503831}{168137936821600}\cdot t$
• $P_3$:
  $\frac{231}{16}\cdot t^{41}-\frac{383969610032815600233828733733925984842198805416289284442957743239775579736162967002637455025915467332899917724923820690392940790814678004634066036038034394837231}{2487157826868946645070595722683843438286567474739262808011160995839585905580577739923666197401891476708414441964142802389181528079385205819745504399494932640480}\cdot t^{39}+\frac{142194806169805982845659781678625280462009834292613960218858894012655363873510782145980413487352423569209754670266409922631333995106490207269405714840885674039873850011}{185629024408363832854843911762508655016517963477164879675913000924487494063006419619202826643090170364132511875993798056316563348204914836356705720856304297622224800}\cdot t^{37}-\frac{29632116370547259126051324731706969033371544299915603892515792598226453205552648482818703030294181801856325421922669219465955767242203905465451498117778871861723439328121}{12659899464650413400700354782203090272126525109142644793897266663050047095097037818029632777058749618833837309942777027440789620347575191839527330162399953097835731360}\cdot t^{35}+\frac{77812253566552435412670850423108862849712108091931184078689817638992382999367045370167634469713824262422743312316016312113601005735130906680604631434996559591241192932618319}{15786894632419065510673342413407253569341776811100878057989891528823408727586006159082952072992260774685795125498642953218664656573426264223890580712512741513001157005920}\cdot t^{33}-\frac{2974576305461752330742231648278276668206703392352877840632117867005919314235058241745374320660983752353980674774265146412178471966588767498937811818833350946804145825835239}{392169158416329851480785990185063910020646675540032383047317601403118504332210512408508851707524448419784551214818297463677187557585113329028994341167071274371593223720}\cdot t^{31}+\frac{72013072228139395149107244087292374431334286375292964602646191199017576614350887841452885892735700267354144642243581856547667214384991462658148138809810383428741031062537807}{8159648618662346909842160118366652321397325991074867324694188803387465654654057435596393850043653846153581791405090382711993095956206390233022624195250353934505729977400}\cdot t^{29}-\frac{11026628185977571565739015652581856301952997896044738742050216018021147140382356641137332717122858063360246056115411264411596435187800847085591723967040539916777175797510042889}{1391360773078803636867913165011141232045164725029835135193543573543138540078079793759454054774685112732050412362005929052096753775980710334561961263638379317452787404767000}\cdot t^{27}+\frac{1365910016404968165090510195042445883751022985055875768031119112964053192072155925759961256665609665192406313949212476011500811717374223926856081528030444668959499865299090889}{245807069910588642513331325818634950994645768088604207217526031325954475413794096897503549676861036582662239517287714132537093167089925492439279823242780346083325774842170}\cdot t^{25}-\frac{6014821240215445899137661148184942226757646709025616880541101432411012114608950813462277565269884241963440284160172226783318016104171227336895462374929950960821627387337828063}{1966456559284709140106650606549079607957166144708833657740208250607635803310352775180028397414888292661297916138301713060296745336719403939514238585942242768666606198737360}\cdot t^{23}+\frac{1598889479667057596433358793549351706751845093111433509510079309725960738786296075638093258526517807008158480223233251302268268310220432132066675350739874521236864264210745700797}{1209541780182642617612555918732601270163914323878081293741335918319401030844850465672689640792540203316494853026458884115826872012111713370969910142405430802101151212762497040}\cdot t^{21}-\frac{77145210652301202627947886095039420609881953288321112449706220419601185524960113470071247164747002679591569957091262632681799333295893952238072295973548365003347021374466944617}{172791682883234659658936559818943038594844903411154470534476559759914432977835780810384234398934314759499264718065554873689553144587387624424272877486490114585878744680356720}\cdot t^{19}+\frac{100840121722945751674765647633997074151954123172362290032580573308372846489064269846223272551611232586765702226495984671344839661610735256345392604685751843360619800376564237153}{863958414416173298294682799094715192974224517055772352672382798799572164889178904051921171994671573797496323590327774368447765722936938122121364387432450572929393723401783600}\cdot t^{17}-\frac{2009752357928384281716851348839809298939255005802832371303757714602906748864995630727922052661061852261960843565221075057606472707593220001428748505978187120593625079588710141}{86395841441617329829468279909471519297422451705577235267238279879957216488917890405192117199467157379749632359032777436844776572293693812212136438743245057292939372340178360}\cdot t^{15}+\frac{3284946421684785710503493845857741841810028406441333897477170842879445902760693616644434652245622397718620182979399195697885913463450334189619228031394563794082264309838040397}{950354255857790628124151079004186712271646968761349587939621078679529381378096794457113289194138731177245955949360551805292542295230631934333500826175695630222333095741961960}\cdot t^{13}-\frac{352516640365459242285387499943816460385050899508601444793787436270210552786040890053986920042953728900820363076187883117061659406388700457161255830047101704334315941666457247}{950354255857790628124151079004186712271646968761349587939621078679529381378096794457113289194138731177245955949360551805292542295230631934333500826175695630222333095741961960}\cdot t^{11}+\frac{2674133395273241656684998806087953849323072420464215255691205967999643516767586378190099902758391209689029640839368396939568123187056169680173714312072048413963830063227931}{97391675806914080898673333716131530844367127377196156119432242773769953132961985547671113933944795591717767386546040019715929954221982115584590167310567155493858928819837424}\cdot t^9-\frac{14234103084947679149384614301317658757528334370284005169583480067998925168460348527570629824348452376670896494017130604422859302672931822666734131092086019388861312165612784231}{10873780603841957132336877709406085418773589771663950830734609905691415267295205686397479870724936427815288728707865368201283579388884303205019492180224822910889349402734848389600}\cdot t^7+\frac{385905821820302191089874623113122480044299333539300478800937767359780179536647885613210356222287271264357211908391749797219931330088021665868742415597368820705753383650431}{10713084338760548898854066708774468392880384011491577173137546705114694844625818410243822532733927515088954412520064402168752294964418032714304918404162387104324482170182116640}\cdot t^5-\frac{145909065150855213382158499402457107591100529231668199640261557042998571955968995476904163663357170043599602621317469587187853510782086125545113528213545500602454333357953}{310679445824055918066767934554459583393531136333255738020988854448326150494148733897070853449283897937579677963081867662893816553968122948714842633720709226025409982935281382560}\cdot t^3+\frac{13133889091333247124303234117999487350226135970213856986583933604018249344425373962406153274371117117610380228480101646082935107555161253287604289726809866270336508710839}{7145627253953286115535662494752570418051216135664881974482743652311501461365420879632629629333529652564332593150882956246557780741266827820441380575576312198584429607511471798880}\cdot t$
• $P_4$:
  $23116⋅t79-6638418582151474459358016601674255407047244368798221721941994950600117228256738810627550490187011768645284397194684649191187577331052685771938649086780870111405957484550811359407475100503192126819853909231115130431720607763509339939382794981120513197787863075427113633050496053792775609360373430535829704086145839775858000511545635232558327747805560058004670088695628690398766761486508432006675719370092866820160801794160606442876996611542605936038183806040860780432227239521721773477224303072177784811237309468841497231305374019855351430272691367965247347693664976992528475019635458902509780397922324383636633937333142996249173897309456444233111403002325840655094367951200459736143557533469533115914729652792069752420248631495771503870872043338771815938883184700973628491626907788718177767847670150793363953203620767767136844037507832891662390305850309477750622621239245481658336104635883947476143496062200047213593376897731490773655496343587504009922309181914666975341180401790319287247577288202119624218728170644494842186779950338588531577669287177290865350839467813595192034766359928920864280881213952813998999965769073656588947849413413041451460652574917497258620726819726031871912353340836966250552377872448249015950037642440136531151397436318558990281878072998585745407646835714461418459436535965792233843980300607564903715651884354249361173690970408380354874807116329107733244611264382888013806675573114520054491907250254216830844028846972751910876186115847360930972547862359124426587955729560177511164728460669787882837883950332269049016159034521675456837628419584101386951112080104799207986287222236995860083977336364947875816519033431080088716426213760350876945107966094268640188797461163189312667321852110336202740426661174586810337582070088118726027728145579469401702020672960592575841415128984469144044781319582255982586064015092434781596011626332765849658180472840656442650739257004662942872435670135191502581148862544384844571756645557542642182317080834300944761928647463753005488239060359453612165678260961524844103290522405358573246081286538658387987111065596224934159813603721607470895908810822722995283686061942597752974568972537084795243307703145355998065864759167791063904132141879930092968614164119782392844542470296954596061404384065368227855117864748559575699410760341251039805308310990507764082366342615739130250319936427254419184152506914779806112904401922360422884237566301798695627531171848549123124050981886136156428595126919803998381105126882300091722431725198659823744368432806601934731108565404908962954803276086524469512428777665414847080467162291015926001627073365970543114237469880058696368288186954643955033992291547787322420011357349869702234695982042136284814519250341230114723792585639019396419245968584011023531658960821639930098475244373612862883232046758583088273500058316651678101069793270090348299164140735317427999367678199422245244176023046286695441848220462772247524336301003023415682694308694156936875208159826363256940307909322436320526512240441601675718572658141173152061442173801052333447515104319073042122282630792415260338144001214467021570631889538338784166947218047025531699963685593052843608439943690928437879943056093493287096905946034301284611198768788532045807903847769806790206427659646788225815054693268623289949020439689816363444551119721372991923622436094950581567081354533811216628784643002550665015271414034068742036198292359261717888513851897495134909526198482813266424764655108686849473912413698914832878280807574664749960975256888578108674893330339902994505854710153284510588654660985112310224502850477198119323322619063630092830828990667205855012223346257840763242523692750925237605351158867009939080968585311682662208756623403543779777643420862164410121547181914992653806926688195565785956288971072233683359622440252477200170821088996801398037880457045910380001456363058480433210744754399970612822288597117816431369671716440414992354506461133921227536952164970952568703442772229525543305467198006602368681207222635548959966816071102941933627198953771116606232301844772906842059674197336018244935527682662545550849120426595826961246467092638172786770278880631466654961819241203185314032068921957808117940274184639034848571432502243960508098138725761265800708115362108247283560499080338098513107662986598849789734687197084551801146130494488516832389467785853108364985178612800176230390662370937249554936680104827111772543933354241414883044779934083222644052106353631204081573544529398873644392302883914796673498700629380141182348669432074126238570535533582884569133730728783094508264443773385038856136538276184168947144698834139967051808747775434539506182420231602755083654920548039076868820310786984701623238847655640932587049741001472059766999190971890495891492616994969747785492961852046974771672231726365627486991890437399097044195759988339599126182277817340915705145206176865892845614702486222938577893314354897329284348060491391583909184930888757836279466826264825270066051806026579194438512549170030971426970909340246277550244642931004383533003727343729247215522818034524743627467224494375828019616987116716362439255376047534559780211374925094836482603060670126198893778370063809009110966197598592909012676454942257048479109908735255742398394108974361595932561096509592554137761485847295743254822933738542145449812495098114819649604974721317091951152723456705186995047215243346657824075707998734083658846289454196201391853668234637758543477335241718143708894344727737473173813108379683511693261132965681888190462340810532467757077665698792921954119481907143405883774902013089834002265656806726538710450381568786462397283046690977830407997086849306585342101518462118064017501090032188237377301838533430984532552668501312589231926103796665414376189824967484811898644427231938555090287615609681305646630702484793702191712972667284818896934392334301855383420517333165487236026861407160714852049444783415220086183866078939820852706327654913398588348897093110060325170744529549109816218419737200756797434642362202497281718035413772914569402695118886594532127374535795696734414369892678991914703088334616595657881704634012218474490794009058420302030770971372186070810066271481091383132523744670602137130841993887747080210367629143520989225302318862639774297960155100510055495658742671441924993635249430157553814192584448621343516687068964926556751337232006257740611203428911804142665397550757258403832876121134967344921212232453429500023272648296619721482742639166900000757217878621184514152039523937666907020660579734611888674769904862383592310997177481138597814623110609863785885644232003904049689321910167275163638461664413367366932550155645958552233087326550236577965889440934700122462110817160817785541125650162412534880716859479777272331032141189494890843858072248997373861240365115658675911885346636266883914934727457068685945416317906440180262648169442865776740357496582368992453617206473497703452402428494948133291031287755449655964228479419208587836080950243787064886953365062280376876698036664820479268184219767779804525473711360429405678062058183686325233130361948788739633577293272568744803079700088898490784909750855389084880⋅t77+65865924308341816048797182572053673871505212003191409836825065516677556911671950860074642472309239566169554693806880065104600444452355774354201981177037608035581669899502280182040530011682977056679061082970403318984499196685924024316413179356709528418283547021596887204019433526012966249213898057736008113157054925001015846556189777755326659013191328232252396419236931697954439267542509295193761062848092523240105132022300394718203983604318612152662572728695878330802065254446123264628899225023115362329743461997444074158322530714174806887553967605771248892420085194487098605270957494024439480891845005325429368871557623560052502082534457011065016450550849863091094910657828265292038340504154269150794438382728099138871357900207985593004942350109991965623952070849900894585234861298124622681843011675672692374232435095739095575859939552487840244960823477847854407866342065094434507988473418018515606265022406374547520005191655038620343530230435770041155578137611630296962962018392177741893236776803003764995388537725355838992989597203436399550647999310815089176127519881597138349712440592326659284279681177049789667061206543817023462622801983152861623244907076484252557683011650400443843284922661558039394466448258659223323465625914748384389952389685769703038809987795657235011964328303403101442855639409893365843312612341017319157267936621033894370116654187857121771529495585677907995433801837138855477870371733388245991266614674736332878092879654112824550576052685765117058147360431037727728400169298916507483340765755338259617233088690693888205966043148639545665380146164574320262223404763159067160640126735752643369693907772501569253202187549836985798924796089946107529256620258975415342954782028436287648065965559629768581190844179504686884922624846248504933949025278943642139364300538385104532740714064418710456964409395044724458751906770852543717645088715392856913380629342307508242819473757329386599950866798048190215653629041985300191107335321449745637813981883522893925953786282539929237117509057054238853381739853181757136402307687260960714332173950686958446196670459078669561517744724067007857740913442165913392229649283195522309477773013886730273156323987332413127934924247679821067864434719800415752659480641461372576123621412286706398730149982089014199335498748872098333362671386046777791878874789394796229347960896806221682542487784014496086603347627185000245415489527918731240851700340029233153580579248159330130003510764260516560529088886709953050688875936334759171292358948624675875842127749583558764739403162908815705812467312224889301665061588903547961259920120847656767926570571536967358256062066354876335416034286414571055140356816739923188122374499980784923520887079958562336290923222844490108408857742201124405540136998107825873736395684229966221708469905789705063143159490251221331259418266188745134082920449881919050467686017329522790885979551935956001276440927655438381861969135146474322264469897544153239498941634296883459693525575884568043926697315128762897138429142340654576931613953520817810237126093665212467127137841293011737625983909570867640345754868473253688507749283421641598872964223266321939598865073289544652016336715006310556737320811735539163614522018902161114784146356791606027256667332735068836158853317246347060411305166914539438971728477831260916579867933539098995151274166457076322357264764300773707275408300015707501849586438382138493690832516181559553524309251161948139588501320916479208881946450236663317126907066006104547530259116593563280689972895930777370207302776006759393193909687022989805692854022583613508692393929342514086657123830005814127234019988507149138916884401016926695392577442186313644732296128849027874473457977129526624014554398009444359952935211432121685605444164970520736178518737161550317341512005424458210373018734560622779334639929658336772503765204064274644953200499198330499978736150183749994606844056074117146712176368644327758867698098592339765922246986288378375916212296579269923488270829195609383624907948070074336535865970980139708607900766637059511795985288956724195346025549506613143123952232234999740187006512973046593192006287515912137450560159287126929325369503058562969001133413085614041616887324246298590099136476721158952314448174123241440214742029744038667376415942539493586595813388074288534714758925282893402966290752869484249192900356325995089185377322165699259880567630095182786254099475994576856443327504747812469630269168318635880103555187101248752130102466504929793193629892963895387778117603774540142056446915528421484642885649344291017741061023337566016811374740013910093208534885288417429887659055087591496129945618679939808327389313853783457064850782634072008615035217543686324398907250589485108317774460806814349335936977426438908962781401780601421269976971189913477370457570882394834093866413926188969689843994055790795515517185817009193269658885367036436198009600581895702613404246661404330849984070516097456250850521048427595812381208803332773349291676817520148260848334844945826251394243204497571256362179473916859130898661919614114542168579694055309775876990450311112381108205276463704849366717706179316688111918318733248347130285138849366839175005371852606758824137822598492310813612812567719586227001501845920498443925139784717716559332267229100924820749266841420150704984384913554475568079554356758049154188143031111258074538152324914504610015344262096776668221279236684936547562052221439052587391783572362353587862510834490057675923865649990064732587584018953053781325346044079682695221157099975555709891141088797924691954603376226874194513834746294789318379306854471168948030581346916466890258621114921214091801976019040190306455556993553802833124955476605092537956947029799357330670857854359437411257589244301486536108822610247210548192157658511411677427647196240586004463345951661592439381862275376589332046544195051673870303439880156632445828246898797840307211949963619146701521309217226435281380673238657623516557474371212635688292841503396873209776983035381725265976605452048221312078319057016775492872247165350434046657554493283988589032561043516300660613861630206457921400598236091324738412825784464588066276852555669073383070920668051926589697251610045580581768093285496565854254556940607642950504049809082459351897847108746564469999796318759886117110259139623495828557556706993842504566240470521267223830580978050967353196660359357302460375858741051462647788406191933810667651294867271841191834145870802403268082210674601692438330653654253466002671531031662414593202581540884153456393276317477125127838030612954675555077765792125337977929540094936908382545042315985905334240966044515358393916155069952375842123504305815495776739186055561056095097199653405866370224898798701818121064776852176180785586402690280000674157175624834467611370087938846253360381474586556609961983681173580100533977943863378374409063585727218497300137578221120090223793654099328295673233109047101002782338797252324042944752007433523208355921477699500543040709539520949361040667022698006592720911992021601040723448174213531502346450587533216897430622327720487240315836152541178700168238158116829617491128515467817696833035661019200⋅t75-207592581007660514653028092152969874967028369747763873246659117679998345634901832039061926308826261990242802872243526904428810625513371455689392249281953398920209318955401696924017096640430645118794400027117366131112325258409794581515325377148102451773511171068864122808850193219225499672025023464285830610254966610810673543765698432825695868086389401434832415365275803113652030406477100995362095143049347298270800301967572879055816453442878963493412482093645420937229062920828135118760815462510380894316053612061605305313733946342496631669664746428239388433131664998153033496121997787922333871662956364133579371871947738470191112033415010452974533652310029143090370951341915656753457446058433580985521363365096747290321998880496147444092001929016866004669333470804424930476471041795956131939076478226200147665871664024534788846515416176120716106602879265498127449583378753561332633000444066233936564566713465234134592439049810785407593924722666865245797424561833576961491391160509414589840256454957074026992540591766246312711079340895633152582203366681774731317521620927684188290416161333740970426061609304144593285086826550174963492546423501695640862337953721153680140119032060747051041438101141771609487064063622432839272833436532080755625825132383863241836344216535367436275854803875256789204326439870435555113430217300519368098308195801690671774615938239381389667851922958113660084190621842157089310679888273501959966846530943021344201329069986107019903790927541557670020354460022397230903296566745148707396584528566403464852397161529608981130023024865819057912427098218598318753589064588113731140695898909443866311198187920640130924211706613163083374034846356535306897920542037949451586590859617604355195719860912069939677675358121786978953153403074295447503375231485339081490978724478071434376422989528685250870836828752609543376799206000430589359985369928737220423639478288995051727492673544450302993721662174756829417979194193381417418839522389478169004697082527351567072945579644543676029015431690172960288798259667746529806572788570225411940504143381291837484061226683176068924234695266281395220491643051664023419549415544768002438512967053168848197066746143194540359134874679480272731952901090872361307915405615936737950962266134933316722387697128996904874069239419335727870309505794611435816780615787836211971509789242919827454641452159612426952886668516129119069284588677353023523609089975271934154329428517941017949172501853472295219636388141923331640583075681858960597549160722854415123032720236666145966480582684469278433703728884956054417960226656481046211848090407133437150172269590569756266198354219731937872211541005479406985832002956544364445938983253222206986994048766127942381491001612994766796028014084369503426429506434921501527768250339569545512348257545019471922597397417493282940382147229490120763846625058176911704340116935345747713295994230305216811751841612384448755334368361196821568895447406182105498985863573265968860705061391818764969413055888143369046436298163706759535820634437196638519531548397954334430386615171388139172250102764884377246892495182059818256782876500978930602879357455892623195992714242825972576590702653373564998879780131209037461999680734002478358263804115844725139742516573973983830013304434475803720318313960148398916904445525225325484005871633325418111430799805037946337931065146909801636460793572716464709541811411607868120154310131125068923362549577206808462170041224991939364870597240449224790300616220538748000642847641907688665566818622977161709218711269218775145300071701932878589218811867165035951241451229937058067937348786033888187143529446562895279703598457421658469818047495821063536315632927556439194547827810083103093992042037661579972260294219366694852598819127733450787673695558166653946911708273094733608642937380411984326367414689072126995878065167794776115931919755664474790255409075201000405847229140293502719413523470560172958420432653477774115042670425908302001119455725445654520106156980531485258885056247706173122325463153646130369645223843203211010855573796015191592712256912033321844323253270018196149933181678959525205391672901043691341898565099128237478159569259507484741425126942317419039544874980256869101647630533678099952238793768419913211498877262061761693892933539140184990751630619697102220801442184075572343086620001087737597820988667059070794250287735258066811861079705499872769044036389534779987066791076516539299438563508824837626618240403893660965575544389844557792796281735208874370413030056075016591403918147586614088867569924169682447543821550725496885751010569371426079968288059663130914517678148884929202174938335926994588275123723899076371172681065269429849289439508693834811535174174574492861729050784043976919697639488794015639606387504743397492194210613635078145813646877887717484268561852727037571194254116781639357156314658982947824203256796877731306866613572052522962494784030744488051907741899149189290443756186975034120807325846468250917623406243415770793384972470251821070633639266324978652065509618718155579177771878908529979875675378425084680443354584907640291174578416566318906345852808636444962768132573553981009976780799617030070435365519073093247953283170273369575836056167745900088959184214467318275051394220530232150993703629076670041852612481572419989339235561535510718319928094197459573719438774111089538904134765149048313812408081836283472685001271420940704362408799829447443316146844666234618584514277348081733138738565684990867880895524543965000030906951410794121553632177266091287111441175589804527662005762067823091948668577829354590386361557401464413644500707659498547209762915764472632283455234658740559222342041048693035101449127584052125066987076867933865323448480303202209360429356906515818008922409278416821875410187379845480738936348884260392169846673466481460738348552889350654094481556423326499572348656592032652027673573801331170018362407437307572641821064662941440898483075965886425402589426180122132612486546359840822005222871897819830698186928985020505116988157577518242987032134224617333632643668264740630529492430682555662530848178072452402623272574471056691084093548603485546036986292771279460367952062264957148027265163744055950531818087430265847600522294159877901232457410823634017244992082755729901884418249633362020676995890008128205694828863490777767874583109712679254007946532478183691029839000276358848361532476075506198252480136096408743917140352754764601607811421932601904528386735053490985659026863015934363457984073079228069907304286931667660198521135136028217884614167346437781453100175517487323572875310714119579709385209394774874158465203257428594577470733236949377472998644327266552213179983534547417052455660165071923262509984585013672138362102119853952598730322813344731527456879697312644689953872918981313967502409807724803250478022201562488820826851676961478500785348059295317692138086216017354592272487912544978792229562355885212159239202824811660317364623868388032479330501049630669264725666502142484809889719733631808297173830865357180911372029288379959600125065543739858899289449255602054047131081201526211589851381102945956210608677142067820285590827564841680704448⋅t73+248509937038593912060114549543224570113935813021710831832619447164993704518534725647176584170637471454103683057512364422471692489629768669140767276810813180217446137463038917981762952728637388071430749103850336743708021184023271319579263076855296930643173554687796288511214944172912574091050490252436332220522378021244598298601169102249583675819889256251696017225352335947036121166810066643628952492101098422330270271270827516071601607029352699212616624772416837109916343176501584912646806268843562678172910251986044866121115826788952095309018957042843692749991874872471856533302995509621220806639531227515598968832615378832221859065455034886696102061214833005902282578073809691439333345987760446027064055253354476352378006966072504866920324277575280385376389881995370199275098094501762384175558834889441907382731683961002400235305158992795117275415444945838054625882518588407245148645932202645903558933948246755358078971016197516775423535644638122869522398624733062228515130938165222186505476463914031727193120586779305054999393796328501425062482193652994062271815421783832342989576266345853807521994843588303327464525818631814281682650537899667071529671109776900564273104178294139244441421805526890344707313350596350180366934626376471667458379477538194860602419094963885459736501803007269890956068592333651116632052270861082441342545605152716750171915437851112239016615065808511851474251568464604881440242195125722118702411545996674303451235826447379347469063953218992443524560024652221772615013982992575644168413660113118136799831373540304630508267246324222322219183414175790576854707863858711802972799374545944892307192783247108375390572171486405841565972486951860233246973989378615082795300203275319891664153422760672099716597236873150732079689596211908748341516711626094712585988997474882456500364432651214086640522525663016662202110251991827229549936257287215587702564770938545310915919397565950620829843502394280786727348360188522895539167592142837969401477670416537272654480081895431480190522302406376253248939566171092133036528693475928336647284692148578973900222505441909482154504859845404641507923702632452469304788799620378805518305509709343521671817706307796590905364036848233731922185781684700883731515027759056579190614183845025691537605170441410167559318289490751983592086017220598201071119397280313373216924284760754586501755569903080601926507031555397446456457354560702981016507947813933287855545513625852735278667262418766118313514142122403509139495967201161525962540818116065767035584452480502178454915673135916274688954374954601669886757166766004060435620982900876505032186462563477566685144151584634224585752878439523981992522406592563676690577838204550877386568061743896072362850563979627920762543125514556479301703265376435854273418070017959960696233193775050073275835084462790574253098205443842563105819150505920278629022116164665884307793811229934029840093934340795463725809362157934853842564853007791180900371085772589195110495248188425805491846470979430777185611196071436943967081116620943593417021838273876875675981768319280246150038371168694960783794051642532650342552271239551835083892025553128740809833129757716498501303848919736702413954002475126566941616104898981267050375099978768592306072861185201518199626429316259863674707230743062634937671334973127916977182855273146591549612518264705375638287317461713632000474391743723477707777104237231672401248009410325951067764115449359363268482521949229364250778272222161938291314947213290968241359240823804690833679775154749018353501981613685606182016299617933579845473733876927445502858182933341989378493866824699657794986260461301389791604138853834887132866589244071497091951860744797019123382633506068991946917566878716608483161056236772831923504146248962687242004980399152909075473889135142372452390820498116820531630003611245063964431737984005219256881893563811165218770619459060340163175902059520565171545840516691055123459788685193190963509961087415383752073825245426755025795051690320060046039775329149773867033475055491233142846686828966834872402976098339803128611134442810990268258067322341580230412319077253533215893987306686988763116250232143758959462282236230561597229502897762387424832879545660441647168578158162969361748734257156948516842154346647630800701836698332778493118853986581788836289986921816135624170195981333834973575712453648318723487611060997104550312842747668659594412998116907605883562441053748176619704345406424012446095498821383812939653754431611655729730803550517510137824022793041859688901754041957402342800388254248686826349720553777275969924598047391438441776531635008694005443555318514337102502438002280455701121284332254394526844615941051977804827476762333504608912703525993356360838611441906583461279629487881002989186720983009022101581873492069629183648469949059260515280062970225013388071287714861450093008128790864168172538727417950141976949188415746728176831108601876921230450629438005196500982247042720823207579276855011867584658182338816075351725023058052261323371307568806679312589688923794381304505101772456498627932716678193393056445931807986517987893363027944743471222027792442818410186344811287430746074805340372226880387671756571394506091255306811541127414512218286502987194176145987842301934545404195678249832372791857795816134569734011321907102304929244234388385759789857918088878872611985141927282901218524801374941827671261953162835612969249172023007389647247550455691635545984756403682062810953327346113565369378460513309727754763180964239968281921940440642986507066322083370173198825227961869446112723882073818695428620721851613299844827817959213362877879378145399360312086049942879510188643901075594570880982341743799380588306463326086055062714224207175181309889958546849401204523096200544720135747177951671274706601362332923509861457797232805126060908971790903059144466370005775126489149128003151450408147179667762576281446309999326367346132050490067051105818145390800008878168031747227761500314056789116690667898059163153054628722969159323492154357485229780019222445634027152278892856045604674780579441872425353701675240459715460347123436007568392852628268813210734388362067577097302350476240995336675626874383573947034565209982366038485069068587511771999083723930812342235584225897762426510967502765139025818475425158539183473569866844350779836988078103760866881295763865471978907563246217397718754656722464013467041452847775351222374366146298091776166623348258373727352281322677172925542323875187210940415582749960453698939828394328908639199443661865299773310164257728578851906567692753934954640695998236311015054247293749141459041252246872071397132078393662217683857350130529271214645844115423393508491518161727556100631835048004909667137138042408206783677316033507466475628056885055396540874233450630055410172355923468042819532988597935439844122898828123594530946947197479155890515010420196303070894828178119812470460360082444063991055519788353430192599186332302663916095994645347040866880472285539323683577676367524525471272998532184953018803186429719328269665140889576578474122203390363761817479291607461342081769495053440397895344620536352942904508578891747742577649915907868986034257357536⋅t71-1487308187711970601093283238765490904756480546821989011443296175972758831658594000496071779403238794145960366878411089145159680140395350203699304846497440256150096385865041233347444787526680245925212184860110093620625778747616618092453566928496274846594464113358534015751329879906327288770565048875113484238279028344453513780443250811406559359980360683977837976432820836803739100722992085535007161809382758634216202737362770096175704814472612379704102058359574425057712719931746331337384000363516625008943253323640121887387646535026345895194425930538319987499415944445106494000671636498285944947102602807854461950239572968821134594007837368789741839640772962775250626701054335028568579958388518970078848497251596162832077508967251045555474927328951689411208882676547126205349962818721642169058619706932405329785633024354991774660971005660899233701028432421947789879831222449091665922012940520182639664947354533786801156850266169557354438188596389157791059525094317915514170873912183378985357520227263886377364249179413669387589360077919202941178894572751955182665470951024456467068776883581697959128092994419349076535785432190798262301489728976355262886371502738853755998772377232619689155066774191619438664864898711767899778498853391831170795810662768964053660311889715394950689011145883793602629595800225703610812426354919123174989291107572390802625549901048390682529947096452657144070391425319113923958342948357326896819877864307543202944139408211751793673614662665259500686026472705582384354620892725873605249004139348464873640123508136724392517859985148010200992107368329081353121778708443716987719685465493443759721765584363263121746406695583759627238333925765327816929124859426625373753066069395152980375297841849214056870465296627762700379414927187805255524058217481623037802644600214644865631072318262494861814145537346433963728263604185011060902130558134938082993343468081216209038518147985338438547077981959546746711449223536084179989411024926338653630688141028162043078337825177628404569684718707140942653698238105135142203725135067006108978174125559283914433106224123186636849173564848518972921681012135241261102588262156310335648440154703396029549000627850341412298512925172765987531883609477996131364452853248535636872240598182892978874077549673321150670965489735672964076218632073694805253794900319915257574110611508855685828238568780644003459944705439481878492689216785156316094950805276788345556235335003949136300696468441051221712417275066473764290828577602942855274894287268947364371573530510820142185332176706058730672640635378264547452569137571785135775383670781630779375488050968384710387664179597266478982566239459796077857023869501106873978972558157983785426592892041198210341627192990959852911375282935366001910647328262308363760817085176890374791516527826491944138149742478186174806130767373107373977815694053587013954759250508760285189660642226066477019441027935741795890838462950531452717707736434327200194925311212562242237031544617163660876118574262196799759094462350014116349616575084203973559575064873942280338343669536281430467628241591654066680017307426425071286058461346949080579355550457986630533031751107048125551013395395672800393863580700401845791175047953605652798248048878632350603398118949479463902524240618887422263737552638006974203715465018436975276526949006627603574589034136055316973092908360406802603097473074695816420093003280034222020181769393068804845885242890649854821736381292218305291951838573050145203193029903755193017743816988957029222533385211035766484504559383224311370881259976369774787805999904773027968773873585308158929798997178307511313039674881541258420221866323861155127663739678060160595506462713936995480319494335784850799048781700249816284488914435761429840590190718550725535367125573072531776821851810193243570359055391369827089102696321475432640919627975408823760264697287049550954586798437849803624312316302800456568730103971122633617855012132151614814427470591228074536008781846601322650836769016077184280835327472310308875830574680309984702147649827233935554997792705554060369209942616820403929642584778697217862790854538797168305598479433589455394317984538369729049004616517218804192162636599326454106665218209500459784362682663395936972767753882374131798191301864913067667155344238450744917794355985521695774183951868193035160101666905250334268766616521789340513916203047325855593417480882179221725757370251337326756594404814183003831408543847149723403024437664797959372499422996933463835546744676762773308915530445001725219939279254071655146981409747404214148027800929418346965339753903681949891287002341304190321591089511130194378387396761396510560557222111297173778045790553613775773202391475251391434917718453624156464067799618791213826162339886761943912960518193232200604550978109358575456085056201733484415554108824018095779646537545776402316147045135822109481011074030985693944709185029188827585318515217490431758336274941508240760714477713557801951278165887879188237900184490334502005390139276116128608598492072766992873833250846956843026522320927974551201651652460261102122739656719515485048651419932306083295517677059304691336172756807702341537800160688723576760786816337984631075762648873397823194456192531868402527205407171538716584022058919683256464588587492479805377183348289803257832300734879362312618783406236585354187529457417630214963959322247254515163382318120309190156870188356361608304910354484065721182974339655345871217567934341806684277294117978229408627419357341578674239862747531468340358704802707836857116764971421362067665666782786724490242134513139745954884265525806152611243254434742270018064738712413918393191807680793247090265833297543490385029025179952058230093434008740906729768314861608666578445358884250771417916278533209757433124313463012119411061978834890663651985661852162927979462648557254748338999918671157160686349289052249983752123610496091949009998058913659398070410900657911658471211693798788613691584915191161498647307574961072458170616406197027419107716980996108916355836821907096248274423199176779888044995024963298370813425845790105019720378621917194658618110120036642421485044289877114333694710908126970579813975003592877286584726132019077036761905183119229858049238968868743200541605655312099149806299611734300411848249703494097477113065082701742608957606045120561187023823320587756342978407570467040489046078246337047136704268183642120410214007827887717237829782367838409055937529038768802879339545929129655897198341508168473415497676354483385715598130714640723468708508896104840450164858510763119484470042551026555378531642794358892403565627513834660575664950339509790134975702381712068415627952002469257577494143345505680706402172943116720227378070557517536527575983748956708717063682269010351674720637884785220050798814331983877977891594740260741287702592024120897355690284625299804217619976571891352397442019652918107000640995190753728106522314524240031212617128444892456542895233358798545124295998947174554887533992194554684110430635709676319392160732312438788409807410980960295608288168779975410176549247575367876511762233437142292267489777429654158419397668963642430120133536171402728679122624421331457652716640160⋅t69+7285304631562643098736821356152721010997893799162487158861317656607863303460531993027207518225672451176680350594724733772312426379498818360019209509361167010756433797713642726023372100345457979449575249580678720687176886658842933284178046130226646345046884308894898651866286814256430024575453871679874208844645833828911343775504508223558067323650016535865587289747355001925567764712395921673839868755024283353183337299045351057065950737575811364117273129828921795452566661958225303265205695567851904143283439634334347570940076410829344807862191473521226945909761994112396547135217201137195833301885173458301475894926890124769362848522104096157605462722343526428969049693247968297730059941989657522735767844476814372531277836454366440493543027355153067132278871875333431421869228191510616459444896783483539249333335380455311586164470727565673338941772900321685757291390880033315167650715718813591654821952857954244006336604707081671506754406705834649832520336477799878835882944889174788891775568517823167303017127212942484380347620288831180146074019536324727377762326220763107348756782663926922843225705878981210841100581237679980551529350093058170544645672654977657893025448896704714981073092606284385450261993608608917307637493089662846053222368247797414317662161488000499058519552177830317557257831064046902894186880817343230620180016171567486840925797113544238364612125226259834974882031112688199051475737053537638217834465357802105188187435615626100692009017160694355830174898186628848370549036966684299104371349629434707773998453960012943747134608398246728194353142384039966519948740132109541529088478789934046745231522141961510661888737411753106685497052251249068180858747045210244599076742796045564824867736401418086603685253027392758646304575661771463712551140482636110790757122974561516103648845351306914766722099555043174624184813485199342337349667624081224574156629254711358766860904185394207506792764210988347927099270205347598224594374499766310116127183819278701649211050576707584407940815724393318991496122382951859755164761454884561963106395422427799845828948184654894305784289641238363477394506137591664934142503925911979628119894901251585542526562354299684714729379312173538614123699474036030004720342742493610562977290232670732433491278450083507273759887217916823205757553544473932407244353298291414448742111202388655023000988250026208370768693664063435448420046022287527729676351545288262987782876596014293767708398352500973560052703375034238325453290451081793986552715510317682526240005139792872832392061336759935030970862759203811320649449639510471676176187835881664229764357599447213554014072660793593305483604913988083098945004532089752117354954017904022867802168007669350846808987605729603790210181605155820819087009826949381023298457520474098436867192053449802819549207778790592917296453599879892795296145981611172880059309895472993579208338872346380306067070544856772851131711368212443520231266094652346929706683818886026572961325207667424490337749675417890002202478203391639362229507572817277680575198009475804658370585023444219778793281565853213711369344449761410190717649211209641506509832977000475753239918470161625768497860046434892105282135142825554555136249425916346840984179442489760630065288542655052344404978489631887800927109874710517919603598544036738784624992846122179034495963370587164636341171468093137662335549106431406807064656749004465174737709319610097763577394657935728385785406640670209128733741532466555883428723855533902374393504394847562497469001786281173346669443640154985712511930055755633830204839442379695538449237764845933731068726863169165915883134787324122866889993854185873414169264410194161430031138846018710382799388845066767623565338681295241818702108527770275673388634432272353377564793946175647247610189820024354352044411596428284164660768472628203029032640406812435380363109885188087169822396743632686428642000240312610109975060020529645783355442455304769529285617582941230746436500498247048532461633819370291569274245657633819864923680317201829350570021999751104073068539790477880387196526349806779624274656229927342474968020105328076491018423565643965096902913902431458569662414151519888544415010407138326767896510708194646872745241831702539553433234940621256615610577367677889101396675529124324445712915931540754376516582658110151975383412013281163014536738648808107027022879497241705740092965367873625962156721362477439507451348407002562301933891646473160172949851460140700573161501260722147776378034491810239596058314230806375455016700593708506045271309662854741059476921860118550468326320568418253215023452154110257550570239024843676428948896178212452445191521969960323525015974728743938419323344517947093542183650202690599624532483941450713671165999893282692123389607928041809465332997788925034130097254423900607708954654964346469480720071555850406453397936904038903892493977658461239910042726081830190373652818488326825673931888471426905318942609567646669607594709620974576792057873783006858608765182499136024478942562718415556960718220365735699047831158964125303945250606224883601345411378498859150535067831474903857076425867862956838237622537370335326127210939765626049732663288845652231246699170610750754841878272341118798291367866267553788922487201755983797645498595081162999210029721799706272703150517996378320638550883021096155022525095873210794310678159940250924785274996933565910692092675442399005202048919560666066954604504788871715594613606740504164968680961096715876363851378622243313375956553443048452052952268036252498058256185398634251820549190906060708393297611592017958104605528205298518360915767495680919134225919837665811740351105664719470752314990536074093808677645032924554276376270752361911359336476218676631749812483627222852973172379966619227804295644328905474029997225717853101866230926409861259880305509050106145435978473101324375626006673547218770891775801071708786193910134288773145015853214639050262280749093429910234180508404394144793280552866189971992038009483976793548109241646943488754923741447448145643824637844459646686105222791130690326385938400932125633408488222465277937029175895397274701542186396443534107407683740198234890176287343285497944010943338326447668293817602473518236408689588079483986857279966969219425259198992958571210858942833605740411873067451499845162569231160479305092713821880559811852321811798311859886835242435992892210784297745025374048117440480946438261770811307348933859150053492736993543743954477019809013728851278198987568721737520327071571452372879062128374771493296929358970875871162822314200820049924230481597542861996440068048674834261691577742643415201072465685498711890651388359402066248180374671320656497960865734844920763544659163445670093161758713296716993413282683512849830980357225287306483673223482277198836190216092141423836814898189454945312979819663908281433035098144285650422574978763818016288620718211706540082272991340236930110863336159279666566712456415269455927015499038694859641923335147960362231324974779629843732361926470332406501259483111838880165247924005099463399908028625235723642468536065552298131826139876715492573724236432351788233747413563195642096667812198079003527641095926922149236800⋅t67-395037927533286635546768664480116798960818211340031389066055824110745625348626640119849719173984012040769703808305327078349412454212085571375391164746707111234141873121656024064035806214198669302326863720979594151946477846351802910778491544874394046064885423230447281796686801128845498377334079656375563189977363941067591764086412158729473394578342653792452708176211631862172206742775836953165276413545012076806038044310472340885160888070159711693084416422270916503245748541691413499201621506534866829612479034893529305391193266781442378885069983747476220032314717028109911003379785201875342530763680421328503763923415509059266859245074247992890608695767406269131371299530289501071454945260908711968763641951079334491912215868165744642363478642776819660290878981059691011736913331848672550046860673581586533102406847261553146308236819901211228095720475112961547236965447344984853765187104277404079502132544712446658381839557337732284163278154520521559619480247151732461858877155737739088223567328142455649749035640081720274848718593512615753801237778482978523621541189692468067082968661562946931348049026612455164952685217684790086645542751805212467996756299638710384783297826654061088555514561391032295185814862261163768361757707083850382727907064577423206554224362717715501541885400605949101960852115669265552511870744419347238679289623355894269187595288548898112062896483408177652295672327537695996283025608570876096437333951711830299441021833826453306276548466370578121547557059229365079142770557472885160719279241450403491281751559571697842804272581298809036047219666046845517607077448182301804933466391836969112827475782008281498909744186659274286927849632933862417046003268903198873754197722200471188898846215951396278477564028242032967467781430475570104663189323274364524353540720897396990830046892595199188218979627849417297359279185982893548725054660550541163218150151808217444412762869025911357786288614678617588758156549534162045661296645376719975566425208277941077512822607129223614144365138262122883249685413481627673407134797835407709850504124211138533048430349187838970834447249851657721814002253287212499639678669095537573986331209429089423922225327250937718465099000761221146633043118526624413197172931211547818497386454723133931379090754779624051542104374829313508698865063886219991927993792194391308536314954740868634568648356987156811556852912697971073737142491820302583997875812722915402830277792919059489373234664266215068580928649422485889146840647413198007143631897819400510049008648341793378616342291737215108580540100808359085356784635463402104161141833358641328517204732959470801337581950589908313750268218330817266723340029970242919815303382591557993601369773045079257665794507913442945468075286998299226370585225132357530898628209614538398082933314925247005973397325657906199503900792755070493488860575795301961466923640860782527995568056724361995802460554657015698594879459193073238050361870727560566209258519439958400033248574866259072432911679444429284379882447801401612564170548193102913330876290683372728117252026036228940961023539074016959071707932764882797987655084674985898528129696479726357842816192581545986002758431263741331212720477868565354387219014883606074690014522340391872221375461827490011997980127539470511479606444848113316965476530863929249482930118565374024437808522702205782250816168205177163148488159081790736001468319429952330675245666889134950064351262036348996817730136776689143219429477014792513329088827001288920584000269974323577697914417863203861914153250978949112318910322244591219223110534999847466707811241429399080141849261917381009692801502326551495629552304771731819519578278801139916805957135737327776958632096253981693662021931176525047486352524964285756478094435180872581601186123989824523839808690269181990612623343802536465384599026906104814578754777751121587232150894184864624562312674488024028385720350295295294420672614049854483286516639208375379852148574049300645255772198328210407496821454208938975118710106630335148082296340279014793984566627467685571402029824013934319534153587878937957816670995411955824459515178807552897194083575147340611342230951404102307267763793160418252415469111673143521099721980823044602236526620541945711034519026007306484801968065469759921764529213509137959720514073536301589605146221300281670219007245509392425270400857179594965727783162010574482913240888691413159334583774788762532068505337033249767427354096606948146092550857546486712814080407096392270471788577625700652801020812314513463487819537853884642637152240029998576395381358459043331065661184698352248648672069300517906848080999960872822344125883507571758474213043356093570450319634469993867137712964933199060269592175824326504236550502598875963880492390070491046341145986009451278504021268912166722571599406280550133902313785894901663239530811886960492793681241336668407811140329847579465261601961793060323668441670665568771906140578318421624171679515604885703353436745587384592647627652149771071379468056240088829761890357265404165517889702449281556383855587983018205837564139136120078368692845617256505107230061320744446882849919408425819856765614753248005033782365319294308991637392669383217144050999801878093252642269444091381816596218346731227730777147412980586324420932451790639957100998666046285575017706450677548019827836346815688723315221319851050436847054001504829043191011441653496118710136058759905582280687977322194587826046135327528904601977453981043665826367511596008766027169785534743382230961851569812344948115634727170151959628688031621970357519636521950103260920697522824527468119716140490970148486742986390004712085109923480078679617154939896592519046994453635929680886626914327958799639493453618493536860299440111200584779894574954738914117842482415233958755511597391045923522346095022274657385051305155620376157968386047523507806075512528590297043084714245802501285241027008173409443571032713647496244213895093531788244759473060506713600752800171519897396869239214433971121543878025497368033909231357951821931996240196335143808060020672343879888591358121027186772744857719943907078524330100018195075659223770779660690097359281966545652166482090257122041479625818780230126729885683501148972713872115502973270473846909074491858402081007875269857985840127472644286727791659946847462507222363353340524271269537312152765726320691441858286169021840412278237571807009264244193142423897524543143231915563599852872164499494086384112039689724503138214648292048078192387243923594319214424845404140803716433121437847861744423902550325106300227424531748394914613079140845893132538869487952524974546066816654062016140865670673669901048417631876481069773864119806778274172834712560801274531080189096508754116841545543487254222279787165523035764862047646262701506406641028306340298683020248256608685733668341721862119158622278920276590945575930249632290348792224860559689287520691619159410945430987534315493457375743418566536860103801886007029695748581814508911770856647822718267405552183134137960248833613240175538257370966816047424085394002777210546913161740188906744783099062501436377022818785769374147970111408264269468619955060381069321430327186740194453326333819471413704186489370560⋅t65+47688610379502498062853022988480079354098987985294738119713042344898635240451559650913500653831099629869742509522744934186315612888459851026225618516952502442052774454843140060929763798988060571453697908045808799618769563428643444871679355973607523919301420276973420182997591071886218574253034021078053067937800028583652888564638227393453562193911284968022255508743228859676565796933305038135910721218707643828295955983811040128798041189444975093791166109884652770568303284030722106124540526494702720070845094129778226158180413776942263645261101350093715640980581700742018009104321302630332446487664405266296801473174564567221512729418950994276225977563299645498482161398314125360745638002935593729762274175183384558247734407886323985827849775269366087391214343005952148883793379375316897161918156565962260173106418489415715299290937292225188500839751020053186756756060345105007559141710144778783905524164817720567540559271049993825384251439167153574237001062291093409137051333211763785037387982484713148182269449371708555439039000576492834025014976657662926412693021253211618882224556727087517158815496490251155820532810537532098299633946347043486402941899121986357051834722725305884072645179631525616042316569775070782825968700356020249749060302688541247890836117703228053946293096279899554072809340685593953296014191740099454821541471663204542218768781500261590506771180668975779169724667171616951337645961311086221287866234596035657252632555495828540928127232315381668099179202944451734751004749057317259985214692427346914788006978141611477838916195750444637901636335129983233345035820594469328421096921332304151671637280641526881913304934011820130915762770336633924767732944149487410185763709453235141137729970724880946542821718866060362597435123873219916827222222469550807387421946986842014619540102610246593670134016923951014079671061568600535593438517875011900206843574863699067008687359410368516330156907931332521528765582153156493651090642965137972190048469887744358560935508442462551024995092648678077608654441776036509327307987109134754051688265740919102329766175520678345872524457677653958979212367760093651684930369078621604268066245798098445045288892771536679247967865642061597431672281790233629533634034023112353330754018994503075752542820205385018418220094379781768397131711948919617123689231861587515396607520749415313875844640611532452727084247091487863607500896584755052712718859970984746401067487519768945226096138660056688044062725896592015212408897216673321768201069657493903565549352346086820136399028091365818602107712888025377002658506126834529347514473156829988702794541463353433938107599697510665639450174624731976059172820289068927592882975152098711312006695148486253576776470861002975366410528610973611164900983137587878478598399230118640116589467706273274123116156422601735453815336840524941556427833717186807499538136703678901907408425242262314301244845174021677467488219581272246594163224108387170265817340194793979809855853569807435099026267470960274405013374825664780819614490469899085115113420572204680816779483480557324914741519488336957099866713360767299608436332226408453899047179340733496356085564505033745372157937980598027921335331466976737079669685274423013994446908427512301868346900992219743298129865970732795457919154261372863679886206312940808839162320704897409364068982175096703435497204069942483538191754437146118083320904289199233271421092764389537907654193739796640949158683491063779024681388373751166314939237832427065580333476945048715531390652660790128426777373462630824620850856180325414162977406501947990829876104895523659356419415691711643936298299701187014233216566297028391692868685514798893655185841760966315038515720557599755629953651651215629182251551786586592446876004160879285785924602201383001214263628545165407147390393381719330257666197581710972240959199856541365864487646046255324225098009281527007214757540645195544433827155627395309811300197175428010537396416379266192538093222903111719958908734432362082321482827339324767571604672753243625972588125363248159508596329983276508292284297592137603603152012406413579388675891340610175468197980014696853864264096117558485738602636086125811625417038824155169706393938279764591043848166781281553278497585684622021623264581499873463728047188599419038700223107967766977081365557542366814813325931079700748593938164559863252446252687904336887095189680875580914613869062815931809576014316974461929149565461997967937284386780238210121257068979635435781068008278211382064501279069963370152919809124142824177618796994698584147196129360838087120920521767181045239461184701452431497934067872283031335647978639275078456205399750824624598787430148968395472848238728312470274101364581318357059733645529831582827541864514799910535133869577416675330639604851007570388884694668615041165842654145240424725321041954447484714607765432768116431544888086599760090606437090904770421397886632691091157075199678219869437623307413203944452311022100944169933757645791280956338050333588790930935800891807065892392540834379701016980703731050805029062619230918982674281133641566629167365029865787076236936230961287672835589416062975590332901717471203726274698215771940152803456531647187279940248532092574410399398694319619533126118974217660556728289124010411098335064071878740037372970041930603612467399268917910672112960093482405787838957123337496885908080574521994943043911233761503353940160806782782903358852799342324426221525651404289737146804804552045984562121177165151835757908410129167192819068183566308542639659826585783785363648957651248602130885805567681786731518540854205608980370540019765885128333464966614880263851697101728983151356516379707412538019893640560057029153774056564638080609115685267779867179260808624779259844599446163525529597239253297033801625551583039444377948778119820871690306604020617195808370218456366713698212449521634776240344539961015037377483465591187701422889964559454898160066104209528451802919946614852073255196512009353138713883581928015226152762016851713186981637081739335048008486064099599009432700545960245119411746325825428681420726588437501314407088534547999194243211067012532960380303507671844172144610719264171604215792702205940373986503812695249809078217365104587269422094547302321034195669341804210497310247262561117394832454358909811587664225503814927526897005856926166218485946616245147572075312383973441567778015476545335594968945954433125162373590642972890421204121897508731611279031451371680746379459093972712760616582596857912304301742953076717425548529194104124223267840968913288788184789034542343614804456530959398663566790601675363582575469756137099096067949222863862660894253131014489566413391986905170418647435909959058294512627506332608081212671448477655448457004395076975830806995661572769585544927834086574776975659333059004682101151941220612748470255975173729911959533667556754581372983173712129495387554438886690859686843393425367823276044085248303686184880323831583809525971941276553969390336151459978800655865194387329738087137486975840631959487500186799768841982977401101140872712204495111150182802709171954999780575597933304030552732888010821861107066766028752135091328609961496469512771180883668833679698833283643620⋅t63-763826583402384718628234251164371731902347085210740761668429423067087075454950348791951721864871742436867499623765521021224510986616546879734029200485205210665062234767971615670095912767680459868741444657634108086172025557828949757872112731133057745397311318260834197739893234915141481584764168688508879801056207001736982468063727591766256554043633071816024751173916105162919496185458492361855341177405506762973904809844204337695152388603348283282276703818291157564542189234599979289541026385959569367272900570608951291713250380841776592764635987564247507713652862090870223348624709404846773103507173034367923067780269516668786213631329002034043539093997807893590645102613615587617415858139183381861588971343182380029725411608646354754245479425980476815228692268829828463780536065855048421247584812900045530522625922884905219683719519672635844591007413020225240526106508140073780359787081993569983933601681985959308954452825639832943887180318088377588511431879813234307925274121232867526043351544523805442420558114494017210158384650612977201343689276551636545581077407768339509072502994759577387118778595002532783317127646625070762448414301362435739060719175935270978085490326691539217218165357699185483774665556691796488888023626553117975875369696419406434195320522356676390502222505234266607668014910571614080448273528972751817101567215937622291205219366372652869202398025947291745547278922498235292991807269584373149629844245438639254768537121430823958201286994659176636179685939233104143545219429822861078708082523756976530286198562725443557260801304474040180778465277115819273195274854313707713013486640934183660654741144744405758413912910970368825628084698358468023200952227650556238931020711854956935544540975638517501809442069074218133477151829665845770172713737539816869354061427579635428809847498990354748389714435818522998531156634534673296894013465615067027154591965609910060146605679486288916718522797307423919945759121116640764417960289957719497391370613575000214037650153816577500479896215153453868835922926656844079132012321517659015544212849789973784887158402926871659400594621232985219837833196978495215797339551819484343012577614383031376636188365788738764576645294829319844770120557198203164250209396253111791327607846557804600767907730844394561074015331079222643343787390275243155942583430631856581529990245947946134368854029471668046474293515863153806936812590995444766246652887711451679115387714535410204799472105565553056614194421908974044034232353735890392169576924122304443727994418493732883816740139818267118824303967783647869835855419951813845001974517449672811140658625330132115132266634757110299158970871880786098995621234564862048074316327719160482626860025821321615216815260242696080933180275056295118312961698002063237312507105868265791990236744509320784795094039044690819361020984017479164047294779280707637030544863689149889940099732398910321753370797339598208132227140997132873450902038296808766496933353752584132720758656944196711765423743247585190413045356435907473755431364979472875580694168817894266647502460383888053753589204719383383996282692998816976041515293964915064511673861725538326479252675718244562150092175850098473515073941555720056847349021686027822411325306189528915111296811111655004684074283489090924908354692326043931837929878866535503216573796080144945865871118855359319054526035338651796063680532544272695438400694252185733863425044909332077600629301951887184937612821308416498717985141204500177035563199059685760984799051036590712061481067744924002933889995090678187741699811759388026155561138209920239628622140573334037289923175283557224608264330467407395449697596353475972215618514991669757894701583852026473704102160753264716195765613479690962780520899804654057962535676322149096221423592729259013172406058925463122416116919542269090240407753299768659416267950984727546097905402490960071480725194778004583465503860270807355571492820820257173599301119099901423084114620193808304477511839397845254350684317673560827734494554507687824339247643996515370007717690543728478886839045213342783850239850241024388326923339844279434295068162844389984432157163016268741842920384893572821570515732289977001232854496177133271268641040920741817528600233646009062732789003791256862732360458112004920347014789456088092484174886531191128065288516826913807058994336994223649581624153942902842057133060613117786961687207466934343990047714471026729576751096971751107574193340290556516823373088594086745415221242783519509296283807687096905178695685627539150959973663510252820992800674259825512479348498425081466642824479799227975903886577726362935778011575149579926127933955807087086508020954900029434731077152634188247693631589377788158175250215776726435794145579398621798721433682594483755205060591431709124920738102446378360949166926898703804827981610314933030410081667661506171575296274084131580961249335390743106716938532557234806618811171649470066531307718324385387343902093645909986902298430100743230495778899778602184699312947356456824557815247556839819188909474345182153717440351158486352372655675809639901850141235777268803460018047817330359578870746092106099639077351039602403605092296436069203475694091495804572164596000025451315163790107465304077790018753314795106775274626552905684629912783928732399256532245055815865909228107260549812382045275264730515351335160159459635176332402261195547567326476591012161956308647225889071457542586672073665368604835793717501719379124096754178396926222439444666170182873313713274876312628680817569514443690697370874120203314249765248463758538749186438062650970969640640471644544840813110063070673664461338107002587183993558804811382627395430589596778087034679012806659411548802515579936570313946263981553218562294790043959021464357005993397808217025427243604877168620894976382790453468491640726093866259151786565117277875715997306524572403649234638028114691348186111365434264330537780121860169939057671281731101846231623442902879145117588857809729580454553393095947569403599873222411849788733398574678887357706962218545785868861515672909395301527060555640084862408676557955709299990485256994162743906114804609578388159785305445145332528889986611794327108632125161898655810189842569918055205142587312297723443122841505614033199761325325571991532027369437902446987450523185848600887273477093182542436969365788649894366200370327204052439868139679819925015669787664652902710593543720750144636312405834397380563658156426905438943065176791774782015305590780615746094888130758618771561878438615127232519050608715220094548678030610679855420869332774433549903170151659948659863470619731220028937580108155360890534352198961993104034229711317408045715657141516146484244489084481214367077586022153876915638778438144153143723195534570094811142549478911701954484887643019618512747123331598464381167552682152648514948310903755630303324068987973041943816997764845072144944962052113332397305360306546376633207992225831879537755748113039588715773269016003743366040997045720427936575101402395015846194279312542328789755195852553691732600305476436364684165152299487466579639815945639729134642148038702847314956757080185440026739074937637353009225942509980696003022301196199044427412155538482708⋅t61+237084595380365412736247472720315467897351828336058070702008733557642068467562397313629460965712385946924525484026849861938411889987499565517881886442960805113277984720040234987824631169452543092241088060465984616183000735005250598619853403463451007271229341824702453756178860873875276980610699937455312467851707672196437111801281609837482973559821529392096015548893591700185305323502412785556626571006607962642457626631128982269694692819982817343923349640037363391131898888817516795667740311740216733658337629431897442096136987910271963426614076378902263505994216091047939129896515218372802564389065199227033771712256319790997365729101328191649402725707533577009801712539864251936598401418571432848574288478933372088964101253004647198873876400709090740681414193604552959252066677788303840666360612565007231556434717346917281391904425242133006824881674327406397482959706080120300119393258237405620441038221997025186490922772696823264312527572101719969270638573678861687473098476485511899877686634322071664483746995669399127999807752643723890500630338023562319406397729924389698221482006942967307915722932989793748729284255584987629345340401943129004062468128432201202456590866382023988561342787423439343222546330726573907201361048533791708014921640997175640423430441630932349722422482202182246959999872402959816857476528194014699990331877151392319090499847871504028215663632171687913120243565338760207759703513480590356480360847186592477438910232172707005678379608703623527697537782823373291192698698752586411578166317480057924551027466252802518426827025916306660602236859210547237256775613180035723311750884229598811999489782765628184068074743154973421748333979611986433450379293407727378012340025414637646685646050519157418802283132988449528320433724534635432802095349958215443718822685059771927201444199304231825385833697889853001453810740237268122520424713580768429719950493646240788640900179159425953355129122888203921593290208339886028521601824263533786905418529763327227239168775397469722989654830707765825076516267112796201661019729300006281422752267399645564245615785360053275071168521478188525093401530093974776333707862087943691545497537938302393830875763672793259117545204839244536431686534586607702539601447372337673789986418249495187767180416615093378357309121130143344059225963047049104570769290659837978925670170633204830665862379181681261993846951703901758142836231419689415615324481263142478592467893845510185367495148782163735053488452223920380126975394536130959391214343902181326004274127909935577331192700119650588248374867398206586396740767097910718823850771645672457112488704914778365730403430749406110939254127291891503580527576750559800719144144268825878758553087548137535397981030754175457335101651840033184691980734471771066123604793188359791511650084066527037896384105469616520732125008088250148235271168476291661628618549756760989720621537383044988013020989474310089906588244066298118802285097212055958714819045647196076210921909980031207950900238637024946832627674833248605284159675529622448362884188320972027113412904071929654480031792825560539211050027147993165526420999221126005947586120904794370754790806285642288344361229959986998970855854666227292840145643485155522383944769509366534892895335702851529202894256663741774273658419746568565145828606422876322412268348440728000762150904863664097810391510446151214911692726825156555911022478159256245641488845610852709545888300893775497382863372858507790451986047942892882980646367901420912461412931149115729548986854063958860230738260893577829163570025656647036480250264784867343624968860750409591517611148074065141777141857566365774446595781757205922335375302221527192052565469415256974784464740874210125304819707370711306865656485293720551542554091790512999087318433573059575126654672177894456601299706239443876198064968931944150536434035971643575312450241094637769855952848884148400706298830300182378871572573621206793734811326742511321812184214704150625911612202229495018552152949395151029286934360482725606983034307108884620824490982265849380535722642806512513377644474333051409462330591777850454133044216933278294401819281520303592055558773433909982581486488665679846401043346217307242466210881089845747105725536241812114901984394698420712968585368366231000874767457734797434882367825610032388132604491207618934999390923922763044724542018421157098764764888953128678323495322932662352000269552795109215762530036553719441578555495267516541808268033211613673024897359237576489263111499224634998950684529521089463600604312700684720568292762542850415986106631710175769881161632849042163406844446366254253863036805786481378864286773576512791575430867167949132321988754997505435837934625911631028801760172565250153030962589799199593938666413315258465838827681954404892440967628986779194942085816171335796660208035173510041569805264631725257914441435600638472474550588187455365315952007425278831476736452986303811562346259689001860787007793742489850309155257075230549531937416039500275221486788820108609499503310511978994447413222134973051298243673161717769026929534360402752419166350734528755773381227664463068479667151285975352499986219716860913533120985640520788641018968269364575651282643507561245999599380555164445338997533434923187551435327557609580256918785862547934061069315019132466601729537459071172128189784909031426463279795636902911271243999302450473989199073717482513195172452292511974840481819434383032501875360086249137248355449272899338985838985762735821022446409142801260822458483925832700862550689893266058534026522157847035129459043921389647115638151349649684436296315336681742595193544689869395302541311091149003207994117486278737316650083648556716851809826517722451116244570343217475789176715650874398361941630740800453534850104571473430895506097074226552958163608575225141877407788920249262173718393974650351032963531498189185452122009381023252030390988178553257046782760849139973698072340735861676475242325637339093027920108161523887597121925722240741194049613692995748323705637641330146944233146638492450009454479814399774138769205460169386361705377948353356172785933552402286771633475963999682198051976159502430682184378720141322361634515320665276515844885711060255250551853650798610135585370317294850555376920865044300769476831088858346222029517897592561559852787142216816197438120373534107570183655828850223998391730704699696019754774556060131944412860024011093218061397206835920664490524168580445801592510237258267305038094821591029824218640918039971124331442231616220116538040915486899936875768323901882129588996581375472870098215459803521533661137198505768618586179917016304573891623800638492719205436791429914304930117414326887837752334938699650947796294509912474517067043812363604203975958236478765946824805398743684390432536967373287681636955901366481593645041967831750482645112362252056320378527706763285201401023572424700621743009236944882215159530204391692224117361032776173801382950525623882877329609118105634048204848195708172468535891833980261540462769141164703991043156374863533977175535969010691106795493748990835378441294593712256037647947652102407054965870433923348218661344357832283840583004953310506047044108778289336102668658220655351480188311600⋅t59-2639622068081160714209619090988176126916780172550105435660971736527161843842759320285522877990427842109963155855980109150942514457237861570674974469794145894125120753018918417598649703378082264704142013841416009717876134760301186948138751567529469865630737996791180991152157056527285271449625709617200373831206128697888698456681782082470017644864882751761976869941986218166655252320980908888382257462791431171351668935548779508859547964949359111198361769427408176721995422904179037739205107677154192732815019947730432302772963530629896536800452804186368611949069204349725702473178787294065636589837895696820582724916335755952597674983069443391581764004308667957557633784612350940786732096603233514881710194309390187113918926005222683453641447464138119800334279754937240127483303728114149563903771191418185342478767194551656058897652436566731532870669635770658227608814757590046054329060874832196927695137264602595475282555787031367867939454034004719645850669660945423366667634677612006772663435996815103924334244532046440567954923105119454491222535438667808501034327798075739676387523151470935697131774897157126186627847287530832623411278835265229507040872770405083755813326732284860597880219246999799202218276598681931575412698727226962568130500996922221270640026646414631855660123648426373795967470983537654931384081546606025143685937389264977305347094716417041956800457051195563602217853376729810788724505617933338993336648071728186605240471340315819361907912530756255817777503784701306349531225455493401197075223834289199499414143097487939418399194654915775702039430680986704483957553659311587943393220604635199146592358111097162716233286877033234008276954227097959415358794935182292606958653382654254409511695535768712792944242456605445474099134596199059985903774678484129846147497546750379146088837582689981739442059836054374025547330501858971311077967059660035125135565406451485261593859686590269848119082716822720210740660726564711510331967277740663288078033238703266711280423589341860727308149799886287232212342408473014873841054527054821115377618719384896920288024616419441890613999962564329525710188384365946186531082306802154558771916403365869756050472282233979624992481703510431765662041863690125692258124713135277989042594381577926021062406096296347002154678058080246909969243835715139242701789341500942835666912776488590070697266997935773208609738508525675761749726542306309269607682879483017228182361887557278464669765072525169521032067088791398120485633914040154377530037984462449098281939966352473017556841927298252074089671828064122452770097137106843112385284988423341194033907086475057134030402073702800253976149092075759485189051532681904808872916230047512613330493439172090140359545057421338735298293014264147367970967628884495846689555193370021378345862696073170682842414372638449901968185456233958251751494944569623500986936594962050151666756086596122924026113676235248212414919424408980405253585032384595413079074860610582103703000545443793888257584076767776064101966807310955506979492780048602261307101531724017620355648284819442877511887112287744870285265902426249473787308977204370227729021474665176070893273949949439781434824392144572261551764879801495588933570706516850229665721702869682628666938859594881501336132882653429364757760799259377798346578369481024243082497429541774241451695944753735382727797885543012494490037228877612341788840946861788455438427026551438585448079660040012017750873951042986691958535558299913064209699815385525290454503162270430855429892148008404914491761164582633180703653330638098844066256184861188194073843148282851805874111183392021270151026591730188652067974278164218109489728151111622845513326974586441168577838833573740897308738583382446307909596769996429575991481674713410198367937778816382171769737527383159169616862378438480171058281632829213815611698384173693703421560362720766818370672160072756350987321449170130048982743803330871400493202169792149677972177338506635461961433879524651116952213121098725793304599345207320369491911556379872843974875554567590758851102316232942552490554216805074553643803415163836897692750317937415883284734921595612325638338758968525497337972314340838489872678039658500880727525061265077891551556680244885423043498027609244675521090461968506805573717432052353451543361324170277055452800145679207641671246316338925996229943331087622031669320091914805332189788593740086545905596850492706371021306856437000502899857813641279601615561355883258941617804952776224855881588177711732803543511029210848330858978138873745700624375113717310717538044554166570444413599894852108101770504763548773750672748658544376103218771268337002109845758669030746249636554397772295098339692153956235974453786366607992548281021225521877849140828870261628792172161030085802017977591340045918857652927918334544973076753830291733991243640364836158711795930376449648134600144389789675790258375935225603269235251164664014557444262331201231461049845685278097779667222336302186249427044796328197201370730657696037736655783889232340200948674256148774672244422017348586726734876194895648246149881865106513560846231773603977965602033876204519674165824811970806974263566704082951563862144806806052006114340256427589473953183981064952355893976047201826970185171856812145378370309565938287036865246626625866153878067610021474810725490654582224059872101858614249187466545812334499245013353105426425877968120764619798859543834135986674671425736069100588922255201128011917552696337025629111904560875224174288740915049589574749060386244203617124288786894305110906368416564726492864859193626518230390375212677983958204282996455215563091890660032922290815622045020096572759589273678434840361356252847092591586460654794919129680599190039790996069976458427277751066530245626682813042722243428414522139823551721458160227007464807230766293546851861487911927481261825071420932553828247544049583042089136791035235191536619251962650882631172543201155241621849053279339771833324282087341585929349938147119986568197696869841305325207604219447250612781528551288282618345511032123163586743951448245908639034109572357550268661038075030577042386635920483671933708980898831713945308292707959199105607847989345777390067879792485164430774899112665501093855115344038773604437137774581897699402179813925848413132935770176889173413137618804601155634051217491378772824787703265318372083907817328955733219054208019737479907600211473045575763026959629988101073341797646731304946925276220984997829132415265880184731590576619073941956731862464242681926797811419339324664975712338136401042919887173012019991555153466424929332342345676108747352242143594538101763838167943482565106411797741589896826051060161597445432650429831914895609932282617355532473541227349324170679783178840666993625301456871960503429923796956439199355770733763566891544082228076463843625680754873929200734699950872038709040847136221860074574239682002083869855338237655883681685897374674855188887689496166379169716834884529291615312654758532119993233286152392258431535305839962687622513618850077794409096104551001772426216521673575591725782354156938776278148078665632474616813922616804474622514213350278687139798841201772938493441232272203656890899243955659260216874000⋅t57+6613044261970280356903833982980065759513903735803294388693628109575532621333944571251555209901585914247114020292438797850211109877844450430565959181973121317865456280084910386810184698345115239813577428496677054720015318862360695566552922106330255479730787675817202717750043201698728703840326279946665088121031611597098334934480903816639906324566794286084275363703929493759869086875268058865212899314366304135916624289014039723286566718500669093777831276785377732881662440131042527462725212322948436878799493040255215724777408453030030256453442916502609422381610692155346206230677134945136220165566977284497720192428249339779650588107812607892658044063805453057150860366227348519904776523932642704959853382362158984261795825951337120884716349544748557885278275543198260400425385366459570621107748666317629242512911891012576511581405362977204716010622870817382989169075428910161233724932283003966045504338783252303578499299204725583550543799779365284905286370765774536124095386247630618979520050972406117789911404476877418902122801425855057047405984072394053851809940573672773681331459470213298242339555474041385476988624466506177373857733781363321027384291212793671338313859968487666627869647775003450563358387626102029065029891739070913877274220562332891259751553474793073805353028681748419461187644275209747573574739361769760158393296951497684315341471072365033053727253859946384902449735951916408758598583780892648420554566291412054198617991257925267956512310119724363881762789347600987301919315365949130535485208633625788604235910183049592650034908534617885879676671484329411154728979766937105554138268683455092062015939932164902993567565007795508346940526232850986905699171675678896100182100635074587734370644574778850951265519615904868751171886622215027970880130327391998007601166375930968474573536506084771816165074050685199057983176622164245242392298536676257773316478291663897394874704915162727965705774892869462061656035079586156137295834756433165133209171284329477822491868120769340053374044515549612977275058577134138314889459270807001695753182178328024142152949856829637551099465686545993752350654053949338022827877998071367723649256601897985201597781003549413979710098694850793675154358769587229669178422006532266607587539272818007290895894277881835504454411012538809678016052299834718690067574413909775887466982147729955553730214604207602087131254441089125356437032815456201347253696111303736027829214818896872881974740160795238053701083704758197694252087670735534149512582324701592785815639186413147602288731908723507251044192223352639584042671451216358578797082164107237836988822266451860714273862611156482711301142948991600337146550388966326363902555556985452461678267923403748375658925022204208163613792841488445196268740767856358611590156697545480757820249640454784067221503482617398800520298438212033294572123998159365439499805017398514814068569386692666139969770570095489876036727252047241632784509241418003025448436149632179614167531816910821001215366901942485992263387734609553830140626385125035619514909658309735238889382057382073727430436363854047348438774381896618769447200464752924975697848587542871554886675593950975703717940851927813226360739271600812872690684610888415839366026063271530384016452718258248414598174164659241179030622860630653007114131323400612775959796022243240494485181590851442325674108311508724911071239585515769084556643412579145543128325307605386110590342648133575090842703598364201955695681994550503968966832695498616724470117468254829481358106071325732948932779277763783616914383883093916778932885299874694361429190766130954374780124123980053175377566479325471630169935695410545273724320377779057113783317436466102921444597083934352243271846458456115769773991924991073939978704186783525495919844447040955429424343818457897924042155946096200427645704082073034539029245960434234258553900906801917045926680400181890877468303622925325122456859508327178501233005424480374194930443346266588654903584698811627792380532802746814483261498363018300923729778890949682109937188886418976897127755790582356381226385542012686384109508537909592244231875794843539708211837303989030814095846897421313743344930785852096224681695099146252201818812653162694728878891700612213557608745069023111688802726154921267013934293580130883628858403310425692638632000364198019104178115790847314990574858327719055079173300229787013330474471484350216364763992126231765927553267141092501257249644534103199004038903389708147354044512381940562139703970444279332008858777573027120827147445347184364251560937784293276793845111385416426111033999737130270254426261908871934376681871646360940258046928170842505274614396672576865624091385994430737745849230384890589936134465916519981370702553063804694622852072175654071980430402575214505044943978350114797144132319795836362432691884575729334978109100912090396779489825941124120336500360974474189475645939838064008173088127911660036393610655828003078652624614213195244449168055840755465623567611990820493003426826644240094341639459723080850502371685640371936680611055043371466816837190487239120615374704662766283902115579434009944914005084690511299185414562029927017435658916760207378909655362017015130015285850641068973684882959952662380889734940118004567425462929642030363445925773914845717592163116566564665384695169025053687026813726636455560149680254646535622968666364530836248112533382763566064694920301911549497148859585339966686678564340172751472305638002820029793881740842564072779761402188060435721852287623973936872650965610509042810721967235762777265921041411816232162147984066295575975938031694959895510707491138038907729726650082305727039055112550241431898973184196087100903390632117731478966151636987297824201497975099477490174941146068194377666325614066707032606805608571036305349558879303645400567518662018076915733867129653719779818703154562678552331384570618860123957605222841977588087978841548129906627206577931358002888104054622633198349429583310705218353964823374845367799966420494242174603263313019010548618126531953821378220706545863777580307908966859878620614771597585273930893875671652595187576442605966589801209179834272452247079284863270731769897997764019619973364443475169699481212911076937247781663752734637788360096934011092844436454744248505449534814621032832339425442222933532844047011502889085128043728446932061969258163295930209769543322389333047635520049343699769000528682613939407567399074970252683354494116828262367313190552462494572831038164700461828976441547684854891829656160606704816994528548348311662439280845341002607299717932530049978887883666062323330855864190271868380605358986345254409595419858706412766029494353974742065127650403993613581626074579787239024830706543388831183853068373310426699457947101667484063253642179901258574809492391097998389426834408917228860205570191159609064201887184823001836749877180096772602117840554650186435599205005209674638345594139709204214743436687137972219223740415947924292087211323229038281636896330299983083215380980646078838264599906719056284047125194486022740261377504431065541304183938979314455885392346940695370196664081186542034806542011186556285533375696717849497103004432346233603080680509142227248109889148150542185000⋅t55-22726097940022505939139832063783865931513327239214978447280262679481477037428926994305649344174839618196807567038682036327262507334064091422231785386510095949505258667788220928603898480642871092091223309589241145437545384878400697397392036806954475704316330898989804484620762993592553499820382328677833552721824382537621290738354078764559857171668266948167523866341545262008100303350264797929986170015127094361264789086767136753380659341952872001200679876704240691320834896791420130776988288148164655051191652655909423758964278509141468919459736520721083267720591686174972416356627405803174167432471167522903068111306494323933087207023977729512139732223011964744570753110832479238811023345872015807985583839566815727489615374745441714613559852102297663611119551465540371927998641670715172452588655239242793790267360388904255943373506203723338637235080434329669378560133271838604742721749065251383422418837539147610657632278176592609261494435569676669830094917681269893389486269189673040134971388855395945652566891575569495713104882010003023273051556493153513321267650551497609680411212759926927208397503510740232964857628485442704200923974627726663943387884812134264609772411666136802277491563291244932352768812612883560173162586611989068408486503375032275559740435804051294226672165012924189627945661041587914723112380162266304024488794168813721884062122632845214012682790302842493255846952560127494832261898887472054929789498871758431335098247988287364538384478738213658771905904861030579276229815703284792120502500755292196023198763400316648565642387658323042642377064348229663856827912641495939941976964852159786336521397288257403806436399072580462954116003314960627015270718559419743838079096080501983896689226919174068110282914059209144711203816867058537515013050233432159074708562498675794147872833059620100210221219150890089819994565201286075848130867102411603775943469092479248380929860380231314007169459663665304767409160181625927947512374345855898348239655351634502836329870824075714468425512669989250443341198187189713851339742331628918298933381592770368115267037224423776512344850619977049634869766563574146001022292668457550408148979144569660473552034901065961511634531975356036965815002198183565472042620040149401974882401197678122419730869931254451233998473423842663774217604640987602636036337247779526452724992392670143155694575378447066588808213466256533816301067547330596582028244501758118890322364758769953560717800356595952747590745104645418877987766255957984919810671071229861937598847135819801616706826061526335467142137782382282734585959601728396727463275738544844940844311903607681864723436682305878939015420528211912202634214124458445404923472470958344682489693330440964489311739560116937853886870166327025665111422146020422689821023773689045111691043576327117718062589645993398560538579628672220867288725104273830214035363256743195169470236933284441155518057461556948572428873341307309810206643019816840427477059571438330580497269234075297561957026532773527689249895823627471368535111775583901860813539973990213528741969504795338318755268859905156646385353382738744805240248732842629633772428076424281138997822765810423719752753777518480644708557177256262174704474382323814467427102723391616756396291392594346356681389837020475376245398540532657619364645352730536689999844433965920683717995476095736312422594828394171708017523275068254828784737900183471248351499803718752680562496442664358797227910409887724715120916699370745791928862122201338138967441706672802312143208060846345245904635997311265706203721642856177891114457574253244996828947934950101647048148938539088926052297072840956281523898381894592159138179760444952043064913992113138137144832476065437050436245512227808282867335739606713073158346457026583983317350348756386865312463051409939507788796188983780030042486102660554811720877091071368306770733333014074110436058019837569388817013501926104181178830560011670450177380328403720984579801777079384738280497669970987184519894568902218580684713640888788966963821081742256331568104201676469950478346099010208648648564654198661193312597896656270069160443518160335248922143454959774084952964676609800478257320543021120040337270283552412164545275578913577076421534104412626155439023855877119263701282201977941774160381797958637413882244342321105874323904384953816781634151606258052483493371872250368863897218338347670077854481202778064238076645978669865227253211045075102293537818888624738848041444077318268044879345251785318812883404362781343265905418305083398276834003081668446255884657056775789356277107333500054260533604885038111484838206141687060055566200047174394925312608832284562595830397695411629192599956652033239054536332259968230046725298197191656437774813925512304408136453418955050393246274627885399230355174021427540974336465544516577691477913548764546707884306479664651371058694513548918094940198996236626315041186021121674459702281515595511461222406767140090779741700561166060791809384012794208453187279131630380261604599540942399058126745981614840050979604462828799702675737434903346285775355312151466059132149529498690442599952373329757717747516371057430969790388491844660260583196067351475094270049717719700389676156287278880631761215897505886995919421130834998126026408756373699987778847391396082905357226507616862907674722761096360885275508325736614765439189060386019486668880070939143537253529391815651850988616394969655325133799838013471926631558590227029354898208144934812262959136769035314084737204913540013641754346543817825175391872025784945937823647331199040446871585162617792711424171453939011516679759522318180040877732608210936396810847540217603435715506322692010362000099831029181957203783943993172136253623127970714296695243723715124535553633013582650436409388479506314131753533351542287093351052440698849571064558627130338115457841834893505028910921397618105186075075683521377287832686645112973375164471915989991632874256361212936015678606717736362347250695807740769018424465378099533563258335950206386252900958977176103918592687267727072181296123177576590077766582964785274316522380750770879677574499514775733261038009662373130538937563661301637840289293046342711962813456514808834352300542093764397771735798749976629600135862290693029540393925806592089308715013448937741968732941888611470077301714374787344511071846472755494953353811053280839966811631529610563301468680804805323029208675285060246552374166498145442804862389838457871047949327749142232140378551072536709151353105627511177459410122688381791299597454753131076698936408817386307278326629544933499067504455210647333528993560082608750648524057631452740003661772674015585495301158876522164757298966964688190869371285930205463092274549368164285480465157858502629120373382490097444006772889043857391465982011536064427955116370695813965878344185673584684077650304767656739340029944075508561944969131906626461931221357600873354968178167501164901884140368346558944537596781314105151440574699412538291881843633078798612219207923480097759021282012096317684935405672889066844482078158269813070650780271158184492632661478791326962149965931623576976891504962794252448350839135139086593978859716946897339619334074631411141745088403475556354334217000⋅t53+7699155064558952680806318930797229943778239589085814014823665135811204284081577219522231589212201409412888100908966486999943659597971874499879141732933374409520326195067192663847883175938535538060472030577071936951741871077487816124635998302618553955952549217392264609042599302038487192387004794616549913682688469878251440459795277572393689144983355232526598669644494402896816564233672240778073661493653011052844784730115324452465195217005671599510641224971231380508112974263463585098062757907442023960921181705684977713134321978340983651723108976459678176409129961690356009511846438111661437752001765125652272432271964223947603461412951217825018748632129118501573373449179285965165820587458724877263660331504482753014876810610225791211702344439754580106541810441808656309948488854649869158668259110990335528622973870727781070412084908510683628915415493690114866235204798205998483137922957716628052309990188989337452539165644222246459312393712469820559922560035211899840080857813020612956781835858424641184293811619278649665043228031678446257346799156876290427259887509066184979735709165410244353801336324030216681703192324368911298886834208488964725178863518796122225069003490398789961768713468983702871451839684567827536046755613043876993931440005006004028971362565129577372234756639676013842793333589542898577580452063979280739009965522373498219208074788361553897393682624890882039448770391008737610105479943456132061311882885776485202002539796088155100095327458939322759117872951165535385762659825708538927992390659092393381161244610053196657838791520010548641147806426921110428316636556163833006791862675038208232416208873701609726610544837174468762307069453299209151644204070496513985432644458948464523067010378453921856589079265450110692448511721795785102705397030023852185984941670001588423570686793191388976366915078250597961141442209162667956252094501596640574783165535630180699258346409296856950070310425739960444141195712532150070682469959355942814604288382263822028783202950776520080397089223039292973066964165050911550907213040372987201656205618061026666602669594357503353718797915526854825383135706218326484893476289179874761020455960529757410927422708482687112232978931064683176393097176209945426952394693854131047368458104163314708446500416007250264717669507304706233388679036890459866129076226491949839384944849509546713007168758104600787906877490445840218914402095571583743373267553602698716768084234196780594066606625718777231240535631515117064943664361084720125068835907681102596784611639753080103803435641292039442541295757501137646276683537392259500171047192918706278793473387118633854299943492972659221510329786661042602402269926329000046715163214492960479441761654604954240436770586275485711190909117453902395597980625979405378759810524463401785997367409343784393105686983921946006067544810225073605810061251064626434048882187566564934492766908684490799768949998704960779170138000003299403471848650809581200837976593852463185003611430585846639850731927580650970027462888322757707689620130035251825378442792761479760358554968288852653830667936770733525081892732909146961997370419978148816292149598815923179769677168359571495194001936241011775408353661576591127020716555790152143413344857063994555234795481035920071978659154176478732830134564972878963487026789353526508505364217749477253411616422643187831825254069183217958048178900476191573706762849757131733015920892941343834264506419532205372902535116537137555057447358557872376032197579380674069577045961696193010345871165016035381322235184087286864514084498340542448542302859274779970161709399229322842421062116317072089241619921333512452293917322381323042164382003479542011020133548126544004852526158054208760963587588153511027978587911481028045462860597322982455448308014179020800958939735990962312448374818055187946934817688466382349167350617968757992171818175041368008150279580569617857624729166849023039131428614790338754694891783685854010590112539360797543299723575930105261077701095937522382789383315223788433723893897950134805550048225480131323801836426598350220351942849074552380518803644781465960541202809300365440584418756302557463697481617069385752747708025881302827477491291164476293071682905283806282313211788258554710129762215133741188793833560444113926735353536676461752626474100616396507994667483531131051139607671913428802947310516694654606795973186644296728265808820937336290418520065929947379166140582809741004748069451167304370163666358944288269757692023921158787077148614483573214664092970018240528768745447629271920399918112799603433632201394829734231583562414631904241159264743467821298037444966881274725359556404342724093596696341077224042078940788344838422387215169977349700095038048133465390751812775119682601564042031195664654210049736522896101945854316522171241641423991284040758698877706684865925049202032972255975186598415656398141491188792302521575709896923875545182508771512555153800341256220114696510402391993316510505193775485242497781623847753574573925807206656377778219718616976267101004051262248180722538856970206858427561586744033811673436228986879370822080268138899657000680220703324327541252156768655490783564784867401457910904382325891080615530674505977307787425650424336355502702167739550364334794075525434429851730722888146774626362914188244602751485044271455490283403035179214801351778140810967561504584254868150307651117206936572887944299512405862938133916372141346275412835733838787407195286701779247751448670232259521001196435926065284848303630948700161285957639612600950404176961523174030038526246634182095782036613910921069762180756837520894227641249641504290682558044617440095821683564027617521838569113571302610260998172339457178102586258404055897430160310004864357210290258374447701809299876734830558919280174399722819925047355025994264324579765853385919008448416571221117181125088888090011557986374972805106167881413131391241831206837526454933427237981576540033789595420976907591104132345569599091248568637264425841474472091490531683234697085593313371978606425807560737956069739635329629810625343053694411978249597554779480288049032322077247162413295575521705487796157713078794710189431192722868342302531914394987397258147413647398627875481714807794019848137919848863676620583916025822454474888165849265768946420866828528484166416876884710379080325932659336065799122839902656149225048315864216699098052928148711093117346680750212798917820161446050585725635965519984691081394272901024847063421248902030605302204857650343658919008007396808688260899927017906465924743749766585022916900420387785065206579077488105649727888614975675539990344296717883491910328864263605638500715401107181284962026116450285781074515947756585869233280424158903208787945179440773135885372197889174983066184724358752622107242204496710695164540368494757569741892280976694174423041750473091610095187287268359000090377685735571300071246664551227051949143923450698426270746536525425812085111317994287390425674443807788543539132392489147498566675805331389197466701628333190188629181262518007322443610844343981129408891938472060495318028642068418850241026742583021559591325725636858801574697780773607826329717989352234612816146029862743475401335582852557298096454472806542000⋅t51-510799531255420500054895898802763795447891513257087392095628005777586276459238329073820577550526728518343829934042330031155390237571821699518614890562452879631659689043349843730495102060005949819825301259763613924249272653993635203341854496972341844184379604397889340113013376710225644750070447060024540025663872422203529292954638346172356494388413349395798920318777222320368171056299025166831316520782200238778303267411331150225342078124745006788775507480141167213740306241890890599706771311725578557012214760294506848139856147613485134142444785982437983558445023093008346904479851789156093323882967969389787429092896618219782899526379325138463520443321184527933750391151286450535927720544208171889100674710241329473917381529176538458410255101552651826193189463463028090823924745998151806784949234634922870109837926955874628003271178381518392482504362207440493954094292947536497619261212696901123033015905070189709999185617536057727547067305964216445903047180807565279057434362620061364629439765212047395377241790829678848061781758825586507331415690215176897269530058542964640343206229335503299169614680798400695565213699493570814489784045551539424094994430075534355896049318049141773251791009020276316082372573979350737081923078182979729245490461537454274034081975911155118615347903866803246296700502410894346191750614227351702607170616100944324164913839195246518091978393744421653227214362091809186402552494840506657511687450515233509450655415535255347788519696149171466272727250203738816621173629515047105203790562825059231685188429705795497521529765106713941903720771932831272383706935181562598783224600646913975656301062575774177320006226767408348701378765715613694741356719942358691588360728395971219033208736853376152776907137208192429985891648703413638385029682683901881355804346479699136278373084069258801075616882683770323284672336154986564884180604789084686942414549846563840064516806386875851622330992427640865563815201095682259314108842143346134846651496314360335641963356865047442295700228423805143743024752476682559888079553435496949725566417411792629444965470422773331578860576629643817482066455721597463291089083858863687912832844405483226379736319457576267170666778073201938522274848697903697082777515625339611017061473649756625063443050174367124999081739763872316329206023344969504515508243729292472684424074910852475134534910925462886263921344274057952619022717422440707863112202630186923706007430701741967321677902841489381046721498744826241157742290134187139294222419166983239328933946252965022022966948875210491972923064309341632980388210631851576722416169682185104417484545543497539742933932219367745183964779402256722182338302116592948030265167625490861156364113127906406732820398867898807777725298256161232314066187362941554986621748855072158170630703057129206050097061144754730122754361151860895369632624478820324934484247617213840274434676916426825164972749717781177822675598410747978734018143704130400034108911699876491329627218849561640093721730570406119000566228744369181241351914990816842620261060609896654181106900450703552257520432885062235454675471431009196602130350746909804233621307861340877909525074392241728801694990004548853780663645038702134976712111158405831765216638328490540804239439436204112656019874761560345640113715039897861689056868475207254859750887137736288556474805333336073481722472884375993974321235888026497199456756567355629887182286475510533444847179404369567273703973473689842421838745935462933426653951341140889545716278365491317924884752926752549807638448874885012906576601266255814327907508441663241972636911897666459357798017033168823993611574777631400917128737965770861194736666478853248775643542864806935159097203118536064413973255038406942387788258235756832894021621462416159837211045917992539031705070722577293978656150978545747475244308252612003230654911666579940144810201953186861413930542518966221036511210649951450053633016301815572129760596527560111882502224000345664594852822028642152026212821948715499118695012783879685622380728546395777521550476896414631979818160218583685512369212618626129096241502709505607832018561114192502690223696590103068252119540435463925777171779367048439071721858323737598898153308730028751013986205461667929911283204127433662866961242986614015497716273862689455109306243883873254356836156226030073727936120311143907051367848442869362222760179290149156535072998340380325538583142874196146305087390207785216602508686794876676549396256216226850667603843347664792449985136298782001789456030481291489673379816093222800101732523559907189510362880459982927401215228322471053051463840240959566169481400228048161173000057776278049370011774928430326638336192240298957732495794458664902589828709587097602197434592998405750171022193419601572691632714061170861452575670463385915611787415024919958613800012877217007481042108992725642421289695443713270510301755834991602248686758469435946804808962735267632025596867065578665491756987489463270551360668687398033618280272229793008821871265824180251283884101209752443262284704454231589550918927601155561442357802112137659536042203584889240571540484674385895615515843985016796826883601148742193029539244303306007832225222700686086914447892442265897875876418437293304499214313331380644074746862629361867114926338340326860699929194863293875796548906615403913652236772235257812028281352901441545333187029486375661047935261665225226961844902422388213173013397757612415820034628008804486724050928116653214627852344152122942533046645594611002572714923817161136658391276065107972175062498741492092883382467391622362070896886134314898595393262176251119024232653541194185107883574280903315244273106604848072345316214701469870815356854316792241888662330541253807510048103087968425888369538384558632114377768860423992835730592330369912733034832169431955462327927421305767674982075492124459212337779003184531930286628272104605085410424502553045393317165452780464484479118111919332496327197289807530972854924346791400968503766654580890682517479978654226735311654456232885766319211742010022980838259672571739503530978074007134909152819305070707097407208333050531478469047976490428670718223636578539930683592809162769482264572653150663902201624275320101985846432629751831586096283207468803552058477577605362782973398294826247939683082115010090122449193247082016556445186767761791325861259599697892144456879476246636301178359476365271539398529882122631777152077611347731288992364293056249343365354579043182721239142302652432914703431176182643523628701774806135565944954852829700243747691785226622681934945874533709504210715711425086898525870569228793404711987958975557696546606766869618185633171014929068924929341714946181324372259571373529106416682487286903013441136534343755347290237397054765604496436553707504950688911916874404899199559269300780934778547309058183412865789461477607963174098216778671512670051760634037883682784356402608201020790239993121826861195877475063878589054619749765002833210353374998086992392680819159349630499293174948493880183769643110792484900294633053485016290480057487931391557042675922727682676586407939042232209879867069776620186714815572011387650121838149433450260986726737444073087129923413207430430844392287160897753582000⋅t49+92174885098285197443022714918647279483684910350269724951382403283422088717520323514072576987988304400024374762485952727797885270223071346543623568940084385111367074679816829977091289182739954731870617195024886886224876858099084759873879423519377874907048152438830110975043815377802879372110656546415566028384526322323093780914559407839685314697405622943918334636971021599478736764937640295724892958556568294456198905647270271901636415481853850825624878078165741625097473661960365759408456737534020906876225755009446168302850334079206730710404364344108788212354571936166480256484617471402322348897173285051748961484344630735858059290514780005713200347654933543812753059575123490396624084071017521790715619989946611576301943476356543413360359100579899876926348235328383453055626504490369385656001172927576786766492959747802893015482751129266113671462347608020697184144143694201326308459105963322765489007452262065396727721760837912561997153896748356419322530261578964705152306013960948531946730175278511656433407203567273398084082708990829304671326945009691008678892697360905114900782467274902363921951098410927381763543781127829732446658028648184190493334855853306607206878394934372175912248038419559883463701528092230993782597723704628924805223454328607997844478869276729699253426104603487502767069660186593826291711192997562135190162445135850170836137243036958898691004654237430698147855181500194642120492557222811910609820768224438651079179305280645305480452063146518568739141112501921942106507882974031116248933270178164377003606551998607013527360829538130488744626652536389255061185107858648550345177815139744139933761425101194067191296583694280955632556141169757870181036826004752007060567349722035038763968338722550382538163969095964947836204862260312279654240483693017447927932059589400594014831560657105855768912167818041303788385446940009616909095812575415398033228872172173256305244546839862404777556549606316426190176148088252438725205035581852273839288658361557469578809321825297211968938312692684388491462718511470739764771890420681929301679402027098172335841067075257065931112038274463519523723258463290905678955592109159359196730181111595071734605875270710140207656594612326321776206766999802060580437106727589927448166256296625629038564456392012061956370402568934260286731741400579431914470987553497913584109537703084339106090622788411357155360801947365774906110005977194814842014120494602163640450352838352504400079156490577065838898056518544774787584460207283830299096939335132341598513328091993187736500145743480856359367770131649510952521564166480402370914545432533096805640230850071477533504606509324995357386264957475153615817379801199178816206608533885034860784165412627344415436324617448208665766164255645995864697179088308466761492143638682231430614885870041791307545660530964992154433640917615117758422451112866863328974631623498992952416130841620631136391116524750190967499323144402684987093892306977479081393392993650977976074456522896591384188452303698331473063855497578123835505594685564627762117454205220888170110470622676432252724194305246202690424825441997984565288559999953149208199825120203339323113842888949468014638762594655232087164984765960140087223890879776845029190326024491632819931791712864965430032087515972195645686268395908043196989969893804024807340204533822747879721497424002826925050839679890820712121214157089118406503175248970726360267431826507153914364617159950969964390498646864613720688047873803452711198076950780705472056817148963024561305865079899893381540566461240257812720974837181697239398006647816293608693572290629844352696760735168081437089023805042885218226672421556975349081626903670880887047230555314341605016421996001971856324133828783950646579333747658149816988412114780403179929977081404256072604205793182468734371968730992269650335966916693976448619744895304290147251080199597798385628852621414929689118693365860715927541315361701187645732546762044241301088489806499936577127204958433225292229243328025483225357534200398539460634547338646250659708476420856081014841639344398536092935080162024360089025593148130852000568197373239878272153977248053109758761441901956911546074878583115481787403826236865272392448226429451561652638942704120303406628697778581516335548254692265780542334914163962911509374812771630235413351721205002256977636336055425726062281074781715170084495284392321118420601990011642618528055394108045295053695618605669895995163881475816629063150700496740326559301326969330381121993968330061279269062157590555806327953553874167350053036435507362944194782054897436553098425356810338358718280823702843862331063272287188607336736462539123960306482905972356937908250782866294624464156973224435793566184987360130679513303867298135209317005921008211408927532063097067187323745014185283130973084133415917100422449373792357371868635989573233951672133533991222566641890484744640885163880361309263677698233553120437715069291848946285678319091453759079710755938837369327559743273639687541086383814259923885243384207179890380916192388911864232333191395742892517187010953125881765087838026640353752262394096469624058029046403387296432555925008198430883460087936050101204321394649674510798579013710993130588710486012809304897076506560612185121757390210080490669401477336887969189613263138618264098238669864488226650417925615476589524858008612843921679959179194780195173297385773316282404906995252114971067750194287686457522933266366163534831226246456983162853509015888086289477832644285069222785793042293586239626632399732940768611393114158124739553863777014307906807002170312840846374446797752923762789357884673067587577095139293090231734140130809385862696092203557592902138902510924111738538016999867261466953291123921523101074261888863419935468330031972516135428352114201806031732022439841801105059861091671247590992888009655372207891608540952418464832610110815151186875665879910954159787103877056085289197892382013819752632627438587672136965233862905847350757172505217346568802775995433060571047757203417993558149564275077910469694581046069173650155290924417696143075558443453652196042054002261479583179535055174938055829449103619090915669589714803861504982739252997122035224405169437477815921489362645896829137701615192343085779700573218701355266207642042804943660651214788228010512962932118160624959690503424084727401775281467130602996698299700392129999070444235494174447087940771322922121380933226865653501978234460131420089265613225140174791307793034968448543864735819321719876842560062299228759252018723107739684701339215054649794571895967730853072739924817827900767966281404201098840614429958815070680337649385921434784230172444010661093946681510460661617795644048762388985584890306606753680704493096016357461898386435838685349967484584792460433825021089140312481782628557936815330028615669815583413777944871105963600243770635659697306270796021992672470547459677072134773720439411946122238423271261098290052975875175141420911173556118684286989737356909980025076306621341815097192300833066850091115636504639804937746535255600728981351671369129297224773144724979895502283848231598261628583768672046532086190979940438269035861717350518193471226656451216952956839179819298903399763892680543477000⋅t47-357946477057473014341622350744040288978339633637237359909570424272366337199406001823084638510607677687225543865317965632361303529435927502522022403932395583690141072844600304778199896342216605420493732382963756615984440702546320610671430878204179694659018746365912760999167734145846898900313564068208174351855824451719380280887480886254029928015169277201044876409323476688734827572554692495404131527526064185588653373533533756664750598262218630627359186770828480159951490801276913130968479198685996443029049413182781800812305400323822445015851020289886002389016925788162501128591293169020190227374896510468048361937492669767319682273502138583743072533401680807054057234524505172209004929611971366982017213884276516827450427183786690391805541900318034339365530114211366562025628656175127692342307157628493951794033414621613181058031459727821896511520817512667553590459789463169590867817657314460892204157219848299276480757034335729005385561387029486379755811629520322267323156103093838707838575103041393696891115628873568684297715483882365735168002492716004200876246871126277959770698315883491601582221305930320628019605949280051118569693640881118709737256573475523046272679345649691511395409021805264027397787886640190190154054198461533621967416969510971975032588441242639758304411018819162230081593924196344184757434926007977339869969543917068125771007126254972774641500345035425430059719658648940966657776433344830633752188161584765705887886869992950132419380365152807888971661808551842261132747382691532289480188191434198352190569393788508749784213318095240040201861253647972704819494372190024501685754261363850535047591059375176326917039034279055546361402622038632070416249080123348370789860775809448779987865228969557751558791404081907797465609654038879878234465097616720563682363796067561135294599293221486375630099683503675713971230877933640177170856385906645392450921871750855984310390586155865675777063236885856230138281877890112061831427832640351791805460769759478234360573050341046894970573952810145958275987760415569951005123581351343888689856878903521776589605463492811910712819044121499809264771015149304774019849065781784718664514045992238344987548384378317942984290824915309046121319614349783353516235436236157127248255582355209339943337952896520078433373478698260051081223513319649495670393787541889631878899226241408514799548641155722557630518815707201493052002029430019612205380473966321921141521608467081269800852012048216671381017932559282753840268680951593050282831729284038298021628485403357641056733608783146148638396846625457656627042252855339236354959740298085741466137267593707910431711200983393514359635956287928790990132412795462682967308187357047861043866587693954825089445779537818421046693618299296840081085909942555298758052899855219723170646287696536426134550192605150032164752283521793429609560321534746260901740075140078267349339934017320346578586242250490237638606041862006087670285496641716208229345377203616660217985759414269382466046872590888370343522891835831351431629150759487339291607312445465461356788795856691288489814588504163658594936708974974666279559956155118540827526132193293722699637244430571820793367097935380241073962061147260665840178676998434168919497424561674789793539180897856713725301693482594506023231738456941467887949020206773880222045903086204583317786607507457515427913419400418653808973970857455383316151795033493841941662483125516762669087689178071710028207846281318733514512803412581797543243488474567472480576714540866664823793661356629992101774317040104909214772217094536623101055155792736899060229591257656774437470771387192487651782151405598608282077700195128515138466102156055864653929757371681946629476734099021845624558242804147715526810121932375176052290477437289905694672741969301519321759839636886774431908360610543692031665646989089749928551504449325414484809737592847141396427627721902053143306326822027852511990926306916381028593362981345490685259485308557378044219405187650485715779840991111991445258718620557088040459311958214823102940446799672476471531428631867184968413954230581753151068451379492046647600214068967675294498891126970595348621612981993786741553196486792022776068309652380177945978281627178651907756178345486251343122442551144408086027202970439700895100866561698312215479420134086735049078173236677905705716431360541815795692746309881555102491872233873149652257308742811693855830075566220984676317384142146873879733840799435127635859679687994302513169350677458725113299681085324207091389645141791736889672081051864850182922963974104148072941643209680661057167744042050788471361656214205534186222634828282063727860988951254534583649918064067704138738715029450727653366178691210259792108930312115962265437527001576980742336815704305211988642424961514573172669923434123361658244586718812737060572206314476192331149234540788441081735413750394973472293202249502663329667108979531074122675162005872481314432265369777746619881518968127534125186643487451874850064589046887594242628648543482423853334698401854326852846738750966882180506375787263705013249526511987516580286771022382260896022087650995888879797668990239181492435085859449110371717440168459113615286577941349609612794286844644521151969702859426995325514392110831751150857946459248821177927574453801984794299011638163250198298796918887545248224052682792437643787829345625944496056914556858533974025402185143582246237118194399014646580759045492051992663845327340667841947021678945550390354067170543284592194431216291408253142077839076553675741761345519152934568783410319374559204834735239206919643820790037273781801911166523063602124440222612405522134979035942838914529690956624030371239810486400044475139239467990339700034441696826033643172983090989682902892580405727592278920524527476544712713943172921722172234775201039839707437117657718842060664718833926826098475139645725031784114915155013435350510227737906800755647661807605222751865008162864971424423653046155889008208843672505719729982614502873988375904855984559891048173277721667512285866737219505731060294250486598036146606076262423519350155369773836460917901656801498011639017883962783455510923349189149767163319909237992622137058642076796341136493678886946656090531829143530142263669483016675158046528865689971487010847201261647578764933444549271877927641796747829177845883183930280500214853268714802858581320072097369815384767918897151950477442282060777002309135808085418832003219534891924131082925615677740686410554124879587167863509262182068873851127245792348804299036278479612026626691413808004533284490622966586105365026426218888704465812854319469826708603503735534644142746470515358801078611419093465885583182358726214774477739792726303317015572188209107096908894711129960355922060176257396343422783904623758208463508188879580856589391964721033090207914880375113610209918512456675833143001629840568635776832748547844819276020565884608042139461873519134855816772417571675684263726613154712026790484895249710081791077443325020299835259326645423452109026332685176841506454302013339917915757889932961364451431542911505557821322566399681421255091254131459495130518982347027790410160425795027287957789800654488839613387280942024592419610812042303638764015000⋅t45+6271096142809275492908837884240780926438341500311626631310423110477002242804286932815075409169120706707936773393094206813851708262838584142151496050865325143841033982681146747104441013395803850197889095043205266905053783246105995661313682197635281048802097024411628310469114795414678330689108965631449004529461276221467784823666199538562787674774948370492868137667153529422271654018116066301021943907723516193757997636249842429930260334799351717903633226743284997352046728583849447681432289104797345724819222481397470285695205690708692773734046349134822079283690697969775331625872702929835137008993702799971358066007347429194693118462081172565914462895748236661422361376732821527055691745738451755913871843841543910481354151662067361991048108047033416648340215553726843389317357326861645268774834910469961255763673843958288627914252361858554945659388464338644398104204106849148555444337309223999654313589546353371925850448589593699164278866446185175090261327310157170192503725634938758077268689759652787665502935170647363141359637192090724824130545272080923884876168152177340744592054647665052245112350079614492967361392446211354033308092778840931314900311249957042335817808519440637002811784887727215653693285920357938085007910415092893370819643529622548550783076270544447554428653201015186992836842257381795893909317598678516699410502246255106492681865996675519184632235877272070672943803152755001752720601554279088389446180324889046975333043313520179958834018338738696244892488302533320315004732210160378463962539325619660156839330767357588943338692267960716110508302996871897830780734081761305866816680798438057351821155986938895432131770290742715548490225200545480124717995931145343246463814498663431373233429851343166373445038513623193795958429845526864045976567966559647257940580838453687338373973809463409020534562633093607538212976257686817930392787309949122144993637629420677532571583593193798121803247255033851679088323860320844249366351965470972333909769189837249504588598650211351392608500516017379527086483154310332534138502148023910776120592553142205123125729114578738557217092015342337547454237261449249349759257049716361882022385144049185320757664824558692730358685995866359725910170548529841162503173505286568423013954265673033814974061728838708121646188293447489154852652123328202229251791605651518889862275480077071470954114046818251010708951705745798378432762588979525354166143650749842073052862523837720582672067273404665647591285278024990039951803082907728098965982918435046209831475867205258380758638515553881170853403558240568447285249285470860953094548365278101573186808717744313855588530362063072561389156764692932075579634880090221382443057258892197884280479406190580022109438995017963343305167459985932100682154971370279425063475278776698453732670853739900993687268887569244899987680282317327539479258818123545896169415587648738079847841429369192483673907290406349692608180137044517615006844549063425247965693914763902108582472821791819756199554797973346112757149506045860206743919667743024618286084824282956953551058213081984292517679442032212537313830701851325810935497622496779412561269137981614843236250586768489076117227194294286845975250381916588481647992243048413617902792779644937700544686252912011973851268083828599505319506599745586064437645471140527546766827425541227277495636076455514080667802807941118948269767991598814507894020807624628408168568363353276486416206832649260123253679414880921578342220970159434107799595822560015994134503903049135854695220464372626356701607668257972051296788535316769178894081012135942436772476592713647704251200361511488299088313423606509537832705945421292261544900683524936384333798211955379879326053196658901689037363801963873756414446742231353039976713706410295175768173754078309200497780520955148257314378578954478376966624472673133262938325364685057971457650366887353554572036063991606952043028977376956884482326757655670220894650618915146873160329126748728706373223660421202628440338441570131436075205984246160777791834096180178585208483595888085176613338527428295807349296811077581604155689924714933633295393971205065277260689779159911430173747595058682698428450220877838075328080490836826477869770483451769252128395297815128343285940501669621256679010139941160064354293941935353557343567464583542961127442425550690992237905092945895458643595834793660285163315293869423055698703338915730258317991791996240897248031821568218565090416118264683553175498442678110927788762398420564030902228837165259793305533596659988133340295119093415625930352012242767305393343841375761441851208453756054257977410408186637412436872428924255946780603012688463919985688957636163953753784131400357203361414623436901689356816903686532162716110605776011483855843632970800112913957765722898735527796068044361048580283330725642810594552028792680612798664523231044205738461998621938518207809988883988910548476870648320165532292163736055106107509332840123137697518536579976776796282261868829145015479230491035960910029688057685849818194644654488123258319791246560716523211701085170546168523373268885144549287230296828522320704594056559290242029252497790658926691321814917347367093704645795971328894741110214913881643205630757596713615522298733351249676552787382106436890360015887759713261966409076067486974210858690586082517780877792307032815018018681066078313805964834924686030487924993976318634558263705970126851025040184924141365519267858152249272778903421350444399050227418901549824896082369404733832912336807652388185833144177349992053342309854603087142182924534439174583439526084973246651214021548762829346352003962129496830814859426349177954994035417891216282756215647759372919424277765635299843417433983493889746541276648519837585042605138103720690647453731989179814876465968148286489945692855702580612795411912761403419440291455354301087051061025377576975676485662230004394709446759844087543299002495138114229019719070779790885235426487712885271675735882215031856175557949347985625212284350913767052378105541362077208547293201606065224687583785163229176915935448174122407794360516976021978557213789334229286473008450415868204982253884679552591898523465458078350528252015867996362029054162391482645812991654065266606477145569215461502920840363563009724982021247238845583116935480660110980623728235036783753334597045900190007957913128632859625857768803041778989513233573916704594090588166181492844092142502593769853685311025579249094686430873908906703906879889114711329030401970487813326376091070151494395048487982092386160286736915010032659379271759959114028553600795029595937763355465191488641346245274385219232012561069842188147980944399614278670434986298555136913204865635351599354746831721203052240390056420126061478340799412700059656679840168763562545017278901793440763331965486196887244006820482811903987632281960981141894000554147914049120250620372951957057562537373729201773596207159831605887711093030039872896416858049064143521451549568818859955638962247396717057027722818120251180099472189159674626722284827120191756764745063365161816099416388537625153178152010865318832662376784126551051903209102818039815913986989557576951694870458165778947440386640183190346818327980086173333442697346252111206426724000⋅t43-5899548781250007100715028493787325515409613748332778722064609251376522791527439306824231592017581914933673378130519884008829861426688546648516552576126745336161889890108503752250554013347844146646321165052877954885630331133194588474251136274910613079801648073376516277553387815448138268157437045066825221037621822839156321654598467595772360090268109748288927867893164814114624204029293631663832783308653494819526031477090824321688527503032473101478195635020656624989383464076231658624808649297118951738574266128769796987577286585132063040657113476559927644132129790743626800504553081061548039339005017083877485994334918807052675430652976269514332010729449003170907971028070319025825619769447219053953409105635891383331018097770820895848569539080079983842064296603012084376812808905838276790678376623097478710619304512917076151015701079923973838220473885171919955343537787330542080698290923483081445446184453235096805355771056432640589327851686967666897935442657616260555107462571746661360466433951711282770475645213403369518201566218965256242950570128549536082998901551589552402515987986427061538762928086885572656846170609199428514132469050345128140754478582689383025328406261157680213512687811530970630424434218682470079585909652196399157501143531835579178491797567870719408634272470749133787812182155179077447787786549055945063209306691527965372716793161895164939276697412927978836150964437366868243182624046111777123306969141181208074298310077241033575784567267959496050227950592018791060685869098920431364233344617186341977486111158466761660824022564865233895561896678445102895795302173648542407208690906092453047740454885269184795234949991831743865357537856118321290262096513711238196470083509031546865779791805912381614626261426691310401849620625493369564961904530922563761500154300043598965730793682111860797372082924723610153850023126958555530668927041846524030413836885390844517453714651503830423967794735227329960245171028134539948570433980990761870977961867530335715168955881399714439578343543954194111870696889893655530088618183907143744859051177474024548159296735659186634294786295858667468034890972577529217885499185474088839029521343065312136217774764040657798325408388318798008746277747517573780341841589757580650365936606138044059692126444538270753046250264403760583805928264680065337631999091401624309519792955179608009418707938561025707622089943059256985766606925413957505868183102697219846402548709975702807215696631241195349850173716886149988813421365476102162643960955397656562458474204299369034003195131517275409619103251577107542056480568034992539497165447194559818566093295691622996254673133374184006823613342805261400764445503531916158561613516997331343616369100868443162600924085873985355416284273767725300097193854458912573653611498230013696517953843354024634351127989786086882730428939417728371619288030467525788766487801018901600888575228341292862867100578503185558001259316209445533184046678040967091318063064783101639075958739022708125792838444283462667308162629163686435460328347485312614112521794756105368213112314649414654372581534950991115489049363139180946377164342217149847822634896330425754711999484322544221772890428805650469530398344464575320432945461686657571695690060388174247169924529706306090279086579808515846168685158137975226453189711482158252651737390832596824279051973724272790045374955733181843119722366192995537758647917401262346595729390934272084082821082799790302418210599442719463327779612086198080691525455057540473827585023077371073182202197160080972103563347724561219194227134508479258933365579039525734593702535219574881574940179793495772277201297308313100490774429943035312000813233395780809714270218778915530510031927036024897506366139496540683671142348031782721805769403428832854711291840974633238378507735266743581133772941265170141247187714883406036203973531004438491098202024549365325855247499143076794333626202676108030993372151702853309543249128149531027655656786084223240551060225640499197034283316246122675432460567647959036208726598004605514094345190341781461347609099308322710285557626019435860923829823167634813089181188179339372170457388259326847617407141882022152122638890899108037398514641267894750345274856479737080580649420449487503997209085317017370339070328699003872087992747336528123062797998207856722648178720479530005023916613663614914488446030561853227941740573972365781989977610011366420700399325386519316791888697171862211026326231272861369086635876988121016434069819545975979561049129155610212182764959596716313194646675079883214394547749686499949877389022766323386673768693706080931528336075043032061770328263287205828484672192593833858571036853982617658817027843521769245104718069002955130814849006333482521728538864729701392312562951861646776844412426465413309030404717964661997828107358216044741163947788559552137038723647589196855339178182809669542767181601797276278265027068266984574854918803193989900392056805043079928080217958013433824568011824389575433641009355339410047718906941716890019340410676979146522071867416648898427182427483944237794488857225585055804639023494418132110567236372086336937545231500052950152362693569844340746141313120214544025679496950049574565163859622528058541118027157027257406423658879802920761630835496781503807698592060635271693399637099923901144054285950433884256053821321392715992416504520987170404495094866986613758329816055456611697274696593699039007866928312698922636678524434168501311508937304022542071082146848937658369258537770837617974214110910408416566260404362169658486320961871520418101317044823072897262742134246887823838273580966334887792539067727925629331790080334827376907275454845994893574341043298884984399192655468856565880996846527184686058223164867514394150599761753321556532724681454024715883184546151511126185131206798525655555854543336498534669404878887375896817099407984303532214661485247770296377973066818587256022082258860270375552532079273908726953521219517426141946935290086775648468524375498621382378848192795085108780692978215735194470060178917347960499677834151383261990380539237916563129726042657641691226910649622647755627969504725759124479879343761648139796881707054731479131805408486848148873017377374701326990509936143993081180502599883834342322418191236840603979614044065360082480725791697594226481747885739402363626027693110447116091135400270573235051620417228757929432259627980218715914669238448985878185366400516660781011724617751849261972083188246392297688042889117920907424863859627562746169789160462727585844907027650242521302634851100149947810942253114271634836957900327881441496287273859785411928073079843457396606069835955241496768421993347293398931833214737009980709570577428604740500192471613853451924004867730714899597814542434043187095809698761515560026453885965779397811293294062531831720983784903732047885937937071069045100440956867736224840643321251541273177892537981788910302144061833032465907608431118666580359965015502476894202438500454306674117870296739534991398729516047597467561096216254669012538124824028819799997240544791652447495352103976589606916214002300001283646085028888933008944698172263085719658494700492602704063806364918117457174470349503514557876825736690986790034028647653468000⋅t41+279922864183949949144049218281216387677514655840334495778099901636141222314641279581107334255677115212710628075320418292517022543997680527804164965830603650350500795189115983189274098824845734915617523906721971229230183849318197077289392661541430257576483206349255187034550377813364932493314319786049119557610962328163601329377593049126512240189157942873462858201560710545444885232815275387290567348173886985640241439935639796111713517133473490866803359029850634229874077265971528815489566273371255326487682235000722522205548289080443638616245665416063520356267722998642660664859650735345317478446409463884629089679362304538168888215826571992632239518243191458793279312317495582439499606914445276145916792605899446377524044754915534824120780736778877588675300189540758285835346571736367064686456887022527970912290433168783788423946366429489629012276103102514653894583075282416608659678036267619690375160357969354191157693123709629743539389780433295689440750128973978798421557913771497349672821317077544342168033930602600954433605405691467009650008523193903711971426774669064959847748419086127476173903509864418369645851513175467323972051042580681901617745316004794881294606936651643830103152941061811871147472798469549869295343514428428586679397978710840796507213772342725265733598570913322454835095394759438818493852797186851237446022423143644763019905877439395600242761609734456432588279232710556767808252822387780339159456877621651499227093301419129432001258251996335066531105309946490371884336020982503564185275196845594015942118156433719825721575092196180676569127609758123141611853708221598679646788226046452539608721871590535647882947337782049891505785536407584960500275065689609039007899232407183363865363092254645417155879926380907755612396384915224839858223588358982986230366014427138609813247764151496613914819228367520320672513528119504232966720209087775415927634476460936090486111032532942898905798336984100636788215012217708660563667963206896503576075596957534748783914737081121735804242904631293989827894379197378131738709687106521221170008360284573201288778025692268435532645596043630884168797750748205734051860676605741278092706253943730868178640938463598308911946371896014218931348342107100718068358012285449503219941298152420207037164314946412237174057537762716495224409782819735577436045479202298983594685500333615705276033494792954713957702084815973540002679140813741809793815980613764122570744816487250897475507031440909638838625513819054569666514673105184812910219800097443486312932339355379371256948315932740612655960523783567816300003256609970493747830467555277617541406480255812011387592478478614758079036073124938163288869523580342421357144337752193101468017159632463238527217603316904379381240538862092891671307010541871047556123995542750511785063214228130719095610388962311169889237843513624966909998728081530574777236875969737313560485736214074997341869708131347405299394094262546710097261264234805432949698642573994155751135783752434302723879606203794600699450492105693069396399639219123791399248269801052822556487906530953907686771726346295766940150570026389492111328655860698185642584290512040622735226665765459115206255333175709843086276366768023189060528641880315326563047572224363797805205586014616092201082334747070949211813179658223788350069026478664292463682895697304006890014130663792429338269871947269997419408440825764268730763410771113423694293914706726544259137252893005977949299758164715887810489622346422801613190512531395797712626143833230675819398562964142254197072425704062971578927371639112159191324251283942342279694688013652366174926334670947192925742217513662226856625454804230976712010978650843040931142647953515359661885431014986336116335942883203299229560421698429066744377886946289243538602439853157548718109854426101038345305934707079796906837034150925981488753642668559919629825727331416431899045841238431536723503953736127458418410524047988519678833863230018668873351366612137013747439313046146739159962824769322656118338217663247446988817809073062174440273660069614049728192722840662356588855027951262384122471702612763069976703946040421081524301174741500912442834996415407299053655625027137958504879947657116579129661210562476450587838767176068081303962322651779734499577449437436552273187902089043129661347772975806065755750412726473655067822874284458801345594021412585018577213497748626938056864697735153446679455390892718010776690497411820139848855404122183628482669584339339633721859942563870675724074163243600737864467326954555670228127730113578423394326394620767749323344751807345365720095877365032092575632537013080932833899431554377278684543074600016757090708997528765338394029875887543884808913693931539894266000461585502014043335274673850968796219599850132231487399567757283079671910463692522936970679449335916604005713295145553953850022769242454157547078905467930538827356951624263229756577865421604291760541403843118863655292766868081579029082942433181356631668159629259268354153626297082035644205243713178015261095544139218478047970210124760128766962771033247210225599572545398253362626817174644783492657691023165548656860625250714827056896363192898600072907727122896344346673208825669256629712104904128790305093366619867974986719394877339430282016279206550301403930992818576167860895100848972665444732860330857437456726587838801665897622811033326800460683780704319285737452516748664257913208404014937026606203532221435455595160079861274767705370653604304317959608982460658387984990259906307842651890497290513623644515458889290389565332985265525644367780105111484113047018812332985621816693343045520985199277414326995995979166084520169588248218640420931063253604084534947289389100848829563639393457428116993261786012725711444321033096783669841013191783199629333664422991373045400203499271291780096350004036335042730218036965864979574607030842007788097684897930050844899001102636402050927956298110494613650069959183070197767813872536463485252916283626416171471254325079069231388662114450602733648968539355205912425125345812415384197466745650761043674036870137279711873602251301575878162831563293769905744700977588313797748180478371140782249887257903045238874968279373014572450009785734594558467914371884137943906595936785098431763621352645581697348153724789594882361113489798187917522057503596457481931908951373856991036067230327903652738673196875632588232047335504977732952664848034719061309355502446406974920543658282339649965036623123041326296018788579003091932250235662104972097073292153666246822408906244873278274037585570489852024295447720417042667070298931654426399460199878197107103061028986577886674854181942785395760206373696910188460885579748398949634739579202795286163996752598366787021600974065714364651144570496322859583025793430933280460060357127460538021870452459469844179728233281096200382646460162150459432108855952917714439035348684836895807187901549262754150289078944834745938289752713820101998834859527709283438071732919756133140100591249005983722383882848466642565812074798919438031669264685124389067299962747354687308041187253403683959693368889031050017329222147890000595620753425325551657215389678456650136504861385926394585671855349718297446531337147445328321665459386743321818000⋅t39-1134010175294352084764782098449861048626548742981926638566701387648767056115699234076867551803137946977977776448497039045165324926397637336351127322786084993621553317748995788232246898201520974112671091343321332227477529581955781256199669028671639571365859383578828259828097542076602150850289786193615189496404368066883127705775312473639995172831889767027863635569664819446168931863371261650723112139541074100183116757546633251903267397073878272994382004822632894490853653185408110859491541218926233997194808312140542892542227752481851844536308697078517812136350804005788757392493369606249921886944228836077132518068863868688407649786638204911700385371906636199687256815430435525754181152391104776722082904947017086880081369520058080875626201368241592021045221553529303011172132329619211063371485391950732162549959078268569883748293333448019719650916359388508022602424811594404636938052252511311959748132503337890981976252057016486736121272031502252636458568087761728017799314318542475200638411726190085565965527820171522774681559255185762170829978946574361030396245176427804339876500722349360869482491018015669690267780365875625320725578613791928003221754642820439095786086828411474313735975443494401934887329585500590314608790377674560591553911229143790340305072672723256153760676022359109432539867875838222546296558084779398939087336402686867225473458262040817298710445989613071417443501038376348491804718960792219574517734369662680323290123558948844445958737903764833858872789122219563615948785050642149456583354636006331887010309776067809511620711749456850736059987563043694683991479980473639172182374747289081009318896375368372226454672794603660405942741815842731113207759901436630574665006202392880040989276220551755653202185204283324674424925805394026930480685120062980180774279211718967536274670915786300705567802235513917810594114365663823345338822059622496387681040742085838249974565454183360471771787671633387213676505350326858204054638784606697236611769347735049323503624430124690713271386583478649320239064316142337711208634582324359443251785847012506967815453021423129701495706047461363922775393020117979701127878626053076776037357871986541398425266424312671233018387265449191209064231708314362279718521311183551677489296522175137615900370281418495673027588054478443338406857380594798838668300533413364516999068917391039428748558709377048092790823760000879484168126080135019620524795814203770084601331896294651028668106366590347291624782444901285738806491493621396328635939905348758113951475858960008072810035524679585387478511239441437425281609599502464677395949492659332218890696840565925652739344076590926603822771892774941140878446593740487671730229280731399361957980098492389770787831041481717898392202700006360330806656546975362928193592082523818094122647568917353687911479080672874424345597582129432983958824716727669254127153576425952795051282850094087102741801632336375392505957488370161137765442993601630948269779386259549387282950746427810356803933348189320974968535911732081203722968789603691055252708150141108271956740900712027001857531739937158519567639495730413270669750869126409654090733319210562825423794796007350436728155310917799632446328096088937437010054978608124963294607831367257034212143314329398276725603307471232557059101047524047056248549882639952921926562496174038811377386657752011141130197046431532546728623700102731928931092464103881193271292498705122081730521135514058294239371050800980505190100480055701217460300440217484436347089292451223989947857968941097390387836030290769314458164488635432420014907631905382212920453227639979715369718119996211718431026920601694817025914563975701208247598899341733592646126311830226827290902885733244240953619832490006907138722172271860067208713324554310687986987809731848292811040668050905901860781149478879250985387401062052264331676043554040703412958982083872232865862863861928765315905021678315039688222823410454726957619604634935902988128596811196681286883939407348573191688046560417984806910700974450287417044954915875951967644145915011673625366938001711892892029320080689875949266839628643398643083495918672269010581974522342321535546536728823978002535259982261204915822170252951440998142244975532812416384739414089334025809990063315481140963430226691495787125574113369203288510289123191561013302187929011008927113367356115732667931023536831505034939019904742274151421753174043409090709570494507401376356069590001313439087380184853663530868366032738113817462525500926548296941144884199684724759274360318987292026014949638634808773309058319141705206648146313094781850524970036116792658717961080048222660221687265741384302126839812471768534717461420609128718706565605350916845184151404886294077849715649711686865213481238627878477245231080041931225157796234418354026844998745549986867690368510270837476455055819566584193558408495950641155078684874341378607307809006309840163482843641821472971104137012823004347092038088179896387294623870872886236395646091732085178162180028623254365411820012265135652818324483435373856717276119512916467298393222542514815531616522237473957132389142442623320015014952558253449819324857578429093958723405479681871775150458999476644580472705573483473636953704023063571332871511237568193855649805353359407690434825996756728969282675085963970539095547417511846573463286639603328655705518417293942648831048949525899340568521370570673144695979246695807024188292390902003386411162531328762648407106176604342440224670910922891708496916025374786346642228861872766310033417129278103135855316233385709171701666010801825800998763597641792392546825435701516947871992923665574193467849043411604287270185119851000534037080120559853861864856893950026256198974757771319598305095995765777572275577298373422807825227377380010891382379761658693546146693452040836695841741795403073159470473143327130946029478190384332649031661089129254555653372794705987962258893393084629205557359635653156248253199432795397757887990690323477000347498432531774924473379457799481043574308679539061291037153250645394845441375964812151453611796305983881261220969868974737337809466718587385098704858077391966089618136575785603145697848408305187151099782149592687388168633766669339796584665652367655763556936559200773639736408280604632120847534763775724454601377331135829862648202440644320044630353827787670065486798592709826634633979207110125998792936145015185103311718279143031397813368160151065533451080105449128466747534735009357576281698199522364509536381654950396722823033578625354360692864078257872209277095545451158493343368802520465149205751133363653659543176812633540473926385810652934183374297046170246966621428873119080486344424255795943109610042645467718353905346581111238021539595341885572659962629285347379248184432454861849337769956662391135831500314572375007141883485596517340867400792781935872795514995524629700280362061062989286223892570031485971336871063690732909872542304805058058372399846639630142931324327390486873884191090163292604206404484716203986207653961589332507344834937663898725774287490764327429591320887472510277066093839981887957933079204017274166718027115894040598405944624931632890875317112605686694585270250825405005656245098996513424427830373060466289291931600⋅t37+566744221737785667107857196252863439399121696141566629539169596063110459292363766225952484728011742050152346866501247926120878972675927212542663708140113433306314842821953159395726254221891143021559357145607835008198877729847456987797759533751877763609565396989270137939372302757572108691949018845267435432096903936765019161321408502435135169669598759650974021218050203003914631101504650754105510479808439903282527610477832412777316041358771729837545668069238612156392436170867096817551462543356465897669732504003579298528109324779181661209552470739699445069787775391630701243952848829269225027234782702529430541791993881683831760865011533695820710072630535147916095341725187187599367927663573141877692259478668306653428512165163584646245128667914270948015956934587125839693884752763204140225385084191862109210243279399772804854677239824447119628545667229367291608854298787466743683453680245281355086282660925519532315712445674311706045683554101010466787220857959927711193469349132735260820288982567565119023602045242569381049955592148846878325030287248933968403381894589969203978002330876822754652203702256124254777375355011445315758800237051015170347723418606189254401209300732600999537148368957149177285138218839311446735095437523855811090593363056360324482086318776997625643460954840666220761779138894042674788707058705373166343419986094240918512843170708994111819389719531309578070344940412966267589802092560288280034718581544272384577001364619785968576048259422621073786478470000859248655647953932678421217873400921891555596550107009414029586857926009645990189245982334239004556223902725911311819887794857685928514596064474322000269128969608752268427866979304519648527721369159107395337660283502888220000755382092546235343776634823400154050470298572622007035717652890910126779525854190116646012896425246468552316851188101224300785929126118139414325424938670734021998033108269338495037224793404602013316050629820964301675524974467044025654669272471462864301049225024355371382147466504595554397799712132291691268364900814914907931849228021530557857902109267450621166560404339435228840987472216752833014360981380506520499693202918916628826886711487970905575193703463882621628505823564843958936547170475919187103616340404989055870699581185555382968040854473111095249682578675126711634634762247109985359101909330473888900830001503330467161319923720837335829867647764655817885430627617296404845487723858653393370918631983747849642949951378073659948870387807791455776003739584610635373902171451556582590394614667500427608324368855931356286665256970071617227681674591368585530970021703196357326077830481674691135195174210821459784364833563701046749523510964052764795837963094696602075188090964959376308245548633662146470739380603967145356807873089891535834365487570517223336007162206532539409996858936316602243026749630060208381254518380589645242399217593351230126046068502376977070262881025634740459588130079362185314999559500094061572730114791198016644951436018489460295774679357750529423748762676369566950062098283326746109790550216379542792667621759630944481354668408549327787962597001195127125692379632763943916020517629258789390046761159539759967080514350846411759226310375026688542724913183203239105325502097301664457599700517191852619500951368266480878080400929875604143836992956929284141178664858771086702803345708455417977508960869960273015077155745411574825409201568481207334513820230877939991233443835150969186570792537073695403054870759438624305641453967926663596247518083151061233325157913189412465572721291992549057950428968305769102207951578534131945952881201592003429409972243115507160907525383089366432300064206159733211215682012552897383915571914198432738880425561155368116906153909938144967455577583567645877847975043365281388187789850385608750618524819128415530469070961384118303447286383385269378068356181790013079993038923047210941720590443713551421163523130381891233871912005566306906236728185360378361349498701034649032194122840219291650258662022817689800128504770186059063540092136865461916753713457097324509562608351271502140554264216376464635420251150119402040883784015016633101436441675002233251694047170577305376080201115372625711244627132802816051618347530536767173031947633733066128579111385474874649315435686033519549760599518637030639662381409315545556032478701159295620545496500423639657048304156676618895277791692443554684633875575550393970695012674484641761130588070888454175520219879470419363177304327055047570985873408075080443538161785036770996948003035625766292620318459807329986113553267613372469724917010985160853381518026302324485813901780268017425627979328895437339790742028013041830406637308166912153219975948533983798040509622650090860840290593886048357813609341593280270467552080743223920208732273070474721459176869811384193970680192802876937060512594013173758796987656356329660682635760669150976048482996448464439176593689241273539786652762878337617849429397402466155098110850443879867719271819865342125550833594256730597705141955330806583100982158926344872654360445217098380678110920535129922796156579646074663771930147731987569441901105649944265043488375875450838557532290311258919704227223872171477871490132756921820973683331783752494983764454222316401061455993488116074865019037011227212418513891619991267925072007975055284311196613986735033946194011053028420755131899750910218456805919662587469289376657569862025335254582013701483714939003513352855286908751371809069089012318227351649392614414198851711514622148305908588543175186571806122939934344417037397668145754783045655405851671464612352843246968845927523375315146380033704525139961179011137819087986429062145989679351929175795534472637982876127169909722708208305665033852780710665066111881157429101985134856254228091777062029837640196132731230000498075139525335900157352536484370318715475091277922035751474088830250588739260667956613389163537921263761012480449920791012430241158839682302228915072641693845024620274610109510593979117326393223678543636767209487952020900519734750690866231009408283000792734110254302698691640196139154935390125563297603895042287781954314759757637453914889593448723286008907604619162699761074169502781682203499003520454595161506739650560555582380190969076047443714106765548433241916586390235499008453331396653352208189739301582229091738994182748117831796242122591711652296912836495849450390777738233753442003730298579105955744463457523470226861693638324467264877536802923727723525899346685333224350883129947424732449188640924851630674040860959340598932838553531116583553905618228686335419115207025357196148530147342359223688713785735281833988365027718041782437175330285272157803925244425957619806798313655391456994107684359506492136066855530930070123272032165550440565413000193712074462664483391570707610543039568956744373866467703834850840097386440956312313295371325758889510864771832445404989737872486309384363304903340074770357191618275872986263633511893948938805617658087565836689503742705854210449670170342636107167119120462794558065112477221257297455759125782948070912991709199571267757943305448329796276266190403858472029429841004887160441119058646066152640194242667727791874860036009597212616127873902109131922465614760736784354100000⋅t35-13745216669653766582274984347003747636378625934999087112178596453286662953916153587104839153466954750598651861484601189279600357776497662799317235650208368987835494621160420085707589027334265644783253126317039927865917680591284091970817635854981989953158727186442628112398864751955365223107962399800543378283005781334499139807121096516057332189436126467169586452693764021030264411612174541610328404146028602849483928112413841695278997596521561832890354716800552473292197926272943733223106680729146477369427023644972701123195180132106313348927470564905406914881927566073337811955817027578686039663350563633895620519106384370966709017579234207508735607755283899094924736257907140352751870269674682500218712559138167300929947698073791578791308625115579751678292191843951622213108894535896542735208228074546333632121073887534766463914389588564089557345092144855809966298913410934090674243024296786631055575120627399324252023903973621793839274785899712998032888754550441026743158584996812127426895170719088469968182488576771404999258415749113864799917773219019460167965245399850025439892046781566026872491948404436589789066249164813884536328895635207245897757106934279901867682124001199983639075044370979663241975524748829447817417335553814102304283600697695301565159518228300167364089743774130241323600727339301110898708556938824947488019582694947825066504573996195307760466184528144016192860097567858262462137900361170905144701184808569701610720471697643263727926365969836370115180035654982308670992021706710605306644934921161783624396215306340251953758776654087430777169772455908742930967713139079681222485961976971081601393707799967969364845801878354027852523262576391923369766786054828199447936215517539642502537360295365166244690922405036657384497042503364524161272911857418444294977143959360269333059116527683159552984866087811119629073234042001575927332362623065342687262721011820240151427012638413336514037262565112935747839212335544352922192190216879715526658239759906672197277871154524492398489939388019492193742493997809694192290930373907641382912016592114611014069075875454304648770475705827855952768080407177961950167401463701256863120187228726297406050195708894329779446563097101752841299200347237897958537219346188025518797198449522089442156549538720321856114666270670087025525279839211106577062989583095620228615767628408885375039402257596626987987233837914764164206872052483721475119736702446919296668036958031232043571344192722217100254840869841837932832972279883519191132361464684018217463400487888594001291984791003954998211579317500838743738340766077687795231642058809680350356442018055912059920798681570531775291928804367981163656040994976396571374676454027978654889413976718203212214523986048008382798580045174478613256901898694787374441536076686842347886728739955902973748411210857254529810769476837761415339732821954536950550815991376720985457321620090764502087522957580173939808945011778658728155928037977334274577487767264465684351226731677399934717414994145957605466703879858345578481485081783606261311434895784377984446866443683113325519037016443007659195839115842191889358468952457470541482500277567231859963948800259287754857775528571416937016413312978880039632536958628033486449732836492866510252710969947713308271412111045914090360367165381551793065744228063191155432025643813693020102069274469422031495240902165942811567649304728171094459229263378793946408098257587207739017586296993947837848405032585858987510925277755693456998167603579437320282580283071617456747275016063566108686795636244014185254815617151575551505902955921999642997982768788213737939684569771197974268840906116041143283569237338170947304894073444477192867467217281543745263245556534268532183912396265929903519610704652430155818823284021188489826061934733999313613557843124103281073150650256640998404324713061967222406823236971136421372499232259032502052702123744800547596638825609389329082728687372016268770398066608166209861996229385016502819613331171417224829825551836652039927047063759358269716144384162347505022331370997895108484892195186044436486319940301275904647358604785524084024023245641458223309183666515023162010426832083416052900488942996578946662337132834497777906784575816709899537445628315574371562120498083639414220042947258004788473231360721864060634212698616615515338279707672023551721657577990108034157386697396388933113881096695914581443488480969279800324636845738226427408297241992357396163252566178507492252381756306313779093367772775178691457267220799095653482632145769490090406319302883144593855977709604104405900289853571074668279356886958506965381441324178208295014370185611115535838401124461963833841074552653273974617681464837652460533962999800628085213857871016589587253895434028524592519420611580279722372450566146416637825419462964043784640324483142498409375799030617908059269808757693067076195079908032082908694445695077451216897745814548416636998358712940709615865124082035917006122874692534603668342345590588889119759284359849005520199056186565288079704733043534007519679243795474680191776747264690121490342142995383186431512834589817906042505926002895740850520308179441222532982753834896656771081503842350445664184781454805450360600384201412500061590831614196648595816723100732462461005028626012430727945940586933087338007337175396998430520141839167919566209213383600349980478117510845988011694280587109643407181486963619938854719905640379170675388243510236438488184832796478513334059408899186186532820843400924405233465137366852429851932604931220730446360777033343525273581529625971035587797494975906904408116631389991173476885292554232455778135503594454513744086523683973535701685550102992865451822257530502508115261790777981230846141611636815982799183399960367432764686302970080579565637573529052316096891319469614005165750732791340907346256306966469305534784518111019970793859835582313248924332070521447436181836154821292786582952035632500347929733108705020259890610540996164112490276670564352731840559699449719866038289899915546473816768247534700022412624469005906551078928057780339417859011177100378329903302270772291825724298995697607365486354164888712069196758652035241727907316000379140672271707161139146807940714801246484185518670905040114552050703006344806307311259464766163453133013889716244551342433338616367867613552833151464425381073336369772454014308323708107981704228381442624351970824357127067259953834727483864006716600562638594136877479474775729881698894661818282898938479313155410587890597576510830156475877746912419338072235446783217725569479866280859078269057518278775394861434418920054755528150754234257231549197351592507900144618547629276989854101536950937853249332074742567651081625917111110316840642881618439779101649360441564221362174137426435569116294785229427063070604004767503632096100894234506100793614058595855867179373346896277891994035727911212683205005076628893567077500865900682276568927061189704587355261196971819970423357241851041120282451039963379710245777859382663722052410768768618978306514126416503880835180468542184016075977432849754742583984124862746669139364106172808132203331446438476658065279258264003606236814914668811157431096719670016405516328108233704411949327588996795857661661355792015380000⋅t33+1301910954226639636980124306477160710161414660132297393422411984535748083715085103650653456305825189311255474330771615347441896136130758440749663652988025977562119200901696291566021709741461544116570759338930732410552715968134202746580117717885989863242236329737487414000045374497818902483862684824053802290916480822844227494506862177342488277802947108149028523114971831902318174680002861051857751102587429607217161955504814094520753446992617910070657808593135501695354090590172893948484484005423809135964654104632431460028867501410020306343595087323302833537006605405809911017022034097127369720646572229092573302814663308480731289064622342477642655555175078330194809168341260485023137767248998915162614323340504609776281046957665299720608781325763836014895296563152121390461710493006495043154220546330392683518147474916474649254337464283268134898932156764721604404765520540285679735917689025622683856884947780081101443369495540717893748025698977863803774278079283938299021107849040059959405923762804522468036056512632037191422144579670929540504792935937436966694625461894025797451161114605379992854078454707361492814454212656170385434844108006155219761007220331490207321140965992170317875716902237620633852182676245228629297265898881678644009595320589539747916165303202275734416956787592842139074853526134034017367199895158210974019837764406915781169146210703018721913014263819664020491183134759038620302858255090517470448519335663851885969573959071863709013411893450633189466630960142797180386556058235091843350302639303350535427556910525915945081968581914189237507582182802235643244795853822124189617858222344729432482126486575472731120744620501289452118155477632885245895756797040908949077839662235670025896757824300209527430360365718668387032398823162102205797244237931742925249067867409509080293608528715104706908159174770292700184772922987121014667396851696488489224959345889593563820610208642396782648468959612468224875999134035528949845753164570484586159007076378223292916488154098247236789439833284492228825656295658454566713590752346521262652169242962326449641034019475614409328142851990391488553935678460150725056027535127791255736666883187871059759053265539642776875643047407391339460674237282834610306517311070666515596086320938994052790656129006508690132190325290928958074108933471821403033609170766963170507181242655785625063690177901240238453179867455218581965934301722179462298067494305484195584104879971871068475441710089950934999053396434550215692666586015051535559873443784036901834707756186442816648519676149773042731328051644244849012832705157844866043397278002064474327970704944698728026522221622655290333062268464189938486186517360015407433379288962656727846355387199745314627501479513847643826354779732006192168610644048232183365381253189763972137121846309361362571641030448045056589343188362548395566100314533261370154932362284850052793438300489988370427741317333622445251970561472494906215381481758510900210766560696948404287191228459753343752812193955307764759386078953759950146780274059562178315223313409114845387935226522386563169125335393477560076324867209841447924254397737380460737592959996742036234227807484334874281832807139132000116381803493719576897252977745315643377677671443403290436317861210986340758386661541185484621859471980978484005731731373069803017178475383888473085349418035295504220534112314609033100777260556759949667218563936828744466754271936774820810233502329906495702275046448654031166085521981221524079783498109427570165279841394829063703360307989705947888258074055224755369343745734189899396377789910875742424692979802772238655350156021991621815661992197123249590223446078717961750535188795027472279147098005296635127035833732331832790697059946853704204295381133362271945567769757287039933348952455743245316270300377902784822776685418930243392866721250580191883509686514280419904239573162273321274024728794780987599401860705624893784482417520986270018079319407494481679264170244239600324128854153798626335196251965952443278327691651221293695480843037084845275486246497778006556078659017793037782468260190078907529217430045081557390836207361733500919683643058455407165735288816540426905302870321112155683353652159460661456033329119881100150968741786923032196880080406575946639882996856924487063258598207100365352535382319273207992315377083413844817526660495424494327412850211986245842531608425993429128365566769562506399445296783922946934249549073894652663962706111684080703156860913724904965056826538133991171941596317502928925634562761429401389023716077153758778039847755607009439467409028632592447014520527748851539664151154836062952937294965200074874881311440041202513685618872737452369287207840466421763926329409147673862280985296822572738216822137697316713972141775269942506834381623542153921762254198683142746125257127262242753021787694503825699480596103450948368314257524723833038490340965997836972247868342545751903897339581737052192388510896283336826250215285650128394621627811436554637104798237944213252271104006720198889054152989135767106036040038897154286601670477475782968358734868664086914974649553053962121347537450922199222757258816544273935414172127342008223080361282462812451122589335980190058053334271492276076234411176384994533330175012205622363730472817431067180458898584830122389421857390129075095359517375898298418612062756288726033990179012892549597227349579460413718837445700276838086437484599485046928088123760203181481316802905633156046538822789600675430271436832840681695045474647022662033820647701382378275034770168050015414607699008033927000369757968954200869341151023049256105229725765906074803332141495701764107929925911975568186634533550870850052866746544858856658154752658349308437935652020163832770312730675490380797328871098280844254070908908384367726787037278607871903822526531343822809879784209445591007810511166940695640774095067542652007175806031698286327220949615738497738145358582572629475543409085793609287138239454277809136006020007508403453503547794532823602485338281741874650893192219071477226239550649033298624220885608820200949325585947591763504128873256841516820875765314550793344964088533331399739770002240334642741261722421984061033443079308862457970748418701770992566410145531738823716087088819269522295462189166339968654893591065396246661820420296181857143259653263237623287026396091204092953054058254032378481230095022952878653529146088376109590528619842714205136484948413649432976792456121347486991128081693718636043556424798475382365826326060413287827928326696232484417471835277285814921476761984149715594779994148028171479613484639363578106727330319360145510311817253302401217231434243083685790822009598266557928477724049832861817766101610580007557914318139807770316197354160221386897981461331663616967331980128629068685349028811078418174079035764759355527303398203300287453062003927891682001085516423728258353390084506055970159964565870226667657580648492109109473055554172435336786898668176321129814972863367273562447748958195492460193070472236556029106645336739393026026102881410212188217814943068835770897060730880067532088141046212277003668091875143344521991395604481706645841227607436919973796764702839334460729222989709564515011073506250545330891882500⋅t31-1365054098875293846739176535549059787939900125790063830500306031050241828785634258244663901617419410385424459616005398406594620303938922091473813601273801327742476334514956611256953441926354251343571195815241068040646847006579967976108760295770630638288470767735026014909754930388049442687694250997169602389620390995743263582598800500513428779676450165545242076718285378416738579257596098359014780005643199361486391937524256788694341294112982149892405201712103715170986044070106953582161347235159868776073740084768249335126878439292747682065769571373467866509114400165298581228411871920931503731242151657009962369635456998532811732204011430669355304284471378889096614757609141681632699958711595447531467632171404843273888992870651923440027326328566185837083297986071826146364779240069825414693283057494263114720685773539314875881825815812654584233842974703432406225132855079265004973904670030948176212018722546499036795508330564268928915997182294663877622610817719637337817289166848707271123833114863267267476102620447129867066961419220657235121528006572993905134554849791653723336004561534644220030652192072887021647534171130244542041361448138873338047787727022190808700909771026330576820836890977083533538211807937478974970675099291574649848601644379372635435921228248413100257859510435273520221316238497234074717307890171005829402045443631221582928280059878311105130528414024405461863063075117566892927847818256801133535224156968060112401419027765867165127369804340694132441125213039924406731645020826906011080369878280114000041216461289878660239195079324797391073498726768793340107085849013528603749625572474449458478758457570027453895132703901941626707146046214663939856521230118050536502371302854345171608338430327703478925374150100446410363070286096384130870322963052385780099056390450415530676253653174675262961882178002597479942371305009666344518608806081819433031788161337273940044141871579242283909077169138900363415213018921025015808858092378160392045293682971100228430109020944095349653928933473506418614041370689801337074466418237683822619525800400815983523349059409772509127460390566016595526441521516750900040730293455821158360214279524355404480055340872546470298173235396219271231662532921358843137229628920306034536521297559637809478665561620028108151311498621593564728119381465021322345574300815133001460391505293194051262392961421813805604625943071296195394119691076428346328788069503904929061433915079762153489395364886099908123617051080929296899764742100690234031980884708993087028747673165389957149738368247309822745326534710140097408448008079876010673299201766028247013707033535608957583396747758244331963610630094709578123121000892027112732491085635421587514672642392061324032129193582779963101872716375230256487815655881886173109336129242918420470432474504773563900851855084906618279052450997089914361780668862064349762776242776229580906500787538279275896764518451709751953243272621951217239643640035703012194914028279314331138992873289067135250575119490202099872667592247497498390624196881246902267169315346159010174562119820196823677357387504204379692218757763409362448785459922280096996489239724487386514313610645383241702600791139685252315401214078383024757280956928153405299797303822381166740655960497975868239798595864312131141412884801992916789989843535347508897947121262792806067817127346940544928967183945837702307165269837239071999512270011156260204431732740077200870916378372831040484090503162187662199100200403098534442171005134724945687372436902092609888806358812260069786167934139158807334323934025378996872755790237652360439346901229551964925547833366740980369115428756878729483438267098214566540040227636294715511485517534963471975537669620752716273840923312289950030083945001659803633373959840575024367607390271775795678200373213033318971768805320498936885190667796446157983192856321809820073599945961332748307532518378860547738635021499825134745822282059406368420763928130843942560273198360161883077543614686726672285886148948792561349274983533749202263054219696067389249942931523398723426257243282262852560927044152713451765384905553999578755455737235964822974624858936061368501605317518232735978212233787362320839938317870099200396535164262914144825201766643517342225251212574111322212583936230466139335446798982575096150057207008413096338376888629238709448227489306547607513934520643384850838859238274116959950520808093280482239424728642208014520596997094344056061708468435034433624192942963944177353222608640017536308171844965790579244788941626598160477024231711346369438822201173183737373733154290978790958993162959457939045754655277466438234881360661940894822319480103638605170419235740642253992386518329251256249877250054491681174368692761547756548751546440081616162520325810558964609362337192408355895362679986198280481807463033164179298350954531447117008972011307765455380973208444147112933893790490956579686428960603940733412805185278734713814013541799992769564751746808940844812876777181055041977062136745719034493192937637565152597751867323185804326404682019111787046320610067727012376453300743881328836212831358623855852647434266808647004903121715329741365860535570104456816761248808684781277304560772030035292843656830573874526774990581342104671470777937023841111729995834157228327651449292372210258435255494122918287182412286170920321092718481127932148429796887129639351601114589243056476070779398052120946936549477704536852484779824685758938699780768167566764990381511516969623438570542567167419286119976367845786097027957021786152464186349131521894110133653289264709731898680521344394180082721159379487872354164576871527697025148596528597841079095935822049409681806621690117693249961712001611423945296854992310318519990760168401648148943498018691142699576003135898236583977300647647580782272582144043768431191222372319187291547812810840243580074322919870282649648736514860947371827001738949277826746261961976973058162559122861707657133123661100062533551719985755496103718515746955931519662619827431336457587705971370148839261423553615241428479327388236674951931910710786083663439366563077683615834757927285073920992935746064569938610890206377909403683023981916999051253940525990493692153303572877403364646496753521007164552439658986550653111945132904401485755383592309808605166284942178418433645541509672835249484819732005926779868319781457146442275072978100339731194443910094565316102020796521521123186031502069976498674020286891476269217873237685950697296625736095133729658050310882178530498404837265271950730163907047411291261986563651571329276660352263002423519283112369887739415584978903639774722095740357603577920738786240893618128866609891235529157470019271637225803381891018274137009693888841303044344982641164486311961306207864223853627770623174520628354181804998735652925001261066397072375153118688624717124282207597582403655408458179613623132174378881044055723702653948645612458588138124066862843251589385429112820104742981741684477822137575654659498491311188392139003812982365796460960538834910505814914370619596342892518297590537089975449588420683265294891276316525167960293337808317214682690066156273224839069336112296845388150160706812366859399667100010920723542868344885988062649831159724244422500⋅t29+84324540709752188421816648636828711877409244255057889902703644343765654268486497024335070651855349339617222897498110083588776125112081358465401039362599027009043782304357547718932008575010023649789089338610899918956515783822308043210900293357755523322818844641495231686668581753290154785331204486196847918457212606184371770090030308545717544395846394912035288526617454406388832056644558774432539353304188077762319064861037256161935821512066160551839877205655279627619274599472291776633452848225423470412289426992954755299817186394228529556757127888929866084911098986686013448534160628627531337092176059928536268585332558534729490791148351469297995093253335868914800389585209133493611007792949941287624944540768563219037480730712738707328496848766390339326768698866421076887960500637780838524558446312199240697892885126987637822630621311550005943238127014431734233059969771707114598397668863523696886864762223296037504466168091696589604158178688174143685046795220314924201856132424710048792031387012101499992415772645470889841721971996871433652500350007082502816736993487344607288884928706732257846579344441564394045601057340845517056548907287436729250533317778677298866234098485119671904475330259441237740328192356012661380154883118525839536929953554147568325700355245789651904033165665333986070776687324123047026187419852221494407233160729217621813774217290337888675322275992223043887829275550923706476095769879604993976552808234842650127809910350692433660556549384247441299020956616142548503582304555610605458097738726939609997806919607760138029984395699895202866992687858165929692350439882851364952121188099809346411837776723422941735797954694803242870398812212392454750484627898886694249331593122894025171690557125649982027705635855812765188614149583483409838219177332317629882647031309950389425109722292549344766226963799045901234603336866564216179195149273522343478271072613873743066350582461364301301728783671603822355339735957483567283236189814967255775916682100129097473199150724959040100891289640482390775639746345504951667520285332718469986658305132792122584082822142744448365015058135432034516635747034215471633714961744443055272850065232609718403943009821478271120809224022316540579381597143118706699158648956699440588450474800736460919787317069163461502755625948281498360680223086610945964515369844115307574669557441506624147996529885061319419830042824445363042184321307274787571322442565072498967153641759069192501372635709976379255939409935355294750139439795208815663362372797161726635247226988652428826014180270985334113864225016083021474315303296573036267731153594842843546756546143582762666918644811269734902313458208039270244644848307482780209610350748050508418049832983136895803926910988131574973963424034367274426778767834209448570772451270939948203197781194231046364153853632768125620607053245217763923200874287724678350528420008629129502837398192871115066535837130448843522000417180716367619620638778181006509174367296536030545217991693258275986924068561509728822187948547577860094369519588531911864363557960137246540248641356991148541744235948776957831763808846981068952695019679142917748272245646185274537247034834271382289159282601842206014343181210988274259121855725630918626037526516583438988625742302818316710105477924169667584326218225609075769255696430048346814147288975942960284263862802243042137869024527383736700203386908969684393750031932509846249507680380871445171769135551011776719938784630527385239559002848523479925872077525478890525862009361190590345171171267012786739769266495186334953468665428140993133462702459705819642705933458820484713682231393134198773427073968363612200043420868226717188982163159846089177166421048950402196774208118932158458141071715430324150379563448962677365534052347824148014182368388321018901324292364013787160731919442965077331803034950253582613734975029714408306317219018482516541047938639528502512538629586134538515512668438375049001695418536900941749078564838687675756224944008300691980366682323638301247975855255344497488160366770786505896528109595889126935002997220246697611418087235605566247745478160275687760878236097640616403293045076990911104112545179958373508225751912011994830319303946247944991669723143274818548359351714558900231138432789287443674172663267779092138805571992789694958644361520722660553811126329340155633749305919950734143697043024848903795390029630669086876077575762736751271486094610568833594729791901107885266913849007600455292769493640252763042712803575179670196484901365154722446119562052385445714630716570212290802271255657869132706372339706611913500273032948741216156863995287227491683399183722182439236821853835988388346380373409920932686504766205207416379259551746686212899738769418571485468448915768309634274146341714714054321115449872720698991184557235668253992472053668895522468283153599219496693367728817006395330057879356198805351956051237637205387487845767147889688057318046372985026488362124134939130242102127837590957052459523195189783611918653400979790286732815544201074931807168214815583339868421701429122615424855611177535084124445743998139122550907016767939026524524196681519270257261515755047942290580732878682797758127731633631988094112564152534969789033340913597286202999176043312332735698078830804853791379651266894200599707188500796593898825154311015385825773587967029417676612880523647626122849846747317903909485204023369408598371607774184939261852843256628614391651594107147048185145448648316547744073731159844181477465889862380394256541945315497695321913250394269985180558261319404459365649636937121268371867801935611384861815652157029464422412928360632150493164936494592210101694869995330790213161360699359045482742777379977140942881457238197373180685831793821371647838688835320472841203863366578580655438883026612792047836930542362938661182574774752767155123232887244238722789375001325634199854649592356254084893931754047977031757073915300816437860369292218637651227499445972439669055884132036757008435247895292109594343153032040553016932843850222130554177140780806306797991445815822072393902859604463207033147324095066627703104037763014513346617766515612925491838989050914996994627458199413930641898182286616756010546194581880304840543377966974209861194112962339262339218735917063890269967744934748886319379152389866931765646430969519793896338546096002452460635166806120198527837961232317381957735631962797751165283594812353732878559737173270335102899594601472335007952223408697634771295155477004882922617124266571935943654512346454595289957309202916170189487718578062719170735169800936414795939013701670298374930586887822195768850522375320387687415478118444507704053324114437752632754815180388263679642778713524803091176425057451573673522061782550821922190885327392092629087353361313594742767247643447752683968966039061957409258684049112534365706599534178309960133272465453633223365037674019742367885670063702887839638036470947889736348931692159487908753146790199341386680478125893374341861444680491748471311922613392743363156085035135381716516291290867452231386881761601554472599829691317213225472252268906966052535174265510571592837268754319955105821794253364211884751790637301669045268827765521760299397048970297650232820619790230721830000⋅t27-514482081854234679754392723857548259124434667284028881985995631631212036713978038929266401895941383033375965391998814139596725034998857036516535924526822011967701024482355798981445309524040141213797157995105684292717801633201309544153927771984246291377856212813363005062816888770608870448895804396397403335943048622962050662071954938536507737575270947216412967703315729557062424894474033683482004636704451694606869412933131106317274903981542000958653550002648998700193924424946145358104886588185924471464403473444427491529248413570985465515116013171650747266817551069353710671581598687767050319615620634663572734818377487912603947640678017221309456656864945790595840121345030895560460582515710739997558949002291566179619799785287616062383818962316607485171513179248145400680556543264665458881751293403115321812193658046393963407801105794991910896039991694782189008392359865871273092391266378780322491317632811304093205436136014048379989246448417454651860621692962430985970757199507467238005408886767357529559776615520236773120361668876979959239854696070754508214456582433473788783844796054363274592942929510524445403118398657029320617793357517443090561439133214374613897744911400972689523035880626549722127414329392713744452093165707979166273430577539688504693612552314074435616610806055539479496694679978410619094234886987066835962004766938048222817723689104514261527804105007685986718886712726797140906097120482512785859823070772073966016422209032718329808841469456787345861046703161454473736388857035022512813755671493692737088006277749151147129537558113807081601125800590764555406607756283226088265750074042668700588588111694909130643709894406316738620304553558737883205787954392487608605430398489785745065473730380322458559369297340814391220000031624937416437427083314685392840904119900196331589745939561899780021054937937850075620729093772626918800971850558134293913282796618720807489351834690623176791968888525032232641220002912388254667638454909719429624239235743472934432524285704305281587279994333454083869951545538315455741070477451063421103468626174853428445509432376032488107801743438276773520785546245176191946981859326875992474227079485704747498827301121854191672822335886727540899565671942372195050018487755184560182607814552895656656072259745837415863233679753398594549804364121818264770017514403996993238405948084539938566423520828227330287605622936038789546476257590805022810530268804916039670116010178506636015114440430596157252145917155723698505358441735063860057593406040217235016470081131569352468192667444057168975951416295623583513459031794293368512223412805780363511871185526921704247599192402459230886053057572249075633511117222987470852779566046216990971048899386597731596531307603758403796160293971395385745721940803719642996960305286535374291825992314116646719452638875735646376447589895046132587366518130867286641094900937957041236597920201089851222269275716202946987446009585887748629803428504559086165362075019838744468823499118517904698949874934443029448337553975077784624384820350322891013490214837385674570449113755423900841122902495760283208013730890906884178734161206575879515029973774683086714077892988099423796965450094292964622076949577564149051988609887129547435910238043141284555847656932731556223548094252354276893342487007026346410399510233880226127834729166040810110404247778541245757333080490469393200853946915813678992588644408460630087733375680881240235386726649631851202742712377623238611346747510433538285850569759373284071372290369789731729064344708696251492349540314354374204380914995049104873844348337504396136286342457481308080259670768317927946368947730628096317202640257308276176597076962931826043091616161304761409803909115483702067923418540526442775345364315363175997877056359774969791510705487897989526511138228860484796850102168370567164424235307280517724247236529159554893475823713804260504563048661871580111192022953666692654247766625023593408905221470823805111901588997769808552750818811444286843217415085108008284671048869572864669806222971280616846867583205875931668109772711372924016116076402680045210785780873479292274706269234370860844799481514142383461595827387365022479065735413182696079664863008269810803940772687875597358206381083914926103689861508769176453504536338081400165645774306149424532470361829429155538690454867482342175591739235538661780057752705027753335940192544375162555869811688065427011823331014623582647677582014907721106668040696515511333459900862441465009868388049470835344582138778199696279789136333733121859233904176288164056530501936989821586682080961291685316645493838363334786368101257681180895903273643396669580892587698112907516476086258226849057850395099867145569413803960028433207555645978863373697626110667601687551942307084544673129661049828484699459231261618048218597655470208955262506703584809387296806684245225301455213053023354980354645506151454950742123777591589724664620190170475881679420322504213118840486938061551432683025258288945832118035368240526397676804723207484244962004203451362688984571047758596984392370389745294270665040504362765628733651598584859925303975734030168772583352346088877956134194436205538052699124846505944860637623897165308666035355824349386365806100764407010687520752798669445362980114788442054313689800288747905574457619284619518742340741323520616428569719622072868400274782948038815100560472252715098233474159695512255594977933718669887493932295818202619384922652829884845645485745210109574262147198489150243267072041679075751448202594043884157597241103975824348042676221176053528895650981067936349080109185303837165853384556944124743284748813200412747201099953011927159627381491584114729225617318195394670590359364157683664596169105605515400493321401163774183513302449886505563843167464760026128864665418393402966557434007503532350817473554556170445464228707533194884259897527577707794248171529744578559733430507459734887440700393099710548177734899609850277511023767248063944211721401522579934171807312026905962570982488489634332224181025822381586301869703273106992429840257078545821291037840423367230119846894820013055219229210129852998692702519681255809543033146701116924318236336975728754434296956597670389983868294923224589391506101044278646981867052237401613589697428648502988301916130450071443743269263442718651948287308172311151824001180814379895128872688180070129482226887609280119093198917227729138242985130645232466046389420605099804808116309448273292752335898223216185970409758444223059832053154343241061500144805139609074801404081943086679315363531452576192867117533049896562152656069587929541834877353518335436699228334812459304279251059264914563462507066082437503605372126956865041602808238525381241694328535472436548265672617962536352194670266821412429396188027098369415532030399440429502166955757271124551579202331361266140516456223314138242298181378959397981102305801880833841141782871922788684226752687650834670814743457141251515121207090297290600579133846905340695586903434449150184962003913471149226128028146752396732843750995518815906033363711412733251332856435997449602944288539210479898720431015952106833103931830236136419455323509425991602899441544355129435590806773477487468022735905667654372491592569770000⋅t25+2841740030323675760160601796948767725858939143368228198048183892753725114639848397199893848200255583129290860233871197728073911873846959658107559361293920744540938635601180431669391109857217245178358235069976407277646992065258593956406909400967013041062892322505187190578280084280606181660321147921197193105328031385858933866486600889236195558781045018651297768234723094462296664934567720500156779921665844027378538548505427547609687661216954511422897166082146203503009761562371680421481672839947736683759510229795721515685797687828961663683846542973646500006623662555181719601611818149082986957314923629740623882927594624533988709081023952867564589655830472481289188724158320733084972260454896254894258078879015045736238287501753461769769604353093767597059920972293474434643469187613551544416073384338798985781144527807569164561122028231390004449064444754913344758400204713849878160440400445606233163327127717880264609138764558806587092994047921118838967447305955375592273777943726768839748822267217980135995230015303702016083670465269172815643373003500939200158196885901810107964261415769849750992766163614442554314089886148095919561638039888224787811666052336549720969593335176945943485759952489855619632999997625907805135778526503936525746149091653371136017491838859486118343955670816354097340970554414148730719240551935717948644614598023891855008995310232003850126801920312768706307154209353935888383501503785442646470876133953296611590002040477213842137247461141352181840606123331483763789117353915999064414082112659650216733111619311983863026092633320546176814156151203469428689864670429119912276038476555867670902197111816635142994538781558268569936253259538858698221629116762700769506350871603036559899417559841161993265380881314204611948978259461446692745156773043062393887784726830277365155895727481474568183980895449339311121971477735012303305587886477978598633317651113647709170560794306136080290237135552781842518509308034301965154261595788582665771093603997220267638913371370581005500716272373167646769243099374609788386235501872885005165542519760996646424482480097735266933086145118367193750559360980825377651059727068811274426838723967120526668632676259292848973200640769350202506657297600817268170900085718753988362539729672908061665098638139053413855648618901567052841570014639655463990614605930707342340810939083174021562226899184032939179630998474393640177186497781469387967424043251348164333810653325686431921961971462716811608645193839936562302971789515953497457862607507970253049704113013278732783215929332982431768657951078153355557252138485235381540425137586277007459510069685236599207086108126045900105396213489121298172136140273002435348220838941384530154309648707410774920041828731422236859558490425613753932333315406341450530217424728758813775046335914417828808832264622579553287237932550432328886649392436577985820293273756320216811732420745541169605162200359598789219929094361684959697016954543089881494693766389741134936733146371766362288184477680718388852626730722622345552254370773267854037327640578292110208503177752794216407017680265380932779803033030354278206715373570325798376159032765998002786778168593039765446124871290650290544681730753388548763030255433001558212823753768318820335239719694669727128197541133617208734063710655364385549406472568236831203687820789872185725310934251283501328084777831150362116883601815970637918872174925006857576469114426615129861025553859854094493035283546922981286079072607839078329433363825621774540682885161915298977593567258092160129834244633403876032598750388128040121556526813109881938411650407045490633478057944811573764914158812351274384060593450320915688547215202060964178750466024688791575825043248825537380688728655629205494481635216468137140292235870213733759213640952538285613309334832143391074603835995533445162701593306388199800485706753247595800567404910980394030622691185970946921600500493961910914345463085299157286333552419730209860091099547155458707949392674079927794004145004487401998031175563001991587822814047642909683764771208534575384006651563309713194470236118752944815160084707441424402877511552611787849163406664210541607993860411227669229739179465831524188178561399018983396599122317912227736790805484802019132615230654989018171669901162815673718829735589608686883357634077102793209765979538070540105314554644912933632791803847609890060257637500842882287912456635547468713568223974132247217091929151146479019470278228577284606893360807596347465715812070998083018497368442869598906632841579150381212836469642332144972973006613889708721901280771701641865523606328402595982747262050567608387344817612360789813417693918779715061188005620698818483530147459273322886390903851135150288534705217493246950203461638379898960110808750156968612850962513256455273208389879651987843178861249509294018587900526724182807197464526064067682343322120357421143007544189033234402326761535298030615698763830930327598169993949543265604763600021319390228164904314686109316802729469435283749964733122025206980858917646586664692081613993145624243123748070115024837436562519359674955625199612687281583860134376358123276016404216992119298843530643625091796697491869972864651968267157220363533663484859735337296925240601959458956063790771008002606736577922836001497211362237928396290619726812137177233069862962954101744081539853276652323164226447350596865930138988384531754507991973959656319029046264834126464754322736635977636439940384000160348716310988911399573371631755188364261874266768457895042362298652361279874644767628691517209166446125597679611521810045010590464340859980512517488054224439438290668806837339036793395177864734570697102817114503200909161305699357418925262063446054210177213783558113518376404755025624531221633732553260868335792728075594561428706533900668176335203501078312825838439402309814519224246195696162431624477003377583111635712629568988158186828254971914742779035536175736403183162186624131234348693664895912629489376340399409371247546919805923612903279585426347605319079015632676361424379073294080653184851719073360936950343385637658465380548215841877484793265904437665864916865770864297208908820606274242706932466741689659317552728661281397835603305608982030031635044407799165236567156897255650282963362608087491416972704074152742877662295578195287415672004576342791117233852340196964525049822585856574509787603674691594364755995632568667330307049353527647945143878295284190232715657713369826926879675935779105828377118193643573608948446435133704454545168343350822095239704893892746329422346691370422090912110574766717475916381856883588252944169146708810813587916455651818338825818075514250036638945972240916744361998559474977524199761236068044666480227448768784969130176114418787179161296212596869123103473026599054972441542967789013844667331756934114382458910268876751995231999235330435014557567248790900844898641360657772207484044089473768347269300624219039410518510193041369221949689654965965879206175840643783943734180778736840020292072625616960145946123538614745375532319786179432256281399357599503700038505294237488903536646932808180012675307220616094461341965151804583158937764400903923030229989560036396775862475860945303075066424874524030479991400⋅t23-8857665108494884655200278971627769772019278182544735268089023022443883186900245246401682772879208987049266710179235880072036559002235619343964223579630386029380958310895097704668862061949249503005014727805110383411733120584693386414304401834100966466720508368276796764256526416857895643052386235222711917362123337896936146975331936117903792170571883321635528781883017114039602380803239408820984542932322537606497237145075111674755509498130184383774448293510879596792453383798144353575359026388774697856418111844886385153496853280379731958435504009468864807327088158815055672095473603591537719563671244321766359896297212742570134212130636978411673474811606149955112397675686058526525154103520566747452315565903353116883805944781386367736074115522308525378518295407688062431762354329232996350114991086531886259844911343264773972190021672246074763219044682950482720612982378489498215455871017810546471817705246542756677856400205527440238971353396318958434020740636814950352685126390937370748977617997939172633492617681388404808507935484972001992380922492308346344064315960990262695598458686101151117326057513393236244270661485154379823354518750206918978170814824565404351059891784936027067935272812072394232856409187867333237966266112633023930266616556255977798090898050597436272105273895667130069019820980461008499657855321394575613652349527626545589376181065766863623570109163653193892941279414819863967415470810851943208379907133396991093622024946755838152876219076141460123715396606996617954025327251902573909758149367150771687865386290034735466803841402210010899894923075349577837450058164409386322615724798546573868134265525501646029623449246178737580911888821152911435963692951669483976985567327745349154568165193536616421783988933753844242624964734808414159796325348234089669589106348424173607755055818863007167722957149918690668707306933021890293499780449836468415539076157454703024352335938466141058878013603004711479300221550855747672841040490688553944999740242836661062819474923642048567099453078674248018642789817474786600247174912463808638118822447109881658862342786356864782079181358398351886553526547816442348854149667320250835797098922200329445908345179646840832709144516380114331484165954465985538895338463584282996104847827258115875362827591734151985332612582255078929749615663778864946714392373172287895876783354721336173269983306699330458322025058502148675134105001983235114869819168401197351751588455138272658944596811611141008075680359257293951904227420601948632003074787401878348121452696802246665998257446313464075541077818048058303062743335136631257098831139326411785887847505000703544161616572390535295327705197966980229248168676913952646723873297317764209312012044641511960708225685360047347228463154084722667287869817919351260564030720863925302419313279832098427737107896990200103885738819490980313581189473905544890087221076087875785568489447966871068722027332714542228991880717556745650108745181177603830019563823192099107549178971085740123981116807183952054930855720566435044521030395996982027262374918608749001222229528432738561835554909107572619841889656658061448923129564764796044314906601234374370056499784696853117148169309713465808251160149577814790031097274395526228086239418975385847508993185074830592529092696352144290493677911160038053780156255009229881922067069125407620655029738175742964021085156043179462981429459089706558294310421172279025708858246979896409989224509228245082609848723638334099307256556771158701806630637502698471781490920686516642170404081645875940623478509369139907686966846046962048537061912802036019661174488768157849112248812762162498911219428860889270656909046498956268294448888320301656455599467304338787723557761006733414253729870482868071524044019675387787320159613282057062369404561615460918899045918321896290306213509375574306877340393818149747123449662913611098254172165121278778977410347220158552202158284348300642785303587387357901747522510695571608637712133187808354580169600286977137013666771537542589645240226982746144287549910341698942799345498603969591569762555505568989945743005461695153479476820056641538114481671120067600686184171295697994358587073622149617722124936379667541706194064057414680657588213380473497681741532359520154336601464480613498778489651921220416140226460119926245110955146097622880434393232286248423849151257662519461924179830941582656299168201633403194144387347281710650686914180082813566286280272227950643503351849413685219702537488061534962814042642510906292369490732342279891801620007300486125140858871349082771426557110248915930716261032282949260482930961417417838026196879395477229538040444634835824995079704670485083476357758925069752050693128008745180599898400519215094494404831418128391433325234465598774598651109076639759027866433198859690309994764358774391969455989617837078935026954028898209016651940287443020968252569206476135329722220839638782025585551493875673037895646535015501541381283039695848434167460944646548194841619543024993680913960305402521032484494908001815889111840407544340872113510149773720160566243203448565731841807133397116148071355157724774273594386281956868928579510503320072313318520962331845023152036585556610296062158249341280270727924940807057436997586467770268497442045758767313528072296163031135707570449620530439110443385729700493733854734782577488750895857744148210355491406184147754180014837306919437918049884777857920080058815106589749723700006159457138632679790048000564706348747395731450671439224876967717617905026445438673844841138732228855210705485996696212780107918964061393414489852767211209896156941670500605066625746938891371485797992367912185435191610586966368057747229337359723568076593389170997662049527408305406709411661182390803860224220677696910970971165831753704313520614050411988053445476266186223977547275797343170156155960651132920171384843006824416636403199314436630118391090784383179699506640221485439212105662376028601571178980636086184529863329083608201716677058789524828317413229557071528941148675398088297626098532468925016291518992197082955347358475749386651209314636971117209756760138785924706719054758736306881135975652524953113672569922333011370861133776626292250913981034488029733380622936714459236460740510103659214769942509029257392711793699426294556044782885746656115040949296446985627494377555046978084436502432788109958070845842718925773734680435614936749375923394002337168304245032151458984962692087800384781229338389390481619728295569894439067242334136063579340180923731741774702549383105069118018091148057063160139568782652356059299172024178439806488127409024810803846856560148420691331357952512925454125707135506706650771940163109315491013994926846659976529593918326592086299931450011807934762794142083554848350651879145495607451361528457541424685433930039570496437124883115794129529205729522474417990953828772401573007084658785346453773476096229545600269894402059792875165797850510530097913014158102213346866298350097532009378271438788978236629071438160175723637299246737990079201565505556277192092082725240609250382319476763469552309518644923330486368191372063590479421734124778419624726051186790053733650387672748598497766484972302092993254806292894328220886104992888976907795800⋅t21+1012452525395467422736854313239553521551120403745275832861998742933975501650121073444858105790818213443451573631685094487763254933958717062963023203647988832299313290361636569981109019158414156821932864248588707947155961982612371088821815266220033285293364678105200839028117476197784354120953450373981864057568201027751270673520912627230513963576834976045501437436880826588583879005408749447306368128329468270686716034114792457695293675136531319634794859754171220371592814276028061117259432330003135008274254579375680261321693818255028087258531865534071450021206530833721811868951585381278084114180223574700625407694591298020429383400909398766957193995033307139700297083102022841624206324128540094249489364260411018488174333592805054741406347263172675057488072872103279367482609360104310246153461151072353250336158014733903175030363982581307856666694555832821052995379862810403674699911413505650246301762587638231133604600075492262283424492552174615832769575832286799296218609779839035526554061570771117353778845782542826962378097939030734640890089791373313729838092881236085613120470992524858060138162798828482492649633543295612353282409012374516593008885600277175895127216486456421445404249995974543429016481238545066288353994061190560383611273757176322661308441452633258580941623590132819049277018514010773630957890913061994912460340551171473018800479183354031602893798345463499705447176025489900934116916477190278107386884609502797305981983743671135489214812388125258388506767535167962598393129087873006210044485290324504486157090237947559128607064607815632331044657811838846058858727880842686920868722439593489516121990200045428036434415216622006413245624708685960116282830539730415733912758396869331099850930263766268623137560934786777658692595285113594107747527878631884832226587591663359081490610539238501445343769813513961291200534003388230075789322953750955956079024766308206913905633748915328997974495869932105608341235253610086969310835822545085385685482749041026134830708637139020629557880802549025467278227884283149906705345618187896786044708981568001750819226742260912594693760662807071123320748414438900662770985512618163223224890314325924108565903695715494693105608527714185804275708933428593675848914011829196724814914594976923721924508872125068871062480061281058592484900751443458276401096775545167181504027303329207111186701374268989766098216943175696556773599548935706311065537206996357783904886588614321011264379639129354413404019835041788515858917082804819601372908224901044908643863372472144446912713596330024124828671300804758882530454504526892606235553277890029919949333871250259279716302864273611047619749007626543043928379831694665310276387720339801743367358408424793387219529014374517125364903780884358099355252622718513693817752004104698621936400574378564522789375701218491777893894051494128461088254908877308502952879744172226913427862245698417140476289857036631070556695026415887821309549521593179400987648273987067885237026408887851606187420221714625883324449610779213287986655036127364684424729736692721057882243430326896572019000977323385560407048557091794488809682151312298712806406375610161640398678165474731141811425253176368230127423884180129621346714805294780081917044826362894213683398049834776440225449367683296321301118819380630021583533163789139665276886960203151711266572298732303275022493784608389551636169991489027726598494218994589852532902005894774861984965824842975240786080675031033699480999126820516988253185512752944395432500524445885468281192333180415776076979883126458124308986041860360106752687532259366114862925706898666840535119312761409781431854743060244149164898418288419887676583039916733135432693812516286690511074151253006749939651066618837340387743729367936563330876206710640930237176232407558914447308691885351078270908141631725369798102582967220666316526434147561904492955916367852268447379297072606534561440724881971414901101696667679301429199136587958996781870550423788327850801575219103906789915815130429774532248839052741919573060771789111520255011455663579824588216575905849228272014071785963861708944202909215783173342903796005825443466671755187504626267062137013727217260654016356185525710735734104392667062727229314199137478124168078552377438492560482128449302610246039673569273133822654231138886657792924246269975576544551595919637356069629149971422815883159074048390023737649680308603618122779774524417346573042191591932941373223106103186227734074602312977465631414660564130628720364291241208939701925655287688813320844044571062569043688819515626211769810943123750475037510203636857058594157135169110371411156560354847054740676910573059385004066833214379475546867438073628575715374855234562243617138648911942159023434255502050978341587787995522905578210228749200946661731466830186484506844309863696298256239918093009613831879049658052788526879498494222648436594370953413112690941767227804417051352543744515388341585313869925541304117655299920668188849809663236655328398342474322381236041910561590589886380946025025771634541243769607065524374625128261546512640987846201612747982499296826455286969352069334196619300219880748590974113015726207229851613313202580599164427478467247183567112489964894667532244289253208806651715097514579290670890923464988823627799756729913629697299783774442765183629474624186805588211379367358722026980711550639933564375337117100173108338188005953188863090604667627943400725298661197689817330693020278044475824825576089474862155742138899613804145538224023949035696649087711512665539765865671934628844733760100933203963583046908023362714503663268079679250648163535239608654487829666283817414069847119406779991567905689831283863973825481803355637626812828028071052900888593999411003709782307386291715004137132268194172477645370672302271446726382858213121639944041703444736698582781259465806072947295747107610969614017362811993354684405905891844931170780686879192645718126866103133343229566809190097396306606257081743882592638121464674676127878676474343727808593551693398620095478010632803432496639296526039960681805491286611561501469589289610631795657815885872047418058727538360290946662717268363010359818558484970660614205182297672277974360125868415535947429482377760243661266870803901916168019267258474568365647698039188769227918457008256208633042755426895088176897182683316641998007625940550502438080579168052276548046393188931383224820777348292027881537533162407644198062033580035284781634684644925255181642840426460037765126070338684474419850596642712169229579624481682026327305351670847946797582573745030048011572621817499273555575667368509788762499913893444182215920328288808196498355420111212503446645540603805874279342058277828054803622776710863107193322393097665246016377346652388946322322106667175045676216252211998219260688846226390990163350218089068393524553574717749807581660668272249238262998986671897588647752967954154212448400931796256663382842831842098093618010913623369794543839590971874421720098569307338123684659932125426016676661328518678186401295006732037278662977747566512607978995415772375602505238568967971955620948137243958649811293059938728405256158839788957674483393150230680720945072886709530508621963819179310612195983104692777933268817840⋅t19-41403506128827630815864140223257444671747236114323055569682155356342123513616136457425453547567909989630625375836569683612169654268526762152952945901095973525750066840315062247431859852823661672024837549064149579307363802472002987355447529799899604607249264064763319732872601023025989298032546516303460777617995030392494090424989928210667552584556659369283959479989235976415104439099666785647998461717339276883203434795844334100292177360887344574519570591194592127442739597275842778260927426293182999690214330813780633426969272585936709877471183292966700500791243778286075971298077432219259535794274515225387198069771429842720299005586066589332741512640538095147592692272862406382509340862829673734061357399772634935667912892887291518022742756085546519148010040239069325553317060223115858332582863716327051208586138350107766474707367963784408270903465304427055731639466001755777284435969016961299412748458769378061089305272415835999704256332842738258593455007049830276316919938570154555281620351016949345232703212587106090575798582934979330514024583714741118700174893109480297116219152302895576545514333456933842180000490720068904653787131571097572059892505122726278008264709798594526574313324120726700359707616990665632792029374121494459727377201628563754539787088603824599837665554329202997525166354419706797898626718232967317743124505690458685958523436663070829290007893949471917311490849520402196874575885917744901962446798253825014327519268328594367911899289809368367929754877053328356347789496414637529294600077094937377150053865639292876343717079958002535471861628549810100390723732869616577013227571220661077191075630574929789420594863447550614033602167164482367896395730186454321429108328757471947035963388624773601693364890161898475512512455155777521558004699039249732206305172868672436263653075613300604015046442983475234290595838436114011757475983008458076766263156786863337711307044808922812517884777120665691757441596985277157055341827896134529085602221476544280609102153487457135188215725942639415136768469174265850051504839316711967208604202201828407627518909983841334566579041034860051869183551106441678871134942867401579731022099185790498123820459939912348648150489656465915821314705117069340338198032214961968829354133857004615231574567605889237291128743950497949132715666045761635391494534869873777033389752760981471885318248414493353905454796965803250510288683491099254155167927390864341586007478092763408880977585058298704236862294959558944376720770191567596430356951970449261437138454445343705247604823749233901981006248169437091863949925808512165779468098155192577422184270930916327430382635647526989759440693736534229008634998471644041063504238372230848099233971264741998114510255860212701168576146455829058280560680131529401531222612246974307199042194915281559601963072597500124143538034882010164780630587733710684950041689021689555244847058977077714553294678081173229080076673107144966201642570286709153762361706045443791264549147477300004909166464377951549532589991521262929291136110344802932663149048497810067018321804520274702922859442013040180375612971327173200338908109855067858541580085515043969922433171441215414135128748577178828834982475167531450041945357377911527356400077911530733337174975758137001094428726750602518299248945823472111828026559480146755186925905180512042814970244529579700940986328175993778737972757643347526304845177381501277742376086408498895288181648890653311040254446311313537175922737743056475212809246884231657746726719793910490185933122422920432646624436277945681709604041143062556811281235529118335330109160450276506927713536982296575769991642331946833526797956744219547436857270969672758480860148960014035404958517233415946219381588751521500271782987874721890185193602834561399698955303089410454051851886835526456731944959087657969484651343201322896950836285617449933055810221753167477883677077387341028898206115571475290818529226636223809412990049010251633258320479269010510175795496648904607563025104063385355980548251672482653906351008263395925412391207240826979851553674700361608601879022279881211478231917927020408766361848455144270170654209174196849037103080937159154591537841600249662751666403551942331308688827497182849862718311332765340451475578897534202184090614658439023529864346137374461078658872284759985703253908792909997139932726217029778017352441039597481809619175517044168440610012702883019526460756943721162330794117784969466894756701682762571714703831050057005068315861252591792926081032501349758379221130832367320961025165217538892183850148436783371348423230166479114698731583126745655492367082764829364734705879491128675635321998834626284963350099682383718275907880174328169556936152068087838022389363801472608996764704445038169155740354377250160338224962613363177684710152691713301306329181020728914551174962966270361909850085416037031654828959184528764686971807960940491047526460550013465241482748837559799441536594372045085490598599197791922661147188314297903603496996193487320487096207864285709830625540865332647502061027236711185837566504564935271854814214542978387357588636883389732758879109779883331692113498346340898873509740550196247571902289133944494252743352967602212592215888457180576579351967279239554332649035516979619251160390393317586492930114273808259654983246624039351372093555318839751893008450018911713703719579601197666203574887692760412153705506212446685514692483692097171958783427442054224079634143324176279609408510417398884676798794722531919315904637174553725996059471494537219064723318665078084411285700843899707743159829459846614717243981083586902918365822155598940067523096133701450827420144939246426102119040619530822774870422912830112251982262666625865108827569680610076950215457681108647759672150603391923583203742267947275742791723046580588745823623909862171903818639812480892252777392832437595523843945896257024311499466746620278858023845943359331110836588390046735908574866254741165635471675524586833592970645886454212239167296594166164351817910065466322496830381284675303151849974200495299543321606042017449650562796231035489576395665340564519218265463227822633841118727057263792308284036321241117252947557685284306991373920001225842953805711947028208173785189815819100117770514433510211471248386476066894318634432482422576144656136981468519750161576647184562148136186406927922269682648949569352720593266253923866746369703748802823281451541936267040325744416060772395874977582695041066716104794691443951704527619396274164312979390170125352263724035851646280135961695096388747755314888139039753279139688189835939408113785538675085581191528429984239870972192725800137732492116900382595873816967712948042719164994119972935610015964984249841490646537217989658422694401859151130599758485981664751642207653419624920042538910906348824880852956604487191722817926204030238959107945050641989436681532713946907930667968192164167604019344717002334146852452225769691788325406745352659726990367503650295598199931757479993236911167377635058418220557372905270842029210326194354203021785677462108396492113859141777456942922173812118425898227040157932110719434536491872843101990506278743796770899694402374494209967319764375202311088209797158081296568709891074721134000⋅t17+335729270386664563345842723779141535142474096543983946837897529709335049260650626592263804255414291455890012077243209669656455804763145410616238075640008981972969601943384080253294045665665796811325492564539775330539917535377937325153761081423625168149370771604178966394971327376604260327585777350490032396767724951983960922211651642527893177255998946206063430041082573247180202727135050063579110781619452684323019760790079031906460386124887730797292050841744139602314357741270134998181355896521131523896441523274899205590790023030225404115316763544628466429085459006139673564678179473597973953377987938790454725535602363319738037268389161772225398454842146274306975715862414398159548460057037990207878457031922516956053279064513078064868012201680784017391890639157962354173229390443817924886648141089242171253965060322851938475773079237761738968212503419655666457815874268122343500065761912651046148099058513857006762306338998368433291598625180974047317225279507922702295529757018741044018887212987140477190237256199633869790984197763572898247562927779234911898147605294812737750207259721335740024856628675761969702032095948196104244864128879057253264240315093697481843532432014959676025006318290195778072730699471371770515432326366182045234212685663815834386212578637508439978147914415543769328083013206411025289617107674406614765232925173886361137157567746825622712591670829641057674605578454829492229735706688766840586564760029834436057300111906317515835548634599726660159669406204820972917567929044185322375726530698217185643740045659603996585238710917147013264284676152400521604831918579645195343558641588410513077297843108159264069292773761306591564108972426845770096516840332043380470208957586327835637317616043280409466211603655049275725141730338023477826846883433895392161798333405063790677107434731810195756449418866466969657856522121941365014793347467217522296658886972157891339462810916754806465406257886903829775954872843571198576314674220429056994076874405914199210430064396821700696661351125216848844547777064246170345684981307730478614244904464574737345029602805892188982933077197479079611897784734401655087864041365820611050400055923493662879820943966509722745084669664695512315120289795247440174419998842952463429134061643783984083108942749634878436639051506118412434351028071438121419495087542599575655718363995932535865779145545952458825438009161398967232197059998149213057920178291381957840413511561307320800511886651352003780622394112511720870165285518933282309709787233648867757961386740447267976582970173709799613038269470782261394910503963663088751872962935563666368617864217184040415842856694304795031863013593698484734681011721376926606730716754410718179026541440794564115808287503729664329015755777461490658949618085323010176788262264786358750097271846968228169225654351191504463259493394477615473578871587559157202180612312518165798414654417396511494632510770660053757074513254270337520217991650122015359626946325615771180901999855087663590379350417858081558079344519306771148017691449892238878453385627251735084613462225103574649843637522741323898150469280396279408750173692956870026811257813205137388092604480506243382932339407120854511294336405671585928322794498241651689532337183857069210336667838504709914746665033999619908914500966178054039876968959739432559736978930495146954399071143171238983779620125123242831633050860428533412182905749168857513944990990325352641037876171145171496489229697940199363656340560279616553597231444637050890400629855324162855572397422245154709073046072313929230181436527198895781685409046627486491128529117601100622243238995422446045219202445370521345915617926319196109997715118969572550979585929889047795074542621755958530503181949408112087298328650928214971219593058044181511685055876043541566285445062081219593602488252692601451251519464219355745667014622576078568100329465052171822036318801273505865197828970414396259401133496262531355186339315275992585175648061494380557153669493336410846525208212239068459836579383277681254716627050890255063155766763836800329279180126834884199866174138351302788648184511001545316770118434475572089862900062970445369750054893945544874313600593452407795880670354709541859254901249462763214326291786579972085670801345435966339560119801794740960419755031055346110343722390187437547590947759738825999505512281361660730896357346554093541348826543753414793818969774269399709739664663841397120950170149493635938026929568209173203623096137188756424481116530414508104109960628811329984185149064845445051566899291915649141505874370651410421156412128589188770006106100102694547717740846213062434391232302415876768341609889425327061027946009892484546161153624477763833527707764762090780285284217914998911837880856977148876444595956530351580771361714938926902023557745772198334563241690920968986400993971169503239518403258020133793866005274402855340548487269550404369444079661010487728838377930727118259140328573638455984336518268837016394582553609688929488119739467796018643199683549843964207059693923977447891648887435864135985962236638093932224596744957756283428798227384176245731858010683163840221024263813304648569611814469413714750881934914659790046032183896643017063315571510711523079508458982314974331742918722052275177879236692394021989532681167504084824208729219147414748474311719154115819671064185083886305439169177859144796824114642215685076573670712180746232761895799583975570932321411489467326125940800388332216504107251419177308968882720826301035522296369316746032460429969236054602587690191031953580281249048399049340205486789113591982832942486030726771023748590157099286892120262240499114358102658902395652832911662137816676090337316526015631808746847379279648496350742711170908556053905359973176197011818902884410861462069740609153238987870387380294307516080128616644961918085889350152722784870456685748973464864798417764219523085411581023238411000130008990761819968026275122465889263727455279294252431386580547083896753125349117082498621370003631631345202205807923681540381580942477145911294509744513437342954671818073580686167458931568471265471587666586798476753287208600464951126195992253202754661251511925100789130933694439932706557621642257349439844424783015308177526198286212579238432323622783524890263234961019195490905477170581833904098407826716189102635706043444725344371014312467671247167204646922282074115713025867407157119685113845034026972884794596951017665552936649172729222480950032872830150277442967343435120441220370945651133453563094216047852960815075800403726926743341620084350094746844143211194991553510250248883685308635935936434431371754922014062574001431667148323876254730152238564972097694206857971188122178194831861796930951517364614583607419452669664823313210738736070006291190243176121123477963351024472051588503271458948852221369866350487132153868823050769869084323504612460064732659515942978432658379048961530978676209362680044045963908522885056089201207480014938276945968786219795178309280597666660052146956373683940418642556716025708308961323454349626135593523740068270183148081002327290978652950809233198393988291414751616741764015044965642388351221731990234104673921695276973030440044196802262343968825925290920573126924201620770000⋅t15-4030681456733378384639934987553974688566745888129666313066632966357975715813844107572936439310417382657166359220225594210324463354620751415225885119080939719951729246143195024300440374573879655529312663836576443563909333982574029518065013739372856407213130588130316626395114349252651946084287249847910912040116766930468770244110068427776668208571966058747892608053243301655320291742749414491508812074753635740802129810867377530065278353042748035901572035306891493161610768898509540867936350827979254387699707490253826056161175713960647643881004013391229863662005134446318275614884302032023016077610023056422370541395547122775946388514871407388465159195607255025496649398739705572677368401715370054942823913137357363909949889238301550009833786247844981573053350921056377361449256716315716388609163993906972172201774665667186819115116635725487779820634886113269052924146790050914342331141162974123830582933794339686120263081038992473327423748844795985024300959795851043424873335576619593611944447193416655095164973900483578149910236061069792201424455907134759833996551243998258002638204392793097593838620564811988547165358418887741214571185500775933854270941013942179510390631364992204212473646166503507839178252436185836996957536834037472862612287162222085204160810459166869996382633520017027245980066355904565556391272473350698315080285134836258610314825157507422385748719569364914447353958073963343200923725672214383276171997479576344751388146093849943606344095111796705583369829176657060326702338144291202887463328291380101380482129891828371454727622787278801180486069172894022129825160807739982733023299211030255192105415451886220278261189842761658048769632883558577467923712755876402461172425182931288972609831707005820777527988747229865385738171182594653864325065975985411212268398121404980181721758657930122358371007822472006485732189471611887229097217607551616177146054190080674140248176804434640882804222536940410300143592189142937657233715551718497140384649168157785457565923785809665808910629419465544156356620062420482831485736496032257739618474738202269231471290823442323221363090557111981137163425784893618186441013236349476136124765694347817986198849366568887346903998913562323424626262950509129055982273685748309882265881861145495234904245759359553746134209694079359560753943037413551396427434595010462010919639948194670725263243365422955483924517859280251216450139029877302265566916630640072627420798263173516943231713821773577495745854682816957939590774784613212334430575897309441360148813975322314133511124124545855323401503064511069349332082867696245156113676738005658372250437571816819719219387874237096268649821458348014580823223833909401276132043139887753590148192555467829815219556921941995921787183422042005361694313491368962201815296066674723565070160148393794242743367296870303471872437252473474523071664552714203519823218802273154081306333272741952752375310570893301340033088647275086107586661415558812947994012036400833049270237384235845705987901760823424275680938137167199598210395896901593369291097295144966335694679958243638236872448478935772875423400169375872806548322620708883723365336690529521617619654124269299330024068773650535699659859221974074391200128435288099506225254828651895781913377033663610323991841591364498481231410818965915083913596826254405797189311498832297641346925264568104483170728667528225728360262276451667025475271029101161315215586675187163473368505486261712066582639052786053253350995913840162512658783792150777193574983720905049125604751237145881036171944239721486811418575407190562188777449779153661742839640219568312223645718163021428879366709203522988695748273438950057876023699736396805178019013857205321476911768266880864628030742014583117072848389580810592586905878100671420155187998464032864964164016201342640767008156098764189520679413009255669995135337810553320727981560141950781957565996044390163966995756958389487267793323159639011348731586745057315568964777134900374731474337555805734743802427667160254404950418278046617690855543461715962711823786967022603602357824441221004822559873547792132275247827990964652781152792711861976762269317275484123878517907430488762277151555646936363350717079785226412574170550738231650379120433566132742602126133814843001783642308980785744819025892521838490377146628918082624255792161926815968345805332719476730500964171138703414261623403253283311078624439034290045941197108101962760608331120255994927076372164238807499982532637750285758191653943913494379976800377988588511426348723869170387756539073871370541171788767309059804840384831232036479625322208557241285367107603726236210599147984978862515613176467875556593948728887844826772194387770958240496066936268596320874078428855152065230073944329397270530618291007644115270008436568510130247347742449072338930418671637832865456207379962838526389477314217462390598792026045557927937525742733887406643811463012231977180436427213041767279572539970778170717929953893968426722093299408553290930769405334212488944014546620302580226066361127768025629720210318666420515044676087949172230529537893266668253502890286121988419770885905831556062720438095410689983218922074640877530657157900754751824384461143703314229271695911853599191354960100032351513678841974801684318821075564151026880262175816243432306186106862595773990588186778158051997244774098347832754072254666733919322345615970315668566843615416264102706821327889640976901565611621733543540250672346022448819258150373618787361678308559394264667215368839322658663081153148463615907020537272884969246947842050661941985307464351848774835352835871835578427267712522257401588035643404196512525491972631195260732935964537449437907205136685521233344133913112086764932284883086468701045993032236774500850639373662381458971851988757048915362583745073874595231189163347827003504084073477068844709581882998229908709466581604788826559291191231266272835556282609726826662751528909273130141885849557151074424416983894799712026095574843317990081368732351119578793235151497279462007261748856168144220190830517014659143940381182136029568541757633658652986173794229667329560967642427972662276435975880664021405335403836309207634973975109175427668630092812666201432536656579756464019810989525974617039242416317543788475738183950140768714113033410433815964692983971346650062881395170016690670861656507873294422183618015708799856495989945509241131572404551122065689332884828876829420651011415870043441413995077440332293782233900887577253996462374661780403460225410350935958366129112567777794950477893789517475655912668214357680575543291457926711505450102945204984874965189651104911519718114124759472004454942377195506744894310903874713647911020904482580973064121257146264063832937542502555657859972294996298497886787496435548212431194704403706347326011658078739811767294053430796983232990682193824899919578422961972946782813096691544313281688985730022131746627863846982785195343093948858811719992762915757827908817399114037021200542662781979141428413636811114441598807827031632302437167366970463856758874119452675716577521887361588857788901712138537546342084253909590222308988294109602028691646937607797685062268199773752973725458682389950807731788557271615113009937158776019912944397580522000⋅t13+2717916560315482081235466933139604566037356929666923695000292220251388515692616490149755267817778370513235539275343259455492851322169579640497289846047008496980700640343008664818645049680629003349128696616980066973334377327647638118068240987295047073006049432657604133001345775664213014888253772306294606427000777416431424891934350754706301229977114923255329470802333618628973192418436616424821114579592975926362102387736003854153092171767907241073164148641753507194582594372952809573356591735418207350880409648129318865594607552239935198053359414874412820783360575356545100801668271984942120187275531512217404508095622363903753654772800683490554969855558291840505822592494842504950849637630393677905759774895323520656469132421620487451598335601555806825890107066118636682721033020687928883471373956296761700690942985795569701623689137476101349542762185960206954858062226826272686723393658043584181153911118690141823206345826209167799238830253675453525050267634615585356660761517847392514090443087605284707168681648156985646733305347581900306207079942741570897606983959549356349687307298521110583499548528657231500998941793803855198985778093035008928849006517432436001017462481678298099669565078092555380656680127267230162585482934810214894667377382339827970344977719329937484584715319553139069630401660530053770177924011925543016870417231412066899571543786718119475776124495941657198041471186371426355549747094849232413805573226216829561780286194189893795298579659433563120032377051645468007485850642274803662650912255983091877931644027448380488219208374393524672800275668047248924777348797626528534986578886676707189302691402413365443750181657750691670389230300755707251492566034856375371734327007772466796919707161598173375655600870479196680709849298258541269131536460521416701538856194606878931604203346224233979900549876746333520001846302315336201023596293810464050460962175795252120299356973642708150345600752428535503823798466830869443125741714107084108644899721066717944723967262736306598565402073394114414412072284484044302791803033077904781815102539479373763304736632865322990679261833743149313635904614849479237650590082243817556392670762560038154832134428691493101588582558543947445717337343281763013271935136110371700907257197201979038958241204048064282210402765845446651092199676234864517726064071119059339447608262131201227075015678715314947639570020234661968378705547246744346325912321494782159732722330062609070922531668775061992335248352175843900347290237954464365326030839342833066786122801692814854895206794954669962655933812753440564854967908494260428715794751292018128682576155830859902576169026147084310899907215276412455086557603310919076445692370031432589405792963566018943439190735377384490759531767419624700241600356931869178140417901973774657920932447652621169753097966059809929579432164017066560164210930036954169031143964396287505686316819272117099844724261289262844035106600292402400601112598972602780339948006278378869940082947142112426661957086178537450926311291463471606700710190547866875156470512455387415654140296848049805298340763698929645236201058310067724742085287006454867469629760718901110978184847161461951533580281720475704671367067479456752200372238696680755421974485920540019502476492962345499131531840079987077791525400773985721089079564267612213968570754296072452157021341173935597909138986841139162637054042262453463171675955292213776385969069669623211646880761614524311064901997607020196014240496529735231132841672956215504476701386766115564347291291509563684193129307400519930973376899191322931247629952235025907794348180585612806890321235272528273597313452521341222505998036988961747418295817759521162399112971191465660218026540417354137254797408565870986710495972458324771531375198949428655454093906435145221461636551744492065224014466715234277571619856245519148184235423257589586077904704934901316185668031560426543513437681964260584749064443256728823273778106023226515069210448831744056702472522795337934926595050235067403087801394638753713274560613694672229359781480646213566972802042896599957987922795655057387357986102369586255866006215473114374574727457902755823836794154837899070632018885736553611655620140588989353786327794560656930299309696513148587349103350500675968635936649316762745997426700167261680409412290396756805277512145283498074402683717799606617892808836347343393873468602946795253484554690600678951925344153357670953141096050560229876996119558296433520993994707037077253813056893845519939648535746537945808403673282037652065961786574474414796541408664127604200161938589633359584754276806250057038909290812306785614566786098859131525186336011937433209280743204724190603582173401856395362939104320499057043185553262715143968582451299193268461568215689586576525443381019359804289232105279091483326894050865915732231785637593928789409516705566498620633802020612232117199834244798008891593456227624444133722733729031730265741152930975381168321278661232550633697254405467302281442089400888432777436442956311607301375428947760178561230197472335023997179157375644000487811105568497906225895630674387270574508878020764607379944076723725711005296776306058786303527711462103270480216919898305125127895600553912859434853462637846396944675029472910675290919161607441832164038667158339558167141480789409985486005632737585981419405985766331425066537613538636489425962021964737263684376398145805917531031706118506597254422430232761385992819930858184272452895328244658663626184131357305359833595225232363839319343978819779476345535943115476982936116064635288408521219417754459749921337447163096749475129993414543730005239575848679039576804292439193265682882369286232104206156019909188103524600109634239696187482353203960536986779076867693107107956972044796522640062516207148227376791280891477968014002578778962554570064862471815456167583639687702979300150827671198905454939322643573800663125434481247409220584396882864366522947804442379018782399426635423027088864012879120925246637541500814568608975359139775943123785808213248598950426496170136036374446306291990230765717019858188943432563996177875850326433307574865946621218063130118992746746644944804372309163068116176637012100661023159628901424029703981850457130686039598304465721530560323701489332898108058503228322016983785870901159370890496180583159993029693768738185567978523535140225915397508206619695861956149913992621919531590268786236595498896367443931302424501092029412630551103521771237699378532718450955832191427848322288138829724113122462937271854638739311732702725178328279716871159028371846867863093347808951240827242071708905503850001475713883462506674199465633966703246970129434270515078611143195964334101171469384474497256352519103117851509167487445621746110060300987509684955762405140030800210057194134302631725911127342499534180952842501836870865567152886504078135257719833588856447337443947837680438402575056012206750706836336312361055587241104614246907724908475399161345947005397808404689195078605673915195061080924998297284306064451095288535056031851148959247806960605362504490199378007674625432975775994680107289890682256635969548313090592120927697832872299602543848362490253327766642301130772561016386748537217060815545906849004302908391288000⋅t11-725953785145453250334964023755360136531933115076553321999052089155266694806258802126194590360738604744363572075416176855645007609292603256474301746003682447691215490632982440461162048275338980782529722092313390877083585416963467083390700810377629220673572001982611507393255765854796472025152953946341255936227014039399775479070682181637487369784909727249812533618748035634524768887348272521994170060976455865767829077329400612823130022447497435854173751903959692989951523602441820659760161746137086582591681279140578255026062003940003517859890443871822082656593209072238709241534733975788030093454771125976896361001770440753509220397416850589867380608111074112629346579478449707969914027862127999983646311112134470378706837878588940757775945917810343940753852621024086055204452382937857906706861545516227476479296867568357786167692922155172834327203447382460541786310590175345209916748551091216053021526202377652393979667301464115158115973382943646015909277824281639253473395487474541209101908600169231885473167829989177014941747512433297218248508865573990541313525691207597194011703008986549464257947967214190260923045598088332542842137302307076290355144054443977270978374178724283059810698350998716993082544134918368826217397825051153039929727067921843172243267019337518937784000371208179986162961296761805901307598255490298273690569189643034452556088759921324621554302726242753237513742255062886700905140216046911223417423258288908363689029896305964462711177389772853445414811638473240847557124889278050250387267297303570797852815582561067920622858363527848324547077381002324600498579982290825566572644387393944992310936298961763505919868342061737798275810249678792125044317190050533101166296684632374964906355199851489882900841662679813162957658968634719630090080928465738713132249123971990738146195619692913559270796525205967661126915192837285700579419652921399610715001798618660353909272645204509603438304833730325875925263727827418508605659037450622000381149924488059565285771445643907691292678697683478436271856838490856286842654006645032083367471671725020991044403759000438038323363469716516128899842946887829434832856313392751679732012833774493470853065024087959625268279527386820899569945236707121565596205335264423555046596554846447400178693282700768261855282426798226957015504354406790302073150057815139376398572110923425238472782855103327692037981002376645294517656166383557909210386367726880294729994560498103028520229170352044823195934739581827672066531335926184457981008498567004981057545157856488587470800252625773078147073213982582300855404174637045469591032640635960372431614326215746607032973749934368968017288259470937490817759574382948540278883893344545925300796962484176559656384482848106460976166714615788167690360574811463179797101644567589914449653987442888493288958225086045084165914525568088730781903712433461845213465711128412684213725985421350168047141718888662547549758767926660558347148003931799133400006752239910018149074787282583826271572276953788565796922622589267994912653573607813249278346379212755479441358429102629649858162573452835025991113209278109429513144945365508996640797924870219558913307017999328075198766469434494815560048619215265540589302671967546413682100338098658785660929696349286235505291564214369191601653638744259847040179973729158204663372185052998409715959494096393028755849650503853504918387686975210068426446058390710083122823239327349541439134228941711502058066378012662605232494556420841361019296681495216326784149898062284964429735860293358857646221545060607475876743839143373755035801892422231462460935884311702380484313121585061656218805077520637159708381711437377376870489485210649610872669606765145452052049901441351058176455219059183035046442907951373741415112154245566012351751804245966347554860573106440333587930126607139438803028118868091314783082607218865669153451991625430493479293200639382701896475339248746305958112473158739137021245381585414297715173935978266376335263460850914676434209472384554908253906805011896795851360410213116817715887877654993394345001900305800193824224650961293435941623957048329179612302913674547813062484936311705106104008740761171163382906776203273380913376160666581435006590185800416568753998525387432842340318192523599367389482687449564123661621724924587467020183606688323250375794285356674216937194506516542172830242898943059478899399884633178902262229539518299805933025590543577630111741119432353791918429575069575727586117221934450356310519363395291431128334754741078033835339972459534853696382626447738975091587073626757817423804972676103858958878690518758384719665749409097485341317556532292334202391393754802681764269251094456018726579490072890118352048335113361385348276329619126163381620340981410463850527706369226749240177009845891230517119476026448049053425477289612638072488726307532043198955718275297233168897029998121228375633985307307064238065460793287657241858167664349063949480853381031743227963201184943153496397603693435371987141930599618283157114577806273302188055320746248500839028433248527585336134219668071708232518569192215206657709134928774452805069052397284851779278387679517778626116990641586618573584929180760591887225050853393800653281425190336923459007763420350867229332517869267765116756293949328113684072275915050569797676043267866442828012425139268652679907650719484781029190179563945616417228816377761603330527433469877061660799420469796400097244215923740944529836153088050575613251964823553049067309523887895538498109157484379943564886507583022793783637975116491609061501387396052619254409905583238436604732975222172844109031937928310770217649755818817790230988561410055383708285076119318304934926650651218116216116233235339559905920982198937056524299550886744869674890585088828089189882450789424388318291047261298058379080507495521799534783356872056634795034092337957122171667666239101876080428605348697479438868743369155425906341781061878873327253029715761012715715407184982063009893230776011255718600619741585519377793547063639196513807347544045712694937009997347043607024922563922560401919153774684586907438147749997985696213505294153319055280127491933771756806886242729446971013077965640778797170404465448509332366485332017198210847820950756461064992367584118931936021884599974563336496616523022470427520902938545724518975364984004513278492842959665613209563433706373095291707554037356915422171143769511576779538337766014257901456401660528323656691012217700371941808644309612290507332139893703376356407969444629002051778962631894678824707300601214257118380060377170661489575874722127915832401604584541209109065950216929940868988481107321448193105377304609026837765716555838049806757112872205999517751096683820308158324171847620654506396678178864245163923688497073555584527630878407537742486863708935719347431524600067847770020017238371474316099485882884815537561897758604260332139024445178533233794392353904941437917075171324442378294295435561545883676717854209793477835489311676555034065533673978895974749700792991474311007414653236682118897009427623208988288160059308567128169938647439071217975771613930291725487523602024317041776371581432228041573945709286067239181696418266223566469408852034970907939885248306803632527533519336000⋅t9+22443781978949196506489960323529236397989263676103407129961952056542943580988473745028717596513582870160646062651362650691995221166080826670655933832016829276269788698423940260131289168783257472689138212930413872479659723076216553271923605481722613673724555952498716320688616159668350597860727254830547951623671504474640976634619768104611645381699172549959676742387655831148015111635107244055522929437059961118162740003753068487250355843884271505393053212368113746571338037187503682935445238689787207198622162989834977918977743463817372485713785533274502186167504348127447307749121118011447867887217418461437944228344477414058030636839262813621208780483987951095102285958434220602266486315408810347983316202851355141667012044826632291236002705303607969402190280731323620578972725580812698909501337110440476690605919936515438202756931200044068631015258634032044121942079033512580068251015549921893793978574268519443408568549354640826563183389582734648156582722485343908130832346518703493055331283938297782075847044187626830249871512139812105495150430326501029287192058417772481243870690568460348896338324397085535784982326065035924081453873657105721075191368992121212615346887444729335701789343066567074057356101946995805043488671636105634948495496636862941118970940387152433373440020510892077909564984285111665606304812752696365577229093919278723230840585908235865978284535876217902151605624588278481243022341669626899600615666402605376950122200758698470786309607438695783306219634650723950370661884378162453476276554769461568101565549806870048058952207827348301347932793094663269633633492896757542889239488839025301670408813473957056126430095223979132931400876178924592966580210072386628878432439572527624970862830512622890616061463557536290260105451510184047893495338001319811588243410837175480333356035282099953613025644394092019828559035613208852881310051739935154004471574894576104098976070761704524777742833435371171929332121357671275606226626682943646245935875255402737091851613295427026118859721353907226767219175392212370749584631615642149412713816750760965094917103937497654524872052249956283375538418939273851746360858301701560848483140852165292641784031214436183536610138775501872200521774397886281863211147440945339781775389694628544700786669722251665341549961695040848268956959324769723101953192124510052197244598958297524518522658376883975292246664999301263224486434000934011765255194150646494069581896017144580155381784343096610149083943248497184789421321348236323198569347738169673812736230612989753304844589848530732523143381693728214858146653108396999705301876650700042907404213194814211332879201754227360002295485696652819832565665426278696687198262177714926209724293315679018641732226022091222146168257622063481632730404413455864547392402930468015742716048045734722064470050419645555082902704053679216752017959002693398768074690873272623541828635543112756922069532952365258776804358091339966073844360285742398802362566472925490251219907830474784605527986049270587735280953605989154976754158087204098017467391889987402365177133628879350429811770154756193962017633972175964667042551575580128501676189390973308055746026161426782768484249670894314164338609551451256962301138126286309577190230219968279068273508526126169167721804688328570851266328802430194887046355300339847817162288983219734426191159104791707047530283993270159311827471987525355352591189136997673709984319748541449268567165937764231098512146915509985705136473099068888642994758941729602232784161824954234230590492792746534242749589008310601104942620286374558710975029183202962285790387547940254722778150805438769015768813526108139238552246530929817384055878050029539500859528775657569247019187096861096349633071987866813732378704095253658139459513863422365585129711086689907504358163111260871035150886140864090207906754822238433044715696627038136122902422577512955195932246113943721618574496927282021112849235470041079999918496361915110700731943943251093764299036666277210689324733448560038218534435308841633611885515556471690702596124988038307456393850798478283874364366398932860514240332292859524543235385705763734107599555925007777049356156431946926610923248975213827940482197296073746961652151812198818413218371844963532777497502700509459294760350562750767338678948414200608330479417463955153759018411764649344224896767015415673501189791684655306015099698764411578129154908742227271047344597530452700847324034073368234453677223792781066474861635051064819255245004421038736835096304046148199458943261422118784651665746835762879405810692247645412162157428654271187281516580798980226768016123457087878391218064278763317084021972581984780162258600079968493341624224079213086808126208351554728409388194005496093274230890340349544498600122186314289682684414597604879683589742957947683639499857367321888300387229803000335019495486607720553274342244995094318536377628302412889954948703182473327242629660012467000312533339383805107317459469760684900796149298532859026855315041010114406021354730938602511268811115281871085524129797926710917266572684688853904829354041779673039606240518980688848991013636815132668534782456718740866412638808897476170719916203971985989927754299450528257261345943552546411254075826708693931098812685547532497804863656423245630175077609333743154471709668532762378495365776752534815330869976878654706020663246639191331756097464986377519807488298504678994336531820115579489142804341578656910716794399729909836323491241483721850342419312373949461633951688986992074863870325355670628212832490581950312549475844867470728053181420134011473356802768635673537395805615701700344457196584638024230047581243681811279682744365422664462885641810033736192342081275670053295309904786852780092035671049537611604151103194398606677329137510394608125053315512293389374656487991793862476563045431832592324187033463326888041226021128513210454210008025077154529645935052130572500977670206106017058132271799813375977646590229871897608970276769248473834376346062658584411708683150666169013119385851920563805370113303881961724973898408916908907716122234856120865813866274680550295984557486045844777533231444006715959587217980744904667090978592465839811303722722770893329923401378366933795328324865815864092780813404247421655610723809788822470934185609810114228338526802117313836243991230791567340227175756616904656713860076899974193261680835541987501380113542064835783813238993055703895631580604335823956214693198568439860070278126808432091880256143055781038263954142438753505357422846872169439153402396014281671364659046540390060556114783996667335784604189748524268229227758899761512269025478446894892504219596295368014520832704340243796717643572499648998740794530229975249080068670935453931211146881911478862372467408853469839581822147293619681883160144128887711629404536455732713621718933900192182936481990916421462792522733036355568645029674940188392332685357812974013754561251836236043987768438081744036474044763285992238525459333202711004811171115704278228378513107626144405145408249372340225532675524616571712358307973488194591945777062023868685958047848103040206172106311627507938942416081351517484330776413796469175568974429536584028201336789780313535148509700370578876151599670856044000⋅t7-24132979532240457679885941401396187353913284612343145117028425672832514835056423048877266956484257277387627814530326038125747670172508194115913149520243335649964786766931298648586033906661907987697406770405097988532696398341004853234475365764115098130315264297895095028101507990916701513113404589143098843909414821461763884749531490488739465187696196416050823033347982928401509400013920426522691961788213915946595729983417418347793519021518825767152909957869491822796152897782698800004302112053119576967787003260284974516276020738115857790903587993452677322169986486856406157206163798026297015043343776786778429393089742882036900371372873172562657972429840169996275928893609550609023868828473219966028837490085537610595478277009952601436856539102475271359054558500962956012131366797722812588386236595229537611855652147256885948763999894588410673984671835922202774789569339048832021402518750877045543225670618136643612257404579458395429875714839067943764902905069244913256915133247290823894114066542823655110915283549743170688675506134124967443720240486128722647357731109627167237664299319404890968303084135090342769405096174369096466337955054838575602789959166098017384139430627960143367804330676861116824223339821837737170001482355572752039396872099145458340062174939104551092581952131466140511778539396023471665846870630977569944271344070357226539149918907841017326243802733238536363084238599844346304385357522704278830503812697935486058050882321199683136988310808101790658242984063079930012466421972237150940399890851081227779869492937934346950444028895456542107368148006644720509120447078877325363946260695490951992533794734854579761272768499309635018277284361776639266477408641723386927968758679119758109692080627404837575511302920468677316668147863551011907746570493927675793850270846410373615428686852620811868338339606889954333007798089340827852881412939688457197507338899963016967784363161592493935446643678717781848722549771945586076547655834861052843000591836061474932123098523023118160914861977101782350610533658454205438907178759876935858110917650377316968625872744667581581447597760650750370485759075887971508050373384191231830329229694644823862939658721186581076844682998710065970236536121379324649686283280087571776724774325450888503442551440436339714676030651406922242779193408443097649546257183325133362357826216691587543420750548617950373879439490963231738417297213743036561830674605241180566682983246869423826027721602182209930570500883642578090515811324010568643599680819716199542841405549532938194023145745330371623866546164241403906737984581873339823547397839032804164106376063534098725814591877541728110068535227325023971566402396532118956141590041307427949408370005468866987078549558800762169867552557732562234318536938956065377260798666023206245069836907413827980565711089638375206103271817680910652806394414937859134961338655412200120046220806500423208316928863865279092780581985049189374623081444230919821981880104713988410467881114800367065929371213929205225309510988104562120420417513434478314803304817952882252102789516226664620691484917346731508259215820013503983526977382508115690690802411696736113949749287901995600225704958145350185202229245520562137093671598681749160915064847400537566741727614740059291974342665712675032260318145709038404046293511249106550164029103705944059779699082522199099325281734245409368115418135198584501175970079537617118847884583009862169168831646734993364511064926776207301500542575507155798586405266984858507241963372722963051224896406533825022288146946752693764412592314105691979029995344134358350379511275044631272569155155193718784313209701676588953400613554626706616401253636143771979512202586923812519453061841740770190786552195742760141154606347875013194982579604306811820622434021468283866215653531777541121957980341952834778270450965346559827732558647325980081588994996908030015006080206341697813727912883858368342774401417642454097792648729227280553308860436184902269580995661309808701553249030166828171008406187917546528580245384965276522246376004286712545011472019340259854238709267839850168976246608047343541874436180188540133633880995636121179770795773085233918653429169077358656876826502257869188417205123874038777805614915343871585121078760233373981352498168202760179299641000519981173686800180134116848050686860925042430447371689851864136094403638722107681305919059817198268343829394386782919208501592638145828895139458931097146571862773844631012498214647815026542454494728623746495557556315294136340581127054590424004189814657206215564753730743506972276136498233767606023543946951876349121538967662512290095906130104150510846617015578479665667459792114495179426085747554536787854543568263608023137237392052033447445798649421467384874658284822745149791506261495657078804521147179334816527301689600046898864918501223266119513912212420495603785323199737476405562576489131921147338514047357883314544888753630025376009271476207231453469127351272567704808514107576402078851055443310854231808109071430330805794735655126545531584375755022211799014002943622924177055703305704856555896796360476032945142359895810856328252415103960407906137220527114866497455733331145968423778212416589736353777291576332748489590430709434988105025065969164372344052525096897763478159146564114671617434587472658625349848048795443455249020589953896334217524846087639618438323963524983576500905309083371481113476989161512746729795718759861157969461316145173508741801949058836899675146350343397600929225446837170158293571484101581297866118748157738102962661181494258868568527733647380695831813994640677189040689414785377745073627578145859492206283166559138123769612087847691317040095243362403175968973562849850946120965941105400786209375415708291046230006931866772416727167899236241226122640482964773560731926899900464724909513166681081059646130105681193009527108276847846090555507428127170904907892604304840121416113365498369731814488651580948890958661962825543945398402692970153688734748268319189962323676918995942719654309433343295139752272268846483212162124733319111274960536277302242906146178716713551285645196884597154962253152850385005400034032903185740373298765412309104028684265850256569855331987254790600363516762812781279122687494808340617581689900045093281956937643998456553995086151774756258586103236657543690901979040845730625560321635737700888877701925923807572424685955045251488495431536776846822112658954619176261704089492360412156138997365621925385149142254965773776465878866891296409891869296935545579883435190634548270314544737945416090641079591568566328771991286455663429856241648540165731814055500147836829430791506057044186498178408171778890978554812255995159834628341956280288693219152370874930712122854318732062821618643068457430067419538999784493658573012354236957319188842537975443188402643856392222160262605919815997313430559412389628203751705689334643611660477410300392467534933932277290240088749115026391330842273737079194149173978642109446496669963419871698419752241627813334136675761026126498912205390260198549938845897500108445268661524125506430282286939594541796435926043969946594682656687174319669684742609492032658168458146687991261233620107694038022661750148379481479492833672264800⋅t5+3697066262005452775501466603650502859610066436072549004466774383656207435413003783026364540405031967775664289276717284802846497210497514780559071568590016246281078224929805558030127891707601339861508633922131822271165706071983202092424971398485377844585691824012141951630506254122049217653466888690354437171953226992810825221632672027569683631348610115807903587408458397593600815807185638493651696720422716481869011572796359665512092591658826923912850837864453251768674840663848159400295326502089429858526601545267288431865273772284021024787077406694934991039018514911831206195583661382685383284691797352804929070271552183595358509108515346182911529620639806600540860332212628646061380677317629720926692138108320693671416888565329634591112055092637409845503959608616358903118221595331741251797151631298507539038669260392045615308449527333718449331888290718567632878106360922194105270571812547195413686716101769594263113491587132444269826894016615886348281825254265221906091868795794957806482178895911805288520503249901966044506099876445266517916952195506007505021845056370807257150005897537406659955609718163506613981343091010280885828326244459132239621593882428247207659604456895923468736916645816466027605143976534410260892973568595181646886865151789800363195192107501673878848459625741740828094157737077541063713232623505074610072193613249603023974819292564859139915868943825690420942857446168104265870101160451136188787023001417469129665315153530702352615647100894021357910588676322291921557396608695844401014935016730888341146272842923166214093533440752917048412460775605481634826241624521913973362708180470445594953102795841287443638053198406881382234868807749244652360185427906459112321722234420195524400017430569101294943826917714736004531160177626346486064657342393578488729830905953512622231948349672222074359078980360381779796470811545260914305772656156583667058698312224915417858166649982153857778120267739663539988009657806450543486937916351419259684710408672014558927636744750762329954102891844140696787096365196252667445193640349206908879911200084679253930975017179333269132478127018962919159673252404293898430489038553195467913548387977697580489817958900230721159557339260166692646203358424911009045551164962257838044661876036732792860532668862218676321541604071381881362740966050212995746642585739103011293523391301691837737820973138780201205890743532042486757825703900899971023685215749948180941580756082402740990567326172954931558600186105255624746484172979669930567314314185165248819205900581234258943122749647738620452942350865655337433616499800542912524487020067795333864733277317505251506638613525936996653288696313656029089784202923538408122075354549727509939725863554250869711464068943559542533746639102384601104840715680519955587376149663391613213835312870987788729784136614068651777631618841791218247570345098820732888165275847353196225707778002091920273743130565783546588396367341288302711285640001943434898296631882125411919499745268212573749800284345064835613376386529863089221384253373890400272740341126409746689919578513357001018790529598730481829891354442232239148696820651299742769297408370539376177051749928008211144712236307230338249883324142765598353909674027098624251472569686373586918178496767403658845155164377769353207629223858170197619485411819774018429883596172735527391189903786165368071807931211166513241914070099293989619148538256231306102819633691868132490554925331902092225663709866265565517569398270502572677719896675112928549036116137837557822496244349591020694174341476346006760727041102933333257980943199976209444299503211157594881981103933824145371919632227311592533233350179656694918502863137545051888011217218028557360959027682660631562339360097016606974985981272978940474331816215265478206609899897064895638671939102424025070535483811496447735258137404677977292723009651968550219235740435799298301951196655613075023264147509792108274758302302681463100813040611255683603213234000336393623733952010706020149852472379174507584068215409297443568195105007431343775647491746463822773976632882485433247786330413769167109351557944032455307521087241799345241485716118453716650478729014319150844584205829885263621608777005970652098316066520681850052616857554906465543629827580777417381948995183417020846071784144063278558896868364873196671931974769454983278635712521444686352090825728966258071065965249596030114708525015619492549605883117004130351040736772008125527167613903964441822680261207313496786599149675659079616380830398983694893042898568636425087306031934002590834481617068694941044639877317858918768355558276138093310305140770844203842693334033289298140354193290484503202441830631439618051608762771286156083366653445437667341843844997100868375618156288723856159566926941480220358184457979735828481796464605089381386356166105091910972892245101847195345061358626529080398510419853574378529567899747772776639626058961413989330471424633842602987559184635899446449294683000114998308763119923245058155759410679917827604571272392462027649992288561591368561553441769384937100346338740020747603721540090073565458845183320984870805743770433373090193333845412860201611187794072344662128648482433199606579416206612002051891529554201853341807876388747805848054105625016592595009108167633711463425206713961443025312999347567695720057186416507882448100337458034888576416665166504405416114988797768127858844188735654547442599666056067565352228371565195171981649311665564769657794285781439418439205793199745844281685613565859937353307429426330667830995797222245478010742802672655649450182340865665079240256861038938647199109204721038177289628461174357079479736890328191838202624907335622205257988317945579704941760360325371981735504389607848713756939378725281749540072090671216666896091035048448021330175868305137588091055959411302196809451996837239110221651580513334176365249337566389301858690213824228755655855640086351411290855828119094236527397977652682551705603097477542950892918276166695642796086538834008724258238153212272928302629563072640873898840607107508703193635236916036989967918777703926443422593375382281192597284251188855324954046317600445120859697930807385989385249274871659507910176772412763857865804432508965971093459828270420777894850306870480216900403257764498166870532110175646772253167260811810735427876725423982634043905844809457475502076433760073978403272937135885733887935707958196270342350317285734921583003859287327691893983212866732144768519540446875560420058950921604554503182234343531036801836780683253628802877421406283474408488662131718098335013052382640007887116016764131015774199756285761077389940395723413320694722547368527970251122993748105559276295589658182496460763602153963976723366717712659823449938659560535246560533011377259437090240948763203919467379138056464041406055326461135616261653818835416580580949487054427290202297985781247642901311051939242385522578712106237249449214639009716787625749671841983112743685370862104545546808005499078156194583225964051387943922926522355732766149381549699414507878663508285273962421486337969451338614471887122256391742739568088374378613832262587593592358894345391043936282740890324411712254720984236476631333329813880711599065236025473016326755547200⋅t3-6037722860699496560827899536642241689490198082575423440275601938215525752167844513913036126419039860964545745418844884700821693236187901305149202474848804715084136750418320240265146402424325936624359828500382385174510647519656091239495829735970401153253455792894284159066618325545991440980526161263650069249679617994513956536875626348691486445694601114150130496110667811467711263222520092745408138678290986393969089240226459262570236584521950828543780277953925656176950574774120763924663619407129916647870340285603136917535513768057472751243394060015259496250913961430459884422270993928077628356070017736086692162891857229620700223204113107188571567355388110705311032624164189762956025174714278060153467161354653122384784068013098987496258044487523612337927702696334325508464172054020373055707014213341512444498889602115920764429039959868586134313782938502613022119838233889771249649815919361895850771410901156564715439755148118376550465502059054102468019659992328663116409394802217458396210753907876814639712291848159828108141598922739201643389174919861373866965706018566595721529096858706311671741573455804364516825810635477225401575620293060656686656065049024344562375906654532438828777805167680381967019704607272974425591119900983539036818977005706756648482395548992114014416220438864489549606121568717144913448137015390664292872153310156866522054434598400672526744169018710767511249087766155156197060510342632202580881470450983537284417260230334458549573270662235480757608776678600362772017113419929985626531143726510700654208100256468217284268247131128304326056216549941041103429908367267436594504066590457249618668999201071317522950756871665302191345357183838811973025948154901983532278020325004065911023008645331333517508164110826015005278598191769127125609061543905601401087731197980552707194637795205557421451412322668611108620104774213861823350921113453206047891304307833611735315355508558290801408636403534031368221965926912922252606379266379324645374325769829970802694121615073608920978579302751239124994421386698426317449433532604134982410608961831126121705042040697418389566748854139618046491099460648363878431650479853358784498562785971460691268988594527611686238821306705524924245783087478989695889885152273530877865919895158720275327674775058652325464548010161938411223056329913094249125607981260490513132474876649800877389494438737425098086929336197692969829531192960303901723387395055345195041055584516854920524802696662051687027818556016244205215487500228881365894196050784347145976285269078806217207972158056501756262465159838638273258284361623035070004672526448491239943212149976062025709673914612423651497645614556729901919297728789516679116413862291710833029776371154959956409530497987427758307729981670930678296058562665147111676467279343967420771045298037245356032980109081386664706409580440936924026325861458537312957414203988247746345833522220636662052722682698133651249722803785681717120689145465569156209007526444515605489749567505869493034729058417356375136259210408600888997151402720067984583047543226336662334308850605442610535572326560562871617562857871030812406324628841869735473446617211574240330314609902354752115221884855747819117049347705707723586133203051246099055037930715343878117585994778032333769830576838526818772784891786750173827745597256097841806918077087699176632634741701893475967049136675843083575508079530125131136522914321835298807365791023998517051740265643665388956586155632431928379524944349918751064833202852039318242975233669186930002319570096820333283494645226408019470845770758999038353979183364918243091840099984694103143342285570948487845271948323350157634235464316285113807248669227275826948867051547822030938852266151855979077466913766728511465797578920430495000372712740693046198430004006416340787802494821641904450644265388682843664517634031607011553744838710066748771391837178630497580382793657134072125776242734578078052552089217319470264053244571904953318485569198026732372176300179214564788670315244374369270143386954461669790480531093323834286615088354068073486423964284675195754818996113837856783393927560943009813845677989238901573790317868490721465008870220353393395100028051621392177222790957633609038769340787900327820329507399903414008975507139904892874338710836413675700190936806700568426911388512445140361730582514891623760012224680360574485776514611750457454319438829204739023986390165814612226015985990223300300145415551047149630501342390220605837421352462026099515171863038845804675259310572204423894249672696688101827774788365115994613369031401830778760166900221177768677350409679668630368878431659834341687355363572646570193918726499556625610793310084455356458690199481528427028500077099849652200939200349180350292298230156712330327959249098713090290508437299058646654622712154318009288831215612177952320751373661927843014590678616127465335975400498737833028082748257708544044366370239808211054099973825355941420394739893658796122113699703839668864615562070795543872669447868431120810784513574784883248024660803132190989702998814217922549662259624497695323419660588218748275323589687322879210937454842249319343571445340851401530742363781814797461785291972147451314679715607798555893839211818388244509948512556393540621903335989903140517085482042806855107758587697799186031832723138236488651806810024388843818305123919859763374419341282390380854099364336877641678566781252807681001406560476179843782629633874929617618402113106793563497474167237979335483133065743157594935048489317469727650644860463978489919969734321337054754219653448521173237494026308503252617021540998574654224639951263622835908190586679997802631190908410199053393281261469046660971590707493285418700732093601552736948599899854972831362627738229465249976119497132031967154944526186927621790958198488890832072070437382281195085978499965367186715943946980188850553211719483549037092074410758336523406943844180743704869602207405595092235294061036529374522376354789398788744714750354896838950372537982563113139609711368398739209347038756131919266079601136685824090331153395935502369775157508267055306068807911331421900034217027364145691282055932436714547519296719113964338423886768078634047710468303034362282733714873550693336488168336363324875338051804263222285827144138907896614719242138582580952732587282487655371818444670083588602442024775221984197313401490249711567668995897561441955157141527400266251359901009282491568253058676963870717012416566210623025295107960502057509908058488968740985244025713907842879994370570343011980835355970587784966542568986287727856935621164572458383355992480688584900304322014913548159770971863037797404351656019853850050947465245847133675474574996101476925289044840946596669430522124060583372077616117046628793667390171826471722365830280172623100166645066319025395786374984463931402348110177096517241050138656966035103430387154930859364824244682309027364996020688835546486739688122993868201325768017310298065662997201232583630904400013978167107022472136227864017534933041301400208460607130729878793398768707156532116212114414016776645842107864464275470392281040365751487640279804452010568931534450473750428942189601876965753935528455424985023877802440395116747345406181921600⋅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.