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

Type

Polynomials

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

• $P_1$:
  $\frac{3}{2}\cdot t^2-\frac{1}{2}$
• $P_2$:
  $\frac{3}{2}\cdot t^{15}-\frac{9527}{1738}\cdot t^{13}+\frac{347711}{43450}\cdot t^{11}-\frac{323869}{54510}\cdot t^9+\frac{42861}{18170}\cdot t^7-\frac{165711}{345230}\cdot t^5+\frac{252343}{5868910}\cdot t^3-\frac{32643}{29344550}\cdot t$
• $P_3$:
  $\frac{3}{2}\cdot t^{47}-\frac{888175413847264309058284086096461213673771376866780642241246255210687818518583762207640244545477290603763}{49489500514285790401109211815303530531408326496830650377226011890031968618254391899215225739170719948050}\cdot t^{45}+\frac{20311733421883594809897630731447172339028487782296665181712902580498417103279910398862409326528742402547837131}{201966651598800310626926693418253708098677380433565884189459354523220463931096173340697336241555708107992050}\cdot t^{43}-\frac{144255748310942603387345728977424597284129187274418395996266214654514834273240862695384710249692276207488049313}{411325234956234398856491790019465934439455113633885655521626194276924793720355252671432001200334824659133750}\cdot t^{41}+\frac{3098757688598898943933102883967816097490159467520987555475057935287431781707147869814171125708261453456527444095487}{3633235800368418445099391981241942598903707018728111995222524174048076702931897946846758866602557506214128413750}\cdot t^{39}-\frac{16565105921998287209170559981897135893532469631581160459086096078163562409560834133297196666605046591506627728121198317}{10782717208333392261365975521929837245026421690181290779421407243739882038961286726651810964303070166942290306327250}\cdot t^{37}+\frac{49505178103644525676837140246769373063443342443514599664840479033102255119913147059695788536605610432415919084453488754513}{23299181841480390488967375002780498320766302236336468049955046020617939847871348766457373638919081352832406764540276250}\cdot t^{35}-\frac{805521248928009732465094997507472983489953248269284519438657949429750565038468510457291841824678599161029863744213358773413}{348939511578876906970064333865171463086300032315956750912856159814666322662826199761179254615811653672419456603056137250}\cdot t^{33}+\frac{52846573639759539342921849286288221179243815065569641217631606150134226886308069270203691393584524840403372388516822438187}{26434811483248250528035176807967535082295456993633087190367890895050478989608045436452973834531185884274201257807283125}\cdot t^{31}-\frac{2318572740973413973355879417785695448940059348289481233659571344963522754892281173091030793521038598232451815905137338949853}{1665393123444639783266216138901954710184613790598884492993177126388180176345306862496537351575464710709274679241858836875}\cdot t^{29}+\frac{37268649078503714822163852630947317910105615266109180645252158588565979611410858356082687203139865506584826208308679581207}{47582660669846850950463318254341563148131822588539556942662203611090862181294481785615352902156134591693562264053109625}\cdot t^{27}-\frac{3909975709087685175632796846239598079034482860226025860745295236634061903598342604879127996774828497422578380019330771}{10973354704544728322139965466155058149562248648249517306088788250332286836699064108116635049618591068606974370198125}\cdot t^{25}+\frac{114233025604133585504552650147854015700242205071983351055634702884919673556374999506084344703288772387827496912821848413}{873498118576898713100292798871970724458458578920049837594765090445146262265309327465402613662769620523843171997110225}\cdot t^{23}-\frac{15290565361141758359279224322735853308616730898318580014105572728977710588666929122060184973416728696825489704283904251}{397044599353135778681951272214532147481117535872749926179438677475066482847867876120637551664895282056292350907777375}\cdot t^{21}+\frac{63253862305564004102014402189346704597263487248842045209068742158902209932693264384194416130827781515032745519731987773}{7014454588572065423381139142456734605499743133751915362503416635392841196978999144797930079413149982994498199370733625}\cdot t^{19}-\frac{10358817886424923163081552410206874346674126605381038943075441019486428931173856931329621310504025727364876143274108951}{6250408734073140219369829707260074268607780266093811995786797340553712499092957132687217329344349206814777114038818475}\cdot t^{17}+\frac{11097938413845187206608881454614857922593828989399436699333935787450517579011402438079511149179324846718246988526330285960593}{47266653416545878772711945117350915831837697694846642260179045244815068049265787640093294271447957241298503048470931907090750}\cdot t^{15}-\frac{11262484017613044590339046347225021892179802578793920254410364262515087043794949611195355954117596614766746575451477638897}{450158603967103607359161382070008722207978073284253735811229002331572076659674168000888516870932926107604790937818399115150}\cdot t^{13}+\frac{2066708831427451953495910022052262501105980119307093303739299115360264785047040979190805842393100450180092901594943039831}{1066165114658929596376961168060546973650474384094285163763437110785302286825544082107367539957472719728537662747464629483250}\cdot t^{11}-\frac{191747016270618059313936226750413614974653870096507080108491211722511931150076208152615829041526247611239501077305495567}{1841557925319969302832932926650035681759910299799219828318664100447340313607757960003634841744725606803837781109257087289250}\cdot t^9+\frac{147918664325412940240075844884527183493962346448343795086613016291606542611259699743137352888184096894090006159610813}{40923509451554873396287398370000792927998006662204885073748091121052006969061288000080774260993902373418617357983490828650}\cdot t^7-\frac{44544857647794718991130187642683002105036503219560992836781700987296483124289635153955144888630373261594473957753051}{613852641773323100944310975550011893919970099933073276106221366815780104535919320001211613914908535601279260369752362429750}\cdot t^5+\frac{1541451181460179484226069372143901076862348306179224611509754073538433691677444669771859183111381591792606399209}{2232191424630265821615676274727315977890800363392993731295350424784654925585161163640769505145121947641015492253644954290}\cdot t^3-\frac{540390868244218560325772864857035615721881424146921879241951791206880222396086323028149072684042997951920809}{274283166698678115131410893045907877129358647862708044143960734632790134008352197803977028277007850320293746302452008370}\cdot t$
• $P_4$:
  $32⋅t95-317817473218998217834410832452403570314101330619594689260935124638571074257785730837401220558146727264933067048854593401950594722464078410099399681652360960773414325854640003087427493003498425830626740016762658726339828168844081005287579636731690123139862257779791598387595727756620229002703747670620997220768886990522316411928966720379912188773670322704410151341231139929385633883162404593943965809898056068771840469731078916061497878158506253311387696661181260965198081406247181453251628562833155404961071341331399515471660456463793092228154144041158256006363524115149853076323484629363435199674252735633462920199948599476823366303807539276929524113051269431533927176981121689353719137049083369189858587137594202311131910215518734390243774351200122741576658895900481673142967319323694145078133345787292767851833802409873785942325105919708936740852924581495711442859767607420769301721765654646552087141308350517478818009928417268955802897906804876975740233086195031313466791300857542715112201927012007787187244939871975760931491504771434194104165323433382844084904287830870286992807380946309271506050918959877972417068364757875132415065545151295441036637365567356665243711610291654729199506070493062332966243861536233183040554702379777950725324036912855603562694114795861924452563309164308416936086918426751019347042207465608055813286511046859163867234899237289188999506923061759434123628456630809288343916805788041333164974122607033834475222544214234926829830434958103084691463148570404935552908643422821225300510429409999413548023256431451167991455662226529643924223162535218509974924216902171016850460615861913589402629233303975003163261014702446845136118177754390528195499210033237388354134410890034169189398113057934011182967117530516790703491622059188897823696047132435600628288741933647148960836704148118489716447698784445882523561173989628732641323247946830993365057438940276124518668175961641093882154065170976888378030803164001517383407412086874394573500305307148769707775608764507078421513646837915195552342030226758039420637280666102476291142469748123508649875545626546386553494706108509080598009476851899586409794026804811827798640807573782752028332349963436625262065733794469864080535737004106346831432633618697423494935838414911336387597451737980543756055288741999774233890198087444115933512247664495785855569875924026695126537380040025173844216266920378391493140660671692834288860867903531790728646262907199088960131831087871182164129599069846379618526788693223016554980611951665099430467791425462704615204599270079632212554821167266527546921260725263444689715869946445386201509090977656848154332947286305434840663728220165767256552607582680690247462726083750895212557575949732995304993639121533937695989516454297233815612602470298187335608587209919080024583724836135099513072162901710602541126497473567454811297570528808177718821719109782993117206750040485833411855082304475388426109983977565789634537445162530865953024411998978156528221497716378265196783353353096559179232292872350631779534786732691866755013187223000658596025136363734491099576337370692711460146638874600912380877074020551856521862274162891858210206116391972588627573886094867651499831839547421477342870659774241199569230383920451613731135760479216741353102389472371890351856915551556267643093019912767359594347703472613019160222469302122267100425841905345858853179414908944222168153723388116835633008324777163391422231167181535067756989818966947141333485764164022066212071485391403706525736888190800364699893893512451583408548305192279796502707353079301345512297688080207467064931493688929964875170900680298127251970989253297060917734604651933654233249282089194392084989171035724999481385329336877597955270935495320537397911486345769841817860092807542871175551149527635326275479522279324354785059763160384930246724704676682939941239537900223753184039200195406050495212135845755964695088070984599527695060078404150655216107542110002899167012429028557415044690252862554410677863515146755070395311557539486943412498510829385580032118990136694535243615118595451915419962443761807210608920955902416492047025004250869636428710319123713268491660815283367156997512631662248151334442853866208387926593416588949509264052202942360601454805384018415216663717176089675859472856068629601382968857925376704636260142547786591364806976342165436740834901012533150126587555069391996720930999490510966540977204150843276474331948339610546373097241333392036298623995341364169798811573158971198135812709187513884706088465262507188566331303912026747977714209886369807916017952663465866958236187513298254163228774372178981424472438362094697786967636433334073430887306226522432354627467254983556009695211898873575966923455254089840497094066978304261424126220374114867658290018967738560110864212743065525195228834313744497474073862886183509184783245993732421875369299757316688446148246468449653287855818693886604410779201165630037206260627496590701924987553345475805728544294211101495671632695119361623530618224262529897604828117498806334005056755600608336451057484973018479569440512762303087621236856860651323878676808162376858965246921461981961470112059573724902241663789653426621561074389635819980325066351720441203561183097702442540582953274470667154476006070114537895350343679375130582355424979016146497434954866498111331445798651856794386860327412450119212782427129168736710074445880737384665592774838414016119275047442097356005877275801632431659975637868907265283402026277521287643872156183095313689410143746320857777470525982276434354403307962802345036243688958743172512907590672370062218137324462751171869270896504600850348688515813616817457465401930510736467167060666820964413309568693916611264591988864541600622333121525573260971044168229007046604489718903493300908346117752985505232967135048767116208608275799906941557051527514175652271866863638411782114953838802294942878664186161378422656854137985637285519214962451192480513616355930856931329380811273265153003283873670624254856508927518578786570317585388322849929013544842184217607494079580450⋅t93+5735623068658594482933929665853821360388195674343265031545225201162982098094293189863987753661002765179106381019743705661501651102068693903869584289012416785282924585411049202464367425245112612059653234814885450881943524130910613186698390031336156307421710937676971691042217891475563391259593045319058911871404056773176894045851946659879586970874417207173849833654414340247161370629108473088936144961400856100263368594249371093225398048795272837323010638698480806461146486046294749105702619858972369629743629187508336183382061973995593123469258480370623264248898176057755219785266745378925077059240542676212160401353103214304332664076883132122327119890125163779183953021242968343466989755880975673063636175547683213093174709329545169457700140595460694977223244855486625431969332651743880358988650435923848221595163941716296295571520397759165156768037397801822904602238838951952010924992759047615181694023568809271326255399567651050852796245744872296737103345477621171548124446292379522802641833724713682247576263027818470491594526294167770743659802835119429406631363818929488900317474439568526453324073050512798580462419111614848211001356746121685763841890407114864634155400556003653857329733871605713595186412758153282457883275344162767127875669663457800178104623841940988030279016554380391413097697757985694768215376554849894622677621936978331605186951276591605614295630961035352313482373773657188102388908971450875671688308527818826211165707161803632857099031333621352136778092282969854869991357760225304449433389062020034053055638473562935371801788461889616252342339924924543282811990419026903325731317786312343941110630947526188101444567782777850136269878166132337039015587403913969732358310827792240492490855413536706435153744631099863268810807454816796669761243785374582867704181107537137345523904387802472088289130433630394590662866911240221467450095832138800589715515686704448787363081060151841757904121747492581315887450134562877659510134688676511408426792591160758580737458169130097564545804397353547371125477886764582696561831133646003684171584368973645807059657773737341139766562486591973290574798267633498819372983432285573943722403158510639308510673857559235266175452467556962070145699779283850760881328502059523395213155268998356244138407848381155659925195644668449625644317137218856071907952316413063968177930893404170319485184597675574590388518022237330044956718608304888838274755078286702892103290826237367823399942930087620623695268010320049540532985525841556856215053177717759628918704971837343567933174762328258842598442904133897126128528609017875039738568791197223912891259609425356826030265092847430566453981507336467437951593030832619885081039940576010414075417048213237722425689362250505450873074142425607047968833603972528829838620813881331675387400587005273651622679272706490153203167682635098798009801026023536930961421499721455144514666299601766945017618699301882614806614761219193212315277111273443154468020581186152384348180062288373021413570305020425991319361805289754343667375817243671322734003654245079349342254475048424759066996512208835549610211222587123965044959510644304850134008136602395418989192373330815788640707181464775181945339808125530935890342082248485542407040939546863108364479664174590948933109319703534551819133571073393206431372516275715789504581432663439738306668953467747331918468152501663085868332373574606743413590922187195484813983260837813159654111402072846594641935313236321361149763867493167343078958833114239966044224332900935983520774549527577702108664825733997412350985915684449521484441792100361814711755777344749536007283148531874229492320608387252209892289727046912381961430624814052126609830647787368095747018142415764797961931172503656590145678433732716511078973089302113463799715642808364389447659487523476723986725099547446574850792974558933713438574482113041996936328692012567078302478468069180234506462953507485558900619063220469652537945185052325644134394884317658950348533483949812505260199963261661076858072111812566784632780909440160801610178177239096986520716938556195358318302740139474981190861941411838995418115488012088091253724811674423177729056572645966120659601651120494899153552894811733628128822663126934438592842514084753139256449997524996105633492889527701546239291361035107627281255922439012655968733266098647173101325567487659680533399607140602367136275036098446334111316215912231136937125893581424411653103997264821547053540740554979111437927803316069880556520258226262340802574496244476567890438945489238913522593146983117577234589303482167571430370475391242630860906822371750200495144872390579631466875473257542311482521255613972050938653670212748406906979543420050983175952686390739020515548378031638273182168199510995983823864788137476680852489851680617401233555467076516688031175898300797782120266394365838496730184973846295326877065097428953701010348535607723971645722048142870587400356227657130879070511531407332980373328075301904843187833996893282092362946734881728558762953893528760905891921812259357054693261591917047467930754889133032905558007314227719662517411475934069214164563122564762211536275890714329399483913846353576604827645442235231876144417161612510795830866483548434983877501826924384581347346340823754109980160765762345477572737005800300015265846936132661206608339991773877638146988146447162476458585307634688070795728023323071532265438122221570023990107401734449876120388179608200051820946764552436128320619495480520430423935783431944515068906538160685063151197146211001584266744296418186325270579395465538385835037206518472037624813082254344342090759960239772105908573174053510026674610192902053178557148115232825434297107615290610304481515166999351607981663079250800497994986213869450695554371320383277613078629951542612348573683011412977102785699896187586827512861273605916813393883301059505856077575603161689735650265180164560643078474815267898775426277617431615144593356035070209513808991567418545652010054193950342751049111722362336968311667396131380806944611582688528939122443857081284064320913957136975330073650⋅t91-15003632165621181113936061108492521256856142784767993013499145509631253600550349816517258346844970436518934431849369082507476285446234836815154926286702289345967240005098679385444146589635756455008243300870872271267000327689124001422585203069765785542121781396944476833574632622942421668799338267006376648262367875068549491192204996327351027205695527451360987858404223622439128366331892450964751594096643716055340193685998860448284656806202979230086506318167236297719839241892037911048201640686113685173978600544352267611941497547428028114351493066385237986258977665892213472678946436922367991124944458777166987659106219936652446455396503130363935994109855067450479548443943413011536451306803571370404031394907178061656215532916465888675813568545841984413201899389328907051097175611944197959054941259317336904916960732998516710140273648188710607836560544149172345801935055284021757175431380294515529382005511146512033172947167593464072266888159295918241555213734399795236127379720698351772173960412507916989279286765166233184005743002147323559299230358107294922436798117540605521029477005345356925693935021813272562787666082314838843487464860189959952986879032860358607227831866305451152217492673043299012551137325481576061684220501543121200483158657403369546127540643982455788793647134195976560372025471632687548967109223194122204560553199197925961867048469467941346053387411417837738323772436651879078013789695667811486596317255646099111339231724780748653041899990518720308578962762349126927808517026938544624901556272080863215193893378389025444254185197026618850412102733818169221296685288606646165710666506732213780864259588129499433259238807450507110427820125817183966659501562117370887531932324623048508645057600140652911919663643903003152867131532507582129380016240028054122931004675218532570555980515890664837633528234117670220741350334315662907587113183302108686980895658341761213068445001512267999056620729582525087304403139826916187820663669777900593452404901170007396155941593835137858584073228744781069868349883636162748635538772962797015301338889783266105836683062124568224574818446608831676007323449240621233561196087252677730414112015233283082416923377633319544770695452431762592506371242800122064042670220292896684470652093690512971937865444470095176117128576829507079231495082692457401696648885828987960016621315665161867903361271538206859391323824161808828904885316115339542000709590196814201578883024121349427962038953106212029205094123744753139556015420375674748646701851431958696049276393714666101740006252458018806844204987793928974166393417679407095671342234337040229608624767945507251242194609324999341604808381082060199354199286678848873551456353679294495256538579524288630925553632111647541152679152161431007698246552906111544299114349119676809878662789245997340294145007779399333423349284966034825098054493690708136672856071420662164689279662062434763978945335085454636544582249055169329084443331214073781297056403686381593936303140087878726204001409546678838839922507132412112067558779110042139145308363675170944842998362723822105149515041298387839077701112627985118235531236452380676885062983114421977051655447657330770907960189366347959495607277693213328454307586681824447231561521177325692728829727587353923220682919469590273571023204678857731836581726049298572821918351573288125180464640221188247016644392957323726609487725627839121618843141966195347828195896119481055235765152080204573827461467148533034136338526375904024885669536764887138126836893412774474560778384816801853563360443586941481318506636806847605554859133147242980607731787320216119617142306616705604306196645881982293342660989109900381916626400289723541335522553163367602312165391610728248572061617435269580608414597149492608871634851538926773465111796688322053653068544650517277375927702430106284143212121269353552618734247742349807806402201173161044753028568110668755384389826736382465335697913705126241158705326543820845911617474933341038096402831373730580899064109206598723540671949177229979742969332148937287793743725781778214925706143557706044534577253005645277516230719846000289099303768377305442631725765980959890688205712077100883789511593712271059523492077592193354775812084064864465815001942687687810240566459328308079420175467251083786376892789440870313275904480448400402037083557574125543303704338619706336228557127984400305418940014335254357852823077263667193602979871337304783719757731858706310369492108961580938588063575591291444379372919949273743150395133899976717052723704285450668894355697110259696716725917664320348104205673868676705028830667704762026629189103337396778747304995723800046743962245933437834306930545097682180249895160145717648960641573436482762778377730801763219438136036340005392723145909597082237638735915107740960005340110823159753112696096457287867684029698124958438417936211443157713637428849754819432481951393760017906002185907572013350970727702916355212650932733128920456180767002105607930604825051842372155244813760793336609495025341038545836949458605078933498191112725256885987150946156679077410423561453029109850211725730333806013063689472588958995122753015793099432618823036491787061261488935526558850389014646803560805682295763715870403714037032571507256330427508566981573663102927578230095198126429002223680990880052635587315548687787817361083072955242011830624054684693898876872476025006526684612782378420775107953850357461143178696817006680867966508023917909644352937196095439505646977398029271314638913499442949580741068323002439756533248986409651230524810089448821882078249923780513720884709518974498508113933630660687424209498765242032590401240052377986379857584257269791455618564388358369854065186583679579328452467075971971894975337241343821117061506791503792769049271484239418356661589982268464977723078083545777313229768375938128044554122671990216909787363288091571527178299165195077476224851075456305899832980061268262245102809360184981706186994212310507279011111683387244392050634776161828680461347049510990007129628833283592034605591718054011996547380698074649592010359751395487061250⋅t89+9966668759329331547874188139086161904963438903472631933538156105789662717018756301224650084533790361639937393387271849871470211551165189514731600686981968394741469303324392752917361834387564929663082526375966559210734024966226900001682990788875894773615216285388463902406145660636059807827372417073445228956245451601109481321367888372559245338012066536043275499662009226305242021097996692881714627868616715845724721306099367090771924424620286717470119716875274421181425179606891713646063054816090400360913387778289422948291826638133457688759351380227948405347362998519056384495159613217416343778199391612481922757836310266016763201244059973778529277835290341220720000598033644808859161833719471247801808019342986953442620520620897721245181277458878239521190534203836153220888769422764474992868150786332410294085040463071423314071381704113742675117742652757514890605585987177333344050079422503759982766124805809563148268793843590021064187311633589118764570194113944848542871945747371079592752001673429826795408772137412588093825239501259330314726416722161338108903045150508286426562753265249513311111205543066095986111100693537545442428284240282406942408479038549271357705064546116880628385140777370616095938987589426523023273638970369465274874431435207140513589411920245713025927980000154216492597201565465786816685652746290270947398668473123518161343323636102394956247803849349846764765939596457528193662917679897230839856732520125005525893618439036023661559251638002315541880722126376124824760517575147207304465805339214914411746767235973326824517989193585795344812446235003289144535964029711993549681988980862037635052010778219805874008217155422361207138344684851666430121154433661954452984722208118145161118686298960543236258562229312872520059781403467468493525098443634386558835698138626462630841584316331074028918819110217616140374798513822847400222480063648953702969650203064261222575854806531569035276224496700408315696759598609175193252971583841654053831760039102421040117878049464573581139156469622073441664117290659075327374462931273230597167402567931449135678711268217987497307798558740301760367125172447382340852633974844909787562512208693096060331200131891800991979238950143733125865034365417087485036590534576972969045981469817814918179757064637686530735836383636793949430589615428584092260150889648282930809331249566199870952180215825304018484755543070907663298401392646916672825135169294124306419205038991255938845328776369669068554511349348122315076353859259938052124968641475263360551543316154848971414472214481861624414546164918358765958269094601458909271875576547108898914820678199874360924628107282983422489209276208864501418311045562876494020468170404711539818522489515018155615975488788781886390998461438180402384340871904567652217162654951827904864009765575637307845076323764322333116731766788628938335732563826120175966890030191687837373891835535614344095427726771923386283509794514736322708613933203179532367133440219449154453708283785810777699728104127987620058145647902947567704369434307200590185055601543301605193346158630417124095532903446759613702186957560690504043582521800783927016550720283490358058673696799833752293137082780761314769562285555766492667581970947964679111506629818653281180026669324250300615750776769929803260831418854579880921914155141086956820622997123614515467260993375862413355672286437739228185467313195962606060818847316750265101899688682114801352025110062051855858997005475282117410022170402628401140213967305015663585577885819388429454367866578731207236849569647114187779289103844995464771634200881821282536086881820452800382388213336957209959933625650860913903380193948223109953648349738268574527732639138976703970020429478035331717172963549056694928187159722040508924398622008938960138727187048075111337210721442621879544738125952946889452188044311801045352951050808213492793817273018322268305407546681471412900083068896539905971482681950955487122996077856026152946937983674541553803204122680547535165846767946276647254057407122181936302050955863914112695004656455051970850733149038912582923021163516978221664040646107348291586638820647282248062176646380107373305120260260521646453220040595907633010991016687038677331431363594363086626518717616385480154659382468870286531148513635128642725728648118810439850574659683712530048378452506674318499296640737836161552283999277538004529412957939288080956887720630414231261008788264858630200017785235575194506387250196343407488000389216249359566718376550492178322811359591274979226266909545903430103991775395329140832848965009907107170480493866802972288402236665009273750674708953905746750288915917904917418235396716153339474793825303431245444781462130362594444169326499196274749978668545320267212372315163357400824236325216394508014622930891372466504028291875074331562562408365208319142533821684869232126303501798718280720981332611423185751141023958143070903732954435505652691618922146839060482895709584651938562777845234357094881763711860647556827201145599455523611297158440138374436069801482511075763902284575772719987645992238438403023996364793599672001209006748995365853004330043300140019252513356960840225198123319398176357280517211704862197136960225902043736211529536739279573981469145357150934425240602166010300880879127426162073145139309678437325035601274159896283801982620109452587752401983337825057021367333911046795518454357638582237774002111443336820053721102452537702623246093393694617279123049896414209455296152882438104674529728271200158826824915606797569632717733718532606101738712586423425817872219788623503554828407786972349359007899217487535997292838044804380493517384271495955986759314834857900161884488189266032821873675118496235696611297031987963759894748928033415056368953064786435086823176773488348430855172540229158982101133787634972407996192336041372623485319780905069729351230246417018425320872800364405128893771388047837829957991160579849771330677699924965214562497040792450247778811663542573570763406721441566713179677276943911319424278749133862502798136041375521770536803937550598986954879372040113065033840573813053373938750⋅t87-546046751502574107954953523307492278977304534183781796634247356115668670804573818450161811419553042802095584250935415319419948028478967552090412677090596378595451255563927141193117969457372175730951675018443914121958950853056414094621307311267616843595944263673908073690499731781350769344243215818803495629214732787879471803854993816852749195369611218022326312633405797658693392111477827109145283650295578278275453797985755166789010136544721146342270697557942751094937481708206298263089519472766093139219312779135762317054634486219887668728362430750624244989579552170080459988056055036289074815851561526896798842880278162374591898451458217878903181887814881150464802214397534453755796062539309453045776810123991200574353040260349594101227304461992082065642926264194063258584485985032737710909132552227277679494243646065178891018368786045854613927122152666375365885071316202670061142101265799539480027198340912994460704703621045440199495593733806945804313827669668392150641878346333524138136408576055772630891558499257168325981123782455649072919486056093062229223758953430365469379993234192908122718864734578405861310077430031853900871164442468809393841376616020744344611266703774863266390216350584693155290212553915687082403026441848804401215268828046412115959252891022755620398841287413555394126015497278841379859072710677962849569948631934043622442174993017224377795893721856480712920235731052546813772151944180076515237727734934214381288187786858301124495940812641613379597290305191488501771086459086558376745892334551301383055861570536029384919552870714603163192075570704328686366773570617153425845137347076546925043104897350748988619724793836158406954105656030354497103492054039693968523504523860732105441832507929842079227487821057414962997315166684084672501612908916779458076620873053283246012640758036512603290324505140444072681104387927066889182884800701394001578474643998409628326739991256511925467289624002889366612141383823607644955970323824680727364161366702172142500789592802176296858145319322497967315113997020749559368965176669277103426186494022665603263500533403618684646581406196075012176413970537791948319672003379801515943517555967117448380447107070668003701893525958415804498399545378475786613134677811176070289399063597351896759724242047091449249421737447514987722617077238842564805790531193044350475437596816703306552361537439468678542856183303937212295020230264722260002531896885264775101849433928383038158608090418525710116771658446397964122432295329458736237708628796943084657605043937150457970987879265468939464147094569960871803457092634158057848457024291537631610134160811631728509977864788107875846409513981519628274194009219895567664462999158258306024847402655472044238749197649770375400596808132768775950785908561492214304801293749092728480548910877052511022329609738808040564876601386363955031948990789938057384208344688373939451717970064403868695040230624750919712964748754389908860039535035711334161273598221487284884222572241088726749359718966695423002683224939560596156923680251783602746236853369503448592301941013981289749158263323819698329468962138394641057827673960100286158874056108338406166064563014032786329392311490872168195745805899926884647564540427577463453904451742566455790598006345985173592285234505702731588322577907522831613434063090121034115791410442840775852568523476912128555410328535278351713816539165609630685257906593674358238261041254829100713502311377307534713493310610351406011011845222678588253973318339920922728965819627345186470738952301062911196065440441342535733927074545936356754569420292989749657769673169823691580449663327790922355234752110290315111963952739322235687764023119670394218863094376337560327696307194487402796250955697266712324146465477954731772310454347089488594323658162906906135030560761128204410227760257043656128117749812861034630737882175465149528578425917659245134565650116008054623253870075052852835991478231563674929248146896897039386004678992599009585635122000574549543738955899433589108176713343558409869271383542951174777198793888844486361084781228401429527089193891361177906570965538057168833606047326048720022368543951329051359754123384679345762484005193350345844649301233837380343300228495855457928797890001375439803569038117639261880561341383953393934282403633217191404307749256835296636819585816169147051261372058353815261643538646315672651510486511152168915205456152719658413570493633882815755317590543650160017934224799892580057023473215051719872499107630783684073729020776541483828945856896863321688979128023546610809247345073339467764151558674852272130588394240028213398734962767076230665352275730038286732783266967291688473352002876655168336179250110370710280245085011608892805853126967058989138880061939816892718055457820475693818086897465382784003218033735369869443138614403477100286702524936262550416157745275151347623765179487227110249245067929780464926423495071929551965954853103469501431145216901820338086409418038989826552441844220010768531047353761371787705229005854504188441371091721186101584210922891675429043464622430502930837304039460082120201956467530051659415429382762296053948408880087106702082863183343562649588048498598254135524318421938809090279767601075871151080635467224000644533953499248205021137590166519004067580528477281057962252391941784622257002071965344194182222937694668138712755042373118392224004471730197103314124111629098941399845448313870764198516912163013749463635723995921698460196164551399738113703480885785058117497795864088302851580980041367736965432492294501970515429248772842531517601355662733248423489737819028548543450551005029731857857684756277987885068243351191627522362002691529119707906901536992672816635557584508268957018787301850763766436881085037238918625029125127118770581510974265315957243761674199097156906380122035415962049470752176044043711623034121346838933888644652196082653629101725709101615289958589860182287087863924534584995549971058179993268410076208338939680582926489868869101327271634390383815682304727551690998626484085871959751433708311855074040591123957541288014464175500325658967188377750⋅t85+1192664537125881382687655100675949857656280879607051883480714850134268321662276804465359183583916083357341120526013453474576591638196425992181777571754289166549736586434627597798236280406729796146745439762661049811840575919253597021372362759184841236848845065798342006437739207592049137383264528122672764969330914263333139520626282608065756842657721977731053570538343203665286369991889864312215563864961063878120319009032883162942199885407036283344736866287960622604814816342576772468711673641711493500743656673116343212575322458350228252917655927995145736775217958010189666280232372116592984285608571520154595999185290321302396626420624955415832309525785133272346689309943752971465144348736845843840073959561889693816324062104301266493189933942139202350410084844037547757968631034594028759441811847903273095802695388954383124009137466403596331829859741102727624352658740523159558901057515466206911769764030581406404500109696896965624396861743410456413857439926832951650559249130061781825638702119969218948954756592954437654527386834655222891357525687093243489345327574409941642934810037575338281824682300683342325969941859687894261613660403602014487242547708984366695623457957932218857112978054159336765409733585959744857566940366292492895066783687972113795431332121228269392036069540712578554098575629980461158986964424135429351833482764074748208395019582335122809232753606106008935493822378210818899837674237825509897073631931566510606960575850762801473655124859888838765474857777296232127140561042841391274724331001349860084127037477422750335911212882746233395384017749787424202231833517171628836105707804995741561633196259740267185390154298074997922003977774953814897749438752225109394507139719955787431999895219145842764023375940466217310941020731131847818842649099457271166718596419669037759366863059262892697809068393237878488452109840032688008309547816638125695399255072171804409808686017202059054981242815547047888707142614837170516027567082898074005661317902246129767195029221779897488837186452860568469656948163443449574442204732889165718495243358509628306292435712910170874556332508122368400925207798265414018090949214092876436535742364131741709134790457801096309088679288224086328186815895016213931858958233077567813513188562596193025766294387360344164877718396888857025759698788744822122571331303578448703711054978995707891396221828202920333863172302370885530599602943672545351161006631788680643998632551979462292327363020004480409470409889854104098443539974929719646053297017236195936829690823068130095453299408965290937851430233634851658210677192852001477357696927895738611984694972726180309552438394842548753549330710247445974779517857622489347556642904988698512544837980268561978615928389091533590424140671135883420431965786134655773433718273984109777261616124287055118502480619914795007149283455602250463963834304410124898941450905183626347032407899270988102164754715806038484290025934631950508616370400227922656479404028439360864844197669855038142391370182132334350888454924135283923318690721421682810289627620870203944058930217355634918021727309176386233244781375379260555365416047212590700962691891373293934547481225661554658395612012029810184871035750178284631366880561787199245679295331767565258504330565326136752175786126250424242405784331751899686388457586517156383660357772783939123043848842970372811318690489621825217363761513660483939730598891367400514898560612153294152215281627864595603893938604818712712636839400245506007489889922119412887424862761031093239390391872815667598243343187400233273393719721491993674438888746537749894265584193028296838454162028197129871896357162473667340173980357810953939667900965055356607638068211046665942647252027614012578514380462427104133004269492099529929276290625953272364398252814960765914103276831260942581826517258596284438368363587268083187443525641745296070382249957089636953483297176173458928764613804859080738088525143125980294992323711568364581081028858738689528493640791758952774281402567416504018526960402784691391352917377971469966125045747935925697383814819478211123118972616815471316265246674587591820293547261676160933796717197370529488990240069878807750299509582684264055103993767921564562239306509657139702766866299499233377380892370241970426962348579222312314659599949470908686089625838330150593327687488067865203973533169680956472126610597650034549823453540194042231999832015364866466663478757102694232486381888835452868138050865447671557656553526573318804190483655113632451152773389105613260090060412216133601872186519413649058328862139778455284461570449114228937403975030702907592843193109665328364956245696564212179518750975205390981169203768095878607439175523846017093423956316146234241669942458698953109952579411875698812622972794334273013111192378657720639535263070989007015592950199840892181335834421514480029149675153767943444614921466467723868429409771679823932315641739477916160749456312946643893417147810831170381103602645212274107964167038594782223407732355329284591892028407869975997064119025196277343216426956688898228857883988544822811697044146531975333836359854157411648981787545963201856854904693928861170842112212199672922138263205895904910362334768522772821883357269765324557909265231257893830048941943598911645727122820152299703755963176123850317685107521566152368690631839699173702325914506180633736729245983071534097374025878266775698464366956373651863988055447655990703432413198764668788803352699024790207584682020691680952940248420582255605716497781279453447306388641865493707219084469501501388854325613343501880599371505820714981516258346424973142186966311035705945852954549604717805536815692117926700171296477363931731494001518761321582094377184929642122755957983412913974606243349550548908600616105099571886178377237569032057147017376444137021148739505445487635671519396248839328742001571462252349444821233811237644275585182859711803689804380782614418179804990820750262327491881686234108554537024170321682518311830906428240269654687099977074069425490796843009053625003576137329071497982335648979845159961589169507024694625232681510852254927464321663700250⋅t83-2876221667417997585120101745272534052313227767133033042905420235314240767364048337582650720600450710293325944150468260997633906728904629288408536373539474664308467818827650601271973253615216567761880014032583639127269359750930262835302307139160768846694822030456961326379899327078965128785801932179537672391949199144857124817272835003347635987641902811547831777195081772171528598230336389082031810968758513440349256076069422560738566337146314894717648623762152034401409775908246544415683562442586425029081020036730567356467866766163426647139229350992856071604327060321753220098957185430962443167668554340646311161141614849688137599532550303516853701137824796366814478854498325939966545853923536563848424735093150656471860293958465071237589828639291225848040595092523857925959287259339183144405270796817085405834699741881513005272484414449510603355426414489616142934486595753949621777514650067644936768285569705563223094999338935302319916405677977549870202841846889275509278562258512800687095680318087832683661006269603198958736903281629871776964338738563400773409681392485666928640999563048624033817326818696957416303137435068556518081653350972587357178319207236490798406676289411911629470199448675680680635277535804349104941119720044258727478981323873431709737851861163182754378826922637603291612308661933892828454290616542817651813137094987196991991107655332627406155753774990201073122530620021327460863270344726352151098901555226806317560253651279825749997984877224219736231102384537935075138648373306508962059168659366006444961726457835957774998105441173621925483787861086939428871791105620977816717497633300847316790417570414058943707112546924004263871572364349750455944439494946424137381549416662540382435591439676428560660380409379929445344774413469243998502929158068746354115501596384623739205465635561444471010950617385399627223419136029162199822990450885871993802180172092847057304879071607667165810736554878314525429541056557804053613479689145367652997527360195765218388850297804786293561374906667930495544369831932522886828504176482087343070385748617848343238966582440605560812025969986543129624851162992872495632679962110882382672402028051870234280356701625417400167015585438362701341106054073864687576075739161661412917269473183928928789174160299698051363955518697878728610144600913918708982813146170354397563810499517310801835603744627420984729426574650789862633922715982367394078451318111850780618087248097367752704024950157143574034894745511229817729406554668403751094941031421257081843619935014121194727196580898860521010981936889891475787267992072556126886394783458528660699394968475487774164963490260955141643130143526824620032309055553868792788867131683199795753665371883989573418063969248581187576749501387005330810808088210784726852322427948473367909777500113378153628219365297519267364799375069327172244118351799455215662267908885464150984201918391512504435758765603078125312014379790322439453645785421938098053256306724565929984295421618115332319935961033182781536035393156552251996766764326534558265312619069807851192865337301199830509757393968807062465571913206044784418013940248005633853641896944854928085344263894588469300013505270538390003201633883465158891926699244846390124479854546119985567954425699397561500967401832995699236613351128372997867118628961694309675383068066086791204386440424239424630383059468347420241614492358122537593892196745892880184555773161950465235695509716641606208810647103659605414141455204875198523584653921453421863957261534123924930899501325646495385174722499044879786454992270585782771332604005384654799253839256310902272252786566929782338438222899401530251111714106194982399279896845021521495486541752840020114188023370217633801629085031932771846672241712032159146587448721637694399431937100979106278643657970598999289141709412046155923383608622317851110691201530927205001390201332393714457950846194590145052058077804788535116471458869421747594984467351730780752155360093246287486905497590652988529993698768754904568011480977379129041114416303771550464079938375974449521929336719308720259572025544736762347706938124539498192958746718463431431160627542457144926995585219378468685161149631954245476813300313930635665747763249055197080013324697313225577071539965272754408051068461848090931330491783928835343828221611484182876486141609918290851070866625398807097119473286842641593086539543747772679706379224852956740189127615772449955123808140012123469425628419230836472014176996002919831420752647738366573293743860627097917883493166773184099268084990936554881915548738725770237591690477602682418887283434160091249640368222486348678029815145395398491176206212596381185265169543872185943355632280099365388376824623580967979636115711224078156708625374902481190765964817197743710788975297745122115898924757715642334867765472814524456274636256216736884122116089356721924140151867519699335407320236154301010055727703857088434431864313796065567296877736849146831927832492487121106116376776874519174520342426424017840783397917621677245145339028990561340205525520223078234488169477222898001222523160019436536287177192678636506134073476651267452758010389293369677770640716081892570639533730385330278832406277817224708006086605812402727443536320832865745101773221767949759380311605684924537313333122583059254296403594320001432472285416835796202387366431856334785675608337206951093189312515222400556857367370676465193014089347716047414167692141971969379830695658725662604153358485446969308530233129125858413083675302055827294884240247101369984061001918275035440674995297242184100244942024749129653811960371027756204427512896059844468387363836951564236121584357127861433369134725891233809486827525554916456686641362518898989663523727534079998024563684823416410959478002401837095555129301060549567257677109420596777308338425050438739760743560771488039164140503241751538382534315235245989323355022401196713961786034551957402393861940457390943272684834119853450479445232973935970384284370495021556507549610453544580546395733915635659013810695034822008506684994814214778209781138803367118477989873239980493136845331947544689762366480735414260750⋅t81+3349958422216227696280170971524642673625198043249622285029919153055146666703380896872594894357321770068160353170469780435903926286937887712737597585679427467073920968351883877263724462493147300283555784525856702009626358807700196868210674713213119774648110289889028185197168751921455991420357436255158084948949736835445268618585270743240636790214604373338938060518131227542913192832294085880620878729520831540171646127206614586770373084954410817341394543776022972695915259120623947506425282190389893305876215010923938499986934908374753011664461931542614868071785713014028317975009382703174073280261104414673297478411369171328080325923104383828191766894907620058892651190163471395652999996928547348635096070658813457994141388434791583649731671497400493103680121177776094483961471891875715829554041174097363794108854500412797439225399471553441412967439054773129628687145067527679912813246989545644072858026461038976741897286901541819333877501402732517598001948887762052481065857784319712958939065154691266434432795073852359162238696809965140977224547981473533681293462458406449784793651421620697223478582521095537275157319540196647836230985785709304915785449797551249897702374082071086987913430680223535128800765172059830420114148193877249134494271842675181645232310305417920445439796314234708006899699091481478773563106661745543593046968804990948375560732936105825680885161020553662468076754291525049698820915954553554278831718211560806524505784454692166667396735769992850799104658712224300059510161879011433477596954941164591591373126859895996429580594925335882448516267744066710670769322964224261533434080064474912877431020678977213696721912586065783507542947460882114955389254996998087680004991855845636510370254988147730825263175081994502412218129492728405469782484593824770058055900929340643652879072616095361767127760871286770406426481596360776243202232010799817754504516771190013471273079298514306851778981249029110557767011337134922249808959739862283089276908181429726605174117569280173333112153851911892423191202447153807627211400955271146050835364987552782991668805966340157940943031314092708023517087017761636691621568803869267866989273658113889917312847116467944750014243118824555281352394586289355248609348337474146913029515203050138035812640001269217503691105978647273145496121566231255457841962335766610537767284999338900003033555970837360469092508395535126163495624594426203573433204846049784904597978922613106346889078570207032787455427352326898937559390676623230080246734234633969252271139191942751024757235478992880643602550843528786945715929850000376484398181365044175505568936681955897609544128573539736928295203430538596395699575212702303094101696803894625725196553018276467952289324374254692847325790638134768184746493405402002102354371275663437883221141151311176238642687738249480331296807047292548570360739893830350945245596802279025959682945115823524717110220508704911044451254549335331779092967660249583985134049186447530077521358687207266391618038315653255424943498221193700202111196542114883695610584516537436018120910950318091081917797232336074871425295802377904931720442736761020282732419016320018254640121391967988875407610506550056211119151552792433480602062584449133750499210372729454868193000457896464207817327969189889002914129757475297260903965552535046421740192560788012052093734127423605756120945735783842148498817183028793689430733037715421758046889509549983545975639312322212571179011273163845274908625858605774364471283938557151904909604019271844050103591486258142938550261809740412036766696430671251234104644096312942611557577638112039310787602042601484960944434142538106209742171789181341504566463650749969835437925310972750127409755381191334555552393790106240487394345636037230335597186094912629994281783724489493974866545142174115740514655233729064842385622841050181824157788685232742499694425674247646210951512106160404376220350248167735322439531488657551669547583567466665589428664795349645224449431149166331466699437046943902846128715485568274028877584940491907329201975078770112347608018135728308864729325892432389197329738637864990401656623584992158454764244112904358091715289592858831398557312303157571497809056254450652256358297887665175791770583806462478196914404879696883157285887904768203996324101695288515205485141756687481569828695095778680810371062769370313318421442102944544118681172646971678717669749657593924053684018991726893649638228235046947905879882671429783326955688926875843061416118239065034153107788047465772404142490173494185884994288145021220604229117729041138281998565231969881637300973160332465567644256075578587905879108844460345516768268220460013109244874853607228778010182527481655848192213362759942436769470123516119943677906003683306827703377521492936340905699732653019406384226210978507492086532410866254315044361293198584265117388799226303338010133207973655747054177672550314534835989877027936370687890699454192191091800138985702371836213484998758856253736466442736784141799642366076815648652779947990046513463895489429060422249999679877308192943726762196453105530592923732609426720099280938449138705475025636175864714587635038807284293718760747299717896760173859236885185233717044741353983382952003819015322810115115603939886374360012557455633299451128757188400596966564452783738333755743245200694749058427165361158157872719450322371052670043545371280196816569882864270075823174778085618611833333642282995871330688856405149217887394481946363014378865441780114637163067626041330345582521497076238018856519844164442269585930363392188727372719162459288618796882003327882098800779948461759147343754589024567167871460921508654518968413207012795184030342057248397601111349894134481493021060821666009986809007854028799041913387139356959315346831164890991344237711014366540119973398068989436994544136149462788783960626974171698994608144072249496115529142889094304821827185864580406271466226757699340161023041121834607487252144548128923482530937992358945636377919690085454906161561069969121565001930949083294621698187091888674125742222484894167431743852319633052461825088521390539171369985994559174534747743156675916463750⋅t79-25767658229173882979377754813758164622597935552304386428411668996448590778709136440962287411392539848854963056466289416699069214485829647499466565839158789420042663556443924212878054525963057189717228172771853566946773065060065801863752417787588014065378853890468258864323342619253267109627183707349509973290747372046094515537979870973608808898231757695455444235266191879435747766899031203512379859015287917116199026606603465248858875505265517003415308625856530563558522369807860821619900271242065192653284498724979145625015504453701799279234502191721466147859711700128305940967458925423888827814905468787426259242429401166787593970467258202505482888935773542336781744699189588389042846226221965570857842148665139807782442675796214127596820336864143435872105939238074585800038040540691946726402374977189291725044490917115350248494289262865358296385018838628095585839055448135284376182806546093546329054916614054549592299986352453222490016913239660231819212688490710544413569285585411648948028847900877076803552188724676422955537278981747912286314054636173685062711305977800136358953766754522208314468696815771182240678776164560471482741747385598293895086011086579138414196394401789695720221620738782314783028532129495477448464808262432565790897369659346786567266677437754691188331969389616686364072586356745113390627641976058050138049560772448713435120141145684205124042850018722628227624877249335078497647777807921438054666542300383588536668557339187780576864431279878696476549004537272299271026555051993164685793703509356379996723760394018796287841654815833065630383511275842739564247608180029190383790406511451945975205283163822533562230033773008676832302328522413956274529438923483633914129191417584224117039314989298230896069517669147415810515529505107566769259546616949775617460746307016512462771250852659901411749838879410403618478034466783208733270798447005389620941862669153572897432352154804469780452188985088396331908114875918938888954424409421596480505095516440050867152410954999562636289696909327259033633688990087681675807404710835167963067230369438101553148938003024465341308189161503874283401556646708498252869867350303120779372087280965784047043867420255750350885891041461178402121424320036643124297855305762505549167167978452347014955769987743260760091691803860864280760103347893321135057955136326506689812358776288644160635392890064841303968522978322353991011546302287538185880290614239873858108742703635593647930633125964600615090396026413388373280849766926930743473816150404010956955866642288149523526619590520866282534517164943372075222973693768940985437694127632866881225482070183680274959262382355920052260296430320902379733330053085059782028546471435649847633737438724852935753193379886171933971464746063771474686560314303565489678620611300969168332980552754395024217602769773609300231284879524487144827991763213959949937735745333860294924562885828338313041461319895378047361180190054264318058451795588586520196630258416832101257703075457760696507267325672826733284510444882081812777780250033844124040790544943691709731000367732701065027969166976698151401649123908640778979759668644310461900399843177633703431847268277123116388061606557395882007953047085593268553088506295018806100521896693213059905440510919658435351640753729552718260814223790778923743377292917606800507002415448938129509123889413599311795409424261921639358324764604649321696165452639850059668336699884910944629267029143161839764082089632870936199506279419086093236354020358353200514245802946167262510467359779231512836156988527860955718496005754308468091642462434452256931788260443131848750738925153178790001246799827135779213330862572935620562785835151817471283924126894754074676948657162714672895274065082944425255545869466401772313780204177193780969551485001510464868601471996889072519149279793490835813810314462169248272845406951772790682681262358785876583032513548208348610306921455120561626183242750055357328385951145904439643555418532664189348214029766589532568726300937737333397253865886005781651586794447123059632136596961900475732011106166189929727891082220207510164270844143062005543819724608227856859755926461031560185674814665603441532958871278561952251977797057832683946450520358642749556059139248018399447757823951917098171866666479572616533357293424730823315544738297908076768944794490464929990757136134727553981843793087269086223138956187033529103727843181516734604889688851246639827587089660549737481921915751446972627467354734228871186133065736711582019789049959081296540139664450630215733828747661381496072795482956662857883735312446850297813579422673724465925759877045110262308028822830424698454738752054785905218742334071017688328236247953790700032201454589262285411409135054166025321104893821248310024594642835293103885609861545290438358072838056219257832167621918455327435756314899191917483470093130700341022885977316934950567146292851708246708400354192152691336189791056518617900324246701695232747938130493132702525547387675604738419056817189004924533495972150290030797255353540786034453555585206538073064407560371815870233990265356533778057066304101877681015328140196058684080288881407550895020162948064413277916199616873591476001053317514631562426643250504581800994653666861772639973945722992281434890227932555518088146289231209397122215191454913201856764080981809675982228795743823935954678571237460234051860248377245059752125439879955489356033312266002226411644374744957387147108856415632754657447548931391384806990083869570359577097032845953189267427062932236892040165388002235270321975980536120950551802637677753979298542356002206974094658957785495876183974064057885425509314476437275333797236381643284578751354898081359917422733348804114326080622164911600095311959329681071479139979608180327056999611023175598377910027191913239338345191100985355524820567741696053923623761612902660994337567913373506983594295107571920691065881922052195027934773289620941978699724947815124890480904463032572265918676834361974236369148338276481096336522172408727033472844902061317334580523558671184200887415950547494867586753734770343902514052879081780332633743132412659349294748750⋅t77+2111720014048294153214476060065991007719515316751609910006551161379665395983967722510384061058367652895421618181004007152823220148917003197087928779968848979024139668248530814538660753678074096059761324418635347778630944806686963645812778258729613285668736183791309880148720869133200693743217027143520821256956879096224166140937777032363472679599174576998755111761545042214134204044398494201668428848344834107279833235334054794293612862173193106992153507317291684291974601902504512947001785021711182742370584867047305109846358625992427014151517172473248996628907912482056021926494929753460543679095308736228793424083022102740737947457193944642792021501113500555005092735884502591541654011688135348275598432194302477349460574706146320490010515655323824833952493837203100798157432976039376529190342424148572193165070305877255070092618033698593631202338163153698340691944883047636014464633270409443975509071418889117832536673440413723703114099941711400193674450482230900833334437276572651853642991239435447289563373958351200472112050351570862441074364666724774751152477059733350882688000421734547578061669331931131495733469281446591843223641668221989465285232797301385465121694215710320902238283470269065397392349282964229295921455825426017917849648730737490341498735987014431767113891440003799270246851674251379064832940401762599670361596400777459605279716849076169006645520233583154329634838249087651145469955646062242615709211139665388266911804801006663634185441809119205313066745793311569131289940245606423881999963179996957348199752185225534914917571464474753269599895964491954832478615515803019557884482700815405770262518920320527706449384309574697388585469201888971184566088861249862831038544668402581125449887564849478969183294355602094927437404224140404437397277732989274971130793292175846218656755963562123092853095079066862701757313747245442160408036084703648825114659393600925108572044620352160457296208723133490828329532478569166315599136117395905770172002914769054136481450087743504823676944184020239634858567109523112837171212318993284632043684406616819666332665887028701169309715704462476065258898928412247710171388642265222344073233257353128654034418991670249624867616493173282027116288101423305774542114205819351118136657946731067155067503479895690457343394520309524179665100479693784935983437675796818324266636379085481741068442747620566339421771316895050124998341464831691391625059414691651306636820361407292267189381201101839587109860071121449954112958026095829690373441283413194997015736925455059680766989093827842123714784332581116123280059335689944354478800678094505710910735989529609128838648635092075572603095894382925563869761266300625309680719836884198174936958025673035266238529587282745101243631520083827565942199659891260200298805608070164518460631273599620870099070752284787382373016674444477607303054116215414324218117959720362168137069188769037657651928124809849969445409361824459797538340104655638685606301263712797975379676012331956083106219620017853739478577037650109338813373133505776353120092622511436925957019033312274141273830247458139322646072538168669707487504086784009483298371973302961817723614360782316606575555348965297084910556147165134878056316187269282229560593315238001177094369238719175048630517304773688197597176481161632811921154531675139615768571244902394455012671934814828931892043770722246521843794873914735720898729074489443464560808565304664199809654412926569122767743495348307391978582139340178903416868904899054745275098146234362199716769037827553599831906957544511566743896962104451681898344585378756240924815387434510542939045614525056863252603150830371859761308213717057040848049207421803833796179130714904385668965152899906022193218471339018769752801542644942501677550545097180568730444036067214756039329266526738904165510363562684275931349385216026884196582598954128303125874699326459337482947747302722259269566999443072309082822013651639865608462039125412936052902106150377867366475532215157653039764906971855801991636689901162753928393679376996476443758551843136034660842388866090875650044173171274982676731378567153078077507220808258712846561212388229431219037851418263496386288316874076486922720157376045851984428440710744391897303909018610993919531870487051046361701463202600626998303140768386746003597641325918926847441238987585909742165179004257510151474734370727019813106679603199959777036667328953745984217348565483020222581732686097339698780289351841086691983778064034431808715288809565358592428897567993167016516228323116541903707911758698577027348602551293705383749688778164050074335333701937301109138243588974209650900652364997412570797821519213623329255240631106639991643167117189554526122487225703741705468184973301674532324574510474586364399105171513364310121967543488027345676829318311140734161292282870800535580434958301469229956258221576605468352266518798855940926453687822810747811456178418366304212303582143689731878118280248075423708026445780027394760640553569346521282664546780477249472611300173415077052281175415312236766392633095078129063177713402527713416448625994408976756604389041124373512227139864945881149383803891955425092959046270996281301959272599025636108752308022002657941017583495149861728598074492588145334425086522855966052349559184531445349775027004363355667441123301125443522711020031623034950941416331133297544062198680299849485560700285665090967937108885697680413322784815459430308480967011330353553818539605557186933504813557683201058178879188021426875930653420547921254640791481774990372892737578194341577572601596590206362810072761852610162810140045140306544545634429039549490814812328909815670638119905759714531369913844486451051802842633385520394010720267347514556734332701738126565740737407468762243648104105262790414457497888625429346144535064481981075855192223523523396731196092764758900942603177311556319600618116612674996924519894095173871199071808245673305426174472758940290343822978391178195900994326680534159431149361739104515066079880379213835989676598660816362860152826672416699523743771315779644966809878934977890595369767342759594442519896338765958597486935961034231250⋅t75-729700930099519755190887435138999232648529103296054141076719057030122358919710833836792612570179024896620290277862745461550396290419013242463095632044454928286280846038657429662277831264336167000945528843420482123403055373644036577058880907589382759653201604497072320803545182813594875914668134127341693264127958530923873837886678320449417434270293156529505655723637144371858874324553504144392737866079076420554869837903916364021794368227056557540739605238311160736433623346284352410243725133821086963924680084521860990963311909962392823407120388633436350837618124005088891405378468141132673160148564562631744508830969799392979751244637219636320831704574585331257903189441854316642851682975602496808737298156034364460482994095172689376095229335414899900778623013367930179440600426961702955455270013263138436987913206720890438243872277010394110551573457369176333415283899316048627695243073458679590874421945799365893342236631573962939716742697667130591149353900459604601039700008718136420691789270798431404530570950740626180037933426346504535587299865655572038422712387323166932386686638520304166831576896549734052278653938856271060279806175101710536516579682919782934796730844237155341221567796100736001949237194829052447887265402727733083149117743933204468731190450875318244476139278410098130674080917628900226401604482998624784573681071696278367966382350293229013379739232875121470389633081016627978573010643691773986723054463389713131965257301510412466888865513963068549224668089529439807470567281918867880811011755256126341741377467466755116709192749182866433548694182478677461545042273194559394644154171550266435350980497200093149337944269047029795551763451440849488258176699966527537569121390633252977636323757000395655905336501176744506100042967568751356538124410190603020096150926534576956181408656473718186643822169477097915350985000630153393515247610820719436689294806297651300671706256891559701268564617467789844342582811256522636713395222501787695713953302714512598835416283094870472642577767598752757486502029239069053681094395921021454916678348547852931826445167073463591743464706457514747444060148907082572630733432247281002406973069356828412047928184487322779160197441543211688496375789047947087003538253263811331624687228451401918474550262663027518532512611592026409895036805238448132647568142729479987787625690243657265320619262169161664733426848950588235278382602851675609398806699744788821044528603015386426766170761459759250192921192670045084318841322459172738444250457942326073609025204007842002874105145345758068069130082992043058785208410348457117928157134505578781039121985090218007158169921627047182213730934712340200820217693744013152536878034632393484730979023488112637628811692267563798183319194487222591898787979333163580435478190630061865580502325256163544263068095624936244961889139170827847054559353986455754173119913605236607907533044386497659090760734327687105585211158130406074559681410325005661240731992690633478767797260216850819179591786243589524995669378542962825220280129804786807275250638534855432178370316954429524584760105554237888117939768945509161343334257027670655077256918963257778493465764449429292385340744524453999089142304434355122119041575942933977241321398813864052047574397421628110041790787392407427569551904788795595217063083792298470089262318907379214336261467227541618352542353381922540521269624479519838393317767008146345894763724622791909274465844634944788124882166675818675414910346386686930148648044238408381261645202624714934232910464051463953013279270721014351269489102001842861736106441948517365460753493136126685993880712666131224868783683357470606576161300077162206994393159880171866163556857002194967330467188906015196951676226577066656116445165930611388710855382704778071186105019442836729092089611298185325199474042585184955876537659946112231837407068600046534478939249864932272593214696687652476706032636245718450925549709431114844901965411874061062367333391024631424593941582305132597426115766075923806516449526447516465864767346125543151071812073479570069203625092585375176638821586300826641233152863225246927996377025567707550961255108321650035796951069422949216818961435249703384441119180482750865815379328260902133064281649495552945667412467062974654109243396728186936394642918733802127215255579798843127629502187182994314257948851338059144995004895175109846648646053865858563683194969704267207864732303188054288200198587387681294913377254754515011734990084453091130010308053488698796761119232325037016800253301033730554828522142950476418122574283845027384762425501438031817871684188389090165241348992359858074387625339155618052928037971130595287116386980541401928462539721744978187284457553350807653116372551837853508503660794503542139574726017873703032203797331238760392779397496169956215268889320029338909224818335287578666094160993907543862322223448959196143116848590236918812329638915973425238774890220315848657812637012511470652679335507873587637115750481517328149555051772609381439285552208414672811445704856447086953597175879180279577793190768536315752320409558589713324239120054501888823885785815222938254218029520389377601899367520381818944210616606503286408760908429778652167301172932129729823947685535496807908966366655980941440973706379372109565161303097898691767704593823935138577444938212986650199481069614244779833437197493289528839891246000460415892836691356154643645639475080396971312718221305859928005711576931800945381676573188280311647504647010714889990695831536714014364516589838167053583569385503128768436147565400640961900811971770269074771642544744740464746286289340615392664561633281225919505084124481373036378507401319162374509072072582225132693751477427932440387891749975409357627467301901827669034056453136156290176737878729142168306858951975591706301416392018334923875223754229880552382738766937973462289794793267819678076870201778497100930358645082031621471210910031561231172075655224598221468400903308630410398922901926137137108705957147292471147897320418743710716558999912592680488415146150401826059525066287874060605994104069856440281997454611794448193058104981871222483573150⋅t73+2065489544666973532628368828299958096779177685035385407499198923390000124600248124782290517916916428829284525866266156715526521606807047950736868439758511592644396938571893330219210621077916976739339281385276945177257522166039192739192369507012720900513736293599941198168948238122151261979539121265354877690415030025336708903555338046588860412654325658400653322450925743994458849616388931009623928642995602721130287517999657306829604296583583906804298167213808836343471220848824242198627089078966167638503709445250004903409713091639758608594865419686664651762099118137807081324784296154201697520964723905160868528607319984761270148176420221626852801181876315955251430259828205043891226942382402871944128174037182126110561292946551313667037303931264927202892365398719947884819520681889270659742332410058910648935729590663503851193158246289212959803448883779276918553442754774891462745928058223838011657802594790787130283168941933068380285442059578654752366492397559643526183942371655723796964705354845435628842123959587573710692854036251639069935322056261778040684149245344423489905268011867223404650403703272024169072833752964374085057802607154546246476361113527379261108037401015244970623914092600229567752582352362872800373191732828979120470536256719785372749206405122349625752429360894441689180896597413026378029115239633804543827049836332880888154138818254789807381805076084648875017241332439498029646877646487384314664338391203218081460972059073425225526926946901549647045028217569811941489055751696398717043342884045744283739585868218155925226255064633852892619753504547434421406759270883063676076884053095987643436416824631860266408774323043301264957884991488350360726309774469462202013278948345753216634493393376257981523372619657732168398927249525100312347084024536064530397015138947502119654049612459568137935352783797667635386057917626836070923842668749750206339364447747501993253551047448539966313701485859908820285744855512980104508852047053890755787216468618589262755938296117755468558473967415948009558741800548432869269343528070949998936798183506846284755515925769996131326595162785183156404174244090317975689878762316187928708594108521935433003350347292557102301957526001449662848651700942727262132280278428059189593896302973621655653176647909287724932547470461439303136529615728206651056194575219007463908805840426926545140222264435964162157970081187211186401025142204375930762278715414106447846456751228808978528072749695601615222645501643033520723626566680644614747276973914823488240180288987345631684744754720443851723344584240726365835911284110788509307614861707804198254695206512807834974700754620360336199760495519471230518441271172809732438545863460287154590679742673587290793607689908409049762213766686918608561185499650504334968738113117929006609369407052700330559525520542213143050054788849264408504120090377778958807842993790942435571731692481545288612911348477398109368764666608642959112947262754881140092233770661458925975727534694953160639130554125374012858320482608708252698701879427468574082900825007737397799833517144328229174601528218009183568475051369211594238837690402697548526603345646977199101610967577272402437860153807596545323562336866000657671374629966486917472884957797301425189754454960188583379634425245198592503669467613082538722655487286922358660071676892392869996156659217119528106905502265391954094379773713513322673505156397497831699048863600048352637682407597560840465879403870052949222651906503778502728427421740016283528923184684608809936477525384081751901576960207429270440729808075791670349728784377424709707849884138373040127133277803961490488715168223103670807710744789272612925979529276965210647092995046004457198707640975241274292901225798140492931731704471025702108177341161612859970506152115834214309239941933106174899687714719404865865108966504361096318269475464781787667610862514320169766831784458654705509721088272770732234961750819015602603102432862865787801185069690442693263833171194414738152062539528835952970855082637917636243631815470961614710599935497555461025253315277627991679559105523914415910523651887482864327596043749795574516524677932976709647018916029805041965489405128812337362031446005909144680963009346784475775238173958709078255974382021923378095554845836208263132025808518927537297686468539660922443269805665510087480832774106536432940649759125894402981817791391873640054521101083588559176918759442875373241415080272497769339640637547302606065459040793786754273501598644320255850590351191403165485649092480357558774865904747533859910352055342811184765959926502446824713364404731636597264940324978427191543797977929051525345013390770723998081935976376989368789325310663611533612821276620910597184538416658004768018945837036614607417201505713406302654640451463379753356997085023253200905922839997869156814734243533707968207296628846163410293399568837988796668794871427519616447663054215064921051287105257239872829947192793902438887797168416828565345621396979434960911998677198674149048186460215729168621099217226264886776708513109015391237762794716883813215964664126896105290715984692744679016259801507708924043018009909450781738048517717513091787384714504828478209216113302940521006318862906527954565489638168187177836767746353577072370892673489708849194785947853650931891403556757010067737384676611983219893340006377819745858319920579912824553907365625993562707501197322935412645805544476731664914631579155860149707575877420252496619726142195132495150267674263466552546632668193448380304693611024973783275446836126576495626898103862617223010001879889830798342992538195641151926352443164826299819327046863798192468526693003837672786831684911383525770468355644809260699088880867365029967890427571851737063191265496834501186240089058586022161066935269183355957415236205773082830764848051745337958410789839301874792455231657942402315604271243107017622717201293467231636895168483258993546363406819387194872529009113237061981196828939384544580386252302709078351911302440384846425540279923242763501190203665450834793821183806284472331239389399030161891521474874417904482549914203679301540863411610067151542648250⋅t71-2634063855590769482891815099272630420841049359330702878252396237408710200821846274389882014614614271191689245595413775893372610558564361480025016449931827827468544583899877783839954707370900880665921874021245731746905634482711242077154825113284699196851959546526552605633356851647609371254905642152567188569530577430999058799451703372660051619903148181298506748304509510203144394506184323375031826027224724013922125321960923516223325035393577938583506314073520093467322747512437815008108213947521078481033177599954287979505110960082938945900367926911011078898395981555179486999741570736282513638420789343298901222940699351284247563399870990241783324600346907475178602724177813438842123118182974090952396697212697689680220447027420029638324152356659388383428184343113349190701803612151635868504600224329222520686859536058111446409473300318767734748314014044748550486135574267188144600793035971541447835024409571365129824745076111461863616415821229515958279563521879085489368392817358462249310176737430304040857700197022882170753424233495468871478784842735981042997366164379484280922897610676617344345391917292201240364529921623652744211763952042087488909847106644638220855530852863175426089956148332541435461333343747552485759325990278627433349823354894633606871514214629877026334353939189380425178676742413395942554791981314225613837439698890075896929015124881896772381731544907310997228507503028135174380108838287862825047719849437823624057653794587383037748946533250054692197908382652176629935101142289097502805231392277598437394054158172118275619662220044423051308750925282444803101236910784947218286322999156467920450110957175851611513668754308943950240659288911060801172036163336777950842523682840369852799347481035080425241463500564363779887098919561618491273006410543548981826627283420605108094923362597931313823731446469017623998750699268355275952208391457901942832934213364413986393691859044320494030524470415921774622412382334296781516364147804896315064750019605801836597604086192376347807776883903146410317887057023246889798046472904537990744539454247621047970940571710030009793639770598066214163277101831442767296948091317700613893474120031559942903140920608374541388672416658931919824913322062429514174661922416546125212644521170192157364785438999931895273964039773731212272924229844974072487378682998267110224485039278719263639051318391764984563852582887432458123824244286839281366954384018335549071559230468836262936083999803745238419952097562924679227359840976979398989821812215685173669757999804994526110591392324869032016920634920674107966367824728573003928488140321378948685770412039993841778581566483117888541939707998846914091047188818415294409700235087056730780199926683390988472990492518061818062641559948662533973163395413105381487716862091582517921954482097285385894483135907529905541089834382777975155994529697962909884757447968133439776849690548164094765544839685794611601420684686354269888816847117976291178773893267756737310894084837921591495890377725711500316817321331849582126746988726080819072283475792631362177141152660265786195459340988392128320769137394660721367038782567133663946087362498846680989165727783535396055387315277757676762478453154400476318987327464868450972231706770978044053590393786287603020323980335871378373316519989324485356246643184591356753429881170435335243362752617660414808469801394373311429922649710690352201635113982007586813361264873278412067346454025272440667409315315149765094150396470052432228526029076957470886851250212513989482435133193413468238169790188506283686820321774855906298886776767215078168891534214093548713036701846479946867906042363176827172752379679321137538888618957802276611195561659226564351454574936492321167026118391658726432243219366939823825056063610997018294098435720651999975443786061199303794832693241243190840637064124078942666594323378832360107241984751056369749145728132238751027148983056500165021058039375185072590671067998105451345338981150763904293840265761845175593623061174809689152511836577135702778182594681883844647262397904234230352000794685288755309414070833040266099726430004699784241208664817453421698429033377358085696120056020475273857300976865468456193145583269707116756509357507378485193191850775064680928200101126993476342597054387184741328862765664043236432828717561516808001241866319192904070740300851318035536682257529012784865447667182495186544615074774960995460470378813788987746285429909125282701782185534126551451415414014826654597248468634685807560912577891228871977551473962791110752780170525153832694374631933001756568424180064002090626492785230493126641773344659390933149339233534430860950533020305960226954492632789512163735506463765470057540736836681030256985465484723631484716968418175000886646362442505135580814372755342387896395068498681223471164836606330455908253110679755686463209705955414173332661126088169411384908008524348533791994546016045955573927239319020073694204568450935051988428781379487988730546486812295510623391129921216324217310178928845638468011196754385840269301439017496656099621059935466929304867150164840282832689623624235868246336148118157855414871802498444850694367412828188428656700416166104831374219570937809380344043778612928304667611374781247919551221242594108131996156588337386190207700997006032828922600210342548087012765621312012535655150037364503433240999748985043905056184376044863201661332892564481035476830448424979214684518176471710897090905843733496489215320197166816089063913923676772504502923826514252587306640238794995372834910086645045561259871066825682081901132089178132002923612883466969987563363381402421627599355001414694965033792081894612023768290486740315481246946431957433388258235747730330989778428888485508155887136560955288956329040900301349129937108042649584354684122334126242196391723660467803898079931247951162702280056193369754809552774099739410640473842165817284273289595735744693028858258906060700144885489682856510837702095404434020283194752479750123725919184698901481494298572917582898875829349989959559419978990285159461391432029638622812062346985916751875532214465755712849007920525793051899787302250⋅t69+670233679074326758447854993899312598557390683124426348218556350358698697192512364532047267867199548343790628033539553392206674788446176792334910583014019906741614453831515915629651160528160349230316419838831809526824031167539851149253692310222465383144368267431991388800392673816611630279955839065754118324406826217792575656590502417084899799856793423829149925382003687872322856158442284662253093524869222671143136688200812185853486837327276197677410937530515944858839927693821213855442180927584395644164152269513068070207170389093669865814502738626708995256187711856639695652912711464427415616015331869022641144575452748813880228636107585665692871195109903829139017189955639314462626195863935554216475815538144720671510245545316599290081699091109544622329618378085419152784159565353618654418358725256466731194365362205397683203329265084177253698437431092615747961241146981647385905762365220325112772416108460294416242718347494803094730367628688423035293469495797172831716148618632943014777302707987572639087244366995840114021446535522375385789652168170068775975617704772898233461028951401820549866597811460822053574491980646375164540607845265079110008045955612885492435762168903629100838249617774522304856142827495683949715700468203690514962172902317036249290322239356034814513231252282726737284064424529644469126665585045183677173995466477310394532210681567880948559639861819678956219544940323901967823041672207836139830957032091824625371221304833180766966224171549260940641092704312509619519517539567599439007960580641286060145717008131761131944146926529356790650504704564900254664632279786902087699877136364548662908303774522764495852883831702536633533120883375742787013417738084526289682571807982191583910200456301582745866643064002183534731857276745875114508227123488227323699152935605896403658496041955069146532107774268710576585257951213406491540236221798838769394609250274508996793694263128639381415831609043279502885832510205057147894480623626950501696502680713422021110592500649279698547102182969508108085354547741474980389265204962429936106593618163862767310212960745505354395460743118836660882014030980617235215820539406549459088794753996552185211165023125629560380863010200217134087518579599280308637657482174053337676117477091044607388658445411122611638680282510278934574607952742393716769038361124283794015868545628417402958178237928207825163888451310152492385533230922167116457104089398051102578864156496927032787996751942822537482050177985164772437580816800666437295491460793184660114848858151816083048478267576860920937898220557463478565057832349242634017156230451838019838638119914492261658293059591066334002805691776863153230483401127840740177934730245747004622065554442368158261341621839768547510623547162189365232912216944423017660227982261105825872419980707213973329612362918975786377265804331558285023280441291952877103838501980324737720585452976151730506707496848334868915425567200188046294596574097768704749394074367072857485310655031494822638027273096617155870008682358102575567343295042086663795112193971255723566195273628335477714588003665553847443134635301483171245728348618759860295850532013731581427538660738759278921594589164791022384635309230727249690161830701449187572148173730952430202913991349678408713511824865968396237549016857587997540445468778423225268065332259664711289201362688713746693445429740095045298757705950318110505204809627519609575317082724602067966425589222648621485502862647694123073976317936246258167426670201874641472325138467281117865132888741198851040068347219564234478705218726883925389276419291462514723577659461860626286078913074341637298340088215495073223283330539572546268939868351296830607898223529027804506684091827807135240015337792277529107122212343275157299592639439924679732165011022607630627713725092691957553742414442959139722833462691927449402322820956852775829791067891769111943846003145128580962662046933028712555212724767979518595794103009422597429936821683897412603012592023898435336470978799289061940504903626657055036533735481755757276496445145392962726663500901980567994895930110374729202192778531838320291641772366920337799647794124227808123103707134817578990886594680368484099113347423947403439265621684066254596522120942521980941677197127744921688324890661945774511535632782964826178143322349525642887530714957049210724808410363878688369793903727506104822065831725289471927682685865934384714649213248017896061279220373691464452895355493594072545407621506716899217537960605847412562916557696594650719830965607782308629906005443824459558354788913880048943284537286844903405753405262396684360063826424266723113772424804699626529690006628902570286201382454620755527056605665178833909559335223850577642644960237640075887361808135569385581659707836135248780458629204312725278588786307984666241522051811369660687521774453377958121993754734076431414878706618338216392861564711794528567045433009667783436913354654215708353145030976540288386852883098574235751669618217412004288799732971642660234439288642180150734913599598844275561262738854698701686677038418255962447334113390244707805244267961155132348771136688399292606221665616515384249101747098742245603256174154112670863045965382802802373664004395041792711502003493880409285740372542459703150858386119507268941305950423960113793502841019170480536019359288624078844585180622526443289085161128945187078761033526712689845252513684823843191526557170189440619327690674164750762512751181495694515679794053511411780457787914849621411218332332751541477485387763067482414373785944955773732810895226223294297650205862029450781600211129831047339315283164030578266684458084033089807945620281774022943709865907114471555122511103410817811449630108658128762610824412161470017770876805440878122600390615518529512416812230289063008001087590375080187945321094495045252274816412406576253325977188584933998906720664985270350718718021833171638329345241373163103606757716065074244815939546472212147404204665647546146742989936393879100814270533772398065122748594989828164718826113173648469478935768397722980445439785828177268530985438461390353885143573253039569139412319853218111750⋅t67-6403697104972059739816431446857522194110633425290525302703375497045928543733818640852279244498624181029067559256554631518912986047124754004291696947906118445770780664629772955632730620170358678063358163945520151149813451059169063834939398674169913002906536093423457402029775211283094957447816013630501336902090603324222028703263562697832440343182206208130244968491045454777282636319274458942952482502097895564517252643304992680027941413735786786248593382470121219179943345311105846527057726845089547670363267052158763072742574055892519028507684851962822673626635408851273816521781852260449646938373400608590449102709395451713995528927847714605719101822007770549440091976859226329461836133582820413608113543794004077575714278620133835686475553625383447385853317300735751752944300277364485920455536013330370433529639101269028633534143158597782804765136369343921125960696821673615470798373062606293017187295250074504029870823439594398047265081662840673739590527312249515398405403935880297083516425041582100906625063365878850152371437653773652586897393753480695666718885611590621948171546308381763961469174712839547800597004583138977395465630560960146028701552991934861855253115387579954571056153234812659843711225414063186729956333104757069387318233729787778261603077211747692678305463208008691688728921013757478196795773279697959929987887361238447600447794887623890016087625078095286055713109625366715921505711380723167571475680887137328696224267761471911530746036802154600892202434964556344695057469940823186566638253754077655147396297066995992371179263577693143769729536580563703405884752093126877720651251304985932742956250926637087705499325035104689628628965230554435271328646833219071591476559695226146786462337804396349636232535348610168759500291951592248126696720265055171240914787151992235318728124052397484534890037120003940498541616859767149660019287742014464920776662437543110871859842163135817904833802941677871427708669507869713521296829073976848693462644293476717841429594609826371220474163497642731271122359213904158236108865836114105172171210667723190118639319773706710838691630062080992288823110310045006636301855549767036857036483439600027008407565035855363864872781137672696137441325782704935067891835051432441241402010564231394781350468436587959244267158219871242201588548364690411144098277150933253979971082309439190305170314729710280293817539770341172143505749856469527647601515646478356899085049299454811291479515257446339313039256325354356138630861517073203414962088899631917144687239486217050730394570442227309513162997760982052841120777441908906069590180941298920622704425030932303643401264419753139011775052472962464740816023503603082866477586234683774658428938846584669985353275982535916569589911597345512863204141368057990206177457514986283938656033251058635595037309493421389717894387505875942839853701931739727170102657055724937063133747688472956210289669609869493378965890298419608602077463977119080113607854058174868098340845287521819954955885541313121977588383197451113880036124851247286329298108340869069153147878511363370167265449153273474713603704646264541616535245540954141175751121345885212366748419540041339326482936194072814193448015668302592601862118255851076340685905949192547989037784096048206802806968241901671996415057334308333395536584449939032075758223384136707724118785160622376218357797169231596574217715071259819578586538211389141919760033349469226803303302450902217736910750991572813643866983877951908276891559830530434417113203319057166284977622243399049044771256994084028245023933179767995353662221306962664256104793139032863596968180730658214493768457508237581378371149687033643568612705811049037812442792890068458633952284730167867865461235131705712635204704997789477335257972365162037178678902805018409289835822146995069878826437142289851249855905854881721130411039409894171433556609292985106630099678873332617090138769502065237335474881541387245319251067797759867669597973143652193736942762220359147787806987227237716046638760822838235998066745615308240041640191215901948859139609642249761579027320588474242399440549045848923276231215451257299895810928363685909267693023285644387721421625981908769765865497228032583628087447430489659764159450069504269477464483381604887008039204303737947836731237358914623949600247734707321761432680806703208745175559544044162173826168410095282901073014731307750190818874262362386364995120140814956516811922602410531605562827345038842177612624139940012574782017990955708265500483457540065067265915880244972597581634643630669253101143295271295213748242725118866669573236435670301542572499255040093219221579957805169707916594151559393039091254054053721985542329065139133221915916777440348965108854792225481650422212059289929770394025402137961067268978115282145343202289497596480380231506785783100927117619124356349218061093944427635613739892513509895421185536932469216882440983794253745684433779020072826332724338238251489093820278459224725462369871075781558972353530555618594264734387692612470386357657039176107323113841575973034540668645787691469544548541768758779608735952882189884530751058953633424780716380752940962529166949729785089642341561377148088062583080813648492933569060741520208466320547152477448872630897165748963918900762152810169215757515401485538768031186772310425989142310790895161539532483022519088268999625626401311146964852473709054459870811726977697643205052080947319555526013510883269234856214794643086859859576404232422827397698519495532070158399747477812833819418886004619060799894863998387029448365046629243304109654360982999364630582265920327950845410477252447670218840859113601625950657609616523010664114357520676000042078748198143350138188990161044705326783639537363942931535482559203237141588890408332167089256407725787524357608619096279503790491256722745705284973069097127974201739127612363996463399329912567025535028762358851403752311330587409106913859038236451895610496091834444460659956250939167950791784197210604200573340570547933795018709151901014388367720124608666531641633338901125736140384935502241780103138403669236630611438139161463003524502864157280931038819750⋅t65+1687453721975097880628879628863437452014183734774548090765087762739206377268245031311077741754150708686986605171856037114173311169755843005445115652545644678501064977158681998549505871914739720769366121250022019643720807887033789775376112534670490046856381827788870983636643807865578452403715056377507770451910114190827708625314699719808124508230653249032146878109099921286801259261402045325614865368222974106956336411997175508138123617095050533596888740622462316845556276703056771899226686265704658290664774698811887325403486591482237680789441475859631890563273496908475826463179362704020872013055848475151923845944402441894106485575190131683541102071065049434862843850975122103516234357646841890406173877807077297143447311499190191496893829574360015514725553589824498168624415470622883008088664731875744460143438668274668305720086044911596576843537623506808338516223968805338999721814700329719756381717160132467573600345251023692636237902001007580560283052625373461955860885677198032286636901672895529220591786093221582125125298507696909805372767183335126931259121536120627876305614853467297942898863717421514794062170595401731065077466236176415758644403907651183541938043131503826826308770662863044797049664473052147105265294452350782065264002542029437327292708060852668230799960578750588133302135637155090425758209207331000765468260983085553411569592761955077854679680332236906988072939396183623512143347719220486914378822229286179233164342611164762614138652325567891319470972621863586670456299055301392769217811272764625464367966478990955271571463185655929596506325180376213197678605679500176757116018013942345064452152463726693978496687731750593851880131154010922734919836275446056224951627647136060909916330296984224438000157986755492463986416659347476953496150622764429932907968043804610384359636219735553984978988387654257675103421213550833919925161892049776780142279083518773440076832932611049390735917917878125459600726769745031113027969604257455992362939461290355277636621777071997001463474535628257376768381171644575375759312958399269786566310500748745366958216655105297202415116717429467818471965149942082646449987455609686503217784869557782842104053847667191596307169574719816615233432874301269754064826387253970218509757916080890610318639004784652874189995295298834301296571335589050981633922193629620135483400105330308361724084862881254375983584212642913935817202315493496581074566009024831373197925869837004953371244445285203896975093902904989569832396748243290442913508143816670373155732846219666016361972698432783014883194174981376432004735248285104382447055347729300323437149640347019829961892054248187917812398320700641653275245374152248850191189083042600443685282318130402843372085619324570793132335418138883088278768961589744551794583901726812945915007555098197179501939489805991215122391431931027133637707681835727008193887229859688503524163623341332453750004442041584716702934218645965188687218552483434482479593870493415237263929093344066437460107844090974118739236246693869000206913842770036182196364770971029804449324949733349112310276469362283370116347997516109530303395559256679557326816287949384574987852033179773988839969328349214809818828707857344562747553155027520254006822502847216614136422829652639284042980700757525759984469470156324964207896033927027770109365195768064046402010426351758407020723256941758050482710560859627965846976379729985909658052047752732543563498378503886917074476868671308472489672994559856090038305058227072141560282356865176445044880686538823945113801856944608579541466147086925498992304214041656147655597561048129974069077946741853276961090743962561822176179628367238394452528565852855022467140079927534175213972965082243961404990788257247686925085899028754302102907014136946203616193979508178748268660860250422146731511840469341483341028244956375483459357857466221536412161374779523039290132321415018965659064149604112818657467657028186633114964882504168851830411081123147762375452838037021777348433005032874870589982077010284020936654451942363043372900747111398654823306218796811244558622639721507925713065476043658826821637395967771750191024228423942824016798898440275389348792184413210347559942750141287576550290582805681440093521296516297935648056153747517089717138244404341676499534024629774090451737834695233875089292349935313295062269679182661292634302683636800733864049823761027834190969589054904533726939186044424150188820944697364292172363957623923878241217794707432910101190947198631183104096162006969276706570015847105155645446558621478451793430445370160661809860174213454306352696437354896451521902803037586752867417435174043730328947061963715210187299304919202517898384311977193313747427401523277271681459477380494354689571346797571843680325636986408129635827086453956646085865795713606626890180256865515398462769099294068026104358074831207704154315405892952278297071075624996008495403741264889145178782738849908932316486369919887761315996043030299816787386843255404334405144726844412526271185643090383374432882524955729739221081791483901415704245784944529673498536405037139174471085451504113680108079782357411728578975519443335426366283523515279892954572319347154414683562604959827909631893330736501327765867387036012492401818780186901878789266193848849786135088766427165637513758626124777486410353104054039458835626249657247348934250545595618976919641125891930805351541496705833749756637914838219276781223379552597201451279196802475643808618745116244469245777175437287814881936469694249814714830597146321452692694825502251785017086479461971757285595043565652983451763120326063357300605153662742800371998790190453858569586834839409795953324186314051756148712107383037738212730572873179044650242680138403667023387051457387814402210881334612916903430496961318121803445621244556537074541576332081825469140136357122105724050553757640046434103361211053253849560205967611695657939971560693908165275086969017511604155111832923240598739592595375608496917989540788155041680833828582409397849584915210007615084215809966739269717241370431224349716512944297000582789259081930447044382967985553039335388576398819313675106945407814180875⋅t63-1485408774314717001273755389893606850939096396375017036828103462298799096904488590845221116323639012729263943832163017699873419495605612364297130747058687077536865439852095419645415478681424430755353681736434875448564274579925835297234106719985201610344141504355022343095575234177983391201660291209057301883774657451008325550887398362446899580914212941858214284844977959625947139557243666382945534108235062216464902096328337985713882671334750855532485581030343434078606167567468200937731921023757284256915590629234982088459461429234934491713613163999699643856596911161731739140938355987301244133410259473682138536592607078541323373544324187529109013922603469987146414102589346563104605205165715926447470816027686427302112554482919839310172740793898802255482091857022655466615621313951801022041967442722328273464196626890350153706249971580723698807027406178387760881037660713551751324928246610095090191603526493229742291211174286598593524830002066603259713905290010092302252766236666977066314182739214085184465180142098291103147668671643023796624549748678634642765914472965981384743453896742930712857173286843480540567275419250145624020248441838471290662116286029666477180272055420343241648457770152082211005443641331627048475617516070581674446331283985987867361681866538415596196634806809642565542308765746345735969596275495962041931269161251159082146589988002488032604015548685239126897503012271905603747580191473086080942516358117111644792137280629649756723325054643688053261234146214936424215429349691471206029609103656653441546517933093830773759682798603879750364064483318149086261936456925784697291994129928501167620498401288063822270409257855513007037892184351041107837823679812055494041941066299246069163304728894790595359193998026626432168158317741858868370634630041057753924212504767390532015274570455690227274633682317817199386768330617265373767149545246878832278817919277146897589263387758685975668225843577780143207412394112962866925165832762456099283588223477657822699402067670220627177315961307840155888882888915776566072551269625716596075036546391565794512699900218038045463366642381731991656560724743031171009525917967954516297154964091054550995592768351816475734027909987841108227250634214770893542246312607240174929864911077405899345352343693923855412158211851221963169203091874182767860462476174950238660091028248800260032681380564670737660300549688759788508084470403497285910662174254640545839835583379339438746598796019873249149796882166440987890094657361306973736721293044230417228264960618830718866529944921009153184380894403333826202527339189158634845647368289287759709696743543217570336741123073542378507808522863932665601434506401334409891228553794059502230707540621690014671217991440425194850613203902070012503807543419454648299969265953430829176251240820044804036368428978692840968425227112231332006585711679612098359418718279386589559012806321404828950128695635501642677607690159322806215042207062120276006955728598030913490437224131373129551619345802349905525343802318792253969617200901889720560242398825524251368609777993673129477044183668099758258764505072951668974108578308259031109868748188561523545665982989733563853721253905238237539519750798502461815374330987047159381175148785062775027351657230350168141261113571727228294852810685804382605340460041682220566998911758479479714487034730040115324890245069246053495940864106837413889430147354792691851522672335748687788371734418649173652586207798022289566283799136906403624406948373479405996304351447743097432693137156163290045952640486994370653036516424139273088717556575948092623531344629854720252476104386110685550087565497109778534678572150590529994949157929129158764292590674835107345444435347607529873713660066115646125863285123684412947560643575868021923195998715778086628362108730792374920925760823267871153295936719254746069253826273521712465754530242589465048765127745356961585787652776993084883770767449896524126070625861654978506429235792176814825551449377189715097164681287164974266287391544483812496636907853600192859646305164875227577015576167282099106089945028734298837931451217880634566273329507819166445972082268872356200436590147783679313922089144212517087035704307504372495661277414427574381772641074932540744172908582528520244155260009943578845141812051138736846477303843241404497414637403379995071787678352262665994043246685341704354733512284171418488237133531256784619945763570320845690933493563510509670785256261325529236348086667416776430591091979139182873093811696453116767538977704981311123292593448982506741279896161602032809603645874534917552991013317432064335362373166788725674900405864961643254006577607786906041912955288980680540112660662713749711172918510962216206550285210552280744414703744878533484490637348822070673637223125343317445257392942023865568279531871414283589353441337840916631773183271016053995656972931263620070873826749334022727505430111962147969190447316091367591199160148677189853420482294190441340426572383214520733973432887650184607757228747937564528443639881355684075568132333880468075265128910183827002133974296196308722985638094983495997615786715393533064885945695697102354075243746892339849451098318500768485870822061271329093558390108335745884106964125585242563178499674611748563051737882183674668376878873410826081411326179123251528925594973528147428961243725962405208739165145801771745688564299868494588108686090617274116852998822897120380940063082094716076401237465993378899883221148121930741310429766326516745136635549925859292053380954695102134258996360914609299533560390903360398031675739121399499651663115467515383002178913955691669306071465890662348594816649078547833314949654236033984494087347523224359297268315287540599133389624579418596626694831238979448992086006570211668211172569750051062055769112625143564477384589778048057015759786194267680695553156221123490462487557245991063484752441203136499247668565855822405705141414605138304378703294745722994784445079089693275988346554665239292613824302087069270536764267329115187054760260637728223348330586370153409637908220909122952880503856358381336881246454832163513637271204047427464364914723529458375⋅t61+4859455189162855340621469586411830207492753797498495163251470868386426667164844501030323955259899965950883443124474224638310410064584438684867000690759191121503896020563187295294584350835706938267620712663389559612928500035862869124458991452316379444301436466220077894820143880538186702521720293222277096467539710181656436152942813709034710989198175586358383120140914216015826444371489294855806911648147231372188670596043017941393573335654882686551106506526823104194180871196525506072960018869612014028012284222240716955775619138492427069571237315982219549825669778604662103004164145663819766126642074507167301744550183001250457738606423689629804514164495703762309139892516587259282683636805174181219717124115261796092198123917594954717188452120180138296616444200367682130798596846312425628274571204143479518474011764181520631458005060115126477659780134086462761082270978241335645094898914983270960330868953574918506375521369284049768066703860277075648676914880881768344334768392440424273792892369567280480975586427922281654580971400394715794530432909913671581517119185524096079211482562633055169247342847636253133139604820252069010621444857064644747696021539591540609964875886959581664789089281445174882944117982891108471690847913225428443353376879396979233732949220844077569414277195208378224176404425938233419962994854256832221655228086296241965516638782363069133622170661181130019559942745833024748848016804162379666009685421724484921335729768747438659217012127178738744486163519792926817539158542404279419312184760415143418921976458815429813060362910404420871312576488110965785601070972936786192755475643658421993423604901394663970892356404174630044634807868674156786215078236199777518855138842418826926150254160875980469871380729022944134082650400999898107593910310161366664449535779162432168915760596084564450864064254361941354251922932337623810762172728518358639243353616661978000081439533110177942137553160421887598603936918706174645548412857365316147673159103228348052988070740454466579424056990438557356519841312095640042872522119551040037687808439626081610454544220070825620577848299830539349671031908704658870880035324353976304584577002705033637841410979338555501010787019050698720736216624855253919250622809354534148995105676855809319235315568481792271585926350037662143988689345278853333959108588682625786194997554805443377623752298098892686815264784638882962327538160503239555121822886922064134298296925696785123627691273768579639844316476575387930615681591027973729309032802759600733445503807309281130151817780216620846290559003209450840991384899406767630849900128071929433231053372764575123142183763006448909736667954282272431172096440480096071997828326916318143405478600160074638953421621376493226827524736051003388736936982127728783737052841263332092931777604026393871329343144049925307390309044960456178098065643257521492213859046099020414335684711298555458435958841661280772035475471217456883547254998794500609430645742985294344847434767537720664510930759717143900248680999560045964556914905559834384442182389683183280242624118006905333618426937085589943299458997539418688187168677918855072566017672604360241308454009898458029540388994481542106511062325508744250520772819982842509823210181111878189097436788472060051376051367446998651312365630005950555860700724269120727979307198392347791897888095065210496686569082739879349547678964628583210301616109826931972693766952315470930007015682351229743726031091143367350495428913915821830148209775987823800644145331916799345666208150399383742093408502024169987194268143611734228626054253789037680465942856097988861995550830825338099196882243652795760881057841717148845984389154127979627611640786825266359547063059907370047329203534276325955021447428674816087204969875843120232446942239616357917311242290146122581540653051916330899297305095807126424672959009623960237140637456437178526865052673136467278168143448084428629085778373762162286911144255071134003435617995128732807544870953994035899406910895246652205334545945828495510986189879337073793301491933910392172978379615200415914927036935214979294083713494980860459804021732761728027358659001442190358083368698419601439499243711444701480759687335437703631991101940701698940570313936580092936397927868625014422329061907280175690677075147261209567687727526029768119440822184205080927626625095780355413009443056692204936114027575277681628393057005024824039065516615374369802797343824752199733304363130818172639708552699499789484421811274242389607457448458913023663782656391047986725243687691149992052396993755519769768581529634253296178196286668896182410720796035655061574799122327172977010319566517941509376550551698900231664658034845974962398196304888656042597023398227400788375096079515325229452047220339977476077902381293777346404146572096036646053236071757697827207400389233616522447802411205563250711876131354568234986468081796484265667423931439337723458287637039691125810370283098585302264590231525105898171219961027292620593985532595040751591718635447916332997458824815632539543410577136136596760844868934789571875889899356530311751933124638140302296826940612176557982190380097942296085584435677062169890351828139732012843088585866641037800502142817899455645539566487749946526877335737674257309102066968281871137522956627578654432099255766553468373986814970074995118695909178050627298827777092080973530603450960377519947294716517745136130772702687527508898955784091048514915904784787464661957916330053699410710842213048899761108113759225815146225386651717982210116407746414727913557341339085238603482465171955982759396616295409993612020801302383046587432597667114902689959109998353114662714401001166291580479477928200718152661050486094659090774294530191918046698125640284654523693366152786675452725855098606600104994518480121028218805310713367825277442012258162962688954151617121545589133079947716048970762626529241426508387249852644310989214013912443162084182119359817473046675895321170681391939930554297322739796723353739114871855446581242295518626377271388750578010271835575402535295881753637246319990480921023032165196867396224743005582535489226466003240103667786368182022498422375⋅t59-1806857519466943135918430162012887786501848202628720008881730113588326469391330135461616632708297305940294819508157046551340279510751006591433162249783205980168914323754561942570136930647898140147912729530243208790234023446875499765381485354070884974806173596379924625808090527955908712582636588370846946832953520937818508755506756274966330977288097894706012739831735922903136144320613960748072071396676367240542673573208035531227972672886270508102543735614504897965097444835999302414803541879496544208216693682542835560092287239172353618274107661672383037863129207294737704742214873431029988171910854870146334016417412604288109169287122890215470146973796706908591919038106704421951980336017370234183623005400083882692833127992231447004921487616552038564866810682544578002676419693524242320042177006845069010764794411792052546520810469321686348735269008362743889179665733742662535729351880136218928477789534120648362714593619655728891240765471392339083700122684086974139141471970925240396534678593821723331926381235467970429135933215892944229606242448529404325733992686493188501289279827061182051522745400040479151652938872369020650853397457452024284089721150047170263133087745032550120069585049501709954079791982968632087280400382989222441295528830236485561353271253142110589202086429224759738142771956669656273578428339587764292197040049273038379581624488447767172008102877557903146543038563193450295057920468220491856589886596941417410121213934634746959517341501602303032938611618651664710659068938380980550193608089717703643247700865793533632927829246357383731743226623941189627146831505396910144024262251164994597221424354740638159550804067967419773912168501716417612790700246897511868693649960310028904492438094707817083758697622656358733681183333777067245762640459552867182108688291870170870736795281698870435734928834271251513853903162356654496978763539692292682250431776105937070362806523280129995528627881241978746876975848417564879061316139917786723610933844123591077245684797717630034445357323620246463168814684226962019909072465868146322611131480939448412771433028157749807693397557060246552990318716923144953584864165398948626462003128107633950429321410442921493259225839560738516802927813748167258229689489170360991156925958004249215715670940676328309399890842006014763921768253384192124347139375813663350850254789193597861550828394312276847386300388468636947913466653887658240572961855246240746496232949409005504691395441773628526175532139872072334598985271562250420119025558435893692455421340245694737655676016690966997778654703950724019489294563312903496040838486175738083088725839363573577390236007310731383067896428422497369274778478109991772366240377977790529765480996399499374335361414332776677426945234106641346893268167330577390720725879614547835766923630459789212661463949891153499732045340404046870510872291747059142359739874668867831718271023162730940406744658021529359292898528957465068269578634790218475509625797313533629910380403207509637277526384466241132073791955694902492130011526086973803116430980646902331475693660565362623373851312249480926175379168004055365175294059532867190760247971574387264519799881690028300343624985364548053088608298471387767263970009820136432491997115135429187759467437098928957611511278626151727064537414749359940548559194897152078495965368519667874198158339954675272008264925724107855376280504041007929391372450573343056939169852529691466162433209104980692534945348883278567813620868864366869072646587744051676095613279746313728736069333857254578553642427777323099603314640488449505440609068674728993276021952556411345952112649143000997819584181191238115334876774371383765651579884133863390703082283561036725827885578588071158554942249534276142301100987955962267406394218730021835434027229598589249448039124551610826129095347768629413699500820629166821694952621637083307198012473665413007765879299579672309401081067486067024362589186398595280788092854760516035975204098750137911905656452414473679302482857578484666501674667817226099861708006152920315724630717109672104568850953821720355351372610553688047835917197530802650841979239579123722753539622340759143022149439157612169640785746466570951645686694304148523294055975452439472548155882565366916353549615496477645136777537169371745211565202016663410975066922515170558080045049208721238734739464680779825943561621842180385108479946636790588915576833546080068813617388955127507905738922307826957421281666652793629654322818341680648774767267479862644056197655953070802399684936961212314130364875440955647494227863506301498521037688503405034276851263118031174842515117599387505669525926596093446916348121015488719157678145662851910273501291069610037327709734950263038878551470801606531837742983840675431463573877839491188336467787763706583297645278395034619752879537139364470010404790943321479744960446300948170456192400784187251706693515388793369572659118695685932411170413824578879715368878805804193848332051900175730624496214239041828002553602651753787084146852695184354396012741653569102513738720715343804578536587697650795029487181631318403710984950740182744409506471767749740646161980112009498065167330201424735975398931928391944691969987178480478269656957713230248998494995419459199863700135204212045615373816983955998389583950005175278161696988820458282579600010158330382488487469217045881212272027416181738839374309380760646104715635021070994308921963646573176204909026792040090405717357393891692073713648281564667006309583233188918464249927470173141900405275842353008223891900428738704155498769042545608043917510113871499649398920165629865682143248508389012926273340647388845337682620244457121135068501656492154260668460321143134081367300161145270336241415453282467228494409367423927628126260871601365347432490995543697251284592937962780611561188459348510143003522242981458159452158222474786664149184278191364977619371935798855569119960120202519206150459990638460377240115647547990512990764197225636003216439624481120053100847939498805269967191670172276962531291504586706774499472135995913329647679013312084641008754036393650083680203658201114866086707524646026503347192889239979702436125⋅t57+788388667926300677359829456995018267508250475915628538347893587137237612683377747260016054440942901957756347088898389215280816026596021292298829086085009649570988565094410118002031433372196007904988874605183476617833046792890724730993539108395907829225052991791254476637857829063837016750910540215134353100873958953691362425967474045705988612337903354880082499351979406157668151706095017810588642354810995684511432142667995900973291391658709358502388375232479590763807142225571205224235833400461472300314203823865293627018393679684172626306865047280487282458387376655121653270997368417460904578200863980892088754361855137624718572683730368050971683991002253259210757210773703348169580727783125091607997212182731679963162759416791419991897660110917047830891211742941726607715936874251788874193230974250828662020002520052515253524625893584986700399984135644015590070440222237156332014968125120719440023685529700154655066700198557063789430820292829415197134502184425288437475927017313536045777430732463509466254052950268990599281380239031511371787575001074703704399966697578828499443350837163131865858396725940560720693755771269417431582710648756991728251080819861454995184569578181568306749181387422604755148499930463031845794417888250755016297849892184828851963484899627676565052895496456133501729946404289936461635823043601455298133002807765608444769588143637889522996966730099856579782816346993768439873891179958206697852403805858253507929044520210849814157667988698143907787922368518592307379063686271345498110786154411476024909039871109935050941135629627017482459564251914723882912819716362014841782704224191674206835171240478122538734293813093288423782678940977690244700179846146797830955330579787852231164002789859984761128051480140523709366820771666803856310897194303162903144677752479015895084306256758122975263291680661559176578867239514974949625726835708294458350828738143725469453438283756764559741325793634945875623645083959034956763691761558558828715536980811440623274742288573083543535585397802123402776119542979762277869010383868306780731427547580482770616897586073943525146818682540799697554694906133352259738442210991082410103661207370081441403042315370604838089806337429937218104623170671560951778744332848521113898061072027926254452995339325873439057550299176847731520953030660758444485579725540445924814754143925608219446632313544876895574314005007337148717671033074516925480293768534766351457355485198635938268683692086154304687427151664041060258833165439293880387797647311723885100416638469312739167728332547522354589412879326033239149937502665889191298783497456603936041493763311148249623967004535532813920849158749852805579751678239921326919835448222587710423073797443091895755084667128256697671220773995196980859982267209835240151437037725975118960114193291026447088077790820437758158749885149539028055999306751364820316152734157868608757488666771864839363259204527716168686944161953929852241187830297773625843232749317260752542147827900854244191059697933622108445074704869109258037827706712033651028728531758616487608877935450389851295145772828537573296351974740043709348916362789105676915985240716621524620894643439496026587072356866748462964690761951095605734713165647476130914734564580601990336421660867575492851193114704856626629897959012652584643599364392488483023130554094474637524861847332638372638103888729558833191800397927111523203715092557902413373028830944493262759815691398668967790746328065746237747595422787658054531036779797935533759694694536563470054791579360990456752875600876834026002616821438249609558375580532680784165280488860324746804299459849737629857566458835187985790692190293197709724931487474102676870854434390292151969383351516898283069691249632323270237711306281022842689258593734227764816337286525202039037925624646008546944022642975233747657500647865131701338120490766118400419483531841115532446746815457636033737695579594263440286254620840996274306389095863565291559371656908003614662360357169321325765118045456698420922374737750441657785558952225989722940497934560267450975408647753989754224767850437122143028355682261159987506825715457202939015952333426915112912223241440220133926936115631503382878173706029590939442675770094031162538017802025289670805433906970903404055350687238977693588077791065786903401368623038292545852667144112148346369531156326931441534390754085931882980378905239571517564929079115326370116013728122469085188741254453547597964169736831152865516570646059221564822184684852523140044366570489266422947119687074641300629235427979701826969127260662869604095556069871109237586987839303708822244090882315305925528573099944284300197116937643806883545535378154883087058027335054955292627139264434418188588330108527584104082428671453164814313347798294335148686685095602926249971825219785553647173325950373182476324003782323674852430231931290222239833836105882253093452652775306942133873151935812383630850924010914141220827922799057213837248683198868559787335128590188717232633594949461910884540115936338303437681062690779133501984530568985797740456739411340250627654858301287882950298146013742249535060136688237697163668022615877902235314605787001124791559525472575046272125239463561958272318150229773602828156706575331151999892394843582272667591084592355754735570724171056717324864497622752993380983894744861839775648805896750299379904425284802248741188979717932179457451091290806108679717569971299926191740717652730557966109776861100440809531879196011761579215507565710412304050723626950136690974004165138699743334651500338477924333288501875693901087303297458319604986367568551813051854323617243465010204952637353201720003433647561413516685580396044599069153159310779849842695816289600904160791769538515749316233021902132176784969573363846001077905867756049113445198382573372075879430179885625801455376055412297090624862725388070374831576959882324887919719173188370367517554568389568580936215381942097872468718873775511222097773413761208336028423591926019327200041921722057499056792079361844872850233577335398357926400920635896838878944458693957877961558691121607679197434484371309106143315331611203667915660537257544136826080870625⋅t55-2136070005411911806052116154909378339137586323156467364524734260159497105418665800822391605166388577814934792043840922243794045631409866805010443174375371403827968759499020554150297772723202871189268315799094292192740705285971485504732449755420961737061348629205759166087086754974619380003348979513957745815838185517788937216224880339516626927491061539985412485077283457870419537310158113974615063806922737277822670949897562577950874375631357956501556588431934273539560325087360718161009950578923149244133386737231053062014705259200478556523950005762489389876439938446602183798607860321339294243541442756664790619695890735941585316590514100906591026211006871669005814503677129186489393623153950934042056930826820679119827082493870868920413979864127419162855064560613590220520597716294011558989786926115041039734169180749210717449807789862057847502276476287169594315424882129125911521648052463297214074854550323418169480900309788618205148136469893387813003370607443555228779694381396835032901994913601180592109634982048127166770189310894877576395672774674429112090898083269848007348389806046001633577260978494477155309183604494838520011093308954370787777717518374432544184157445269321984861904284292494778939301085983749117943392221518140061148435618997987272102210843401531031486405943459612492415941847620623952820177898996672058965608552912304902909909077008959159767843381380580038432292760738105054731175574936831122422798118454517769403718963766572514779300310943504025174774935093931556886158330548421381687034338915671758626564814619527592885196778773934155520189258399991343398769843883629393165264686321202301932783237502228168962028035689221980253374703645082391733064506973193262412852280380081069231033732325171980091061065528757908555301781120810147861265518192972882251889067513499279529588420996925517681584512742548385820564432983732555569207587814919845397507638288020838176917374953709931549567291903685751139122396937295443140692601815413878294072835993372494362717569354471589822450202968644152276464278614372569120698330236131593831615047260516004006655911754245204527373366933605479778817054986216949817549693027588026165757265239535711884400577430674398284502106061162923958403407301088558529019227594896689146832515373166784276032339911937905569001137064667788017874335853207830417939010073518965855549903221356620196199363462374378775730432777450478842265673646757202723753914750855436175575595508997049435847395639879855908126096568470738017617930720802951843375336034942481910718145695598272947220426327052967143247551253726647701041648524721282831417448535717364585609188358450878932279220910370004552326457842948865202272787405579398216042745905459323595001070877130020868347064018945461602043013073605400341236866207092730834205889785061245167779513099162229973351310498507575909920495739242571719572748926923065977834600622862417895344518918095805070716396346897031379926601784429168792372750744798089446966382803336025797297243582604224111289815485771928147028441634246304675854713400109419155206355758876031219965534627671116098860336102049452528289531275111419031801606678491468144649493633901342957889642154328722931219465459007070801314288241578494620718126225970777167339886214654018350272410958663246428715347537634179812615946144686435105419875953917255807121132425889319537918945416638507532939385248663628643658068751537629293550503158313456710663506063268877808128621745580061313436076313431149868841242963166610783824352614665477801528792903462002988631601508570368338669138736401418324553896631796885002304392691679136288026665108622552961788719076597992230897754646617406765028561447147803178081134951055102046605512197753743784546446376269985619522707217632922056980342601245964868650567321514444527488355920111220250488617055011651492144162285477144954580792643547345715663132697367295608192645879029042549826297689238203874304341505278561068433864054342234893950683467197721420272194982015345219655845599345041733711570365368413947712968205908606485033757781257614936250976014588235022289877490350230441882751115753256092128123335999318554129934029251219051945459649915249757631351284734577832879034445639066082202147068596696873223823310790683891880110470345680296394925685640221200946576671510559349697694497467458256470347543229773781844224299000711065335799650805901875859313778102708020667558522082776268858860835983824509839715771041010294977515648050798045622008971974482722035239593903535755528264683080366056358390323623069842892022253161852503750617074645107406941490701978405212149265696867504744791234747753940586775399016686847013078178779143647115469326025830011574656990266350203165127366633925052389414423695537559363460465140951131768836624718080780728061725145553564728277941977795453008648351939289845817779111264498708582024490382264678012650797648485809118333048122896006508333198560480029444651044311834410050400595316793863341243584938936577200901756466897491007014010293667234559724516104230065824505618452914782603419497043645562792576490134422206731240618559125144810452797520888198080691658668156457825637540238027109164869956976485562614861109152261357792298504093433025013061648834087580990012533105608808547631381699199994130627831760327323150068673950258303857682057639126810790779422890548053666986083373078671753048913652693449332288261940840428489802796300697679150434043969564348231089343632337731311871967121343605987828787296771429011592509732449775391321766022489311857652379098364962218409007565440545526445473007886781815736465946940059307452588635614817438231011917075555690379122370818738451962037447366545641835321531646364668021602432676499263235133446355056135433978231136043187429373586326339983012843573279180158547118872786067592786693588006101729958547567775241646175579589170293239386125295852265239566622020445358743266308630250166500355729292773684794639431013505611748105932611225566484024118793932605822568793181965186741377782872392729559366657681766734113419736993064558195127385364977803686580139827575215152292397702434266837697542237047132790056616860335089927178792927340854211123138771099604411125⋅t53+3181310444718933325298508376714884137218582738582024585158858927894007857742371157050809600559164657910955126458683713258141818180226042950148445839185974874465633132825553357074462550302304107916943794305319718149416048359508960815189464428744701273620829742704803119312831990859395580654960319907313500220784276575704000422415970225478399983506456398386365596910626075405508641027573517609285340176447870690340756732468838531601785141912136030999473703161828933944052172752997352134562772154060188029987086448212094370654028023402163817727801565620126972520590222076500848844246001999597831390674289625644382673429041623859456211582559185110471692243907122324472806710479588320629934712679279165852173534275790869991455163438334681062744394944112157518242372096911352290897562405258839663299233129210978111091771439889237868221184347451374811207574137271909886236166275678890429090922959404894397537656576920009526433701314046827846913078068259575749803174065801199440823526900630149465746298095587830186577220856774863235006746173009887651141738426584710966355782730426052770341789417253629421374851735847490506199051676068989732120168558279283673276734330258056177484845331945238569054275878436836318595438031461458623864869635923913646867552934357901321731575824285791939529533838471071123791246879397960295077827903321789368828614325054309028906622626566251160974169210182136023692331889268719569624387471620250791210359864669419838519233788075488540198837690809440153518954974915630247064537055491814835359072562297431150007411179991336601296808817857756439504959456684676473456063468896282966373889731439594316869435134417496289338062213447255723856041251044407761537037257183163697093971120259320924519792205311141642715003852197332689659743232676196394315568315531693376843719384154888648180687203577449329633322535643849112307815739666738006113275966502127023719902489394148547748621332929466829363977182461887999530056769385763881526018162733740242663559019129618490914143869229217178295658908580645564774158303449105800961011676912943513221621166458948542620295202631406614511552140833343224443288621127928144691438635150566377916949507364078383490182599567137845909114416711728323388828783345708008890740867134075337367352077036987187559455053897361197640955434136968327052323377768030132936515665602469373826540111469221525567205987012512551926873032481686249735983339258378341804298910328819650286433950906778913335720403044088159717222495339249582542214421501621709140598973919742681925426554537289634297772637433913400848306908046579420279462948636264660211556889661422052514670994165289875517560288230377270484549839516767109807930057124315267673582221287337325653717934838132911481887233973199729456654398039657240105246545039024972070599566577637545364763735665563450725392529314575804402605861767441492271117730562483554088054547445981420994274545190986484940741088517693531802596539964448476976255326003698838043793119806620583096092601927410004977384980012255133167037907667403295228247584103041348424776775604105298357437558866232777353718859420754406560926047771613862822022512187598073483638668067899039366102749832162928093945454597846997348646853456411535817965445685682814300241909928621656184891774078310387807437070526931663062906432880974225296883558688345777747297078856427376453766047234261847862183167230577573799797350436165626061852711321397186662881840598316889892627270846874105272138537425134087024253857408665641099693021143099173668201474878373021862085707308648909022850225959522100513813503418362828507727217625507851828899505731153302021015948995422932670264650920886961037807586153216783700751826920702434827397060970522357497019638180907353268430154911210294337711302463573074530811051348705229264700581947789199800236210611599921992038437495176394689855897504901962106361523409069096294256688256912305003848666614578103124403294284897170166104030137582537331759057968336931777941444489712535770140402942454523961804691036428033384435226153588361188028013303724022461492281535078414036828811077812187332148630309765510926285829259247071990294649678547303912085954839331078525186544568038803675930613021146145556145349658702422536579745403327106476169111121071530262379202622687380353954879302470439885501007301312672027549340328931466579680998734179293863256900028378201406653728216999457396531378837588469076715546384862350478271503086298573088899567332450442107267288639786842627242918002970215739658508096933348034291189390323076670278967868443281637304543403401284186604245463625199678116486977127485190219265559554245889560600303613209161907733754627742134641846524094227610886597422369703769433130941822193951700383589527915337943157485295138652914160866377684984010159323655024405203031741824813276604386220543685821183397237853544549272445531105545105117269928583629506195968262143061917868023292426782145043697770520608061355158409101326632561552249811997596501069368545797890227951598763119699983430950897154554172257417528611928645232857955957762743961223712503805332578011939619641224026182912577334316384915606078070243808011861044005338045599268838645924543434239369309187278919762787243520471050150136278974805782872830630197304858205381474754635144804634857102128208618436439538394897651645577644530787124836110170946336426647852418838743931933758638953045518859822997171968463673306706290775661536312245592103975897360759167344478806378538745450230591018719417866767801419391144257412136930025239262187263055345053799942560866356554874470146891526317164890232008086458448165983322240916843180126964139608267366069145546564873294419263458570159399871532790646951166439086249101822360779962879389329889710195730944757511611312308222724505245213023004085278699789431168293353442775415941492375634325667316932564610481692050483862203187922313144734675134700101697123931550863290775116156960936165622908858131004986458268450050155965083638222174949568181943843872460366080731425030477425524107134503673441394470952078893707042060031878486328005823518950469774770303267972160634868720075895868949108459756999787009371848927498265874305939768606409657875⋅t51-79775855302821934998352655426944494082305326548633876488491577217498505482083544383754341638284166187383023566054983941195130710832675356374379594319714107022200151747660987270949903130257534095915530289621760849405303013842927715606055679507294182723257001924920254664925843302500789716872744341878784345497381159701003056190089671205546135451238310577594090103622154698050125317667762344871222394935069742599259230574886403540725653435767126000873501480879720353573729855037192126580398691949430850447610009851866483145546820987020050259728579972115709602086260699477151159798674764608552289075702580961461021407621284367889105130407624609779987408747955979990549202926007121837310676672446628262187835311524320324661137265232282169295724003127294779765877753351893564251015413807915169527193057132088093861973308898007823615524246652559513642238677228405788406475296477253197490700627523896415665011321761911245977262412801941616704928097801767324834171786213544390549120768519648505649154887969291373736266317693489167893443911099073927311459108183921928782738926702670544241434404267347213927919511969820815443736753892896297620972808761426566856042088574824067911883426716619456790472526799347963800093414514164531917541065475389856645374709088367675140296007323488103049403858221850918917881389480694597863032369555762512089962001399354342421508989772952369681821940684921800710693842420846805726845514346401934270048436341152023487501644654045565899891289036755831286005601071435075271486055152894203404553805658387072087194060099063445990390022892016554450283516501951535914202068477664738069328565890610509813328918020577091096216420894698453226498061318766190479838653153711271289987269194942438461945099278699495971668009190120091768061395681518513507919525153993088399638286379016407210433372328992303942882177889925555288416065204353612346060071889230079321650973521713029332632938002737733159638714824096536481113660054438746702507495595307389541661635773689988893772195088770484730983967008594611354643038881462722639567805372411904147807504750066342605025391342025775880747523086144031385996925994748546737935816780855956787447349178035372039434638270945182797856350532216756346507446075058913334143423038181905684607786481607038326722066064863639300212729636701483468204058868592452069404255551807301458973704499962355514881568819282247684959055699472469408047079740105269437030151423331238846618318549154628381764899282861229906678267329877337497165521493634277181536844507476646233998931713845053830207755623713666489513996440928208660403332048551688479007240784875579331784103133282101447664206441897272167698812985302008579117663153748111735643057548120193555642789156063242049799048882926456923534075660953030160899045831285091086153918237726847926588099736380849865007478940863378790446921977888687923293907044931340227432182459451289950119823432179655559456151108413475781932872337756478283959077539642482509427691270672758370760878203972036909465618261998230553969490214392745053545453361182009756624862258325478221626944821036518253336095154366959271758986449877550841034266248677237082915228749223278762611080480235906125291549968338033133123747651919544727296151051414134511223330542029424936552819359380548485200849080411301812598952019925173991796688624704627869859768479934103208151873433079876270149897116025475428143453800329663248406178927710776128199821829309623075022394166098260956785823901139082685227241504542124954775366637081488687972707756132827754823631562233702931116092360625826372952387875833762060126080909251337992984522243470856135933150969434575085465462585640021491995342536783305775949873394406621311693612194005590616739190685714071022144579964732389934951042115669405691514268247689691898259441452890230700477613501964706101829906513285559797614907755406549128239353382864546828318321276048845445062467121448470422555047866162514028825547863541535273555516204652825883465444264660843817847858605485772738210165114296372193516565627994843623837316661610439677319854779994582092684676227466363006987256209724374236307197136485078129874018796677232300036013149311464246255789647684485899646145530859749300955563259316987197687276602878525767261969121978860201174540129524798395701423393921214607575377063595352923709152270682418945414395704812245242923089715532636232601194375069761800307537014493139884261805072359289139684591828970514233036691534833034467925122722718154532342807738420374753498477639590474222922158375590511431067599505301028055746129961575087113282663414196283319035381398687990836644372487464415208287916257433802669478116268961295387290251194599563308897543209336758370544649128266205524410542579092766144651149159979975150919288278382794229979933044162522382379066185158864266815044333237809791199841613300684460746855562923020553795868063104043066501017513522390916503411004335663149453859450094639172253353866975433060230210761005061755915664719996807010600472897430777061769761977779157565185700899095337361516456642429911267410027637112402159124982265117567204396372202202624500161407503576271169193163274822769769243890433726967353242799814615116309964518490439130068109012595265142791216951136116899175132885121054632389917866652003227462743187275593141196380195754129325298850790701578562874165938377622467171688294193267377082678010442630920620735181922379786475538247484002043610746928755716430134543099102662609243490550474573131765561137036032707824747425463655299607830273074053057738591311120351655983820921785103930624729517501954869852083862749305575912289311532827548599860730153068824561851759346062665467675854995258330994062162339434073325543461271094604009761354797349322761358958994743254028805541976982045292986661520761318237518136528944787790723475682568100657754766917647824264811558900628079644897435892669456422355874788545217483452266231919296800333329983126312043290529598576716041612588088645488275527083702655936563806007626297807169144618518362280018113514128852547306704735483790342323569877032353773635199388309327444438579500222892651069856495491574937916635263700989962035832080604502741520922635984875⋅t49+2662448951600455894298577081111239801909416946671196791490947855336139127630950005219906568344824369930078589173397133090306486959501132829998924661039520551299983325626689785546278053039036820015990575031644342351821751098035521711764815560324178420480291390849488702845820588576587557379511513016318167404754898418088711694571093534641878917564085055411662694704319017455232207791310204129399117883730975138260003781307597567380153149035376051820516908891032992364619963345187587094588287719277660422324377307337460981747060883393644573775240516113786127965639042702887597227470670780162093661752908376195273045297828311130259356716909654640635173038108401734226151606025828176745948918833875679731970684449630456251146869663142189415925375588713044472791585721392566692415154785699303792251312711298132885834533519875720537355509845945030530820250073123825532822534944107664444681883291303044483431525707675191414008628225074169870715737404744779022595099396625089935608427456564767227255514025859375508474071169101122154281446986325959987104967993515485521468182311158392674988787443771762158189578083284912410308485088060860763365697507262488626786713527933230328085245051529166487528655012376277756443331175558789443435877025184348846842910734001934053820125090260313454625441706833206255163697103509469564605624514812048414286247706468816311775442434209225951015656665483863476134354615245532943768822266858397244562079748602169654579576389423034387200071423468789434488031067491259780358957558064349079168717267877837911522610049649954803603799695991842960016630210367511963884835746251946993760018307510459685402159791234662758278678458330519250140293398062612204054288094958054402731934825765718693316720640070311959855985578477989332885168374518177555324889123379018504716776949321286395325285399203809965718518093482049218885642619552790626459437162581839745549139747747514942884715466283744615465202592378319104221920641908309980658208410557010192656664273489220472601871441786195237162195080339895785483308742380954338323574327202038931188925849634397272533209908485306618605337329100655625424849330348666743053720699083964509799671101644094402103936192193177710485441969952192209128447926939740329100331193276126126604795774916921206018480203717230812487116547873379743611891054950183676442805756583939779606383193828782450484238810083349471267069390717705338546663598449401436987560188119642537854522987978597727619468375351782251232581657855656282191087833895865055250148372147195942743395746336996684600377400354555672234908574162888147513397222911339801817180266471063425899410172276710620727579577364844143957840362147110889957195053362185357499764015380459308545964575283895425072537716920445587451094719593436855035131007601009911398828787082287321211488564227248678169863770865192472593786857708004480064282695973276512082698898279421507442106847309358312085042673305490568991098822849140482565961838804622582493053191106151261660527244173550930097327881821146864831002444489648286456288378290784294112711136380347683763284075500166134656873119738109105860947999083346064409830206906544583954574154739544805541825197664654431385524178194831614135184450479913582087488781434105466225349862063273936110860553642605819041003456281424300278312853451919971972698180883208985306284325062796609550295374307126286109460838533774963572763444316782966157638006685310764804871785909430415995756768583790795312770566666171975354999386978270110373868476414972320096824830420139697192779789730905009016434047461972663805850797008872022397940680117514234975782921004195195508344385364385323185507092096820702201944259543510872679918216505420370342674725320715023363203741557492967103371736443655084226760889537522372710181398146324519298676755847639641271432455803713043125926808201411371653457726149777853611421316118718131233215602184101002541230899940984689227504122042573679484556587967579963002307695430651242015409270171657724195432718266798141030037517225090423711303953471311791402244097923452046145097029010390801546060449986583004250725653769461991149122904314187324847776428359007124399973924080994709820765658358629087301534566434902806782730643300080100474246646879165654051230633942890959406568996318586370461810450316459742200073619009713597248088763364382271360330605425338915672256621176828262357869034674310124591202434244549244046795478562989314133821840039905023385717444439201279868696934435578409517967532168818141924699142307760160289025190899192754267055648356852950663136309786302307787693789666299370165935649380157335815024560609624304129845535057451375281011566123611438221732395649420271493438281556541474812652039477488912307291514700262785716405512573997574939547307605010646560163356385434195358015196281840701259409556878759582708995118317561273269700711725637774820562135429770322473878895046912814890361755019129285768923582597046222347319051218354653819287422192878779903135273255746740973939845814068512910680325023462025052507063426470167950574502337225435180234487859189198881862067205277351396821983982813151557332283948144369513157094572077091119233765437094761994738315966695527289726736568133916343801392378076372054921583255838641991888228888536013094159255368223073141970650450982037861015779460723222518645963299738185356892765637757329787981642896179722059605014031094962235075323367332689090245479341181451051053201180545893287089482477431864133674378317224520841639295278398160502001088689100218997684250338634505600212585751240875607063045333026207675057910217019727333049650194813365367528862947600215355353478683218586789427361658339749394339988003164455764510658683333302405568916512659505551542281352786587439173819987682776703258851246408503563402959228968825156284185440650398870718737359492438712785072936764377813343612974886721864267910927742255650468354889748946671503082543001276520848694070943169181338489009161417214027648536288222313649445103300614440716848527891671643431909270909434100152624979015681441819396631720383934082780773066460488241196803732578153802702649487325166613388559467744974233407487651272804135583933011995825187465414140992875⋅t47-18641258542812688338188375888654303903998033769623402289057342403015832910647156978150370879616192566685798271822581016222147572307289095714207786302944337126933022289552993571023929307898885400963564134760924085193361340402453993973165536995783024729005750161579769488264608994310727050347334492183671327038084882662780529564296515763173424299790671355722109979605235622667838756652981485167066409309295188944664833655209395643010599193377888166813531777388467439532713433001875499138132752513000069673311046464165732916311806918136106182566633677918619755127868191533730508615110075512574617043928410391062992158771959305640937766717708630878691849907329614128039347885446126177323792579964753268701897090483836449751536844588542332518183500507777521571324140242551299390617401137071666392218896355378990955287103473450393273614693278643186670212127314222637097738059261304171473565264080278275501436780352035870458668150086191885667661422126124638964259627340074681525256368482520483375537397532347831789555019034840228775073903504808353072310754734285810792684787185425374246692383630045561137501764214093150684373211666267535000673038464920810916935013169190237907226219601722875288773810302675325406716965334259647734727870807871633560067233897095126888187863537951409480664492395312871880390820863234993461186968532130690523680302708613172011205002898662371500057405112120335010866118143633972839032027993271215208703836901371875062904056779130944311575629910861611725712941513988635897339941730486844351602355268564678971026316420847101330515560948224371334056686749654353969225074653488083589440328939161382531076733875175719938890478337492380664691723624204765324377370658100041048654043915027450545710038748497049283459606716752530205051753486681814566969551242115428184222840877324202936506065151922724902278543552724754796529921842542987218102097332273270481870165213720910354645068789610673254377349397563123731678495762959688527096262706318838609597976818588315372030461017450895068509364862034592156989909882704826947854562275591337425966544844080835127065663989581789081134715299987478557124595006454797236631131977247515416541091085973329868562635284439513219205960773859083712995395519909600517812208239624716355158284344184115049659849246961325167823269352096465495427290116217283442167645641924503387077778252133612901701608192754995921836268940628753255684036717480102404357625657729105211717870141355387832606966633415590282465438527075477419686567709584787384660161176006005464642734961342883501393658566995902531806451130008541860417279504866946749679626604110727757162812897047330771944118514576330848526275124804067246455617721697666597347739669473016034967888342653000735088290288221980682586213959316053516999924134672156381734703512918454807286369532748495588591510056528262783918532829189954963431183254302149900944113711823536294487775305101138953661912077406477027894077330707061462573023239468778933945645095874647364867493928986207130093658934179359180615062034166366951846936174426171732103678952971907265325730657195210200069678203936762143684347626814361828223958023161866077081337986857566422135912535794441605548734390180785681561837060850778714671474224805536135945622187668246980621859487523004139348577452483543538763663793895646081021343670262822892670505448434045554412037892853540458578443159516296428861618329735427425573479714197992348885170849876177390381906213867564198428384057863472903260736299623937037797494872820069586266267482639064607126041245848915003572619013472318218663216741059135303900147851633529342561504566129390327900953340083765909892846108004500478683534683371928843460481849004428335364070721894570296348639469020210239863420966011974831904541203809211458735086553548808543190599097312965493789664305155009375201480043785080794229940467343011654656807851895245920264261344369783161137152161083628092935678704907321627077519123386948478762542484924183046828102211229940042485373536260465441312503744584874719848685537241693783096543026837401335890658480519739466534880431865870489288185602056954597635413981345070619081832251958070521733461756737980395818621382310671152507514442370175387550139847843500103097097147644707402441442161498034653601955721431819665610967460099943956537743262981216793062774644430928556593609875073677320055787212353970077797616233545679258957050922728096531912060557171590029091704356501092040373357486782886927977594442517045547384246123656117809717204849513078323701128456346250927620793121054989274594849953543979953846476014412906557812097691338551264135774045570500897792507621185081582828601331219877874289651228134841629008322077509016263620008582062807023324242326144083851392502733477733682510284261958836208731164431616129425655477452574065491175990625817300588911982242948102884717546027312559743600464223863113581278020662372351063122120656332453428026865781966570075504141569207533438975526563669299978942450707771030646508662133493154980582679352926527185327622484015253902298804855918572865268366925910695409100449392451598129743909561481119903767887814813993372425455341755889373746470747194513477117025210151201584723203601768242683435085299581820011939474620834487389540919323594785455252012036570233291732750098039573448046908578418091851879557239073518555846253399512462997387313673082548273827176963281513529364200732028845454401191161126402402402869821857802888497713582050405246450951808092287139486803321390904456956758410673960651670489204050979478307083858965407740665879420223088625012589177612984202836880477133340297288883249478307685946408409395344954223339490943423781378258261557490383589273626811587479471503589708588163378756815823171182429091301670168848534532879654022513783252006297570686148735965358782363199725512933138850605450638427038655074698472801461274840850201683099054449642367336727537283278813695929678445368276291993300290975871556829829136445333975700502967270674630568356677575766932972096398241145849876978294048908481669878656390572113126942191908863710100106139390609507082207348413619453766340568127947710379342224653801663320174812083463698259961997275090030650625⋅t45+1588425573662480950087351590277089253386381595796342245384260991928368586655732332371298563007983874748523533918662069887338232102152425915136228021334278793268761905036662121781630388327227565513653924452862320683965456240828018333449448239155504335555911139703015618210744725449205098012997535285561287997060341158174953577200210224055017100505160942732290074613284806504301917802463958473250374627735862902231178359691949894236763254995962461325498413396555748043513850078206925908263936215227798441888694381750505392000038017243127073093399307098700353040544718921017555074378885108423104976438302974867883865050103853368553331241847598375028875953514919321006432625462175875335442461984005250057854034703760488504032439974429120393813941834274953435199130543862286222655626397641234580383696750424260219488737280108921957179552060204879887093453204669722541493659364679777712361755814964018191889933477734620663932167430645132702588162654290985315851974159391793253648983592440544595621959689324211858905136024505757840024900810981829532816008142460265120900663046508643715752728989410461436088958072690014890213850089417455630551501064649872529911074236602766785385892983140379365146080583832376504762858494614064328046859243405935897384894464032511906949456842631195525415520536318946135671600028798055667122638445026863782839342038100476870909545549806984608520512270391822963856327028292438969775895272914878497672586528238201699612041819743634902269225118185908412122685285416700936916885758081550766650868913266441497074871526060636893037843690235663229042814083886262997222666170577307362690047449209061171103218791854521998584246475501059778002828507497219005782733313872173472536424076532267778037725217992399753344463389028576669280919248802508021231520134690059347875574474101166649209195473152031149527393654991117860804073550088204125554223154255051360874255516947842925134671632837172124457007624554637150003833578000712534068536712725601467678495324114909308495602749053835146245953786956614579440716600994591804477060864968321747026225145807354257256709472270495376767713953339318929859276511191723059278283182151505742160767507651327541181070061870201477237858032651014800384324937519643690946461916207787741196882922426714422605010567712859061308536795117041169614905910042960747134651610531966194932534022561747261204408154163320036521132664648041468050080931835569708744896116634057590863644527651176557642479043368909602957239187457416255253776287903458498545246555226245095704133870272423538888904167178916640431301384389076540247835489311095135193523264200938779982274210084352654295228631301424690845051847050983345173005431856917827796868160960774864222943065173814364418518709638038836766952127512102319502383966473653148399269818865866942365129488241253881173120690885634768897009172154240152639206146190425375773971630462237679218366409949021313107782771831796298687897402426190763074387546909945930000176759387006195254567893416231156604594580035479192127934296187538267092219280824504326800425580466547601358968438129712557163200684907603300996654911794191277825334947204622359650969018333291584561854820533325995560034854638290967760403247245902941300447928509708353677476506994229808300971286951251517257532275413259082230651391643974805261286489563151101573845471875805292709059165955492088912685519716518124563730336167325308386070605487826975751986228092015064054528973226308470412141715367787888333293899186966164400896143653190181667094354511910345734372438830146778834938725623972525522565889459603779984488194693898156336913047053492108723907830457535409594023468216536398955478684085494733795908664091368852452760108350089222194392731768553439398181876492432318680525057969275437497049003564735159564001838152257625647701835326570025644414562663889404608391740628984735237628522256721892195155696053280865225379528367436149137692061218189908363289284464208146347278653433705626722233753732368223098011116577658194914694090502892753358733849031752663302251913204517588281095433416952146237806724283117232502819833123285980352935365240120311845267321339639581284872309303753263324106678040467604192282051368016810585012142110415819980778454215334471131795165916962301007362336283333772397163470649457100589531047408477015958926298293596403296120816834667090028203701433396993781049014136908599434074717485623886051171135630891552468071581514358229490595841118210985705650753165862600571010841269003281705792780031355340229690642638130391448024163306330159616955600288452547746384130580661238744398498138775988100995126934896756890648453988100164275597820817110061047113170430543780279655538724890192626739381592854008071383986566611946669360457976452189093686454123491883987116492630269876831386895323086045926930559452370817537697669550725181091858649017634637580020407763003200074080967930064115754264942751006686889821102733967519418184581297667789544804936384015081488233952124059360896715227805576853903412720807498687588173670708607295066196056780583549605727289187609284798144674023689271140595460882717351641258031751976986226479767794432762055973215251709835918839038793279533257275451751304560127574948297310483065131086632895098893394840783018386173987187429554412641386871115803605094582304490967530439214013433450520034037555645208348934491648292262822547690961064588213952213783863506315746785220777754161178860894654998983380025188606728102166188078885787890397849403873565880245684067719897128506004407748418488902563995693857495191190050662504587284426973024660822593837147034777889139283581424575256777124359739207337331584668080334756361051859852684288945130090740738751235427378007336614426696461290365273864982572307079203133610314096453445599020769114953665024128887995054898116410005581384946436466680142737754074735337565812517584485498275817614942408794077417622143473146041017787890851665382309128624113328074711048855579730404505528948209918925770519578276805887768351331877204561425585389934940170599390994230192683767387572576540957491610354696870415545963110115375113219747559925579848802308284020364702713455236791948907204409807380816114332875⋅t43-217355647029765011642853220713047337703655830792072332469450858867394668507209522090678534798548624161321498764630919167135803709962928783433946648665648467016956285174324547728635070764214563341281091344512331634160406180529948009537951742820095500890597337666727241555562155648275413485125598481337172341351312810989581292972402860214528620428902480664317072288746399887152397768292839309782355658245074853433644901100698882712375579871493774751077222381276474996945830573334083231421656995078302403772957152822619033564094559156741771990669483504119793825709653718818875069251264602238932605365640286762365146054252699435828330906147500692963141013718980777753431642538265685435934175337460811626726855235257380165783353415411219650513498673952836207978627621137592741559341760351402115115486879927867977702864144592752162178365664480401276556512632910300053805625219372622260672145737443577235549417732867484245600809739079321902687570909185308813727570850158881805460746031667571781312993019951427252226231536382133692075769761142552511271662246113391511285742165144148592367826303342261316641738501360489584499386697711999413339212247750572268384394320016919906347957795978938864264225810213426052036568596495752658774682526315861763496322068349926428550108798824591926125833313631853983746150445821852556384556387562019038055715418252187240853395142902278406278221982299351705334004500072390174016052502466857745781714689559922509725792166516170208151629963258145359535638313495730899771951980486958069388964613571634005315588629773099332742514355151338019212937460080741778909462247898906132292214171909837087414766359978315665826864943547498704485806371947145798541778530898301744403178003885811428033502195557534134933845641681116961421995972437676636107349661462790846685409236159414269680134513930334697719650616012850186998721740208758752471936945136841809286582779369851979952301396795822081483024875528709878983885035236624001745093176269406270531947670804753600232282950558430838295747063051240922231037159883892301023376929799729110028383762671226787537693440764431088467279806196580753180147923236540664038760267276282880052753751959498207829475184314040921531190243219759791975955557828548284283313653367927138428556722021460832205488369157886551303298445988352508024713833073005015438410450140324440573244686790775586179110148894359153812070004003720683154163777856582384592350946601328653626421044415200647541629963087001359025175945369310198589080883403935867203376099904621983422014363533988416238413236052382822482942687201971224819683071474725823337111315925374254426611773387509195457179701066536259808113284143915618633153692128888573103568297106409574737393401448209761197469051015536812647314321368390954096146183041599342980987831914557892388209875470757784144216175203752189916978632095919934060012349677031501046709946406879573808601821121889511705986861100851277611719597653814108939713422729717968975649993014986647895826698213671560647585248160519030537068077059849330230942612327546914552308604536392930182660907077422830321106906913396150998218037124008437720038242903396957944908729392501124486221726826164315391794268358715749180775561616976333216126466589283889342207111202533636197713676226367630688591959799586613898571302090715550466292802851398250371113942961877585835667032331430365121710977792911524300304945434930304467346023484169510447319766366774379916898611905603577696187642766017847056053759379972629634122244749830283691816618758681212213637654330078190594313152902490036960619212142031920178652589696749485151439660579897665394978937720369330344479791479837147107124158811899063797820503301009575605675945569673697804489586082313514445760438879146188455980638357464485395624235543830879393907521258679295905785089846864406184407757680763514604470366503290933724717997837692970608634342757355227269594702027512714961200443826512381090724198265980040577522273324497389936143214605093352491463865840434739347080029520232588237830181259905624375965972454743014317966726212768900332289563403155908903371312972217765234741269333522035282058292676256599376053473180504074854897949984174331205234363812868768255567215890595343354246466264243596771143219226793001471211711851869392772320727355318268538348314974609251492138308436775654092326042612860038613155242819660080799250409400035422128432326137201509391745371317390827015701683610452514775364139661103048460019560097702506846239420115263430441403630483993031711143613367976002920910068303372141104359525387306497397606499468202715966642190597291881511745067619524440586607120348801022090739026042759565230705146864869116597573511283352719436674250007408209907185862002774588412649963594932474563926428832140536329585421307713859620458439564634622596589176530702211211670721162535844133046196205655834972534235911132545833856216560875276616757960157078328530091615475104192587257206859505271065924124989615510699339581972629753001053906401101688527986215757265656004914946078416970268908179780310862874079023212090927415834078685516714532840572619765318164034652428623254344947166021333340534490404386424865863306777674924611174436455605835139507212822924735490978621233066121688195546784342355588896423081154061696453822912650474817667207395850328497523693446408473641513459258614737157843607700492140008273069016641883441077347529721680934556698669012448478385000663507803196753845193930686932929651593425139343482966504867226683869196185607795666587310759267849101564917268734111002111194699885633284815068574415006232596716984868993828793823963936455977909309238365745964746732019444664309463364074874794434297873038992729988975881874265590532918894376575241314114990716088817893258091475733624732702282091958433260807246230053440459744255797365784504176435521197533196095887048983657135535660499081510318240348609929091630487644573124654335605406961932631965715649156077182521352972379748194534112597807278214202018334373229932673139411221121507087544170949436674441931505803579203187772307129295112353179604874894262802778285760574332015055287458424128332450365988673408102322403187735613564102997257182401625⋅t41+132849778710764075541860034313369565587238566459528332891375880123967280189638526116718725031091472819279800708334151283503112490419219180659343709474177476772256702126694109066484908127337537209861396957737147817349017432745179684462503215997078672716982591725872712893918893685440327466849980423779583197566634306120445219491549377646522749255518797640213369994062900329312449027921044738253626898887643620239475378986577657001033379094275268862170389120550557992489914401473158317370220893536976663497983825769401356602516815678608918670487849315885014368557738313952010444029858059533400086718085344720849924844216076845006091381012956729444997013609840083876139719527587291014521711658208246497499277177732293888059595859206896534444794544372107409994987598691452995615938285771987860175770291837888857332402831234164819038216857684259834252136633094342779981198431789307671095706135192427970190497958671595125362722463464523043458758027876829778257745505650095514277135023925390621199174360267199914574164084111578552719338005408773105440638765281752037997648339553005027424226510424103950332127917189624604531949879141288379533818798342545811418430969884334417164169060104998319612042007134174130311447720400353681273166509900497407827546635603044911267722622247058121061935018429759605547713880408203854044461009950234993910616260688788111761502636945087818244818877001609786897588270962054331162362942719126411267626652749126792071713071821943065487714493625469783966696884728643873537034952456026725262224801112140836640905893133307576542014181284507246716621420591799777188251105159330025341709523912970847481323572775426647400265109487096978254960132039900862294572768577509548583996264876435602601544726165378525971927940466627621153367190593074585919395496980788247054667564157859096154791530821762815825076947710540425077449058428787895727842231355318125027922696142652751539532011879207338173305710369904746529754163300671765356200517526285341111681302014149580170506283232290378755215754873823172971609740634955655411655958362198482085360765938997245951328371751936928841063232471122411638090498686830196836064381083797290900527005226837533581236009422964544294732733317441484645114880548914642173770234253970626791476639636117721859075731390489863408313855843224784748694029603305911065243089903469116492165973067843641869951115002970887593537798237441581382692845760191509237121778459095085203398499781790875982222731924006246458418398223988902536125200014418838446893935464523397308090252049585997044508429406889818218285880272563449781890603364176238156079615342087933669385786539751775801229522602069112283209936472930456919151258170931680583456297915951400937293557669058307747216948178184545082853404209497397266795255880773645758107203480480870309587076998679751877179098110129671177813353540120883900064532535166424274709826571211561571953586646339596287353828637545603140053706066839531179954777280663475347507488862800171816499722890906804566663815061818336662067879383273563334113755410970992646921909835805177945816313192580278383051285975993334703920233249306722570901102299766586862502630851124940508000643119259989543673049667859564629058574627325411691353138298126334403990404022466777476828884083905533412091983492463894192178678233092664097497333247627490319742729797423022542110409311486576226700576865596038327503315729038438564450150612820153440446580375031121466277703786847489570337301944399097740874943806341426784271277004705796008875609455179472242671480725332959159839787684014160848869656392479935386477895677438804872780101092051226254931568658401987958671483442208564368511557124821829995659169846330200614745183154398877141627009642770188651142409174001716054119748207606217498433294830079747602378702619366967116547975115340362286543290751796042401566958230396303247713620644215828696378096866875925232946165827923596512521211187235920619417687230361496608544872081143030518079183099068624717914665841123162927753439078966622173536195734870247545205708976316437563300560992619156808388874582103442056316518262200682522002932895467171444379505932908986403330943040757848400236852016207666335974001923199423955083642302507342543472609297256851621362808111431671278935491329203750625665957945675476368340081742557079747741469975068374874696972163989400603290190274542590716137994845145094754193556472417014037622918868274020462267002003657960477024099073593450654630552323261354205813690448808329676430754711544681359827309165759335807813434432711520477454161730411044880538597386077442265210767859847755783043918055882227878569174046933042734092726894664381836992136267863524886898509142682968524493103618769816961501722180857422024003838652616444369458503197125975934681641001998134574484726325835397615445876047219628414991219179109783383055898574850129358551529081062279560105565379300341364949827543420184528817995071395903715170913028349176600101347034347221491120733381776784589277819199622947016812363127150685629813147480759765395469329380912331558188161387092343230837356160483757211375348531757872226088792695246567205372733669107066685929761831733686516184345630280423334891617518745608998181794301323667438367811798451875515923087648115801200297931742087115038013976291340020137259779783899628730875879969142666991048503516794421897231650598816474522130459619517038204881904642005496499939168939608299679679876774883373551316535893764587545586818012412247743816935400519831379350099796500853408121056281041496346686153693863746930647445822194069036880308436560141672196217934524558492023479103530019740907402212628370455697508152014477027814498900290075111746810379305552720510484013660454675558042457338770515257600165537587864465394697587446159978604595988808972659383665392953229815884257953473548671965019203401299556497856031282837557891835043040101292932531560320111554449233108450347744463623169790508289361492506463244619201115826420378751199134469222990399044448390069900647925016500031459180657289743104132166778024574368527290921570864425544755443040342152997431914409536338140272893951284543289304729019701366673712428527192766283975517662962924346875⋅t39-226946342175085311125655303697317471150949787137842511349528018871762250941916121420142279503714760276640334822305623946330749160616221965167094687331565168578244010133902485397497473985212723004056382459120395063004709478523502081203156892375689683990932632930302203570087158983684076632908502232893088062821249674855873761345354987983178529086957123594473940048719845357611390826664353897755709104913678014500435582787017943431875721626469090686177614782621759749402112437808297939881789995989381127986445631679575922283269927852386572121333589835851410095377990530472778315129371677718805840066743350812197589628521704095085835071124790779586373678030319328744261795673595942227758450144851931069399238681356623543297787045146984700051791909367663317153156313035355786925552924611028939779721054483160890808692233578176546735784321616147624150733015132556745438932566506612661762875287483277792356209732087651466617037071074106794796638466730152986955079416017014396731735104728125766890015057583462029726196466002558474753824422588838503666414458370433052455154421610778820040022209899461366211152650482001232949508394713443786326212867344035967467114452709068579094629013886110193686847619327718738479668899660681904322889072341556276355593986369025237367082357069334163683556356943007346115253973621776499908436769667451317858166414215163020792665697089851725390037866674553635221713294198774135410571975642634887908361825625912727978762389469142046513389450350102863195142840127862281081216195025175772886909938573619437600440776912766080217359478962098210465954867695459465644098180713867915838693929775859499343444802266047893957594607183270697442922597491278318326474244277413547858679900099166586512085669704648440247232803644481951376224838798985619662216107196717952240384256199015853229620197837555691202918739172051645263585257403542620471675618725661270846060104030952016872044194869895705241205678781164118783397053693817186515106520574377246340867813283319135888828407928573246874252485422509498347484510682184504514947200373200305854169759484838852363598647647529686415117660711601080089350442587581218495690732609862615697045023720899795253975575941350914367150767893094572128121380865342445635274372249256217653988310298693569258598994834557654193564739239820889006394523100460727552566141682744925184297728422365401596402344566750590536067981201002763561360726051748874429853583203994904301701558445727288249989517624491774807910135351347819863948942312059582350470330473213160685087496609862688539599197368715767935371271589561583652139016436800590979552088822613756764251572476417618223239908278325869106290365879697092023212716312720882837555195644648863106915915783726389880177706791192338073645533635098304362473489409537317998183230324761552119664303985775328246333022182997329326708576914094673426557423193872468100679784130714764825645343155595207969015029087457480032847639310642524782029693485055764156649928292158879488900504901242383232033301574024099121517621076469669314100914822604639242500769159336736115134604086618864877398924117308771226697273004024866936812659627280315492071055201778203316174720903057592451516427188656156617050606460237776385970781329808654201403190739228031567212569224409366651086423941197788410207068530990814672222275103883251683631636879582674901051311185268701261785081982331932565619446293148908318935296035014499606810994944960957910322753019357471620431779130644323909480453594334793658806877694063522130081843064053468825798628207836412889146488761351860898254674355765807884259635868797339210937788525429653414165895623525234317847961770292922261744474650859974329633923323707180251843510446020971972277211146540285909579676507007478053897432098841457675701207864003392047800603920899947560162212568060370552831817520068132909198813477430088240557182007662201553394552835773203027978459984821556639222622143456895972237558289760486213987284212176395573691344441354787351210803485934720073573873362326185136634885840307390876312348123669352901171680643710882224174128423090723613416026373445590892688914007517731458476005000341991186680909529770578548419974520033513194333807495523151420212053834178119221166190050735327820068263484064070944523559768762849636097829120085298507063346893622313725392863967897432947766111319163106117544139379819758483727637565273902990936989929173834850506199491224442392317850502308488000229032355206381005207176579261707538023621227849502469378993647340268128012103072979037319792266303825338226931967639264664784925421712892530964366108089513827404370037089379401217759333677958019937241819968116696201586336825256490598795107604366263678898918405182921230419978570585642590690990393037320141824333769624290637158151724501842682448211920145451865569268879982188662997592817438258398637714113145694242571178952502918909568902680320995455110768789495102228596984251021054546646080332057447226608546933229949012417848515196508833695762752501535198417842623723041154780908770877406881684580111123606628073868276978120945800617036200796858159321059511580557733488183965793834319767206094695957180076581142874229531546481486982367909193077414213025513331319411629287302352128336108168509513724991099234558458910249346701539178667236341698242241428442202022970532544064364916245090463249662913333202533833522684699668761245936888611707291475796871494869913906966606319669608015164502827694527040813549677821652380099559728561552110505779658525082838238637418209079701166191903865628182509324484601264338366488776906011483238614355214379144904432827313404397698331483190919931659241763823187486554229345689407257796334423981008654768279429717485152031677638728247235569646786724280627003243236581619496541292824862320928389556694274689114805722381139572420742935938002383286153509595931319191971519300715544755296381875703976828253662741091885325479312659783098887318999532402819201378400296219294101361451941351127006904472190319415147562561621308343058169319724235431435001781812731613405771745801534385809566554274375696402188236116758115204231183163014056558329817398032147328148589483081472459923289948601989576539953253125⋅t37+78336311470577987715959324520901959256223818195898406518332643860538150985396752891902331277888065580171586701817236856914740568637281005746548200086775250485358232848371697823926779709868980939618100625625625636593678597516920528288211555884318086502126650421490615716346576232077854724214184235179628651731134418632394300920619574704315628383058484254549340373247716205612821751194923184386010075864621012603733572006588849207741780260873621211078797169986777123478937772484126392682350866821207566826722807286374512513646242102741374202983826031943025024980793914107862254985698877648193005051258072659352889232949996131116130777574836624303566033458422298396329623488964669685584674629296079065793653388181269917217708360714443574699076195124848398896384868376689450020323487154057783933588374579261195290634530512732284265088149166475305491925418923775915105595527167707373374197602690476604119347514092182837780002550495323978859013398745955633747346678855941233826777325356173568635267478736995717824730240395800116809732798951730200550671889770638803003774689031402271108506546709283974078858479225589948674692135399456516702847514853407869534840523458157142226857547710286204556451938027162392778182099958495938944397292180247935288102947132164503531679670879605591886901323104381871426406222710629481145667738146847972059067391437021522649421733188080681202191637644801526481017957109544873350278105911160358485857155659877643999734417203866699861340560914556427661061906231336032439562834581043125268295389361699116021213377937148114382306707587961232212366686959304286137227809695943031688522218438452891922742617358843955695899496530795370491831154127207220794283162328132982781391817102770821496197975609372989860368429978827673273177638948231304892131510702175314615071343436786582571381727348116620757460170785294926043333133275132850062499364660035783088765369324351817038818950466471321060903026578786565533927032946398262466610763071938061095722374426712305601823563608495884759001074861087841011327521266782873594340268826772140430484837180541796653033889566870415811977237059276842443062524949448663800434366126813756882681613036369331979182180569818629497952205338287459806243977629726531517753489394372045185795447476961739535386920689046366982422210862211134244890813726311045948258272201591537064957205002807943555607433190237885832836165617177669761908196857970499829223698916612532153104912996658106500523773215032185343019243639551450791192035058907337280602575527978897029381003229262492606099096099667752445362993669002710035356888608066084253637924025237300655496157499622902226513556706531220249194817435955655015367711035492074075614579923365840126613974735133584930059633748610681830650874850063392440714328792818342438292539310528637398589271728315189343972499137139036968068934740538118794150154667094813454957478591189784064370808407368503025968804306130787883033456989213629182373638058342179900499647899284858836898947984343639655973646113447134758451217345468583517939663881089494293580124181007377775016832900301553215578946539887736907734737634793932413200645875346338544158738956944965318239866823738164892926294628920258985335494628675060377251723971576700269734805912996796051323714665481858888853261335176272769967153867912004529639741686953085681386456032491972646893611314275277570039320365905405005006174738671136593837300997298250592602838893789524183703907177895229018887271079135262895592010449608223438886785604219877840211989047930207409784379838905942710407008042176293733388749973018342782057783811679189720566435154477763615444458041073019737684985686457152688879878110037896409077354738180882972476395833672902670826834482783146322810510881090106298602071671818380487704493013238978167917922160871790697177891279986769120870047863050397019372845467256981091237372847218410565199218174978559356693568727466463352445816784941145200480044915916181504829516020253909296258432246290049104768955916101054412247961028921341047452185108052640772127071784594372895774540485431270021784669443477774756700115758486897019945634057750433138788831270930220830513971362854575901545572452172779515552266356225757064949747128657235470034215395202767739266865209788504471323842364585607135604999977678116578495215356881978378190553711023694931635144545628264237639231127544074479409549247582612798727056241703021846652503883065545589499852050400703870712240815182043345183578588088808600402339342390661521990814768110679576758490794883872017112643624138625659538986201175596368747975954068289482587570745710466937081639140045655322919362827194665500515295830365732670088228360089552128485694133831114234415750652163799347350985674049050837171262542239585354763714355437144634948433327822474798021684624280682789233670217046710014541300734191666207100886153475745105934653438073200274141071658781596634997537609998656733022288527646034990014327992132479242698655433314009715854983350946776506104796230502962518027944954968246985171807736233698685196730268492581439039843107465887446761190713100997180339879017543968968166785306355612966768415635544899766017769402529762702393308615626230839695037452091211081666266383945684624686160593599949276529169728766607712093890978156847418645874509207426952824217242993870930813406044491774459997282677730430594918666511235500532096117555485402536402051367874916124992803023052903126789848919250885013564794303532813174243147729187543474719440400559192234259964619314871316531354818666574759511783941952193669410825142534036954018137546483871272026008288403950716320815596594477320754049504949201888160458799636215458791411450762342115618168757241904193277887255131217886037978293314045210285732800993730582894376422487920224532301884169919306701924670345868339946307174887595827729010004503550286085121518656939634542461889068328693673655782311819230262539476006465484429959817852826393692258413269686967058109664833438045097634336980891332821319087609080186480038262009548362927308373093489924903487491815462233789987976940623026356497965489628109695581876367083958860519017250398620600526900519724575380865327936176294657572487993647369250625⋅t35-1034971651560810567662869139782950413982246889848184965857832023321081047869670690977735263276059899895317749958975168427574835069604783003322887793132437914143493240891809845175776610725461503518315466970866468795288106995654881686977949637042398471613911393125132524226886708203358320085491616030166204285854377565406293920949509402338387788386193180457612166252877422695406210333945327418196104291991018599108459302226589283679873557140196399670334938427365279573436757367971058954680425639460910317051179735382161738503898899354013163986358488857870179216752231467243128545204535261573021895975405940684461266404729041840491977643251234674876792770692610293514620844277158792826618176171417268859600440481718871636460525120238930275759352489945774694612391891127710907958068200759800304034168669105370628553427652014798078987968267217626772908967328548335144940649373844312524689226401162859572641911984811988483392482826651700661899716576986642149274761389100260701117670384429727976196589421638023185825493356824931150922947888350107791375674751824703204185657376380339396596355074093688534699454504349848012418425761582456774200822314172510497698556519684517177877448386979715597325834088861663993631069621179128171516448789084160512405579384950952383691142183423745118057745181811954125164764985813480031080715459931162999448264839143449859438665695310512596401482060857090288366786691189279411616391197971379648206153465542182369759418354729189121948883592148765628355753460385459963321222484375546523853746460252869059218888173129561234900658281904347623276019370610908930930529511374438286961895735495122712864136919367570915912132088742369870817891205317855935044988097290079869163491768055867555673219170675098811566574424568014487421089618743231222945955469387227640061529357103868981822503130827843527522665082047076495763524017643613975410555558362845923893954327074300972255138749996894380692753671595001053176932659956136017422797673242465406591681087431281163848126650623870187499093143795226889875161653638347457687940785956415690664073648654109216098217333855797357613766087256001548773170082348407605178526962357529586792561352478602486586679143014855253584435786627129663877328203108986934141256478956210556156508742424730186618596638024345848407993452560710636255749233176888442130011565363423898719826484910637684100247736326370891841936575347671482867113779046422366083471729543717452779003348425332710668286383849279387520448672596992736355995920791421676681778755600121381326429951949218486844330587382334031025346124114779703272307980840692991253623423002823757300744178532882666941196613510618387275488274066450643201593107591447069994937762243676717060673158665186084615403586901299988455058402537609407163450108357890253083796985084031871381899542297684624903752056824435624087492152333309053572221322850224371860360878916815491981501526623998503648400181641703182226883766055051057463657193997340280151055123079313496228911640638844825072579457248872085890444964734894007606589805875561461440156399466159517056651883737838818899391091493587459955778443646490867232318280221332303854949218024918640671149779312310024590711167397134330550375030882860313039697240140338401132822798292403792636257693124864612212280127531703949303814016067264954955812495404081356188706155394728125156397598951912353271599713490798361396426375387702469221016784018912542880999107474993140368967881472512763758580496934982315899247475699356629300719363192250758083941579245440418356133100049938742916033967868014566292016579986073798804905980497392609801976088048433743230739840949745694831812491236577217477967311242826967036594438494814894759628854394140090981802376328960695886646059580725198336736737969583930289857254109060234604387906485636110738582184762765721597040865969722851872650985352782279305654178305971136127883823349238291542594348457675230637115839841556306554999293413289956550554792049657951751531481428984073688705177319784976873622091775975188673824437417149345605645248692209208189415843960252283904785239309031568908535785604176638198605527314564191502783789329586811041776158441814298702289514056970718926608035510563571006278392077608991884162984897207892998867309147096397679347601559723828613445190572408222648868545226709060424821101039453207018021391834153257472530483563651087475203761198426880059296148764889467668099857693660415965143280678183787497821976319691976332593177216878994977641532694634638578275362274618292088157940200605185820534656627106382680556312399969485277108857716718341072023073197201151946547395341641369070275858778701685002485969459938404102759328483631331812555746479951549712190354317641574378030874361771740934979346551137434989196264177686007970027964894746201862896002358678901123279134846302643204207850350136194125093726686933663316415445993279614630854275475601974769223613434090193464609476017100756422924303634279350408869187512686687857002949132575681552909500024895109478529033346613320771493581795787270560758558761188563360026113158718040010005992445354456637638802890495530813321902148008124104333071805880386703944559073636154565618618707822182311239093203454467783751125593988442740845324369321651505627972828636236083117463502919484419113522751486998522833974738411183305933146989701344514980485129668864862743791894962454589223155339517112622280402310219537754647252545404426805453102948613559368019357418598102883594362920533401003700845035228859327433775755221147322309400559451760603226402959610667317858340622159277463340726755220773327800742890342153956433584827540510538231134026906623197132770052230746146314712288589206875367707915161288049472732195108286033431036252480758703636983140593133566188424268237180943713312352263081528778742402254957531993066282317880075714323559246101555643013923862475146738563599400787173578002620329666071760302575340205293779981956524316741667338400730815614366931373428950400288546057910359843017542933446945210405563105448427960574563810839705071323460634136418403260310425403582827713995711160585677158624933478645886714430675618660508629416132139288914834688539296593761113344484431674375⋅t33+4914168092448423283920209507977558502571530873989883474389214480022943057988843677789042883369163694171741289513704359653646520866385834192237380759964262847311384454082478312123265054649632005572712324879066350913625792062748315263496492140832444413690236564622334699014940248406882723437869798246246216011805027575887731361952538477989448177147065460538566010706200835780855149194512562547606260890951992784386714407818702035762719787261643984218728682901936433973916403631713679740417651471101697566773055264046459675482332123931925289507785974752291328013586409118769815148508792805048819032099175346228793188886918606110574009844715241216412729604049817894781814199733280672851982808533000244035050021232341918508622602385644957428417932809872574330609785708468249227834745969727582597102414122197072982288216884220484072142939296188489162421906478351754736113337945464153870624077445896999168535494394355488220269416787950999841198846863739750866698161112849680208997051766480277348799147079669520838320913575111133360851524178593866338815586968722725042966818932519644877620635540223656954793249041731861753113439071251730904274181523308092678936942105665930926193049276481992712778802889422881567311508477030028792082477823206737896002934267114866393857281431412587752659466000632672681187111063726374400504920381566821231928866218326116275406367720234888766539652217861725923611767156580955852674533056950573430327636867984022179035288648847409430467290341425359529967763359701286061082323357761091307372531443517340048863812054631868848264277843815663113525212911684917975181374241365941166235857101747642222011590290114808840827399175861339001087975960375420936180125828325986650285862257030182816896778211403404807771833773873162033953158339344720671261601080112383567148842967679794428720427763407822621720271278278077641099738119920468411477016772511401199758597931527883939847075955943903500496979351510677997604315304932902129578011396902175725930752707432585990271022634252639112977860802476140936712064628094495760256218165780608890083540077961860671139699481658532677955162386738296509748585278600661246094331529827938745739705371858649058579492277199232962734874470917991186757354669632111975583669172086258702142528155276707989749499534363308191245728690823489847565897912079893441694744125558490803260158760122687977709603112631635633659833851822629612770371111949344071309179213449032048128108780151043734891854951897544597334764943042542034986652867349720435409643905978806865861588942573032735629868887596807530151749701988301222701871814245731176629613773561368817416868200257926954211221538659840286811110986018987517582432523049310546919816482683691461921943920003414255599440628005455857583889956543018236898059762279509431008395416085273835902037548199676155529125275307596254352722997416503091963931081229571477203748354718572298956547447171940981793517184843303667948681695373119269200149069112226048342319024110939499441938880554548479205857417185947566972423326319845258741884574700486672110889463441849761789935570837178733131351043341483952574507350778786632257099513491875231498915480449718940500335601260707357677002214644645869174022833958971990500772284121169022095206030464667647288890212613168660369694986018613643049539328232369844392806802305008321379166718636333523267555341833879038574617192059121612096745660430244893672603435701697875407087825822703575820070863268680456620550807593575273106491279688686537584303254664138982471798182847885081593914345627061111891753707180413956281511821770073123144220659900083561134099213258225658433464905099121491237170424271812205832977984293402249762780787527542363715081496997938496118953663681864222153868205824323412435999640258562668274052332376753537724249131495833837096920274635008856426141173349951670105521585764156964874078070511536652078144117024641370783507749217423524019127446725376331735452104518638031720098372535182015141654208572854072742799703468348101927058135226096106327757147441061375728592677300359082836163824589962435307439917613018147138578168450792022867910003450312661555071272229481710871590365526267577335181957651353392655555031763765063476234445359012881054381220553990903086996158871787555619564441751773226119174294704682950968818610783176754194836530863565624244073899063438525814196215947158302187067538685474676568477604824163615580708599305372346061404060524634902265203190922572281876230975840127437195488931126919660543133069675954099940909247965727005561846995620912958351012715563530949139103326657754269157897889226694888542618274816579274970043875780969457281315167225241759627714043852544600807010760567105353551203042188216347851379384158847832320837742631202048144496185341097118441914787818214151890004371784527112971327920378136403796354392118652306977596510373043564183980631613147759633860224370261367384590664590493395605014553513620794915556685282055937776093556862008558051464733367079627182778272813274014562191206106482380846977828021810571028075021175015037061908390911935047307293428447588122930024955439893651900566571056755337814968793511223154068172113163470352135773410081567538893371412884660888707503888415596438559283847821292977928532997044379724650769419373721855266028533141500540351608276369056815056859962328059190142659857720674260434933099273506661308225445718331843604241389798940221334235963338669838055201628367937750544066871082429809961507799180024476194602919212608786767498498063491236204341565569015172992963937496836850734419722149277503964267965154399035132402566348454713667679656676958127313889372092950152862822296544069850323632642451489987387633900070557176898178529401283169933670852508569893703473214485685370501378192926637534169191442671454281644872019207789853292339683520734494807013117750122896283130411736979459597824128797929992054178554506593391884262863442084345560330846758902185107578078111615544849631217471845465019178613654599424912242421042816719817764672546094569318348493164718981155481045827016718120353799651394195223011985184009295975638886133835322154104396879409918120719801183753907160338014953933687538391553673491238750⋅t31-62576856677946653205099526312853878751965580502992483125030664549586548276948283391341975635096314047904873674814553130111293205519920696221917944820539800614588491027175709351922087839245055728362069937334996731164500560348537589326099047244507253320602529478077092051092435332181281593258535267196323778069716734128342490884032485595115265038037413502985819130174899797548348456052758823227094961589579777112824086036809999387402866088867044730175029219743058101336272804770576721754633590036459634518514110340627021898255882347552287629521668495030745096211078043441664765872573880676464483662336782381259132764585063916201759905097359672127746819984032014255328856648581124665506725231454591649684402980968413312845498129266217481653688839396977808282498722645951073458708033576030314127965774248037647495994603800156758319695253515066992591265627792683183382192582225768124347547739640779749660832420109840924624946167050055709889128177417499692872830950308628853498315325939953575647009524318307352484233486719856231335851691898328197035824207880626770114002536621110214034702544704992593087719961612816540553074664712882832089804725523541920238821087241013613573963164437081792745513877765795409550364585368556839213513458559318681378625902597717406641093487698201719664759122162879910599048658436667336559494290505485976910896862256968110524863872570253257069698170449566493287775191882387325972176226991102258149050198046579505228323333732556339312147661035622143205976845691186660889317506476704835346710410167833378641166531957204782324040440146492214812098673131826346902037587697115101073572092184727343644522758870027033551593611734831597313598151182316017074670395491795649103670367264548730694184723587151057827722454723118786982623059248723378272069383804311243088632935879042365649743268877448312118613345153780705049561990304214615531372116814758387864916380526743452166718877018410654854354812062707957001637826496710421177247741659557654979112637313824391239282055021438884938982784301924549398400293276380460428565283727620790673394523112737988563111149768758314726960352197949726822194624617311301718115199107624533751273063157831694092407920012874125535901549495918582815472644067480341994517230099243443802342564516739380485399722426087251999704693476848117082748416273044252501691639028552790408685051905031225933223667734983109133082553893791339385844458271241758649044718348686975078423896228115284654108068452412920135798905840301681260449084584596733532253035759181394324789822779203156040885988921136844074600175878300673229092951784569478992488645377629852953840759569282455317648117527970633185059295581467834460569922048372328945133014653746655802050283710353218324848605928128042262014987060256155679622013988344776503661442822582045067176632300748525992091125459769173062505568576491950395154343258986528273619945377032727209163619083451125804001065674447594811118124263559073797905560088411859201418360998179234037472821946951625365801054568909811314500357624548727647844380369914623051760714747480511212689315523761258073085714408877236926354207120896055759433021966311390849343935933598996252500436079187445443969625228619185148194740953524172436278690736410152267620645372314905680458336014117519443762842797025888514503123336935598224390449284546582913747508813054256497025648477720658319946398292353310531993011792468488561791018315641758607841216591662399133636121055756760477069858174362985480287680729497879841923336594210993042248061727620072694395199096496112606758325553287079114843742323579177829858333113337834391179495168109398976647192903212882130704044422574858877175208710202489134993720057098981239309021344165483014061108640823167081929271004415116409193629936163357570857142768124798076479829116987403067872638654728982369453784795613777234561675387712174734030382042622005538394413407008067800219406110145403821883663994219326138577958596694691274608294849143087716191485742134429488685801958837489932507052075012186314973985529977458919572145440903408329618447687189251949372553846721342838539232936166527696923886260186797584535484835118327422446445511248337643712279715578351683932671494413760554401974040359753872376444975717208312981422814034367614280682654771282661456560993853025443672082450484002580083487931601659927382563048133511571877808402643076443292825075300080587425602813655449704960168257211591796070744874305495231232658392031189233386210003357334959117689889450468598179692514188094050475869797129554478514317098208297036700813550611485057572568536978804949280568980988602700986307023900918817967555517935204039261905226258457203366429570277687388167606769761448178595623580444937327349834961132054112131701734525161769843461051816662800768183021212081253929906896625081981659839212270832824746488119591945426853916066783128509612022153436154220856495119292908837483156659437857612064127480213222765777774412048533126576382037783933321271618871381359904223904330279553567365305769213125634591733018535852609740014420100831535370265252989075787279532284414393527331048716149766465797519542480320295677796642182797194938137055586888411305528023418519917802297806118414908378065528969952336017234762237014089609607804413478309763400455857620743586412194305954103262849902267475990932581411498228751262871467382590990987538561503751948542852224378586009112039234422205697460529626549006913822858725366544056109552473180094113923239480678254961038615440133402472710875371481847134034119302796793546819969960393403765013082586336722044579778917848371665709687073370106269521265803538459758427802630153371313380281999792642504953701542131745140715489115544252492291619074016064685007342599642003897916347541832489834476397198427562589301914426736091059913742560084851078785362802724748633387116794900805060688859585841174885936610794333629923365257814283812818524445663438609829545400928480683691804172320203060379785821316934337231884429539914626302866689065420421640316856460232704098581780186679601727934023205353745133298753573273282119092053422821987459141580188720617353710773523392718906776757476679624735419865004929483702777596945919927784061268750⋅t29+6442790384763229410487089816429106977612086711968795792977176627546836979185748128067987507760200422616472034120107231493753349078393877338973664173546201933569018917274579866675879500771174604498822355573894644031144691445761521304128317100681327800476614266196276165769227473124026198622904480663344925958695994370838609333606285770863036742105461565122517854989479794769154828403639036089541070507441518840581559688718040622254971761944613218838485808454199708868568967305621103163084588185033131722513725829339840910047321850236420788043722776820567337960129300558457292599109449983511120234659617995785823598619550472481337775555808376588327608774500492483452363049599693967893678071731692456246390900317164314322898106629679239956420522021110969731571105545965861927297596639916869910218725931317968132229677337971443530659584655123165230860233745909939737564383882762889987309738344123288490958690053561717010785694348978676611675212133432370406247555004758623907022249195192963560793264420660451945435395608345762882856029660854642964139542571412511354814177974811090341085867106222764894418591454670252342186461922545911123249089189487452257199668232940767728161423678099153474713712993196334281717394494122192161005646986348683518995129907000432114945893360876929740015085321208438013384946006412398654991120540399882699163494582212681798657380266382937297596979391801285562025826743927426875650802043665372665417871869611869499736586231456689557107400489970698771140398604392371394211475246129275618722793637694180195373750083333142573153658441891563961083324988979453432601106675188305904099401902956792420670783365056333754054132294239657343796825746524059786282099868999220609518666188113704805195749280636874135449792824427741238188461887745226615452380639210023539881126345148379001058380157890750546938293119163701063016068761547593942011110013129763120785979995324907193434150258312826703115576526830623633300086218856944501330821721964310955893304141347649954960600303460881969523609990717424921362194060885280851004924368329444101260719549004390027619540393989515882823179754364421980581389345161406977845085049691547619026598977553199466860401506164086839834617201735901651412217338042756949126053369994958351992394852970745856298565525721341878070095173745993533604586064684742724126349222856274700668370132683124150863085764030529147185111236709379610186056599931366557144573008448216413472232896629446325843365166796201692677853143696334314869190881185901075382788848440118263221746378682105633468429535914307976769502326466682378169097058393475721129789681431891877143707546957810215199565959415803789148757949552912225407644436825179185271492757153695632819329154149448541884601660093864849564813450684118369811110868876393227851837294242729948950189825330049876704117642096252867240407282586109728562750787635215906546050252464350369161160973605228911447936854938687262016362247142290708008831376767632093779441476291370176984753953979415633510648015255375133000779640723483010826941264904649736862136791219479061199191746122253487365314408877236926354207120896055759433021966311390849343935933598996252500436079187445443969625228619185148194740953524172436278690736410152267620645372314905680458336014117519443762842797025888514503123336935598224390449284546582913747508813054256497025648477720658319946398292353310531993011792468488561791018315641758607841216591662399133636121055756760477069858174362985480287680729497879841923336594210993042248061727620072694395199096496112606758325553287079114843742323579177829858333113337834391179495168109398976647192903212882130704044422574858877175208710202489134993720057098981239309021344165483014061108640823167081929271004415116409193629936163357570857142768124798076479829116987403067872638654728982369453784795613777234561675387712174734030382042622005538394413407008067800219406110145403821883663994219326138577958596694691274608294849143087716191485742134429488685801958837489932507052075012186314973985529977458919572145440903408329618447687189251949372553846721342838539232936166527696923886260186797584535484835118327422446445511248337643712279715578351683932671494413760554401974040359753872376444975717208312981422814034367614280682654771282661456560993853025443672082450484002580083487931601659927382563048133511571877808402643076443292825075300080587425602813655449704960168257211591796070744874305495231232658392031189233386210003357334959117689889450468598179692514188094050475869797129554478514317098208297036700813550611485057572568536978804949280568980988602700986307023900918817967555517935204039261905226258457203366429570277687388167606769761448178595623580444937327349834961132054112131701734525161769843461051816662800768183021212081253929906896625081981659839212270832824746488119591945426853916066783128509612022153436154220856495119292908837483156659437857612064127480213222765777774412048533126576382037783933321271618871381359904223904330279553567365305769213125634591733018535852609740014420100831535370265252989075787279532284414393527331048716149766465797519542480320295677796642182797194938137055586888411305528023418519917802297806118414908378065528969952336017234762237014089609607804413478309763400455857620743586412194305954103262849902267475990932581411498228751262871467382590990987538561503751948542852224378586009112039234422205697460529626549006913822858725366544056109552473180094113923239480678254961038615440133402472710875371481847134034119302796793546819969960393403765013082586336722044579778917848371665709687073370106269521265803538459758427802630153371313380281999792642504953701542131745140715489115544252492291619074016064685007342599642003897916347541832489834476397198427562589301914426736091059913742560084851078785362802724748633387116794900805060688859585841174885936610794333629923365257814283812818524445663438609829545400928480683691804172320203060379785821316934337231884429539914626302866689065420421640316856460232704098581780186679601727934023205353745133298753573273282119092053422821987459141580188720617353710773523392718906776757476679624735419865004929483702777596945919927784061268750⋅t27-1909220249040237806752426454909660818486906369150206376434907070756959408497935825874505593527206756844515802645053668682682526099717116504819060643421970821119278080130885485179959915981231350229250361161147311319868033170994390409212136148282436062290124774878751077487381746311616379047814637537562114114237498347523626894200893432300034915304360960289537069629028841471983709448989251663899334674550318051406201204575710084805648222992591989525592773422585826373691049306418714835829882279342154000146237038783328486496288305351487535731199703731577879402579047483493652574858491063294439864025135608997770476501942809104532996977789162692371427495295208607733608887324985433984180876470545887812702562425984453257558293536142356667891440747469527083672378163021351020050930712129663438595543852052332901919169602430154120320130250596540231967234702507993876056824484989583210519180038065739959641096410271586706083333164682917434408040897736441245763890807088964296607618287691980229527438212094959163887988450204503245940272773338392884904824665047334821721721766893895178497452543102600822767835130724949294035519068725340338895177833443528607794636586810316151333229273039109177828680527568718014716356796448541011619441853562331029658518292298816151310647742116338069633985888935401560298296769040786416687859682649799660019464637143520113087863407051947479249588149546669842754846969677987138976697569272543749160954454598319184508076543886914738573289091863694709609368435511133646558313900738756719409893102451437211787018901718533709826157181958159091493377439227544571184088762125867766854250693534878732989423061891069798528403309979776746385349812029777374846133661244760479933680023744623867038701884944687678550617309402746684956316385008335468730423389701819707375808648144977615534596046496441125797825659588362221045961931484061275230396273199082832409985976766915186500036274274417712455370583350950377811918829087840843260500618077955297871597790424756579090377080122252397499688613517655676973084489173331081349515529942953268930042554778448686327177973194869511287153413217342653411522770577164709987374307558260965211844242950022291803354354941043597252812540184197770633381969119695847134055808718528493465726652007527510053457615084024333467755456709138843076511185069858666441844802782129952397498761264016304382333129113170361468669284909053805810628577060853860086629097963517194705265214802937345253346132152689874162134723305308322442809922043744105270707845621830677495431084809162244303292828398401389310170333649902043953581332829071855572240777773112569617421089449230689008595655307955408011780180936126322792122140937691239907130722430235358792009838276309467583176425213721524311150431264107834769986769814368389886713256573876270418366098139363081380882397232611333567676406244987931205512211266071748408294073450744570853360675189666402893209613783227074123935282370187839069058712009400123713899730469895644956627091604487945839390003179742272552389630551308436504583499563213995759189503768172373638844195616551939748514738171469206084582141601883612868573439026428767461055888876271045239323863452673298401443162239556211249001764890357840709550202532887611600580184867610970828330362018329167820865407032035364051639513798735321378062446407116994979168532850158335516760002216565476088526442123003343474048715449703000061668827470060071436335563633446586266180999193525487737960818132930261551277770639198395072707781121354370578207474992237020872378774789921745203883121478501157381560872652625785633378241866636967997199021545375916474421592195726276243847053396892845820573072353989877845310097579930333405199210380518724271517923121487977343449209146158901110896172921113997113697389892513400098036994623124150298500770984408935302342133930082699243729670622000102296439804732452506442447838612121950862323721898390180686849223320331912318507389532911139039896104672445089177582944207032612127807533636136387380723946755269272678552112656294855708555230331076156389519155730469267858069768831106192703488776187531730256768305715772846750286593695025072207108580261426640672443024753144554449476140607927279373873265164553456043689283529673338123952977668734951793450408359129483370349673486342330243941023577710718814584517373492870582653648187110699691591390829775396717425252796590658595332173231329832216354247783825154023145809748253308614114583128731940101021405168212517474375254103024174048869320181988134241741176951106108811778479114601686240911149781338628176892184528448756124515113140407361303110777504437601197030084862085056919953732179135913904277029250465210797204584000601332065927424031405218299532431158626706066446212665891728825090291793941980414212835290417272413793350444382693061320777214898136323634989715241932377329236122927986606577226108487732306798966023021828810301137567717387634613512534564908331353698764735947414268632772125493666233607272404794290674341931203250187775128369140039505112915328652323280875760375539967223074037292213062398264021527028050669077945341635681883981415219850766992061221539376896084362245415526281239136089292652532989246189949186458133094174923690293719738171764611480160957621139090112459447332056375711825570053717519403535024469616131086132698647234852736940967618151484806527143110275921019704459187158279838515940815507398857002109592615871457436785745939582860446037643414524994072325516009969826988013917180042797560173339552639845519538036341908484747341391931868730917799113542237642353258748726147170663546700694510172612133126127132753544209270610482761892255194082508261621353978939867728919580957079098624980047192136986556709089703716828001170174520167792849822216927820165999711874532293131022702222507916090186406743180971829586251834682845322184712410239646080594649139170471122441945502639100399072207621005420301499666425860887851192499394623098921837782211900125359880234141126687888440030523301082964029819731423246123170977059527278545232401364827424691241594522805663700646644521286153061082761578183896813840988294251578810696153120133416617575303046900618527870696787609184458118750⋅t25+5956231346347972459713828446806712150525578432892706814367504420596142574775218103021017758466016295252039322289073339987015918439511396362829576780975514185345174784157626021006965768775001443259924129839841299448540795030061696124763010843371415859393417910980796172537362859940921453925891028545318488551857614468854085291419163570111944255107755453100926664410416892286423397139497002449910444613318892178992373422237659623504400924037087541656728929584342503643768026889750966944562209458988133342294769522543768912088289723356159896256942289776751873966820213562151937393038025989309947007817797893566607681836712410335246424788273063409811228003341886127784426332845063028172329851218957910156347482320893902603879564220965709294098319494071215314296284461630594240617480479251866766399847998424564114818826209058831414007386810769886336790361370608802860450322811082555058887530461845104408341802149313894828075035174657674954459344648862133749863839825479345006558831250133726169297133925666305169188582866082248081917764396057539369678812154587548734898098577720376031826399003253264544912449251077615835238728015828477599235000015687341662619654629847124843543944356533855661398423923590985335246148761440957528978591881033733365056320724300936680688027920210657632548969873744198254334456200222225092495689752469882330814763723875680708553013946352705736501137272037090340359813431530073167010384851812680464319898217723295495725436107771927327307530786446921525159398082439593367450828188583237696985814922768580260820993800742794697222066146668678287864302969620198399208853385798654165452549448281547942836278069725466067408192938535866506097507741618460442343669298999793973701992234132820705407646919144234014199052348608463778305371635396683990085472852226338162961904705857171969260339584842820595617364334207344118165232784500314621230419227446485569361772724139906343168831940490948675131713134254443050605081901897209873016990390905961144091768877119487240705292485882151608185696441047134018663313561146847231954982612485700037470488598497312019820269692967680265745682039828403462747589548607700456486684381860987139343745525946210262724683496167270994042208290523820202083107749889270563871211578012238617512881973409408061261559096362817888714435389694043576078386184311377858317246720278915585780581457274427380851533648006391339731032591270265240484038063653017597105576354855602144516250300808161257617180636027129703008377780878689904293325315727130134271298536107882262114803841250823182074665963044237325956104077154883744171367239500627443787494370578606610339087864405604475314877420414710615482623745631306086764227836342870666391356321059403374705693340579929632353079344411290340328167231571955928304056788814868971989784259365976313455112152809540132340768575348494690148181864956055925735054771157617784500551457292036252453825835171361344820157445895225946920120904910020411725591415398505489556844183976211752295991512144396527992679451524822688093068370414094115442913710052041506609436809816870909125969700818691091203255659574033595578710224554674127652858112373333740545536758787716431272228151404330392781002744061027674606687394123255718729228587655176097992691591906217093435561464525486896139938722678562073044173197810701546434352058077817114617073035888750313495434513634271707647409041868374007702579748727538308084452531087608194939360648335604915330834829664700695583908888490833043612222868643180754313309642993639441257220534358780840489670379945950407297659895029059631534226334295957421897057712446484271139569465917931448325011505390442781689439220231504114055235706610020201268438304469655953344565039663773229165368133564633978122381121448863987436780661855588902690255673480112662323775860951488831424501490959028043727551653282729082570686567875475211186301721044309718295403205594090051525804949657777296129773528658573177000494437190926841647147332445078643180517065382159239331979736572960969043763456927728135448055720676546621568538347595760801291046341138609506556678388024582292561225151018719892501834519077037891863374616019678954690303599738742221530287385444043881163109604738255332194192514402450914103039102648666211374961257746056519774647015195031174676821501614954214882876392693400211520581047569990130841065458230869000968771583493789444682221624325194602706356878807432288363821535497799645290014357710508209480699183925417815136279243565606877557860847189887365710828160553755505023225209174286288917520619455783412442356451866512617875014387007014006093838100096071884137728457405548141362861694665674612382901810120936376687658023416296857061679726708606276429250720855052471101867176801968234633163350108057695199378283359315184031023861242809059556222923861770274060385656192503670267194243867857069733888921426319164756947022078864255873180363738190583659157287653271629237885133383942372469967061433476343166909802344435329116446538989953303384755634282206312525826581289144965509246979176910342232399489990740488765887575368593508378118309319322737498797861440000622014802137851513909015435622066711204638658520358265759139267546271304264297554907108852482856737160680295508818868270923389662100429407520118401590971518128363634413562190270442161940650343139582237380297462936974336157897377612046780737196091573380411248769011937906314756350303577954515683620884541972766896029325162530627503486405192331670817795074900899675155000915629083650995578391273581544098377616604621808271905066371950909184309677431739965963478827271806146310406959953173923169789044939587483979130665914179084171204804425673743036246496115028450377861783658345369699015105840001069760342776093632443163392033189935609081253181076138944879836083989830667286354820121497841832772735584586910053338697346749813864689160534622873930045672460754717646462361031063243388102612273924022080730258919710474314855038339656882117127769394768611276601694245431742667009795319757126670839997565062119797802436893939938878065859593184697393400763206704100463742223204737649343724947838999205114436264440617333970202437218489980704417362765275896536628435696277579250⋅t23-3684517004747307101285752982171855806887640785343432051987999282065535369845879426765403761263059440712371741372029377377280803669351924436589488047635307743948989252207028370312758374833890327095491154373315240578508916282154980126580336362538265007976591089010306541349440783571680055334531829119839005849915780247692223300122564740385025928910657702362555099146490260561319878487505559602626689650690605623725445781052908506190633729266679973150805689553392917382163402485879057478263383995183068188366332496392698469360031411408199792007868022712303683274591750182370681016507323963507358021465434682100775006526208053652544994290854387357658157904081127174080571789376400717431515508521600614847565180582051809853811339758927685227478902339569053466843233196670546175871769519789401835191505485152955751780611430164395044082880725593979773820825105918957933896432702383717594188786420295752682691030628617015200845088189696343472064245246007234257194056445987073975254044038823236783845982702234384418133106001196469108962613474108230246160112189604718238797452316304013952512128984193756587510181407606116914997792737671141574349827104517765256793082524294756069483499257861402580608219335736163443730539947587572658048946936185265103812075101724208017313600042581881660903964497548161994774484563004448761384864308925245774647321432197483512009872661653522909111681570641714107691753624755411158805802280334000378676557846082960315139524385880412724916228005339963194123343431408499459890596127580205999714325463281748613334291754057899711589705609722226931231201740257113917605698479707107319092529707161004623967533632421686702044833433385093652212393766510413696201883860051808170165200394841485833064988423263896922966095414527372563311050498817743504217471489933909602333104709134547511927033063032988751344649999495751838485921164228662610093094413476781523919886318915374242086926312187503531150201104687905674299818617685969006091706213646918846547946513041744281176004758246558278349874990013951620266680290618159507839490017983489206171544647857879708454298047738882266925172142730842142483564311362646311358393559877717303323814115091135341886422398768500703658689441602933656564183094145083263866872666370787959158223164183153622535202501950203448877216140296678609954014754096624231384779736037832531902316624294954744589420693039196748429361813964093139418526982574574868053281479158729039266921107909339960370585091720123379377061916427432919104171270328095126187502586008899867302176477314051505298989039929382844122187175084933740357288458999670334161279762134915007516533647831214926209979461001669989858989520774180251985266277695196602510071987404114657963982976286088438158201016245555097337333537114092741710631476266967986451335568171711437074777148909444085080973006234207009025263441883264151890003741496914277732111457103483892206961331540460949614537596064581364832413422844601424988106625709150755284477969467712123618961383179162518461038124900722701733692819349610863096613844823943539250516892747427054526678003795511026320203612561658939400523796320734608288694096369909373810226353823499013268459478249590441042431672759666150855904726975851618441685321612924504140473544235477979087494809573833397476309909034249070060590815862383733715574594572935021192937059767341781161446190655246607740152458761716376365636427023517307823594581590108254576972448444559128583884982068671249141040543515988804535054953143132166978742978513567760460967721115262815544673235766627470485387393565888527374502097629018167736567536617180536551273204912242385963506143635810012499930258491011508937090429237036008006082767464283801762449764942579058979037592476324617425364683472017080351215997788445536927411413943923198634983320578577989843595448201327387546518634336303270807526244846822235991918391071804385998563078636052551121665011995983063235299488748662173793849147056778128059726444845040817132143396298986628389598785815352320322950087618616176663536738635248734183912711751018623648330006309177784951733831769643479880585780011260757314682351196257566451219436832356088096216177814030976820110566113137961787613094710982580020102735931603620861842086803277421410671149019958018065599913310386098762876057260526448959357913433723981025145756128457019005601906548148378696295895399282670801412829457924343509011873753458769463363860628481284741827427156424516022381498882186530824546156810421323629251368210674804151656319159043297199308585791924057118401549573904871196770231315531354216776430068497192205727507149549545283290208666111485251468452449768056470860439926021075842753207527579907591930964834835463877067521652992215627525597374115642522536437000740934902818201365915929292683771807535220519888558631859965241602334225534864824559107840464992731548558789776124976840533994639107033794128155576144015720234392735199946245782258363871823514725906487548510790834353036871714174785975601358356444710047651307465067162180141009571619149730184888017900509305079604583329224991638194732784959946340680107380507427136061828271332502440482556134300833431093741082656923611616458443194099367643871176957766619936795959673771621373576595506129784932412782683107499769118142568901959345260708081712881950896900644108074474395601567815935249014094999334637450005277291502394012878127639786627887686781220175648678858951915923472093029465314921155544373846548676117768079288830445149427710407091013530914908960492092594005483378735090499407742227363597371920372920381936714952616769795430817530943254451819345487963077031066994995907525588191869400966617757559911970057802901713833827967559461295639529748082101520496106334178071943707064850441168099079599542676566198968211121055706748589168328263669120076885478177609917107938859301866516266931498150102557141513668646539842599018934058358686487686392777399660028047794824587736619221146896590810961894082442500277839999960894208407995915221100773654783858391081495757967174707901562227257629924479746443562558920904035862746387586095976986550922344766259815196520988374964685397362996638122259517904082019085858868424115740866508209991377450⋅t21+42412543891090197027156149960552100387751677561538724974919909044421364667071588612284807834648816677731117815991492369350150908209735499718866837408703597348681385416263901366156894641911241964917207165538428817586862291267878017626526180914285051679471296541566114306377748486063653841819612690358487526549710269058555145554654271010783046255730410013118143773591705562665761218526489682550944526024248921915568910075870014259473653289540422866855441291796313403635743658764506632103900272722241265518027350384820984432985766570512870230800972171832266718618663729786862685101783658135897850654563598710382523105515478204556389871574027681971681305356588580237952011930551967303548142928372052287581845875940078249319938131331173436007667789501743278902949018842057327503501950284118484473527193015813434436099677137992151366982191455926723958890220752481234479946860748954358869868009428408603458830368270755399428081334811001453848864126616768912824121327708408478039696220762480961022335848242981594096498240168935602455369159952116577300424986655636212214006998127490351350056781214608808761738627152625025084729412386718300317073480695183410703894316922928704807093936891602726338960327730640439408150379412706206573606219589183932664731099181458634537396712843050461111149137799355692087747879672160776050223479572922297438398861516455303858604595221254786389898563415751093632474848719978620213089076781591328598156094447235188493077219989411240572784821281491693515473718554732524123289402763262026612576584252943401151933216751106161732961689281625678258313248314164957069916326433965979236007261432992352952231052466013149584691250871878229110091385532307176585609989456633037737330103855604952003358871211369486860438140387978380179250370651587042533222534813386538799130714678541179393018649141191899364737173038316884944396138688173397589992799327514106454308798174852785170301272354865452167442382888617717507444022363904502652531469301626095798687196722112724610578312614975735639404113084177885312211302133979858129699478946469119250429258475984121858570056599354168485098645482292107240716479655564033591155104394729517279892613488324833335377166049568617163858504530381292313726593794773600630047509201425333910396169711807200219117649046900305309349570993841926615369714002026434133404401221782799492572936012460120260647980072406117955841730875593359964164992111618257289788945193598567344764454483857826103384852808336957586286670028303718896900828802247565365263402248493160849016310362016227678730995970651413297484656205498997101390159188599010994893225373777476685839438744685538465248883376273448911625527992658951136164106679638618863332969478366760397918919788168125952075439484577584721834448121770320512005560219858347638788685339239500737446479884510466532951852029441104084148187987186486849111906017660254848339042288215118291961492565404636958405361183575328608749647271729714356124499293707179163795859026448081691340880734452440759060841943117288247450322801918400747530053850051672503530412661395216577134025570404907453809805967181927235485092559178083753236665990776590526198423708423478626672916657467229165131912840659273492918395683998617288529236588600721933368019664824328110844779286464453645775135540185760570323806432698421284245161117138840811703948053499127615592782013625510785095659517438822229030256592931442578494644881137793732534780875092735487084053653891490140173933422929122530434706719051369693238511086427683310146476084070430024106823149763487991630583240982196192769488522420658952550238481144127387089059124941283996094870525831367922961781020024908739677206582120575159091811866212977593211252079493687759155266763805422851857220844947896478346760746755097201514239531069151729185098350808397205647982958836198259627905128105813286753028904362892900233402331634905628101496766679045859501617160446164314903161470399231667770598759616533237341528415112693893607284343814653854420166562271345978214007605933887321130697108012897212774298091164053196990258517021225330948602193249772699590745985192212818561347624833029003132004320666848522375961680839551215421520959972187502540312465915993263763161087233172997351455599223302126485827043082166792450882982616773649507126247224819392585656642497327608844477278908782695460614289047140527760453712548760139551425380151471451299949538606681567022925168043233194686144573776190978919561594486316813705229344593971905915728002578709605937088028825184171351882118689512991948552872975543503374468003848926702076147091131900398191984491229678420714480370877925684376739662355266641070079200832790717727033413744555074819515607265585738264188072601429189703445060998259715553391750694854061504972280232014660462080133315824795340490383197781707150364454961024810402242598045658839814887461278638293812533572306986383515906459482120748432937842210241380183788372953095766278659175371709586496728504871332304015857493291966676655661447693339287222870173877124250205519545931896179256722935301091269748989030507518705861634014840074289768810133334722108520496460927281135092112161525016646061476271599650908427540417062980035421333482029128390828251833364186356592680363542956261965029368817814872923829783453397590028789597528097414659571160702479685569807186326348025494144982871743155374921437421672913918234200985797097511684089143729985442855423901460679813902092442595998350149957721654970548752137228834465568082064935195619058672340386466383170150280759383248593072717248885285722864706086087528521909946485421007512394864004671228145351909141866745857776097695439501746575918957099231871107678208175371955554708884315994656368384908048835985443479493819641535671587592083168835718754901417813470501989873502431798497755545495915939126619675176534183884013183546679022968489252328585951029707974369588013447585078310709285706649327219111064414569164895482852444091686749381008541730458220145871707277536280797411807160464024956906912802497185712074623253765272337820000978494135689668370681634941286971630425672110169951927565061118337263357713328009807684686871471340566466438878446184091214431900493966250⋅t19-364643090902609256338868680986647099162054906758553816900043408664993389315410433117271172787134954471777593739710136136562000627345526460064590255100664769000221245494617625180372355095213488599020251667071769127121827627535456207667171382266315158575331913321786604558050862266840149690674189171383757614478446441738259253914020775827919495144963114918109176757095360509683539269043492994543927174962671654302305568787464221167340705102406904882589731296971391094759948405966204062953392939787764504317336037638147128020346823102288462566369540761908523309178917880931494683056214470108940466672081659622048203778618756807362362937672287355926586038703607526872965329405058840229686641850806981153256706367239615119060566664638577289059315929417322212132464174280918596859024411737500546961076488482589134610406004702061758932580741094728819854737433221168759156712536859863632039570198318704010418219701802790877834575624857275774530319728007560598499162177245788408440035343864297643920959069964209152178022065255797367662370214345616852287407360811588566778977620875773313220684756351136376427781164571091369196599858056726153166481856470332288146603052925759824868663461910789088000248691271943240252337281095759795011873443622753674496077450876482625546751655294760018805396639222618581725611832062633416797459094409973294706004227155080616781984548023679278144373907234044154363886913861295303023484342265656836298671454260921054235578704864364257930517197521906927616472584895118008276312975168644914544810937224649054001675977499306775079183442600143002419175054129365595831144905672346346782616353772785968332833841814369374785338265819798625125226101274279905733106136400733143601368330086216741893788125831751539241853285106423788863909203383920758806468360602065392998990935022778007022873609286060970206818880188847810403367924176030717707028002620030642690678374083920038605886800870843804493177899388177010262978155718603231049601107745662376292883263885506163147848286425188113038007744553094046301952832045583623986281549307322363119325938208397314638186480077242941572455886077076661018731752275423706254176396146496307999337981993570590689380053936059219895083997734991748677378201412284223740213783845574897692426458512121471795429426758238810155764762695196376581737243092318221078316399635627948377536985630034307133727115040518579602023846506374883112714774039127397633194570482473529570139569236304853579109461892083336123980795413724325287783527469619910365021863396243794868458822044813587685967597480080370693929995223888123975920036317892238842475230346262983507635425086467857528258152747139200888659756105240588206793849256493181242001026616226039760798757269710907428137554100709868832865322971897953684528573735420761453643249180005823219128606843216381679895724290218777425020056134262505875848691124451259126362884864625207326628482192098077837882406256752380474503896269283356292284702804502701908326416786063966525188995196636051833654750146407230711245469821452203817396168150220994520672531780625243816867318755396559379414427733148968190582423135169378561592606184399499563073520888807152987314106500138102132366187363009847363118010934800030473108630127526286797788330105216148525920983634122742921761703852613429451166284308806254864832597734268029612272738940458698402109982450066981313503373171108063347821936577311918438851685669526008100811033777079338300648659877487974928691636724837640308722035496583579312087188672017759056905823429461751829933261553659680325803636964255199128080958650815044702810323923682434231316968980723472707430776329543800937467502029928107265986310917032380422383304613526230182164091596363437445307178900152016277721626001340289885463244082247459782528739693042407784985648818476473086893442874265149196958589195431542919522097927682767485707836741917870844067269161423735757633000890609401082764555001491264818600006683036274334598093377980486028305165305486438304100637224860601894848358497471710892651799826462709030436017374205858651167309330911979115666949052057553876686494106751018305093524175850095344468605997633598193706749022741126228769566427531768284115199584309363885307271123016048142200476162655023999446198951217279470793643815121642637813862020459599054557945000413862586717355158354313931369760588883426839871715168199575360282406809435046533616623126846670958586280168797952044171088706912852484865363858823385322189835100194447608442507856064443513525566766027882285166538379357093533179970186787627010675451772782373515674580853346717946992197410476188488209854752498190213983137899055453381816359130941023874846842379862893030149786057435547923167365822888665891096984189930954476196960023465559703775624283102554270030652314075152569324010685785874780814320779154310131594366228667803943892646097717107860448812739231268108416474379261891168227530274359127944876559063624819220017482241011773074859112473905715221699115495021760783012488009046539700357423880558188482715013567881266427890105745731642812419764803434414425295848817101230448533134945840281442158765652922924108394160106405203267696223028878420526406142513596313751249563590874214909245118661625824266236890920251287114903810417949610459375080509014514455130701986134277495003138485698613162912835830019451561267199877925984692308722863615556000916996058468145408934331732224262197620639017723180191737690919087329793752931234604501328676129825850644980093830568147206402126515018334687893476669979200757855823615480805449361742411056600820965596301291916665264723268056420576063997736844939961438863897204444406954181470111094318378438607772292116453304493336821502677724723622050723233538992546701092812827754834138783320732181881060563039303965607096343662737901456517029906090656951975673013573181784553707365397388014878536162514054937932888710062156237556950106709619127295024526949276879526137072021926432401228464356195148264165395311417790116893577652033438009245291633651876691847011445107661911967026839340495036011948293440771381258425927053937905965506142022195840634498154424333665425351252989676944527108895735684987748756188272194333189591108750⋅t17+13143669371303075438446867771591698238978462055298275742672554151822541897387142698801155258998818494289857903606114328963242467046906555693560281660710133080149754599053272383658730003385251983949346071147065727927217134459673023199657337421403453114802785436507733041664055776535050268200111767604186720150714732476479493554423545965835943723241964760190710747482853336332293984338254224477135588898217916122164486302692479048195504773947573896537727920936923167018670459022988361812973926908304794923824439928241626926102932536371758350124477762010111324236620485953986079957198148384141978835789709554968792094959008116539722553656617228175114610185736988826639448613777716693807574584975621943514056551790365477688581826794763840058245937319072892518490594688271732592826717583421638217754025776647373858486064094255185489174150317280482740967905948206983571879541954289120130953997483614893984901120083778600841587514969363950973338921079323524090331305915879482789105927624856842531909787971698958061152533947708350458177110400111536564581811855158265916421428390200017061405126116519152448897730898096910649462043714040295499815659186960603377454469226961285198027771918857923225610752822967678025247653907062317527788202294298487104026584124954810104639477798755295407093715158534182258862298423741815052092711350963830981669677157523167272682016831098918624852575613818185754426912854239428260790294156870246026910530309638191917501497886437041105513035725031222567114195414908916491985511362001479073808788248312550217344800949724344746448494522341175135022096465723606002129667681406992114354770612506383595355164558777128740575200766574456782952791835598206044835905059819202499591589413982573075085797464594115506835180754557624612259930535122512841593500380356776275462280841211791756210884579867932715020542060006721213079351482986288115080937807591358191360360735552990967839086694650399947268929093640108601291084567684794221708212551754292331557340887561445299423256087550305018319161795135554158708110062906697707923921128240645679140809206909892878638269799589353876245187617527050911649840196231241330379756999598377598878895033986695480797315389181358259643961307757346834852948875005829049869322082811388187626357429822404533874205088702863559433483722090970245550486951335022391092342816522188692429626042706880183938831942716471352629453710696467902309842097257118132003952710427937199274281723845492434060052856361922286342969097479575002435864677093725053164445158808498099477379433978845982916388650190382125393711658913616192796923537626466622031765398636193668567591075996259675894159847613271883204044589000377886566597609775430263149163777737791334068002138460979605524481329956232273293225447516825500512199143786959096655132340522702956433332634828470760053718697399257416032661971998446152327349532272372728750497102002913618446849017830748373429311079380259243994717553233624377285672737248872509347153198711204928048860854410222992812180067752517081966052882960897108767412047709590159318981845869261311006432932133634909103558705064638650096406654486863164177518668028394495193808729776878682860455171501519123456028060993108320994298120282800335204194931402789154775671631157377633785130819975350172139378742378747723962829127396868803513158575076948325735000128345045682423209806950736794448537104882188696826041302350431102827368542364786089108921371547872721307135258652367724215608003973214043395942390462419372432959075392195349625964057724079270129265877090256483583840006606807190408890545158965491730913563160506776544486658787958199781738539624981810312142522329209179925849420087356184646216350748788532003805007559997811898378967901672179054937886014743188740095684904722057607816136623466485634842137003241203955827871616916641166544481149746972114743077204510442342786204161096579284739960775661093333963009796703411910410105016403913004600073513399017680579027157785346311356818360350821345107009473466620843331943472188819819169798091089799334796191116264445162840402640031770272336439572633092643551435174261201356028765934351048789154665973969580130774239250152388516465230702849451125267195427403002738379982353176529564205237789205263993908188463390074178730081966338069015952482225055589600137395004552488453890906741897453245067366477717695238588866850195328963106474903785511869782854395313380544449081856777472485881975776041377333519002447057238544088186102138923692867586416708878648781234426306705136831922172928028864979672054663897117429969500606108672420389386813897416914171515238073370308402277480092353814516889609987199979950440351262623315266178491823331647646631791027154841024051775324802066826089240499238166560258121156741531867114128096970337175454826678262564117543644622588957528570697411447538028515345843382819107074888186464936940131543949192581218171880802850502833017950407393642149699873011420192304651129503823450237212962867438690270445239368613137368099511936703931662686140073309865149246693930706791163203048070936617412837778558678254336988113534933864484404243095863746422182152165192335761170457235944658453317662625790467567649559451263745199499616364001696305277884066928605800122764158263941914597445715053125885599159659006437721847477052445034523342684744792041194130213967173939198657185831615395951499771116010086956643149599498277649054466884173827029194954982109114600109960627731282243580649514615437428084357094781032136249619270423391665201681566828243369771208336414059770288859942979166521622609030621559314211083317911955948620626336703975105294339575827502869248888476495996171222037502162824685495213280986349426705036529454971959842557955568928918013712020941105303175526616528054000691666193432343621678059780290116916021687328966997226471732403149304999630090781019371268163663897787654604317261775810683718613126451173805810400245269796442045674787507792241190756413513107918146630905819348425595691285829354172367818101698207970170643610317125896184281031637295232745445396131431227848485193842685197593316965620567562244154246979479698667670319678863782886446389798197853092534865236318070994137665085502196250⋅t15-3151647740209434965142146090556885123196892160417753507669675425989388644310358076327000881666013819904707884876885216323208005649101838590754677819347675868491712999184320310427376545005230932667834708115252967056049612978926604862272577893399611282707839658094314843583108068725896666555534989334587751561625551457904807681554557717365704228676807843397494276303931631146240983659222392583260552285883816088045518048721068629495645883530323230257843418225830506472717130271601071442668777413643365643826945022758295329029568122572640733404956616831999023578465640045264518458968481815704055087449843882860924055770475420835868580648716347413621688104237713112320099501153116696296117148030725076880492968570874381510423728181795796122024124763786446007492582142743625902857681099881303544714039366809908906672725586803524940328107032447654519824215473281166274253370325259148405732224659751107905146364163314032014807625134957634763754493098152527383369239511700533369812323973793261576301830092373218677751967360160714389868255988923573993545696545336413444393999291649082110027263281233707517897221525494467984024624522787450039823822512312937165586476978314549226516945024301004641894541600555065738499982813991978887368093765869883278458139306220497611590521860118826577655773678977195818244574848167798388663421293739355911942622426512059541649845821148427670733279305848008797578950362586085296587565953126029589897695099240643359901754644071097336671584487020025899641804376401264273078032635394104839823214747992917415221137716188083783612160610516105114411543971502443636770136456265066722897961169047212320536062765033645880509688152592545418621371997065845171367214263155201585261439486411610295122294360287700173553947848075456798163537782105539533729756054213026954537664659271864608040670455727287449262130931738260404934881318978904575796113366258905356667042813864854912085549436362731148711079753056812673397336463901754234148517858105723407526153276022978616146234312377740508876551883948321034180593042638114127462945878019089364789939586437428402724586094574747707669606707791236845255234103001134983856964523853548687153401416468784595768317720011019915950113357759895135711105036408810481778311224242463676346847793511426031598388393784720633727125980271523656400936792130289597501036812012303993578301035384850737294303631911786373740679054853275674306091582044018832730215763450322222448846869582083241553442934272317378760646490744575045653470931740140616504960244247996265997942039644359671551405289077851955133435680998827971565679929803236062050702105298337987669582286363283605446437901498210964976404220383724065707445819677364924162383952042273350150572969541263986806559477500601775257284397013341974136437418696211462134361860207428897079312628493575602771632885413175757295139604089283798038498748406369687417459775443761433691550522911666695455083617631100401749768422120577214138888901348209324684893552816018439895192628747546854762899782948362425418486209277610490839139375513860618371236180617209394020431457480661986273381567987143775301471303458706452558743127566620893416474065511265337668300014467842438362485648650676136172574121907954325666013359896712149253630070263178906007809289049258470273736940454513931705975208274319172938810256650721285715508048054118316283875721302804271781951258939969771821927146962884070176593950343705799251157598787821972716749070168802053409561649657556151832290118279737456753098973289044056800549753135905993008353240537938893714348636258956275148049133004683151557744385778824233206274171030474111795615476017241068024022182944570722375429403392234725870007131319352417190548190455351413133027634973133856551295378506559429482713378305310550629872604442720331829876221344799579313063018253725395661725235685448711838830519147069931297182486634088426094864530105650799647712349556303908667666822894409567619747746657311243609782455098536298636365336674489001019137842539246126970890211322093515902838962759993664725629678709001550860977524112097831775614977458025176680334992963822438369199374771893230044437847329334578802278572879890633002197169994772621592337403838121317904593839776472040049883706716799941982747270381658845048399679410181104309354524338948572737095281452270989437207065690030905403490263978049891322541430431704410537856226528684474122422812508386137610303397880690341733102628965498414466689971973700419887486687037368503500823016275034750297470726730525112684973075505036809330210044418067785047328577201034975432279874418070637277823954648317812460974071238974798233494186761782856951908955726310698240630271350698396644253636105020522295467159764998114922153230861897506348192934487207062208258229791399717496909093587412024420167082329738942452653054261061405124081098531841741134353094173204427970858395656658976963982589340979528598409694765784701353806665457251620879091915519084032859402028217785130383528049898748696546362852494635275539644629905460093953802349466006731344411457600675586832503216938654078612733220128904132042708611839008226156401734782525641292963528164151853890031596786912290167310948185250130906661901108228587583859789372065986721905931087221561351567594721095744056053325330085775597350928352880428900222311283283733725658382990163561325701497007920146628109521629676286542444220472376174072848137779849274543135190047448658234286761529787916973748387138234432737410327210426486020345234469242127539668587443493602317807344841299181521621798666123611109729739133624967231563915079218209104272577393682895001002803234055500027326179890252342820678305119068217377957097269342727137397190824090047351998500551957799323028702019247058145744528824919314800006587297080308034492171997907524923009730355513971402156873641934755285710762769343041631125368227597977662898259635960101749701077394773083864860954716855204209958807500074211820864346795362932553777437198279508815197059865041468308264934301887694954006129622067865677945533634640906978528051391727916455699858988977954262793494910672072021372897590280759034930193520751083646537584664744741458024141573679219723753692048433354250⋅t13+6099085609374864497109810938997715502025323567322218895575429913248830400302605765271469870944616964388869489384113569390247737100529451700125049117739089568456324402118722028511701390031877190395704862187272189012100435651566837214629767900876596702758413812869049088632803858978724670588149142047633201033403178434797388403040554964451137336693734988166052631666249605557543905110636741054869627266662285583013552870585137112115237549387598174357200114367935389545081339886816276492864101746014696572068559240330911872918810345744429921030885972018889031384476780907276479936858788513555143647080839976890917657956323486820184677880145640772512078544620408122299200829205467507595647200211573187725339478568895503167116657406789304641697150435478348821934475934225171576422888329409569233691635318541271712557324256209201128651862704239026705417210136977488128048274915671326194420618058700774006357107213107761103627805131985535574233767596448257941272094199948539083128232614969936781218119988019859965756559187098565409030977701569483186571796696472397349651018119610067215122265611678066270038157334237926929540726228470651260647563928038395445857979811662255979963044079590432377132576194658171847232189281431317637988462826215599106501615301743525562580520692631317096873925760361607423826573474039252030273033252416307216930124135737861885897160776462769410955354081347073385507669817418836864052851366571369498704872759401167443266069724493314820841724774838752956285607282104985919201435063304456495689186825507112256246960878307355363767545238841923404334261734057302473789934608969789695277821522882692710313709218542447522911618029965790847046100590025077820461373310137695188728162745937479952186990035410922715050385586816840793651914246358968327327180932349168396392979187765711097205958691649442300139115454090519740205515004986290834099160849631948011112385457174004314836548283217830784935425843264040626159465745774412990762835495650973849983490335827156289801304917779096791057269265103805711373026908759602482882804807756644343441854333631033926355670668044404452953062451700647111751042293934875349642434435191865948150476681494915843337726143486113873614079818693615667321654294862066304851766033512029018672576077896976276166792332799679104034031184753318977437932718858816492135604797225605853418932064125871378069249271161315259444758800634806963907395893770827818499345479653808737517413222272677278475044520902643259674498171460735059643938403093299294010284868317729368672219306387101317548266348531534450090377606416589970433764757983622674993631171580241999511494998124344923964513974234432865786834162178243967573295570420421506498664795623840556136291997633892122364065365768844374612973578112882764402922798875603129337082495970194334901608333324207490320002308675405668433678966562567653398056307313006459389792374859600388491598567336106215974283970645521659896261400056225034117327939285995681801387962215722999384398911789721027747451813482447351547333112478606735428405966447015489896083974702494155895825991990423102439151496372286311580636600518697537761709455114554705227013779290805207909710187989186986233163036426068875440843306770061310095526738975217967285991901622199906372648948589629737871945163842343163230974668254005637340644535575911402729856687261404775391322551269369643688055099678548752246261243939955769775368933815428686122221585193016211922985585855640710574403930260378061932202457420244082332490793360805305683365208143278019760300040632089166717411940787653215280917643733432360849632747960757338600316530791084108422447304711736687146386952677188791515912843168550217608606416369196522682791262051889607585681762194641984073692652421640753716272094941278606650556768077658763114113900503461210359462194031055856635892164344302145935043937434653776918245197192832481661690929437730162785031312414726376243509286496843674820613259200109381329524161484964189071879783482163817051798560239954672052679218435427172476070544159098801447043104196721431350236125004399782905775361037059209567095334539458638666292789114821234677318233710449534765869096096687018989930911467294896885928449809456762829928489898945460808424407700342221001072912434505809230297296431711513077320255054988631487261004503272362497491533876940237012584137418044479252770992355379460802621121041884714433850564012695349373956647515013323872440902786875956940418636818781911179124630764448842133882779771485366091707567643929946163468960247725850223135059478341472917213073572529119205033825875368796190775066424688793332095225831658922962468058370960311331518543698816540901047084670290106440645046582475509923823791756132101503941482870331678835029876952279371353144226407793219306503287747470929995856813443059101509339072635817810267347125990753184085927538943449313964648886878609201310069867319929306173072660999592178575748081496005891325360817063238917250775189038944547461186440425970033535883038976672523348617684127748193001742227810753077528556033285389088653981347640412097948884696350145367011895383656684016570785185588358001067266455100941502013497065579786592732783134429078817650656802323214120596885761366401340188440121436978174602002007203058674173173322411987017178935665342165391574690657898963767262370409887329690977693806837876679013292564638455296464394949710144368566539334959134074650520771225739059286334162825918242295408514912763106081347780742423486102059100974737770165809361663387727397495503411489533907772772223619271283640307770014074299213516909444204799668094997943874742941993860229061800135527278871344688104506123583220523878084454218489199703173090188595999290006422193887102659440590809903904164762818220673696660143648180530372339281540215097791327740371790275462121320686647439582783417873583386729416615948612406166446432750837693811462195687246296251152990512888501345374910735750951243988694182015668913626126787918598712886548677333901694828706554652821938060690706421805616225532047511486635634683824281361701060934002557899411673389214640885750760433660525647485709100910817470660909295618016595714140183136963493010767174014652145415750⋅t11-21428794741185617002475678795436257007254478786997400446573722065504808689309941261094641250342401138369897153317176287315802118036526093594791875532417865162493403088578298224270268383244817408620144383981349776554291198054417722031896115170703733864704247117709198312759716192194422491834603212843383706981409551248328459188373508833788910334062015443840835912550597327268590472330195639803710989927861796430616313344531239083343477837686378109626165494406939717717714874213210539594200276763000785473136499111235155874056679723127377228226918055504137152036317235368102548163730385637017328036975130637736844017187655530621039471339881259781139922597856610878655185620173029507360926110708436627432755231985807238931820115200673305975121807100877488039440849910405898515089611356349510073539798507609379191925003207484442868200556138936274212294239225100295158589932751619095301120675376072842620041748975319661764369821828988337291184813053390342999083801576726800169933592656120519865060966075814647248134486401747295285144610678368585521094912027981110459560034133477707037057540410019965951438565566602623025815082135133775428795194477937324740764126470516765164695090282090920453648130919727111374729587474441169787960522703640690529441837079720890631404945635096749968450841721428565449390787607338667392616169091388907792389870580202701132470046465622021550335624473900166389111796816322214182731932060774069880338458111166811931908646233088790431748913723005700038447617991298426020036231078626775731806247985241141364715659232292126448754759192101893148430401788492592750232232901424334150373195673174422180176301809723775357350276717871624455723843193196716890280994471730362419718066363986298894727882750310664672803841274312548948098959952176526032136112057285145951505963965277127097578001221877220811688366533822570185943247639986740601595230560746986736411693158262915310340647867637449055158388417087670669568293143912297903181627372203367506845374581585404368703462457920407568900380928247628717338682439096611788027355605990546744295648365903049485923733343856505725164648638633905363337875388731382681327848377371036851846314063992095887900561722448720329155328649169437551434129647603115788120080396687141108997300401279289347700178264203459562640812490968099471435033712113533127154402686164499863916294006772939899321316656124677811007605819919777115157706270740740759297933938423228392261675176804976680491618507461097073739992114800325186395066093810817019159235986691552743786131711964244201197298137255355981844635371267790697740005664759084435660461642023779301881055347555431578932681118592920210154648020996046630605626114511671766687238429589838867793042239856424701916886841683616865819361011289688936924903854422675878299636192337473794970224605517151653380693819883762697620346399207239389114224559974152783684404851418047793905764385420973679712107211975242978799918856162257982006269894361720938378420109524740761668866984930188713164041221864937475046950629058858720107670445625018514118366701743685855695764822098672747231790129984041992389799741183252149064026296253967094724460444617048757578591405164560085343917795062756205004434136106189679834580727062663668124328270777179307266494530358252061111256666681021195739775194084696637771830726808533073209792976555855340040013874951276807997841309561080173877006087480632007612166861413769309641397057449071137934613438855819056313559947891957115454520448997454935280434912857960470599339672933365075389864726042391289239683866577972591624609536487504222785605513493037717008488780306346544056541353632938428016741003615517590654026248611119472230808438992088562856674755027948567070556349765398663794484769489456576936388000697926269264931507537212283514872786229187005094667930832861609780744407415375731894360140292987653716575742898689280927165834920945274689476105667661908348658137869898552007355587639297044746329785278585070564048738839847820934597751889693477776397221677365080040073684266740584261610521639347477119968806936175996109430136902951529299374880830936218777852071715660384528079904052964795993762122592970054729965352986544961940808426708158639529900410926264630771381842872814108665137197107201247539791131577717850709952294656513298976545120769576994250909317608851810792029139847556489051585704076085539706657337032362796180537853067738915028837365175357322033642392920764299765772532867333072531069643228400766317765457508016636095793859541757647111213024825375074165894776919157682779805154899644560498634421203072261479876781389381275724371965485398388538916110857571985708906399195534505982626361612325581817298976530025038866183506187179085787521586067985932393983063720219504470686071845363608674406353227629486252523633245675904114093311596932184442491106115653573213511271665231601779220148108155853315510078125376847368766817716335698167789458301976176452858275786861871725334615135331045549999993241923626644136045283490398894746983425974266864905200379287079174911801744525559356772504901960808629180493026625751682648925338344080761966340778691846803964023161613008543784940548822259651911332416204655176705153213469597825572691189854123235439620355323773417326556809300807371466373776015460707820115994435501321249461835846485672660992432932621674515728833965482629209688031301132454228196772053520648100346631322911082147955599365680860779821240534679740501081751374208545235938092266218191584980686149290810341971881761780205561227853582954799360709633425911697626435650377447115271589844185492354735274944858459015262562615233930094543686115186062090075391496095459504003173999495846719312369236875983617322899504290608662230452208083786520782275579554430955885670564841496349098914033041258949243946334375569211435418414635879720100752064281735016172882258241801736517969227010879489213429794332490371830200118373445171418060640593692452424071244965666319973400221453329118321078164863727270406221238416588338900341672221150616957450365080777955657429833000154710270502795870938767604528938096481497666175441369637116744069881013985906203837028626885061032184127657312561483303120216627058750⋅t9+52784597426793404435180375477593016846447054111836155484778406249289893101549394566779891344783717798122947622052603851849690731763987891054848895952820931927005911057075799714577258018401397728779095868352216527272494105128909383005612837527253309961686243299069562873774868371818871032729993813970354339536575238008426938470784432012317438661376587412407727830130492205970341467197037820568171824554681818683236914764942504065413078514379393529698189834931139278103732986934801073068562233033036091327603355738273600100360822101769170521114908269067007994159789634568991162471799720955187961881230202084920872521325959645007122030936915545356223721733690147585887294390024018745724209003334968099741945109488950783824828581861537629493876803656981396500576580113103509014941720678948551138083344760874849473351052114039327374000312559302420834049427300047687534180860888111012027419646906080378976786331082055861394168800878774010163427096899010525349585020808195282448532475580175793072877834208596310486823492093636975129209426602345549599788135147201460675333650664926155585520928430864077132933010052008521763857031057649504962713196329113726347561217600414759405779139786344757990503990045172564465072153332530163043905129893794886505776964712272759766012439089218554141941089651256750196163110202545657298758550679338276644739207345164425624235027130890236710572734350054285390565932795231286582172375305204522763338403738916694717674890584485584984131201385347469226722114601593347046085393250696678653803043426637661138466393131396170543379422024206601271818462999924477470787700293977384383504589372555085276376870019013834915721374843254714435235079330109213951485687959864806157790209097010641540197872082248959158511188025568774067703457553285004042158393782948628299109580253342259310701145926454710273011163642636103898808347118738426874985052066712910301969731516605146164492627448891769439033096543592621372407062461096428186661747566184385572560498559172613399160714728327467930453196764292766357555051947573931275981000313890964841441556904644183352231481832228474865713128119500598793247433170779465058130103681488388190598605479581520373425338207805864059519305725060360834585486099274474337510828069107846034118007411259793899692731519643131387232561829440963821503748024912607415246374660772669853440214092647394049646505356576278385003236989808561678239775620583933976495387339416141340038006999521595699277633125416290592864114590438237583052251444425592149923362268199789150117437522346975153452758399008357078493645346177840892126104651204161090605159565637585850135460176683639199818094090772105721405956948261236710556237931639533978087067489317733798725330337092107083664902197439086193349425532544570769708721522035848404319003956559837027951215065707904095561770225171419227278163089934914615333517175122051269000010259105464364199329724556645026137815242393154569161804433680201330986820833788214334852526814541102652751305944702461504411582016789142010766396127420328361807000234718830328601200190530213153667020537795379059225960407318541780995348107384700734175867858864164170403917239535069801428352659735673567119412102361539677349826805722569675239600923247765560466780236809937842446898151420809314201719630042721077400197251992936575878239804823340662370708991996281452262621512486743696826766575146640559349397406387076663505690789574027910791315319923269413896097851517459509468002944890765878080088476704536470848071381134640209469886143304617169552773782775482657008680160410544581197096661140399300163536443855196522799843788815972767849356732325672539592879992935450664376977598919993700864376188772326419986529061359853207919343843248694880307950588641028158502721353418100415513028939126442381150227959262159368835443787301239659245866835620257173404364037320422479177013045640058195570661249391647349397145707547159362478050856478191663322788577619770509922157154128170364009847039946731735784535304381178971565208934937506192264342691676201258195236122732332952674657888496620332482489495318271787615343792801386740384854063817337732530299461079764684709376639064360463895669602612793904741042501934787515360467381100282152198655256006539349363392672307235901422878119847658148208627146226327159436131808813382390109501473410290999459505246724125629373410817300683864891583365709107134528811549393819888052097508935282934079264418497550404370565112515473976171893066239533164033472610508478749867845513479470066867130381085793800996305246895759982218837235445326796571812787955079524809787375538861156956926562302020292397696968012349366511861932404826338833358628621369521186714991252942785149058678053264802107565643512039610004623722615205739767521400883241627407916165106226326600402334514451018394463078178381752289466275994919495811046595699442762313113151112485112079678914941400385390067309836771758384163300023536633476699269866358308540185035561193421938888694406468811203470636491557034859940967480815013112271877581705945144684072425791097044897641067538826106416410432896631756230184736790768594364695742354258025186888761974356982255511349440583316115010644111743418514964698736204091480779796913101997651296892095257231953134845434345467754534220889369258378893617643871355956735053804421024355226681061001522174863110784444551701022234110367293900329329095760873109975279181552252924500026190149215774855699831339198864463733991112579567551766327834624501110856962924430952301930700119248928668230887254781602643895256792187249648160862089206149085516004724430715134524260098328111524149509766054090522648132231258836266387636001281869118429936033366878181372319972987403441290140849279743013543744523209178819456066401952709852921549728268513192728631785317131344511474713973530374376743649722899420516552152132086278320514072195350447755090865300697590748012778478224647850969144377475300657085149464203828049567508541456739706268026849462138299967262559467922305544042197243165900586445532442182728435721168363814083004452217784469347841460089952554996332078655059937701637334804079344353624705522977087823818136756370632118138217047130612015122934246250⋅t7-112859491937195876878111566670399599232698469585583311837119852877268332405562668273170628077419732293396187902581004885747163205627210464254007905599590331544091411149643052891283640100504303584501303000273845750513243295531468462233902860677696401702262848196596996048666992819393407990393635373121913214552215211522938360905770071621505893661885557260531507836236273394822587287082443860325318103117579026054953044577533356432423086227338491753538230927707232345287308874077484600893618379671848612161103191203649482116012276550156661609071328852195341629401613332272364205318148991732333110339831781344025005808445666168229697228636475077251372533508256331085694520505620830752033252814529486336755467308007776960763199486024446480076648206565142931633816612581746015430713599274016315409226232514458716658775919096236005853469317080468168115728448204534759326919790738655978771046426775416743021942696690590042556607362456891314222324099162236309727853512595740894073329928307929817196984685301025454079265141651383964833419572078444891679493536741662074323455484200434014410637763596058855624256344699940700401642414671954104129492273097225151846905065583362513356910766610982534184892296774556143862902900317696291920508819120889542829625503497311450261829192261293626421272990255414983206924169210359997321030562772361181936694233510032464307250139192504116870162949778076185291351611446093358218052091719621588153590961910412814305652033436326594895712588105139928571208039073827702910620499998623370782260355943576799419127452956221579184609391733258571524819579858903223805018111769554951482723156686392434554717534207321843085649568028360076905488904240689038557622030749178458979481951832829039544923579454991784619907790826110101192508500650200572916568685418973806259989214136440648807739907824113289821485658043561768274454619198940664780279313647573025217068223188072924962148970168122288220727031896523981790395418651010382545678461548756776237921466159274983807504054118104068591835050530618835114080580754907568670583082987972683436124658178305640721806412192211300442620089871151769102833342669477143502001879779895130447759992066236016423377044360619366826905834731179492429349199498140700241460049327976928101408588897527812070385059395127090998134576966001372840051071564709994368125552855901527384796771604561258903402534775611166401501973404019757761071426087002932647794378371532220269383461228299264967830152170566827873477687665819850980511527421918592721732452580930176449104841485296470463342185312482161095928483322749793060614269748432226920417654312382048864700313193676395960898723001589170701386570959667081767937438479913845492495374857836305194477284638291050359328230886829024823311490681883124638658883193298426279279258393254562246530605746304669140436445445229465355845966282287955434390894406854719533377538830624594577082481212528819348779325951074719881370149716721289086457631087956811826431717564170657956748542891747196562042609402566577375130927567759844301611080593719697627210658763662900848735161554133882525411603136517906140863474593443171789657653798927501601678816943601343469293997029574385908319472440659861721354345309672717959828967106185240200048672918544789620099207751775420372165555732594747457227393711258532519245630638574569587446710855549193826837791065747298640042817919988811149741745594461427216724624103154818910563708538544034526899079221768361200572690667471090605752204301944201792030591914845804058522632844835929808331621189492567289434354461661963370184283345885414355801333080798509771361623778274043364010028139573945539805711258050284732990399537140157513304080902425608565655312011365660536861647106583520131978823703297782215452008607757320934155259625618163350097696826639729500904480271959853962514358122967360030441730280181062504434162417167798101711964024991721170205303234496869633450367062082141424052247551330218538067351769215870289934445691456458193372273306219559242232400687502653827575439289800539226529766885285551146281952212837285349638355136402194692290196914880031593508884493144742512985483319899150589732845313297341669572686834054530603303929400623220868771734757263779513709395431374006870025430988815386324090622791853492089411634096997354044056489491449595761214917175838999768359391453196698302890350271721656382107156732474486226633521168779952022327503829406971748256179356093030444527905363774561216525599816942784585773975932205178514790934348344314371627306179625914712702248669611420950930243762282912816491194837891224918480303802369067267254240986580125313298700576721157076512256744925573785725126552015509080020710536975479349596576308542058046099561505159832859124452549373888471794886092817840317678356474096997114458143363336150740484176362163608124056975426394069633305683871189755277048493333922190891290963546314450881457418501473610736069985724372842918585401371296417945793586669082895116666583317058061944344558496381586368546128920349291333830804677873976490578888182481898733527560457516639759892747328384270752670079172910329397584869603866110582222952326560438706680933435474535706906433133190747179363556299458373182063191341534186570421984382326538813694200648043290914751943237524015396448097264704516295410029308773323296152240006169000652360655618907619093586152386047300268814426855326754659904275119649236679824785725510063949617795299927716799513341600281905391243236471283357696214761795841253327550986541728622535255143527523109192115418812252910937392706354655181088349608078287739041735057653254327854904938921218471166038795420628099110929828451844000549372479327115442871519220588137131280315760552917506834175577233033367089648065481171315122589936966378454972219939740842193707342004790632020274370160447175849881242608792808065199465547851648888083721620466467513700298967463434047919239134793272490447489414567322206913230212021243217946338602731257725792626630699985969668343395273804589513104213957394190942475221169329594786441634607001908093336201149074911467122523569856605137882830443558857773176861865839159509847323353064915752730270907773521591627405149338400391250⋅t5+1033636827915538186479259529546822996102416994625138995760849677597829660353658135060736038777990743328974316518664143190067601382561441359263141666961014565489652155236178524983634401885815896648737858673268943429170411199673104759261820036870614498837426297867811477740963333237059945037612527504708372979947036500690104734015008109132656365786341424892017836576838482945165421109352915633661226394047150608732602095509792163376761377932738842146719259017899026865277006689116313322914825961709953509066898534416603953558574640647589481234893931542159951662636615176406516110320748183328269929393923384685333110718366074502753391698434545998071518039270007951450863966087232803009912906473444457597306790015985044106813627155644485476128532235900517796282874571263732927103949330217519716832820639417645885433419881497518279936275027586411657984235681329785611607864712778475012768333723577499245087150348581980201188793113619082158292968260867322732711755028496319408276168136205172664259733183314907082403023124573619323191849363460177179247379743606173717588060960203447219145375451895461219277487188733420203224758400957839902590536771777139946887232995701305438466332904307443146151704114344692879809323472213296889825329151687378861559080107317424504487498170368691783623939136933943572972868721586787850344040842353873164643260706893470040182967729879190644091777928190227680926575267225021909277460212550551080764712496524725019321485740214059990132264660787404082579419511058700632919534162103357973097111664085252706859438890938657908360727429427986900346395450563465351938982918564881009639134865296725198052361710748051954208335231269280043896215698253940091443022230681490044483808522973848646197659899262308381380562610596643402628398126126866943771531678851027470620063250856222113792164236147466561549549776628686411681792210455653785919621782500628644340523636661816404078619037289802697042488958036987460258149524887617145853685472164104077077764835648849497703513307128504411529657917838847714737347565629937283803228091774513051667733188290117550683359923046973957142128879254881169933130933395184160394233497419306417928415623812582476217295830257589768797041636251130738304452237730924365785915497403089005387166707086856446498653988035450277260467091229789669932910644023543388488821222035505839946742159509721790115205507365802079410240891048537754475598021147241059305981677394250246628022274645192935847871625102180040344542267445809966317673340699061748476054810278559660753499571502418403440588874929850309321411915773490849687797252745276431389212760320827346308894624209777634936841028766770028817507853371605919148068484822879683076408893719514614503861655450410642654125915588902089765811319102507146812503463721812896559153729400944016023785827331280399940482248420158421961373835035668153110298582969717202180224463335623238360182489882803004234361541247636450524065902201014633109237572970499498584460322486870594386252223228668992454033742126577556315622674849766987663143639092720621936600552837804670324992271306017343138157262144745793283020692718621710440473704114607191983489462451784634604976412685420466132392258161942714022037391021128633407459365685622256421574314817345356551280613888930708926875510924811078583175779419798923649762795965227734309582068441652961747582897895874852559527097750538862772739277422285444658238157967565279910220031151876309564508184525922640256440273431128803539511274940141801906451990420083710326938746403112612055216758622593701833299249515678996194194423219607896342293296233467550666225635290398758204721016304809897965597583029156980720854886129707785539118420768911985259299347185460693576215744673866905365568199841787213786513608100370552893643751100114585583950408658664398499966846452552736917076739832786627935785345160954716371351352649672284170249690589979651549870129697520416632330392984360345286632887637514558232468195229909357473179379776206726349443803372101700594353772829565717453296261402602913511014487370335093049794385728089840605688894048231775549408355375763240706093190306438682349538876112713640611492076188442536256292512647361436442369624022331669019594279985683073889423900234446626434794477974891037674914885989149628230259738807101334541049488602600250465898414157809253125634195945461856864410473634755092130404960834741826601179596609059769714693060777820114601822453040446225439261294583086891532211125794605851651435932272335479214196699817208506361620014671621653250312355931134835856668655268639472024237387807215039604437473134956483254379846361193894422640411797327312836078168040298649768514368597804538980115243418476748086214074712055595110370744342648388069807357684428367366518486796754063238467728829706957295707823138901269571888868851804054559780071916865865600905580405112497141924871182630718851685785211561248904131329528268372152177012189581589110016493607382637861886153740684496966484221147114945644800224162965478505332929827229594932834856233275636858962670211369365062330362459568926774987930448254466555779028543605870544064730839171532957435132875091966610525149200285429847968042988800368195260997304566290435738982772282350811034373313859727849188615486849804983993882743866190363021839519537204895675174535370688049978419605116054628907492439135970957146516732301270665180605322179618128422793752395658700831601478828603449564288122902090332439865411625989739296711285787563187181948790128261965299426630541358925532333618027041539779672294021586773408579436071041839438654000123063242222270894091861790372963330161309131750758755820275840660325623293903084657699722525229468139033649423895807497676092990699131340618740695091889069456057964725284843067678628020114040919735466537546366475270599666631639054778213604260557104601785870308389918102595227087916162020528084251109499639665250672104758866904521410161504055975564509990637011309931597050732115976006699219708550103579781781463013268505107883448648814509953979617795289950113915760800821052231753382523860187268181238109143496574555278995972347908130101436693834115009245411298105239533172361195895456343938134705990⋅t3-2397844354033286344957373678564870896925254232174952728630528319428390299191743594348190840983191407413068566911027948020511950326654249224407995076974876280098497822883780269998654121520208993646157958136985392859557155681356518755699115235155133707919859728402504639380624723303227883172181792479221735425151494388962841403897757792877344824530893600004762819914324700474612920430761926054008412180578251557965578628219125811355183958193768737069703698678124292045173053137573004138586803483520957985085438512379978027604740717104643374617263956588426051843476243919541377073862413549932054130712821704216666709970449324071500484080411646119464967716611110986792324937814884854820821384104084088599466559001775414531088662599898099959543552262056837380390052812565632523332217914874471261656513322732526796586036115503056082868683386371436961494425894710553108978257588506140150837997260173257182909035530190084743771436831844014579477333830810915522416388944461417720871529724813211519076857933428092430150483721397351376127580783247935344267334148241743587002108190855846652988376722153684023785486892684745562448010020189316057356997503596507010429000004418561309915671261550379687375790645121831981979057793826661569333203183503073707903111141112913969219616846953775559129132024307839105787767628686106060976424152052140734702310112177754411580944184687642825442680960002437242484126251696826977242604856899873507396916060963691705925511583506442661804472042595772998089830839639437401271769011654313025625186826935486147864368066738289430208486935624745295643745790542808911519249127640179509519878381140760138316951053106863011360603910562652068574883670038241101631210510955296850384152129452880046233648863154296194887996271740906813532431861623586091184408330521570305847403411406664289857887196547211076041555898568363267922419485539974431362291035810197154207908941177198193152314574533406015658711708423211554464773235447626146806175158227507490501919652303582520012622649208419340103616245625936232304887027470127410910564131295441574279400298899107040002989085527976697331037477521685486281614134031011253881101462746392455056700532245319822289972517887629251375187265312112001054237810710435105160689698128738133741170302942843094900893164145058669572784316166786529880419307718910331996349209128527193750093846404351005966573488308647428767336677649428404109410484583254859122309334832034618985614478670953316765334930011892311945073320629233176339467602117876820643931880001428628188252912976877026834666084331525794669419199719063298678193038391957532789269647359763536405998523926278432207089885075470568798247341067248114710753583827780322321057444356830443087680581186248895088266867793838766904800104875548194592264701314242277736176711848153961728229482221610981992401641141442115900874626955280898799386413946235143424540149762589576789135291699577107721164226616752380957503053842994026325445337531258409114372605789273517564247071453712697073615539784144750468166447632601800917708662198077635508976072582426683634245461079766009366533292019009162251954453098803129403114260022405660889794280287436517433311667156300213681353596926654654611654360177574651226453535292629000296749021866125165138619099515861046280528518687051358698323588186296081487139730875946818089819753500957789701154058453863310409506464312582827387833150427997860723286688627846288227371195557651348959367167199084144809349845570572862598499579616879031158125439431617898376346465757417064465624793958975683421804881467719306283781419190143079960012280177981236267984058877246938439337196806317238893346898550483081860200314915565692583271388362928352262511362643434684443853637321835289891743487471414382398190203653137377081325055844192710911187776048469980639893254930857476251668476266883469784986641425323464837682459768589559055531674173503998425994352450018353089341471965271482385212567880191487574496369477689896847317407682540233688833662192377458540962705500515702425717094903305966831430768282979086922674412705745622397916416207358375183051682989873126098843727442441248854140851486702563670940176029008116299443672424299243122128282801691475021074271111551297832011179586750151537582955662727749854500575050656197891689837840135038545370392044618330490237671362518184664410327246257266403303176678250705377308021763551574492420743538364216693705691692316558345911314221296415582587364517672355909543673913083404072143244897334688939401837609465303509419938204814648117885801848639351087595488338679286855727463528027747486818821030566403330474518710727177477498951912352052063642928743889083355545637445012560372825862857135045109378933360549442327010566464829138303711840947212556314009842642580136794906585190996404471822830943290939058642624720608676975855417477034279050863016103367508212104257615230368802989975933488959093800497609653637842921169087538775102554671667521454758866533873830229518975883942196384289566746012781954272621726000543058956016954780476131212030797641190549311095455449984924138806727808301794283955037840005773102810981373062019911755725178373822760767326459623093895284334248612176825445690768927604983093213172461651000929867940308907438628675517103630277562275582219668324870293141481468576720073960479676468568351502717121956362812537052445644400991854396584046838615945256510293252430860669668941743778466943210604541629568651610132982433396978220098154271867705550243606460795037930417443030030126699597515063688683396412747270578043176923811155348762390498555840866010540669420110804377826870934290198338103192759792782805112816274253468451435864842666783318592211765113435547664636798350329720382985570226821574447613136960265553185394757578977254288515329228117295606712690950169837682712286331167306795487282906879781193867927749572637169190696391413911530336309671104221790938878478771476304731730366868720135331746490420167653815230060620252234381879376169800771363022087508912012350847584463451335018265055238679110514335268743065557650808881084082555279618849043730366983604806663030416209808083047020431192950564189530904235488240705110650737076150⋅t$

Node locations in the complex plane

Magnitude of the Weights

Quadrature Rule Data

Nodes

Weights

Download

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