Rule: Q[4, 10, 30, 41]

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{35}{8}\cdot t^4-\frac{15}{4}\cdot t^2+\frac{3}{8}$
• $P_2$:
  $\frac{35}{8}\cdot t^{14}-\frac{436215}{27784}\cdot t^{12}+\frac{12954799}{583464}\cdot t^{10}-\frac{3039465}{194488}\cdot t^8+\frac{2679105}{472328}\cdot t^6-\frac{8846695}{8974232}\cdot t^4+\frac{1485}{22952}\cdot t^2-\frac{273}{390184}$
• $P_3$:
  $\frac{35}{8}\cdot t^{44}-\frac{12026017565094668871888288986841923322400312513922260069510583619554397090340542655454532457889525873705}{233625519930155436555004821176593861195407735922336638200224761260247676239816383598475432138425580868}\cdot t^{42}+\frac{4530409694865612769566614513536650763433105664390712679928702892594501034935713346405976201634946773297458743}{16023439909929640771561560665217866563948234975969380667600615475795347122584046485485035988646056889412648}\cdot t^{40}-\frac{2779448644875068891274149160849110532849412692101949183354603205696476571340461760477074057298988297226444364735}{2886889757105656945676341179850085625938007001503816750279377554889128373252225708468220650621064582909178748}\cdot t^{38}+\frac{44913429120790759982459613731918234740984951323109493005273824427922006502505413136782149248962038027094011393771605}{19729004600060059566752115623095485167660339848277083671409266210112303302805710491671819926344355359601327563832}\cdot t^{36}-\frac{159334306244791519569127278554615298217518172104726407589669500807271709596896964136169319968061160138374409681538905}{40162616507265121260888235375587237662737120405421206045368863356300046009283053500903347707201009124902702540658}\cdot t^{34}+\frac{49879178214894038714447026524936360488022413052660522387203234516150751386230411102702803051432553139474653924330655}{9450027413474146179032525970726408861820498918922636716557379613247069649243071411977258284047296264682988833096}\cdot t^{32}-\frac{394852631528129254167959928191333572808774310360102011529934740844984013845470615883542692528971279984962234007976569}{72056459027740364615123010526788867571381304256785104963750019551008906075478419516326594415860634018207789852357}\cdot t^{30}+\frac{9979810844083628351480231910158129109701492645977893215816251158239500398553723131185288399236295038350888649513247185}{2218085782245225136848134410998544271327737539730602361492826688787578500062553087719966471583883864560483270237772}\cdot t^{28}-\frac{846366069596426673985587384065851783993358214374524872252624711510288630025741780183597516301168081444591575545597485}{287529638439195851072906312536848331468410421816929935749070126324315731489590215074810468538651612072655238734526}\cdot t^{26}+\frac{16812923386542085023128862164782143484143486228075269931720140043972198191545641014040560864778226862875669152957848575}{10926126260689442340770439876400236595799596029043337558464664800323997796604428172842797804468761258760899071911988}\cdot t^{24}-\frac{10521303200740061942591990127605038984224451146888810840537734047858973531174534409557537120786408405684577593263905025}{16389189391034163511155659814600354893699394043565006337696997200485996694906642259264196706703141888141348607867982}\cdot t^{22}+\frac{5642559692192579801415151107990364932327437476189628020926328999648441215342782586524861192225377065858347137383989805}{26534878061674359970442496842686288875513304641962391213414185943643994648896468419761080382281277342705040603214828}\cdot t^{20}-\frac{19347248695445590555699173711044638637918813605573655007668877394123566542279696869919271323071362162931034711742550}{349143132390452104874243379509030116783069797920557779123870867679526245380216689733698426082648386088224218463353}\cdot t^{18}+\frac{6877603195436853863301056260469442018561735415409334022289823155093479162887608882260922726832179651175771061841892475}{613916853730317312876522535310819308875266023496547831386514586863317560406202193501159608968383856291129314018032228}\cdot t^{16}-\frac{1850680998059633671932337746819585483057569234509792941664333540186016650245764657391380219584014560897163686324954375}{1074354494028055297533914436793933790531715541118958704926400527010805730710853838627029315694671748509476299531556399}\cdot t^{14}+\frac{11789367756984429058276683163424320966725578127269526566209838571754127334913404461099124610992127722473791884198217375}{60163851665571096661899208460460292269776070302661687475878429512605120919807814963113641678901617916530672773767158344}\cdot t^{12}-\frac{1431297490791047233282463418074920988721972841601968646191331877608759161215259897423881369385900044655513781527711715}{90245777498356644992848812690690438404664105453992531213817644268907681379711722444670462518352426874796009160650737516}\cdot t^{10}+\frac{17310006072251814542795817734673805523121529847378614653625576830612949554999407764123696149798268198545833396801725}{20054617221857032220633069486820097423258690100887229158626143170868373639935938321037880559633872638843557591255719448}\cdot t^8-\frac{41500591718557070950074871151951380378836893328380936931135589381021245869406543525783473260434973390948483348925}{1432472658704073730045219249058578387375620721491944939901867369347740974281138451502705754259562331345968399375408532}\cdot t^6+\frac{4459885358122062600255073440549095164609435341010010615223345403685928988863925936414012885249430830467099334625}{8594835952224442380271315494351470324253724328951669639411204216086445845686830709016234525557373988075810396252451192}\cdot t^4-\frac{1969959435620274234114421750169924233928078192974521674899567516691860061046964444470135440055048758276089125}{529392069521070726321059287695561577943164179681805738659385766932860794843029427729260822226359992019162234551781414}\cdot t^2+\frac{71227272556373853876983661277545544244681966232170987544127160006579224726274985547056355961022419010325}{15921566000633706054768700381821400840395915178400172591259722313770249468963291059526641269965714045689089760955832}$
• $P_4$:
  $358⋅t85-1391415705401410732533474286427261118817333687849577085400064803125703814815357951311446319696159378231799674014371365498447212885894091362609069919042132562908691936758134054848180756672597534354693732432323958363125711316597643283435451609914552480058618980040050475351625699470872662610222260903301740641819961623449693400963578940540238033532738128017414157670529341970478787372571214825955169779226776092392366830654822068705243020720731318924704936993228785988514823097608689496793278160541029190587096645051677970857101712975718235890655445261439668258329273215151111652479783536950006430994374660081998212392301310231707012952071939036132795300831714063935954047718379234254951215786333707919897961900218003586291138902424163075708016592276192481651024440537861193177839568022873321660673856135836513855887991057856201568683656834935350650004305471217231839462407949144657867820086706051035792247236612844355028729671804750632275130122098353309511612061612928020000197812407765313395929437574110730221757577102910842010340918232795456931119291565538651947990684960439262047756832577967559009275518069828119809703432612209810090123034456959763504834145344465354944996394155770055721675115192477446049592203413870196101830888560639192899945123089990337140428728849186730088038121459254923527131279976973752980658053719918356716968109685488172083521494685847484593153394709086035239767499302818519853699918929573577219026699919310737407144316302359495920916095376347421627736734817636812460099926005172530625921104980305363177923359597664779504734241186774602414335373722471543390546759135997298812339323316390144542532633451411588431646771095838651544387989967788436496764931044160479103392514866530499213371282727439510914337265782468691430558117113337855542770495638354397845644590491650220199451818726814276474212698740237832724718975559734379170950657272391512119928730602784989100203585990314102793195916780918762742977289870057165898899003192010393805406696611399917312577625630799792308669238396539544265816386843556250466838757760450983407630393931816707838343417254852508339192320331646580774721693852462871117486965214044758216865795239304676832271684676136597748258942755081439198265082831938150508960567867840868329870529394944297892293378140954710799269788400731512104118745947433173254888205393949678786334541430314628802692743951847845933877455793619429519440958721813145301229131027852994368001797389763053939804379315620085614112151443572779687332242561218624431463300577564677037448727781613009413162947918149415381026452558020628991089036680782910449019709828389895293194661852913180235742485326082372354810740160917567554727638105427759735291229600640255118645925909429591159605990466803064226268061442271858707250033223224371342524719471676258637433647707603480360741825959111734885497022714774104470215116866957543600073900100465434573939763971360958846095174965594725936815685532146550207896872972075995512555656831450912781529210279343248578705383761124831227151178698071539526068718134745080646990893224162956806328584328900707274334779185072125741728067039437752950364430047870140328048829743032093738833122206059382139913464801709328712070118697221954561726204778606221665222112036274744166898636331037300472289366812409957751190892882384321766130993876082990689425646442033672837544842671002928905881761777792748501581748639199213291371959261948772592400448846945351324269733883951681496160283452185446067879997714727545239754074864697252699258904923743491766370929122528546444122565594412874667786288904012461460680018289911936796474025260875562036939276858928755324993547834341131478359987550923513928295439649294177534254236325190649153949706581589207788779844966362205452831303781112921278272969808395623626021878349776268478005385078663047858726779777690134834854846951494788666769567620248247338610857900617061152104716584535440781208984451006748701208331543897872681927830626355415554533206190979578445247084469817951534361076545139702516661657718961172589511003183722310652932395123054904938396002503035141002973866954818821936304765888555699437864829415735900422199746692162634909758216917668782263169020238315490170690599182586419141671217077394719488246161679879660530878509529241960388907959839033555489447601192895213103655002278923862117703078155987285559427380408722396608648866543658792874964646622563257441506258665799047370787606352914185368111046416883304066078332818262518988690893266985317098186059597870302849688928525342450732885482518436619630083778127418525744772441813839653144719332020085759101645684557215553574362503819961152602345990442917784059704938638990308739964440351543606353027932325779034989801631275637514429835782682941944143624220674487240351872721612663094024760217748695217340814116281793176078430842399080851180953444810836290836688055847902177567667343770630856449997258569149471727275667836853535597938415359155803617199200644⋅t83+29426546072024163628591773437686734907913025283338408119240228460868229265568409179207424513255600087267992412030903328956369033885017550121570526528229458411029773459038348070310548272633316068057338868468019894621941361492074569778178488500999181451450953136435657389665106409179517958432979735379150302830033148507208613481215986638354849909600791922042454031572419203820508895157025844670237685035881078098111417006988968391096512583805569977165649518320307731321087469965204147380371831050885407004185853306025722329978758911351305883679430688248666996114215047819910145154184115928263312536879185215259141335191473647997672503806962596557794937199149076419138881184481314488250058310212009103887379407221881512367591579117911547041275878074077441684950920794309658567320190239492990298519978480450529371762960410535442062084174566901761722075262170790949599933994772691051368616268774791780750269346888863106966001903916049852497287232621975369785910924380173210062633457718938793896828865649795506836838758337623547243112141812075321399184313848506840016900969998093330984268542548676809581229927748613979809808259753275434470416916853589947985237474658591308927598171388234029654699464415595926973998315077567095332023843916224388476841466474770392421988776271649511465264878513433624949725722838238618040505952943075345143312123730363077288465927172944411539196330728959601782660751200259907454430433492860528755850954387332006379099313564604918882692237507135186194136491491108228911369171413938856270049890675851620742118777743090747823768325574841516936515154261409516063277169700046758537598599594160729221198194098254059310190619948977566698568432190726476199813340792478129505700552282049975562435320987089358237446747377052651100553603618587761005853398447833028765022296156023897811167216938895425840715018816853908756017369305720649678469105070807793735774138319247444181420514748368872605537271715507714123935638890804352788996994021630020669871051869836708149869026447542838650990544040273014623783188530983190872174051699509490892606584454803173048074823577443611684067952152130121746528261146103583811838576785990126402043465587520234865538206467218763615165094131863916327335519525055018994594610137246449404884704233971539270324136394907075284147724290476090712149689611066897715409875798925550187733327891405502571804799967636154507852441446721475239082819971138123523973826079487357057979392754072532889927350262311088656153726373627012871257597361425706460808476682433916068972677239423294865261586044724624431511678296369327979187682939502147423857124185637508730408531398792423257473198009810388858665882119484433315624076360947943825867181546935843928295863589456034758300000238909357402528493927661816600310073337568072580793935254053611880847248372303700688537076816633327381717486016844265197549405146631046157677352475285386856425146574958746900453118979130226435518116319970777629326295484205632960221322618500126103814876816984910070352045363553536068574722561816331523392103688113523957699156936381004677500776110046716258677533364408229790433347667542674973039453991757149178633421891647154065912376253976647069118874719995042009811044552335193668062284291546050947419103254796789507478248499496386270615204415580716853682531507372178797705121686903950033565811983323474219326323071839666803568799576225388885459110013155088552875400041259078740260536993648938353881222111864555076776590785773826824696139116336908174606799116599416381433647435309766339896262662361179799134543706081118231893641236978921912347361770523792298525102816566057399729927638100000036748140768880216681217504463669145078861563662296059689808223350566470525386250023311042692541444756636378959024628472448746232810913744957267311080045018415759906434899345141842889150330212720412617147012045717281457441425689472669379268042467012964699179930929169368658341484501179982819145717126211164190823605377118363548837163405473219914621235650125779527961086694134975081823597467424937233067458513501848266404573554818616305385467593040018602521877244069003529932907918378561523741954847716518518922211524352762972231327859699634899941701908749602239888080056562577630569292154269200739635632693804686104310565517954170182605083761775598672078707667178342087061421491891177602765888208938716233789775053987703068666394520222943662138077075547432344398583671611299448722310426212324310308197212060662656902390487605407505527240693392254562674193796389483423806445146214180703334982453004827416275325824518854192766683195197918133076187066927883071958454338618656710194392766085573922879812759150560915020814988048764723319890141936832072578123774534439228380545920505505797455362375856792741675429250003713176231074136432732051257218036683924540848295119575232399788936460942474946717418513809316008084517456427522953142343769024940755722149693905847310486884368720939673494661183085920518868738459787506885712136⋅t81-398622261511572727166305325254675875623416481727720425920634033312618709008293753535580244141369656297116188008976981816106043096687976140180396833702247180489275765656000848637948579246575546122854491397647549244009346963389269532070552851479713849942021951942174577267488110346053144125232270648751497875157574188529372287192577605844794514098745064281475538959827353354010227788235919934698110535040488517629729094598549547368597987387001068364263501879610182445623562070008359635241948895721889331959860480932760493826830196633147868466374602627471331535280197001421439469407909904509999370938054962643831668639109242797918436743096506830203638630628272960465358560868283835725992332338095238397463137103143680312462683781600874482079274535121504680559501852039922251241015287390598099310259464586978573791406076380331962154671688702030812765117605606276090637704473818987382922185607660050484975628734189978092720684885441719894090800065344940170655530143043462281178651174314703789359533769064664006261740483763416996198224107969065955784708473821611681550593659092770449042683326771130117914668984816646952057654406364550588607480184917222151266688050704978192639478817553332438356244707142795470753109974755702013431605600061481742441146337538791950418238471204242366299139180843670725997497440754152437039249781966173897076448423891475986027478300858841914088962277147566137429072881189724770402321797691226881472094928135207834375396211510854904256183642190814975148386779204365879540493404637935896790442967308725347599705428918451581952450899932221555786755869232712822445716240482912986071324712581884423083924572702276451250688221008938278136994872491091528494187780160694294515225848154794911198918035794142866712627547438099802595759167587219079044558094329261297779114198892616297803835230104319937679916759644463820510642141178482016467973424272972443503346669138881326489473321080539731621588480071176806613047019363321884266762572177621967884310711042618606529832941305757605947564951876546412819036032954049968031112894154162933010684860884661010414653784884925337011959740397636911483713076195762716656825093137613054589599756965503503103948551753392249508464395326134186556881852367474927165973558970445388176433972286954206624125029309339352419304234281083125993379989663866714589184789649737336599623556195176085855478178269093083178518921283281988540729197976810265283204688601907799339083072031675056238127782292383662569213256000618187955690354015037452179254245599371803615996025684175663733207137586609636751519184227770354613166753456305603339169514177281902602718881307810506784159102299589109222319732667380464899426014315334672000005564442629102353358561018990370284885157550473478528145577720215637776865714513676170325176370114017658583145859105065843884147899063404431149316000437704382526244009996099764961643490233047269755851625236320472409898881339630139587090790986860128752798386496600448196921665291209430833250077116705127927607759361903002516231903670997092999690775917492559652230166779188417754436693621454094250505322424872696376739673822852458324684068691235997376813855003285596051499627344339339385049815423215910174089777188461969631317821437085129015302626759467131437338903975484585254857314232617611717351189830359027096347251933663162478308188511715616571990334884607874246326872765960149349872832379527737859663706896981768617550073007565246587661000268688696904069658406838939429128743631705393695850708241382580610031937916942211405257951076553022798165251476534835096149241214658152726743287079802216402370293666265297831423364761590774516739495356980459109426059557596248300688790475584727074295251597310264316836227983171198601442835053266860530366960309527648006909059095890214477599342135885663633507902898018846942299147762759909737738415853372604032301739332145586585264812715495875193872991426446458827119389765367255195950410287057962825565513915256552410159870451675747009667460185519274274061164213646659831449660732914191654773067524864008412955969464023391361081223099191473143533764607051537420162405368009573245846469264182366186951417336206013117417133786596614726432534462899490253372418193325430935100849908834402510999167884727005253744392822428998839606892841835212273968281318811736277626207893826679665479081529448748379122665702527827962864918682873328503847747312417555753001207259739854993624126165546348458062312462174768889942204387548019316774704069847521216500793139738811224565413739872272137123892712724780067134488316563225615867698104979016407420068156735473242934776330090085741156820254063587259919493975586509886640085418503814643554166135612961811695837744967164836144112178590121828239590285668552187081877088201965692229760617092720269470249929945701424452537846211144848077648373909511161598569470591284429442022166179063279239302601626245928421048680335039071728166590338076782276254169354679113481644694837555540729667168196⋅t79+32620975428457756540404443970907750753502416470970669790187505137783026426787662882607324891412959116561905882835866465521789753066425449428332790052580929490500344893587603119989784743736173744072673651048190277570983890557463382219011329080089956198499285909184518733628125314896513721532932526716860293475763674752958850423648261177223259539559776487502405894181546332684039578263956777246356297886034115372334422120688570561325546411499000332449982331411473166604742107829815948316698488160423999923557459343353883954397918180192297622616944272552300767636391783016054474364048253158061196737303802087507458747592768438954376672385003482056963250325532053868981956008334443207985795084210645431208501224685293049074136191946571851045120298565139368049893425555566366930910254106583606329967346375257234664536491974053632992677093888846104353031736363214686281286829398590033207283021318615485820559999455815616724117375401530801857974416711018856886722520240615132560161154785404367959185592725190944298080510392545512076872853693809303373664683662778024755631475781695179694721351077364809109227977763689981033902846033361334870625847064993850796334933239002736945733930464813939657382285803667480618460437611451895076126181706746536297504638292741636589384034823130192772698543919404275204807704738341805867975972676072663343676104282722337518723291998935857108203601558670744497869856820726360493544683202987432983238830687512774292935161455018541167190488824333016011722358349026118516154708940094157041423342332681468713533062482916915185055073286525396821892045461545732640990525958686326979725840335514106850891761197653132964371666999829516347976367182131763839073389001536382839793958088119571403908053953112259469574000557328643000790406901702419800693868889573720463930510305183062647749770408347554647920108268409887688822896848657926523475509711930565606978808180089327039636266354315543686363629251003496434885668943475413711788175623674171589715649535409937729835099029006811641460385261264574145022142214650808590237018005256401390111741290253139864242093462235865109692667052352513583396752702708082445170404193930419663717127834993000234959222371811691819366246984750326330449050704963226358533809647611653528143831375233347857185590565516347441503561169473518516447507837052867826222904057829550197973911610707790602097305440526023171163576477573960246274180034174179169312640903366864321217564818997114457225153637179101983232636200485617518433065943031073965074243680820224833092468359133358497169784353886272972088745827141046555128133089753633169517960582198152272954667884285245296242331551375149048255331314326536435293855224926509401680849864922164472486672959170845591669620277450292473441992337661794893876462752182104921726489054691348960519459862555927257484444778468498333167650004819514538339941970525434598635498385886597126642256653632666476592129894287160569535068000827790901901407493136202955860977210744519553037320124952405127398973238832116371694140501274119924157738827253993538495702086018274397610938145143832068669042617869306200815170686994074455312229629104941820740047273787713492003762836749991826964849917688136104745105645941279669265686165330298750214463496520168399310623887271191885195149068600972543437393052167259041334586028600153080360770136385387009814698584812253584197655535397825702362770933000209681044592923837993648855113259177074142246708116825439028299950078492104644179817422646473992560517548010697949007480307237895316289514030671313186211426714537218322997278891784925678615031563167879656682412174615732694983350463721413432250311399394498287908095680079007152859451507499457171041102024043423338444898775525464397055302624813117785123827964799313816314702121000364136857849192912175798583662831280453822724400089055113409504661331830098092248116951189599950161264049718454869196168567004567652126165894947309170605683721283769617537360285432010848934519897539450668737335303635005515088969431649408724485877237079300131837954891439229024325362232921561440544521619505157501957290975561372621312513187704548410702521381283195571990545149430162334073420877395788216830677230668557596786572495017318879760379004120800716626938934081598112440582174162628300634618194432512766719636497256437419415588741464490100479574221688046927129100755914212218573025231807216259840929635915999476743218388248572516757598890861496722085825038147701637682486901226851024201727262829444623445529843985692686644620785490909333462363788788557869957814235829509018282283576866334598595004611487085240907935448744339916014414410343458194560966856528179357086557708484835938835429895692405741390289762386862365810908887564918740758644924091980297277976928050539503726663361930963387382520297822434515286395716684608294418874375244237941966782500342126229005316427064402478942172420293804003208793364614082024184182642614544100482605704341084089219518742188826229606473209653726615698002⋅t77-781350423607760052767120818060211164734838047435290537105340649991091602449419617386442344435524450330725965859921762235337055161035145748328513813051235583796028196740806685811853054751833730197762700424388025785793197334352322367957769237745764828122449124692902515767292009231682177836711259578589381782962379402131083130280398459759649916577848706260673379938786172165299939231625780373976802900398596695972868275713734294357004753321215279316166516682564165886590916841948385254218293599190581974990817079831852750038148570040522370940730543376419886387494188187189578661609243403727960949181832316077384303325162226645742007012804827720688215381976703035656435199608213831578528419848574313521472922065990887021999002512006332398397552095798238629486242729685972777495435305554987960334523741943130631720326985785556281962686417109944517894539537847958734809918964646358563016255862312738560307111483417698813872928435145514702777857710841042911608086469020315803831599588645367038217477259470897800951691755725163483526531870440007612131987869236800395300000111361400517034396160039901327163616393938568082863656906142110850062894414909907349771778869152155925882103504004769784868973847517238108297782888140818697890790426120542302923059659990189173958673815867077609307135154839693762347272744899784681038933021364411938535479428394153065084617846476089682872879499496379116913299726203042107576782974316605610273336786434543578699925439155054731677240198752412320090111608529256817215365852995226741457854519097899609014106550122010246460604097041564108477355239752115715606922476610838210108183910817264571427695371178241460815867224403172064346771455940516947430893606376725091914456876212798271926394490129845141385901862764395604292081927990272925278100060604536388346758373431677841218551967570975539491503497271307754861934531989594888356386010951503494173810610545344405406716437544178120622479568256243579817934599653069552189064932667045868960661944735844326303095956617171572108209138083788721062572402079558553636459644708857172268191357392295191211940332084299781722806864474846512906528167458351787615190063870162984458550442152431893736377830635648468892378619406493750183431411662094500875067175773685447342389509073191702041869076072251052269489748844407914059676626622945140843729934065545011033744390863672875389105179600709539380760464905751462607376269125511839053338965112731926418204489633593090591716665065143519047183349327062035290183632159428529667389088673202496901593516670632093511256426286052982146427406305355112163654223840550561255515088373086847533921727082943839122830277614411504734432289388292900861319822702559654437201577035586958265452483129464269561323478057981432716990946920856624664554475721016395257986564956204338053126897141400574148785324079020753938436763831980737854074515846167397884706557556665872139421815751600975366903749999425077833158402484077010971991873791461862827268108539007539722888923291849485108214844611684413991970240680285262240686362845598254772929052132700257217628326574041175901669044139136037147288638023541875027475763241098749936107009438756833174471243340010344205443387374315924403222011440271554183381177961698392615650161159227910736518047142610270266255838400310717188979601179548378945548948508361348777349940209961280351562608272307485247610369025230722606063184309852298928098623849722113562492447075326773877312019258095098784975970767058266420620176568758826864152291994050413300562918603709538421609151610901808345262739971712388926118822308298446310156696336893796937867700334929510707598143315558493544618705959368053289621835644534668363806906801211735977996167833142512876968086602338393551382131058579837845017803469135738124101422159749501208276768558455198358089626354572493692455663126109025966787790645172348914558691891843289944685317919555549336042635566961666729183056392361089433819660043702764761115118369291883118467637508574132089969000024786837055627904868655372055395240437561531547438682548624487066340404504442373679352575877959623155371793007689724761589048191319567379968868210773287591760348267615642403984527504484830231353813982499150219732897916363016877975458418483289714726067841150260213967839420739466004585334386339827792118866036653191391660810952614277742605377391635074062873614014096308056954297602496372771256807901155302675099606793584906936366599989730936308958278141845009818732462808073587767028265371482407112729679166441483465830411940929135193150988465845023031978832194016932909934733224663887148058042961417068117107154739521491135328461171474190849950407265380962159981367791989361151772821563488789743181030310119112456916257649523190469215759077017622559603617105043483067110625630249388537443372987215567829764570005847714507796111176467254895398726554338330513785639381795002655598430319107459226189791412902947057250762217962528971698736133392823845771560479243775347363896131584762175421564772⋅t75+39658168958586194132868304918532766889780643393957656541903608395274785721488757108074693926013292723846079895656446554287375569018086167152121082550157304937226739403043385263829124009465543304200494682794177138283065299715891817301315048206443345025280314345620244080752825285997361792616043244064693328881437659559160782389961872787401647587742671565177001704953031233345584123046628789132040236907412794806910318810243017581430217160481480930057967541598035476340918087625670797654336635919546974999472109232932450924836821193761955583814444564630737212479057810818229530012048680989744300046943686740934709272045288383550217821798170736477739125559961777761532029919396622472426360121266029680554321275575572699235927102600829384316176617676637663129782419183207399936158816058830865418667338433208132292574131662256163073095727781838906965882267929350980744378897457623907609079500325936227321276979485167841827502379791444954835772386745266840145983175602768254457682678762138554167660909466025299387185766065506688665548569785207368913175283258070804331273117158541986198346749825279136029650734023516192094627649350368762628009116481013349274220731267956540052242076745284744148915420980165376298870655582441475045480250582711534613453931986039252188026721576502551025436030660557642332115841465858040212233073508950785826713625193450506551964875818755599221791888070186845659497571236366236784015904304580684735932274313880672693147969827068886693480911444083197676638189285876295203892923393048570043837055209972448225247324012900591662787709290043787960091519890464523749394909587759896675701961414063746809370128497213964840840591113824286865540713673188008274458197534830246699976461231079547637302025299361824650734448195311623485892550174760584264856241560657399233554608704780809740878203883395425584848074505535090922940724931143737286086393335062526845945520073054358641118747609147148355802968946858666139924081477089939654193672831236277200234429636395917839025430784118166871361615916392065298850437489516402422618054725389427546224351296657074657344164352698372989349924057094966174429690868644050270249767975677241939587438355103633942009898177581349135452935368831908817642314851095584880448796942136914120918577621358959336453980824686804683288599265927955486687637810149784597661129637069705777291971296022619317391384265961018633698218270900407729188431421704622552784629670184472004622321114401264428036778952523311101763304084443101074891398148009909707322037130536256516358340718904827901593002009083199334772916770001417964953289341825411806089357140986212231826281447991080885173731948792203118414466584255497841218625080435651822377403362970684125290764201561838166949350689966168403905558240399052842162814458826479483909269259706447073370358910098328545739309952790176710719234330368982788037166925517348413597274818472574034179248587776579462642431200312404131728679163614219841579579644954726265626446957098879507248791727958915901641794825338998376033161037633437567478634451004503508983385919443127767891039523456221366081603313110200934194310380390425607660831583520453216551845843823912701931843079826946724896257684844667180394237270407665281660078811425113206968659664373301254115314384361030262566898161053251812091262348496689692189170287163769254908623102530011043498623064929407273165039029034957222994561035983667870846260445526941162436545615549810739544041779211287357722394743125406965925638414442840534379597394690007906417868866677168565531803326031117876541572561890283040853430313619908765922218629114177040639389439030849495910491990397869378798565169218724622886044441093726155949664801709102056974330860986176514022234428440939927124692970354018187960656718728478384332193912145138229326480151157122404326211445194624963323216981826278680079961864090082489181502661872964868598276276763085887851785109480790857927091274653426211663089428312287436023915945988079421510004478554554736526002330754133205079025953136848283290237156342963385385535400314983133218312262451115765811032042027649767161158246484032261603994973785902537860609808774146445705926038073624908370864419961372845441078248481581733299140460727553533064402407691282088559930571812511805890679137223408305956264604508922166284335820911611919664559440226348430813579446680055148599984175136850559368497129125216270159607072717517646721072859432830283231639130548287633629518792880152655387273638173246270760151963250694691386047674001004117367927221191149933293457927326679657590582470268352323562731616765212703181938678663816296108527618052815208646816020900343321324229230411502275440176893079314225972058117995711755689675436804212362002190785963057992010741727826092688561813903152266000801440696823844085538618682445618195935613242048475106394175001538675914753807737652935916613173755366914316692821038255711168825967147718101566421796564599845251706030764250243253376282407709913899539172929679941759092751545925731⋅t73-36881134470466134437501330084238393547186748806385310736748218049009118018654069184376319800089631541279898470843201743843187993276957315619447734884919196833768387341204312104043604217238589739087565248473430099117991822673862538974168902937292183476481418224115722150543639613604782159651546133066782837425062711539345590862670547684692175158286678357731912373910820725822127568767220870932278651904031481919876186864723448296195891440300065521820367401961115933543893719657089823186283306672577275887079054190701209299538800448825578264916241212453178144178817560808713206283430492583356636204568447068338358823078110041680214835797492100447580212841403822042400963548701687246232233403463437681139516770070361509270341929652323123000820970682973804544573088553207558173251788391920866779450281080722282466834858697873999928542199449755452513544883157650075949803358844653891080280646551829348342848188355802120974522874925566668751738166730827506758170297373715263824063438089345844209582089742058807659883342351100148107149400612093072835032052415711235392208460848376937551660173860777506854181671381325346329030588681020137035298626480481415308687211127397046596867807536799138252231429888508427925511804033878433861906877451547002668568636267135169028367990237579732956171617484028786458301821980867223009658123195554709885743087191753468239213800854927790827387691840735058603562939876150215535502047943082767365181337527432544728468613560736289830963130424884696835984468606896988541685888704235831167273920864929603156427101648372143010977371437620542351918457116508744700761119798297008984267421900139820968710278167812437201843715309305296262061616395724591902750513713346543355831962448760527876363662363809015546698123587264389746803824387619389883169701069537441141466470875496428508708055829166137404703141456577708394388872500703661103118095099844188301247571835501240770468195059974419057666363320543001938040845645184469689292777481976310554889082973744478708147194344337871734412148967549182332220636334816842858053284506182057216161095176327431695274185743320096655183575484452797626481287210737210484694191480972146882863315253785521849373072273636855003697629365579888749909564356912578827237637197599740411125053831014368014526500225163717232901758668885904094358667363879905207924603949046351988078549477515674948926499559504453920664951563500943219364451206683714910104648591871445086867357316672463114269429242569492250277716538662000210539437081753680317483374520320923272437496400932691031946259498046119692061783397078152181809136376568341675320857142162307130236853384033217254158889795289646211405068259601737402218180395169404938599827124147407802999918516257364555153183513472975784707695906632220538033069601147124800721250683970126462560681239062392945449606740457843405503033754353168645785492739461541876587115762111580006605383037165122357511039897832917211783558167308781798090437493712257547660354729881471232524665421038014429224654394798653886989484464509221866765276721529830831342383811787097679399411938696070035500625887973955902501387721180005857335225123864521438110578973962001064339984340148820397069538622682037735184465592053988323782434140011761982496732051913372155257437914435451117300339651898011327473771709335148074420331126435250682188286205505818408848803695346690067963880552640075437459167264505350015961168262874541314512202633476642040256843522264161514892335338390562099978471496383642451124234040037080561896438361444793196331445984096792636036748409590911814259112627889281185517536294526421914636242044328047605787153798564809936722754796483057546399078909629937872224837460604293610200512526758945311143721766422510414335502412125388794311111475448628197529764557935180712261280299668702993387512317545644583030235834955269403256485075856895171020223210802136115582921478736975580876462049791952769154049118744955853342151933802432472435061629864674853650595270574294300932031307007623290775163367679438327431990663847310602791583923404651270175446258809851212873503528546037356449501692758148967779870279457778111473346717413838253808593536209991594585222098128729032401252804611120156659041510528954432370950057042119984183596742043002862461682967248876144068993247336646892805750289653627562249851603371733663802912305920751074974727760629210862231222678092165555432182839791589506544812447034414899708553954115345787831967405574972980082944851924310639369067091374687221762854843921225273421269774688950660157692137393774484706395925031168899466219961173077472719015277920808487443654092549295145981465919482014871237613291050847115993003290580445465962225541538742265431173221583299568232168267541835844825907125707102916299973504367051604559439162899570710610993848579498995141993350167165792937867123859112516286041229813266915758926021780102120659129883309579185987117175103830718731991418207552878867993160543469336109304273182981722203284923655868781154690071850652⋅t71+592907173588117025085160000604436969914105450268494675063856166388253521870924751333397954616482914906225850076276895763436748895027045582106456308492302280043816032710371475938587237295358586264380820586158095943292546011827122069072498489444432873951867463704259875233749249216199574037736700599987389874243403453644472754748495482506104721804660114627954670170950711058855134883296727981152693159628466714151930997298565036443350068127296653436833045489514830747059242809671959223177977585675352787216232749673191135052424778444346443376263421528898460974343830881238515726543219773968248441443220154349993186321307811348260176267864821072868302797314959575603238404695333650564590443760885962842154993365801314518898590155485508664606585565762325325296456615763794469298813811779116168710708156874730141070175292469115158747944877327745486686973723700631943847031338555783415972753279630245458464928921294515416341393888938202430866324158596350258381490671388219926824406127740585041539537240772917431454430962286257562545881953391110140949696177016924177804350178463292623680314816082335990088688212751408878089356284728695478249558319358667461283761746778988138866034257327862678737124527647703034091691393598582068804136199547779988088352732192843391234565007364259643039909852940296695372772935867282899873919385438711716950018555300975342861578678279786219183673049786554967557918956375993062455402901319062684090050106768842748431885374347611909384066531546767770474525378061490726584367937379073179613419849873012283617966881350607152390401819186377438799173429768186191266913404351758689524284040525127017987550225993131179564941562730688625165874351402498388291663250950289725889456056392572923379009247600164816764737546748340085595970870093409756990679160820156251949633808647277991476517505137701033542693020600890030921946848865356692214877012652058913944947418957750717860404733164641008370349617758408790483968801729939894240592124004737656468080934480331325585319954451847483309252059355634267634038773391899429920309064724219411566997277157073233274525018581508082871621210588430030248830666966292644252666906834068668706535063499626289505175641318950385549148972271084307362746480934201460194242980200781572444743022370269063597086599503241352993128601086889904110067335749383781718618029533973513511708011099143990089732841009733569380807859921121459220568774924601902522040612015394365074391689014427096288178557769181237063772784165868927527466254242625281722662434884366637435653347176858140062307906130954824509385547982758607119043971289458703695732887551609730078700168874535513732378422919425013729955724835772695050157867903422768848299082375566259814871892685493854963304741704675908968228900460312657319296625876328407165565732589639383483332089132064565645237672713486215396526965452112433027223450551921963297552104369282963813695358542117509788815140861905861269979726655600934205014720697426719406676496118403205180661047172254669681171319567649566551147064148810161594994126741846749950149998516906592463123802209332133135758115019298645966574741687747063348121483670334994692421531759503102838722973084609536132366895568768918139606158669355622367181072261749997296280698476557153361153981539905840157855714649376524323604483565296032867595685231231034425459904321186002142557726900271633870869473719785109469733721872607048309341107026081218202330605178224888868821450538853417513676025212307587070973828413783653902758220778703550970535094884811375495096808301785119352787058270551568107843128792163382142381696146144551968832560851237486023603229733276385293532363054404519982553435374296891863932346008562612347821761519798977624753780471322983783945413761280789703613571527475228296340153327726481430595417342176959523091173001712769085007867116598887457534780184008883158600863714448096573540321828588586679220795223387305454973669605863563754029573144798460601373790459179549932417724191739388026214013339336919922392610144319282539208576093948225696631587079551822161935865933418788229463326002499157063390054067440510700686871031151799462163602648391660457019379611586235263786335551395613745003878501764076085960526496540026690823928384068226705732112044228932234030061918869919355803737002563730035637029405353982821032736362089418359679706942496472141525447387502547894287482674498465239708865866859738294008037614938937638975701850900193254946931894341917194301394868805878009290692282386472950428796363255391622131304722089984181685675068220679701524409896518086014330805241998861077062469509186590869419112656360397328680871219688998576647164906721915466806178579975053586066374371735650830880072757775449362309231942759950605672613805279686882227522578262211570796739703410888928116149267312058185714291080029283443473654759769543365227615984579425835471938865663919432755741214944909079792952530469381388091568860889700613662079005861850294813987621388954774847763303426893405274238968101548584⋅t69-4616561896591564843924138994238441164149082356940928441314406033562982990759662695911712665218456523300898369887429801648996369120493647570033454130100299817360303906851287639362423778236889285849757159472779235402868197573790017089305898918158295453425513754879311823927879083903037929672463242632338124218093266178491794856328567821861969893797405306272311710970800801583995507446532654221118459859903521680461687764009159414012711848781140311404597193397576060908521544209051062434605787061842421797866331366748856116432368907262900957838780393054512790122755293096311216442804467025308983814602220031137502617430034524581863321904239567780239102591092690674114290803502966505496686485269866562241290219111951502400463535099698523744595574904728370563583789662646829277586472225620864857412312223102972650741009999384063629586195694242386322425754577469660422906620242864386717727874669051865721529458296089903996746398183949590777932459741618346128391970853915823570771039943957008147439063815557514013703793445895100125582180545652540742009321409577453591007824131051188354916283547369919436492438650159525686883179861475314045067302053254615520895188959880957259225801282478484025896217569210966517124677302081551331772743861613875929077694987269226062138120830161520864577180308752652103798580385515686311025337132241411660772875488603931923315234059854008878235246893337469717316242140575379454803614086724069615285725297041988907713559543935597156931573764944890388516681694169146678888481913202301394906395457517047194069762601411646698361680565382924221432652937625475401595496245597598876767813818800438470217112574454096841498650003027637173595249356090038439224176102647269166965205309400512114489197644417517838507085062476870481045285086672317297241826844696777556078376857103192049071462090470732820120641161490002160104528194308683324813384601779506963314138208121907899385413857682700986813841850614263737975655843668738749392450386112858642845455680634830011302569420495640828706782422415912430214648015042551771648244831826055161598773959247666286578330786956304869980640935089107203986241692942606442595606965757666653113547189876113566199361976860378556925918910381805912820106690558617684539859141450122498594524473146717657772326660340185777015394496634302784308137361800944248650751555011523611509043024270383207111364262481836781472004814803122468891414176846630012291056651756880185357503085302121591398560106048010627941202343545877619622958800012276872833832552458178006707444581446912421904370963965906953152770801025012658173956784519434920378335955899886391884444704346556891833261342541312501183287579117892767973226529952823460416209901911317197714333373530708346613326938165264564982713420667122585016566651095984355297376160887521685122665001070518431344370949770330791428595577388261308855980523517998175112870318372097065762175623926543414176415865711868680325754452453679435623318404720328743559644584033295138125219170418644903874925130403443012783561442745724170519492958608805537190532511244006436243186073291323959776415254062215287260270769394911579575587008472551216138268318403057118511950248186867663779751116729088707375309312524008729689637383895992541740682652896518303189095443877191997796220837913182088446791156632738639684475189359784963265913692801029669705216282567838886936077733551012800289189627529621528635322865733648440623513668348909817160676403044988518677327594458822008172710894999609787013455917406598895274068639372157886832375320582670137391104473958966799279729724735264434682211657775933698316188297863452893711141820650287954620134100500771190510282011543422528054323297588814400320799333836616448008262981603207876499678326644304530199466434624471303233934048541822390108579829913819548024123536962645021260208527517631622238789830557934348112742175510956812977817621147136028596833530748158429302301166921574021409258513803128950747878469152158517132758990585413762501203840819011509215293405018786882190551432078165474009596822941600263652706396804606841994633805805191018790642412991028592111766136651453229401480021051989635537484941379344380349798668816277049573867674862621406218471262140711911496455802564787465291998540779705402475430998116411989056719818878618515981907947842769480733319230451768749426942312087908951380370738818138727105301070081034152361055505865382103542652177477485636921117562511534343272344616224789332821381055089559147833843671904170109327995310945150125249844704852640020666650963349506391446718434848611113076078826087127966017272799355894752812569067948984640458305554453596024018591233710644626495655036514362657905153407475196823550160020594561084744158071365943521267845989328453705318106279169038520202561904702814487854505149561776607401000798128542907487818855438539995725085238657184423424797422975721084778801886388537517746574239788272054391292060286271076961956777186065439625437955841198664863433960781499557495846261709⋅t67+14051588279657720061217354507497511197316161635863357737964412254452549309094778131992002195059180640865554626048395682441250068679698178048889573329401563897124693496631222842655123096486245740296968627463011700450814991039827206604835476539754778646907798396325061442927873089151950188479051898581832735767279126920884138801545413883721793397822410066454190098315168836194572212562669549684992930480579114333146070451824205541988202386460683133580418493706647171921640323579743866454424368532094343416819494391597995572949790215372874232963569119697314496288275906873886290374192624603334230400025196956434911443386766333697820236494099530061046411361933893628324546771363799689647513364989697014980443942029701694769331687108344897282908551999265212538091915076676757573874413801728279194084850941468470477415797323478429220757883133723914173473084045379044454205481716939000829164316162955958454287136362594014813057322160438143341609700854503469539259253135143059637987848744391613867384973564724113825131009507294095331461095691271886760515182344220971507520160196109468986505127040439819804126415930912315849123441167234827829141607000499359143094860488730190933448146650696915467790202135507071898936767721339884701452663829288626397290983421485882219648659055003057241868717463617879886296812662048395151477594638869782683618032407522191052134772538084527190129253304416002651911653936991148602612682964815080395986928210102069705235762050502739974649827638135303213247764781510194082834790177377309510486437027905828358566606967828241043111030000801907844545201325895134055796475416955151324034099807987441903674572673980303982665707145764469224075127945766478983145653254742724337481233266654021495680650593736985500908935614318794214793799594314221303981588178166004600817148417685877397145845084905991287870076370267884624795417037767411899243657592872096879129241411784483332688006599132491122395507485419232936315334428408244587938676103050391632879413720606727437555439721448532740271841252304483555648062206928167895395525826419426199151344332691106488804142454246608777649491431249860851965963062774001439795279471421601734942637618432574947218019675973134154625693675211035584725831834550530790848707161927580276874330608044452087929276850874360478689645068372047815558624705392751310836221362744162615936716329761361365978048297225591394931493301549243949190562886887530118280945479018841432078197760899277713406699934800163453522384880052722782822958513407524314804739675289268513265344045763875813294582424021409253567993433943474851935657483126546133376037666686628228726231317529671204676398603688206895576970410874606386548342914442068953162737155061851106669670166885582550369585104946071312637536509553266335799124751169161682686724486970822844440731897835553037518890636530607818129841924160255413770745570023115586355892200593532892421468323232724725446082890742037345170216512131683484274469729239295055865005829816759434800726329597580186629322195001552466776482499540396815142257531905008269545716938837493054896473519689275604838305838784373727160571475970382495327811374532481696360846024668340478617881518658707531216610714241574375449460806634846057647685016750648695915206292915056065563581794164488475661784586870264591200127394019709520694501061488466955604261696766864558702256766863158536551356265237780376038017526967383144154683474671513316619059369697540700553700792775797877559319502424989669331290836491386092840261754424122179806078922569703400939568789187164746217182835810096403856674970381395084319770011315525899970623357050347593211699905597507621051138407680597766177551528086623373071383529616370825606939832662728114271416484546370436901194049481080487073721617880730281254536270335900084535490270285227525354397150699414852891658875086081785757382066497846502332196543816740327242610514732175229290308737644718770610965644114116793826043626384292835809678216139442012337155949059921224845206861863601784346669142890632432001778468848224540981181753134582964008741186985528121037392834738733218319842434113944142239684521183120913995950131236918131592198240325093634058132789315779771632391849925127916568948750188074983698625876107121448320811746841303041613237011816806797094027917807252494964130376970849912522617739232895938895133694582758465167348801127734503530327836280529446386294068976213623038980533930485857225028128598134784495744284196933800676239790753524837920611339102790981445184890534047427477912737208285461495259431585561583583871847006427929854637960535917276605651164647512385225659950224485947251496347967966781761241357945499517900857722995900147272438540844154159965638985583474863846286728349820525992509822259700425266878976579412160230997002306066338377318528586958947890980346297141270591820949415541380645861730012370951406728013714017705747250864106212139917237304706312605201932938675100701892963340544857942381739359925198562657204749744177042765395056948413992⋅t65-38384123496422949611701431715057606553799477362948767019985450543231712959440505155654740258432063712968307049025758792120197202987359268393709980956794081167208037119661803227574704246523933818017122329981868805797960690506394148843298135153396661084558377804378316784240893542068830781881612223143694682242197681056061468555460491630225553316719311111714215620692009067175618754480061500842355028539761541607546646381673322484985346338667136133394263185788431888934295203839127633588416249055829847609593589429850001723850290839151621256653780688187160859263379193852329121753414963509891929046413563472807243114158365585633520693609873566114207268031326314209179189888144748442981672491278348850169497401774321363462640184294967827252758997974480177026486648783954081580737396276978389357744089957077987252862632706733556397398060693948086956730360500862698634492672263819887703876130802105698751250178347612756562527678336971032643754161615467350990386128921234006725983012127995478480294806996885125676294817414926650437017922167504260210548812777308019625495583826696388614878322620865860111907040330189254000435132452606051126428802706725676197424865400795987707170758133834062573747201484116945668036367380871290441599367250637332266054758843274368674844063949435943652902453615368476147597911566517722720995996739155523294757350738660074440000173088162534468686176865987654182679732048113240068651178094363483069786901081698411965213547810298206403032897467456236991399880586625821283200349696264802292962142308416738429206824280725070086359221913811825980044600122034097318735506404898405958756888407887859356055468474440960187816046457172868884427363509932731772749875973220947822202773494092627483463338651405472538062067348457427911303220762770437010000785989415480690848353198292642414866826568788685958442518347008480732767816697611698935381103030785630052987613202501766526251678107376482086948117606718089710948233573381142450598334102558665091372449039710797505141123480575651764124815134271829322969797876506477726413742520111784691749148432324665348104387303230409314906155116919915755423591349005115662987016428602669532064256736802010836802766250822715025634757108144414561554926407646454727795471925171036140608220421092771536541938882886038251229087940530162645378300399171543919564831991438905157429280988563819112864754168871123372656239656392001617236865339925696413286278991260437174159058113346237998807047478468498410417814443196569460024695127549825419548514937025641937180421647286502652832836109445191737691462998923876917330908046201092983683743210303747389818273626375419418849597721735441756086907529931119976112529594403592546592530864448989077192964929472439281936690463260886552328913018988393030993342559757546489189522481194353362155528351543109669857861743048807643118697049703716743331086112941775319451230724452648404648203345747388209186251520568330266837115023941566136208461555932491526651290608113595903127724585205300469922530740886202410824794140157408078396581772557929396960940240764456755068687887859845980134915541749440902810401578652654360269210107544459755832017762992784053035898890794121345513758691750769363649193923864872228862739243132573596734206793147675335208594599361630454476612439066785246162692663339181751026765345219171320208395014066718652165505867128148670812018929877819750035915916768738021892366130150238973482314953976845396927854048766142539589144313503420760841878056119042705454414803529056979669923298572542908952436858944152084391056987902466919415922912694844917561498597389139284064256250712281171516199994892666088398376394667553642523623128326584162671167246661527883073427587557611211919025709775485453266494838279686626478725165430904210115308065369025687480062059892469988518751433227157564874744028856118355291119872636275270894557001517064021742858057736125594894954189997480760175500233845888987794316361255811085406180613610681018762190696559886977882913654921689234977751825066459020037846000460124961438018718407713132666366773623198847116464628551676884923020725295373441976477834264168024487973846143712279094754764536135365026207614302810722114446567885074936370389729661851841446467432625918690188005822342298387780761919686059618909667637812489680595034776331787956183891870688399375273964308931281080632789196177261332639008771576734398143583967650866883156831824766100870959279914210623966689106960929919418524161380173848197974055538506109518821496995998826799001510672716109621433261445822917180065260259073626751307296180158353700104845589164723823073668492799072236672844196653241314019176117826880944380579909631449328767501729824098290243822916956688209603951536517471296126684958402510792784788072565902112698775217349054051882230710981450596271201428568177442256043884306107880864200845022441407229536299216610137809147758631434256633821119493043446583890727665372731482255214872832749465901486062628395911372426592300748760362599209⋅t63+189802968095530477493365259441737365692699180530881545302611693955738567543845894906348396895606447177666978391016988139556270295464287974896297646664792850133293887039010693222371814534509856345985226137443294740811626289768094288318996557123504142951048723705350097695523923916900694632198780898321999507535144564290037977575011370724021075250217074819981371605012052337881002377394381057342813659090087195504855115260556286958421103189398923460939290908466535443482419717434622126118521985528559835700010631110451390057661693213760693736386014386861680164943849005739508225802577186885528557094269955754803169220162298242109029986602726278016646055676289198507349701408278174822689619425243250038788557927602832550780309473520138039685733921363282928758900269656052522575219702580436977610364845743491636832829523295952408521496154518899020930067234489447999610335826904583137445653698708248416320254236644161260286277453827668729073365310939898053278707569817459431423900994455459559190941538175701088094721805625446369720424408680672960349967789906114282739187442154184500134313211683586390856724386085633285430878590518435956781123740769994609802515745177195558816993517476454263256794371790989068862529411579499215844291584530972153365879073241666626272961650616096965822151422730647237874296371920331803967933059548832144304486840719829603547741512626356377359853071432830446054236368621488225968572603458107579484174734894913580455308748344376980232591552426907553943515212036952594829012999405867201062091445715741414226550850899501692447757395095133930869002734176870347613751965132621608522760096501460238906704803912023969954933331812405550079731626879494057399006230006907879635987701820191661447553340257625478551472644983897346953931231056262300565014874737726643603392081866476654357672510510332810255943422051787346446032584513505812184313164549433175915519401854021177713339116514845402974608622737020463973933659704740633858541846011881918335130324601725755022512796654938099479767191431655592050103917726537575725503947984673902145081619097806971679657984651082583655320792024873392508831051323292262639851720247441947632852108000320140294079590103578712009551073719118135404593390135438079588472509913181360681075305085165056798209137699949378543787794307283668626957892202278282288732752672002321066913846121644726609203968308914510314540567593308037679395781965410463568452835825764078600049621497394407949934949476072768929098074554862093682061956513625802116787078497485450862215364088682503133055409509957911455989688190280035408885676276561792588678850009327796005539327086347717030649972899869102091184981608567351397663852464398759244956193289985414367078065710143727590401917233431981688461502359979501323444163088704462911014375814116703956241123002939147937752413421545741030230323559734880013472259927333143338457415639058417545080906280989052108687297180549778517051653948219844992538712119662366168980533453958075305001491010245541717953838829266037931715777227445107125115073082792452475878685361359866434066850334570250685939464970810202313544889671926889826879957102540400197204811192508676141230787276575770060212681008549161823157928555183962580300411657698349628632284735147289513866534282505069961997246274440687697357317439816275386189509172767717191688587679502062929051942301904076998230682259622694622141706537759420377412847315115400773399393785643291653409116527152031118003314011523613634367557634985580451578476517854895255720935168423791420879018769371359578511451054140554761730197078721080301814878072989070099033752065550194645530455866583138575176311110940082516243199262694160265357645030017812505387213688566949447360886787881827570753797006565637635974868419499509528870248587169698984145166084502589143115029531311980606151443088218555576416025105023265894807201959827474435195285757053380262967402532701661360115272499140466473338701024196157969755597720415774399157375776938297943616137185472200903753529369013119601624884987852487198779030380520408922047245113216992097949916042479824201230594695400034776049703646301491659411508539500560033452124766251476455122160103961921565555385827776120709514475722841274139007429776916571761484071938524118757057269841998980221897013220138152416114168945536408693674116862191114633156551153010332724555848736799765092879762290620001568490260763619978819718415374776325253883854284124008650673253515789104889627522566069230970860005285170264206136647574289607934475095986449380835702435512062856519053391954426787774361571328957211195130210627284204168505052146103174146641972034245616028736781720362251353862968123634704584844985686223450301739707027322313743255919688055168800037645542601763641983005652490823149512808443393220779224169851346845233644072509235078705416185174201400216584520783983636508402525803685972132688635170961087837426882184957537456703264308631443241065391969232314944321197575189360986773234469850248524018684997844693572871⋅t61-8754971628797206763180120871664893262028010560019971174654923806713844780001354028525988963412098396253926753180176618206101689368796823520010723952182616314724773272314480630728466290200138265725743951725713810009035162432885453598447564203216649107440094250293023932487191457987056413699085528051732722639344261181198405686349399636761298137478252251388344498334660876292183048028344988123815287966253638075942462789014837185305609904418156498261316972525013205863760875884942058664670360148019635041340875129025260364993790364371758864868649955493460613305651525032077889812634659868488896845836260115626072834195718529800488038011958088630268067460014866391699098389843594852644910422331772837083525100222324998743999220291773795982785843490206338447171232580553436146704131269237263951477479770045099735498365012397735470158063675167777700676614298862210983929456010256274754750993863109326170115733035764376836601855946636369818630298618273360917359326229796723601632916117017006649296320544454991579963566284629381327793223948628541791999022238515582351419436452538598815608262058946252477769186532131706130863613378407449537882846895924814452266958274338727628797005177368551776391290979067766204170928175804968753111028421983731945163897029017630853486098974361373790810264676667261464323233739178189019858460634260044462163489379342607821215368069125935827463451054072800575400029813332594037181022767151437968274932331021868988787583794404984957194080413608663123443552267710515633057383431691809720916644859991090139041654540349126760842443314701251888513982625797540027999197296264973574251885775500303839683775508108335536575046386306852052205047447057524721030241438416119878615226375986488704542616172909134155636466748577925422240151078940139684855729301941908216565051096479185891151459688834049789095423430680522088057108004315289918612475019538819449777731749534914255411075442077740723237456344631439452204814574497795225119162953157949912329352987192930182036896876076567105087152674818307896498727520942351878605458001700036465535508532740267026355838120151147063877078576777803182916406970674217734774937348440227127960323424161913740391433523906710902257270395658794898243233265950311106501468663284250667090468398458259551324893394152175647254648515329859230776292010950510781816011865871362447611126362355115198296015517777738366494364035483213691431108766886244451239612829700679650949515182694938164040151140359236979366755061162192635885494182294675955866594314065710299927355169703127346223232610308863146296386768487109879124232357374401124246932269487812503246521769244945246329272412310488723739268893287492508930174808811958347573362990857795161288604933194559552744829987674948512077250693105497616994905239757752998565358974183846942982206065410673360862863288715886038986271294485348202804910220539407498588072933881818951057398812428737390361029874376427556880255061565742224648628572664227942177498713188221784523773138754693204977664925883173611490134873198014096736016608176025484636723792089477689302914532600277135379519949561089867368258674506479310796761553010046586815287319418970001181711691210817180692164449464077544585472954129270732982153103252756985805636773099297649331683886138653052884002416029103386437059887130151180350851385020295542595591753933122306263395704138502727964078576252871043977551536424894745687172483576701094396447566393319479855383469041826272362152228750603474237511122802728579475824716706457917262955821210743368891717864559645234409790863494170033985469023625167409016256417460042086448922318720877760947433871199241413231627819098129660837092960650269091510233150663781205860396047147221583532561396018172509595231733218164238003554591815724869221587663058746337102809722212048450616771904601386175356016774560689030781006865606631246090286428953390095177602957357934753620153453664088512838938252219912580360098972177996817937326541409805727190290402998963154866899504020978947596601190478353560793353429685996454888295387925013268823122607011547847509425575069130749586989855001804079199791661444637813415330979834082995731734432450368652611049942623639693536932795553151378513988292132497860088302864986171749224551113819385966301568945045739206013107311031088199825027109534324641107686153865734327639992547484546669955919772355184535234825594721103539869670657789647663747659997849816023735928238583568734953794061526227692335528073798773448838422654853338382204775283173995833302465102673863477224795767742243703834840182103303570240769169409888214790542205763209930040284352115144212269027610098989056195595918434816930283873832282139328178883253242482028952505557792341377356995030522676820285255736823151093175634445163516265726350161472646640990944061040378697159692951264126449688679743342808145491966911396485636432139073795602915357163124890029232101855889779633158541116371855927424803001142589256971876785194161514722790298128710320868521105148058035994903⋅t59+88814520622220544354369317378320359291064453891917743957576192995807823047516927389645743210589183169019645838075425723088175002995497547186947192238888307296192004896051521446835918026047287888320648680447263652655416256442959675110435396471910963221853204203445591160972366153244254922662513111966703550377369609341315763516016676458254957050805894433916088932324695292763886129132910657749334802320168706963727102836117792086177849123628367097041947428293968479293108716936147202559571586134359786240277726817031745293704827170803807555302030886533345498900123486726959167018435436450807613260182098675012879958404928787273966142686418285857941168899093622874189856787498261600647740244954895557441913570682485546952441355766057949802798333211358172491066752805460127865376890559595613308689203245584308407041787724203685615441958533364080008258564464724406529877411306798992649302818234504997913163580230095947085983951727278249987309964724868597929794652226630649215611793122168401336675470092594200976601231699816980838643153791238152532774781316179978167527718543826747308197603189142979224939620559784343203836401336419804646732949371153320619515587379919745047945089196519890680898138736061279867687085684241821744731316994784309063748375308460675939344908817849016902255431512846333429173645446695921946952642409661219601362676524250818909298855634922168345178186779286639639547736836516166624752412246557282239964975269682545347025595248053166612638441555565241921543270462745689375834782181036009585213981694377641565146356246223348057603644387748816161265238250258607714827365645993235112086566368954158271697133135696479365023303482782134203418131166373252610290805100324204495314252639326754728534654457521517926187724865585590157075860678162735707263310134672961783980150501523142624988447499991573715694552907751464666894108917883991488482564870896366718187043535537125029888482416356196708582192319566611882361639138752085638432344487070490736515292728669374934802731843170301303335747556726573756383709369034826948730837432518027714363687279171861761202379652550118836736707079292169755795263977864232337070648832507315562011862445083836835888184884962904368602574258395930991961404964764304778495141288683268443230693094855485374209379989109104243847662899867923359567861755266163506450081749280204686270001356105140659815023719728676977312151735322557680322060196265800540279112125625604104499558405839415015614717990653280906061381368214589998572616174830184501077375912383957483523343901145651267711936129015484263063522418357154533291153743717908040316580841364344442984535667709155002286960108851228113124828983038302979547302216593317322198142097870037301555828112062173290980778452662138523746617411532550837952337805321444389537413318134915490451654737150626629083071889944831231691476532352233302354676366519680429896408143389859600469652073556558895737251161112671267256508259723945920487587659991248728518438190724007164507553587765022028206228799831862904318725599377716827840535284317972360727800165163272834210447744705490617984682568096155563433104069762263703046985743995530550287678592634588035696220422750719499302963185079448984336896779360406144246559931693231901609565038241255785619293694845513001133784112343135761068569680289428040273438430932938919213528164832012715403288230807827566757614042145561176464707118950780009755638258804791833549929532467962110219551076599926687365705487692398408778146806013534674721584553082411531030258396024135232343744919191426383865586088461923057388145115162193954189526716324457788257154593932761951625187193259316782091756980357768337131665769663581245002134050933181836054759871780523248544170361156494520057132992765524427950831158992251347179292011805408018782939997490476936154685764423047061582469672212911869001856229220072117917989583401667294682111504472992602960868704289793068242694479322585291494377846040540473824674959877250518239170971556181617257036112747752016878918156289715067085116826807994367713423564773361857439938701371170113931200719646320626022510179543964883546719907193601214381702126769269708919884069747667683535185293678461116303678508585293668438808030973325337358358100587165827824546806027530694012317572402885135176214778858693212285073257429013138910226764106240418544788098326261616594144491158153923296568900422618830547483379791068579494016799424570241209461524589989810597843758921081579139601812717906176673845491403059632381136588559380577082402763567969249935180202209935854292630708657384216025247798471292206217017007018308672176463719285621620720201720476706229055746825725725521522061199706478425801332156261690570281947832047079554971125727545102972957276753709841024290257366009900578024318919853140812224387777709249401894950909191449754713031308246559662296732600967454389828829298975807152612985451351883743822292530792678373127073915322887008168747561772223611751314264022844128469010048595828384592058238069292128936303243⋅t57-2796475780871071038132670831170611589460602625453101447260285587155730931511409144205491774949676125566340383161408727714857412505839489553381089463068706541395611319907348048867917102989364609152887523928871832503175925954621437650801132414497495339024273545702825423772856548346155537719233925843904838954925533330415698213012141350164715316317277424145357959646275620632317426640390998921690783190000644335995872687684041104260440061471688553361552375028187573393756632124863018998159279806618767230242793687207183073997284624214341872645443543522476493739434659768934536032037404641962483616767602439950691311595288532000252224867073171971179711459258515320738981131394843967773346646066832511932846441732980095859332294929918902132010995955266362473415752739586454033495226907396656061889442651345466017820453513291752379025111077619106331254158363030494922798162401150819634659559472655564001339905309170453256964066463382062157501113885903622787642587224522807276945250346041148769783275872024971290725630760404577121992335394509828711327859372543287175334456620375906540515380879922510057994802627325006701669683743057906592833452328733000951696466722521448966204640512824779455219260425067543282402647121865273155771122866061761103053012090225219897417053543863506349728318010637306300706760307067562746447199548881080728685572655460840132803392498529336989226479795898649413559397430331582505696891942104060345663927753342768255443474026760644934150248783961530933503609243163322355004635894654961170026185385626483046406678278949224866181213999917151857158844992938494992870983083859903815199928028179599099997313493428245700620411105863588995794232041428550732795022722830575409018249508250508657911218824199152644511770735239939308690990883922230605570296800143891948276019698871829118722160550354858255494351805204403264349123406405422510960801716296477065405029178883996447555730469346942317431169577379361191185766214666882051746658202509298506270419945602170814775797298813684016772708783747051381511089275468251709689774729350190024218751032971644428219985321066630081296429770031151568672137452483336980321054427292836329678008486627691200508395296445483073749164459797321468693804096462082074552154566171214574431877568399087995839946881901817564024231843142754939522838418085367759405280422557330903007707479030628928843767453311678215419697820647264425389784177686092456535501090673448851195126262620404745713495267381250705672539805630245645736988704300659117167415426486796548576257555100346675814073882643900223682553923536793963608122085036247526939923115600742119965298166529335812342971740309167809520607177255426738593502574656413553980815213389936436539356081985448956595732447778015935476169594764728677040977059298586601131011709111823876933241303720689284235605508937589137891056883692825667358018370215122421381135937502438417879651863115060881878734789861032884578709842359590169542060246454988321155747925123386865433304120466640591898325019633114015041753714897759592864850318470776044259584800624789981037694332045212875881399563562487358839852873938277743880422697070635660838737045229584644550116046598727888831568835573097555995436592650948387272295043010474880287700875457587343068791527896744160460240089816377359816692969320787930332115738522516953820401743109618745906057481399469182894197093968821881615410631789565986498922321837694215688480853574454934170077065180830529617178680526077241449756903690860188099795731262296429544181439044997874926100669897832476360474037879312220271475728498960852760612123603477344050886686112446090441347884491726762053363408496642973485100631929816581716280902809779000256562075129078563422591598949646656326451226256495117182203475332170105195641540352997917253402091358278586587728515385442647214140656851697033186653727467801330370088382661602516633810270976613826165432830280602674044614615348308501200645735089931000070230346814355592128758398603503287315386462518544483986870145637904594377737311113091709732226419932712080488704800601814508687287790463323277033544055392812143735306906153902301937395921497458796502799163898548198102486201187844799674582116625263373048595707181230717007648070667562624133703105141624993640217939633997258688900955450853714665718935532244466076854129585636158804013363884182239138944760108255836393337614409875214596622404035128273953034672763008169812101974453810739619596453830636875222590673465354777072185379578454690340976895499586537350717102108710777725603371590629306218577472717914436986143603106517759450318876449701347246616041758398525248317913436892462747497715320771191308527773158580332207430202437943381284044080101022950660771392204917128821827565948703893316538352468410136581213114972814656304762504709472520650340485929582059799725551436434588558368237797677221173592394470879804666092011918581815802643178261254361997282750964098897972082392655903560467122277040010613291008163356910806998836839458397947395774284338192864251⋅t55+59022245268131188872262750610683953416264405670210360298091154170761761935579034932080356739429728900686679744600549284392156057858869331802270652194352825653261759511057647874920906488160648754911284721004563556485568171317711236437307222961321835612074173221808657157880039905521292594614739240660111165848250355879558533708765289337941810663819923799690110436327837827856323123541097989356775352857542163683922732097818419778764553340489251294511706723434571169887231357028864447078237904553567658979601393426679856499374851451783669033792108674372078626682805424441502068114868843191817793314662548402897907229409332415315727931146158323170710358707854340245409166934886244184082232325093624504267306772286376925585907846329080644629409227709171480594346400758083199637036987635630275623805008436904617125420167458642156881819148080627970702734342970550058342901755788955568608506963372487011284371877958404194639046715711222076919650685600494656453211956164731101872363891726193504308869847960212528389696509671007525271180022908627452899632246753500913978736448302357411974998443618198647937176418971836431888172356947131699332931091745294742914109777424769438573681902707568271106638951433230573491325169245724351593372946629200007340778219716698852843212035683631742948585078470154609043679422330460410431834467387259814245134108806063078107696057748369979927106024270725228022771938871661315167400221721009594441922675190470796821986790151809407558045032862660483985914654115755476225007525574293356176020780636820738480133653753640317987198052992508945682340289839358984679896477523753056597575613835908897289817905115760158947524794617210265962830605177028547826946249598043028951171534412207716537237359896714629428447833723347850733767937679530981036295561390837355604086343710204804193981169305971556177616330217987145816569935985971843761765864711844266798402275123921402802825813841305002417695249914484446733970026951959338104940240591527065788325684987666811477179849937707434668597533078130301077111931883806330567572590108818907488550948182238424276862342993895519155930061089078001656590222109972407794034612556358236168509195384630081455347143235695390939074966328479849480449640588725868436524029140917453925221157695250444157637537468159487404050063194144175458330163713507540405349703694698398380171520974488125141446841635138856181547920597608955613782696497943631219260133534139306657882469599124133677817526734229701801443422873441810409454936092083162743776772251277754442459534467635080638640738965352401125070152931554916234714969933766768597590712009654339823391416033306921890093779543333966266757323739103057258508826133713670615007726522379316249563871910821628405073960814413542935742686604105915127116414767269658565456988511080499024335291990945947185095569874104777017057121606423543705699404623037164506774457883268757305499967436981892722402108689430423654522197814687709332147948012498379145010182620783669667048838179144918055213327381758820809589065094129833687740223091554138445028601716062671870783188932218807457776140673092433212127084199210319080120665746400423624439872856187507835595072147675609788754939380231377000277762328031582241368267795948859382741341951822870931679834099417578645504738879309089866570010812136085080639275018752613460793645923622356417762734548214272809671951014493530590357319770252841539695550771276225731870202688637309066982773550887281768266733067326856127415383471683457817123546988010861840102914367591378813633278597607013906099175980217486419411933341282582886714870793922316018122776456511592888486962278261937213379111876771855942348561361493261730478821977584818097884768659977086719376014084430453141382354047873864459371077881612095181635166142054897581760091192665709402645416834632094786171053565407927684311427214567493532785788784794454161139834895571845935023191636759520685611437665387583532269597134622329433276210410119055809354017760162216095848796897841705559274024662956331162164755700984094822762357750354118405393144159582603036268027114220228116537992497989956865182630979490837091296604438180806386554322386295040050401515048658758783019825048021409289065653592738714967228154913619720017621904574503004308480946092947143455787031947262530757729138493930854604420366254972238565931776824038197009988460278501284334485834439492771986142931480722489244308763291879597972476757057515463616975900310975676588078166881657702202912108267397217050252261566778916761265902748437917697490065907701285525401430858108262871653210486234907127207313155353843305236350861661108161981643960468656929818391503155101030489160349208383106675293460886504078370326996063982664760179671091045931717950195387582316864376348903995356769197314492458552710289068464109579671868420095845027851159977752103558027320871240441840954636082813834755894779611667708071120144718962070718068543859121888440298324358848397087067159498342011871797419860457417304777768515171017360250397739755877225821295996⋅t53-669232639872325713496285840799560879706910877954038488184567663697108321209116254444223086219433757087351562730264417492026911562909660874378098962352092624431074243459887210804022660983020395981756976991488052463788232835671222194074212193924204957615548597931828483751520297852492282823825858195620554207205650459032775833696770140838911563845844532909290132888341296566286631902737302718160456295267082878354351816360958597046175614757851793313492495704459754667733075292926261930971839425225814353222661881991963145730317980132248899537155500157315224571736039388017046343527076544488916305504065698731744967200419756493020752552565728133582012408039214515587313717506858594535870723660092427419709786729857644469364356412305483783404187104809734213708195082948277848026882758339622948458880097848888146128326368612572977864958342837775124441780290610059646714758543520149021689040615836452558569238871364849860022315265260296433054340393824859973293667096555250486861433971105308156122540969117382800761093400925399467582755866148976259593073056885409809653143173598346654888386674728177175803190822635170733769098256499970868023947421743051996722620641203355862309054701230268125323495188817629202820174673057513961345925469652340212632529711214133200664583941897730831335155138393806356396864306230811069537313267393923044735810875996559321661549138175618754430917834853265979897438977101672931620113748108627126835217197225375662640128639540052763255752357125425071314309192703293449640004617175460280800060446257985843040275841068154582417717662299354248929179566426687237393466889268510068778777476526651969665492975915553720950941377406363349604753330160107779497197586071135769538925239076479044825803531610950533685830118880911951929110461548931122401792576772420780107189874916023574141222603333315485364424560959519276616624150353716980941143433308699436812877836966973445053496517525214985057219823347646908439917885785619972613487671976780112678118397922591202680573016083807617762923169711592521886617601001144711031645204558015631886802041898585005006425646875716367395165201097035847600958791356309628601326666832499482995303611494975387904854179281203569698977348231785515409801421303433831271893034210545565865342641784157846804695408340505091489997776443250640493176244235423986399532037470965891410945822146423109014950795726725496703853841025470314792674013034226223091061652627165295016804394220041919520252333515497534788197634770686740677115923215134157595942685231867759536219628699595654181754518129986219699189793905914322281795320944358119540600902972790855854047193613409244206806831670481114999802920469866661227739259558474079415941494349631750059592738534224466403543388631092419527113495861617228949538084848600638681706572210501210298357647635585310502914178042320801652429947447557598093066210728719641351413833423353850665088430573295738193945361511514170382219026305705300561808546108196437524045347944650377982780291110093342982662626989530746246184398324337189728664234704885278315401088319918813399613085924278600828411764762056415297201183763470776470287291383428704323994685889741987924299995721378690856195991862186614367829234886974135919768906368078256468600898027790674061767897064122207036653503626011313190007511414261832058292414612710655760001230313268894899230964076618872787307426048493064953853254646325850988038347506840074540264305873695929469127053906848578370267321318469452644190008457542012319311800821060944347199222087891715903486182806600192727208959784194261458214318867594119842265676810542362889094284838674181207123565478165077011636838903660873001098537851440946651817306698243905664994090905941929653694009771785891915665801140262862494085719915180424192396963624834355846587025528128176839651112610818532229708388395334269017667424619073465716400073600325477631923424446167381105762300344263742616503949268446068286436327980855563086193564988308129666350614635429890867123521417446014363266406651898052179730917992119315784290224398333362132940144385966255748970514067710651558226163619709153670765999052998739652602470191522579580057391963639343219364828474702620448103657437847301622901623099644724907661851694588482665018199701710548764300428631362880156692256800692318411447440352602361623451590108724756414922875394278813688250006143129843161413907721496359305626300885823519916185125662945913984405969926501999306947503712012344229500871421791687209910878711925624546331593971534839585987901631076074960738929976870347839216365483574894023640304660829428744057381687406637520691860023963578783572461194922761404336304956558289106523548385760974407780777863422216219254676866216610086891649526510554756808942226270487022558860206218913242801066503348472106695075131944413181299097320389192068440240135925562416722488843298824634942285838026617745612060496859344759315939567478981580695805734105172018619348137306241659800863461619246436046778229509133552902499700844992675849090399651416672343946⋅t51+23921359459898085400981284230588848696395110276759532584078673617584590377901356665414773638936702663930146200363868344245089315187507294996333900816051993900338830373518361118523630333265764840951120605400843447380709856181739326574198057228710315517270180168572937398456184618326728139007407228101370766169293046989346824478991633521527607745376088099711261236251335782306763257606164478910310937715534308891740831379731321826965554700873851838547160348739577894847233634955960008621539268076296612554631157260519669361656952113967869816754207791860844353071952823011164407857285754658367097932971063160091880742960419152115497680513379324109213444369377510132574353745234045802885043922840678023193452923402426365436866873119543964806744381113683966624953962815345592279744341420218479374499319447389378873900141060546534267234398832468638691745864793604546832076204666551959129946397093487446260182754432776284270512661868664535633996489790653059644747381601464366764539810273024564639752792949338689048279837138057278670044072743371796146384138728558810568587121245774445093951989355206557497051779196512346611770422025236367835138654128581884481033101746920004879257462056452488384797482027278728093443829038472486523016750562668193272512032809511488608256144208177061999649616700024096584837382518903242599869512755895982741465065073746024345345781322926846896547952986456985041061612966800666168789632061938401492132570786357264554157336489999712021581531574627486203354323297456121574866365514853061198718419500147219822728895548098266800301081490183939166466122331488975945078910158376718839979770723540332682331992244120145172673969311774302511113990320099001970482809884907794207243199745345726638448850403659813946609204555816383208840697740332996870981028777616001858623180720853719658888542172800575683400730885681686513401330898712301387837145312090907437874840056122957584217818263346329523241627659395100322591544099698536226803137362242390510565610642800670531065561563052386591085430466620630522229222476950808012084920808967394315212295540434597544922637448437577780651419349503595558094910923260109164056136487297890530198099855157023232516762933266463110675873191280695611804943479682662893505053625072997443748364326910502083328255521692144894612375293017740992495545858194258298454062080007090850784064221340982714808923789527117225021226783466201493310392898950724480487290872629809250937654003262510825491677335360906902642380257495392407205613683092491900400120251494258894788970940508505326949084672393244526950334227393670076927125401641418992594983596935763293281637469953081795999421804098656074443174376361362927912097450487944067347178519142071278161819870553891005711724060067040036952509195552644364341467657913204115948775687578785577478304840318216445463224702939400721760104105773148965488648913585082133153555815394947037619458774805683646138758996407535764685411502858989714731655074919488152932736686754413547000139653820601543666048040599198142475410566979061889362502845875927349143695902506143464130839887067573205338653595133252454137518739809033892808518100026540538976854642400559477734377750204440452184374169778535959259343958160499987038510729927615430575428009512428788398059781079898667569544801145406240557826184669687362153440005281913114897785706463288433795043990715988291295981190090288640813720974387433261922913795044080480370592193408262656578818791844135282830611626274580917040335610059715190502231605291281641348617209010857724711355400309201242019791074164807462730714499368939883427934361667939671951940946738122501112574088637063829630548517379147848229301688375952767311711532055349614285517474727181324434916951862620192345401829570582891628552417231162733684335987804488071011338608959048250744418281269719429924787391881043067002745625322917890172356029868764189183506513097523122681579268885255230195247673063319106734811891432180295444358529924652391183148405428325963365907138023540981452161287312231891824932582615880035054314779455926111523392041598449203715587757325246421153013054438125656989380882785991877761215919012034401738147637099009100747017783503639109554445792377238166014254904419932671627154155365125777174561731411023536481047206735449672120905654937794940873772393383437441573354691811781763562836308096463465990944484033503433706889627538532093302925050153084906126526365383429223455060695081901773311439468366301773923450060273768650908314551699076247076359161149891188443033143844712483080317548739831130519394355338593761485681963369789651906147570874398330688903097932209729938578083256168906827945076386708974242040645152681835072365012897609837857419028693395931671079519170845797321657627680409805256490432440077440898051317466023486909812706405863996057260849398063682218837103098186957796656039212370203202961397622838203249499945424204666226702721657086770186706303619788886342213576884862446252050008974879588143412570812392194007593886961001063911027471464420240777327652⋅t49-5154290905170907256146711841321489535018094086968279507171523902272108775970608151725117013457101938916471241647733894293482745465130339913336509811279484699396448722611964059216892887844376513347324156821528007930986453696500707579467132482618541771858557821665511962289866341780497033410042448022854432368971781560828193946816961268599985428887615727211059103113510627971295299078892976254643524949657833299906329843390463952474769107876904607443879951085133268127950525312697954130435279112636787343710809372060466971191953377476921676768418627288019279642461913400584147365107436593905358995310806273132877351923076542450956357471113961973246890595959791168209743439467953655459603519266101884777059295900049396355257531523944729781057518257004819780796489888547122271608009952253649063877361988663924786365229222685036576771634444718480570753937847255733469318018028548449420933037280707929281685229712054973369251024840469927725159259398022260595691692391876508040033541244067217953270538190368365541889381829071054406228899764443729582219706221314094934907069988656519752818346736582549446110155425403040962085994865386540100518197037817288277870837861941112836942488811168973871723384696645754287387980560164562953020126645304272323022326236430964155814948529627078323423148185117944664505607285053458160389752820358735123380835321756903624604727753080832897611783146376385607010896613438355363688142238829769100597272052494746235137948286108109202309232997262704884842955525567007652163868265275698672597241835646651171273077099895704791919486299655572665310838916520527683737359045262639376001638783908164741459298096498161399139857867919647188492944938237537388458966621940046558245935550609533931883857030898075488242836906939435726863974658154554576648553214211607434610857454181230770749540733537587641888642256136680336340025698663419210536839727099010482451685315459667859760042279061306707077855919111318964178560747111210310628674032129796925095508879967215594343723286738860564321225233083378050345983831527050980706866829788324276598580872096755245339484891759626833647593890530855609528126269203096253158105436757189606904721279728080655109817737077993240415284784935564634994828323401632737692181188977830260236774384713505123147189061320194765543336854023401740824066549549783790900132451611424845325151250735025730237298519345156014718410336053087591501949123978160709143010222776325489837229993465413079182256040832313056030759237017087820130213051984919113849042565379722617605860513238063007336314113203354535813431897257896415642859307892540891615893747539130211797101883161980720717667458981930169100442855690745457304542958277435278982061671685787182496295681716347220106947248947878342192016374221122120093500170977387605669471581334694735243892493734041833502132051786585627308741955431058187422754737231985930233741831196308188522968771414284004480868998635500608102478466132414769165244245460458004855649987867750277531123916708371572742937918324431435028117733405051521629820382624208144627036549618821727493501030195677022769837440600381973328541407686190888583841686495200231070819124254883064758978569086267801703818774062241214667599797833275161100991693231852680921338042772386922820223197613199175959479797317400669416817786884311948667951477356984673692369174726529262637184802534293917611863717401850910856442195914957850664672642206417670663451995986854352152058801782109021515704264353410792026951011965590186373975937205319717282496507051236118842292507106811012488796971153235670898263474705564059005986844594879023158721791028143495811544976369765102296939768189992075523828079894644429489378213241986751866668337608855889197874813016858787266170344171878166859461696309163280760553465514578253907217983581011639115887261824734183785754021801732273795351235643403381075709718318935948380043438283946205012555996818798950569711841636463365509067478327232064452256856815142145172777459529336999180324856079747807627984677438120129024239999338298304365385125840627091218845555382815133456468746177532031420329754093701975982694219608660408801805438214413720680586516797947067705341197083402245053397286504623775161312451000862339880466917855731073892026901769326246135957978677126872414191038247847413622664402897629093852536648919361586441513366837047790447424052282804362928522052879638030943206865292091345228643604937989165366116538911333500140824254399212862650342249586752289459798566400485116427994613555926497907488414757058349736103610457448325408130048389330565719395997301552758220516774716663124465087482338077716116115502414395380110520949566047070342287946965599806014155105715310160763504755262213314247632317925503123716065037660178172952980937354668048547490091663283129387637875185247358042875251762686613347823741264339376979510662938655725002511252592691525677696504431825168961466018144835615096640111693315584267073182141844226232839296877565600524731216272996360102396352122312321458218094738132421260618⋅t47+48902659635206749204550590508320668026534732429673928166950454114316081827499099412253888932021068443146946047399755531526955851626415105094392065914853683766999385835361999397435440012936167630578745897342737962479933281149885986882701657917246770430370912952852032966324802263423937000717359776424588575209921117160577255297155494334415941812721041524703397298018336085581269679007853292317149286418382913268759889732417998693754263344145293893205848166426112621459624014250909083965094078571911579517372554577961492658535646231587793355089654608745423652083342686476028148976384888053305900644230565038237948079375566000475904070771229213375593289375072162568584053354183267817063396950783406286256011377907924704167226968934782056576484428869601220479161022510323799113815379778617635242695692744195393821038875794584421990595676058333205908373234580639153793440063116553181823348007659337996915594213387323128152047380077342643262748095791359680871850256231070352085213895585611547586063036650842866995884501619394688796184389472478644089774866622140770966714640721772585518643702578898468046505313653149012660546009019013922349760658084500631223447766574425463374738855815258144656519447250695088625591659609492755122386238381420522717691523104233294446207773423338860271320218215013551915846582296417850022900428312696358207222815709649415878718314373128168794771507132683736327453027116658889786408252766363943841653324048774751825998227712638013450491287699484057205834610847297056734799767892289102273535324830135988447766535646342774747555807736074763547298330449181597994499860380688819845114202494560553077101790099567628727734431074813606882571184626601698019332396001469899305199594191185685878707630105581627629512542856516226216960103290822565329913706600213209390677823325799112433668194934448634498565980667929696194674235286712953410764347229875778331575443759083083247288500826417860330928639924751605604164979502799611564582864649890055277655238376869930504211583304162061202912235631675885711650873782585056448794738673064086998625292982617251422249168815854015608494402088665318505591197694990115063239614975867089088588010829286969728418340891067396273355087270668373048433972103807264751775671009564402678019591689797462784928280847257843139050318126978526742836524508891957305199440239252583933867268595192916045269161598726603998928198792672022751581594553145498128048259457883234371577473202052666892874738421064130089281272101365417472028270526740831599229125345141925235380553975807249382583808529729974037999993213771834365701050880839641155052313748696408870530439452786873479716224283792049068632080482975115256843578036602418698786584886010641287827745088158919010037616627428592844517143996225743178504108358716899604872603650328728468311424242811548669442689711556573503702833144624746922025074116889002374961127012883428947577994358461268579824351110805225910240271706809596046657826117313990494442235601249018120133488405489276998050857764606451781105312934680138190583448342110807155610010749366139033785546627957963176744453214388210533436789976016562362767894940108675844924299800375613452027680571205072407034605714200527360440468555176742608354236681474895404854629387296459528904470037776149268158704011036190132309187477280981869811377737036632372676709909242445981843777452786894311698224099663505086721421242947140058556101903082715329247131239139415988464779278255878502272057003681456908878929114746226481042839998169133140863302731717209190616122753983840469986582107952688425182740254847302243971365829477922148006013710249353118264324436823686141045344670019272885599094830217079380952484564738994425007125714738365158971586029231954657064083851432831918831570407558419552138700926134761949427269845631372112290825605184701741498866918325319752590279560311215253394193927435729922514525800607174960258179756353080116256665621881872407979763816512766938680167226984839766775642243341854391726082364695824945027182108964982968284764566603669971731555384836949376314849715297974111684084558028825475836476242846084236508225326511240628242952205740648133750587051498970028634445281462935363835936640908879280123498312735167159187388533719508802091931975461751817461563241745336768309730296454485250072945616537383742991921498891982713858573132142398347561872643813012389367427968044017206016525618644908056489313871268944838246310947753817378818367755731905235975932255893082538539957445922717331097013041172443296173353000054844310625648237313054049731667256377844187902274294940085517156117126841586266719630044036438156002749494262671981171219278776621634541233352240788682776061812778970886465684921398886779307316116480048205381975709537301745852954148097843868607329361992917330013365481522380412084918030343951411347211408259844394529614022081330462508061213797512037720036824006558477047009290777069364237493525912816637451703956688840898948138018215659104381499361652783311080839159763516123521333986691819113053657167289⋅t45-2147894191860496653946147581393280147840517910951039223729994681263478045809299508550367426185966117015152018758235789842769992024324169496454961971751633368763465553899239124626635738843925148676712251808006672726073688767862328007134362192919997649733431690683563953977772819465837428016195822907849915184203236840880197515688443018116858945956585914779747715733855605876859475301382085338636764600423521711790954044041927992571364009557935897990376509529391012913404184874003916644706159724306482772170389948128927422410001337332953040828131767480963282865429841482968383200160060386356625512350966853289772700950481951835222048816434782549831343452514203464531139669876254979710355840438697898083365566627504931480971573611527670956089188758638503143720210464097648447302332365721893011002725555084678129636103574086391162131550068581319731748251818970941055827847654172916961787352206285660452796254835843678980862387038974691860062413776402565227655836301814661045918005563640128114436712090919424138036271232894838977937198431116556600795556567287541084453298481335509423569167332319910198465570510594052965281815488804892611933197573918496096312658380456142170159906913311553076267409310339653086403851805914625224184217887917624286821795559948896785541060730666797031154881859155698926634095962772290472127481195373216098492340159548587146985947648696696437781870929523610586808812274032179542782303964854923820709867549831475958436027870753184039262165685264393456012187531378916846626005484159640281503288572537085025341083993751284315904840765152307369844048614374189388205164013289884631955684206251673453027121876176866065041442280728886978640144248967296307636009838306105225478129218204410782288830466514734876028473890563472312242880586121632448768843091448400135408017525018628199174048094591162687857312032366236901267991390453766749487881097604406820489984664063376565006607986142756380780934101816767620061634850860492478608067311206170173978332689526698710092995293624996840046105537179179013203324757673481802958690387119937473227056387144400242822310771854196751515725000521033794622445325020541780194489862461112047380719464037659278716233796119983911821677729102908090397664075295074609928164875937468138768109114034662200577058750085202225913398632285016623805623068786894868062771207764671155099646210832709213941381709593219129098321294085622939307350206365183733607161685828545193987056418464418538163304669519716589047363994631351885542546937618033674391960385251608486000979611725815493002616496670273039097333256422747456144611909982849266423926222485225967199344980464917899436783875216309889444496912140384639577560551081494078586247962041453934595381110999134415447092988444190718904527631957225089356379894732124862188556174703725589307529474751864218253683816730974499708632108972413798449617506658075360249559439479345528072550602729227710571342645922459226982723079343842088528788695996225225603678670147488872028179535262211805977909721332206453519193546593041566159945747877255814430246788492816242382902861783523582669770469763066386045616953061521040111369475987898326242475397737590285789647046473657487279725531427605976751658643625336416228014682390048814588352466389359874660917327094796358372465312125076821499504124742517794524528947686415166890336045638081054460896144464918135532579873129519724316176107420067587330302488234937440398134154043580047869267498486899956359083312708389844967294529967123900118485519979250175596450764292795037493649391211816858659847930556797135485404389554936092098342146067416451010734822049492668673662343617335109598513906260218426036789741409126899650794825067041936816747424767034805135011308331295486113392950316238761746757797952328754924238610496193968760175724917155550605962690192093286403653825074353623862689835016860439538467531177604939121831292406881316216259370572001574650908877047994553957103989920478025305041895239161517356790612091207683106228933466552682710308063901603140307227331754841593012957627694818759598234963440043706599086291657660022059480064085588954680426553700460727120086791665060678849173319916988326991190379856579934123473948596967298508066314210998561137457070048821099757041895721899853931231050073113816707510276693150832834160050320757015753908443654109137423730495497613847939034556629880807079497516971165528334853957011308957973545557207714708166791524074543263626608167898294926007727232233454935436786184387124129752432814466621024023298000667288235520424013356214612563625562238948900796225775342654302527769327437537977689489140499079632434697827601643615786607151826135045191467311325395605071462033878161670046611095775854050165482915986773879660995724708089419786333480345108897177549732769253063073484808790586978003629071010564782661935062626944903138002292250255078575091360423038469760827084005407662739866105295473452794691593293678588557785978175806863521412230873110803182990326098731544192249510477319849399908451849173949947941447895942⋅t43+1105482451271544743860796379092499489234828209852483767327613209928376303168382695906579735004943010599473111432802372050151785732382876379018427044189597668424360508439058832548197704883950182671970076145550988726069359202525578716581606740627627852183362372149987789214829682739388262046675853490108024967439362632020444817055949453528098090202574940386210116954566523838165927435386225461642224514343461829403136413705122565998923960465117238420790308778981339949442923412449187416747248041287495191199665969156973584021903716449721681616146541114100002781643503015691671776291961219643033383772336518394186212882350358068857757303384631983506355093840659780381011394068243332510303107184106555585818302215329973520458945767309040022671197917608625961285037518640665068605153071352266257807494145983006727923420338593709176182556319043370624256353938141293808127797602683153869807548530754313825240448874067842652871856604365810066601667043527673117068343103472937494545647269397999371157403705235778682816997590685289621062138502012008941004400224004415331877692249347995060482044637190176245443370318629574962543671833307167998602593031258004428033021888375589955542547043826069966663188610478748971315350891691313475125912878940476357353342797095735342258476011733004045289982612437485428720269616217871359940606502052013745319661067818026919290507260227718565084273699697873116442152147753617584686871693292443378399525955130048148921716858351473648344166980646125681785270750664278317393868169529059312868716496414342084537854357447766651212206057499523292715534397747603537076836046858452097309242964181391376628901189052048498778400826158031630553914423814851255653061178468712102228496574176783859037442057128994525889691514339778013195364461323796448304621341721509776556732147339282259814020653965621810335192552354866804796350846327166347068933100916448843988228329189368681422463771559545660440676339038551287065009543642275384287351998070896164092085565012096609409730250238473716658846767862492059220935147066613524574631769569009727241404679436739464362776113355441921887563896207010967524486633450948559360172396573002912909067562588975287514387662926504017000038522337039648286224040317874430754973828235805765246626229977294144206001181274726145482783321047254672543810006421012936662590838544839876205849787645623422050079793634305024100233506364068280670288967614526318647542572115631415734380311325326373216925539450788793513962863101586976305856569239470942323421831902412729001469417588723239503924745005409558645999884634121184216917864974273899635889333727838950799017470697376849155175812824464834166745368210576959366340826622241117879371943062180901893071666498701623170639482666286078356791447935837634034569842098187293282834262055588383961294212127796327380525725096461749562948163458620697674426259987113040374339159219018292108825904093841565857013968883688840474084619015763132793183043994337838405518005221233308042269302893317708966864581998309680278790319889562349239918621815883721645370182739224363574354292675285374004655704644599579068425429592281560167054213981847489363713096606385428684470569710486230919588297141408965127487965438004624342022023585073221882528699584039811991375990642194537558697968187615232249256187113776691786793421529622750335504068457121581691344216697377203298869809694279586474264161130101380995453732352406160597201231065370071803901247730349934538624969062584767450941794950685850177728279968875263394676146439192556240474086817725287989771895835195703228106584332404138147513219101124676516102233074239003010493515426002664397770859390327639055184612113690349476192237600562905225121137150552207702516962496943229170089425474358142620136696928493132386357915744290953140263587375733325908944035288139929605480737611530435794034752525290659307701296766407408682746938610321974324389055858002361976363315571991830935655984880717037957562842858742276035185918136811524659343400199829024065462095852404710460840997632262389519436441542228139397352445160065559898629437486490033089220096128383432020639830550691090680130187497591018273759979875482490486785569784869901185210922895450947762099471316497841706185605073231649635562843582849780896846575109670725061265415039726249251240075481135523630862665481163706135595743246420771908551834944821210619246275456748292502280935516963436960318335811572062250187286111814895439912251847442389011590848350182403155179276580686194628649221699931536034947001000932353280636020034321918845438343358423351194338663013981453791653991156306966534233710748619448652046741402465423679910727739202567787200966988093407607193050817242505069916643663781075248224373980160819491493587062134129679500220517663345766324599153879594610227213185880467005443606515847173992902593940417354707003438375382617862637040634557704641240626008111494109799157943210179192037389940517882836678967263710295282118346309666204774485489148097316288374265715979774099862677773760924921912171843913⋅t41-6734784156935374145291274023383862596246865214641790644723507111553771658936187784154370746870631195471518291494670898958241063463340598081538169933444025864163865140378089987855287394906201366527020140929008470129965915484409724361692671206180679163723990074922701639953496681224370127710914147446241426210408952602352089552836614840249019161424158861137231955155017966053102906476491137649922863843165471930857934052974484952500682027305278881715516580942264927863089434679049089146873273668728628937122010854803306649969279131070175159867658718880331461225724705275891464022852450889034115095336054720834626863406538517148218937920240273321327400140711311374093966877484564504715790628845806113697507023417255799412890397169094102942661054811544954992043604165297803642270126977167962440905773549220661029947583839574811085731098714950390284530576758807201980545765122058774079453674034809917307956696526983747355700788296802203848628178451614436290929966241026468708986668004822895005156222269907886640224078832799786976129537609409774819826818795152522732789884813617599881333091011313998540775573963803531733707730478319500211570596000941707034642620994834262063319592668311286931914470944283605903739369420955294632362848160967745008201201129677570376807759457334079652740991466907193350988871137756571427121310151151126124525562141500505266688960863158708978016302240419346008027217016607165338709393914017480094677181867122666671835818372233085316087088667426517730948469335683113243070204758043465591649297211610673999371887485076504958725270855096757690238138161434394759175873616097533607491940009132143483424286053672898481310718784314479663435445557452411772624939868167364693000998488887329653444174104655408275328996666247254639542112884833924697369568963958194537519499828315814803216967069786516461536600278278596455836136239754581601594622379122905384412827428139753207859778853870911330094036648199349327416848371114034208921356923162808389458610121560910194122080411703208965757620403515658212195762153206211221115751354768946706652751828686940514046879149955626137580714675851874395413513698610564650738120100744411772954919604200455772668476874571478793204308124248912032384393942634431002927676639727438279678796489472140873039848037112045670324902220190206103906940104872310022943977662271252979473039081640998695113906797831454165493088141942300596409278001982134481911375662516275464300284953086461644906651257410774115558055392863985704505989130464861771542300675484854631874237027398928512750427225967471115464091648962151852203590090523941553623693859182947050520257269329318968982699227882885334944045286336039681274233101120224645615414395270803251239282262896976905104585033416341105192539776579811624171929991023283817603057446577569982652425403671989234364021311250686515042214666325690441750731672051424381446146828702240519476975942303089789447783220645604305796909084507423814898027979723393363788307269338750898446462782389204672767045186263189338321499690725448172615225436684767029213146770561833828339140154842036881318371268292738377386928434812562330221420991567438053951914150565492845683080994451778462309609951862088685906672480364565657248444930971652244335910921194603366687998119484069748637869205166697389802678750136942847106811982029452220531918063153619287255775604257619801686756015118385798655955825187837329229936644981142320968668443758579022793552175477020337905496175256269057127059272386630179256400759295507476442096413617642880860821274375416725217318780278562371198452353880257426772991398312135950604276502957120222204438506660822510556823418151965743147146931937773578947722388629866121794678279058338389979485286467060407386391722119818134190149621993835216397284503637416420531438611391386067826074077042473892010483156384106714590715818479462635997389780809144328590293883413985270929858115005259344532340928342855977500245765502945426878657416589356906592385462899923615753219178913009620810564716751185834235989954808709855580528922361635668367477017812217778671944375275509041852842284172747104626186043679549323279750597602022810994828491723754069114803497437970573104587376119329215350132991832102161051652694142245381309279571673161711328019878498423218053336993629198414124799857453071734431731819181223242559910126074987656264005108528664334968151048724537249262197568002221781499378488449888107693138835867108174527820945419044681755098711519908768026457494683350116762044552139351739080258574350042286060826992543160724920624024180769139532171514771392627987883390262643992525434695894817432468723152648554040938997918882812665370529251195804399531617867579833554720091071190455313040304818979686213601582089041308356645977328908423551127431408913602744638961501468801981955174515146322046420616964103009079876289051512296412587347878714945430297159293496089725414184849831710651031437212927038656174720694142738764827610263186510050375074374258790833070426603211246469828863476066788740288570418394⋅t39+120641920537064523817399614369025081650934457338226395629456137492515545733100668772184235892094548605203817303772409430572896017062575033108013745488312300817342766664360195758149063928192535240986773110864598987552317743602703287905541879700082474362230231808735464358928239582312781770464661101944451768891042431198304286713800294537294553266420121755308195920535892083593893838087192374370936395862434414794324794129283334109447737327959655126100999725628823173330256918572832024072033944608070004111931651497534168212458882635860736952282227455444477864379932037610961361811327014874064407776103510945175169752379293613585811146954577442182209991371196343648315541651197955555796181432062898484912881736045193570927451516695294359906552104168375021214121248510368642546457403206156065337909404128767251032152374998529255381706175789293675893969389847160942184960405317330942472441689141290586765654192571302681190680088450557031119215518200526752071176290364133607078188435348120610436725118155424113952922005740132200778507620687594680037473203474738599977926314826943289932996103795891512748136409180827722451293746596211609313958058534782161159965225839085824919120665142278345396558615001384988521962755581902772062501134314323088611436327475939774427972378898705637744376589233473733665257057344051777732907875862676625537219887712567820914725119667245949967367344434697313050593379247683086208708478043081833990456449608964072445715752304494448296284365710064406334622516672139538502938984951801107954017096136799702173015103262747578119549948822751992907918734049159054402157342100712932477770186414910611884396931732694424669279299849992813890484513146898928994443615473473325370317290100790928405946538660023121795802217950478443854644485385057012710423038360307129361721111953142084616279486701511033637152636116902084250379711944197344006161128499241223211108588198251124769161544542009762733590031833904809297411226285103079699481140636689832106312805483335353735252295179157088095353722110466156077227069418631908078586973265325446677732194564331955344273168330120631768132535956524667736960245125583792079304409708166744310543547656947363656804266085120327918602375692788949178511720572031924133888488882405853812899338498937478096819082737922178480239055162990953914634501142585646521087356391001795183841750882946853134182765315829868521561460241729115159652613209696291966401257631174881715109312980904980923479149682136772503920612735821757924690968675301118950465796253251378119627236536675167673738159044723041597818026351863841832424074724689961006653005879226821397606431100208374262589865410508760481389480155429913156780151383982682917656308297698327684781069292367962775407217282909581528938207913535207362094118763332609129808738171167234001316264471682751336323437028386956630283086585948747668210788859638963499109455204238554071786779848385425646885134538446993580049860919638018523433834687556873145403942864977506024876279834845254864437832425529622621685350867217711275184452928356673019429337167297003319450704567764247321782019093257186766006461268743065037955411355216937538265777244968599082815954903970749688429149088957535893727097809503557936842513066515785638487873236246163753084222683599055961453946434647264849265022206800675562951562703021032537684627011736035220421083463845215140722952101382116532163468474789026796012516325167660270025188387557529917556761647316489324778033175247921912499103356004461202072334503511050136141117126612428730478448545811618039692608291279771195095504020138196861889471729857852845228677725712453254782705279960809776675168804077887924633808837700364000002373664929690463799607283097092732803607215132052143649920960097603958686885700429247921722966671450910114152000099918706572480732046049530805246769401634597968431859018038749441394260883073085497605500159364371816823754418270562663334521519475622437354589251019751686127467381834511020678349574740664246815705082122535104259081041743246182523697344011348443304723361719203893758375295917225104035391693024001810072001199746657054552071116439330756111268713331211791377085179794586110534564629878155607877821228094325326465597709932920374111082772483292557015168892396496181846721538165896874004730427866389365307481397038245748542201610979967626578220845444034871417446021898102010962895267917485083287677808956075475937008687252190839824578075814725405657152222221829042357720771368799973824479670229524312404298761405064603244086910347342388878486891171783684761831691565157759215738393172868211212865087643612655758797372471128664790261141290303568649750750155331991308254978607158914506143347300060308122963653865406216858514668452013432387079891218185450449495029150604989913363565655924287578918303967260349581758513334159605408843171043707947405703051317752413821038716088457591404479968150248746895121934165589071622578957275435694348127007780718775902798235486008573103439921500126762942860750946005738852378604212583317229236923348⋅t37-132308527753691237922221626017712364704334091828909931465751121640792807197372882582960319332068518582221110721601436279243703281324604262347498706512335387041478091847586164156699185630228654209444042601359041728843741635991354410330263705612060236375283422122011894640262423017138672455551193331022012445761064741711677628344643073240042204384466737316537503386989702246029401922552028613997843891773521327349067854888762086683521054638355244666304448356902769326077982937112399972098404286636286868806175548995268115021259385839487756365524334008748095819236190191934549369417506355795748136835751147786252198579120145009224070264031382540452660010642596905441856185287170045422909197847131728501230205372839459654394366425247926240130517429233775873736844489772172108408099026626590665712083048463229847580077278961650095551774214551167502743364936228788933375785761399407669695841852702143424370877816339445076284094993329160379633859935234664927753746683657817417600110874110497223573186289655866182298268341990202892840199757500888975406859102964488467910478399693103547789296354207208784380018259937872714755471852551166417860978504357836347251974234022637464099430438617059418933558169178131251354386792229045718192231303314746764107867150644779315728767832897344341944040878269114568371501333414722700579837030671452493532552897519962399695166594460965410571344096419893549542274499278800954942847099884958678044861876535601304965065709288496384413845781235988283962556444356829644002478618404031239466410372145509027590730802330585068270128252200951138359807522275449983815336724709077205463613444124822331483290288836563427941301233887249649945482634607407929651137787991130577250089379289187779425202135192954988527877881024998830702710435661076919989632141810607143420884210852925107313299745819575793595856480176775306118446992350929501940646568241281538193643376186705842204408407677163204663475326892784234399491392859069416656691757457367328442819017549089944057210979348811995601441515272872143965293755279657377500002383091328458494573458702530476726060345102202145565294893182494281464418526954712631682107953007786085719693219285220916902421513182278912643078828649420091752877902753042096325813303762077541038077865280968883292467915259465718136558077125564706625858877711497630632917532696791565242840206872203919279321890866594386268104497701695077399437127972013067906215005182480151726811245287471245928207798500749901465103435883495051470378146586733782881920979343152001927092573308089564088747258935340802194697992731949634605665825493379255677061028024853853900338100653934741496776076207941284552504958197266348440079472077201190426400432412917396819263514989418202259750287407976022936477861219957770944177900052185799476818558509502068189561535364051168624973120681077090222465734297893103953488854379188121543583367030798152402856031957912018648991880039672396949867330997993077365970531771643283819547634328937698406662966082279015664912468665893509857563790153042428002114873174400674463658321512571134905184320438542978562293309392609773481310802064313738290524415480856391829913925086202282007121645891760632547934062719908764803031741822594291333547387485859612978599308073794508155456687410458255866197971995819759631703139788167931582567985556366233271136756312798659646554685651934763807828798010739613947878642151196387002713585138201588117623677557118314523645778607012045875933373050942840349409333081893208561196881638039141593864597225669131043149867469516693143355629437617329303370714812941460703293332803370854620514440683677057189661091471838167857059564141590641260476630563162492017000110968835463029182631640484789085258568637307423437715633804884562985068611906495067340340548691890330047836606004671199532263474223152815565145286469526417455024189409093311536385181696283666747013057132450284382436510519054148804510888881035485348946327047485173391326459100100763390216712842619126053538634212589228516124112038701496759032982850832530539724495817160372782033204045084130273613654561648872084620866056088156217300309324693538712848201812348234151246878732155396900667490896446803774668288142413409709012266692939364027489693119613593927040459145719536196501334231909255678859721147502753702828124755311537988744347925313313486542531824524508630238765601523736269012515353775142427643698937568696528500055156129039921761799025044338412714471866388870507730223446061491398776294424583230261604900967095686770201661063058738256680069262162280887262615631580671125243335769880831588874201442847338891656723777163025265078944708355321691834375847569761770593660920249884679253162201486277819404748550818207740638135560750131627964095984914450169808513892612790783278449746694414460444314430710469421342947210498371961552863418246293346541216617649104925346133559977135392398159438511024128917346950422241289098355566252626618710774937613748602773455817508970900792585816330130926167578740106725768291348699746938270080466826166519⋅t35+62960397501803049550194651322016913395058363996084867548426927438804610918777771365918364181402190092596279408361075695010349907218003576127774633720724172027641611147278404019723835259542488435614117204885002385511952067874165418426999905236287504720613428839124887677034430416688616756498533548078244794340438621508618901515085812960401038411921734579028198966088653511234544394183884992193917361559329632375477559300210758110803779201300237438404278302080696275020713032702605701907744069963704214861197581277910564041214419064335907351178505961823528084584814974042361359851928405775235098848945652225295919460104215916222327183631265494604293533509335319897710163804817248443120679173494010422460743116319644011787757083200875667388369003770911854789284410026097334839790229485302029361444232718866809342529687767349414056059863264750793549871012763051215228732650014832953776479876724575924854106414565045233351935840847521500411113149531889326254591168821545830755276247469783630046321566139689881523584114678941712858638211217008334100429560086170327855806119498455634906585581968687489492695744763288231162390523193005639922962521737443691362790384733340581498481449981766785090744376649548607303870637464299439939917519322232048404960236166141176279876364380400648191189681439329929581823723145453988613032558375384830411915390233497434590163771462065886082397090143841958667642486957773377264036168646062545857037892022414069853215857940733271314272507102216286019593100256621555245003561718902292208584332741641661929251178298434365240792585583742025753624068339279656484596017261420042383670887040929887956013367155009395091688374742946243767520761201134589584463719469804133665351718196030883562332897789839729341526563659339575946137327600961457880689451494829051753024599492759493317210423091694362920776783592722637069943182300076821502639718436163451593037866392762306973485566737765325787675049838984706581238155232198468377288174348119359947844038789816601405121328216730386072592738129879151308253825566805218256426365484793154442880033824191986096535825859573856485665638942028060464392942219307720429725014434552947461237158174196054424535927903347922516528428337753885967632893697285640486022225746544877745655607188761137994190753332931336888869993747224436492806283291212348065748327387770541284514149894933680416194884398158837476631187963795584910084760130036755830549969947131102195247288049181346718945403361092538998004031076003684926035144977716948841271654155352542284685296075905207466338180387849255510391983143009236564401410388005668629149947351761879634397611600722593723615101120939449886482087919710186297999447842920408047785876856850432958964118798986754820933439702532624625780585686624746055404205163052778618503547467416561515285577819143886894895641243506528583197837531247871354310284106352281899403439500002437505783737986417791152283688159240181161036834919715036579898040075407952388194513233502561010411585199235364063158330687282426224265597329745463265409285681803244974535266701425489359923297823847580531033221784540314965056986300425140909115451031229950798791960704133023814836758538873399859073960594074109963334123891059028639151923916783640185658899398044405469798703573835954782106220763413896288656021693565958964611462298798994813728947414558235818899943192722645470258388663564146635416010367480695905453357127257464877849873998022309315346511727187602199643789597144738961655259921029626578910414555452126721904443985585547629490448920895859727446669956154478048153926793040698774024872720423158615646938056259393145768581901070036374356636160327873847828151558259225182285971658811662151717700275410099054885419696612175368147184286959154486377620892375114167512533100518748682377338296548328326930410803278799125883185425120094265434254427813058689431177715750353127526082088708222601281318514781051008781557404754571061421733320217713075681535391830341980670695332461166309047588593904429163447520358669017693219355183443516209781183575934982250766086692800167693423266042143602481977806987229673243486431711053921720555493279059769964236458235923441551127962079153931443768466616017656131826769808834155223421473117759259864396359027046991514574523092495416532481370056392941361181196911478861217591933003247685061224695660241717495343691647231522775188691072621338739745049636713951612319455656232058978203836394220482368984825505238052606164215723638417025733254295672029850444980394272349147694608852136233267594110221485626259533461464842564962749249348631172424615794943074500286531561029386512379510829743748477201229308688481128140200423646966119088015737542942963681980761344754834759799373233336439742168827662490657536698738103875044169620606135190406647753199856101592943618936387374375305786473138117453476011561230850024868870024055073019901696571470832291256984771078290240300765933918367436527430032628415080792987174837247697215283644414345513744724804472852574050826993622942478676825284403545876⋅t33-207244205612088641662376254319751471665119929365957581732801095002146502875644275384071068543615155394233888812142548577066631486078691319641188921624783428950065382916292632325694732317821993527725937941673780643464422307710104332896339991332091878261758063662841052132109667596823387384746685963243324669016842053018994217070800793666587200952699176165118159891621295550623981193453693607700140345926351454867745713279774285861137830265573280268851711992792690820084657310463537618274419105431446560995863056849292107160506845012855372265761517759122771105711407677659093640182698752261228306635137372170467137537669385036151163967155362791080974830762417356900631229571463142382483115625934238876249343984339600681247046497500345717141891734871878386001787827057776787236686243505278439945994115734969849743969826260903219003590999132167905472309424079029419806134945790679204901916041442285107415436237896848912047370797033348959701024961475552573470183211363969402255443482643908572222293374068762625883987877268482631894396239206675129595938968944409824598243466105619035609727286782715668944730409801762383269663518684202887219846769483618013605832505018732361236537110339576223764418826804189718387558161526341118039242391286928155716148629074435449083638387012191344121122538218449915127539389408247923085494748245786349199177179166337700683486668772428203352396670635772952375938198074307815566295336793092388775021938924911260729328678785138737671999349319224222420416564568666507851143280682012240505280945684022556268856107547516771049932356027631315041541037281115513937690460499613092204230937571560542751153262768776195471199567382218929725312734076544219131029963491437386391004354069395633831459255751661604153499061108036282826162559986163761824167098391642672764538077499349905190501744340766253069981667537844701396487627538546103573473925392547307278424942465775523587089229129837061199157352545028781072763869600767384708856636709533055335786504164972533317921559490066780269401922661932539825205829018749751270088800563028236776414002786834965445881905433022394794132644024468512128573238088556955003657959725185851259235710073139409115424722181253985463226091740212166923002529864236562188160900660069694992120531297474146697947614535073542011536335755976973456727636873681548077177507038514982529056183675406185774495687050360228781282963581888783642355583028427976359626724277786844092054572331059789646575952643852778654097393590778578548685917468858413429698380164988855510168216012828649097694869477261748127815074342611790912381207889933863454409486562164680078347593062498337939147428860050105336344490249605049883736597306034816889820733712327287889850182641497732141770450214347468893895846271733490011381254805183937249391326064164117716785810094706422543893461555496430741015504497713658749118029706354996607199705808530146268214325779037257870477867738720264534568053381812298819588195719142738227776429408300388282943736222680749016560960029336147402496477453077824178984481746557785709784013141567483016163487729478229205619167352128768811010100835947692841989710302490930080336190408360450714857003378177246748482634766186937685330919311386592570935469508095286750251656710206058826528689116223987610490191235389972403761574824027788930900878313956114652053437532200037322464275426144240729450435455006829255981709156794952267916844166148828492527277413203484899735747688623637813122829776681677274833268270612980455707733707083966411677805423598426648491846528782222483855825250699236149587514878714672989433607552753987227844641684181059699763835298264281131400100262461593160240059982129894714333159326392265341899293194285936885443529931032327966526396333379488650420012988341753102057869540072358115014382949565575418989870301394788357253878873148690345203467753417384667868619317615601791424223423485479529131948431860413234984067038090119908551849434073370012000211120239809568082725428447324647661533724806386191083298441510837386396283816607786146531315765792182590718001450535963686612174435563083798939166837793299935630088148829004041795478210513149972882452581846548566518262066255038876510260023456812180187363749730634620625094940469621467005578218258536777626731697387391088737409385567473147038824590800173950028053628992448155057533327387316060832046080558491385794061367064969700476321919491080048788542689243195476969840348725285191647125965600606691888252084859704238705968646611563339604971671417898438652641934204617511035470122350295318037088215927379496705056692110068174123815263733638678797866528321726525986291145552615378130137017985743016744763203350235922093031906152395920695904462381155215541025337272982773546513539944444896484549451712687834101636032574962843392902766202739606521101712953023541445805764076019567787802656696503604827666718006193999620498411003186262344163422190762514932262729350672985839348167426509818342836159297718979055662240460867083107895248075519470632662815153897495570104694063⋅t31+3374067590158120389879464657624266858999249900648907831975022269201042081581762209120821942202645594655478144365048811966031960135461151860152539803038474388784474233729507217281417916410780766588014987469826699854905656502905313913979395549822127069903216355150809327104659142083904027970868389770748916892135708502154213692900749582032407329184336224446478534185267710567748851350589388240309498567064152971935839570599313679457527230602290728485542775245456779002059101916112586975641661133205801078363232767695645475945747512963421586765371467030559694526472880888050312975650283084062450095266224713656106040115630588916415739655862022004386507199394345084523285996082788417943210931357764227669190571680286041497961065542063892582137940799043963101399151546014988341090204417790331235578105209556375771849716483805119296805114426908138828507607213788933222897581725476547538565798569188097030399731674671084530786537665470514133182400021745939720273901339874925163427464146716995045656274033745036511503465713684035166390816127953167605172734571003485795399918061409264589775872851445820490624898565530498004404614628928417361151490069830011071179588956926821983100984295670369644606129666224254640930479846730703451357626226106633433954366212577070262521015596497523753001515371935441312229716555424271784746934554109633503747515688593208593026976458868472983945228609237701154209646666216307032569028787802103565174612716186540407558416253712979318665060949026192048898583648000307283335586663058300874411904856769842335978948562250047935977476740561993211861949648494312115243122921359471179311620546684969250614170957130505469719727524100021021670969326929011008852234182801551229589443392656097632741200439635415827743690620599716502821593359487216495378836833790335750256135999925715454973779940211851068729409400828050440285022585144006036494687230190676156373548931771803456126821870429969948145548144386873209571659398161653782100813336830716973054624951653991440422001172709251368569967828368247954262837940036180404432822624371620228888031490555335105592714946502568900508764417678614219978455601300829720810758699940485379881244500400035572091630378662611102422771575649146793673245246639132074908931828039329931274669552761713924638257433449915022769541322586172586650378484819294254249896711871426435877312830549721077929822411758278558796984591844487258236438016666123586921051950614716162178966288546905752081865502640445135680115580679816745929566509292140010739061880684867564289313928566975374074508602032492994888174149256699067950715907433800788937097872631867370720697498705098676723039396487694438394550857517951867515419104144106038858395708041901808962154323518871902885314084792576250157711999166438832518738890593160262257828532091468640826517929768652839671704859480636299368212865239024448796927482467720046704657769307583805276279604049254701006879958523935141549443549056609667770442920104729095956582492220304991365534515606031461525347808165223058608917151450800638911667049769947040111052216449891811275282091829838790234328526713812767575097449439094952003516752198214014294877184978059382420884372931346128028612353480551701634469313103053012265525360078563374164196244401856652911049708842486370186110276152258045016551888213030477354276272367012788439705565837832177420691742084509547357282025207260873823531384802266446013774359286147099661130784014103891094816447531237706429445832834026251221593767127644137366071454613333133294877502732343839448649459146642041737665061000247272706822551847804252537824329067927700486536711241542231828545724604946974621606154040243685642169987427872608616263533591021338962833780903502024539404155749964367731205457012480398386510151866647949856618838076714550510398947155167060899669862591460220934239152322881775766769377569371509490927324113223485745008795267885210809997699441599467209449785923141608451590629193555798822113169361567648356901764672498118363437661996497883863754879678230398784077179830488948761572141705776988650909793397027419420085418452133307380424893107719797972329669562397405411964642191449671903134571510943613004583004593263370709131360876878459991809564912828531856632372318682112880932847520448658185814538382212851518343704004728288981313190477862702690775395739412171037330437418598867453655849925405751050594388829234890591676262027140632178312843422324469276793115159205441697282831202708642334756407652891845717937411719689173484382827403892665855006626919826471491856550959520578396525776716272189628695417524500253667040925770290474172818896293213516868302309538364817830399899699283039977059880894076174357409177313860855961876330533848785622245677804635376184795267874467021255457118584840304026837180918994623427599270680118525778466002909065670873796954596237393616162616002878146684158424828883864502747351320751718497776798642547031060657983095361140056169082861830491024185600245432783663841454105246528826334926085041718679275842470339948270408194744481⋅t29-1607297612641397550746683880887275101395481433587311976288189925551477485814775381440233335495826318204311006853283857955987846735727010246865012825433565390490599858038208603463088866152739994155501843875248109281461940117002316985331489878382888238447680994224446630944309528838349823928035241368897026347251540561960191830176129912657825941494091525076213315460918189866464174258268549430212082517170430273113993312907037999684476595325539742272319739597544773882604726057127540095531930545171703398286372120055672413096490021081213737256355171623966813133352964714053636398389146554709561058181816963731651738904343069705006261292206926641817564090846411042076480326552512804671539506664074832258834117761295361792287677474157614608866667331226547824479123613958406577810579174931957334368508197723382673911803729783261970119193186119601487179902213294730559517171984534129450225814215890093626095279859134584234417958893704433006945108387185092454082066633900964110351736592519961470035662334533670709250441672898342493002978039606743388508061134381122518385720640268782728437402422276972709372306081762431252106912341610245929822285321478612728044046452042607547855221713403341336015071784160420149302049022448292978933919731799035883760361768244089644598305668322329174646758305442476486871156255814715960408535659101785526908800349425805310190148166715682693597612022341257751120280703629000736965885441887634153296619135003811523580226270336165007360831398932134464786647812181378572278289670797707834482030397798911863067586485556621573821584317439809603062443220297659714181973892192644244824874170414395560618801711152947007734333072461663391043904462611938439642342866216963495896443285177643615927096130735307866119974797475783500459427861470880830345419796217739924009734280250745948133908040616461170662942208196895620297968327899978006368209672293082061693155606531862617342599249982726376611938662431918093231838111353180483239353862908411840660945249517236759417519438522083673444612713874853818093741342698335530705856040479499708599329044092697221665578846301919375320402783571477130880204013031120706204941153649376479050361035481464006909504261608660703017333049875267679608174840571067985831612188611980253370718595775661348941937306669707713277091997483939132948539113439837700515461325402528452750114560187746329056438606929480682955005131500435382492277556593297424013671888212028107906549199667216578677857411136147718949935187946031926128435401245948444194812379524579135918383155436348116202896253161832804149875583356657088772009026455679739425186956984454795638087254675749652509060191673947255955715547442033161467497818959838472283473534855281587143863982944066180514661827709778014311215663970084415878172517962398973856586512873949374554107254590586096357106741068027280521770306163578321884600841870785952787289384387372174344915368011989918713913580733692338968941140705031658076650340354869721999330682776350945801229738726749795785854149115263005325631137768734289596496495230632543772874429545923895004657346184559769916187568236506835991861830685425296610792878995558125179693925638657020057993961384091644372582421130468688847548176459142902551307187922819552206115042993533299876696561772902566396679291021908816504482917765867649353936803997171681185113877529513310367431492521477398199600232682438362471666737476792451340272124227713945910060582581839506313736190283621086575190111556154497682730531864692117374360119982234066894916159264727451126879308367151708831251757189231096564922631582982308174413028698771183028572373081224237875624474338599763644753198639444301162491211771022539175894791261099988053888367914647905991803060256359832308575484735003463186538086561436365311520876077642088868317651103457662296732596179671294595751027355587868174740723217211888618396613965396798432848648985725213676847695213292958656516920094797193281095974803279835891060283744865150046586585554357432470154484980540979609776980681785379867472992120583103383331977974551774148249318140804428496965287795559895364875248941532610527229164807628262438673842158648693780523607399781643000053367831513785415449936618136860286372721051871512865521361806548258051171256638789435177113121766383861226713890710391915260107128947149961441013383647092236805006414587356381576392315502878450843260220843538096629012381403862936021510560936156755952933797355158150852024706053163876830458479963542674018543753776162178115050628139050814563463015610567105587985518439991682980230869542150657472229846651157064659383802113755980350868944833634218438717960664543537351024351955874269101398926836531844924160351585819672941742894973603684195109483770099691834187652391494760873945849922544824244518712159648362596346062714408698202938279882180912410248490703842742015335613885436626819887019024414387581598599386289200563864656217949187892510280948866849804238068196041249844534660986586087680380087741777180978989575680607608348156233013102200365704649655829707⋅t27+2841803153992932231252522660524326392658021216812509933012863423848238758555056602983491577141647911698462845754959930990975098310175820504204248696726100485941005337518640343370218552123480016419863172690086944140530474742646126716429018757215738116411156562249125968069425752699562130657857873596576498681736570875621646845607432248446922558050083075770863142061046884046607345680946399145005723250723335057347865229550650896977583948221421465671079424397128040663080549922221674598268847573439405071001847110169467897685299332546329762726551214895767074100327609963655583819746794348016173149257868829491910267821719613780517006879410790523066344349756474426150016421111206741062334383204118538415831805798256072239504971890908092520883922951398290855799822321005244912964732546526311281343504838688001862346874584457830991324609405228987279065532584530931370984432171091926765845308448034463678623253397571098226465424918711749552032898028141663878566995228451038861386623593387893015474986188915804403624954990083342001682746794651463998804880630524432224502038873128328380398570710793877006546029595886695648338101291324605365339560674519206531268182753230616305506869746547245113763722068787851864229963287269947942679335814846227161242407187612262662364965830792346203694673193694712384865266224502253512069081536719709800654835706845496017256165557605620931006939385397991860551715864074397240933329684369016203130542074534164719398766678408773938312007382486128918643980437206054675203664336422429287535589442131824163823261413042744506337009916644756092757792178467549802208068638680372392037323363470871436991471124227430616725753749480600870398095306777634955085784190509880710602305459405415712774208140686580096831666161050388291791240209242372820756069479554702334916282172476282687749225206120198746138255180788469941537036029469044271908837870811538274306675177905103240480174874447735944256824001889310309074275306235361385012497883374620603677919760627570068126135280381441222983120390645095228904972497781775205112304199808408435578657488877687819823599087865328109395477782063816427549477727437135622817043854955015404695440177525607333407094736541518039305988214301603816749966842153857336843876762738120046006630600824113421630247396612616618082267859781652653429258796794194119177597550022296403484774599361774274539761706725021074451466750493288648285104909792648044867086047897937821515919684251027064352847929903361661477872309053970078211456608797037923346723408903842538248573899966549088833052780910966528382097216198090724878024077802571265930137560941903099718087640814308862342249743298360421014410197250104517576085492364054747833649695949042354790157402666922346220458799065295296237320048800656530348954303641455039579579691512627418888625434134328293063827687186968264854903424530239410987959264945799537285746240425892516589255102532541090625608489788033902325477798330219949212649669875477966539228696740702864526925582487615218074521865311686116499240334537845460606918952087722221009826035819012768919061431786852844030230656500973902026727732863821488036820620082972253569758817041510047469066389296379660403580385170063271689833364919779340432187690378600789994889318387989039214056895823830434546680862496425078313534162810730642515665453691557839491939469520447247520775123330857633251870836376021197333070566625538553226195875420932613543939471076960909487047424414339429867921387439945486471066873148180201016191632090555925791238559565052391526168798541398050480619024707249794762982904737472900844599903486574561613466814325031389187889292821601096383129750053966459081736126106869856957831552367151964799091214850656622636718545086744253784240634113572208078162120865771218443701096960138046559746992789173881205722529202755279055135743943256903391317799729624125254009337316590366155002005458101708404813856351678132536635478508153294549611337394246081010969091025447251790616369541664545276167484485291239812328467979919114385948277768184491828927565890021594025176310069345758988358906658705863642042163917859598112423492764925885027912677324135412461021857290165863522341676504326655119948673424635395824769602057775913177976506229090377675333106454530748366022018036144676971776271581057936085663414492071110638611758976828753020516002813823380986442665323616664481829681191873122439668935626137238998029484359685839513975316986523057583199862379644619411161675700967171371565673507006687178652914865738277343421384773785324173588402716118699772576092605089552784825266026464221108417001063783851594852511708991482815919574517223639672543473689101677402852032228777811756477068297916475536559139247540042629168782629392251823411336323870347616626867871224507523559758667625027352562101137685893152392684421580949306802180713367415335064134304089925992842337307483449258589914370723211688150841255406056373862440588339517519395884661314448725695585334236291707366087050297832626382036998068322771761757761048310657171826896194710861⋅t25-8134056655937435868385620931319305462155563010683918513971562589989916270565920831518713914659941431080393053950309968759701456801180020394647410957484115925797580823723480121275833319341005117739895365609846996680762257419211230520172618334599328409343421881591186929419384924405744576484194656491130700087342869907095569546252108206811339895723122058200426353944365709561237451170999732603037433131043615734525721915478405710667428267538415208129801819594670973500084581027869130082882617088454401813037663617539490898603005252695178466580487087809748265137551245312542552866969800899873782154757117899883425791730122750480298980384933512777342320034973005536940424189345033789814514734071439758749026043756663201135680093679094878128315022734273381541972270499474753452104648101927702390061247116286958059170587431145025745999309891702549996907863524161006715529081578242496539428496977239426104205647546455462483493369609746014257790272985048353052531380534611012368785935494188942760286264454147084883363510213304643217944432312685167425071215926223388948359026211786488868853656189978272646212245130930950741734062720719935881533031628152370562225272014011183244897638838194816844711174219215791192244714551915265088320390696088139395937591254073142389449804268865852806546404296492113743614828478179588088594294372911741202853274895983795220713034966186960115341340912851968526211511158669911217599122600387498522806543562459209715400045409372592488062257514240187840719472800428332652962022172905588932347389311196341649557662001481707213316898650006789519479281894436052114885304166135713665325167756215163911545510521924270716792443238582182924662641675733608675693099554262974866244654424314605519128330212418887949582055188258893782633344673173543123202392272282902144688344884598268030421920407725195958986539549228874617691654989568059916820758434653528605773723231418362014505279198780468573430333410550621400772905330845874040749300458021912892689927269196954184595524633222348807324418165572696734939071814187168003889849092874947362429892539564339966772834297798428606654602343181779286674750331915976339510636423274382912373506315307161311747426046389541042716858446519348107219449660825799336585051511055311028678717526441528376332343886927647222233643331680276729165037446010178316682524532892056438118207450686839430454856607344146437613224672999411304382970064471006121233361060978959948438454079994551058835617454737923503771792195494270487261421602724537338282549817511527614745721699899647266499158342732899585146291648594272174634072233407713797790412682825709299154262922442926587026749229895081263043230591750313552728256477092164243500949087847127064370472208000767038661376397195885888711960146401969591046862910924365118738739074537882256665876302402984879191483061560904794564710273590718232963877794837398611857238721277677549767765307597623271876825469364101706976433394990659847637949009626433899617686090222108593580776747462845654223565595935058349497721003613536381820756856263166663029478107457038306757184295360558532090691969502921706080183198591464464110461860248916760709276451124530142407199167889138981210741155510189815069500094759338021296563071135802369984667955163967117642170687471491303640042587489275234940602488432191927546996361074673518475818408561341742562325369992572899755612509128063591999211699876615659678587626262797840631818413230882728461142273243018289603764162319836459413200619444540603048574896271667777373715678695157174578506395624194151441857074121749384288948714212418702533799710459723684840400442975094167563667878464803289149389250161899377245208378320609570873494657101455894397273644551969867910155635260232761352721902340716624234486362597313655331103290880414139679240978367521643617167587608265837165407231829770710173953399188872375762028011949771098465006016374305125214441569055034397609906435524459883648834012182738243032907273076341755371849108624993635828502453455873719436985403939757343157844833304553475486782697670064782075528930208037276965076719976117590926126491753578794337270478294777655083738031972406237383065571870497590567025029512979965359846020273906187474308806173327739533929518687271133025999319363592245098066054108434030915328814743173808256990243476213331915835276930486259061548008441470142959327995970849993445489043575619367319006806878411716994088453079057518541925950959569172749599587138933858233485027102901514114697020521020061535958744597214832030264154321355972520765208148356099317728277815268658354475798079392663325251003191351554784557535126974448447758723551670919017630421067305032208556096686333435269431204893749426609677417742620127887506347888176755470234008971611042849880603613673522570679276002875082057686303413057679457178053264742847920406542140102246005192402912269777978527011922450347775769743112169635064452523766218169121587321765018552558187653983943346177086756002708875122098261150893497879146110994204968315285273283144931971515480688584132583⋅t23+5175416817352282714271859654089870276409643768650470788238637367639918236887944256630439468176955135428282197185290816276234850292075255388091605166235197693221638146608622390873699748918163441124653069568605499216829009156834717032248983205391514022091676231851813829439826781852903044607038424698615921656188303866044179652212253873359033586315014254248633803374794649893139519203845780406676219265315609790742822487756587141518911056111759608908342301875298169011015906990042838744778286553706398537617774294063495183518846545663832808899834064227737923290061021698497735940133258374056044895974734454967789701053521668065567910393137719379473910361072030444023108692449296331443438245213689700216261051483102845111139443363993833627096052625316546792231365776756796979667460440382433774137197625253889058771231987407698107973473838006851816484963703648005338084117130690055891598172908835536297662591511131805578296670994925530338644362468616552179227388335965552480949944464857085353758822487894180052893386622723939214662774341745189824387232691809667807132879244920058888055132325084059110394452125025113221228177675375889957581383600209897993534743617704790046594819672580201980815656230790440487390634902460218498525522974941254906113703573984265394293344075752194821111592062158385157540845949390272881800743876927449862748928949651101146176579176167484449803345141378786747788814178959807802848742273632835997167526590405446557878364691813673290113531636269279412865468669634823568143995772593846019613975006455841697899516475007702169445811051082239563501025264036787527675888321216731534727063019798577306712696276183888233528583690909114031953896936434937925751487976219844310118708074074680315077653453466197523059434237207267486122278911451203036945308133670026134083579608844696828662577819883682594508165399232601280770739643931257628088879244242525156426260778460648596034937148444485283133150224248166590834040290783441535798206545038535598711507006406338339742470929107518034423129168131698587673441163369337099689101134158625440959067015064058045003436022723440642514445998882382736588741243679564236298987371279759790554119588939148121036622872954119558740520349227424476417157994143652509722171078066443188118701207581013792999822018931820920002430268809348178657589797266447346687547211635183077777042945755785281157779687836203377269339382294122072108789129763498832879116312119779422984527665210579092005006184997906131465253287916626810952351222082777288798779618592220917965773599197178131993266741863196681170333188754177397072577867261710382323301462605674393234103379543412696213993839160650104345844734002508421826051816737313948007592702777016514963777664006136309291011177567087109695681171215756728374903287394920949909912596303058053327010419223879033531864492487238356517682188725745863711022358699188894857909770221420398142122460780986175014603754912813655811467159925278781103592077011471196941488721776868748646213979702765233788524767480466795981768028908291054566054850105333304235824859656306454057474362884468256725535756023373648641465588731715712883694881991334085674211608996241139257593343113111849685929244081518520556000758074704170372504569086418959877343641311736941137365499771930429120340699914201879524819907457535420375970888597388147806547268490733940498602959940583198044900073024508735993693599012925277428701010102382725054547305847061827689138185944146316830113298558691675305604955556324824388599170173342218989725429561257396628051164993553211534856592973995074311589713699349620270397683677789478723203543800753340509343027718426313195114001295195017961667026564876566987957256811647155178189156415758943281245082081862090821775218725732993875890900778509242648826327043313117433927826940173148937340700866126697323257854638165681391627193510979006096224095598168787720048130994441001715532552440275180879251484195679069190672097461905944263258184610734042974792868999949086628019627646989755495883231518058745262758666436427803894261581360518256604231441664298215720613759808940727409011934028630354698163826358221240669904255779249899064524574963980724536200236103839722878768162191249499794470449386621916271436149498169064207994554908737960784528432867472247322630517945390466055921947809706655326682215443890072492384067531761143674623967766799947563912348604954938552054455027293735952707624632460148335407607676553381996796697111470865867880216823212112917576164168160492287669956777718656242113234570847780166121665186848794541826222522149266835806384635141306602008025530812438276460281015795587582069788413367352141043368538440257668448773490667482155449639149995412877419341940961023100050783105414043761872071772888342799044828909388180565434208023000656461490427304461435657424426117942783363252337120817968041539223298158223828216095379602782206157944897357080515620190129745352972698574120148420465501231871546769416694048021671000976786089207147983033168887953639746522282186265159455772123845508673060664⋅t21-6863149816976146793957590402179977907987310771439663949443759979363345802528830883856153922296005587339206511978832868675235765055918375995801500502728956821946057475536041733616835233270358082147141952140082009519560828278684876743343445006277900141251971010284251132922432500508330461506735617433562401223672971393809317638926106206525000505119985372242815667141580260405568135380127533692182719692106734848229860590643154917888821276656917296521884195529745852925750447541495194735321068699605191632058538250114377041256022484861485746257474565761911504700567239448665297657377402955332559393269969123330285113624505804036770952451178047042259562935051301921078250256139272158947641702235701834997856501011354743569780914728146980045478525325766769529998792061110652134047729490885365597920506790951173951555509431277171535165083405697527846759559692248245594449817392216414396320624550366837965658864990319663089827260056639736794284080993737682613721133073426199773423752594726898656432268897695665833524394914618365262985198872733160015881768569735395832265584879696280714170952791474398904464842372835431654355224574762249161064630252314092603358361752913797949579474261936645002044259952638149857627119721523542989339325848221169491535117417020515233100158697710373093032856747687277416862838670709306447370007247948445925903036411923132900058853996857679215192054749911764493805720357099556826030707931032595441992367582356623195159023260732583819337274752529742503622662544383450156409871533998571761324523420412329152875241307460840156338715123736295621502695025882165647043848043329942054622534593136837615012794696816876956109582117785347967312759485173438711098486588003469574092201113562240427382454359379772302839984061262454788394379486851128847868066537950644665800670384075622224823027668960740619731050152686588836551269085226147551351051010180354261660122137458302333123243955656839051246926663092933511696929846781693676594133131017450670015869382254687435815350599213038973985297306697889596723835568497960806481346152654632312816930544826733026668384496685808309710937718073503000442920709351175967905685865997904487984737146439217184155962950656935449998312613728753284782730901334150697150978573320088252735171013733274795770007352557880080127783689267398804518286274675009651604058505539158646425479727125760494962752992180915711119513799091744407178999760885942397444667979549656647267972380822486350669253952280007335045246114393270649118563197409963559969225187154035395308721506017235065183021280690583252056840575048946085143718908920531030720248151777829106404489724804526883146722629571374179803339349025674741804538591261921234385350635371861494125939995153199372935053283395890991967244798761076281492465602840439966220918706718386218232602723289009429893340931583596632464352660539546422661650164699001474898395884844110941162755593857098805337316178110087314508508731186560892910928794322410454149046123793787591291927668796302518464662196702194254037186885546421203318446218155950441989368522013896383855750081594372887673202389573243965979137422139147178966923995987065876868326195046559808144052495170098836971318416815149175462314277628398187596603708548690948099079114244241445847876974108595925902677981446358740236022187426330525458254189922051240913679484156310147540773051286681773201958030974545732094934453005586637526169946282062290484585024644736477391354800483243284214226231957954409538302246849899783902767335613658871955925318940088971692097431856607346671507466022341240500783008195050784957705248025756940429042911902114946767073352319020057953093319811567491572580359886572169319071977858688730771792579722388054958746656250833060359582882085056438530339593088821664063009835720944955406129594469428610612241427697402911661758364765006483773331697708409470679014954032073022920220595545315877552920981328965121908993809848400446836048478816375010271783260854901239682114877799397308842813442889582981198919509002044747763612104002130466097427074043970086436820198356216613129261705548751478798588586946957102534879494693448694662306292309662749883527606721145675301563721279629236970453578621980419944687357240564660243699493922181006310062194191749546085381759125926098890864151600852665221864940851220138652443345441959612596583919004250587266685533794557235965575384331999856122222259129612519634210612152140809763259973043991676245875434151401222326609428968623593457515944433762377665425625152639256401201304867742036510132956210541854128670365663226993951342828651929693342523034784707394506525449581836532911607333003143276453705530802306133986798287667722785362565312054035049656659072414079749254699894545767165952371353589357600031092004547175942893295941281523858903322429042104434855612256121823978920505834383393789802801955807161272246384262285239023741920245484793115071914229638250426994910550570684955605001801994574969004488965397932649675675082707664017010518503294448661228736515228119039841459046811388⋅t19+9463399697271883456161750779639129347141349674455230580251675357461976102678156202118031384783562424715821330054731347989124139398248518804789358318815137684965264085060952657142645789529723739689006257579634647087237843994012117446613507742281717349792910983730825058734027636213410840311163128307328773111869921910432999132519395144823353288648265599773791095511651092972192610493449063479297203350444871907337398134848027674387890585129150352688441835008907303222532235402047427394415150567291113510337823061111468352477952508836090333905742235264706004770761478448815168218494744508621399052801654737563563116826627161415981075319536585796384451995789847957893018246788461951279884362423243301183784338542454718027951313380116997562253067332642386663406179499089702902471211502082366565427658372526197144499157891584298850632567216618363236431654167890292592048249311416904867780870671970331215415598638685338644564639024734007743930156770945188057717117542558680564180907567052248043754542175603738332950208713916290936763626651368973383631102936581662377540738924570406448152860208283972526127214879871136469847732341855533461695124545922848135551140814566097810183984085625509788294348057231208353611258500820534166141599573533354088210615924324506336148736147739473911864147541395009511387655084760794552220001172629136940367338706397691590162841651858438206820442625525453512151266425567448730610190382280241234254476967626719970933082509204515967719105035948672482254210591648759000189424676065595930628857519646829410858084177336156277053561316366558382464018561594418554813059150582002598666755671935002710359634880700522478598819227746059348218511296008893989949467510076100222305103415042735790445932302157795678320394616317522574148662847824563963841844021044788566032932632955455605340382753576835867700849161746193685155041702368546184065665756504367610095119125322744325356002030076258472034422310201995276633294068285436437618605292104436426852969752778173811022541785972506630659744938984712883912884901098274914211312672147405702071472542977034143170188683953716502430955588399845527884612555470125554462942487830759081320498284626647610379728712469530965144390904954600724930859914010853234441176774449312370678848279154007987604282173268816453360449015373589706291900059539131364182633108885834519755104070678837549350888934180481160346623004447638761996728044504738953630307875781339904139171945684688951837322635659930146778029400188278235994438649798721758327077548931606038451892011004584556061772661896632099665213965249071511751104861402869818894584095211873986368577764520461989409380383190288300264661311370751902102386619135028583123416968079380414954417331281818832131686283937270793860612591111376296812167379377929931560582941870254153606147543379130426239172705524228970534895654424202196073930260707774228750886484872772064499297707617461871967995567037645181405028537679247116589692638107745509718105510091497328280128696779017603553094230016216827124153920232862359314669840644930258695808624951633223182991599764301334984989816913130098869918007584380166359705187499834047101220813426486832976329332756825448866187446466925472659107815252883557517904193133102845136335704104563047822266501426745452470319768717759753770727840140052769146281595459228063653784357681181166809973879722678720860292321274795937093212862674048867152430393406372913359244249384566984108555390385167959837499854449556158760465140382285563109009797119069164679613886328375418598871120713254948245448638273370550996812561397506022875020427003440059680016827202015700003767766271015950053853849536616488875074245465246143249029524564073637962962397216045535780782900283306039741856434308277304928697022240124471933650453911825098733045725738340413605953474449356282825448745799541106953600095240077095726156576413012974267023949431396900221385262059616096775186734519971991335526870912500870332626627455671629998457250599552229727648518578229401398164563392809111111372623426753090881237109907888179069579618134937104303246580035040239574517259183347568729413395730244017541709649052098884449940335451367773224922561951815220505177019947950723912597278851876258425284099058007088983105280340250753872597654435001933384525148969524890942516610221768026054738815061237048516918626980444653541450684463071101654215336758487962383013953004593202682403221616404814850653107462129117863970647823034978402019806389561313630637600060387991054721280113437094997129768609930829702472800747281668293170405014773896810729515240094716294690238153319380359804124406357026075360238789488479377131559759175490011371928779635600392636193547617712786703766109202732873768007723005086094292541740401847819893740953569490638023687863683120286605907232302363418916349473105900684824015601336721435893358406523302041829171633556414560289501044984929340566751725420219481375240809990454863472431917562012484428546365020273544616697114195921623887327900552518604391621451994887789137547650647992⋅t17-161162182262071532120856562558772478730213379228306938320603180098495767155018469762128967635805487448548207018875069599073791717036077552571854392084072041232605478239915347865451894383164640196990371801163190783831496344215321817650423020248092011066637141939664645296128519016930330257621193969619605625323612982240487607229155238193255362249482309796039156758518099948350175920829580177229324080456440180490559436101831467080231133627362078514534863595668679179341162185788164459000372700360865130395689820486151861514818291184792814295625055846995812260331432074009073649863484139951972379934567298007983840204762567154717775270053234603319303514839185624987823978160088699764036232945128048205367004226188734286969934846201222014504959230512393531934485318473598191091482088469089704101597426368887487584102863744293610413326730601589050609120387950934770430340419529760654420138787659863327937839823238802119392103332395840030229013640789357768108938803829501950223999564417914135247964593579358615840746852947014470202315847099505159510040326367047529120696104940387301581866458916780017990519696072670342359790114259311609362667765440502889115260834381549057294532949216559756694019763915971476252612140473271010931804796587983860685858901256833281284956352113870055775754776097368501141266825929542603317005091052967963455314456274474747403343907752056163117824303348146320818784333495481067903844470728636961502414520236391602652686917252089918694629755833716468309655873347787408464718594762037777787315581890012812724834591454033691244251292957882053031871110248819578957880924969713472335044046555527356002293221315273330990943758987660701935264985749511295974509622136279140408076174117628713516844593583430926495343694753262244877175218281319711045430016863324342576012674466544142617875577191739933026474672323511866502749986252901120148039919272862027764939193369781616338267523927133237025576946505510092415444294359896661155978290572639668576350608683410926814811533373869055958969923418574723835952176904085989230810001486002994508074851213099050958769629957075627345748381153736549391374105219706785750076048961229083903938312051305865154298495494671745667932172321630067524032348003481592741467418134659430251509025603099624270870727737184079469710403300907437518128842141608353492266858105083531350781909797661549033261254118101120799711341337191143149158509092689840478467663643481163508712966008453909371864902429179302755037367905990895207047823971733917507813520017475197548501277229148227479816088957713131681223894874620163898179261482992198638693493495766630787145449122007177485655611305117941017361445560762141769158162373420784005034214214291987935897999160744067690235297974338052033886969091017575968613927927334972002056658037831244657060358655098810734207015896275487946093676809900898393880561198634911761726289266134026386076334934416220350543641060854846938420765414237456786692442862259526702861345037430725205507194136870837817174912279361429278062967367989146992364934809289651284648982934759045847587472630850546130223106919007767719511912193610068056243031249932110177772150947199158944861999764155865445258500827378602451453197148906909893688079008996618464864606224593974109109023310941321465130814475447171997115934602748860105297016324229662403820873596846840967716587159277658533755949612416519719950716548474536562357888211698010010599920202777402589863568793932347206249940456636610402008466520025912180958553366891931005296589861608125790447276655422478827683533839106134498696047844434282085235629228680024414552338400824604546995904383597434112940211174070381812530373144873422238239350958030124621211889770200446455774822843170652621668541307931624743557872734596374881947912963928449481700524165684714656980966820191206610410850554357725571927311689122448251609508532596216745600706585571459181475789024388403226212755030897632819079174464204901499710893050047484999368875245271366706765303054730209662885503206149181818288800492762628087778817689590618710282571055201542669509964559789188916847969665914914480214570980554370812517583703131361820430137230104998137468320798469862933936053615070750691517068621222105719434404160093809129452160139193490220608131359773518202760288214805637203756795090723283386029515252324247120557620128363721903320734553074541585815365037563257338505708047333582915528590661256515166176271234507366398897083200332491164462648068456901030715381842885996340567796410042447953371268976789884878284327578433409756296983869680230513480256234584202120555097426357928329010778166236965212647370413881650654281092628753609550106698137123654706078442814934518867287904317401117993814184977592989765846948893800755926320166753732973442827872307870367389975143867760057762283961148088777552882551836910476951047282984486805380748297486454896865572977700221107457504580251308271606017143967723367898693267602639005107266223512962839177343194273989240664317543232044212156342026957634272277374451311628724⋅t15+533159079954404219892743686808754971627774985615669541138836195544497436225864776862416144568320856448546575417276103599833963258442254589372845415012524703362773650771218388757461561147608508988225379918987593164545047223299521080578452146573451869970075999786780781854023794641087976158958804208248811360605219530056364882562275597440560672099777185896893234326574600131169885703197897656921828298693340797896813958854988794865699755826306825748722249107182747410058762138612859084756245565293863411387640195858119381577276787532064970845868646204788794609107891071855558602567949790315029069470527110825873140225644798745529038074175981593198620728453448580294865888693035431544232561904137763204286428021566011916732123699838351626597457858373862128856050284095695379882552339854097455580202132380644828578547064046503013648109599601892838135435593530413015978338606730928549843715251353122568600097697094855896619287561279535969192746999333031018920562873821007450911306533932556469427844119949717194196311620070997687895454861833569536873338249506907105791913023382696782650700952119223904170250008281481104722196276898073479424393933093090020855920216312040523135618624631302449049577023976583851068393928207875400703411904916277523506252923108934331130863051241909697096489788450455504833968132888865819252684104350391252884405702647172326726898476667841625261875865749099021575377502557373610338926025015875447856752699605264579515205567675454429542530378746788160157709624185421532619304571507457640418347416086400193085262960595005022718826850276550050170191127501462185313950356463891315317511540025586026024524384658965647139097327793333879694176456654161719689909244240017595896182597167142915265255025790928550531857947118491948388173642209436176757899153254946054705883454602167975969574562111804468784204652797956395259265526639499389825806506269607680426806040255938575275733377204190305177551042898127706272937998423448819731908470304927555102436317248724268537825884071308222078866614519181997064475728838202731925716694836335558447824733967470122830643527326319776423331066744944976895486250150682332203882770664966617921893691000691783917654240662734804420566501942770264735158651395031811330943546151960180409798189283969341927325247812262556814933914619773117896582671115667743015674232753125382578035465355937570259741152723402789225938849983620704054531322891813763023054723196948877860567160605828718795592106522226395756962360714959440842679984982714526825207337313722253779707646544729075307889392508896886499852750303015894512124588431435994000403440144010036346459832466056819408403348679238409581827842169076705028047182324504760241390166866165061090386787367932761382559056232177375477080980408037339692285499703099832978567246839633924353997369196721352426718323004112435998535695772017262416358931246731995281715562593493641091981429923186305065962023920260190798888471386087244460330965023346263158941065666645254782613470413574377517923797528928492177628105348980146906104427670587694104343015395013487252541374158199088939902174280079957279693154153247286886387711161216530596667061384885492920901511972240958421383334429968894524640902048972533492343784334089560744508917640033145197039943836663009829528465083702418338305678189699772379641776390100227899820682971045804974066621520003645306446079643801242427384212071470984874548332088615929001056714266881815912671123593050158897688345576943900276018569006623343261852199445613049211382747353468639284409801927746802748467260044707613612548294517046080595029675593473220410284754303813575287145216169279889211226850069868114721379090026030716226799000312025266789818712057355003317374081805253143459467407954681901258568814086745481569719965360587851888668382798362737090993429475774684104855082801300650847861186767354771849900055139721470440463692359746700785008727186850742316671694796573455622334375003687850112828201998432196852756777763685286646265161988988975273573698343691149883997570987673225580974185966860464320415826004679251044830656950167688632454166726986141582185297644142125888343441096968008221760387151581461536279456844154682953474355723406409310503609645162819000419737318173657225764153604889290668027266957344849682834616630893824222924668508584977706843479818002190333165171375650599367307046911447687353121857999840605991326290649163908488227188155995129886048568343719762587490775571942381439857582886922163718644323677928197971525904394470326821053431910295349461020115600289377840699215143630553938623898706424977501009124234662541542900026936551166780672836815590581065931182946991573609867710320340646763531981430986384337991988147173193932236114428330908019244662719694152092122684616485754337660439335255451719945899586285673374362174177545274678032209053904389378637315776703567072761159137349831735173919427666697316744599238218141420511906739215523188270837127171544188755783984209934816513195745430609692067375222536459286531576249524530243845977322⋅t13-495922522903621418270894122937353578473383997274713896751661317663978872144396200300767367346274699265469344252490757412793088751793778044032563206507095408837601118802813623960093694482845963954371573805499698339980504326538328126612072490111149646118883951281874558816975763544225088012050104841809864844132681245121914356767881727009766158998200336648698834641817940359986318475790423533065443413987413318771907563909402990143779485640632089745447471297377409903670799056351746231161325579172600315977771248001222707371851499930066563017352737416522126399031784204844764809854994143146636272283325654356708117829476247383573450762053358467907527818076123266956532735388146714131868742196422387307715505787381954303951777305495687148482124285368109812355055557035797131312376320128470111691431355833377182970717263340383222214412670151455480766859710679654363728152915160268694191623743771205130197492451221622319552323244340386595139872368535363049683947224429798328730574322405325268718944314249056204334896412719925202542493009786847889254986893349972868469125283101178323718869162509080802145692104944421580263966244572245582301952321484804014574174526686717622573245605384509346371273277503201060281490599764495061553114954271770918678597122729447071508076374946445956367708951879388881957916837780538738660832911794948907822326662786872512362605192552253366828305976106305774951513052129771209500090394250607902439403547842247933966239451083569930092304291977562728962247853903060258244835685662182695817467954993833285307511787018283879643385959043540441443015086623582890386165462161503493106552834596148391181690836563509157690326597013702041189257067405922759262501993290672542071094498057188088122695562962013845799467201984152308854270701704528168533020028196834894874261237830872354915946793923052271929087649862383624089529072429202535235261048761696224447710159817346531710175532909790558357812242932695725724414603301943806002543757165043542325324946150849879061922668180284655931994934360403338779633482323331832472233803518687899246833630556437651655634644923027966095471015452600038038146117455011243909080997817909406143929424556468215247318815341523853377718486499642667636452076953625781145591205798684339234153627175041483571686068399280270449866018516438687082780093140348674444295607878672156707298203571280561038794587174277734836680543442771517396294525783137514594368080338954218734169237870639658669296682082075356175092322857268784657199271408617231970268581691316281195433712372153916345129459036427290391074714983324888868469566112091162644508146956223620242340577866911291318960549736186317291852059333470300559934460645930219524544628208525602766399734574996540243850251033273590350292720860442727527913439871454020740393221452389309445463323671458246606298831872700266308008295061205566345426570251629074899604986495092961681577522867352595250568599169348630355695143655503061146491859320881128474377149097754789563674859272569889131890817012073992883774969828763708875841298956711066892652499356751666104004475806501078757440499336470700063328113662122687737527810530972941635488148015519767653981821037520086882099941876532076604380497564689099276141050435715199955112458002568008339273924131951532899198853874299908920230129113818098089717123619181252269992985148731957989251392197012124476258030368271816977118874234324583710982541791939578853258274347534579969233224248037908948706007003534007050596551868225747610491856290285970432615383225222761350815336030779136095776501597392134889178571253136305189846602882243179635788093013765211156290285789461128614909001801381228176936452804228436154254791259720938579165722152188021986017052022979433349029317077668960578459678629887805893229432805792002334819839120159320515139325593200314177086681112333878059035359003308711314818404321525160538796483575717124919602695008529073566174253281093239534662110988420203020320154537243786282424379875952447530309201766353985634235738584294811000436594810964285226225354991219314956663172476277495634270165368499679969656564206598765993755664171642387285884259092479087589175390036058497399008217178555510633393034803103733572081157043207413441011803377342835057294265528048633590301784079235727785464736204621805428531480765241719498386451744735252498995647743852349087451917711097204211712504718295653198441794541168351878272178488587838393165362908024562273898996540556896442172066767372613106349473300817751065857177149383230097708148694279520188278340847586745215447991172165020725512925693338128853985352596966705510692985696413055032813918659051016320121139017943480573985435097601634855506125127747771497401937519313962532755688893556991234421398435600884935312600521984264620180546888418969318488562124328795727880845445350301193313694046431656437223961859690652758833802042222434108403321994602339534076192005589056424155964532279064394567225086369779842753458156401346682737575832150091151079893929972429810031812014105465163965135802756822644⋅t11+61322958063294513751383274120644326111044309160188875740306624958913314926029455041164030720220799032790126531927912442905290745289003190999344377731894315961558668678070248847979796140049425894038956008664966483273668874385946303172345835166477074261813629725073302314860267893320551308615637426630371398709968043499193362852523985498585811356526961412418399187010808327613415880886402222306167387508513131224649571451537287843908667008707926041562824777619293493017139169997739698454118435603031894136333030521671446183944181132090399602678662823285181304488115904903518894799713705871466751561471483266697508739045843914950614456470071770048115020032198186538788985597279135841442589935144328696734961218493334904137725141212156235813759255384120898027683592835318560006232916380569652659009299569630539757161544623418208638799740100433534524897392554617535386545050483088582215678715371295811971748092212222086014374879819400498796151586208830805280180082098218693597619275430903043677599897434400028407728739759013297161056575206870338339839190822597843634970484500733219014945628998342095359572124463768608552429829717590332100295274578884583768227362340450366277395493403375265664974001348184246612316077746475780767723707200124321490324791134438883968469444613790191267632528461134636395661965150087573959363555360048589772877054934251760440592864698295694729728394545978156019372243774561791298685077054830330659579108866855104261746611485829271419024975625530645642910401989449298115574008587444118363763030047095217642794270989014276175017329432014167567238526872612007922479947352364701209212005712754788357668546937290959526735429355370134426580367119146476463018275817916779384803127697055308979730715659614773450392878974170027923993760176327468045266628324558803418408498436001645002494976524816628933002465791348168395169292034254092561824614827424903674350219011332449776851771732179052253292730594369267852555466742035963667604692279940835641164462008017609851864001585702955650933164870871920162990969749029773664888939137312003120460802828008343502979887158428841821188687665666558204617943524771729960250070420285701765961731919257671549716679400716825274783892152697845388555566355024355850202144062549627929326205905888793622245119755840367102627787427306954761297499935277724984862265909061053996109974538559033052554366511495400590240712592411837204806349079584561201024845473660790699118811966526584552633991019985841103967077673482791054025349086681752234506091019196404922689080379897271347371945698526037931009450511066275280625543445393705950168851999129579472762384813561194834777831206874534918793897671031182100376451670235666303766138354979153635067928837461333971290647217767701556913397489150736730388060590869967485459494257097634091563607082413124153860271210107575597109719475853631018647781919711724970547238669212055205341617302605786226606078416345245819374746243649296010357931820084140633383923955400976238914945761789979132210040373938065895502136355188819689921413438983057785493373091132998982789862765431310861791617192990794195517246737217945341985872923421086856572439753666886481100691394041565770609701320374132782756397367169682870166041259466663319788535279193604244108378259544119677107525715344086157509626907489769847329392658251265745090997931768797444182751531605772352572439739565300925530096418938259152207063434091405725397648719683594197214088669493211087728592368763683597111323508060128852462969012550426993252258020995363876582072470374182579826873489764443491384698698759597488562495605851113194726233482493814284802010617715730059004520278424907929472358210014976413734436031824367744812616610510411238113528029168276024115747019176885236028669772336404319738410958175612683935372994335301567405855633356758817866574165245293875443434457228475227688041517226882278685178891189138742306206776290572916501341134145053023052135101506365550186961110282310531642359171893017610773815912358577991261210232507837751851367484179161604522082678633132733657596915427306064003558177607717035796454000785183744939872447020104649264932333967057087638730758747613083946017699314389331936805494576625988507323397043984636844988661527175324572429722924434364606707662313036635528576660397773179978828987321190669165261668856545977745665111797958274923688985317857890844650048360106901361873683605183906258922394707248613206883493059467790714654339768594372478662479536942140092307517113018068298296225942595004554946503297557897946466706029248520244955819321720761928670117316625077855237493131551235880512451850594551914987736259988780962119758943727007685950259771019928088277068912787086986569422532294108976803466968644671770935987785280264536003832160081329251303083870519360989281199954067429712160398925966168126310479553330845646279012022354825327345253427104573931903106314789821470456557078768467769285301509187314222923106518672486003459029924971958503461169085743720869284252330292853249141402600472751786441433622741⋅t9-218455466989411630649893055909816482815839060802500376488427812481177449247226306591988358184809409207690586120595904141306274574809078972561488348039616681600312985421634235330708723446755128126613634552853828497931884284014797867097434579593923199676881215434347328362868961956860178472107383969762956127148226983771216108844692667254008482963978072804278238559075789133539307608099450220194475906104913793538807573888819981423540266865954618595208643263716167589148039991152681567130163614336446756543815388114107728511876218604306381844510554932645421836384216597125245623675501080671782044478621615584980641569497054171426342126571689955780602543891664971430527796508448234508743512117761632060758746647334638785068178919994825381839522925369311650191058222035363834339341029789987170203764910542691374934769377276880679743804070796315409284589816505517087388141319360144835042547846390121438716630168535963794868377968386388567622588646884343339491646287243238719757338488613261936887707210442077684024605555241375963234775261316779391964741387077297107428639948754434893027095837474629713918712445827214199114618560237420842675126793761408440406943426487251600659766904832116925554122974262941440041419882315879925040990803918121678238736815569025948205371817533369790077828441384998384706798861244129915195129512866430530898674215759177801561332270886426480400172655628379302173672789499914039670939445952897071590112848912287605916095532536889906623759052500965101345357325930240659520659466652147934962057625945422313607012097192836594233077060990771432855201763049314612578221855369155405583528027061756389486740202864222585001524318373873851792337961159375227593524737685475092297278506436180837616714632036422844821419558394346434548085308033773367442917024423228133405798272053639755770549289380887393098456065879058520953195855891885845971596130924323227746790394143473498126184620860303322077956397001414101800360239882649316581228923514220566731341650758561485239509574709103282493985265282994948091023169584386530196619269519863045351559665641882077189358647031822248969810632754976026457933038513212343900585468326235829577956077067391383947598381923794433128556878648872126631866217353025135787790288940084086364239466728555093593257348215657456000393171452350341394230127937026320690714353792477122383306124528011712423910719742771310220191154268875216825933312584789340614943356055264610237135058138412878280267783449567717248318681758000323059006537459310500252003971683665688850087051394773257144016766614627198081031336974185806612732908441219273648626631748259913116628769829657175078420656807206293629161138521081556833810939125154281758556341897903360455249314489443211333719430953875836906572334092883080127673614312197094783210231772381779042572027114274613391258060468293270044756191189939209598404441117277479487403198528641539419752878779392871091177314468565724123293136438729423321224321759284364230208747231490017997990813402763697177329300516419948303733173135715568978473685552867496525958246433367630701426710704673703446592669555412808914765160296813186107906243203474463634222602938023257851309722714974019767693940902312084370070129458423801439909678439248538112245373241185811914444795347848898095982486433552155717453008524772763623523125658425093623012306555967990293892278796704323790066754142696408399512241728604742717475415545224394503122522493303718563942592560536981244039047731774689958703838149652782628509285514426196914162812102370799221807392850380415873776559403020369459900870587573199700215004522444167961877682552077427034427735698681751014474204157112565540689281217048517072801465015809301323631438955806294790597966306445791483968716265988216182592652370418737229953388836998112463585920214211771094567221364128442241816608478971145167536877702874966685243096576809754026292622209413612187323441550145201965809204307463332259576916512916804390515343642664936817399554389044755059783590213211806648709860045868697578804886569767454301637591238606440510724526287771692053118707784357120002296554370882963703161497720900230926990724595222245283738258289257984328559935705167052931589686527374784097647524568583690044238693835780626266253934814965418658483906215544520779964615542124509430264082408703423621471371571850624712859517301492765775759146684663202182655427166095777071438960839800765695576199124462747202264699015236156252440388841615464538434408851980963839893382253633650176062827582845109723705343076252814908794240944687824842496286876410293967874151151790068904753460943713826523458642167295177253415878596359945251606500778022738459446838712543352964108472889055491822421108711923602953407201253753225344550368275676623830027234823230220879216599022335374178291650201338201983221603109841683019911672926636988177996558067960894912892810651341764583656433246424356847422936528079669049634990972719635848234441971511294096376131057566531802004540478426505567383563537239207129587647608813546042292419720036⋅t7+585559138031227839598625257688850708522990833802005958241818872843910968134842744389975039891652231217682446073975125257394230739968616379739222423673470682287530346660217459786406857400419946534464727899685311176256638014147234366626224781695384050809954926782447088957689138563515095424782739531100813740690931930803418491748145127479022053356946595493105810398470438535884397637125660326960969647090116578077643388986502125534864558817631845858929288991536623795826093967402107235630535454378925766596456181228586757986456014971395712563075619296752359291519052451576485221868902452762967244744863722722262625443675976170038686358379910004939472893576632386241029804918033264191084585705365488929257077570007733673320995034621990823652688767699479206967299497536475964431829606303115025647332056716145774593314103696885015214148979371354343596642183616907513070314181678013516775658954232589187652679427415502448709928167699056870564958342300994043762283537454916326645566380713149585161225098585108437297088761428559420351760069203853769492179399344536236216672206771592661103559973340900825960571440731060689098489932773042608404732450166882238598312469293712748444845942491096092938922206474473375442459476975935514341021235063643980628520915220402003848894788419309371192861202927435845474051786299891462098764043953553494331996099627005729787615633096972077707851811973941456989206269568829706472604740645531937287508505361567702161318377889710790578413171962481526226870334478713082812345819707229950576848573466034272829740501721002152569580483677078881457035604898755018709853898626841065673567841402489806140608304147303648797628315646937772023155371864767605493026078652292311980648221271530010992687204960634514649092889675343478563188444834846312261994266109221037260870234298641586931655492756613634205616117531395122046398419065966240099570996077699069045591508623226390192734544123404535558677806850838733322627928261525452604867791060650261910876139079107375865458529300202801003152390256463139657493535481404940841799622790992556752090942732525181465519459140427403906554145135222208082980950712290060316491850297687741978896976319024877481096983541468374141481637373846786921269670022641650657815384442710500829050154257048264900587016769887049313740432304940506438211992051914198478803406629540927230424354649185728302999933864197504427806408495332262647320771882719534090842418524475455845297767303686044250860714966155681289535202327540853354096877106356477585155070722342011136575800364200598092328904637994088319989141012662631680787424447427217233422077850715760106608822076665165661107909807587984077504817704040949294267577619569616644407843387619508660046212962367692564351709848258165536813429535935815836213035567608055034495054218195597124088056280545900543595939351311283271694590016320933893843511586229333834585230628028154521553835255845015408657938102614742882949441547105084142984193113699970439829231672356655202294564046205323891445071259379173125757576260132807825005103904040742787979184058991649805830912409559288922335081656034702104130510146774017900344745440791591689842661832166381572092600847252182457350749027014872821336186027816877624655102993821441427193805399429980254900755740099751969009218039435438843003184162261818632448435512803293405262670364557614954162312703791950640918785625263819935437997837423450816558068784740708886110476359289520347259207161448161904234603615960113039716519729081256351175392681507709968945796459646838165020994820274658088423113262591589926198637844548842055711562035915192023898236664988748778011453935764269135602483498125730235865073086089040545618417521102091861708543026179814252532760035545824428369285713636254772635721274505792976923454416001984411555130198423478566404392760635997727604376736554689173964310059152693940055966866628177939174165665767465822976927240416664355344544681524063961747877028327770128473917528036082295526270065983975280119134813466085264355970716228765608941892320803332105202849618591485811883295132435462311975774617476523933204269294232238454889944249760497746920927320265820139124345387373525851957815855180797175222022026254524258940016599268582427786688747828803807119257479763406556398316172864430951373115228359291132591556599972877723345131724392299442331817386719992279518808435962372199960754373001376378132281165232536817498214850458107142809538976199406781782002557413301345527893956780134676017421243446340358176591260075758396355811267619614343558019320844283033198382063352491621172833874695804692400491060277943503680931547255340275288430217925344801141991964747050701425940908349053351568258929453912782880537320370087143412853275924726284866334125327220832116197556988289963423152976497680836447930473302774684293326667519188051589170115451196275963330504310904380732858088522653952085697676826780009670535754837443725585506813374115085249849255178551876147377268101118490658692658616716027723480719397541314806614829309860591658711939064⋅t5-2584307642574926697784439997271992586238976908218182913353835046124037487842172025388985655189464498539908480051989554458606751899886252854954713731031421097765081615234302219634663580530082414585558557967331145338318815233772806167763657323890410423776951066795240194367629586283846030830117705194431409453758039310194733718620635015589475542392472213929464964193320117569396118257807242303719838964433133958100280309156375632612718682815736165559811411900527315967775506414521555548339156865937618284299771356017547356167372769333148937619407877379030821599970799663150332414077780471929015187518170463247817419688543752977647067460666640809707367213259598874004778507844276443474123422744751888275596567284805102252359879959221168491933197016282988463649784697774699138192991926347721300758113495297660028526096347377865177420978792448435914533943894767841048194324943263462373631300042691587199703338008061329469299698442192803191005565099488108233158245374904698253607975348130315511990614787192619573322584328397631903443406363989908296242409032766471506401289038423161037116327033407166752927346399834261777982934205534443258566323980474628697872113620934620041334114869909130796041347150378301461053989609331304746410158688887293758418537735198398375148226601034548998086664295561654539396002267611423501033239446906498881834945067964777719399940139109322340217108956271027138298765354093357035183943091764908128570897047673160213485316272607963012677606897744268524993752462112988843549924375466930239841097799304772020246104599926862690935826738587060758414497355561987906548826900795309300105134196060932358168164695538354433864260934760762141880441790417404086699374619115196528648444986306886877624913206340813268310606136598325713189410734786530590342712957147963614219669120590161021015121158689720576832457592207461482584391620339600131953665750448984793013128398262718421127859450631849622266772168727861228113326663062048382107163568067065451723187587281109271033317446181600889893698722499389734979547001437302335612380275586513355106169666919863356384842585615799180486061545962632965116651895682746238807158946673477006131947404495641774746682374057089395967944221713823743342461183050201977359114667001549043328465581188699593540182359849240868296714082756400570216853632210707863567318684229854325939953754586884224725422239318856825585338803197209147233157899076674661984084867015505472931368319122461767081763467242437912064478731367227809417888495218751251272174462754994559185472340306694995976255751523439484542530983166689351345004964208304758416200302385363885355074798018738579081605465765466517280936472421356377120202541985107697619276830962989569922211403551038083267878205081739973305224662502929960457245659297104975470804735965899770214997681129375942532925250749532776510682606970244414367219362870646120113090951299371995456919017046321423516401266279434471680602443371808059147765157024525383964152995578870726147982160424445264792713754967721050785641503561789699149071053738772850740828564088251977789171879595026435277971193746629146845257792774417617787121010021375474741206471043851602809956088850507122907544076506786625914166672832541586115643830307009699103823300802849961303375408068014037373775539208340486963052303766658649101407494895414368795277095955292200855239004994443797719676055607660081919050348613508375350044542284973568048465021766301398937625359443602860130045081539503200343385713150505965338902123603628770741373098675359510171622761684790751788902610544698996074992482299812815407413168641106631354926840615672462728691085102988506236170564246841227485977311694838935214267117643459320596546077118848718778478783181397598824045309067350725122313413631821118239165130463941635169988825465767984605610210633622003848530951789917411311319307195381969421413297877815933919906119368962374660967904673208119998341737370505073992556978246219681681960456246780912523694608862760758594372259062847080915028640237497876964198755765548244727862753055246430652283548266656355521647962114784042655325780787722867746765344709407311841323345290835377632289307219683412423622670732325642352578083047558555278021688125305400247238041767849822807124803286771058187818160044979760514776906245622519964499154190836111955437979194416121220344048019210226423714940670928059004643564633751127950186204101285764365878438696018805373660479580655207344240477288848273658667239321624667727808126325049546475676728166337144519771041914623003167353144451018805048689739277755303062977627373941736158584420348203657147343588896908231895210529096250097295775649463506683593737179847201019420873963392840811247830995776240231308029215480076247029466817408840729565704843024389559156635926797645141042456632669595803827062546075025717795776656187062831184204270268925079206650656633200181613512562068224779780416687426206112669484173975523595660023274564067423260575799392441589791578920897799924278198976654693232866924826815584378237916979⋅t3+30462786382030079829772653557996635753899244386986790006409007762123443226061176549087723774650146838824800983039611330442181213141618119255875605798806537659302836522547090308439033249443199512486803230528292187386718769247170068817081733624306920949298452018899814668895322802764646114004262359614329844238675420422065975296293958017683045659340496630193640753982081137048059457793678067079887075727540831603744815222409173678328382823557840931423745567189643827843399859735142414511500400495149581318822387886251691175959495018992648303908317663429559857724906475852933099816401061095922755856554496115538216308354185980148783613723537543862689459152463384737518013037335675185888939345899134023635633903564270966430257495167713519819485894226892179116236706267374936786051092308772113258078333814928229660067554408616669180188001733632755147234447541355266505768921532584127907786617915502074950377496276074473586074616160772542146769665627387048657360801997139932999310913660305263903567031605029124854910453894547179797448156788166441351165219352703600603726120937936746399006545848514096241984806586701558978814329669171262925584564311947870826946854543978066632959565906757226010512530922820639315114515759803844406609272317153755241690728452695877794449570104215087023129860803750579870715346827024401950597149925101762026998452550862177762562154930067901850623797814038932904147176055020183993030537855445438675217957399227598150408850192835843349042297467723079649379306907990758120742035685711642742615100940317660549208480480419510206971350994286596103804539590487328537085447536013115224284303696680560533284770667766512556317475583748205638990573599224125304212522146792659138369329912177071312815303121553168864591411542645632593823785247482572148950945362558473794115433387850938035051493350515751268501959857019736937352183328553531948837157735525359343300833848834884152475112658631420833546104193681241714386359607918064142105092413782492502965074932681002188751440206887780440159966717021105497379701572854096534027168181056848341287556237254286841364272170373857504967864724803835579672621026157895119531251552081758571397293229716385292550864240786058940973425889308184888435862160646279938040477122907670141476513517756182780291909268036174936097585236693532813532619601574893861611804387975444026999780654126563398643289936974712445290247406036676967570873804925022253068430703413858880126426960850460533437969523450479509215474892691018960976367175163505619893499745205555996385666210598385282058275295177653470473299458499631289214923771220700483524086653720046398158724771647357305977377701613873371009100431323326051874814750915115404594971570324926314375781623851171120201027015023734983984936861991203124659654068163763880110688829008086170295900753299205754297738595934498673589295567328193175669921391144551982846630770932255713555766488461875101435884064032597102315649310671975751526870718380481704202689072036810625618059092666179810145839702206273259869793918073210041952575665417882649104563256156807296506952526140363001680489577674360904829545840414665467718187911132815547851025693857354477020684639769236557483681467580881705989916411967695692115756995822750408852373512154653072648604168803431781921638839410274663821907802945073142177191415307719165065170201521708851557821415523476981263164703313789785163521184397504906001895677126859327552753491289879326725734917252140405164919862487159208296455238529046099733029875265868201203456671297154912593178411858672960050742682990412703191879467373338173771582866928235126556305496220175073971193130984480951507487790505225027888279543381733987717731994684361073171601737037662523543355826909465211002273773597475148032271308748662831015233037745430561153236906161327774836961199245511967746876359443946306697128979132120402463606538561238172850443857152405788909503577104609583675300683058670533761222736510129040204809016743560264994261558574625761892291333919829187045548275584648679329247040786969884062105222764077975345690016801447474869822621508296158722716363060758198012375820919151679275609691737186070472086782587467333633925095183755690783991695491796765084473724117636662684223748071219805781917690591995504369370668861628065221868756481737647802362504900291817666972773068471623904641348704723244057583133975042349068336896699115087852441547323111330757869534217762075416569523003500517811914332260804762325283406490156809773312892136744553038889249136851948303117700283535479902723182130605273432355713941598066042052493294017092701025536594037402429039160422316615531932722335762787380692146063917874912793100677673871007920661594210242888740270955815205269536416496889512905360138897511308073861626221886166582086080671787762028225428126815877501483487934085836514057111658521347926423525600186712971465681330446774781250294345089274049899613139949551471009505805603487614825068701406100648922424309373854232857788737836715655751611456926349523649223367029274088⋅t$

Warning: This rule has negative weights!

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.