Rule: Q[9, 10, 20, 42]

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{12155}{128}\cdot t^9-\frac{6435}{32}\cdot t^7+\frac{9009}{64}\cdot t^5-\frac{1155}{32}\cdot t^3+\frac{315}{128}\cdot t$
• $P_2$:
  $\frac{12155}{128}\cdot t^{19}-\frac{1209065}{2688}\cdot t^{17}+\frac{9099233}{10143}\cdot t^{15}-\frac{3334685915}{3408048}\cdot t^{13}+\frac{4176111355975}{6584348736}\cdot t^{11}-\frac{996376844681933}{4009868380224}\cdot t^9+\frac{6369394178719}{111385232784}\cdot t^7-\frac{141775691629}{19890220140}\cdot t^5+\frac{154200324707}{381892226688}\cdot t^3-\frac{853422823}{127297408896}\cdot t$
• $P_3$:
  $\frac{12155}{128}\cdot t^{39}-\frac{20092341437726500927610031705028415143758257614417922998905852154871083684399242131349469461021777819161009137909561293391969134717565}{21214544574364914012678025416651146324657442778692170022564210421530590004181978011084100755862033920011683217012794301064520211328}\cdot t^{37}+\frac{108568485708439399831891891125041663142190530183225099059477442043843578689690199692834839267453231304838669432562117806474635932154677339}{24884660785730044136871323813731794638823180379405915436467818824455382074905460207001650186626165788173704413556007715148682207887744}\cdot t^{35}-\frac{16274276743213108113948663861391661171567021820305049090522944797529975562100966308693386856627193433408893277361631813848347703573134206565}{1321814628794954697387929729635282974050431287211973037595908258734306471390566503936617065795495747454167946202416174516427060807213696}\cdot t^{33}+\frac{201367275583330557053015910692288897051757775989655552543962486853252821985038570543538844840664944860023156127828923614077361088024197666453045}{8459283170630511324608403287233402213179247630334824447354413878834877840281777983568365066824723909769811313708912912861504082400965850976}\cdot t^{31}-\frac{1559473788910841837830971149422337064707504129496334500378686365817448539569744764304703128387429522122567235171466745874373225497308892623985914679033}{46679584968731585435376535991043711189252852132084481189344311591078802319473052898249790125133783417972374530931524081193795890796807309597363424}\cdot t^{29}+\frac{157061777438469514728294466174084067328023623890528381765540723516445150068321170383647906609274550190829589522394318654718890293591398184762884153909}{4464475595578102185426383077868201395458795877304111083170861290753795667509784499702484807023205050385126256374062485319120361709258734229546144}\cdot t^{27}-\frac{668614882671758841372716130534522917422049232555599472656011276299547865892789278963795094425571989978870156012420356056162944582079044352599796881357}{23594308347001081350330315126625394839248052286037396180290449271647552601796724350279513723726624981380083206763207721558314162309615247851305120}\cdot t^{25}+\frac{7824600152557666301134659304810290442511348637128417694471437266419230641428813111726808914581832874504867332239549129002978390629323137617956213490995}{443572996923620329386209924380557422977863382977503048189460446306973988913778417785254858006060549649945564287148305165296306251420766659604536256}\cdot t^{23}-\frac{233029762655239254894464304618745237750574301426441310711259294826497689744527944832328552534265364339285089345085706074682843787132209015235097617510695}{27366525331939880321697038378087434052416875671525079364384537969982438707332677166838114935243474780577076335802758479545889503076785560433862475968}\cdot t^{21}+\frac{169921144678885999756721603434609857541452842126115776414775489817095166125671491507745623624201445865063701307297535662733280973464651173231213929310585}{53429882790930242532837074928646895054718662025358488282846002703299047000030464944779176778332498381126672846091099888637212839340390856085160072128}\cdot t^{19}-\frac{211112202816353258061074130032512313197815430911359149326090965007446921652402838687059466537853613297572669581970177974791113278175381370433261761485855}{231529492094031050975627324690803211903780868776553449225666011714295870333465348094043099372774159651548915666394766184094588970475027043035693645888}\cdot t^{17}+\frac{12129878452418553060424413509322540111624543313826674455603825890822594206393705602515460310277036118913573792218651479687484754025634271483094481816467}{61287218495478807611195468300506732562765524087911207147970414865548906852976121554305526304557865790115889441104496931083861786302213040803565965088}\cdot t^{15}-\frac{650462408132595134585432894149533325531606944551194736719923404025388956406164445898006634830728611513710012109964266838926104351626163829536653406305}{20429072831826269203731822766835577520921841362637069049323471621849635617658707184768508768185955263371963147034832310361287262100737680267855321696}\cdot t^{13}+\frac{1335992230101052330595892978126343815582731295996326234077668410707004829246536920129725848848737294506034619060092603896689289796080278644336575667445}{363008909550143706620157773779924492871765027289935611568747841895943525206089335360117348111611974295301806689618943361035181349636184933990352254752}\cdot t^{11}-\frac{28919753485271177601841380991670584047308371945420371629525865119827023203948850619761244062019354697450557759268833703309380596029610403145415629045}{99002429877311919987315756485433952601390461988164257700567593244348234147115273280032004030439629353264129097168802734827776731718959527451914251296}\cdot t^9+\frac{13984326226012747788615337065945453386014469091628513266698529163755825152981134950750486517734708868684947454276263952276090637059132556892531995}{940332585422761214978189449955812535966698893853029877447460969159452645628868558133440798127486858673433142984654148631787611633456096387818067072}\cdot t^7-\frac{79361725383001893110789839109189725903384570651152782650104101546685860193190607524561812047061881180740030184361095247967493670975545816039053561}{182290188345526709817914726227148230186687199851223077670886362164196748588339233341011309008428523888549825004310811384762255569514274685467016716672}\cdot t^5+\frac{42767378460116336916198487268715335438263968955790354792761062008112979264884905796667902099791786761934210590285116485312112006691440879235937285}{7109317345475541682898674322858780977280800794197700029164568124403673194945230100299441051328712431653443175168121644005727967211056712733213651950208}\cdot t^3-\frac{23024077022040054356975365951154040933163399864626778714071642430767849184142498808442435695507931408295447789270055763490231357259199179017612665}{926581027360312266004460553412594454038931036843766903801115378880612073074528323072360483689842186925498760496911854268746545059841058226228845970843776}\cdot t$
• $P_4$:
  $12155128⋅t81-23923445483178922907914121765893765054735250429422818148723560103383691245222411390657020449422419659406077628098032544493187362297005920492551275265132273372255304417867404887546129496418478398602769158228841147104574735660242394662592278871117754362727716339431786114969808541282097998676815761561479354115621954091557283038800064794375784338450146942122822621093296639443134828364481651832814233888633380474681745643269074976309033371337313008771226045732244296388438742408552293271821783642193349639208474004514410885919701713710912116516569665519614677931251252128499411634526231941115818867257835613638791296494152948002716902268846374554205592713792364144320496116015867481345013998987065798787754889942221715791621971992212948305316283368152546119869552536715967172729614248616968589085802581341198800706289720996905884119148305874438947618275870861992528629240352230158152884114930393982381506562079781548219170319066982209766410048140874296172691210828580637241187235250245876673093794080302320847217879650319849329102238004581875636549273090589078012710740123964470412733297223566503201066073886933163313489587378466067548032889898142506434250553103785598805740649607394606898285520637476632153827054289184373326715138186746102149417079144013012792428700511651010470076075852943138666570121172185591238973713711255000647271552706656212471543290356033480995107543986713723639082839424392275039727656374367429054141032492190604332370019386554450299215081739873331108600627771776216236528968178957836975147064359740331178562835349322279659241663495661945986810932759949886932993336871053018476715556056820289916371165989592647931125003741848389537256929459388359866910803940466412193010510394861385017114338936281769189978029822942953764132324551341927028035452501283953510577035169614944077860296127702869098596931944371545160738206785498131601558477859617972802661387020089549236876966715494947442024986530340171242261671721763281978853056530413590506136761315922425463778976846391390908164876354464798375377338869062279014889795426858459330904484898096852952720136594687740875334503284913549145238982607071187007719545988146103999711974254588680816685121252393463734529988821926772854952224706092415660587551509971141564862874780003580852408830127116490127327078053630187086505059157735178693405942845619495103285835919118900256185467499538584233376424117033128560049953753072143543402020570724684481690485678679300144382109860741558098557420613194088330369673195485255465217642374013885959232916596776341468974013664365669058058176810499087270979904979487197684724931071938894689768493048412612588101130519716196365881081033128305312941207969300197615730388121753079103357772161508082316797954143704111584516403208032398298860573984693826935809623147876424767080801198776683715001168570723349634803025184628494889642041038416182423668376567140704330914659221684786281593506108617525027035313949535754441107094352434874155579184588692095349477673304316047989083732419029869834820267079531535284717904252879306453176649707335429308588299932092336287425931103568290687231528757111219877564971539264773318756844405585390073767968340231782383733321345591828209600794562824840804573641798174237490779118370014700155035801594838241038504167421836567497486841885615751819145790948636232032459159718304830003919479888504424949689482621092900553951627628493990299198051188921191136017007738703285746220715532035615875459347087896614677701643762022940411156047969047590582054057232903202738961537215599433601396528195561701887020592228840730283686546972268878616305555748680177568883143117449056524929045841607685472136911961886494026479303972616634728931965199716998898837158333952295523078004113511306221665092649100721759568382610241150555699484933581662700302796470940501079310296470401532001087576971915963158848644301161321372874283579886491045674698821410938043671188138951606065090922369543800241238392090616879045594974482979228406039008875487787350525105521113418740062541618180560977835219458807640292254163196245433208013116614518073027685970133069556806729067659436791198447843748436363681587541422032513535633838105979189408439736011337360462228960335771919998753527103822036050108915089015615381954699114737029889581872657090548209414870076244451144094743148251054584097800656596679255529458287264865535378244080880238240768293794361781559809353990907367590801763278135329684509072777246626178365330528644357800303606081737469887171871110490189669269515875043194609485566243751355692539861786940255571418643294353930929297344967233499061575193354657850758504500755859768150926259532749464333875310784090315023615732483521521153093397690401490625796148688636774141519176460733650428477805074796023818723912146025955191675341073820176490590066740239381467968765858729537193933640103727616939514045448226723176397162421699390040172012438943504014030983829747089770565694082974990167291431568159694207094577221360213045020355981361610721538851644227821990386118688346931545265687796376084502887350922506957123373392767818483271106145738930401448019533061357249836909780586369129187971220737623286992356029117025373675593094483760009778366136225510830490460551872489685911196493249385697287287410367153486059345439165868830813591899139646766966044944251874815000351656429950076076261503382186956557173725085418304512673982324167917064201381775758102112837480436134420597625650130062873263213260581489403621283426424423473384296051939384171504049017919324418001430013962229094572784446730981657804484297548690845809722267649395831534095722821448034283949675934522841669874922183664222629707161799017420235786424333788494407912788383420209197875578655691866250577002763910957419685865123897607168612147344462155339725673102147407306691943226018840521447666520981824220746593076904639761216488417446045224009379195227352877536936342809410181581252180480231408703287766977518868930522517316593135946846527406302842799264766467894467948044556957405159866495290512903372194013675319772866276042492747159797786513193924162322684460877021068298213273016425018138939117949154682554709678935071464539546538887025917121164736527809395640447908923101465027732204379839507672199158140081830433361658298317955354436840163637784690669824523217965296770715730730391053956944672808101351452418796930190619341009017751613724524803552545325703005209120885878719296718639310008408985088583786814269840280576401036884854221717726760532919783370383524366130889785327682645247247223888952822063912898173626964885953641846030061911786664149107377698173931763420330473763656107075800104402995783117345906271991855548585226914077912922989430512094706644597130129259820774232467670535392246253175449494324800510745985086129222698795959225551976287683712⋅t79+92443272875752837234590084535997987898335945785919470085880842075005298214829949621525802832720699727781381074004587212616247708477359071711304018837851558702867589599100485227988239343381338256088781481848334762792921880998484327660479201984636333986318010130924825921571408486444462225987049868902682770957657920725831606706644085131176819709397514151892411866393932562106292689348879026253318158899697653104601952895866544265299124433473031437071797839223230428984447987828401833400027363638699076223599680950368560995076470318604656663151663266654938647563226423235078300179656760075841787945669608601309507400937852900243373478157179282681427866132289143862452075341867166342117209357926398658300248172703929390666769724555942155722335711054826559893001754059189944341860909838147245019806542192952692626507129204137476968895453495186195529263097941669399772997448509446543657525963682413592565886160773822381220725279876220101728424868814118546794776505976959141358631321142221893590425470044820287089747696748549672198599464071050952968479614154436892334397514277056735286678892040054391468849692857960784493563891436107592951798604468531588527716970568735675218455634226716783125501462084462161382793594959957892047487998120432127474327051835491162561632404334880787368460400951293058981881843642799588148557158674676825827400721675219596587408239173176326504526214173300284743940559674132168510237123556689066530945448547616634550827138552782429804626010514957637585093411556394669330128515735438998965920658099184310077649864846679035829275515499151659551481599978506152485617851946585467256837806021909620725595124783115854166276772772796818109390024509284817290410475844131036425120091320678711451351876789764186773671767098084327257016742863922729425161587849335526357953031614734471094236155780711512623255745238793411858833954666166187039503691042007900942631362540169266109652606802670307829326852242733836365402707738183853562039572914540494225388852909086926664908623839673709018314659109203623745398201237935610337091279294033357509836865471900441816673072073507811386534893479384390920232358622219522449417894053536614124406725198011410618461438812726617781012444297849909992809841086900928967715350123879912839663458713735762316449750954699014138341810713870985520025150495811624407375372804838027923017370942573893329350077339675830937947597647574650284830275086796216212897014217277701903138645327561993536384639687844006742841334746059136055093449244971332526020654375557547707737905823484276417562861464785254689448851556973909670747397491031760822449026345489407191704722135889122737808077866766287952153652699938200486737463516612200742073930221589897242486047132462173364761667559572037068537318054612720354295442313809261964130704040452542857751090181809107641190094909440505952237094913059943535195680419732285775459881305650632786669487384780818986792854886463917149829441802188132300723536087737340404694671805040205232465411454525538391037224004758931534522035552357631291180375065627991340619025457926069435173763318584125196799556018163241027989097143106413467174745016800247980282948286468763227033461205337836740752153560987675475109752113481586757563605398065138765808781197435515434534929391203844483926797511728003483822236299207267009349489541141780059325137949956925239619435996642266173902647150329034475337307998965497227986303144987243780727353228306417876784416107067025078126252068842023516675613810737190616202775621538478185572561584974046993961351069480585019820584760432060526241134022078392794282719987047464342481497319135543493170965383121540106572315186200187582542470894557834112679362050318687501194748231589291603494709249216969117695822542746734264452037215399843439483022993606866761349532123454557753143715492271393798904225089025193452815346057679271767268692250492329999044565633522801741825045861855323558878267860870652706914569417402415409128149481364309649047835647372084997428508303578941114908578992782775489744947139294380581516152013715527808477875271909544940419335025446119343918569127938406133364296656919979228250945829577930793500070518969165754106402970913341586325800333590281413619179692705176198662512493315588654412185722561784414291382647147952776144501181508619775794956212884991651355584958480596355714410328070577573120517889385860879774150977641049014723264794218915153859882975204333618839047365330733603868682011861622338942662345487091345153423546254130715408148542342096531679133616820182815384728038836140007333847028260674831783034470460553580002122117631125625781538767903666417410509012471726065839887175223068440762443211281869016861330780747443364921888886801320919485770400379707615096838515756147482342079527507604385140746740235111143220489518696486033014908009235509498771850398460959584789811607795886924840321784218385364061737790988818855391024857770346135756720775235268912931405134171924627942995136433913590481352873569533222638996050520553850850486225118685006281384426497772603309569412424166036189898794583892280829580313440357447645403514573076158016997170353937227699844278316483501209362642749423085226891037234540752305506446111306176452370251371748521461620236981625857220435051017078158644778463247452875729425811018198017559461215832440569392603858304811548239112677171981910885636886042106452953702565328892619140857460201579571493813574934330767043818211341473398742415729114959688314488860067324853153724490188668847734815126609601070137080581269920719860561496054668643028263097272305954989034871761753617251749030733590657725622028050275619841063544232106234798815603917359133698274219040239804405725023984964643241345186250061464164775927842792229416994330389275904944887735171996555122001575324326071403168211252222863572569335616777417150261704164892897126959796103520723867965835924651969282677477290376933075833107423078649774026090571074562658353437118213859137274287510076249950504870214438491438823792615059361642034073074549556533012870186181795341405743262906244262638640128787691703341289563646529177705568024055261735618362847307944418567269495433633441111399704478319512519035951012928487943095068400680201464424735419950888060507662959435467406854784386680591394360771837471959819790707971659424377553733376557842324179101508022783596648425932351137215717703197212789903341220085254802180469907602162891132590283843088314033902061633543991597061573610746403956423100594073094645228222370648552093738498705615531339797360947475576613580439411021299386123534118207413265278125335266536210508291835579162579291030919098311152411890761287532982732711406343443485711175695435176489361722318021503290022164222390723665858766766715312405727032745317902412976027193258035646467936438007280247102308789296304935296⋅t77-491909231818381182252806507666049357383498396964553497518131820393165628006550846623421445528253909876073776572784611749710626009831654809635896541708477146063126084107584993334596011163517824138782918030006073980658470888273626313100959452706878389715165679134274802387492775126228913778457725365154237442476270814018263168313880259504173780315971885671146850592986048083427876861115812521804452441101772759151502847754400580041286248455106453990773730014930199798793199714312156331739268499271934377415548696373625225189196810905430309766666781609553124366855439000225737721727981646311152506376874537933228951095291288762705385282617326422504186181999955372277298974356735886685519206659707490808816672713550568214839446720340201210265138738623485482251611130027156943795808215762294092570108447427145100498353677295553107895016880796611779087811636965021239036999861128091602760729993996844227718309733036483494194884092760075631878179621563320886320638180967750985338373835056542846851521888126018137415707408285800786123160740271247941685190131272988196186577085347217771539979585005061059938452684104028819124080085583091293117689996050524058233919982244478227413909558235269375630790913754246257389975356986357672701568933679522067897776225117377051596605658185839903667162446919673474322719641265965393706463382617366158042713810647767472438620013950181954035860533487560617823209490280293137836544168205485761782912312196807449507089275677107646629982261825635586565844171468529835997104641924179369675511320546241049949834372919204570755432401871303462457639092967488931446390922768129580203439831929390124527239210661315816715342465883016044381347530200334452096184913626521804449529537253462379549966805334354465857743849720558992246073604857115227288863464874920126854937850582006647053440205138505758302707965039536578743095282510654581244656671058811367480350234517076824291901483233117722298404104304395894674392564940782214675253708258722525258660862581541775564112219184273147354397295740271270149950079587750299359346221498815054068177670908698197780593676152788609708652902535466236643346704458133378734385918526224183570138692085550163169139260549559250391743024911770256412371521766884686949648561725579296266788819396875219031520636395164092331137452163023595508799073609556262766922762904991194280169101519877857981808472569993033870425702905557461917230192652071486645498030352404050367238540265421805479514885894596911614191846482840465393521450510093055408180982207031217803068243382883684703506214329284841158813353155599701092206183332151855836745661099471934162106435847917833379354620876467572208450905151516730481796993629428164989786922146199845193541754650183268919817285483766911092206612514928317451017217861760132191338160139171088319360953500663402614560669661397716149513852784955658630801459896097984207347669597322236612364995886264364494289840604669428286906005045723246750789566001446326084908513683805750974009153685986541203580167028596979176877134435910628798965603903976070433269985776746683024350592148305052210843706885667847759846049329440609663711731311289900528836830489895613851930968616921636619958898671715325288689167307540037635536893297995687163944780007105764532713015020386646211409225144261557634891244651726004659441712299021297548329215378453656574503079540242692380444852862319208767732061809990002772219770531250736520509539463123168679465113119958642468689757347657050729748164766713264715019130661564641238071975613248776997176427556842914151130477335291246764465439020973875721173035220329237325170410833452079182276801125710185121916893895085751211753678945230244789366059170768074362559557407393030159492155842194484386587878838115652734170635679370455349946704641999617141073616263266129224039620328808805479440671769053214595384969415139483585859782853422562872922016234381247596909885608346755516566099126701214651213255515126709339028621884004364523102480168085835029716484657470755320473660259439700604078794248478852837760272933067656278224328338913712110352853997594915652083345035062662353014283846735933197668377556433071613875484370976747087611851686315612578537959754525733407589680731809216998983922545631654536114922885849133018488902168501558806766619815777625645153008131018068751397567595509802539672679779891161096710662126517061049773704618016441196070667005302190152532665157991419621952418772682134033393547419784451183229429886636464079384292721513774578464552376188762227686938127525632733773948980876067743061949533595016000931046416972034016466014584982728726594889632575827167892686654598984797509805070622889184561291005629111588987422280977743818432281313494632638651918475789953717045502812768216575293257722853134192090717044102781482642520732963729809251272143403277173358904574491837919411608053614693773877617924598703463132583389226553511350180349867806463393681968898655173665597710975893705365897190239622771641751011990818705126361538669076824434054458872166092673132044209033277612306048898520297700715680851271746820001900610809709941854926195636919879505849724251901815179635050485604486356831256965296053412317934463353888479099353216433820020125504812952831334476978923520972926013977513110510997953355222128892502158520685107140096060717936629127756911207634360271100425866953990183399311227367178323892188456881426299041540690663619261691399963378690964913693870492512374080678896861648336930094637113136074113815634079961690804584579715336294319934071604633177830620644240812691840404414897576366157342233541791576301224118107902436695169686785505129597360115862016991145090974110813300392658857916194209552497154357295922342489394298162241146424572603894995203464027746427023011806545028749421287458375512843561931786877744389920763979621068945693056910331000655947559208974581597449813073843061706124694707769728031896123140162089106732978650605058247326616742363345192254656206061854777817369481070002125470524034562838373527344602918334419700106344830248978531822912767158163597500373677260140629461761697348843899561446873847005223989311189780104356047355159653674584537326593910945896386345304415827924442307726740747242466985508215606939709871074855939267480834134482493400754144052167891495344224565826637359269205731424988093889526725241622066908371655408402226604856138307984302387751205162692441549592645698929581713028532763394652967564067779591927926111746519794272483098492612403792966756013712335235825382644040632033722571495053478225077830668174759972548857777756926626558423466512986312793368296081999787247657444380721027031251698594515684340935412783466921535388391369875296027189968534378092602902306330122849244122299773149284919190465031988001550837225146699947405293563695731396564996082756912968224372457558486912⋅t75+5298472476367687563049989951302773226813112332768116549837089263501185637331795198391715121199467619085221449480819418990542041592009468799976513850525980713586380548650000216979804863967649617248579003161270880486065911661661456996566358559857862017274042900583110454820538356371441778741868607401499017301870487905972008554695110385722928036253582801703125029144353084734390825142390639762087844619926215107447226616671633599361053150250518633320550010172644121984068983810278022306277081922501103203209313113553145087758413193224831061873645119995389609114058940135383087757473194012985990719802406936466690106721402717329911019408299600850510779110813637989151175310807732051079987715602492332112117883844553703702210900101491005187135133897085429044713430373579643956873930388972712526138474199956676286741574321902879220276168150823992114854104429733209491781456197396023816226034131032327570573055653330803615685060221345348488238629478928515991734182890353518559822240613083677293833432866310095867603107096058825745135283872564456441206878457227559466744069262213635619362273651899099592207080681027055343171536891723376421703698381774979850526913245822782677378785901158846788900335986496190823725631833837049021273036987156994978277058708767242204417689860351647944534307486657370947736077926365797573852492270790185033033748250462911981843223520012334785246112440147123300722023379470542955222926579559203214133519926862807949011225363508773660639816584809248689927500541329616190469246897701692114587153678927915693460604653036736976150999946024400156856608723366953644048794854064323429330453202074721055822549265985675256439213184699481105900095873292239879366888850169646340420648191987887807317108150164895128503270313184441045689838593737803274451638280923970039439609632566021181063922325821986729564551037098079765362153479604186888165733194827988975724121770293950892349577483777075792675998864890030725099949702413980751476243298520918822610358237540236178058283907782463171987514431446273298955228743566123686105107488435065756297677669711361517392144480651349001719442735986611105737740422274887602465946332724491249509605590150822069827057935643226598559860585794502082596723730991947980173788579561158297803954949128294070738940213783814997375764587930102088979652313981820514688497623765758488406808982434246444412643145505891627913996581829349415698174708418470644893965817253271616262882164856344691206664061878946329469863554526246109954020180501886540864270363667541533533038961946911959629724647042562769010547869506800976423286262531849684965260251382910960782419924397417642017282834826526525959528073018348537847224616058425079963287631348700180381884096188992831367419379048899174563463359878117263194259043303016271048248792810634647599403985296180612119397923567736066191029244219551129586779495945665855168786645215109093978679142491166221583417615246124480387892944326195122920226325204616406597277116054618518856260317360985627516852286023690544039448047966170553128518510845565975380858780867673655925621069856754062529647483751477324246686894663506762350286971027622827777043897502728802534635684579109883305677427889625589537425302628475576550238471889399983574249921652569917308769225581078753708651427225934968033871480380614810265225155312043130089671444501775160690312754366375564727004559612447490461826419468264642890319339610467536011583205078609363767609557280841337446094681483029752497882905143271017815264846139950596679999343753000831396434369214023843458336582576228948244735707196018841314011768181459045863525019546323876373039973852241049517897575299600447006712929001736031386464236305375635411782269037427796395021935702733068985957917291416823546110896441035145302181498792426599618789728296571742378118138550931430948718420669956338823398398026125053175851987983787732564012641569831728969374593763358390238104907703225867453771053220323385923848280911638553167867740994134694231806892388393876446854024943665379344323722979361803046103687650445186410305042897547722158838351850121144114469874213657910178649328158326045140790699513038938974587821680268672724403633924045427301409609421397626293278205579053097768988990172059558860600477830526074981824096486469188420954946603264359104138061234195107987907235065343626093533733964202742003611129407965340127211877370978741977656157860957415517038148606848888768589230310037166408205471754886415516532759714625634452609113166107334644769273636152788746995059723655692261051839317259476568734775763213303834394500097213293297971792088702155126585667817129593683465370708754824726067652999361500255905280967019472325866853417523044396684496716269271629269981599691034495485243035656558860768273872957295811247014316393639466852182500764053639328225445075088309263820112499240015073742012580156238946586656889571410396685793059194092138356997740743087672011420922960243463967369241586491199363765882593392025196481889389879814154895145883526683088953175048247503602764216140773926815750170606572036677974815243555941784769225350182514481067337438755707746567596851991110074676443729511506908042916118577887860616745871485585138261014705326525886552923872158995903378110483580328225991348039831121872321422258106689483699205485281420607133459396190342919444688976130376646983611082357365812328730668161734143414285135775385979232795631612486521063723395141965268790963482795775666359504125618187758884159540842775866162150321411096351599738683898395827548048343314611623420016459150600930204759603622909712108356300541442832707994418221750533308449408744269970977318091122929707793112763362317381161230898995237902345759759344240925230128039354412840313788551714433752610416999332518989897225051981410995122762850578973042128428371293220698744765703174457210730894182433132435452539568958087973867481074080459758742659324353556842077288207585829394849919322438660860524951516910575348310898035488990420703868879786077612482875083708894857629458009619473410081368986596549380527815992209456882863984673853012228257649655754448541893653739588601244318872311566099099335530605781145722996371821089499841056141870756848929334364078559218438590732200220208207662417336078426109848433526697766944022365574689638681040649195614793051988633983379168596049177541522911965212880079134605172285298336393324602023957339835985418979199293970214973954242191749508702435197183858826989864905267579325259008735240609802258297957882860356964203468563357126856409382505585466785028455297467439905567817760712499161259480948326414668359286571716014877017283997679764484903816598088676569623306480901234113305470212261330291955567003204401527486536210956437288518784225520918463520473525747577493615801289509261203103872901784397185493839392790301985141548238238152533874965632⋅t73-2154418921583309599424035596198323842987421645131555674316706454483940706800865518262532884254011469384467128452954126933472084247486769265962664315448927926788897294488428787968304147717088893097039992310298000030592475619199917662201214982097008524048429602038346418390305595109874698253520131206021658623760232221511288879114113165346436097390940141839834535077042480146945622383305985804804569353883266082752049252096012393022185181854057573691054506333792764730447885368537586515429990125246312233042654945449799010848400733758029453967933146320084829513712638915954167025173123860666026019345725444124191503317451958923912961699124065467324780562514027029291950688867091469698859175170608715530257130261326799274181423843597539537896586188913219276231528464702489923274461072224833104735680872928451421476617065874520127697372058113356941606751489437623554510856562399585574988136143404061130122128282358450760099837803949632254117012513551439709381171653365076096258783566413433276910473208166890990685797700366779181954313062078384123229431078471134479572556230347497984216920124496712553236056273392236982637853558627060553586837237782327971492470010600657475118251652980447544061436369530574809322627759635684697758663597020490241492058043564443042973539003275994545052388408510098450251536042342175744236948946961374153863526099936123441506382337415291411605792055077289629223024080118809789889934472205819756588108552126438455070467629563855450119012591095406260143495959005693333900952818477244202346971016237880915137849301255447946862610334984380332448616314094629532986573115407208384936853530192784551486161326070218901244417050503263624492301922070209464084147126036172528853734884670427513930584174610922444502104642665503173696916054949646455897464181161695995713468533219196944223816981420429931299580220563173091426815114619120730506601093771883338357127446932929231756577550548383100217989011262340605328103382200933387710434919619307972827279984863048766981105468617325559437421162064364220808503049989655141773785776396114293148584976784044158904678070722610520142950487221163259085627956776533260673798350390694060603207170566554901910032153355075651132418490449019166020194566459271971349997189250299236793262330833053529795817993638240735723284654424094277281641784737538221542288552281210569053465189623217734832962356331505777865346219093521121663279671651346353944303164107844500594324931375564851618191583520278719521212502435059822805863362720043254999646275370534903508508902637743375313883281349625365330794837016900405485645873651238588492643112680854637332950043434856755988508206247852978527432561591655785125567299957164438137893852197736467476520353405356028054171226030079166086555816431442101752327460835438221708681640580735425690290322354478259072302906189975176709957989069590392439464525245360922036464064114508688309373899826095723280773256009796247683670965674813569236925286513963117178228728212697515609855324684932222008928594656334196589241697824519378269035878788345859761750727832316541062028528551268975041048672698023629106907100156311406041413775081776970982790504054649136783055414004569376484944299656342288862229914357016890780793704215270865032455720237029140945447638131297613370693919267519893791232680362461494158318801433195596719310745520455397648841170586721595456864919649935542270913132492417147493823199686558454769904607931314444874608650853774644457090034137769839552019708803357268632502406259422844467028639232654627338305820289894612568879829161368775730617703326770645038890827733721255071100350435543782003148243436427328134067253827560328427803346137814316431399308694196966069487164078937335929325049480526320691241159826968242828505951619263864506381367317515983630929533113428823527512438276324800575506609005282558821300450298269106417720197311301502536090588993497091126542354209827993270461935108231922207134410059398695079658645633808243970325607943624947349632536614546503292659069637101194446591001015431307996661495038575871432971490544345152251654123877672258405966073261302073472988629621930076143423260870299649444843942561488067247253804249874511840467784677758253703631100662955046341323328293766995862642326701148357078357271557111973049625995748717330337971452617319394345843708645682086391206864923084261321291246419371463356052043882543413365058955905374937696351882207997356459611986819254860246003607043845352443648876551179485804726428053803668239396678902479809458164445115703486878163477953237478085321233848345117646509818377639588108391884198268848843222331873379877131542099027894343092753158875240021853272364347809863848953743427690302335435932089571745201957346418904045341749107966325298103863328579289460011012015287831243394006552476478731052052385000827406725463445589938519203993488720394346809688782529144450564972796570104081711559473304629875712137380312823834390694005092186763921077595994478631523867836938024221787940924759835741367874314163814652888315034307825739871263682562848691659599360806536572107021121656396921939344592884586586707951992636807331111564336495065853434664422296821724360115242298823883236539538154452555537596719804248186876901075641146511190642714613833521158609829747116893679334988175391045206996754940855644811021558508297344403709827305809687558844825995537395482368734290267236093524733895265552681504638561630266255961824017253577254262933117033561929678044375585190397740653190269952948547554401463455875088874744497745305106720447900940244227272676211781874243351228407628832071960369626500581523156053719321474232074613785149121393938952219328311160314418447337657452453697840956088986340088676100823144493942921632235259339656992968397473528885053919640006827933268409084586530445260543498759885019281050162515631699559710898583974051350020275395347878691498715662182586079606585817489361733371086907508188416555146976055931011855782328780069873643881711228269778938404371445566716520820811953660141446523501670765879040763066975177216247844400800450889896580454436765870887872596859542529415666307215213727661137783359347218862594070508364077498389793454771720941395959381410066039537131313331983146065517064790468365437242725823447533516464328105404442337877501125756887986446516378630908780175963034095578444222265953626627766725753635693389344279250482270454154504784184794634177697408616203469832852252250906357162078931850497557884660015387624084773548145516677129042582855975500329423629656320903790218385018129724823500144553054863020584195655003111977370254617559382945494597217354518454459786029603879528419182406556843793669440727513430228128085841069957858661466866866297156799809235402570390751836255640362184660173692634886041663833477160646341649389672757697232544323501850119689349430599641311662490318976⋅t71+10391934955493866668501465801919514810804981019054074639241509598076330232091657351686267752154108120281379379849804334221098029664619779326630156921002607634380932822913324295485888391304154723115895571271095282339364786539187125362768547056723481581039688844053617169021719401017549114078405800506511763388969377608488552295430752506164596995777735623139546738680297792738202026247682907693745111543163368518213666597923434924101298936411269845740560124666068354044275977964130215789103948454274890780908698078506480934598995576834190940561388142279166158943823508271727158403627808453658722438709289634880416554040400576730655156822517705095099419272400110102672750186010869229106647410830943623575216256657429236043185626158359266427621170807623710893999506256279511972176743374202193687128825846054447631155162899564512126641791470781553698354366190208887096141854195382918384047227657071125724429883489594635282280210502579234147576507407064123778994714965887696970724764917175479331120347259281868409931754994676005910868317090408522233244852107619007581415204540119812867896266424363998402659457260149436026411477236846763874000195278467065780818143563860007150247107813064869362853193444967954258115165958245397156713165352317075653602884371208612177958064755085277285198179171832980761814632522627910784172697625168886431533506060176540163153278860998753498558687666232813304784092795174254487971392544738118735199460940916036491189715743957780924743436050616162599657743685924841262143066841063615717987315656418333967611162953207473847292085591839746148851595356323710966322469404490856029011711244804161848431982377957693491244280140325373813893429035882104234083109137556776906225825705172282779155732490045586221408018264260016459568894381514925462010914273604994332668711919480600069136082304554428473610301859068159797842328706076603297572611043053347357682934980281361936577664572456446234203644747155886360376969823468827774819640899418351379292361258277252248866072252741117605751859026623700418745479965066799822031169401272813739405762139363100749376163893338557294774346553311469041954404916383613512275233630766865075624205958820720210379727824338228127327409162792927580230015637900228850850469527229284077807485381052401960469927404863721137426063531478718316945905165945171401482981779500436027345771613789692368574619646615224731942364246058070398459915211694416735746729568318775927839599376465545439652630977687908549218026685646689240303479756056341599077984340884441592872460085385811525314648865621309154272485236655138556249819722673988394578971259947536236085015822055729121285764343397916812541556027157797512108215457577160265552598880755295498458294425174622409526132873579225504656649072459445795427790297337018743785073929932272879792871426486023504870648221744534619751036309436091320251888978097553400439110919346076147344125831679091697991971173170198877906846950466401768058871921200948363646174127207621990635146005362177309649040282578204920280609726516694772685827848496256812331072070399604513134360155422118330679987055250479359738632835372738598779416325940388155932558290056862221230640306136336461425710265292470138516663664419546301752571382475175139175296776299248551337590706267692442218593961043446187314227471434495751055165837422429607879607238846256261401160449904598628344621842780748533460771331890926503714588747352213342049433266073315470064243812124299332050619076722557062494804798599382932567589254497470375272869441812726293626014716597980835439409381662842199496733661290669960987184741015539484843767986047921084817762854295471722494347634991153329604615514241382695233610241973916719305803380251282515228087122018396921022713002206905885769481624312362347592053315500892511258004093370474547166187615509112208031262359740282186748584580621779904548126704750197538029258627000773770980180702995045779452796215643204082840459782709685496671723968209762623188740591078673551554000424746065704231966194359805741887940952323117867329457132544094085783800373089429432117324052226651732013884381502442943488742459814126649880494818403786316547476928302729888878285044132942394665516182010371282242352271016213112346274775721806287763568274351688832775359428592637835186984327337415381943574244043799426292459478809844313425137044337233237352664807968894272179377807380500932928639406994316544183090074101115357044088150614713054642483546365916605315149441451488391642438702310696401732733124618233249092114909569597816950620533173532281227748475271015454860749226174593070971198068497588417443848134766154748713139032045806952352933113722722076612003004707244181469648394970632077363612093926267939876259549713481364415097171794432428629526803273751030577220242920585946164784017842843186788201505642167248744053116673294694468742497535841134470494855740366591618468334763123825998901310714411063206865454314024376316713063818118586314335493019947064284548242968639377520348119486701185631499861760232575125199127801034887293365001561031051479617157604982357378999269727851834409270334453032405867791805790549690006577094195193519538891403210718772505663345874289825763524442158268283611400035019112668366632212203767475084697387766132450388619965667881929358720907433488581420651933423096322553115955879108381327187890023941376804720039971404611871676357627045295629058749539354734256095592473551147240352777781858750599171770561582007044497213881995122845597696869990143574188428323426162709465541101298380852047263127733360082518396859226424553908713056307255079122529547333699865801159681145208331649008468991409585112055474719935315262576683982804828725827942708374836121594152095212998710773253188885871233059892891042310198050432788309630659140153418799521543304066857226222888057900450055277524249547158161386357736378392966975186794592123612944485165864514937368344997014315787753027124620618517787397546419265070037936400263365740671098519105212789297945835014082308728127354507362248609568201886253092016746115305524668739092943341696289732072097928649117881318451706433860956123633029151915230179159719382116652526550105214435691325752859077213056557528281284602606982751288245757572039294303963234470018278038918653286979241988954158873191674483171199947666342863083565438025747502921959361653536976059755691913833081493642502890397822629760994513960478970093623668325731654523755837393508762139805498819293136968614934022087515603823672173408245177523790526343820609035972055912221146532859317593536152859043160901170794329634924074025256693056097299452278910107610754377475906047031505737750042846571038955315732256643079924725589519435633906013069990225626125516062071601631209272096760778752042442056249390145208358092038077937889115496381138011854178108729793757689232338159783391690641828025626688510336⋅t69-2890537835150496478037767941601039190843793957662430324529291074635757105190107559098364399104549009128456561163353542670482215805908897454474458785855656788511051429913314908474682390722564515106453379821789069259479358986960610535768943486846264817234896498820642399810865407504507882441421805710915479949953022696668950716001136378634093323513544803479039797494656840326583554638768658861405823051279819057378852995508776245391339136280880104850255204861895581158319410445204610568375902693121170523235539824955815714517134554592829286081315389401468946563029136994855322696791429375473423352994561242563961475155566946562412604361735302117640897053532061795847571601171414527558537702911000098027593670686656348412329585007768516406726502300697083947181022495302173945151250715990020535245432747301418906489954863164101532958597608755584949469812281727816988192413196907491912116352363055464753171631849816113392889315184556698281003481841471947089304828095494361219016548233285054911323202983745519593676985495101317797963374088120043488708083660961103959249338093628488643277209802649974993395908211585264381854069644638477357692330344032870544465199308966698132577413839694067083365207969341499326349249244588328671944877569638906590049196487970510554483834000581483935263824409929201631483247744044446024333426813422951007731497522077556275853883444967711569244761351325051264339332696049057329901709065246556145358049627597882961217974145680998011451784448032326925248623738666590696021508648223676911931709525699943841512806627268222978615577255232790254339635492391357028386107719610155122093126364855885186470887090292620666594790105592301985230174929099730875091062052970455920480758404947305045330226075328116628837841597818328125303949750778249374263381100233663756867712702162876526576250843500887130915987091973379944878648167077995096341063723818674897132905123542723043496361855912456163475142951664227630975411278332406618358605008217893666526896337536569799440027887373255255947719494254160401904975725387559415356550455151885495070766994223648504325686920387074024644106261866728571460632527598753491522397848000491539862988275139382267582172582783398614588656796490157945661299777362113126990313356194550475792852477168627174540931946336089259213087460700776945018905855621870143617116571016690443736893635693700740556756489780506197938976052794066500844010867578232729070094490931108823091136375519077274191448718942246685275898038756462058859853897469915848555371135919172490626373556892034151608037315364055635525692099662244687993990783955460215814536469606686325044690210946952977529417826265009018167658786242264917954573246897942950712583228611153591207621088950598932907304520060533175407248043485393109708682393457445565958638701117892334228380311955303522640205899888588562885367553729219664143401734124878407910052251150208216085100591031715163442473663398432688162272082299775815470325743147667860858055120161454941169378103416955585642263305781124661020386465108449819465726256604851088401115474621326178126886093728042708597876660565757699815333510528033738192068077177858863832870443115358308563127240921327690587496190180580495706136706635171742490926020220396951448056967351390143855442377096401966425166353499629429643165942753568670293249496346124934214755045347833558078694940350670904716443520124677296197439499781323069944618243984213201927768112729637180484082844474783492207257222561763165729106055983659467546621874635803821044850143487815140092303505026976443080126442786066492327461892715057816211517155311847960656510626503892412656207233300113836762434055741563455512053847666149464777725452823029028391901039436264962677661016423547964078598318359080568667310618950310894055240622014177079298010047755988869716938855514272975760364727530303292178733486773920765553061478222085637943674683981675693994768774868275534093615955849170714299805364131612997461170112962447230603868640229251191434796671622037433216039605600864400322025977777103041785510333213014431000811004352710010041368780609310936873495317784195167674035328697831477581939106214710840359720564163531848703579992181550994604431022123454331626160776495189152977373205716754406690574963200769703049045860000247441410514817152269846122675032847177659973412027252781516989959932183934387769114422759637099842092741086105844217500793081600359682136050864513012498847695090504985637495641374269027062010076816934031235828451526958124686881886453879387906074673944978641197757239553691209947657065544828513640042074305370252494663977465805198203511561572271805401653288707201081110784219660098424227140035054917848783812564607990707569242141095806459298556361413323949251509467004268378334011146038193762023400902834073502705255813541499837179195684232491951235347286361188438102135329137918146568822439983637610235548797238903111303320515291668129070746763633663617723694985744544716840333914085232715749986396167967459404404061394011513832367498387202713376460656491012073685089258351545362267262200172058127502754991480158271401441487235285378068457571067556413050076732765610591061287066370791719012566072368533381300574451825179796642133000408556314464277375809043953875988136190604878587867232932791955842518410586724033449907605889936123763119686151922931115483858716945982729388400466333053805169557505648861782339018744625805232987781912191430051137449074121685423657003989885123415519134161956609766531973130149885008365531663773305231610431312848481109940551403156889200962714630024308286462268318990251309256429511385559831767680196280027430535905098804899778492973980538399245344730061313132723001801325998264373088085265107777484984959021287203668497719032083728826952310588382530279024356635123219327751338547446667639267027342171917311571116244716845216174173591081251281377179270241442151018993601752674269297358298500350857118649787240549374186304708224759150442591336405933641162816056227482541809368075164293601828152469252559567111629022006286073528704678564454468622751005653123380207507809167573041948715269908395044488109052006772344352090196726124694279476417894168416398800450022567485659837829948320363748132098362867171673791766879571068816879910454050955014757823204465186853902868970330666056107333402641596776967054200756192552624598054030483072328052617425829200387974597347211602662872254651092276130466869302777151436257602224964397486225086597967174230257687682044609508689762860404444222807344573772086340652309246709550025371924588450022170210513659267179074114196961328085654468493609920617922125467737218903882034233607083833209995454478683542994169265788465211060082395570152483219298971464354057502019030774841128875752107161823989576218360764177740444242608706347457779943471632077935180927173041043945197472903057487993632311365953920⋅t67+128529178849203883495295920919428678521045029348283821628479826280290432868081433544931807787637148518549690639253979139887256294247960560753575853855079011307926748471197384117165673656299982932090020392708665040712031708569348566742725031886327117326430296407409651534537311271604426797965942692982404707170411378242416810652078284374038041972022985236553265417780355399266904202931497313559613819584059415265652040822726075532864569895818110258334017593928151804384317177645063478393349358173555703114361602723086131335782281676865686803897327179583431309556102071321426389719970738623340157958907897250405354416835926013846004937625982491430859990545957359500032712487519059786679922901854170240770873858818425639777177638948664336988854342539597037101083718520598984667242031903071738308803996574062473776452598355540533246546317102287573775998254748649324535755614326472016524383634628425922499149717664401796186056016807895593346035744900301960855419546190305698407367821821667985784441540332651662653497522503536196982243174308126576612279924655034584646946269903564432520524416662586669406679754405346618313153144058860000838894371843091483856837551962475506684626804543612225817838797421452341630126832861528614977489128005855582253639840927740273045558139952845878166943412427231479298930032981928407434003557653941591690152713672461620477147816588369402516776682787281634028811030865290943000695109874178234180276250609246214540917754209404621473534036164018214437992849749886427878520125896776930299529171562135417644716883963839102796068578143432413338951420891325358140143290826876531229279338117750203262191531843305898979089107374709195254248325630736031763357290544317560727470186116791758941210785248930382458934234263361807156769162197710938369446280754376845211327351639881117958538377595598329769251962221158679285953273164514430845845047512049583551465739252685821894802442451535699716063373266217036282676145743925046122166053682194618597544446132589514357793225202352946306594527814615407838341633795439482213712753342240678320061875681073390746070067751056816153688889253214463797244615352242314788574338873641232387601350928064832395933533309854081140508397186590947343104862090608966877245466594247660587366555678793960633769911322018036979853557474924066825427815750196887999078394428889941083707676282893033350839078374983341356937684176199575987724667036580967351253144394423706987823561038324338607794397341917125614128540030945049887040971249969084337801061815520235647580283993303060908425968662360410096919464127124000074453898260766333526675695370640803233888236143505977084087148527491258190191391822261303040859546390359904168024260711213578503961280806069487922848479419852339981323498592822949978933127946679893224532849807705655104026744614443362544241780696611767499640953194943706289352849360052473966089113922779416932265073246035428891880590435113813353046266330496170404789543727247937059103294320333312504289697465012138435541977415858099100989301327018866099866958480719482502218141804367614417871081460033354090578120472484024511948234078793549944111260720139001333042125683120478243151155512463844912213244164097859150990336673137270469364895800466353480442279783243681956344706782809469450765281032447423550344239466979906050021070312181568741146973070034490174776771286814871602429160279295232548275361914912740074038200905368459722424184505346811641140220968103932627738630133375676500202364314149128986504172498458073526199421755376901331347877139882247014213828627717838096310848421046522496991871644703819822973956283721371705676106642110044547018579426810539035286842588955979325241300448506024338430491649342588891365065198096340495875568897674545480284267794505088386257895657400236170369210101188147445997610854682420783489784685159712491853813676846894311629563882526952530895458566875162658419244581218863782636910529362568965618267068775299412022290720490258737846563687428409408742636840155669306853010911034127955432043963650160616301413421870511686872455746232725503602092724053443175246937726868315866785213742610017976093694873920789501418129583907584125154249517153047654729923094755495722859530055742122341150335584107580581577908197975836773128709331394423985142442053932259791911343361192407509965113904856979295987451971065867155870281541033669196507518360288397409230436792160488631180955343860003182157091874458274766581301808722428076539815282476623692157327919988337008381565533971837190248534562694125975462680240799713159862982440350885197806678940196279988913453562114710243421322251653252161557969661136215044114526078818743362763888230270382005970060397021929173033177159395764271017357912934419139948752673510476634710245923550900184498963795902897024697114617610675630009465302347829052947578772760439234024025279909166049627921935365161573633259797167239088177805500628493005888397480451649143754041534289420664662420226832920851153321242343379229632312001147283686162863300013199337318277300945529350286126758983768271059753940514939443239743052701228849010860946936151126964145244803941190480426416124935182703023303353384264119977809855510363848289523666876467230271597660207546978956521445337733349643240894144144392495745506792689153755483149058456744216328634926375210148673103618799101160551135657000770724235569738122554207008938474912601672625141496749233009073943693022816282611006094892554657504675167647894695710146807559111464776533478040466949056762914037712957517000423283940439590806850469214336879141436658232113792259726021136999393449944827027701289343415581102252908641719221221318087048498049972541024695766528662283887312926399376214674866345371900766417640610373363981126550935159375010950735890776341063945717388315526988799049670967763606744476676716682858842279040693271314847022671859252388680545088962940504075658233647384337250050945499952438684319664411450048312105097380241689055706700613730514899954139538322598183488580234400411314204691849167525810610083368611854628908601970427960559814372985301371840933219026898236184792172256720789861697346294235220325035476385515251182528459465924378678680879687754175463037690322898167221453112186214130641090332144995852471376096484640482350516288280026669122985681301472674095936547302445381162545496512165617888448667988639720167909842689819654750221060333006124779259222413385123239281812607057558539586145724784634428462004003660900283760800040828787482251316267998322560597274728141937396327057537441783846577929146080498381665642498074224520490255885849930444552141131035217614664254621547973101339563269976455435772764092028301866898022117965592366517344891894006265961662385440317033891353692017688732990525794957066056989055049805477391546869687471513884139989292624944383894037210975783163709229435182812728124957404058514048960⋅t65-845329038465372461922558746114325744813905508634928295890206603224292575799788774083126285631890629674013068445647438575261486288281502317742803594489321533145759974130020062070551130198325843450118555048854180124539509831951286826137054427739607747922674606656347040277460818244346540446962703320362766394006697887915698974629230571872795954906549463825839982227115897064076963134520470676587288009044388254415708225744619671566004311412384283119789226943773148212959756275245426051465169965253475075209607273955353195091012893863940977766917511671192166008140737840779810974021413079271221376926624857986292408481230524140536790424646232429589152527764339684707085810697007863877504556796325908176654500910793894474006487817515900151795356845965974716684867397506961536825805757348182574167712974313397367974456989625689160525990510192483043054735240579618573028756253888321799069576695357551542185501667287634861144977214353027464361813393627284063648038179032218965831058855452829919498346690785509001635439013183494676958463681007620458033721912569725735568114086976652844994006432188466811140022330777297523204333628374368360470853510969961583010847738436662091799694357420401191240466630634809036412358066817493625923161843115418494241242332268851138720651851100681732114331398367439597047414032258206217234757936243629513272832590663143466954466912176072286393250202049022897969792282398433682842818212103734914256811028514689305455037195699080811668554703281343958627787974068611933996692350734806462259354281134889972132631701184832860989105984008393391449368704882089377682263876418216553589258136574287151082129800668805202598979489367253327122595529745183067005772322457220223160206727371633057529648588224315468391425207545426646642617171093429925532315684163161617563581881071658896930889579119686464423153091914198494020300750346001581644393739144066964049087007301237869716009678782912629046809219645306012030052947027567716582417159646920340266461099878017553473801560864283596619367330277609627174274978004556653797907027264421696014087126047626356691018161049994292405543380316341135297832620977550351060289307666741072399857619813310459632059747676792836319342008186773798418297674312078368041891943676465511571642113921594270609908946722589387656981750299248310352005363643853260530352226546318157311724977280569549999579648491309287886755117831885948978515389325802542384880039178075198784362442915295122261581667278965372485892740802385146390075228599533903204864853553982810255641616545868119025379285478549803695356072155475539931523597152885977454833326376497171721828894505708012512671953152953993186903265553613871737990824313693834764529220957593083676086659629277597823418883453668066075855580729664528575392774366596383143708018927257978273197376947728581666864786594272683199478446005379196451867405977921294346802863404708997420778212526543657058689677861929306329030426966145379571450604660369509365834096205076821963643469545181289505846695306484579033304089509274516916401977161558219037401548313707305013834485540437503154848269710111110735927801289450595653574732009979794135894004860238379682524737799644230884218383050816618571037927770010599025969806887868193452846065667743798766953691364919188700835477446667994053602165795174313942480654774562736826298671816626990474440869254584479852438157408959055798068001617106369377129721819190144622511644392372123693531561859399008798636173767018114856791617795629208363531429161881939815269421177336097457760240979483309772611030240928972509380349117215538785239326559445093369611663607270145020508419514013169921664315081869801681162329199695384452401371450383124090377728091712182429448243463995540068161195716736731269541688294640176748069231476048606153057715671942122759889553772096929921948747948363645684597350407160279924301189660607599688906253238001114212766181371483428067700539651254400750321411341138966761029560221729973773642827955077574855692486132826433692549210538530701982060642846837057503031941816900988593594093497012213148692689653343019549265286009177390537852071447105295871960162141634786504442153163456122818535689301007135213442610847377496466007399239630049529775928108118109023642639011617203382295256093072534418653742302909129616620274935181566958941312823405664894487893297985382048050448198777433528161975968081245075149791536947341041007186187397518123569426529558727169471697902179987831750708382042013607430006028152324596673554537012671600027367199042848396223126631458143950946669108149819936633908307807371299119359691738251355598309366095976530804560411140484639077504050671428711252820829070752662688606695718933650160907004512157820092424169819583545083334773574710025288481015168926810156785465479111141675405883308358494355812569117999470229204533965354416935951363254334631410014391614398613097048269765548187333836507052922245156791062570182926967674523855694528843398785243151629563468599536757621118353664468080696655029673511740177745024551773519835765215724858512145242919595920768491172741664174113984611730447610270238890114338862996624750438512542070916520549395707942299993383271305317571630224384462126049782346247439269128511625551284043469071016977543396569789142150007041650734599016949608949530139283331362346886773018793693542998446677739278825932997793570143234875133737285973263786457739051946004073221346988259013486768449533731050082161461101622692962351747764378575990427373763531348163227180597310364984161503498395209327500962759840544064506499071785614355334151769864701014653204323704724532505618891273354968158149840869093226520815629369464046414532328038956354573030553039272121864143920455707634733776851566955196668375035193897200354485340941816942248788253224608724145598548876903337199923998498019417930564347763065366103208994371697290503307041739767905408070414173040762993881761377291072705530116702712681251965568248913180111604704633113627760938313231935683410498719596317833687378790189508320883106496767464988860287435058762909459983549436238740988028318264308059089487121624012852861301041200301762817444401818794384127143937811658846469613278811766145979468818261287671764046991020558201905395812958670222801858896789477634889605300751815453015154207234002313682998979113500402094516126028228115509529630901945452464100320781367039229575368366816762485663327177881506778367465441292472473218859586512488804449917307277209167640098274565882137414269223555733756856609505374372883575625710006926444595083751078270291639586557416217417834173809980029732094421402875792447620482689967251532838848002534519267303882272657387450935385352274229429612732846042703565896005052962907560014375147290312051594218964323024479849266194167615630447261057766050604186079444244058087769984599322724830200791678627322790794104705027501385259231648⋅t63+836916655910456503522940216831885473450644392894455976300949637885685736356860481308505620179889420177766554078239804686900338400751216652953079827103857697458813316090075260337303755069977175241455961121432478921883918885327231190522223031262887732175123854276816289362045058190002611283430362448765743701259160687441749416369988361994929209724790370698876389235968692112837449780165594394754368409530916461656405086021502104756118292725110142077109429415962172297405137414362808603822660976114289265610147244913677388593133953517997930485328201028628339443047290239075999735778886680785230350131003374650274346342052440226196807306762553792359271945515855235200937074961228422188811019804681680619949342399136038832977244833339830422000031567706613218570052390220439602703749322298365805471211771190498049519407514661743359966911809783876670367935478526673217234568723584143791848615213017905432652126617599953957741715131452010732658684991620147957911007670268965476871750498380924367829139362090083645893123300083812541613508470165215564067679950392020454921758769108679033729337970748056844870422920715712407158343807016007057797765592222768002427630241011270418018659911210160072922446586613929775107813500999661827750724090366761501952448580207875813983208691444332767931685531162712826559811248692878937380912356572561731486373049054592094225500192158204495942755948446819030740602592454503420384415589291540956257667579536509941601484667873066158704301514111929089364058175737874585263404484917744700273842008163546738845589514539970313470438065516579549160449170351099508546645681394833475368140019848900895786931479382626979845142376540466003002161558179743151652169172209834675385856799670436409685429518660549044777563377595217096496393248625015252034257507991995436749252737338696687949279652237867986385213312609963562613849048539717869143036265739795143114448453823009295010527816112088015596595353780106809468378103848407497353504199563775442528087828526847728906950190112880998785320927048742117539753359436995509451392444208932079260840628775508299044451534820999633360096352209887959312580776541614729619928042721678016549482723470035105176195951395784671117209329553864932764769856768038153293462154635367795037412164558490817007107551066170727151638402242910847420106868353273721223491418177981110979931831627897580716381937668585711452367537280772281961203359961902956707321769588792822140738243226978887434266524532315960743985398239371358424042283610096577464866079251622935551344803367515704677896738390809363234007768900999455732675465172143580150919472947483639537270065865688733350508728584136487458949265419221697367894808948799914810555115788874984766093783128366785247329470354766795248454965520622754226846315043469987618633747050788936258737174094832091178785119050196751733187012224076092822940475931825284299708883514343139062714912106790371417088012529822265238801597739997041111876558708909617330173796397743216999788362688662924117128468346086487444505368591743420140399695727731289079711002256328799719175187334986384301681502783332440154689764894406716135623817904385752594445507513438099754675023168788309301255040242937565920635485008157936458307554231296735381810814284667551450088801333247075869827528857050107553927818875920269824160656107295236168844381640243868315998230038061821961728458344427934425954777140183541050932261205362923387368275941092080720207171064090090177846506774008040242774882638640647077654833130719002938200625949587399704660862476764359470524358615637871779692126850622601552016432281852627002672854224311785078684266743101904273191079699289006015172713366026741570290314925762852342329905870353391578961443030031038882608865052057555321421150994787129679414341383273313068118224507892863822891446248454275641749634977677367158796462749781518932483214135601783735658406072754555482100062947386584136883934721016583984521022740016596670978045768066005077518646829759688394269566471249981191171324260478179422287955133504682296012791459251991499793110227223041490776188160855154931669597828674392825427609546472907954349330081321700677308538202284259756122389906666824867855789029719932215875711655518931015818219429590682558462834233035127771201224140187162212667194759783517004260816840287419018480931602369368840632695053583809679338361817210031687691688205248222102664299684370041287460806991677892512996534635210299305830038640805323775191631354482344489591233469232409996413502161536598341776171640581736835596061338592626296452249340683685729832333225437196199411972935884851633548885053398962837573232061628229609865679094622229408558432053030721535372581447760851422787350511272767411862341954482800487832223332309103749432912529467381651025381845625785426190021745945914619808965948078611901643165019643815608562522129858299748998217673875623935077227024478979393112271041906143844296213521226061032261999057651935608313531360804852706601742525911362735380544962207062103193441051099730433519468884051677904561409948992663678996739532644906853401743568046249433367561077325585325193328589916131056839725583831514921108862005617560319462329286205555827095359315181723975649993367021758325981633947334689535878531607922611802255019993977450752396488933752063334372147038410978013718373873136679662672088106600788318200336992664200720017643374972975836816956548096888666129276865513223865212673901667281845941884778198557280804630309908898152839217261096769412799037168294607734277659022388220363650210200173334485054909135998970528929979324131245716428480885897612188820499431438220695474521273473583315264711567578706818748532836622387770495787799949299564323310294490306539944841101190817572963787453471467333870650060045378163326264361903191222645828936293649756675834146499986919357496658538041933510073411185407715377562169409503558017512136473361596244427618565405469055972597550089079098064737056621629114775627566926092061392232849449181749287292656176563968975382957838709075604220377706463582279888786089773908520598514434881732969950160677684534135743408165837494958356487409264213577807114925786604557128113820156616664784235918703741994958699315883449217246340653857243824057280196126910760043081309717289106547858061360596693683938954931883338722032258390162606511063289993731473803308432963693940871231621158743412948701375634378126016813369294959206409939955757612313863854704381261997832054961506039814661451299785706067328840612618327815326196604956167176370106436778208420962705690922643864483746932721178171356016318560607556631194096553655223647930224533659905670150529699578270816720086301677705065413952122033578225728675259169266877514052806623663492499235628702259281836085360991387430223490869314995817844907059608267921435578230602226882753902569521062952122251913060006537488624823186153405370471905568⋅t61-1052121915051958289955161181938864874621841141119032302394009532927938395762849020709045933654431535932312680155194918339635964221384691928895191004382555176145559117429016698540185835036057356750712226818936771420706936065877483709428969360860580344276545522622270743278904946181930324009646212468156800470932835737812771894211914813908479794886113316018184362604298990147327292860430140615772293204591724145276485703485579518266753222848385809973904224142009605395345519008592052066357309724111207877715234437330715701861517947369713277458025285547899442334983335541815404826892059227987271635406025425455573568990452806840472999768163406606393199519938050762172741163852990191225322725616411279646024113037405426128852741563595618266220343752965791248051255809181643992267987785110862608288021674625021285607049081255884132150971511672922808890003945990714994345061126214798667049565519045859286440505727505637479414412733158268387791894891274311667680443478350418023072073047061849288163251250265919229061411693030756288189581097430771821627940687209197054038506314381976030434736922513160140106605863588325505847498828826085020124929409315485850854771326253049138867262214085338767882395593550888411451444016814222176625060760303134199357002424484494491043128042741504744662831497771933749973186673134454298377265622901380231118043242221220775487388394022084275562854822299124616659703651571690226673385624108470175268216884859789658866336515378323737346032203503024788140719649226351152784081735429607814229117606469619652645938673964704527948995770545727187308147624744799251004253523315530693766897319757887639222316975711519984463143431928694068074866983457632610527683022468884576401383518790381574317756289629094040335248566172332467784896320287506213734349972176240366841989451566415102756496423799262854234564753316546669961331749838605608083978927719481036412920843723267957127203284214937373547010816977851954866940844470556837924593696186698361121667393571827016565801944424649637877700251996710172258884567418954415940513265689342863650386940592160321287835232360283047943784410615684413148911258280881855218796078110182189944650841043389081325007442434459078489364460232309715673914581325635432118110081390062872395141164629485292275086023651298294261747536921925026006490955757143083850751034735081577585827576943316893049092937082607245240815837186080668994184673602606731280952711132342462747742203719388831250754458050820766712360500868764683900767364126332694138306332467504506460237677497270549498312757031854616591633215148089521711940555888828118935020993104611544372515126840247841367904014573693246070105546427517913161171555968324621093727708542910224699100984973797851096609762596987332135469720667013700499430505104611637754783624493529788584756473936162483843744873937023555678268158573625126996656786807415575891358620179409588142746432415694966285068024882380664634900318403328172969489065891288167434009256053308985717551190261795023455185433597957896550821474691837298989350240741708123422479975055018026492996375847657949617372249428499987195076344298230136417820270467942122224525051216982125797944766247067142147819256233894379975351357362064887886152167995285133506020862395202897275248804418651919611131227229023916142610777762866652032599697134103429048088472570660185874810950432762015997106356719346337533571203040586467248733979547136153471070105646301928658280851064090090177846506774008040242774882638640647077654833130719002938200625949587399704660862476764359470524358615637871779692126850622601552016432281852627002672854224311785078684266743101904273191079699289006015172713366026741570290314925762852342329905870353391578961443030031038882608865052057555321421150994787129679414341383273313068118224507892863822891446248454275641749634977677367158796462749781518932483214135601783735658406072754555482100062947386584136883934721016583984521022740016596670978045768066005077518646829759688394269566471249981191171324260478179422287955133504682296012791459251991499793110227223041490776188160855154931669597828674392825427609546472907954349330081321700677308538202284259756122389906666824867855789029719932215875711655518931015818219429590682558462834233035127771201224140187162212667194759783517004260816840287419018480931602369368840632695053583809679338361817210031687691688205248222102664299684370041287460806991677892512996534635210299305830038640805323775191631354482344489591233469232409996413502161536598341776171640581736835596061338592626296452249340683685729832333225437196199411972935884851633548885053398962837573232061628229609865679094622229408558432053030721535372581447760851422787350511272767411862341954482800487832223332309103749432912529467381651025381845625785426190021745945914619808965948078611901643165019643815608562522129858299748998217673875623935077227024478979393112271041906143844296213521226061032261999057651935608313531360804852706601742525911362735380544962207062103193441051099730433519468884051677904561409948992663678996739532644906853401743568046249433367561077325585325193328589916131056839725583831514921108862005617560319462329286205555827095359315181723975649993367021758325981633947334689535878531607922611802255019993977450752396488933752063334372147038410978013718373873136679662672088106600788318200336992664200720017643374972975836816956548096888666129276865513223865212673901667281845941884778198557280804630309908898152839217261096769412799037168294607734277659022388220363650210200173334485054909135998970528929979324131245716428480885897612188820499431438220695474521273473583315264711567578706818748532836622387770495787799949299564323310294490306539944841101190817572963787453471467333870650060045378163326264361903191222645828936293649756675834146499986919357496658538041933510073411185407715377562169409503558017512136473361596244427618565405469055972597550089079098064737056621629114775627566926092061392232849449181749287292656176563968975382957838709075604220377706463582279888786089773908520598514434881732969950160677684534135743408165837494958356487409264213577807114925786604557128113820156616664784235918703741994958699315883449217246340653857243824057280196126910760043081309717289106547858061360596693683938954931883338722032258390162606511063289993731473803308432963693940871231621158743412948701375634378126016813369294959206409939955757612313863854704381261997832054961506039814661451299785706067328840612618327815326196604956167176370106436778208420962705690922643864483746932721178171356016318560607556631194096553655223647930224533659905670150529699578270816720086301677705065413952122033578225728675259169266877514052806623663492499235628702259281836085360991387430223490869314995817844907059608267921435578230602226882753902569521062952122251913060006537488624823186153405370471905568⋅t59+6057138654434144130564824923972533518174593765607724917622453574266595675051001512827418818856994776126318586798850922774513613505734864568640466351092600460468301635720966435841786119118996491028407998884875987092899986859621887396078947293351654015459296928414736163148420689269490243781504053387052547891850578257535252077732338969625868454146543644074008092530826837980747399546211063506036630091008789315515200644868630047124330439147184628707818936226420049023215020363593101398744681626024654786953200111582567019158413029213138219807800879101588912587826210054602767003546177241196422067585813123809340789861640987634840065751363461923016777278206175562035779710861775765261876136438370599573810993858823638058818087849566211576317747004758620441637319510728666762899684347353130058090823903479281028641421940875110960710191978684405975465561597188913842342597070570172192640964128938145186135794967859138202271786564151888565414712355581423472054818108555176660242331343465166422610074334943721075009326072620984289159639391701690606089119632553175080005265660886583570340489682610375763648857973406405279508758264515375880027885589543675982732878666925319180430035510000167354229885008682024762266759186471642621950835568330796593228864330418548364980459485926840610054908222880831981360232420357942105745199346613508853154226469464953414826175879118861371064363856485102579203319933105642387218974621486857916113709624515251391438083409379788947177541364470184799571101901540345203591443150651378811909749180977054026326640583724144009981658398313065847218393102611113313587253463087541397176047342402149332087084887270273367906483193473418007617516042096919881161218820261446582994620929144666846250278903196435077573420347672324103175775202965118815581312393848175733349195359061593334277621372440107027791587349948019446198577508299531721315168637280766735314335362316178124981784006304051892374637676026465506738502120957863242483324573240874741066858684825185427848326215915833492865792181174308183851316679698985816655882748656863308998708629314434399320781345727785382813096757867052231056894953292205481518487107467221243342849423358645385486601735701199329858302003440921840344866910986317366125132433609628162192534067586798701154441493429688864643491738217523729455389885251229750783446575900625282569716200469560366814382186350830357403482133858378914895680231252949388337702004827642001517047671502231375967343973510240139918001648434735233085826621480144671441029218174078716141899335557656512675431848700721495991401140296559026389587405151868136653856100514516193354618612629130560464111074191616637463917674620653299415662970111222070346420548804115428875530613743548354361711851220824355905446745289960674940451717418913948913048953806336260224267282463047844245798322755780274371900694156438248673227849673597040229647773734832848200430093544774406947112373613852110856244601347857090339546633051236103889893879678980885959313076518621682289802406866433360322320910570961822439995936082218830540003732647182114190501948466307648204652870369634632631266871287190097400232817032545744470949416364315892893830443936507293023489530780941097357150528846622858708415023670249012871173577612543836771147234136909583708864944392650554545873795037785738381263057883171830659545265801263017719816279411117708724914959749137307892431612270989707884482945089001083523496749185899140909695597200941905680047320907283568073608268711761366974575205418484186911533340903914285182795026814281259333271502478577450163145327646647555901747829733280551756684990535397842290123137298152226019706191467594469055768728369768633905806155386131549368295051537419176302155038152746898585497059332552830385949125122248459806588222945539224467574851569710348347759343125938501313100408589307088935221945081046401139057405269464419009733871882524452893376111326275413182590583956315523488722770397060221392409066390441670174062809957449180845177230420707609901764082000943775915602689387574905970264835340691699671532463475963423135998508297132895982688753985701594885146650062052360691975880710289944930943203131699476973412717709774290299299396539678517172065984611559989692562750623111061464353066812478048399191853702197495034922757481971384188983964106821254429213571785107870072621555963931685590447898825415072603853797331384525995731828948200810723122691467581891857867748037810492384773680448810038997476440877323440281181310982869647996212421875736455865309623165184991446260693941342295774543580451882857095849812352288600062978622421779486814708054114941869175387816863861185734139013208687713048444463633251793309896569168709997128085681738694743869712209436121794558743419510189213849335339103702430875766575471694234780944309475880525003327605322914736872288238921297765670776837361015628862629494377916666098797907837997976627959893135765399570965336665429158596137649834845397324244446080464266169306097721954774064818620609911705868480105141773174561788402375862735857796341866728878416514198599743822685968505211130859326738571554802996341295914228626248718603304782953997650355377298680815406758372793689330133392072843667902308556576970090551627530991240330697198588235712160269021145497251348200799766454569590887989084363354063193141650998381132065487313243370598985273543503201523366545172632821030117681244262344826414473110338760382692527215146116619879296880773692002061508867790286430961749243337154251733016560207277305440385114670656915998160077031887790979248499254231873033529990600339691085830700159601700584093801801837513886189767072625511301801521980250357316619985698189064836038626650814550601349966481830951992696417247643108215472873805519115140172910894452602846251536678625786676687586456249472711912628473699522077274967812298291877025517650887591723201671259313578037497141571163211201753272102331180141147722605465109124419978161022556786693735036880382716862963235327318898739675998775914129585492955359759428217672696317567605049981881399653983154111856592585584802296640237346090477628106764168636735607953469715592005961580382426697510820662200106025452941588616755308987699958091082963788986099980061201165643784641592718992893271614136443952050806968177817282433170923783978346024838276052315291325891040099324128149754398536921826690731200812640964767117657732734893707861671726273894130736095617661315502498359052852926931904438722124113577997113791976244655733235250476300606625230534544421149813534734660359899862274236296782454911585268550907973234451704877538287364551063110985980614478095150753448878641009524374305874039027887258530443439841670544829942465270211878084101476607398955564834887855440280732633854335621813259422566579674947377183287062265619176676166104076808908208524326782986304248451354305984838595790545534000806924800845792⋅t57-1933307873932954593307974594813596607655986065932079437557668107080943385697503317771994786833075650378951260854266256177203761296651804219612801645295068113415148720378216918403650986017419105231081061933388613954354215775636791991944255142782494143840106866262570184383420832550003007488604763937653891731982510341883003384791032390241666884112511565181095680593047373967112418484133672180918771507193993213813140922702104414508725074475234581728161942572279210664259787723242460408708408276636474284747821336376267393564149967615338145954227433786803792915803854371149729673375885178114821942890545717470809246313929785223308952687825112454592303760685163565651330387873242803629688944112919388680873587858640833782535925084885738363370237898774495250076658124218950998283244056494693465326706627614506413518184524154870219249170595932142062119899018459502460035408728476581935316122171237516200254219292968850106074217641662558519488605042185759608254022710629696085058042007643988402133549946292431764162620341129982587908257262346466889422489034802134301826461069141542452722466189515228656670421756620008824633998307555364006553158163108368661807159694045705315234541930016185270209503853280968850120635355944099425520858128270350118941377910802958010531325337851128126716848703306007362935200796887495071212369501012776144395019490247832354007525160236462071902560666406704890540556474411809725771355366650167273035308511510078799516091849211476146676175483550836114975220425063843192364007498040760546135202999688269966977240101184325722882699425675156733168784585058882390415226701513720767965890764880394965861767285467816301830638284508987104065819616983818935809212519204022277500579810980671136088153142108864785758099858484232954109173501941564416116085660299016632848418226176395276176917012528296729236683106490494800204178974543840120124513011230744728811658418305405659782346879137973308261217671505748800216639788490777327487740569848490097191667805972002877250726228542657483463128732167024629647501092315785603975439592607760342086168425746392470097216234555114382745261282574480560122928188895499728755272602275982290837899852090951916181003003103699240272997935257831266656222434206521392183125107782534658752108034772076904681371275800645723501272139381494025664860521671007797251345505785324900582573058402039933979582600815558023363705129698663456153829363404726833807992511559618983171149487926347029025646388191159721453090308519870801458083146751092199758017855183149730045598401758216759844201887625896709914055087437965005234123454885422153996639825844286960280797210774407086781775339251087562198755451561878231286682182016895223661144562687619510809906223913937301239559241027151082145510072591427583593748138328820752254827969257228060080543037951755217653468693076469257521506542486599129059628915912298358839515045907123344406441641373750773090853614057739024819838640400861908523822431448757562276021401679163974543860163415957917887136473960280725379057754078814746384748629894678096099976632453653221661008234892004459094111915527843758613954355989855831343273183619591061456386613527632518552971271524610268001675734605752043549113355914525818973021078835049597832508775211613394370850565159586663764899085915606217249297424330178986174600185435870965143563613570598486262830372002059187973070600560054470477045710241705613284603466576469767311212053439571339148471865733647301893349106969094522691202756237253788991525068472828062303844446967971428394265008938093753111090500826192483387715109215549185300582609911093517252228330178465947430041045766050742006568730489198156351922909456589544635268718462043849789431683845806392100718346050915632861832353110850943461983041707416153268862740981846408155858283856570116115919781041979500437700136196435696311740648360348800379685801756488139669911290627508150964458703775425137727530194652105174496240923465686740464136355463480556724687603319149726948392410140235869967254694000314591971867563129191635323421611780230566557177487825321141045332836099044298660896251328567198295048883354017453563991960236763314976981067710566492324470905903258096766433132179892839057355328203853329897520916874370353821451022270826016133063951234065831678307585827323794729661321368940418143071190595035956690873851987977228530149299608471690867951265777128175331910609649400270241040897155860630619289249345936830794924560149603346332492146959107813427060436994289882665404140625245485288436541055061663815420231313780765258181193483960952365283270784096200020992874140593162271569351371647289725129272287953728578046337736229237682814821211083931103298856389569999042695227246231581289904069812040598186247806503396404616445113034567476958588858490564744926981436491960175001109201774304912290762746307099255223592279120338542954209831459305555366265969279332658875986631045255133190321778888476386198712549944948465774748148693488088723102032573984924688272873536637235289493368380591058187262800791954245285932113955576292805504732866581274228656168403710286442246190518267665447098638076208749572867768260984665883451792432893605135586124264563110044464024281222634102852192323363517209176997080110232399529411904053423007048499083782733599922151523196962663028121118021064380550332793710688495771081123532995091181167733841122181724210940343372560414754114942138157703446253460897509071715372206626432293591230667353836289263428810320583081112384750577672186735759101813461704890218971999386692343962596993082833084743957677843330200113230361943566719867233528031267267279171295396589024208503767267173993416785772206661899396354945346208883604850200449988827276983997565472415881036071824291268506371713390970298150867615417178892875262225562528818749824237304209491233174025758322604099430625675172550295863907733890419771192679165713857054403733917757367443726713715907535155036374806659387007518928897911678960127572287654411775772966246558666258638043195164318453253142739224232105855868349993960466551327718037285530861861600765546745782030159209368921389545578535984489905197335320526794142232503606887400035341817647196205585102995899986030360987929662033326687067055214594880530906330964423871378814650683602322725939094144390307927992782008279425350771763775297013366441376049918132845640608896910400270880321589039219244244964569287223908757964710245365205887105167499453017617642310634812907374704525999037930658748218577745083492100202208410178181473716604511578220119966620758078765594151637195089516969324411483901625846095788183687703661993538159365050251149626213669841458101958013009295752843481146613890181609980821756737292694700492202466318521611629285146760244211284778540604419807522193224982459061095687421873058892055368025602969402841442260995434749483784768661612865263515178000268974933615264⋅t55+417227504304773626279959133488448200012408581397524434673717102128936457468152287204130422018448244093394719190598029484012736405339867000320295685574345659878590649416641609264926707005840659987480589834469869093776691177067263772738866937328659761667621393364743085625777559357872177022901891481999975579011155007956610321279011850967789725948718369749899732910369288120157821728259459939510593039125350626552214398984595926355781809776740476039106181574615920700743469173263303542061873162043226880323748469817969595644648977084679928598884710414203487622305654313627060673405486143894236490964007951761653213603567717670139017803079463830132267715728625722933968382564926487142806886836105382407911876991639944919712929082732555192375467465019074323207950528690055754810181513661735436079668363944066367234012508708967033766989306823808980854440599571152075576532852122172809788265913549187227226308550693556411694147003213468105896540536592314483969018512879611293642285228257705770107400300240213714268209519761003408198509215024894215799937591414549555379462093684255224680244853792098805717698514990609467604599448862619686957443209338881962230252264588414039742182325506488537936629106738335572825302663498710506535750845409571992981236157497097648434025513416374979011127168310159377806442900421696284183192005851136689313270126396468925695746933649615060980618653585545476489674105212773794292762922048250628850382635768050120410522172174357376060557347887176443663751744706589539858370751316806060761426908184028623868537561194190321983443610974363950855675368153382147658320543998183609010887223671670886986741437712641419308579843070788282486350754355739848180684634009601698147964138392554776507320096319556444052242337752258526875844700879847493737284287379650118509045793152352430466875349119130675067641215284228285196503307583835242497049303925417197559847892846126339607495247326850055367663343015053493122403399612335036985260726545739368969071960481808839635257348540566577441791634236292021761720880493164083961659662751461436049222505764155118259045776662203699782047581648165787569973420668674651613941377074459897028625626770821239362937759233929491292529428122414416968586580874014991468216050553919366219329407446619344193087564232892012064194971378917181996263806518364495024699772325251514267602177219224742817778549010363619976276496799758440167622767385051739206925120269981893775622721513705345814785455846286724427871159252640892000280864962458261630158377553945223698884187854519092748748124587977581140021049916715833176009659963893334494073115881625219352877194581007106770682259582620309686301961800167147735311195295764516951312574005554045539994370804864526054104345373976542991010912325973737717420966395417113119596993980846257933705124934066608033691958118035155280848672511710961982072225239105268280098552617060745010799066320341818048325746959618181419813504144652098630023935724524931048164956525676084084538064244929728888449030983693695874149131045782314043681156777320607750979451337583840247035114556624131592535041451758789985131440652901766837903918956882255236862263480943432492193744890285586107945941860788568832773404291837712073997213127358116504955184042560312136608128325156108653769757160103769457924600598932230224389823768970325408271497350324248635749190560502186090659181833864346243503323714846372301970323283696951112675889402420796151257747887163614081929293745540092749074204076756180584115810090802586932465340805511266662119468562744406329851322854538940406951354469865762422714953654384733609473860474580625984037720174661969044835264082556086013032688009385798312305230440525792144595413218709030730585104215306834576787030396511840882190898070490347933900810351867391142667029285651966313641941046744140511234303495708516205334676641248952543078602245083195584861056459439375874754440063569245201673274996070699478736850368952626338579499790229334289266981818524842991675405193599387329159537146008074527277934120315918639967821369025917874967555520849909286830209459875470332296337117433224756239588006086447974809126979410258417742514071237873302994753251516957817005117059283916202472120090565568800703036866442172414750576238284534414081974748341023013076561369567977398061307248469470732338827225272589555065762201024748865607165356617440065610749154946289833519038981001273602853383027000422852561757399879045323736397043839819222533965105283767211294551216186773655078706276047967455736537887079916037929119270387039641626650632754997777375603950125135800538817102941891164970280018538947102944984655390812366836522668563217100525580411084487564984670647332296642095844165986610586440871125175708686780360366920507718488757901220565241937114034591161786459190203293644491695136178873826082129577155215547550738868497422022602491385674122175921067493211502871577816990196828215085218258991470893912433622115253677288218535816466194277226285502732279733665670420773689039096996455101837160139745220326825629005590924859791515341288143575586038535508322361897352017652223302203413142198377289357905703606052031939757675262672444269198480043856123786491141243289884714275306539602966330275035542925056162631587921572204037857180911476483756829064668555762055375017721775362540652434125208371907671391457748837346874006983305168588802664254747468813229050645355616848212714388453838829702732840694553303411762202174920462081798091094672798228299081884541931493586126217816946545517092182286947984258436828373322822459382508428247064645475136239579289884879143258993886135859860165396581845784954684930026524132497697501486637655417839776930552694679191155144883046566775922604180458674279925843490142558330207310368237652538935462374258250465063789438239681245488757474710274984799994463613505218719392329428790927173631836520774127278765253322331063029170555772431055652318708293402312600286704257599859652508379733093309941022049796568911506133661672433971709775342550840300163996973421957383633954316511651974817411429623661958787781086315699808405440753040468982331669849090268574233398273226854382983967592576776600907106652944702610017643561432974779265356861325522051634721083841268600293262494753546032056242700879126283299103416372684570151814738212505250669808603565956676405328651947898743038108961687366940285928254118673293935620757278372080324787760896297706951102365965819294118852819306293531289284082833975306886907870943495457142963905190015861239991158726182463840983079143266124021650249892021340630935545993228086808396716458563381317727324500812757036289779507072817525930757950255667238590989649349429756514661322841091756257179163979299863302175388031818318766846268089642649208846775059736292774549782568122643828075178229421112657142881339597018032216158570083809062314730208430222902006903689962791776⋅t53-22415160643842707610448603274181560477601939583469182301047535984636355818068532560248156618167397337532372238843196987562337664159472421397505322110979111255126629682936958790981668308234992966742177024013883499325708602899186484988906902004005477327431296865450180640374935557521755166962558775745348237986789928575801903301252969072444808018776124669602846547236505121626104152749185125129027891100333616839500209133575438473681049344319198802638669235268522864603813098931048987578200690942175992213985373919597157514864761764753339118092541824153046752591149413972455201953828490516084590689489207830289876125355712762582075421191323022553545999142185150972771622635116623309127284932174021363460293554281272542481473472054262743092933780828664624306848938077800280766871685341282712071446696172450151523234699325636435666907154341042693542636147211388732223218410295833669440614732233354664774190586711711951052678091356870898102818912901462511822472454173750901132964855284299071032526174678199851866229128198270302948475086287477368384024529207785725346365954758342144267616376402945248443225474721769588360939293041905317512539328214273995562715868483659692903776067657332846373682608499939684855837386611366051086825068653573448269414531488710892402904838652883653902882452922676313729833445191890755592026301378190299459959754096589577151194516298767569919850094364234226621259570051155063336452949585632160026875006137611563511567957340141883914926939475537660989002507116112131958674745517764873432672087043684333115042141978688400041104974989377709727602886028285706662945855656160893063456433706401620123426367631748911954574651647864218023921539469439012713870263550244359428857825147981108231001524414412217792702093957190557263112845097553729214274554981631462484492096703539657177254732497674344815947982606366687714497154109843630551904095856551671582606504858712489481129667593005658455364785303090089300970706803908000082571027104795406696302047574201723708969930387077013670036370347407244764581599927014120186497679227277869734622744920517514598541478558984042856513482915718530909081847962837385249639882970947040520683192277237493691210510973625057286200936402552352090200914841937455733486030779068870008513278383702242189391430619775152849827757066344470778909372280691604938220707169535666342895310772962758898117961281669038229116651395030817558513463052334203659572209330912814052289480879378939334806215998709522849548299309616021740222059735246034424942631203626021736479208882877176920655453790864917555858784872119410700238421132014758321447119461133795729616265720779440746380712153676916230609180134409090919757299339603871903468803470238946698896557631052863519860691808594005106383257623027352265099524062858782340379983411765083528209109701264818111906449973887666345302238500414742297151881389318576046055728947065395774945680711650517592114675177629582377168791414695253990464683206184919563199486166826959638280977566930165823364228751415573473679722475714217377703834139259511467371807071243142595030836316964166320431835389717754784612256028107595671077363045608882332976298620690829567148383141500975688391980153091498249416488450916593309388979366676090195196926223976288271848633217647925528953155797095400789648811450151250618076995116640251781575537759545380720070649665562384387012472889685970759982248893436018820492372882872942315399156699604639486813347512072671131562363900871500356126299541046303222901379468814128682622211941300919173581049076519639548993634648323225014160772640535286086465556272748429676878523037595253875455153662278440093144151542496995740440406454178507346191802906573237624059602457975549568832396337495171094245503603133823528235835054356661349062484411229253575232433132452585730347903096837013869624843945635095829714634551879191168930350109457152284913326991577473691977068676119341086163098665244553546711541138988580105801885270169334464927299118467655962811358444117469732652664339681237498388491439157609869142390196124222604989517567851301065531273293726199798957453682389149174452743150119361210516160953630322334851335785470778686464101970369795478992141213961656041161974532406159656770949683905460194126097520207071219753082353708439862674610809636991277658252891650731003910212084706745682625269963895129648818326245409579576275392996707473392736131937599953576584782489117727522218849055726018314487641827574885504600617600027338253226061075375715929453601422699328416085180602902148315886206606582290577842167146262683435236603411648300439323781588838107147824963850064928178120353087016054911730933734130748189590569020932420645752326903717682453525719637058131977074536467167697291584618047318633661021465175766075776031306491953278566467272883117884555117098540448665327500559907224583096798755423962428174828633339057880414132751897698632640181351210654681315081705308206777303582163390810430248320288943876591271598588553935266572319814374264797090689379209737570102610632948670722997137815129606614770256082319126168639590045880710430711303717150233696757200278499922771449227910392104062102142689930655074009289142642407739413216569592777316947072130645619232765134564042497551753177950451408112171124176171870513999017914047620140602450811141963284850755625605021100663218125898674505616886671300207465911932182492516786858132404612604123459465808808699780135942240163666933321931800979103498416531865708801148246002045606254945526749827415217318907961481729223134863994461744363736012041963051003244300765421888531054353301009747888199463975760959110279984367089656639550265051759780097978858038138010448308639714765451314623692910352443947188709582428695790463305443705067708325909784017797815206548434384981604236498100433100475244974417345972313497782754814987073435357978438250560040869640934500197959109240365247191793690535358715933616246068892614750364925284888242813153181275276439114230929243806741012381231216781088328808239060601163281306218965326250969767447870186153663406469010331363997008571018256166969560527961106451250592669441874227679487650749106345304673204590542645870153168744156042162682464161342342374930020764336154220861546326859714080502630586019927663688263431633717585624843369903371336370208550163318219664793930086768333855795732568205682424593335902517708896431452240009389953706511454078957364207263398386842896243584657614616247117701787326061605835143933057379440550587398370516276951416473264595355523648230641972721212475640537910171627357706976347104031538412395404995622035258079690259269408569033069929533958687030606138829883528705858044927355945932001135810314389267719566452678983884614392613754630129305651428492511535868281631689223945836667449563008476942262903303180184478321169396816687931916053818276996254057055984979741873896240978981784925920⋅t51+533841472397018217830416062133564498032726504289470946761506122995936132579289605803329574087839839324028795511553460796237210909922988983950399857851584315801388640519844705856205121495986160197794950423709265546060695687009150366678296710237854716922526767595951266418353143197039963327958836798678340878060695418147329992134771144743543838660055581564820816292830435867714688476379252839547572598584157045349714367316563748749915662230482688794673182729597352201841064519593628214808872302483961001711460313416413453644353226024728913876418029251626492517373281821358184224027174028216591357714975391536900824317659048994157312909026879732898768238448217649119498941779564714341366310114153602868293094802881009519943368237624110703183227681809826283783052607344448079804788276822305290285826697049581629056575703422620033846132398189971574000350458885522305482870686965735899745026625723097098026769447653848308243254463179469322661070098905662506750332119867682277528486481373305123222582432181154346806038781799971715565476679106434174188235587778477389939369325894698299447861668773548321084696796850289495809538084704095841099068347773064503929359111787264915817033551365577355804396218666398665402068851714094967920056590547577168451114048885699463043188472080220110143473127000577153634563169315914111690731275547545284789303371269950093782177978564875099542322075539350229341391517446684833640097124759067325727147303140455444700306045305362225014736367910501568410703334204651402152826931792689024988811476473034907036645775856065617862037764497430018937654166719160425116058029598492730172941513641169917741708574932117314929647108601686911674192497466896631876821668951426660098180963324603411729325507332549439559769137867068350172463089347137407360735420437534027999239100388989401765916578350567520239688939332350628197129517011097498960985887370653498716624342130253684694756317941533804530952412220642094437588634345403659701145284133701720944998037450940096387931482859178699001546388918016407492382576373826568727152662080062772036202453164446568931824545876328328475285270933710204840863751981929842326090287534364863159344381889407992294475305257477654347574310324126501426420955454181309871201052725935921213803805593052957929430007513199416083269803223900953933204839470013363031237087769578672569301711321700921124867544300762624055903830335472726629912654038392824736878758488967063541868519989017333432729378078715331724228609460897690604272070023387211307047651624501036466330617672831554664279178366856408877357912636902036521309972390222520546358665936045939785614191696681128080341187288888436538331902723906943127365110718687938243919684895131591254137995976151006626688843626060387765788019875428085941012809504167022098312818750933491080407572368700616792022052537378115246396724995873736122002228513208467849074490959050313367717283742159216759620771889703725044962542400580282519610879329184719553545422470758037086918229774205238497804462571053280290589630499009280495103660130151711039382220877203816181699099624203698334586876164421591034678430812563002904893861743390539433087738895501641306631430717339073315761528434413751750292743618557118060297491574429992772455913721144288095120964657989431500703804214624915106900349678246688329675191748417207314871352593945368459718905346531458374170885627450590994637748645169115982524846914988442174929732428448857449371267396970918244521562462001942475284151267345341165875619239204469313092772962391587574236767220248097178682667540943526522233406100775749256521440524141331762733436960641514134012913356544899163231611507930219759253247068180438556699516482796513687746785434969651368682857230864741637836542552605709338271869021771353155404354911541983627318285541885900898915881882582050583337666154669173026018078953912344263157747458020202450860369028106080523681073995258773373065418661480136464477385330428939209395110985323455107381914432058509982017895502075477848497952297660983817652145248692459522754599538805988324079417012163568591937584953589669855021301665183955812710004429847082061882469360298822632987224629364016385927901303701607041030162074448392620708377706422464630576404729537560707989296838402259742628888584113133616813286482205497600871275251902666014260773485401072489574513985970472836866836895023172572298492105639020608802363537129242455779794960311712139856978909118419735190223135861347134425781835393821864706810980782022801536664012197550693957717492937246799114400565182471519189080180487433704980553618952625131651438735762508421479279923766208649615405376176200266312817148006258103212663488106475296273192237088018359917330441035540151683603586141013651661548172573840410784167111617452830231823676535486536527701103135814259838829971048073547354983191054361882442519781510032167022074530681681510366506921018542570073163238858249502062689947577658401299654719426275023285759677667568167006617079058031028460499482612789389573030059042902727168190753975577989561443413859418573875123752107203273798990859061570829460615489087599938024545117365401756007673194732461784285104452977328739760402578192931977613371456011391218733652942846613614020174743226365217472525175723703212335230744468933408182980644261689255997075929513156514520516912429896536442576806930549896880801212521346267046783208002399129659357998909156146287067419963904025201111185138227409398332982612758930880921996804187720713342799282742509322899984910221899624227483049080092215095773561860749800100538953008626320950416995609994391917904062845103911598792049256413574091688920712731365241550945569952844973920458537391900909293029804056496579501454452940830034067000513231618218482230365082741711968502518000172462874086038993072167778203834612580908840202168384164619364620764246744892443218972583396349353663144986641332077993600518423072963993188662133608359677801492215474767906793955239243483828371624300942231927508019731789851552124165985721889614175622108836915301504809879502442772423592861208503989090082537169550124279572564035292796279147376247183301660843908505494640572863800802590820558615419863212593312516353130895720333016905225974217259757192076604293597829196072677361686607809487675900514134643177001344408995888830925271718660215610566864650549142307573665313222754468005761857573531698857775125282571185464432740050019452940250562770720516006247489488088871424459974222289638209266194949201099939529951234577726023818355439187664694253453833734689020613567111539872501971791173845974618535866386246235349458592629607722355902095947378740935151800438398751750776399146827567516710024719970125564624301180358647108593667179575709883350022856855042071990203597925404978933728345465089739436488235576304202215053676623684391281105608043127868691266910062867293893033349452757097965120⋅t49-110253304326888861377940644080325628773908492860266841072947327008961231440338876496875388153055720069226430885354900402607337600408049691470504872854341576753972909738685543832421124118897237085562362642990382935777814644518559322237538643143567553403759611352824446072819779353960933449742401729436561581895091253615849273551321727929427259676173744667094460755878448978183289962295467686029902428647659332922573870358341714470615292106675959173825774087274944342924173581774638111569742851456131474377366128459675469154899927632731410937830292387204860187682826530319825604598717669010453659468711983947627989080485196657131807887989921068195066983484262243496982554400715055267824606269981402329075960635218057603758017922677163363819975374147541989855371541682195116100237226714728095215700056173577688438614321384303328753899881646715382905098614640074340690679258789754598609482151279080579248608565969354499163959547303443116094189633139255545005291094379024460880345663627800325622354871256467391942257701872323164589635475724914598048139466529151134289421937829771689146968934354016347634379421749484377151560897760503482029526268054251557184227411327378287652023499851026582740865359198979537922542190807957458809674745345826137846619135385146645473171289070316149256671050102112158836577929219920866068231883642189887210995616548660049639752224622552078005268000704299316820842362747024829208948671434432114882341782547456118985559530803264196042675195351149918658404540886928603076840146770484574306765350057975265172709206689708887601842514334183480522499027616339158177079242656184562942545726617425812871463160591735663591093121165314133666027433871690426629334691579006757533837168876097214389239630078023429657640746184217361419027010926362255825304382820303291741756334998906286576415377249656592906866476593364170716673244424335228199373245972045682471035560028817049904136667921723336967227840598476348734918559010289466922707935500005591687412520101902348686457357741349012604476957548359213135452264572980760458236504722145879611905250558113098113759431265968242235575501550874804889574217710227505850016639346399493033229077462562257603406124027241749633307593690187896969675412437966733958468149684867701481480378454899657729960733458241673989403541005083324784642461592893682835705855953758696772277236473678306194523680017127953893692728527508560392736225317766496538343890915129053475905493924979837675354248856778715365940426051698047931077224540180938794157859436162978017662979126293501676798174789073066490634167594394796985264784621995818564998660189671280655957902240079395296655472819160714275652130503284711213993007190587114358404604410437541200873034216493206752221821122068958482890959763923275061805908332476644525650403546865610981312274733670882982292732276021517295386137807525987044303017260800043579579109724323986999784785775760283282188553511373230667350288095782732273499717519486107559983697218720456485496150141464339982174549426307951014760210144979425846816409141835650052175589445235796235896777876276200478471776022247746123425117635162411040380212276747034031571672243544681094985311729149384056412464707001675776803960623203474827533433792305084301514121050644807211585258580125899720543648493903112526579844317319498776996083874224849269958326542480765936336002016035682737801642776526850832445412308607118931327327960943907554250825781979887685220945393503754316717047798383947123349462968861042321349218607444976400907710541816270126383378091255824705073226153762365082582033218507376325412145471834041576399942487059711373575360468178291796560642412171786442397743849074625911571584723006283296367257315068810982694661519187094317844961881220877956911574084351198465055809038158289413590685533183872573012191279672071403546073553090702013482892419675840085343711158955621536760407094782166761613475201258758107545506321446890601941996148059240577805886117943727830886842037311483367723294012370254359675794005763163808162847243090923805355802493685806316505293405231572711813274726398976950929844580048935560230735872946563857522525178108661912671277127031303035863336056897884088918529274299121001007004140301457661768603883680375898826963590844815629557422438063643867296067709719809148765899756471207731735258315650589433044964735619962853646965280627870772742527625416254717723431591993098377752929390925450098070387713989853604801200849049727841243209124920737905562458230025968367687690721253197989140730493879691186376444346773372194207690524831743799025323910229833818490781122066595964891757882983871350613776253779372070762836614178591489206902539216874778468560252573254535135814590286068836044994373340356713442163613119736528998494148589563871776670419435097527991961539510272531143207073452844266849142765312253165381359637072451152104566138802986756136596319314031473683232683350943426043265731795893683556752939440675768691153229271562900675441081096874376631595440652764191402054443951434577268983158637288558605721085537209787696955962958125341745249570564348098075579187415280365127205646550536328199866662382764702682048128877045141597540949484257053483907487863265134466888998259098099849089932129842264421720034355002023217312856255979145537982265932229890699487107271338564958847085332948335131769842778839083041342982203570667319736827143759397399023944654807531361914353510952072739345921018726308234572946622150855585633022538598968364324828831453328650238560684029376200826923117370113506887613930633992161207682568623064065168734323006031431792161665924350150303181225437653180051651307262262113183651467540311576386310824586390260940730801373594268397898470460508390953260971140831050815784414577361636973561320855491638830047837163233323299070423423056022030510501118479881814428263457984755862984445904018037971288075077947990929342793444263465969245955266246980499646351725339159962412605641293702956577839159024503023543204750542339373289581101590026631467679038330955122628292941651864051567082971498070845324989813328466382297152410421425507794670560610278475791973355403695090349859065415836130786671226130001262447716352315636729484122228253972830032341863079058614172255821718168145052015709387687870425942967394006097461986927301791528536201058494870987684588723708443770403913931116447634517349225715133635336640721323896172050817948138526206936941627299237030726346211103093795292855658260410577858311472900731590416201531926871100187179616608077027582416628805677640392472996128178621964101234561430605825623070316486982510985710817652276586420575069135707966146763464681424680053317969442497571261757007827501436039094868806722972971058895921538180515903879873073445639649128864471137510789658087576173320633405172171711732396310254582981769353884532973253256187212799190451036372929148767116467934400⋅t47+134546856683409386773465894053982116648819620635089042218467236066149392228024407120447717173313553047424376629251041716848397487120827752364784679327157155968195476780480343254463127993686949246743006248697534376762130041424260117139951295526807359217965721554431907522625153263197346918643188101331543448132190925332022041901597231219345812753619745694712450609330125381143644373457792642506042831659825752199347120061973550972402065386138750132988224969702453962566689021816169644545603535784482052912770190414961077599676436101879659466079168183247713380535317704769959811035206222268257857310608208260392707195171996692953966470890495670149137394449038670893054197746964976301682808149786753204020545108700185177281711451172890247098260352001624573854169688225192339365333661003156892540747359521280417904611849339915083359476795223370983231186894188323145956503422690731948414239596452351069587600926209524633873083043543441262870873505387253186422079111402264655413168622319182789489615001984624781434626878475895730219010031683944423930336871071633340608487060601924335658068091472966072076113799076636019458114594330371205184590001745598862069557299653699433640035555057720995826793885920142462207635775728648131375897570632831093767895085847894458720120492797856101984064097865331376279107440104094249975640870707293914460722703185479374973928467576904023775089259684199188365153567017621553066772983261373920084913831109385806402811750029802002892906910336862038447141791542224854453100048861449824739248825748525428217501727530640795820631766487874333256273762417923980086698838783620649474344374106056190191346837400909944136635715543170894334245519294177252435646902384983098747439573701446395854822153480711633249015569983372069434168898537473970506137768642487189968659404173265906355780279108955367303786444027568569604977729671024639178426677364432861822736087566599986175222574284747696972339648556307162307585856218608523833599682214629217040333226991011692103857233184669173452133783514872038051531022131381309798163480299638965506652332085281540091537255104192975106899128717270803527927236122877650503702072660152314591727347116412282130327192603455779756185509202085528435737950940912163743370376626388263666310711477355899940446669793824056129258749560369691255789929701549444692653014086929921852420473159619220994332198569654621895333006852911006972382848436100459767980215806703238888454283942294477044669921234585100542986484756816379512365568386870401094549788922536671845845445966690767063850347486201441379787691221812292895815181292267679267713085144621349979167562154174102954880368619404413249109685799944343962209179464981172679705580316766073092383751105500520548451559732974760461956364727356292192682558779384334246569560420316022684030740794759517900949769763557832883118093425599755501859945912802942673227498493614864557768336545619814999326816177078562464488076152018607993117727259344656323791556497595786130810387213708742017010009180753163580587461591436645121722484425977735959987519753554086752548028688878237465199693979089276353877570507375487181520886470111129727032718603066510659311831279252022941487343079009275557922764887367356187541286202320395359095899705886477059636511138039750346794091282218974882788334064172689349371913101088203355148130881660943511586646080838204477911297344434869297534244966022225930512408202933862557793450973811194222609711087554443786353982258029922152217972008723896517188365784194465720450609431380665661427569943742307681810075378497956978051611543317412154904578312280323628850307225228824666849424848071553727325739202435556981564902098008495593417014313359056180474204992787203640740803921078100421589145853618630451624470728224432644816355595077947768291013103259878923005034913924354280555448435662808595233296420700448272312966489644580612562958171459540552228517478480481569127956584846580036724972949341892943315998746131937656884494284851369202350291944150210192101057714112174079063468622339326397442099841613292042360009800094442647237050880794641169335922335595455487580403171483296075250671488980422048914221467449568656175600870062533117501296012650391244038002220378970815894676292306603196488177178574736244208980280965226931100000793352482273028573577976732478301768228600402049700676726815745992550048800927827220299036746503844200679296165403357312567458943844198179546646597044054781231032655679499446216797292438780935260094454856098570540928308963678607512262515320064867748347393281298396353177591954317606522624295976912549551427141795007186766634262175207478362207392411315409121819339010741296002747057227731581764622795542455799450030029670507767608445244472841719261275296407204492474127659532211947007533753184967244104961898160755363815058205361105655566258971765792825837383749528713609979977944892561104530232847431927938147013916064852991481123533013674237289950364827543072833794798783445150383527519481339453728382692245574412389566889957352640255956886980154612746835865304651430426978226165265946554912320654991721916798728376381448821858926031463774619841208778030733612176100360579641186156071277236608166678741931702778647139646776977226353368714294385554862403447890619979092789255933555600268536727757057189583002790556170580475364644461644800121718508009370169668536301476494243027672399709709736015945717985767678311509916597206427134020647556395922901912307811810439416107594496509874821154161648386503014535178985342901770791134580774068982159928134310351307107416994305984029809255365616589461657710633659366091158836346491775929426602883632548868149253829193179028230184148053619723744777046276387343161181473160459488267621189538923573899239593481164744714133454809284345933449962011739666827125462438699100753532092015233589693905529690377749483899569069813286924531350468495629062977843670132265962199353372285412162775523462844180299599004693343076422638676647899699911014565642769931588740820407909417298546143773740733956263598666878669405246564183051645269956588261956886170985304301829328861449004785244445515489857833424237094491185013816100591999300645777558651892815361525090356759398040323357670975955246912011599489775442670378202394729097925468758701351986043050290396085105855864106195706818884328088538430308376803871609334844497673336990161727656610773377968231305797952784407154522515902158612258284387548435505680408287720818029295738470280810316751930301616521914156776479217968314306096699895409210923468490513606405789201409526484966010984187318464641824142577887474608713158618294460047832075592549214260161912092307324503886107391851290100007626961817261509691506019634892023105878210427305584811650864785133365977125613747398696014746859213816200583797003287766107453591155673861836118867951451872605071223519228708132646644303444883949494017600⋅t45-317096152852926769242687882279460476614605805400060752932326999454298045442853584029551865648884159600495245640723552038349700466858686899285240276078567609835398819715317408737630233368888289665334627777139098545478049980893715472303872502873970618684590871581205176805456172919558568907165180426515453325389632085365420277630424947295657706963022140643930184661564891158247831459048780443221704705561654613513413916918259463186356699125233493802515184940027152775517627318644959396526028537134338137163079937088031346957630502686259051525821426499366448499851822617559218667884734371776331787733350788165042827652367698337658429391600287198427804141960226650243043363416279396289796472503495540366140395969074981676179905147204036536325870008102022990456457338587623861370981897771690793550628956517352389766026368852505504188803237766456411863753893977260505494268368892035543391657763909530005371896992940789191043891307290752401889244987248266484074919416497382999693622537691636226911303023974682213753145912225552950973196467317766571527931751270539967901976319772399650134979262524492822224044211024763089034761986991418313775316165584424356241859361559987326679430920612212503185966637232128936373950704147390560651036691748707979856358422743719568478039415542093703501122066645318814126276288915106868168928471164683926526045409775193359798429623009085123750194487224497550419783018606327146373656564573301520903746479918189186016182819530458751246372081525970574205721413749570758779915429648392566604995008344637273607779685010381629268730274078587598978689786152678426009445869145719635702715334624222401463364999969833647724634605101048080757072285287187911512656925559196189995961748072807092588307119388974123656943049752570595169992516810966185179317108083108157142808287834396593718455263986609637115546829380335483392682494080545820479564562373329501437375735881313065100460221545277051952159779949687110133033394493399294282677514301907951582605933613784641484669070451560327000812852969536134884272982853744737214791420099172465154251822154530048647674106981190861186663987683126977752289619502606842998201393479681140455092670092291091851709544873718486263265571374243476472877187357498608099328499845620428259620288408812558230906015190010200356832628720938881321214318636467714100681296504751841408873923629837938260761582464203397030878979633771502314172315332119365908164880716549203963660009526020383474452932986117739259853023880858994949079050952174853447842817708427812854744754255988771963968999263493995541879522344480760488729944443501062531913177882716797228073232127456801846414831517964851000810500026626056845932983462654677067232356510627022502263706616159950094579429802002983060379553944761684964919827487112553491534595756069596594197689973629517870397094320734547411086705539453510015490790034553099212621867645476776000005497030460116782400939859131270982669610769365643735926799887477697614256934485078552379715341011023007791787626832445661660850646508838023167753459072666913440925235379892485398163784175404583415622926594013118209752087826219175664756256762709561725600871898831484762206845022371738215444451391502964445865075386778920377688221380588549880209721125453805922267160668538661447246877691851604822642074482284305618501744417208089409672389091242628858881871976917782158653578565650531757311983041874645029956676057544431524470086546021814881401995698364974544345551483378036552152717104647044263490345553320374494689521687321110997025808507163801505754626838255478929443371400396450353669109359899705351937406842913928665047759373035783442789839318655097112102863842995238263865187073764407407450834469454111443224521414499071097853080158622060810782130202088017616269658349862522461296776868578090241020583901653887211064924508791701460821416898027566164978953887287498224085915134130520207473671773719470096020201506882129023342539424426169499133005990602413442787065223912053318208341268721342871269599984183884087691971341976972998385031344027906034510466807644601426054615387970375904646093551627203004008238066622139725685402400715776590591133350704358282550998568453253233052684325220359146297667672575032593813361867805516072034188250638448939464058032535676953966477586812088276941018853495478482928008795845391609204608588909942529081076954040200015151378044724973043752486091770441261887275219774963021914458450019235824749652262560314489694388132266192282043953844139731930476767361845438732887922338725325389178055955328001162727808774075617758620474934379513774123081536187752631725079810411739280346135931445955037360025386913285070746760667967138519719371420508925411031413382515133935981254648092966805366083026489149722403086277916121148426913568620364603653341423889638973883150384225387410759248699406661347358581713714216335189778159567496492625558194805164452725851658762993017200128424669715351520194037159194284036395356331036763796975592412853968665719169128260906655672699747558809766235940186839096546947727098671214691307169559649495813806294600985611550530921724750335227962276201572994940482005027304993602735258217800380823695047861308334384443301928139293336655366639176327066974432481596970066486857884861977410817521669248328750023840218861003969685152836824210548698035667149517932443931337984956630408080103408966124702824759184442912534906895476443945235050924299955891588378452497671398135695906713055993769550680746909328617409293913049128332633466197638940096930272017174966428299780062835882554127884175218737831489707960159082676101223511828321115332857028889724908664191245712571954979242236338038736510758352444214365145818315795712041630076279393048188705034656601489135822527003242908777532101865457978741158593226728708409180080004893935639038198066291552570096316435670082561533684121350198059645906850871300877805648524760655374886080519713806916648950472467622961087345364250727961323230397642582239064724135981970053856491857094463777792983270527536468422701034283115154253253685689924926545486130040766864979038868425555957138118792638287952175361382279843249686663120700206290253340485074106830159166865266246381358662389056588067345512371018201839645461087537643470131996036763108288345344753924117608519777322759759466569389448125324854245321316258364633562727402619210151205456086069372197129199727895016712995014491763868345319955822875588091947581937057144260865867508009395490661205551418382286375208185699368887963447808659327084834928345864371067910665309023424021379681814074635582641306871811787327318650291264914986335110524971921153998968944975146456638439202280566192798272793585520710153784596171154086975305606934816567418537616988057709930670235702611934437805302388615957995416198967293555126184271328345139471243741662706013048441836951830702690051538890876890440249377833280⋅t43+55266773605200316843918825846828215833916862183917789700683682361341227741864058731840529924128943552583468041078565666084183960970378948721487820763764046909166965163836832844191408050986767482390552451428508466966790150888087812453274584936498546126396309922373885951107571711126202520662287975197161540574582150143874695326005507216722230013279517972290367236915002486032690542563270005439836675510259581580251737494718410424688983050726232202193497537550469479668505215391679258960613702447326915037169467788894407384326450902737916413883118584002493738941224408323345188299192455238466009143584920563163696703046002486078070656175180945562391544926786846837146601867186959131070607728151576269923398856322651344425635864648854510193710033615512075038201344359329275073720471204449165223414193713177939377679094463815732102640710717674211120529070852877471822019853024388518650159863799236538517353588857240612376280316902481404507337352961537203432512236659082146594206801868145709164134354205635716871144820483670149489369451762123319469535130802727236295209465723588098857783038473245858456944462487909791769440038865054913880252065127682112568541870756947959794167093012475175589826666966599240799661881429482954275565300076248068457501054856578257298294929056950293307668346709799664774468071728778488316472355491252571381518016255755727951908238308611248434012353869500723882661329134254056960042102237717194120165864602918956015135208475051281032174062966751286410056343231208388026912902858075426707832978682770794849759914410471622037368789065625012463502140698010181391602867893154151870444139667584084520450498109845184193215766668568917349600080957166247459264448922008295337004949997833822004642413006804483392873463374034544222538587504749079554630010217174859988571807108854581174621112165128768387963910204006357728761106686928145312923601315165513504618052497214069742034934198456074524799188752460958165833319233803502906536568398072970229506412375219511408336404843453636911657998090111988294850287451043852016327393659477898605828940323650555972199549870541262504164028918640804003781329587450301905992867816447057192346514100683281600033632231889423439014627089897573013500023450951973793180325329871398988882336936220492079955243553704642618502456566227623791582389085351650106114748267797072727568466766193288068510463081762898942609226175800369395547744046143112227528702418468756339760129739779314882487273833671636966203492157663341154831448275789915749971694759023755879669068320451539649135785018206035616320950081354280077512281150304228136925501286691708514382979326152452202075957825698403486029797449588170387074159223905281254706918894468234726554158888111827236798625570386744751893002271061247018305829099398753264198445280009791120520234951879710007014909038610314595658487317776060401741103449508429362423318370246106162258398419751957177298809027177548053104872835734236337565551875651791415493992428515011368554922632178399062988752807356920074657015275835897835585719871381045168534335931586997303014865161797417141422367921024663742824298497617867361785884224967245191618547675486828461857644596773521091425147252643922949434571792651531214215521666923714793198033430852064838026339513454731964623896372582316754080775568298427885389066832575802961253434455033993734655659040413497827014216909517598048012434707372821388040980762651223544907806843727776982492272502798607651071037265246205125855693294402549408978648651987753819467528621600858545299858794127719965564000405609279174342399652698232968722507287397809705530458706010409583835497262915886734278842264555831081757412120869339853839824082502310154567647659773473413237013281505264163417036341175845578265624590555958578671661249145517050026926198847968165984272339486099450047990099059013517392352326359999281763303059211355336462768171031423415004980058678451320297774267439437648180132176771032661464543943310532506635347422035866866741912793957209205891336880933855688354783404691342082671285273620122087004691698649727569053672063954468373320641958863677931236743624269848852858232137807288527121044199978488237921340456516715307313553731799374985223951976440121141128462775366272232054342844816244448170732994815726519959184616026560988340704631626015601407026740924341975455153290232141519201236862211265765777396709755362522336363242802559094604677696263422026830646053960046288692274949126037163841948124646315876571772505187482940914639928449036524200915786133282450191080352472479996410795950496816043349473108822766212381909322851985132066054150044709840847811262762139071996093585517028024077278319472048171924390207948994843982978500204699590335499063626387197743507443852201702617199739761608891623316358461922286686842905595695091005966788155714682396244040219639688015501100578204678889365601186480308634746017495253738642872641956217201542049221120769287498848695088071151789855627293817054698501474981104134847885352596889787513920907830134073565317846294956933499444048033695071228569966891107161802887506590676796300223734385818685712716272946918900973102608749939402559870297757600734477867951632032380558718432667624802121582608565476764563543506646766829545178478136988915395221989570365639570108788207300834226050030259017326735607021526713618861234118453041984165709580276086032956642968787216006974062883100433310509506716448695178206874608270968442173921199015181400845817104600373429829907022459776897924960617799579715495905685199829059831161455925332949093434153729426930067684354432140565238997274180793718508215337157662717116839256365336318832416603664154852195875385610068581567398418176583020124611969496539427122507536735773735159626113770132072844978295910877946470904842392147039287130747840017275215067023205541311264250393976759323426316967810212496976761686035472598606908516264231994517382465563442483489027675460757712665558443165679930883163954218985389245328294073391545871891682478839862060759276441697378609796964631216229849972268918190935469011980556679917697377074363261741835221862705606976506506504701170549456583290247386913703764843734155195150343441055894878708705595797453162876551416832149343029471260428456485147623580379427755851872532848527768146191074199795948368546197899733029897832560385974223516930188356164924262654802472015114227947425057849858219668044510997233402564979817995186233907656311748871950485534394067140447291511813290970864445310948877931486845668196116376558294209026006323110983315650503471622991428436538872259114856448452111700125044663381850708548545369965874413469604765524518295560365115195102619638092340272168493970445687581188427102296017191323421986408255413927634346789364143985095012989037949980857415470476806617701442344134252655652440724465723555013437003503571041615186679710668338723202210758045888960⋅t41-208079954222933733425965646665158534201964515468734206200498302595229892443170551393623061835918358687730460294495934053961279314802816074935845395938663504445772331240360230273876641251411616680695541518099551808916131563504969074525306467375848085461951402213642132778012135587173419971416546747862251604923182602779654041753445409159546070711971876274894000420972634512256194402883771093950603421837669393079896809626065830332162322612008996796251497349695687950531520372100934305927500015265054007903165973121212792199179898221709176177678647610290406858783545568151791270790457552462492359647405887918045501646255977938460771816776723778031599554447629273206737301808215055268408947166967137790975516493667118125358674224532960099531886124308148726891013625701724308502118171858800920603143155979149559705498926646347755341490332698922985193029022756682089838449229442836930277015666322073833129477038515373806746087758243503647362513881392072169648768345079988166960317075999460606107676824703849280053585800115441939399847625765192478597944661388789362082206776976307628901457971116164777294504416336879667006236526357887738629266689506276567240356664061279670454471279205634039369276333341763190199914587684608482566187680704614470100833610566964380594103670480566783763462973395855071123706021328015980622493565028463257004699129728518043420622889936766970842679520443526680352922145563473239392475048619332397278226441783048178449376674893466107108775674879602894645497677744003585533490515471484324385718062877030857424025855045765605738222303183446512783549769838875620307553672731496548271457900144206570724228576093130177544919568256439340190839998689906474291572144022003214977236390383097621979971454511211212952257534930506822001039781832913558467735517911717504330313851647425749773903420121361135382851120881866828384004015216424176968052496309575173642596342025928463691636815809992176188522930972161440303543278924406331087155676222054020860012698950145967877892628707641089163240117037309945471551932151439875389772451727266873135586113476634442812723796857656082117298084389201808290197657901965342066320365649588095757085260439461327495476209460126106940878995130364367515256505566240993801577109657670244103879918323348417633615445414509180241632612792812704855100652425524356565524602918765917309354184413033373053942722627056192894130679438021933572982906055975270052065521304477738175789838674573726083103951244111361297933360663932467116052616687886275575011352588061167282415713209251702514961162161395379061155055517614721049787641989650026668752933593186433099624993794405553458808012495254523435610501274643000693011727704689291671761712170810309420378404900871024387963742064418476006324614609579775110263877574369113048897388781218696606043450746992661728453201885253319236570538003837051188976193554965079854537350494707570185222710551122792510133424109931574313619560355338084197543878416987249046616677597483668752343785474817710990973894443058879281693636827321652602574114033895057123316477933505121373576126775634254896582676653641174099938709099895667002258262278975934139994174045152541007612298463823626267649161330441666916891110913378852133711028677035579895201423332916344736627871510874359025124042265745739345465500241469696890343403696495627245012963461637314457504631519667543080201466398669165560499085008356315253291826767714684779153328361259081489140410209269594958739793479349515431576023848056870477175706716688305625673273111567544428320267483009670573262618643657291176968534310000349556639985069806479544827174506632618805693305841792868415737711007763748066278966095864388531028772005866624534343843625130026883145043016654449215141996458270376975028492269590270752412602206803438707318284570420131786126122594257301359968900599368696379382658358972479450586633410420950293247319894584186260248563457438972690212249043469875480880924078569738116033608040865759157954230242372398406285631585317191806286914679491338304506724787545916499171655935904332648138894719177580132164446782015181809051556328918139702341190200807672925016822871334481042821191308366506762808919468198490793629444016992749725995033362524626991105007391076159238892529090469952209329721386114295763539841051472958379480605491017086712172943001262262843714306892929025251680880407311581555798998550152343402286963514973970260379017169909279485535832927433252835890097581257604988995592428662921777065803032247650282174939678635028716246891959726101233239000212678759419116765380271718045732467892534652305437205627079293376423264811981302026027810540024915454439273832011188571914480741819649898401754448309785725057207252088297949707652005086836269000334216488732405151681497951247797129622545417510986267723961331999213726395926126906484380729549177777955016129840938251422704677797350209244573997332390664943245066889769522654630785385532771154353649228484428279795485808594547459009207780362781129586535063605679820215997552023997101684055864768576492393988533014299664745465556362551596146590786354702430568737789720086330985696390943859532442023680082947760722601302572811674581356046293293128284749595696899031607860051362479890886839197041322872441284849808200873289795193285139346903743829236382841106880661121529422672990910075780601621568323100031053704625171405142431269646403893326040061509627921204082615081476738778390677988981194928967216073025139362797901027469219383080264890360026701108772024542152851764448045958671054944066769457151012491459410677084110934172396872782680108658122075164981842229294036834758746817964761420913607478390198952263533233875923987261914001428128082370094263811970877363046536087125993337582033739683509947422824543471665091950404111185045269891859489707577617382276841251460565440575641975765388152174745241955348399783621844629239357416093179807409840783446226693996083559370980989728676622838281025045854811386914124922188136767494725984021146503300905118246184957543631284180893210662943557966571117241402879968340272289751114416113366575445270017210349961327473804948931141963769497868544034564908893875138193919178449488818087604577594251007817124144752581326838639587475363642842767548076218593240628257162971348198494369858005012510522416009100088794038217644702674716789040120139824262575871236359612770092419799040865337503963926436317791270617808893389317452957046914673632324577995177939439230502539487794417078694596988824993801337604663697141149579348346180280400631337933509075034205251542654202416893470032318683978638000495496847049486023368165513007081034762080545470804369910747050194073259516946920604247854033282532412086307457906277548861002204661575478732611724208559986848653243300073552145396473268010565199538369161593345560046947009976218493564130464804399081195563318079709653065945709582661817108732239459904⋅t39+15978839331917119446532108687988159543694362967269739328399470929791990644445548714122777883384447986818370405514416195482084212753102333286837891719702328104918670700147271543696475166517033457353360623975256642914923767137143529286163089634884301975130747999582559739163098617859758821524776230836360046505045123693787908785564696108561583628122712122232680158165505986390280603696285442179223372707979958511363133419136592405822108058556235946368273156097616048153424958327754611508899823160320992191684033933236950779513968203557267009493899868973736545620812803277885899109969891435678620024947608896443346005260936031669356474901080226327181135803505673582229285622928166069851604788204768756848143144724630737663811735238915557547428626286084563618281673988047217523074769701150584128665518653410222062277393112579663503458914208593793707336819692022880210883867501519624007065287715328029915434750060181127074131111817841678805529855787650087950143091834887364222772797184464598352484738175227526443162958965612530836591771959615064056570081199988807882657580171031751345301736547730725894438725363798176254949079269344149635862727462242270829360923287195310183587270455468162492569554787475501362229724902991584033656326356257746322881963738612732048745814190832103050793031948600715929299705889374774772722113568243678540590555210792986572949664275969954317027470067575396953754132514550096114555537822202441059847921841551096006415353559850851954320988096416871864205518820917147814621330881802190708499155284821806117697388553299519661744680920318666119572687518299801024785575457939851562203152274177496379741492347513818354775096142022792030822113396652716302005328617075690096323976515028624926317129131459655525323046299744763998285041496760345057102267572429546086209250755375594654571614175225694531356978952746790852529346121386133062842446927583516669484915360635264831361527385167676516763255862005784359748954619760893531352574128084914268921557888616428492146475283952280321027522848607106905026790489473193396857314094586338980783771728531794189258777986397469052038755023632726978541216652028926788084942068505267686917784964031756086444890240395616113138690148879357361777580871032237162980871590089276999765957530035499366156121534788568740486686351011752451592691568497751345758225755341740741917523538281677118992160674375428225817936798758856024649055639158490990461452470722551880693654160512741347725365100353527482747682944842994677101095628619348700195259910260780889883418580854950086041781188680260991010775669118823896930453038986135077656955201343474526002997482523111748643947684706995370874229701382886326775823395749792546101635098692329015423758838911363710776455633843644592970386968585026702177133511948703406585047010602255928288661242408276692090537802524459244838506055402228245504813693847358233508865793098987085161265156626170892795737807159142341828175630491350026438745297132009728368865078565881565533908204186332381251254575188900654665359462363782449501323614143252585432081749579954814573499374730290441666658697555413834340068876224087145738141523750005616647372535900819061811401702684857845895031514099919856818627260819724125543343977719362199063099548895158822811817559553440030470538434158732832440768580802775846422186036731565202508544038794111559630770591292881589565726985110776682086388867205456300161773565426446884989800370378503159129992945536739873968494836983737885789400596201421761929392667917207640641831827789188610708006687075241764331565466091432279424213357750008738915999626745161988620679362665815470142332646044821710393442775194093701656974152396609713275719300146665613358596090628250672078626075416361230378549911456759424375712306739756768810315055170085967682957114260503294653153064856432533999222514984217409484566458974311986264665835260523757331182997364604656506214086435974317255306226086746887022023101964243452900840201021643978948855756059309960157140789632929795157172866987283457612668119688647912479291398397608316203472367979439503304111169550379545226288908222953492558529755020191823125420571783362026070529782709162669070222986704962269840736100424818743149875834063115674777625184776903980972313227261748805233243034652857394088496026286823959487015137275427167804323575031556571092857672323225631292022010182789538894974963753808585057174087874349256509475429247731987138395823185831320897252439531440124724889810716573044426645075806191257054373491965875717906172298993152530830975005316968985477919134506792951143311697313366307635930140676982334410581620299532550650695263500622886360981845800279714297862018545491247460043861207744643126430181302207448742691300127170906725008355412218310128792037448781194928240563635437774656693099033299980343159898153172662109518238729444448875403246023456285567616944933755231114349933309766623581126672244238066365769634638319278858841230712110706994887145214863686475230194509069528239663376590141995505399938800599927542101396619214412309849713325357491618636638909063789903664769658867560764218444743002158274642409773596488311050592002073694018065032564320291864533901157332328207118739892422475790196501284061997272170979926033071811032121245205021832244879832128483672593595730909571027672016528038235566824772751894515040539208077500776342615629285128560781741160097333151001537740698030102065377036918469459766949724529873224180401825628484069947525686730484577006622259000667527719300613553821294111201148966776373601669236428775312286485266927102773354309921819567002716453051879124546055732350920868968670449119035522840186959754973806588330846898099681547850035703202059252356595299271934076163402178149833439550843492087748685570613586791627298760102779626131747296487242689440434556921031286514136014391049394134703804368631048883709994590546115730983935402329495185246019586155667349902088984274524743216915570957025626146370284672853123054703419187368149600528662582522627956154623938590782104522330266573588949164277931035071999208506807243777860402834164386131750430258749033186845123723278549094237446713600864122722346878454847979461237220452190114439856275195428103618814533170965989686884091071069188701905464831015706429074283704962359246450125312763060400227502219850955441117566867919726003003495606564396780908990319252310494976021633437599098160907944781765445222334732936323926172866840808114449879448485980762563487194860426967364924720624845033440116592428528739483708654507010015783448337726875855131288566355060422336750807967099465950012387421176237150584204137825177025869052013636770109247768676254851831487923673015106196350832063310302157686447656938721525055116539386968315293105213999671216331082501838803634911831700264129988459229039833639001173675249405462339103261620109977029889082951992741326648642739566545427718305986497600⋅t37-44487811971307437273760442701742931430491542305220828361223911803196341129758814666626060581409648744909212777905623491296585983348082253868401894055533719601257720754432792354842008100064613469649978307058920161687001608664290999522337552615681440380407067112115914447064551446955285515631652551536111955683178454611845446715049054762888035994730529489725877982336731691537792868822909125084159927592990576848585883860819682672721080650334297432292629471020267190087052846548300984567242631128830310431214171015374555175650384659176783532376428305273926601594352595164524390323092772450872503306632690651773301427072219136008197696531474302464870515244094958488417091730954461192846113597570663830677949510357339623681268794817005961078716909883913664745125593310108672059600085453570717080405738920426592312339727399595626917210643418720621534119308235919420134003133714943103317112896443454762247242487032561195530854864138251993351702509581671289974784572766327164014369798466371502810007335338672574399074724707716651934292635557087565708319025956100420943579810143871551046188968028676833815140523739664458311351371318915606131780684483942827159606384835464710015627323183699998402318438856887365292754601762530132517392153731743289254514646749321146684386064415471519951281442343720169427580823582498081197292712307196651992194711086895499250691149522352181569091619458113384997538899357293507557185552674643063064969838870021599466590008454210361838527642373230286785497006001008822135603995723971564055028173124994824789765920308711063875833897732791357719283981015329232043246506946897399512234628606462563604777330117919863764034918031224156589636877094103455429109724772685742406329470428971315384820257645472756811599718109626743071615407009388979832324451119993510953700338999837841867531387710359950719496465353097176990882041630345075905152404163360369222873894777370115019557982061503495000775373745038284132675227356899627154497122818711166118586695856718871469279564684661203565829726435794828859714431715359025428756228698351312578245035314787408039422534812347771056974291456073835719337249721985249698583866550250386943891901244056068477749534471707814583308213633170231888441524013710048948083550076582708004090740746323567240156368498673299624192234931182227319767937820223493191365858372046406701572034126571902216935118775259168179007889362981581991299468538418771515760253439276080251901804189326239302470902726129456004416881835139624323591083887935226527083865879770570582623076028885235494174126161686997053080346074988997273198144553894352874165580990222913223149761622870735046156846160515553713634327552718593806175931156381075545600752680479652352311446483900467135742347533800011280480190618505514919012138660066838503467904010440298196620477435158779797866495565356808809025289217237785808584207649150643893092901135704873878024084297375739305553246908376238411786103481426595810178438062312669400540443133092762816221652627676363451470519132823583185918682512466841350316713928560663640686477934337130436242213905386925928522285042516391732575722174092736329892000891669753563429597623574701745791906576153003498839190320767432217999967600040730153806413153624494065050395175283449592877169361360440372086688035610695887214288850414880781644543096828723736289648929006129402210603154613551321399971306901013147534245413345625119145578579712599369965203821609327132207639071697228341568431412110815771317303055319492613385448405228376618120533909226408004276553835369837689472289595665408216297933560345731611999961387430550546966830620601600359551653039119487282080287089044176033480084730683763442315789670344718623303043858094897111582007801692541073643094288630285280246100697216217463136040190008893208581770440741720136533075674803365586126467067332835463920668169756412372206810544192112827363758348062550673056629631307687991928230284835884864347217444576908920776572519480411615398871316480340705911116168923771912810986240063805959931184795377370256478420523890515469324727722010983100425293401763401230305749126512430264675491898640533426767645356899519938330667176809931283126515866030579638696837974981249291366465592736104287340536356231446307480678682249876403438934619261109733292692374499030291760186614699362186654162934298955630295621274816444616416070018909262644307754871083646730052491849070612742359527163558481428109912743361860782474390296355874971540325246542039078618456117881854178038637099918177714431617137222675603204310894858860566681289776564788049308106618624100789923807656239551835577408996503367308692613465581677899411915082787556651502967435740473875176951159421859633768639445055942973381858633845266212931898835746721737461245253322192578783506582976321516209630934479308311361368774466137459605335040977011952627922002426512300098304648319506667001717238941374853220000576990144796458927721205442640569782487459728309815911573951415842265192535420985679965176888635378845386200565579302849182903098539421963087901378485257753652066094041081714172217550917333872160528766517464649100938942096188445970750896766244208765348196308995710124196671448171883495042057836807840365155305247792821259066888899972945968840128814312603335677224013291414406234041128576313207449985659127817257735112264949831779918076982838931994720270875368356731844147999981138090111106692769179176934853634771700029281847917919742800188858119041718709553799705301069650578517310433901996615195222892494262187824149280027758886527114687477912268992458907588376888464093138212046867435771504764386105267676100207287839900226500708995836721428267758363472217208435984486452055385439898958134407441456154834708084465528229397602629767105403856577943961444699320977202703284203084887174769700126578037719294565794592177523531176255624341142987969999440401322316998338145068568467439243405464379381024354032855985318263818852167968168222038305310984805833245181295244980993158137508536823581671167993647322286674723820680026443016994268727766068883638635232114951076155258384772250044509525762053811564523097780940783184142786296288557484159840156687530472815908847253217916166399527045201946331017686136864160423214248536762266082568725762734042167279823692335839668135803075213816638160674236769770782779439971655483120235161834149749205895095066602928553962079751630844231856356734356402310489614102475121331052497391149987529153722147851395227054526927658440488340501210355874130251227110981073309086932070598287759075194053979098817209144181621043187031079255098277143526328576256956986634947432106124384691065872769922182966509122603257371414449838572036292972066582981829632516235040157764322400626238101582045366965483229275629224328152100163292934510082412599230590327617827707621577524703000596889133114825209988525822619938757929169938575849527005341998603200⋅t35+4465211262784154027512732638158101965770528676613273528484404217314784191115528427311931118393565240432138732872211350485535506989884814141046866945646265623386828036817385880129026892625195951512447999190857115502832611107568569252510331572245662083023108059448967333263728075303283801390019728990508648396076191578159810517759498673305618458498701530426213299579683491628350310812157091513578014611479448979332008681652824992262882934478858861737837278845709063407008080099530252253482837568917956124017710299308576395299804149948106705054819787616603257687901122020781658470352654481024863073119465399295778004466455905812583086614148743819515972493981302494030750770004666679064336306029421369905192663950003946037001017010931880720504970365893367199553366515020843413098188998052273856735070597307680176002655798009157825492523313402861955193275464957533649944872352869544383806018766574054810392505995720432938466438167775553097523686469518052238195780305154088416382407368382971501844523317088837126853512425515926918867895066072177445392898398062881504385379022420072594984844486310237209070616140934766386834112620026694001220841256500704899738085694699235507398064210869867846891623554141960892463800609671282025777415630969721780130634007861727615074648297269719404182946180237659858674894751742084585750431260710487765641016052255959881659248200059345455783069391328135025121196504673977859579187627056494296870002115307581751769804440229342689214354664793501429762276367339450407081701936016939134621172509160794253602082437329343643129666778389041041952709355699558345883161437406783384523333529886230210447896887833468311503773440392913853858634341998291225628899263770308283738424060800083151182998240729305632199502083674800077677624716478786856962032902449655293095812499419564127901731622759949046499353943329140220895604947930883273289568916122484090856180761953820998917485995151838139538466657160633636481277598582242284674351543086494647796564453272641590626780600214311611854348147273579904582748267574200190923916883828325032164521954147432347019854616236222960289835819730169595423081044513199394858172328586752973311151688356338629720795396009733042275716703492639735167450649795351390749670495400254276767368325342489251713150817652765518727657368964392972392435856564803418991706266007452868148102917614045198223648593630995717680525441376081330044036797109035249361171713967050161851175112005653546476609709869014067815177831277826087193322081757383353803378509151031430072842441673172000398960986553185307969056990267516002307600495234791750200223686084149261070332909209887409834222658831012487316690164559324981344862203249580544739700699514087709838817339810397939179325633846328309802935526285418050307471732674456874021382315254888221176136502376434131954743400862351490675240741376253520382362934213234274609297176536289802834719743841725909627003372688400986205574904048154780671103160054117536406802339340289841028061114610840569526617268820092308457526580483973688321088863259183981594687859621630363971054622711811437214404858648143419672170567485563015483071171628854245213774123896382662428283436887122249372130604865282334267276584634119738073078849367671990802748223691564121416829961566092833627421168905204103095160930887593713188850492258461016377906350202225525041422169780882267801449116717807983456458710388651028712241913149069313081769565309140103828888707297878358429012884549129773727972778544979656700836662412301974795245960325746633969938401986131548582580867433837349552286793415564800305340646326355747074668260676665867897737481445245236138765510810391278589482628243018577810808354696382018973666505445007382046420297419536521194839836704992416605142128230321478670174313320763750273551032049029540474175634279830743715637939034608722755392606453967250090141826246362489190677115667795086658568998732793485837194813655331167491199595741116891599633884438729426757464218692716989087918827526807910964336532027259956988457075525063989040110911322867546492751977662728047815627582806953114911875854496605251470734708481692182775284199353946687938593075092457249085748073121100318853961581275471237427548023325201697761113077193524159044200669157648088433509120818250899446922590355166066613615442083611434208943717912544883121834624999704240138472771471501942233268487333504428866176205160971604659851560502440502991601114016652128941067640005612655251826455777112231356188618220060021599542725277542889603150714429509175118984609991039983175890319719867037137436622331814489266555324563058529753384111452554693936978163643600781132679792065933801557294569644479240421581365877999852462762477195775636395731568120499895435637136522148528013576655102383168703489196387651647773489644775311631237870498733970334304600729560268052975411319786684049640213191268646375143144373958435595773009175080164540272854388032860985279143678794178568077601507264064714753477346606197899877979590367882837069015152347943226191088511295636972622822151433210567073672880355944285920898301887450230204297334623756102316785074815201938747325271520221298119838492798084327941453667221384148439622879174029063941720369250954343725413844945211655934008930033614804192965671152107090886949097035735505240861444765975589783773438588195084380973928425257525856672901440949784550167343587491941585819789779008975210860113807355587914295860918504104401687829116037020002251333177666573060537339761645198308375331173351837950407923085205797573774288593194605518768493653202929498518866132648780771808989300593776570313723734833883202885171659268383262953456431630466407965585655568409443542239733868742545952958893514973293221266443531480148886480663892799772654059094242221986685349547787045692962958149376348721063436323615832778890129472917712782363604392628254225207172079181879287870812510419355329923844226625136968501418727490390464966404257584147615260094847849292695758727431611809079283781134003419333825857360459083799418031600583021099783559139342822161684784434825080303831372422787184194471497448882887164555614446575672868145752476852460866503138370520831466439628045236404362162655081365295820885681086151339966525016004322093143311727926310927836645888961413124358216948010258760054785609484191370821035680380747454172350468694322013388411431240508483315241834965317284790127916694097802237115428882173522818668410715772561636339335756916868407272849227575503369349044490317219438683225154111110337855443746233286332783464602525891771459442402594347468744974485325469297479775199766923141165019952020339748280959839393221218347745192112195225198048435497070862667083803532862034963409345281687703811338977617506257775083021183221775521286625696364406847467030745025653426314076009426872254326402130165724509103074877660276434038964906847417692507628570242907273510385⋅t33-44191893129706795017880562263475576471056654272809713519203640376012469863964569279850059211355663427845910847441919292693913113687466518619836894250810672378347816776729407540911937094523166063645297881088089542048807341192453775053536227373801971286371905455710735580060536388045078923275341389283636293846519899792012071957246686255821703229698088339898998733884936998759737579099659576507934632251732890782797884253052341389741058477406638310338577741279381040344518320310200760099127931838957766130702085647849457900091463380971847782996153430114055148583491479893214348901893920019489478088844359332937821000399060576608926575032122534173640763971133676507366238732075549077047264046385440879258145177913031226561462245373492497583913329775765409196315016537442250252369017492933759691398317425517197594562793472681487126357428449712313649142305775731838380010940469314469330168456811793902170066456123480293629395077466416798179926216669824743385582620461629837266743233745136386036546257794742135951275385006447379546169809383524584878876699826264883415181990719897158291989046599506981415205613830981182913645696447389616126928505372705261034114113108359867972589626326924318219511030169067098984520017497080682996114674874896223218498224993483158561687870242661739369107881950105822287269685581670662308229590284111384285748404535073965986548140470809943870749917615417313200175775539816295262325735309407114254355434397364015319915986570717184916404364302162076662963737851252816565334351007967590685815240677142688037933750288412685710542679000901715788888092280837904200633952218223325584425745001753851059389996172662962892812523423571381264573587794172398003210635618785435795748748095561567848101163226102405899292414674396214999896149466249491548971812027375431008621446891785964553499163070523907402644831339911520265230409570984198123006922495118379738207770762692503505487286420651849155631352301507191079663966411064148515947587773056389837247293453247595010878552843399064784484960693724478921315445201433583627539626150579971518849095484165985315929836763533262221560735720831591044654075816888942288014445371323417356695534385841638901013558927614442184928845420720338781319353269511810075381131386290958548420441738721537988384713648532508980395714628565595968185193992838778624251363874374054085600481495313453614490384639870827482160217726145801865229138412773576302066503076789007932998784547401815076998426352890831844739354438857692642478352426364162601521387009151376291201489143818060084177961133364592776965426664467661304844156345982558604848787954317620950913116673879515196811269004166156981950440586959565562897461281037719175535736502216332135748938417270371030213648887917782463601854660291092149423413725775666848564986380571281185478659351470106096102418831299260197693078155362701546054520171107936952010244142563352170512820754800047657608713308001332554554558828533798497760193992112844675166544165542773527476084789135066826871651238430068438189315260578393708751471416676439575170159365221974637747540431830555701032903264489561567216823895565911594266738220276184398467291822872962313600924763636071740524014599628415010022205244623560403345975365644063857549998703433217403652417212580061717874659090142872965589906124698837819607709492644468884208351663435370733237185757060800225240170911856555167724345857912700623079156403958311255470679181718979410607636771444258707534607925086689812014413471733234699155571696544494423249677383397559437430004373266092356764028448164059876617148089287586910571348588248997561574149142674743601928424152461795084309166113020078926494461227844938559082707174285488576842019420339429731134159017791692223974981026448448080509780015662164745067511822161278789205095912964991711389942469235542999833396068046587746692812637352568485285536127255090856682070863843854965617304236280210840422762732874332933290664706623597050180043076066566917611947726994991462244454921342098962251328640132169488428882790424552674133871085201782043601221709879893565166679189367045405633337476347176976827804647183962098304408239291862729399239151963429086476354293920486394443450091032587817830535870667644595205396737907995922638548698946172549980650282755155876106291347176562747217529416162964529497908935333550948469501212119778134004716467740615477494635090101839655108733115931983537744734838799711529656247825535283049411237042451455298190673724979938091423944815612412225937176849830510979894064069961256606637501139350496888125528822884203816423935138578494493413601573639071659410347207042689425148985035847761363067538385774224492399003974033838741437970258802423527092181707615881873433850027250908583930361874046780741884008024738827484622977921879523140719949792849995787819978175679856166325336870595239044729267005026346907346488200090406667360699994949990767384286909479585649807778851068416898323120866880865784618673974613647101835041680514898908499294983601856179728558314414270187593156418403088352110652855433748203993565480513669265071022069757334449475381016357605344566230665770676066653698286158648718156792692354348256685835962285498901525444262661959097899250275156142272608067127007086816649740266829647535481045678313246501270056228052050934501146398865336192891022732548824651544116016607309216274777703956120167515962877999960928900944435292164728295079339672027092917798113544262324371819777532300703041218585103837929990484071571613082707274332961705880971674778594937200357693520451852632818271484379165718780697532764357724954225402669545583371218054471921857953382650469180040062804637244268928038621021360331682150507829012696933556135558271587749300466746392879903752176875946146907988625741062992591450595634171088706390123433451521690768792418538743431655224870171722243793278081903652141697974167656639414729070606111124147054176214432121876210915969587832196193776505491317079346715611383511722161254436032057256141981969134562033133701126596165254785057122911917678059556650372571258965744409380970086321606654171089377912589078540038240797845403377336595724343042312011931473954610281313122261525469310237112058970448879346888828536635569218618019515229111864694028178074794234801632222491934124239312567020655800048750475682347594525192900268512714929320487120942167337640782696923677494861778593771235320194559596092595404786014200640841322757180173167382117024675567306263604398898662921578198154419609650022882126948970444175080425965787860525024643798616254670990407076084376215018030278664171275002654447394907960839472315248252219829082574350736451981664716340325392461697929931808470646606870709350462361381640772583183940382115582921781848522545857072403499517678965457921766821078628027854669834794250065500251501839158313358379270347166423649261946346855587427138994872764259734511065568535200⋅t31+44368317915739980566430712302757752612243305209905255547914893541801142039596987169847374913228983397256709883360748459939732275107654069792778971768249522993963070650042879086680640182409415993883570249500390196576759078682387256595303569400726621074699602591546807839351121278515004504040661757495478717587390264727748008575840830546695920052581114898282569945425989479727060216310130608787368705035718293248558834011302789684608819232795661596165857897433739894987449376209410422231657818370365054357859215998304423887191459123730616381694836137814622853048119106593984021117180490825238772120271718250378938069961227295208411090301869062348551528302112573479116476700315253455463383086240032918551703437393827899710755224680138889954677034054888696768412468835872699106192054656994999123500214365650364304707861096996564311707713356849086854866810572703851224705743678517020558965911774592090638265146787821466385821535569263033856808005333643946325065282218031304162406569955771746040108442823475592921366374423297286139883418423792959888484929282447503615306574908182601087331508848821762591312420314689717828114165799013241225575102378584756815106627661050793938876517453426667015109303923800118368873548991594002144324695432100580768593745076691798374679188705043540043964095664929818079601740167857521957766251196801708375140435746375518657416421361761177896608660708391208687226886132046138404116249902766048331062330782387368271519128532482472060733575476620521722712326335211229192850815299338026075873839511215155867084529057120126849937427532492693756787858175598148982793376739890929323606156205146399655259185004707467053724054401728952954535021028697796214339960834806275018727219581444338666401513568781667820758512414258709280492338428714518404474138301836799042355831806036389220776953564869213856455904543134130439557728452267519356866115869814403018615562076267642016736204709639333118079511059962292832371990900778083969208200540977751242174597345368675855105638076874698703747692813498239855573694263445563433162233343645508381018952042540847745824179514674088045993822152692753161581276301263979071145434389816700581594473059996170199013177593679020212484627044930040729985732547174124790757927997149940434165806785639604079075103910108607989379856079227638402451363227778242092082845186767771916904691304350283727557158811189751271065160032769632970906401951089462601473191179059488985124863863813875955515068139649477191946260582810507925276219121127275182858812655108435555095617543183246655109313940311916036414612889498737975170542363197033800731391606608037627765519329370731756467312573367870606319924876930539369612742354072034097187724429173703915096920651157628401607967385382150978558754050484326304140026873071064990417830967885987461032775288391088787099736242650037631956566847278160401630675073756200891580265386980115959766561898158647986304346662294051464043470785920786497039428517932240919888513811909088808214709449758925756979732272409569903265907818249061821981010619264766875638931570410772994764187584512802275691485630555366107629409221647571469964912726543239073292071335391871458600974651435053811287943685386750367483408428823111367969272855712213528098400347916684108476679730130984120009950462125278707864219828956521312674789411375095413342422433754912978459707820933039952366481767202347910603538659083871266192724486643749079857488454804775369574578221586570405737713965976159474839497532645346236651023972454022294178653117036645711599847814567495810408623324819031976175081333511824884337314510422551655497965890381035645678287258795546351989258178817418374542093993957641837042737868056414660452108194097141181170879269595202893630131585093437437077888019913159777107147028152500218762312893690956678989388437626185009844789639019430888876493468131794794323305057443206918809471596897337479910263454710666543241363611003415316876887800362714497398914989944502534806795037902062112646611055591815472459051985784564111287232018326418219379991660998350671091327589526936432708857876918817647082408048445788393574841654433197178794531073222368496617563359178860396703760458176818463662757301258925031513495261733938550645566838686466633104548080678652641272956860469882958015259069617156836030832047236410804035685010726461875718475065150667958537767024376532227524232078783615419733107772202302152190733205188973375224813293831400822981266327070008675562001783328793684695345042194834556983964879569145507006090861043301541752216416490824243997094217479030876291111452530323037580115592438288863456586580774716218131133858224078183330469302985725231521673816918831715200714245295220638605546200466072678463153230978656150067594194197771635719305913628944722834469902408770701801477324454200113727755293298859537022033748988869426567391041823001972418596340075905279127105977177043933322065348684913516767653140893159334653891162423821358675377307289004753557953595249953506423056557056051585720954919944141896526100966347355468612080268016341519348086415574563971662636189759674432909011523370082919719159984873244707959883256064809241704131049420816048402062346293557070840204906788033582069877549196997768883075941670683015599241914502099512593994193054086926316288721352568317721435666050433914740412991411678619256261521684343120176682862164141457094182162965439663820314756155948548838745761065045072854536305098620712446551417271554314337296606288026511294525075596296246343451394910138358679954050875903364479243558933393652399341816882649605488801315129364065799256183371442340899740826879646793449623164212751780671559265288015400119666187846387953555003867344972805325758661789844215180719504060173162297206524555453445687330529369590800354653725362654972239659116821769082309782952998662173955617675838199961734811595742742113704939221856250829623943706589072414665357298606505944493185509481192753945951563474834990790956642381720083042330353267112762705706648360719926192371515172228377934286026096839048709584663593504548829654920133318718823458279446174075459650133045014029480474633794662567417698170845909718906699893623086877754094745182801094708437643340923122599443468037673735380810883480231659457731276478946672993312717974796845732565403036330647869159473972629181595456429117244708655337431692624141077971102528433748265239684451538109447416086880862159473627936478118162315976284907687047488997948369664509859561223405302586828897438460429565174404805550742462803346454601658313844115301732393209161770642590235466481959229269464826076251847974418248473898968993334435907119941851888034438369973771129210227315797745616357897776188590292495108762333115410144870491015835949843714556389393735394756919115304175452060501107332086346077324851045074963031261745873126776169827838610599315067489112488457276315546070594939652192800⋅t29-19402747560224411944526210613683470568185574062312236235500807482862339381839704842133498107368142842307327769972208725223912437099801242555423715071989011372480664839515959417570573304265295588267090857191972909276152035257968401858174326102342863017264448256930555704158169737379429334806716749151917242800643379648361810462346131300757861361223823138919784853342759466885458488838091105454447344146070759605666681877794481204848908171705639762542811139329789226670991330739916054371866406818212243472613569777667406520678537906815332161467518270847741578813508879222804243207921571295836647130095609942181200226979439929693341599077939760620107317636705647853874501608138377706329381354682679491426358446996798442800177925389143389738971021251749062182272202883027661849278528535961810743551240628459580780746341858459133147520207535787607079212199101277869023493670271315190828599077347451748618777288613320166623188571271093906945569972699234949306382498477852111175509463749087862890958159750980637378448589736386826869224540034830776766602221632276019525316865275919826676193611419465137630717636469384236597943350453869401355346196471206341218060809773142595318881203390258192877330858252697265517663961569208883376076022228120025294691360123457550271706501611247567265308040742573758589085057141328085270000722269100579828258605134515473713618075198942952846551932346365069571678484259602042540435123443482812104536630189844193312554810735552132911009446835227048345920828945217325931143015412652102454959976475952286824463640879861337763792970340387371238339714585016927896943491476937287700838886987309361875785926706523075693062208275128404049703464397486987469614512709334201834729120588598189705762413513219809907010379225165753639765450103522386761369432397313671511100401003463621706560597256546348379927748067142381155082905010890704093130090436975045328802745724562296074318264212838008436757030790952226329221842653896183190558089269046616725235731285907807456498225304255257950036280660944987000673498416394762630758681397084034163111429032766614362513213661542495084446320798341856763116019036269952438661841624635791827917258823280258190445874545003977569935046753848289496554692475908846779446089150236206827771078113323298189893093579904769616824735271945523073815484512488502567890013133750370943181271689719176625396522801432303352598674132929820219271010399708612032087549269305670078346614775694143254595496118547673228633013323011419258920686651877098723322919442292643460478690103064874170492775020017907791625976824658611258474878450620867305040955915529457015910218782031049389592663262496754639865891161178056509124305616978817832331702608387175506670132568935410836429527233985464921616517023001047315393440333988128041206555918377662488671963271588141327915239417657732529820805874239010676095868859964595521059963563084850604798292679595898616220578066366991325299210067192731822219265916999709158470965147229064474248629265962566683050337537967098634515205024126006089585355472554505878904988907463925612392635283732813656084948905173994322304318646930627398511376583645158282673409449735221331144574433068472177335285215096485867290004066523456761736829435658482562043334782928085109406352713642687936937867145564154666901941562147769391262759481481099663232111160451978977914177127369514165146901995354221090764648899379794353260696440765151162217349457349912388890499237535001159751978780347045198620362822802783032896346086691836653967279805573497177825286243509548585852446186207209963252546069069196319934179062086838746105889507128496423950261846171605317016832508466818516092065917608677681646579594069708728983012879597929719347621708946679137788870550475729116100797109540840798486371513892189230458329877445800300109718045254569335382954144004182079621973567441344711668503370255686741767574142442378740491003424442749060473451219598694733169866733739543450873126287763667523973605186686185193550110215965743831260947487175499844890145890578741097816077098974164170866751903017613212698706657379945150246986813813470684375943085237688184500640023371670892771734034983172493727426379739936159060995426462480765073037683300835219702149012359094220705212682232415259808206364466285042112115736173914408095176502251436203771769914226161078330486976636003288555783268955509170021820793803280317422338310758455675480781528317405560816224285558232343974310970484066999419562268272036329855853195430900023037984995165877036446259718719305239125008617156249675817945603869529635908607727433942584312351615515520020611689065498737490735660591519626692341050258433553095974751807567630285761833443589440734213899155003613380587125092116698612414514482507241037652678468883910151721301310234617931852540219250856569788242782242353749678001122846402557570530780592570968316428904111060021980692002739622476201644892955847378206119633848957534471650599347860651569611270479064102855258117419413681355523284271594790887947786233854148882392030382400196174432762423230753748652841514013880265031336221381726842420456081603627212575730597446207941796627077931557648249894605187616373783722468037991233880796937496635265220846433696511894084928068465792544283516396821742075683625331340984348990312072575434401163646213723127635234099480933473408561447412210208866188398948732461309642258058090165656680522388446493787878048712544282523605199159622711716743960898018059377281993083149140338632460927942253619725824783980105781566160139838291786555485089381053060700195842446994759565614350905025841934174953071474528950640146054819919123349054718173367678300940464090254688877791719533732020185625508697060273766263041558236625221139472490624990720524717903738700460860850492827980512804196903508303451823446678166240773494271692858372894920152920076722512359759519689061421360526655742583398222388717793164140671562351549027256222202933506862098126994616852162368017580237867208214393653282528418568929239519049843640081207484909283682478118034584638985477713813689093232052127656580786122211585275628427822809403976763068885355693083536476846167543155179250221064529086394225446701956297637758555557608443911555349458329834768514560746854968880392088357384345995594970891242283252322640831566892855924238004184582019986955452081971508687458309740101415873401558272236125988328814326458186744312066779588991688807130266812916173403502382189820310211661025036208504071799369949121928490032366598028314700416527608592815896336151359658599685934288109220363472013752369511904881180617789186882842799852034617238509621408406239385509650055779911236649734816122256074912087576551423992400719616086127157098934590544333327240432895792282689030659085015222903106459403886829235660071441805023367045573297362848169212510078268680965715632764359521531150959333999633451614305612419015324000⋅t27+8512798425934578915110247367581537337017042146244515578152656043931954046727347978216307850837019595102480027223220019109497750529255029103182360832619763371901511576547716299535832679077487340044547361444384840148222015362349903213650808493878911246259651844795704889711174071984608607827709292987499226396723705916601626322123866330898335182485982634350799322633990092856808880738899089671836727412400512408041291705978997808711023260285655805539869876066690473441329879370456217644482168673490097256078825503802112708193776449029527690689957281489321223165236407903783131851222432556592763169641645856328216769018184801380134549188662203693957196537648108516392064536805242845603344627075667723581918938178777656999034910454999103396850533444697833694778858366991983256850606503208878326426251350130064343725392172850295195792910757018208558673538166784444341975894030600479825546589372038690223634713795035251617765896318386666669539382709186153793934168384920905227914146859025014137557664167865678250902889430572662274028665652549618551982042587079900760949715031566632659920977933504694637077211261667402368699251733678394049659215778178525806995528817244141226464414065126254193217212884842427934892351543528339202871933728054081515383182238891932814188037149671927170721521543660550241367490937272300043061970343546820496937199815323826243144739726486372965488705834416264721468647886078714236684951532398693028008491484356328885594021063423580941180399610836932911358633481991259121489906776956879143793394893578499169877876340581933630526873657979952557674907001115247031461356726457495935575321286603408607185701682971235829661834170288286139485905643835792571180247640758191883308114168259933181292060589847311046659418394648940092833467726036830996757108432084799785839353848766523236479561816900233372711069964835804858864064263367374921888113857658495002261782392451722992185402246325228470549793233814633222461631570691269905250128909174267768903897767543515632191580787049001061678291987316450839378501706557161544710770410786096353030223079851676062731466925907552073038866527891388816436298607388977566747743482119328344629366077969010537626932018542249604887285793280821855446310464324090290336227118343749012610738847458124477507176412766582071022467496224758432835319076609339426177132506165150164147562845304637397361858724648486208495848517300999874907939858028958248234294623156229101168017817563242224020289596229087293194458943194351136274886983432651350111003743504624054164982796646872972466466147730532807355520137100910490933578564541995847797848147989089172827744932152380617087826423678203586066558193345279915111507847276726969474692881857968248706628029388665492812868196896348297514914201984392170453162190637925040722107623238892961415104616274388546461777790686238582516296825265290709142663138072061436930148022637800834292792427709328136925653938324896427726228234884165832383237119393337527386005139541985469513902827537780397325421244559217628074928933034137416290033890717079672814360673723563284600360160224615230621639564352122048481478697275609615424003827248796319426708667349434813825254855260542569728083559660551813356032657534861040199493096809538534058321345670095558812157775144342340082416693473318238025379547029452424188103856668857555214649418169834604379014248566965724464795533698299806062047039528882349860940998072106323478231583955898463751808784313586814464612396999147550398048595397721626082846772287960836405425133858780726775479950516344018474263369695517988656617635370695349508306737203707816592721096263273821334894198364292531776312617198755368718641013494989971676750011516066997959217587280678759882130386163418223518655639686379608022956535417908820249057099386581367393787425767125660217095231318006654489129053222284863922229492452982541634712148471290849220553101004675426250281265701060607262161096243619298413588578808219914056570107685961691797244640613889511180639449756634826379464359633965646386535915385573830017222551180902819181658527068822335947898799062772712275302401505352958182973848010634461216117379742460274822299643906065780271878761508706412950864892054581931682751840798121423480064317671934858968899269567627725808620585641516468186441006309915687836051026361891794644277470772902383007564113971311182918503149186945387340622358469568042149762154424855712479666983036097560627474974177253473784834529864705132273722835784876863095446884448692159076142250571522886993691699392447858065613276091593015032630783611434891375070826432258446614492409178028627111681567516992985016259082878738427591040458904989421363252783954138164814032095239801020155555220419404403386110327165034279147358964270088595736569752734169574300896497552544004896862156345766077680239724503768620808492771435294347578920786323219199848259428944554030568281164721098872948353473457128212067407310049280043838466266775896526367330517277537343315110385051100439207902807876085991900599364801146218970849054103926936780304269217353462857983057930660342334478135480829357140042248528784199583823172459466968802357502511731274007701734013842145466083033414048395536032932898000694588386856447021250098080422126595418656959449952425940413983825704136828609915332930045560212540092587954563718356929034827115524350163178391664459144499193287761272367788646940252751413872133847238275615795613219627312539699917509146025577374948572683400574044493633284204751960890169367421681218471626940222489531796004276368478172446084356494308684587780086075679465940258929523630929087780690610893416488511989232444144339552151777968597230242684994441789608585426237863640464606764881839127860214967315394054211106985236974894807677242465609212818716459665424738075760677289218216168941014925849573991588496996167819296302116559176264902818759225185648377884190576507045865274954140983455392622187640577783888801461763797388835815840174833775375696997651483933639833499583759122558295701642579666400303005691087584447480692607205087066699379165337402144060347336528967248871224582260972885474351356777321170251774537242874686582154350693639213760914255221207411478302422988140005124846516025533886589094379367423799143571622008860526228461132205800213458367299659561307605443700066861583247792325815937184115344707487817195814702091354065411685787883268146897119807551337035105264442551007531309417892606265833974518879521949231479867571169447444175353135605309678685518962366779265502940799664993431409674329190786656946518782420271605438545346629086085072036005646535834393002310102631606490994769640050924378654412521425683134597355824521735199153622099064363921077078083374872832789405394675923278008606195712757637811543482191405099746691164432179879678003264903974120685119886832950721643066313672851466445455842290112387324163652915084080920836000⋅t25-505547388641019420728892792770075454976120268458240399495773167329695738805112691630596670884474410780615029960733308483838887675943131848910037533622743281772746905007100192121854224737642688883694916840383045544022370410244060884309803437529109664855531632631070491892627331509567678630509827218238612192021700930211929316676397210147142127239370696073236462733080219033787087985760416137806646185951692306359722465296798714972686341705217263701918198221730660545743912269710346875531816566815432271374747925299524946747363129087040561821957596824394767656202408081049279157688653200002376480302517450998049823595283795814589213887066742570012938598763352018581143058394273151038294079958832634304960645140364460612524514020640488790292624047356946540016217984378006415200420898401693227611031467474482884058611154690276616284204125089056999522388768043288058999938086448854197598698802575522340819692683576280254903964309548873926100452839690546859151937099897344265045986975600072437127142792197939875982032304514814451886169692993690325901988765649063245396890886699792746225830467330647632353640833668687046032221071079068729749796913073586738310467815796426985095722544817395333865864178468502389490531090097594414627601422876483431820067386557877787850763040117143607899108777205780270884874708903639695041645467925362793100421817831084764665843017106517388473778843715348586304159646821689545313319260370698127296878595242158680920754843336897330665785221158960649842368849838427403348846708834533797587338135008985111938446340329001663576174795314862525219902972384870800335070186182270815034400483454299615323034671912086378947831817674938540673400235192353297866297727541070560045089998057520788234566761795488385349895841258096557086618529629571193334000334332682014783558743158609234951006267624743681018401971177862939499521509239300982984593081694230172363857502584202039087464253248621725053875198712756385713620582133744200286757656512188263759222935380472212391174701855867781743926630793223527856367666194702229585252272834584505098447339624930635375463997049095497398104395996217044354168163588112383234766624671701725218351961095555452885768710454777900531804839487950152544953319390756564923716552693376008504658068964351265488701156343258421471944438199486985670880620802514529168323485173175811876882945475924272750227477325753739764737623790904691200964364968929945682444004578090264695207668358413863353169466628147101695339493637658296002762331834038348552539555996326900422323604620168844505505934324114930541679713015304517090480186692627751790828070444205142969765277052140197924227856115935722127265529366002263600200068841391476024529047453426768128951578657579882859475197682454518341381066233229849622167227494366931677732017512765955988868493509459376622301396925116736049463058140384781694993254490244730599322065627122329754674570953643154887191266501034756643047257236867341684377385435830171809160495126174100560338256685033479516880017899800353352461189724200557040070271791854691405332703225080378813026380185016848732790753375915323371254577165381585619704630874174131489745821737263859583253742849269760147520176841300415323323518930180989141035252309665239114467330487364708694162404028150803515971810598531782230534038618221157414457912581110005958386547453102239337457951679912590998119457706837366090655930769224861126635584024742934973678974962967694753442135424760791907321443692867327550933232150754488925289568850751923901632406509466797303929039615601396765930642100216500465617640669313457731207683004693606404020865957256355663075495105813250704384230735319601566190420710594517849956672962116625551038947713437722068897944436001962190198416361887519052549572695123488402817880997997814175270459419362027585345393120510304454057215761515725610818789207630456093642641164305664240569028549222566350153758583246465303314732613178549799428423081826886350924992201659058182493736868926266112082899200293705087440516599901220024639633744113693742748327978893541152639994797622876984851343487649082710498646156259617140025703579146838798144167592544950236190472001982626548627056291426172413139474323171455986571006302973044835768493660657722902998267363636490108712586817362335941921083449420576017041227744500847738871684022519969377468382304316779995448388222196811746206889296697196375203311085587789488884617393066666476352985883565232335709542992705472309635150229066018492177630165285046961624430312432511556551462334538162409201924263404181551171495040917740618372051782967950815922517017322316154385923575956165142221631973710340416435450868060883678578188561595530098337545397757891018370187162607740517740312183552072600556233800981765669324798161346033951156751995390722676951312135685455798531049395393512708642715051294243343143363190026495917048487823022870043993703380867383878433232156563422596849329493606423965028225837490101080807349445053747678927010494601573433653534972260342238994319424626599704064149576813392106566333838819893029030738335427653809514714062853381903223095862402029105823334277841942945288768039746429790876947927567039521458724933013122893031336650907046374984814857704950053617297429205495532471165973992847426311158051594799640087048668424906249521917281415161499368454539038823153311422537520776570998992892330642828894391126994004837439583433169823590669968268560062930855035954904999827315631638553066925647144323186195365264405286625920857185732764489393988294277381815671081434734270526114883555414241319780388038108047341548139584907901320110867288401013719887447069465572288509638622833152532667796961511652693366343365456787318364802072056563584182132415416302071818596212942494863559214533036340898331283765523481415836918105958172354421492797767115401711691238407881978490385683024813540921709768154446576690848490518406350308263737622281300129243515855192544799097542572563579325962242463872047692049477883723108979772454986998534983564610217632165643111127879497956111958605447596462327277051113172086323210635835429382936104969331844059312075038268906404303413692771495331577711712522770189299792854260051608138657900183202801582762093958524668704927387525010198485820031510421004892085605837450023907457147226848157642556036550998842126471446045660649721773426673400378703809940222425054897376186586970425494794730912524211228594550783782481781291425322572736987471998913208994272239297936149193047464235957681417032760505998474940970483529742503955299957630039130763601056415144306404789490567059839379683086772922801507929522771944881743807403227838660331078845046040113579887850738548575537313414155185610188802685578263815258208282422838058644704720322974175336977103597968121194857836556258334223975118147505852641198871468679727831542918141158801656849193785261438403876130260245964236723680⋅t23+535397564091998951999839779305450421581467808076434250685447673303167065852429214663739473308243056652820900404040724013607255799709868861021360871037586967136670260949762722503348077724140672422889815671461556430234022667952276689767700627994635214866564375968525540310646752146694493710483692492425051412582540625124525396989150637688034662485224455045977244555656864005826187395015100370817452633114077929877709973372007449400506646607497320250081772484481628420757603832306929686787643564468612948924303628143398182151330242202503572121276307390927513384322701150974548311685868615536301102352307251950073035861052921353647583024726036070877227883412806389482580269537787230273583459061914924109198641256019658587142934258318888130449303169641901881293924523102996687325620873566438748334127472192870145471960882046699193909469026922371204372817346960666553256346991774316832368052604686673434947036890208901689576586479698692521254081224590738410637362542991270434549554587707350858463396693185745676317034168298993478495465591940372547864502889423075867944939779143809039967872775642922020956067934780434272819640703323540290429860386915260402400986075704529787990162223186170664804176369046996661485912014552823341558510229327325180992114953874783038724246224628972133685697811728325775561289303980791862405991412459014155620865478753300086624344245471662182269927988411143295411431192150622732192362991291264996275474579814403664844598613095203444823754938490566972684465318580070411836308845276839335409695271149700148124981633965507398319828744613559717658799506040379431874701870262800607785890724121344188526371172814287547580107975486189524940195897022974893569638562644992204032549710242835973208469580650104705970078797644468943092341573309157048007475411800379100055003350658072577683408927801111590202418123330366125531800067802261769899115593586264956855709059233435900616488366007298997839535595137076755627844579479548221985987727310728014434424639552466688151730719209591225565754525990238703086148835452147079804033490408483722099807520252748151357794825562348623448508665072305116913714817165822561237174181969501620202648740816279627039160024971835021962492913054921176540847953081404487832152522746788238811645586487169146725859516337694732147213802008516366236373120453926248472124395917112455911305213899482788608883495476245030067428604822236129181958546558428028833816283949026643377318164923775519977674732804072377763826856078097301568857187131494123156720835968945911359861307398790424556075827596282540291078722958423013631127710176978476603695649314119108417756256867187618490226732680117218364838644598719405864058529554832304666699739664669352465781409170117102747460324152895958842147703193692668769710966555712108659551949437826160539352207243223544208125888345223132604460334689687103729758097996806825509080823714419053201906563608244171458676738562367769709930567400965579192981713730992073499857790455485031261713837358392168095486870355098868554476915654442967335020524411495594912197123904043460455475223775685994190326780566020301161724686372728482449059681275764869017110353887712266958143015274432958834202595166804052393077835790359720671530445107430565387090015358644662141317110849727240347602874055074551629876810190236647967160265704468509339022464582728276386910417560899208613594526807054854908687593555290042438714443004573990901416012947576262675751729844697012653156608912065477323459188161638275204258879555537975096490991561607615284559697635025363421613885125725330554477263958309674554551298911549151949270441316998993612579832927380150332412954996032393383244279223139558588444930736567645189471556882472213482061059499012229576253214714340839729148300005329448143129692076765744258506643752065357227485410995099705621124694244097339896465798337292763362956189016223762716146576340259040262967989754239836440487823715741890326533125500573745703058224087594109807351767213664373135113699206434363495230540442188442742882837148061302167901554373530544314858879391321876607227607188054942677128341600282375205383007318760180139382867608327759177634285224231967306189365586096862172337318495811060350428807737447846245784913758296953579650797281545469342719372657631393305204766763582207393993823646106599185447987030634836417163800729605063259467461421997026974306206047713571975898787397013771370199500234988799977733299348377132183278016530146540260227312576800724163584782729338350494510058346554603852116521093140965001876625138818289241487064919787375652349530058607250245462934491026710990063153058386871321639930940924109828722947751563123390393648061706677021505492811537673249149311898025105640575616525475592494265079354714866583311001384877485972285339983460714553203303519875198328428132779261040986911197661001426471147773493233100022294673075293675795147263295561483913776688162317920443831371550751951603908302422986341826454459885071288478434460227868384091737463591754460041962335372681312165375505500487166876468261059141927484396596385245035495713221545353845682677102215901037405381330110507507324598785860650332285532602907525343624010670817162535378484666388156124425873223338351479156273223799217042977299126418957163148878405492036591557890184694205714031194064321925573895426109181067542308937436436889930858806882168402685210980643761858298565980431261680869360108386287421527362910039206723884979795928901710708830300715885812784857735935418535232740290730733445259096630430453672433516527863909651555441375983466234414305400458641538961132331434224454452971472742918605226831307127471957755627718871478846322132244496863365123862173758444116248681842430617939349309492603707342402775756914271899036428100365251885104760200566247325652919418397106165467314657338752502000267874893722191483375124913903184287840042874070249472829273390653542986066857301806912115121491355057527741494412480989938781137582368273029579969788912395603750633377233478828593077059395462963380244001961901260865099156837368786092291414980241134099815644392745237803524281411825754939512779477462049303499402054264953794592270365164112148075763948426038152222974321434727785183164993147386238476504340426193222840943686719257572374015882981652797172486225541234444179056276466864528797159187342296017447490920787844308345763006023731422993013830675539782890983516765332713745562441702550368411096762741010227534223872845452329851997858529455586553315607048725792832979201821568093546572979872962770095042714578299341323600571883849360370396346001207422921152431967776427754164317551164025466177657123258736224870386693288846878536410183337865669456156716392089914212656866385210369043472052861430452277787978514426321120962270179798366877082225104205088823258184759020267961835528156290521422515579793851355672875588293253507240448777815696670560⋅t21-189554534724073894632458471745691689039268273698631225189933245297047491128637587760357894941085301577156280083973406310325801539944022698824280250485685794182248270662265029430531461406244201337883712639864668086124133750309928173375203294773723604237775239092408083447819659776423190744852743989230941313651820483352459623160081986245483489527713941347522513172050905753194577913928387406518506334172123750395128784002122319810391930313531128724367179679089449704606858759158742159069846945357614272236578060839677183240046100889398096364187299248456451119888374669947487099855671281477847580613608773913336776492111102552141974842923453683344851352107998526800619017940929017995124533910440564485645479899218147321654162280864032684683731973880930906940929897073448182253406059713001909501729919623057170326773143777237479528712666100030011355219310464534319407990970659459247085939721103690592459349366799093286753435107762640782679761214518687814481302269614935026076473599698720590018717412545060584784156213407073123857609971442314406994736050030147424985960656436916767731101316188759747213025615344258650449607604305916657541813293846795266124517310301505889682486847514390485796071218874858496716755946786197804035526928772105276722953568477736063471441263844318452647496233529944016116612950444554654764726813161608936024924303109857177320907772785635525423518717022724203829988496797956128654066680216295760341879885185456991817820416476260963612946499433240942137921206029404939845278507660848702635994445985654308182275188878693655784876784660077309323991923867380201859246406579439945600848907360220230709180767369156375702778452977563355086721130067212146359094161510193413677137501753934600842290442374379348211155000650056334270459774856893389680677113720722717083687997336104751642937707044693915905975852322269406432825737643581515649117207233907333964802541182171704522435220022081803157661505884992734482579520566151861487650833123388583209579397658558474266282110466916608588460560390114832502439057161012215300845358373496248452165264826431259310661556072964328741879817126659434420986781183691188441435032973647492048598582947613355600664202557266979820392496082096145882635858045822453480851425515359950085796012521825785702138447874220957688668077776880607625675172202084386780405682347964308968827330236366940668300677763224022712872147608818082206137343031984088227948445483749749300489688863963335964480423384677400133183761978208457643074938776628421242233760568769293750428967648207718564178935908926476198774961754832868237206832553077465155760350133439792779200890178572320884050584698407588156913347790301398486864193226113465484531805848561627505363501344939265253507691344214699003281669819806516451904894700891667622673490966278061764182282931976765128869299051194836837476831977582863305207483896488322803564609693718239964246356928902276554935708736951154908327361670155625835606813487666682143799983954072275899024785442589982722076932011792888566870591427999809994933139419340357350828524741773385479340532474204138424916944103285057482180184926338146294075768765806143565206472030692574648431691210723320586757514786464033610204378598729171547601903730950610197856574710592713224451455907494719788580889539238751953319602562881049164822725863190307619168185581729062140255249687476650498224229523948197616873621356691384972525523874346783491960374643435768572463325937952983483648043431689396355199436268489295440899026454189290309094836267029299264747506429779210553042148844063359737012569443317835931014233883292949965259110333285410122849187018102396781569285525352065868775201101883742306901463646078342355788422974867308669574261857725217916819748301944749007061905015688006815699622703130678976506845336445582261210047385700267672604487814159042688847539871083969664580429343988700768884587631382869665142369249516020975610653130566206025386928598749795383724956552100467016750819698303482624461866973064928344311449628021082994420816574347722281026398739549729278994256729613171772743199431187746529921028584875009780143205655246673303946076587036151315918344011046062199493599337945817730348499800526683353752749402278392656424464680807313316704632454546159177112983696733014533560322075343209237801126005076151687999382411182686531609558552622059974641020095096522586009811795884379804704161762560541438071439761371427511109492779863437298953168102216202867967265561939245884989653778016690214764683169266850100786718720998333422696435181823297213669758085113126302358574219392868831568309096510047145864431351755777220949092424957610891568940550624923352078479128889381976452038644651107102348185620243125741696025022647261631670445462612694443381018327499332013587618260034026343014453327390396591815846631478142233866555285782212911798737773004762966413003585413133102250633121975424465556579157996211611017692892950076376585829666016277450212375479585165639736201327065909130355409131164763902968351080062484065500261927960327450869574244853689733171256440239785510153406921611699175100105519097019303872862405119396409465993364301537406314424167873505905270038912501684689746018483624972660629682778641864584439228534144903680910781855103007089447880573171026566199271152653049104479253425027328353624246717502014711306496994758612324137246114413581475268750564680884094306250556231874290875537496263207757620914605899284752187090557652801442891232657751659892187400882630130490034796830726623649068116841544453167993519507216925779808736487353062161926601978045768206258772593069189117749662790725087205101308188464553700898641849824863440214136350720183913036116386488032468687172282826157594885890825828703607472108185668401338112631042147845723836487967888234258018909817403205459873273928666679422613986771023017863091138246870849525851146202355849013018602549666003183681038424386434356731193215606737829165761425656244646779441572837141418519637885892887303677784706123479859971212522065725904855328631469766626516065180290109114999059101623800744971083106562072584829134559759024418070355335681119019145441188275932965255484005340384560188020287531058236872449272751675388809197494582784595444782199677278140175558059884398762661094364418912975534549582592579955060784136406133198056540109334164166234323230681349798238382082448713953039555978084899570643655492033987883925795359541352909369654333820358772565373592968088190374215688361264443600335653609182522819134360385406979665708236322385478224503728540063028598661135683827161730761962258234340591998465544178769729407198286926960840815393273153565256509204230803739829056349422174736007462685337614962507469827867160430641526326734783441799427548306015291474393818085636517956296433533575658250389750429536569611215626490024829643599037802445508232170871107309868592798943604603360⋅t19+3065954771286065682412684303587237692860357588347843462666984918459499558944412543497969740058642747697435827251128692382818191299805459324606540211881812619958464590898764114982497060818976630454904482541138957794505316342017967123997177888061346952041342825533666812871995952864139254958520268906184433572840855785972013625768521435047804675528824853418694296664546442090622137805316584519827494251396025132704053433145017842428709799379224896858444842886579694181466400587139220961058741864569445982846686876819409876683317272600104683325399449402108008353239735797261259404805100488133664964664552758918772915597582248731994275961182761316117134933590599283131289977582638271390679789052667724633026469569378759054319827083654933606938844520393699209343926655143688413957467938700023910787573723815108118596067687983130066023366247596730707553606441369234347587436057482047653762163253843116553834304625896215973184793352802433136422501929742718475364740258192706676984056111200937241173389020285275118218772477206004430265734903121100852664034313830878194851763597832559135006459163542231519337256805056797986123622326675252887087654222105163515293282271337005219661040737666018392499749820977883188612500662774528219628922435969775857942761451911968456063352602123575263368261671225814779386558432675027874815734500954169994349577011907053433678992128879923676427848806388396554132816793144320794864066932810836375479478928048913724204284047985274335164827794443437744199238696616905955672535401388160813058978913528083158928947097157106375086347442229990766940465351227215960501284189207322497279332098322243827749012217381279733969948984799955723007496050940339812727482515208332129110552546672566021584864597088553666433636522099514376510548023394241025795273202342647246923777706187997780355164489738495409255423255982947249919233123139746054796369010928047572133978928590821019619611398184480301552321606155179027305849586856357977819319032280123317092394694505481778431546407509649182668084945325245076486273086133438239076227531986606155970485752528181505926549737924056840723770064711672298350358459495966165667600451356675165986064551866410704358676685958973614369057404562107266340911316895570744372711711662289684402975607758363534954902078313349370247337752837811915076385960173439629706354191805891351290362110649168066658340366106752270106065866614728700263534668568834314223370927014877712026651361105495944056186513107886195593252211579263813341858848071177513659118663998033530702356003072888804864057375802654903182261066769989916176955089621206365039908413170678822028757173569223956527932856172883239313399308118117179867443087443194581914568311910624362012274784424758044966672352135873399736363597000705738597625320989981995759924424468298252256167833334295508119763659988798169956818286457056503302875457250864584884456392107150974182655500695395394158830481081482313037479174019864656276660408468181988588765922144765543888663238252641539191933199477335249520519219091601269144839602043362808314153892936510020690156100374572520439279185111772338263650894686960268024089319909100790907785923872337679336074665623405057886422807010878674612317333457569515722868559311727622605096116798639362899078138801776226527445223404445042262287551153301007778788994676406343828312093848235437694942933216005928887204983209504043992400862660919669634870612190795842069625415187046584166402699196993467820077692506409814792332629846233181450321582678146086592991238502528936701889303759265675777657925361707958128164915428567751183861956853983868628723843766824098963760693531455913242302479379055688636548899268170444794735106981242272199514010626857885875480102251723265583836693356771494972973091727241922857989829388740041975401917765054826171749103440615911174555758468635063786324987829220051827820269272738890291671492672059964886446475421736217603417606128306423293038944835864049474324915752273458712413400562963444659406848839141546672743424755350932893082881569373383227668139935688354477236485754789847786990593362452297763088596635761133203860326358823367323763803650539731124755360297763415812436156066365521426785646796806246927248027365765367260137743569588445928559657470374725643915212694542130904669551596208249018986874919444088980852917171011549982518534896768573229453585172167130579394926671665890387677404034240682243664897915229785082081979283275266319607140146697642527813245582710106464938493146536866658874068041106394021207200305172466177034339683932359672836957076962535107057218087981681546623984340705618714606410351677472912540752324944293598814919190758803403854654778757253278272346073203756671994568893510346080501544088752270071116355948690024125923102741286341235840144400917231855172220129654168996774996152889051521620185964564000231096409533171871268524444476354022756321414592381007332394742519897878210042156244741189281878886649134435614420556406208812897236731425254941774797985274876244340885985636466961765659234579800131284310262252577723242007782302115957230222273539097977763568061819137042104398899616261990168213734168128399648475781916590159185540179380480195984457889558586219547408840119911132276187899616080012268029771746254973715551563276784194393197744114995236729440744500736677358566650645706483522175136380449549607177938736366109333331536960962962542168493254946176536644923812312556944563785028589415058956354162814647590981054252436049267660371618725256687894523263065507061836193119893954963303569324977999281800722702560806104108401147320708168714739465343358826295257836937133354904829428174925850311215082235449257946284236804957655756180853155657851567252841400769949097926609295488549248133700626470853470923744854971686027066960465445216161916816955973266149123294493097479159643392794394570282857089562030696856984585244625568327546990996607560097557526938665268406077985920758873164003648124855695793642398218594760094586489286527316531587730285109268789207116554350478708858761358926453911322251298593534757245348119846168785718524716739243220149002199788661026969918360599646529284205699062541669568839610366405068372968228526385257328222001684393987062897448976051120215817387497691688956396883792732603413301727219340496553965539111832073311503121851425871950773355729698490452305323342387295517005139245690631508974462510165176800220046629914521440126766904513442855955157497347414418593052812088348422903651476305748178488595354962950578410389231625771265500864304195617057030210394683963908874955340881437931156526317007262567332060471184010107084256291987882849731711096106914595940134709508435432027902101579331602822144403337157882316419107260771579242415901474593264345640412204961920313612810484039295164818126439793115011578811876476247322774582364305713192935487613215040873327483414240667175428438400⋅t17-11218239852997170242690923610167520287473575981221479809809421216125317581801282380550086501065364191414086142888831237096778042154669626977125950370522267405099792498541508371631308602160716149412405842765814647183942077014736690043845043444523605766631348841365957386173945086861821918437976154838842103091887490833043880744439898251459627870270359133970796694766440306136249688691121081092407599516062025403064309307810501007817023831176726543943792386926670284216985575051842156155204132426741410534023803861566605809716030630163616750645144206651285531833622142931154122938409751804496324689488957877553764845988229729910923297002967736045864203651103689622323017822482105254559088305631248156648124626118045026353115830471038020846981709778663249394559324233540235164642376329545260234292904563457180714464248405986158552429194969137350079379855640776935115598148607180073481508550881799139266999381767240200894895780541230658450726716649636634907552284545546798056534668440710454986816656047282106675659961618212587256682269315177023771564557070934233181630068967352718833607587722587587683171613329029296033301087961610876451217980141461632630748797794476797791322175333841369377242602811726653089933205151424689792045301174174460163292315222670165651924766143317103743637841786735264081406135278601937994172809665824435028502127367041395097111369985702163666454343442261583075884849635243942318234830727415630476024918292045092262377008297878157793047024602717156060855445014410300430273439853650214995160396713142718606491783350783055381634221965210243946578089299736169386490793850915693931661931888080281244238326244957971103366778786279401545120402333207416044418091995897798543372289813101301144364487979395216274355134883602296391115405380229852102379680276291791490799119159953928889926963509295142232049108213963587105231735405124370373206194454298254271194401360251670093135057976827562392453243780128722052445827692598545582127331299356847394212456133026818302121653447728805409442070268425793426947517828042537793049344527492583104543826195955911250335612279440620962008050834636887354351568954036354359750091347950203612465157073336993333353884705497486402446246272055790227485267788586301861075905584534646993206154976021029481843178351278749408193683983494602300717302431633377797802727664089222160724429054228969131649761941185269732557841735565818239559776740328503585672242162682249574689902628666674925601182362962943256557684029581816970797498814494004409183136297652502552984618840371869448359309867239157156139280567557339246790180932819279580562771939880309035838191729148123847763257466454593718710464524566517923905622048191370451434641641434809777020944765505990309505449935809533966519728991831392963793945532306491946208653683587404263655523487644061245129546512097045906104712142097567475250052650317829384082465542481593740433955363727509992813162672021337902606656654208815110203318164256974767082785813507212349608546957166829703768284616769247900423960129804748427841693272545700265101159332079799958470775024084383619959303862406591601209170854548399744560249742145668262897153917679595197769090390305875701915890092811634314634190136145053762680021479371427524361463970072959454270576640367022054572415943210474974311964093405510869001283463279213435503396151741152723294807012564922421894518093831963385859447016844552034206314996837418796402393891524086783512951401197268325418474926363556652788588493556006227104856096931181629070336493251983493953304280083435609280541582822605498177911519373243482105316938050414286883367681166491284405066002593087329809133574102724304439071288274614574495951841595137172911236313590016040605463939785133613267171116993200675588184926796208478092744962887211975107896028883374188510798102669349856530581580124883006971781831978661918389101169277647101285378836182079918506116890781571426685983063659080548815866308210251509316843893790332543488111866587901675917353475567638019933090099011449047073511216070055110284320678706237743978804048401801651500642705082624865642378893556325565982761648210189617409947712829880921079466929359003540365137744489893809731393487874379945428513699062677059043682645297522890654964640534906087469409546260874791106090596865585923636234473998210410324577278563924136582225722134240724131130066861275879674984338672394382861925449380253922986640985603226669960447320042151061076130298932079891329654122897937084286080845539946080015704612894391138634410839549064724490904737862027772728879036547086300608785455097103274338342011861503935080005116777379491891752187314702503303179385247778156844577418604024246861189223650877596606622182097686183859054622363018010359610408096996372327576757608684431064715802383556073780656751703647290295770416201919029875741512451119629868678336260991817711884276021323010703955367752529565180605307018034653117801931826074727830225706923389539632459364572440374392126629283136371850479313195486130382821342554187858345348660292915245651664283928356567966249870496990629761356500147377357638492561035496960924113700830744899382918618213378965785474209074835935567996338250350811864759143060729601095828060964247095818521706521938766495539280415567358626205719354437296726201169434811401756268066152749551284107845879831298707352903614440448673285367354357554261845705821784099637889821709460881747023690398338556586943394404909883690723563181818653402056682849463295196670536735921290277834163574838101041243154062786130276297591502818662383701597954696473718833588369530555891532645850878204519635663480400512121095940421442358893011302845883328138708393032320650126344235774566761126622934188505757993885501378447692379486057486243572759924346423727874257715729783785251375702397271020431055964100440002656238441951142440190314272317289576901265473973902335618005050177989273604131228001313410448401671999014579524426282085107241532329366068696675330679971653885930650295256344686889335546946607536039394305168432670763168109815925778058015711568777632250272776331423366455114723243314208643908233473993430068313398521282735106041000259610523821255474446577521173303442851201502407698610856419460179851051442881579856742130675031293574801165898473531938349023076795433984296524422108404571265948244234531937714615853190388939899162580739521673376103531068377679087063443555400018653476312680751552311715798608336710003228318971712178364348513149223463301785011071398618007692925625633196512236271009210661446642043717590107242425838848254161656030993961552597033276216151060376049696594204819748320080969793658056683588708387233943837587932910409088150909789288593832762780967246508808701439470776273007846115880795353134948930550242119009016092075845571109284129787042148268203319041371633805170408137681989450417596581463748228054989324015315311523200⋅t15+8427500953584756014009008966631721558271202822160845634985031451930937941187144219286348271837079754400404883589206456904325742614222761492249559871486165590623236687815848443884364481303279434203548315744897354079912769164967253895341021799994369185063608703887576454745803907316920717894249594889973667973908053251680693017836986315841288251319239897874025095253694189491205843847122511659623350264682144751864667809705659984107005498415311565355175177673773887570848562444346751815904036089485029228154664833738846968052743240562951626244547725198288398090457646839687723754453437918883887406037696036790720638183235569550860958433180832224382491122014862349931730795800228023643298365671529029022427204306963190814318941230275368572294989868952703856067699771612872186781849425707889628408130888937630311143442008242236204198727881612146513726808448696474062101634453087787581899947104294742775670275498428681178406766935384895864930640740415924883304363292663893532105597706000555592996040475025412848253789956754216479388239368857994006507753675826511999297987790238952013740107190821696918302147653893757326260518283150312210060715606530440465366221098508938519748023490404522060152845208011186019761287489938146054130628931509056605057979450154420912425488786008742050039494065225506096234477186439404950350228167191540723613307007494492412056321121080198833847165346539581614524871247080504623950411549520185702443499279142220789921081719651902638101329104373214887971639888808274567862899414696469424028911011968195900969768918786254974864757136389677999059652673008310717178362599782917686093820429443721034390499213930399498329896892222771833179231619078117974276716712864623158350878231980965752375959487126689844077698750705905152594459734878849602181302062924147885392118583504399889157494665760048644350186628984152818397054116194456517610695082028508061968479768108783447663941738097321633921526982095749084950883747867248585312730839191202678711776456273343177482568729729849276968840312954890331153663567174672944044776776552325035110966375103462733191957587291758961167900721073107471344131909948589339347679895616339914979963230330383454591919309769977451852307048166528622837953254500639889518252717249280494735338722995099367388473190672418939423534934801889802956044418514082925193960848262776067567714407015842346613208447041726942759055410593260288933926132740264049703269031642433561583988389071333102141372802118337535208747324889601326408755755568635811972066417607212632804498293632049965403303808195243857182929267994905047847259298307805189624692855236382959881158324761276119131928989880937025420756455266947374975287207036148162230669209397794278459408711724489393929599400583061994339937997801921460455645376056109617978139731528048587893858810796670931039969052855553016490937700375007663335708235596633131201755486119209962792343012326522108331610229687364267840397494921355546458109205908506714577492514181688719157458407613547324219616428326116967089159141189637100554662613512058084308800312455917525312859669936153544144733263863241005608402516568828033233024220234459343113808585371686364700887034851788902986581677583240407389107876984180625820185751929128677834193692628810989557142078045485805742951568621281477544877030598399851466204022050478857331088915989631404500505357067726791451348066026958797684825268833652507780368061935601755861393628974494471060099562474354539198181514484683749096416220015746202683369266991108700078695419387432554170162178839100259179785937833384696234350473371369863017655005304189526225626541077415321103803072025713814938876053145630229174080662434203453958300472629950157349888381419366483917958808889276134085486975119281396215582182045497521391672923300238081889651793025639989588982745516656370163201932258091547741682452755901298004142416507137342656449594776298498245974907615247615151031664895433134219457036967853119254810713833353923208764524281663463562530516173118574528386204623661363951923179878113894587596069326224670889528366697056746434661590504091388994249713349739503031040739634391875980558606515087236897564987341940650087951338612447206778213208273718553885594978062865922023610800281547307353593590438805914103446395605807901619253900188877575514884579596301514670793042365443215603266492410764163204335471513303484661634299922948391247979262052524774172391370246668451251591128087112192890669284459631775414618520655736640857900414115888565365789533315075019844449068401400430614536458248190730306350008863978354591489940534013433632573491180441465832010574673250949909621187117051840159904062845408190812126665114983443513124395545147032987019176335218113308712886216903888076528176733792502810325299057947824200412658259349219146690620187537733277925526817299328409865792398980568395268561606049756604560837110734222121507760021894434706584301170604949776790659107221104182466460975005048573749353449710107077061700518481835157657247270671336124497441278654907247053897938691507680106186785270240463583065693780634840136766971246539119551292806693719243168315050206125391365144307649862623313365421327600173859099050725011187168895658841175598044659326110664691611526812006784090781179525505874494158486665837079900815750165276896962954003382349072653822881484984683995196000803176927258123092532338945474481125365020472584972298199552488943848960156566350279683015103480426294162030575758550364250477888890810073119109254237333240857271387998742151902518396424669237681689105825235592983302439706045685589415963696482175834134758481622673913704526161058383598276870980875045556692548158878153330678933462676927778087267437972995020730656245233187363369515458564250937852138236717037176982609037606799279174886489519509784954360108890848992474242672156226113365694376393316162789065125595948646212731493610543770367844498781871204536047714926696788797963464350480982975888299166814023208639795683405274751364256677276863112352904626797022988907814748230681427519577214093619579941319899137242140439983897071084941624007237094702849364530743682512919755474514356943984319219151400536528415897261313856260210424827115225816438309243795769933551038358839648621931703933736728398006721255742856845299339254647692043896900879483805690702780616293038084699337943539429926803809124936000195011458310613964207980536779931116681160038550517712873553208110879317123895867340005192541538501952986927175061824157022356214223810549232046292975272791954960085702033656393557016352888301013400286391934089130720853875367202104180045524777169372961356627479861500670906893317146083330666950150597681728014845448845213564529760587709747332309451537982974906270964216215306153643729812227789803833712618633256956747513625853868226553773087620192685501376530685510151209444864196366268358413004646977936298318310481280⋅t13-104651671764452844684093028778583844898862681547276388246814353234548159701588141779887820267310279252358787418079619469220812474972051675624825645892114845235747477526631833966982337288267691229754643538290849248208737356161659164980357583263185256469836211423759004793634538850540997273394877908760310660779796230139300601697849092870150391332246145267028950482992657157546189094977995923158470344340935642810282820503694142883432260185198374081479840002453047119776966626822944033827870650367449826278055317158477164448181253166505329146783150646764814163404784590439024439473135953534115750290652488896858467545037155849588650795416800133031433806732177799497713042806213372917910175574116432543275872603506072570808778954085939746801971870984331217769964599401498998711653691176665404409336183663805385580642609155628290119470942547895098487957715124852994292336621482214589477481507954322353862701480800061074068179586401339658282608495188416523788737149687339373435962209243970857446838691060828550654343025736892784478092528223820234546881723562086911336124845258403953487278487333599989032165916007070001197696455981206781552487452015953737826887908212768452386698757611575651155580571014784332565173368829805872252334784872138064998940989644691952743884054183875056697444222179544547401176296558279857372807965331423015734266856080320699783719807627224596430183394996460155173889375811747844942989998153570896065165942981098888026670904896960108782007794356577728959416958398063914424499440371509527254813581707241751333063653090637731858959036204217415117721464714337679036977052236152903671863871131018448134621920492998263105942768840550180756461773920145417268759077961635639236451811080069015807540896367074624208808350061012690381279833065859435237378811381832475762087509357820806383666988528813245271325658837740081407732145065667593200957837829479935604982001791969518127019191228725032326787835800215770071989720863046932708325657767696521776782811782419797957629096997447851337343824194054168816448423019228913628001764534859161698147053485396917905821305509729227031336659383617943546200967350449027780016728444981699779997654047115787028951370249799105220050412124339060828054978391274187936706531379844920688114614147188496835533163477782425581860241026414542519424733570322053507953134784466741337439189696923634780576635424921468963013910569350193946840923849759570710166628444748704461262264960102267365340544377282071483168694115535651895640074135130946872448769119363786964569680969633391544781142041252606667262095040111074319355875001866111063888805615391328065388720519254431254402571518367107728186844126784946984171871677819189494718623645931650311021195207872339122106522402338566609954311286322537305342034869829359323058963467541973397986290024277128735543277832383744524079252986661566506964767491729388521402442306784325973881699232563696891974081853685669336330004127719658033618329426480284787138461235458896523896492598976112011616385208385219968248259376129946030218228282822042676480566448786718461774063725478353370733308969339049679833822347369010066836235104805374130123935187114304276538271237158967592370946100785750038325815626389037724091333612939078048029464909046537849753235898593561621874543292712488109915558099732770083036154545501915135499476738940840709177799566804624399322200036882466123993500355753749972225050025854494656476223754847456548976599786315179710955985969192389208254429364727474563971660134989221943635728375699384002661492662366431974106110327902372966026991869757287671415661245053556111623946197776587834995701927587978250176073655328116587842526604460199572873481835503697269564843221574731557009696970684557394749498250510800505159896810501985488295289056470999383301912837784567519011002842869524301539929270323829505665729317322639967791379642629745230727971278664990618964040731824439819977662918169010800938915107914814109572254979100951252244921021812852016588909847198078143211442653613155014578850910368861929946938402871579795096210541404021685281365481289022171534336756757965040034082171108904670301807620997030344667502415197658034063351843895060953153450222245797189514487986504405597490818973007485599736023878272833231579223476988325054809530188726143988787667577349129977790638557283476560870911949377304340040298783914620991367504656440215675656641906826644566764481305396082447823510117624583311548920942034988024155375654295032807634999132154051719899476439156465916813546960144699894391584371066411740153370409515799982126835252671420633824895292536395721438888549904193885824498844807795015387567703457858415520251928312235090306347074185792924000285946687076834862535343220959629135601765101213629837028816477189478059064811581933924577106652664243277440159338959228972535799608832902259861407546199498755130710674515921062013658513011522883444194714081948679687728450753615013229950497045233244107220129376606946960250563953860784283764823905015728951781787073856714813890084767547654820905829479485109417537635052665329614318634071590107323269727669249829034376155319522993081069667013423653197077482465335128032290376143495516847202979438462312629663260866312708752452538714713424994090494078371401630122083961673091417687657635792639688474956264527156606617124606292400578055237106774039325286874994059280921027991863945833425720176819324989205821959233365382921355297780795694790285812600045026828372078466755425378102847545764795727605938125541887417896349914819718780894036689125884395828572714419310674231017522777476523537025841850967534813149108640897322240391439316427104719195724940170683877366725975674063347631755634352369957756318529773256187671614185668393328768786536327117576596537537434126697879755815801352064891437030757223452310011453617646437495080189371206720854808802532827455028195004807122190994415843722449649565404429613391642465912052992221413486039421506807872239158560573323693513028658490191075790704193758022462087541041368257481951404467291125224593288979340140586888327256044684124303029134353775271640641320358132096892702922563290812075547924794704787612814453472700159221721627012723432719449887063364570930057972178391766333244721738636851987910522015319986252829473564723372428036820632151822910468464472738359513109412991521662618335981572043209009529373950365146408700799232817590669593781033918334758158214722624451123989071108239895419078790227996035487856276054432857097140047374520538735457602988319155959433954925382334155503439506819093231307354917839303449041964737213118103244705225030814676189569601330995898471252149049876813096957612895834285859736648866681274939152190326752696661054813440669718546789147144298340317324923888937117522980856471401735129514448712066784316648052902070163595717670568985876352725872121598158680814690380656982305944235136⋅t11+2429057453042497693601541545416552412851167865359538571110895269100522942958080590663954693468891740622718068307632276010530670084438072003778632698545021432546501898308937911608728135276352363978596751591685991130714084276168271745992219971498058680325212282086499274212054374307075017384600862873116729880152652860765653076544320521204816770076745970656730141741351030542966483832677663096645701995444467207954559767480254636583963505836337259723871615914967386662176179913519875885129487324027696578572076980886361328364291522929106004711790812632815479855527709531754007602276096201537417931022615477897228469232679666609947789840283276509424324023025620480788637885373473458712867891678056393472831074882845647888423593999938970476795935288116409487476017451661615581468771609260241287237274812829627130339171481074623143163597777011168120807527513156574241724118192764334223057579694271159816817046073856523805248698827402311100046999695849569664953907690950131229818312714584642446420721987540940254223628030911763094391108187489788769881609251748528753216087686534152040118001382771840417266169900281153103695794482301286367062840362879703636566441289859621105716345879302763548744611091024580684657767950199698523551839192276145534586727296163952468262116944150418807291620480897605464182366486513391315179656814774881976433579468628392833404310650162180090088752336150919623887197866909233946864753086248659386949498054121480635063908578322904451331644390926741015891482425583090254245418229322079933744550133131935474029554684164397141215822563363423196255956180995132640973292097514064978316265315230516237451062936871453766740655630427566386759145530096908574610975948147446073765377153365692033829312283422091526604986722539027551845746296695253671574844075257637111281619295807248488208977135204983487258407842669190242094392431693748014087060390425643495349233456047776904524940436534072649383841752085622421624468915963844859202508121098392430411021670523767845645729683009877660009588368411339790767653067063780416937270247628769117028473821385309713753362798997233830605658873399132780078402397164909942857753559905782835951876280235737445066759794941879100532701101260253588346580318188227186181002113593768560275440073564898504268201925291458954191406600859369496079313678563271015734057632051017553623206372926849285417125107189778139574198101269630944378592138392994050758872157186239833558991086981319481183570274960663732460717414536881467413779431642415777653877187055660491896087402132017604962470886518088191098392836033044750291897138988257697688976816710181750916291899895518192544305854235197087263775532229805952374240688188358772831031699094975606912821858263700721545393669258684905329384430845053792354952834900713791925324694181056039745382506243220735069677587177353875155657165932071401065777835202587825999647910997353872332136455901674780833682481938573754176823705547185013805268948603936612515882405157886657345149712091531484857751191171402283665478483317403741776219219249930216349244867266353713935431855651139035138881458845454268144495589837543666230040812130472163004718271117244782062755035953850125381824023212426601907579840328479845970699627206913361355164274297813336797324117256262692698264274598638374706459338193480980158817976726278431012262005454330574815629253143185941801247324152859250488640945285620818783940723608248188980069979189841813960174431464731786708506377306694103649959873896753801702916089702216303142566988090688834072360915757443848011822189189236415512350435919979067534471151066081710077145239351177325871815173777395593277375421404705408698608340641752690657035009727893860781651714194507499726635095868981981199094497168695769893385091399448575806755530145291414242302304727514402729039427583761965539573831280766050524461121065783225378609135988194636981208048348287031655936273680964300378818010394459470997699039789406246608260820549322668743099100691800063182199919689534729645954786133052890002003015459421378998475715683164490993702298678825032097870695861783739513480596478871263410550965503866986056284448181615896828016481376490577120942381833658340798351716341241086274208027739782458331826219856381469807312032974077940102253927753772473919613709136421257818951393391624862877258225463789653247288215908712206195967694369509645699848347766526319532409046851887463756347451349311641298394067203608749405053060593782078467859991087981578945017001206460182635858311279563603351430462469668692642972932979542050424379345553146003341676743494532204533285769079875398925022416250177743669719827444325213602996634319293905135068745891921805204135480064329181033442169506315985765742469560330115398887968895940263837022494950426292345088023720775439726423599673705204354054886678730361778529211973943334003820629362444202334144686796916606650283144982122793797249844687347048764179968182903191536709343724324211572191734549865894808015253306530584409054098326825117052434848259300288500064520408693946050445867480492294659434365557976070175430683303588867300043090033586355585399963067194850295590059686335129152087136561410818568668764039416303810017268024282801650471808997328019659889945096429941085345012093406289953911918178612910166410004426631612502308158093992280411048948221732185617619310593590731921952841101413155561967972119094657085340782562701197929919698525367175740925646986318859437735519341571782594325949876407109052180459998598273746750781295796972600768442651736253499938525718713957847964511196385034271251112018347303417746872991295692347839363610018480157028188990027487410210934539111142400617509328300141930451467567561581661116361734240448171414306943805974482575985300922730769181277063836801674747483804081804595933923364342860971261359815436799603862872976909887213805348395703724202833004973277771815296037389957284355355183079676442384089822538800126926352036660347525605864399392020722377133610711689301772266580846487925330879415919374288553818169870293761403596128216209141434727275617794805949445994541403522799206617838478858603650480864079999858443211381911836690948654962471576243958422898324344461541563018487747605579288738157590362814974726709310390697914056055518639731783109726394111566943487719784622139262421361936122641720801788519689128660935164617358742179069435408085380450337599209239229976172687268243036935841500751997842677903701117820714744235349986357396947238034324625060005787986158206058643728155409489739399344704536437867476919238998630423640456465354701327107828527468493039571924122926465117405486245639378362582687985361163128098648091398376207927306672212800857563402800240168387823881397650527604604658741805029423199279035331486032635013029371479564635859115944343122143871821772584997407114636011301612713101718826378338490828597382776408598101442257848896640⋅t9-4830060815033620438643774087833213455196015605274715344278087237709966490830333598776195285110413174775251085394610677111581701636165277981878272347277740074646875856510803775546153570280933925212164691992395112825049054676295531057365256211951739497285246520996782170806541394680585934670931689398801023044176389519294127800000216388163457861969655599178157243054797816544431435978388241412755720118295707115275390664405466355230826939521148774635900420715074649996490562567012235776247123343645856246030822238941287500955893395191188297470195984720443701567057707171956662166037930124847133455600448229053776156737957169913504272300899141031796104873103952006253262553702308623401825786243515230561167922700755001369620605658835571116887488024703758718499363565215351047205430355001539101427562520452641952239557145461896913194997141625765207115048883374252837562216139490228772123702291299831614211699141103537129398364792809243939763699728898580683074764916835314030360705193431392019388839392952420720810603260811929890345403350984935162099629302897255038577601414619859302281654641307672465351253764686940815279537463053953794353893625496101287207115440591210275893556706822710693847386010952645783639098199213403825025233359515248697359676753723598851604727621736375521291390358815408862134392059560333168304485316185299660669716675548947876170496650129276913035116324881736468750035172395800450678688533142396764231411364721676625479504171778410746566021270583301495160175881237037079715191424643400049317043314635506564724515832086920244833684849916297621925207520684332736037066465143952227295303395846646044013679266251370516897503983543650506111881712054962562511250849277912253173804057730408420765113392772151206370529684297893811291340607486047080676439766003807818274700075238003070038275883394233587620398364640961235647263841687883919070693221678149275237197687094971806284366058656167213671200224577662645841803045896632517590184285504979682233765697079409673033133583536400143256537022030316034137428382987686496256353863614734391203927994443923720520213306850819437679799755474301932839732469519019935452838350672768967248906590945112255709493323307885390838699007801821282490008061453947385401930631976799543961775410494701717796137585961532200789659494860693815035160993969754860260489024993093466436967114927082631778085719058746031474698756381738081715176572510406764921340029421334072427191665948559117430745395066332578779479860917507523548722490424797208723270459856661747307534535699108950447975581186499365004307173743146033561640412280568086566724959698065831031360315811332345738871743831715312023364452253037428331950034375412610208564266195345944855905740861866351676345754625941403816038709272452076390709113423298183328374528085541802146515191758385609078043668868705597145828639383448991917063964241729662820518644127745515678622959308628756231928116864252067405973663838589073362835961796898312352450659870384151914992542488219364051538108356719374957752963256731417685948356646711687111162035135423230324724808860580766937993452783992418370216073961641109112688898920019833247249342327130086370296205484876768303746825225754208285365740652847240516753700643369362391958632841187194584457640665573121979813697843433728690512315189299144775645399643404646257358173434493968589498389763709011039315387176198220085237491577543171952554894320453576050362459181174071969476951376234341414824967718960558804909079447700138546981445202373772852468141461097882276925864981039773523801936937697805476757023155218310277590767175760884576228856213412472379244466413595669468826233742476029033134377006015571696675156727178868148833173133731940040232100111376363763189121051209626060093139213338165775505763451917229459314909498843155078968555516165000359800615079008591782984728282063075544258302032024706919463001166846621123417742637758172769845723021847032740706752162656195355313219961309663083263288923445462379887594998059533184827109921407672254493026846233328308775419339872354898537034269958850465694544439849136606076276604037021614432222006745886462360554037145004451376644399014853615182818431162157306777652164439723306684891363161828679422431019479235784471642360144590536313280477445413149331980531231375971994671309511679689160299138833302317421256307029988712812853730988736275334491794035148022145754835964693852264493961131998696348860502585407081410420677600153093299856417480994114162797215191831355495015059635831773046339789106714803452809114844145726111678356241164949236422967463295258492946286881427125361150697308092456597219936350663603834664033068471620552017147629083844404956591970138872123842046201992892517565138651859204306165545704250707584640867979154448640382168048751147935772520806070148662063157322495320748415135753714505999028617156593161219953950323107143450669156422788955691942185035785645121709613440308091428315558556741996422389970061638573579081049659415479204917487737996955894777510949092501039495473402464146072309407931413957553667322947797270827675446709528722916450541113506653666071638139254762284294946510414116959422378285410272996753968373783605833762613445137702045811623618094520449115442482384152780750393768004813025348433207997125494515762398201426075880403208962178010832461240768283866670674517347631462439967211950720595106363191697486045941287963744426484031797582275826024312557359402052405589391989830686362525786558979174018522199638854808762587543395669679047131611306306387898469912613765328317124830647774370156804740039888397032953748652821159634191494742180307676378172665074942287278685679516454393205844835619990606977477381037873541383496096109428341611872429588885946429848199551281253908250704026982042794621317962934490987536634982314766352582037326951124064627992627333530613041893334378976191236141879246436157949311803502944616283676016188113807569557600480116146194487912538926434649222749409374839243883195219850469193416574775279478701030204478181625688066155946826510150036167559494996064471873629963245389278978431662176286603833058813302810177775497140627819690702243061663284264283930441257806336660769280737520080378089888540781427844734241259485872222961244170903116689195678727878925238464134089524374307801132561233053415309227724028815039435961759510985501890846218340903796931129477661320593298705171671072655026706188557512115520798699559629120444848657125083113535839705501664118959300093250888104430944815620281597334690322775795309276753794809961644601269762909719603521381181681831436832304214333091593049113755056179745540286054417541929850397144885916973838905495496385650680482965934003869379581606978073258500296408390840192140707099495569229497192452987695429392985799952423547750301206823795224980513781291357959859315933305469980539897907794068944731027413856569709787779200⋅t7+55166440801949923295617826001793795090396632382698137656444608410577327587354472710617625133404060419300705490651714456881798746945255401905425453940926457470498834746261318634279712327623447887617963799546821570852896286531281966184243172498464548134737315032949279244954677817020543516064000965537874305020135697249459502490325276534336785223853154093610390214562178088309804580325201277410560302190044326907502856212281494565550109837203308804332437415886602565197373763368963398371545453102016865579715780508414217003484535605107607348252452837353707243796775281848079251247640924229590036844790032665952208302961998834249264482980233859644366357112741708661039933836630575160562589391074899748549431614532230071774762725868243910489661305574717072678588057221349708123846921009436190193038917684973045432332114835834372868126754683947586426939236710701471361963097280507812688846903529414281196057839997120402433561259027651416119658247584434700473183566337401291740824811632293210874380168318364867652707808886220604277688771831544576264100509358946322925061455976972057900218990263708343032971114080158886030853712113726482283028577762512331345211867864379245206211099733733027824167264824901372422059063135299224446877718729303757546001582452646265757136431762354685980464394168616541981988908480616057325108541923903597677490463433234006656508981599474550517292078247509402794922551142601597071615719634666839539954046411856453863792168789891450786515991449082319665353150930432550052376168507240757343853547737477984729683746749484783931522066706357237419279608020787951653151575631426662686594127660935077687500032155608003468551948199059905252376515716435689143255950933794985489996153520825160466196531216515939169851620072492469679394946896985628141561971945181242552323172217563093328547671874178801278157120667981698276849249690075036385132930483470984236620271851185897120619642313558842696322260117107745732116354749185373090862049944201330664653323017058125590695406358866117153345515894959541226402530691905417674665733866215896078496072223748902026736505394151681516223889888699367517617785165457237875968117080339776015292406677134713749983133843809019614808332174150347550047378314291443272092936902289904048692222511413029652578388800482700283163418363742682633929562499991122168929376389417446517167748811690275351123155272921057635685478742309724713597945929822000553890157289292361170805328489057316743218110995534184978298486427699968030478097448686697144794141145131047630736347295240637423777861488156448137200985900144630469716000689540392375951980034359031152277399081419495954697305739786050105069282414629671765536184359625148892934851274923918341106046771458400085321405732059781932996438008849022993967433545633097323469290285052818329374015676324731703967110007717418498727656281783668249793427874643358583762794040151700132319355398482557486902472244786325090679413011071869079663035037928615404794279326844032522969762378721080933469139140042390665564306242903456420155462762986066996777580006952204547916969544306660259091763279128268956243572047086475988605585656910030755356206062440561790810367709453145413744609288123898686699157701435167179112112869148372625246325602251522548539142346894382997555899719211817981802619197441900728339423312081577799213032829165050277157561067183503322296325853733570475973498943526327928467059521784957822468834815245715388523037718005419282935995539056488966810784884129183285419765117044013531240340652347337728981983826028151171459316471393737726301954844735083771282018662871183749664384339880513956261371644375705854384662578984587827529793746278915820240582971093145219574176725903810162414287482164504177605096050946445398303797037113742468345451617733800941506499981637382205850087558174608885724048873152250523567115588302786416798444952773125705761923283279700371710200599336075711836873362651313344551621629463418338305078750947033067671252753102577458533253937452907695668411450915432611000426130687750932943164124958014262492607459664293106262610156335501683750422286301930387813047726125181942231016462619118275819752365315136748933625891462814393296066102217830264839545447013153641625889198083107690026069208644294227194928213419256338602865575101205904677322373201264907306335537036544720972322333809344647823075095059305957690345937065841621361187872455457972452285097333312640458103215641382244609852025399255449204070118745938320044400241140180245952619994219551953116504588995473070679509759430884541455212003828015067244809007353892991951528363197255958113503131874483438051110100804184187851810048705898738920907105223553085792961777303791621013365812730045912977224423045384195335961042924614406105410602843721406990193143630970602155119377874129343842272338452306678546271996090706444429025669152272400316729370208049896042367562266491360189558492631518176535073229211239546481199342170507879720475715264104342525096026339928241347896630761856442774246205541150810150721800039113429719196951292285040534401951552337632185324550944900363753183192277883391524946637131027972766586452546255824752736163260480523757999497996565171964485927700598445171613073303087626176435594958478615567466567746108143259498939809478182452631149177800413902863542999399650965594622869337839153502770116629070832380431935725723731847034788848984856210920059435341016377739401203587687500910466699244533164952219534704167075977126653555849558724426266805755357831677296492811612877877879172991585914504211560589283026155148732647694286347434873538948391314621581495103091145719169466320201032935591861566439357404037987394362470158581063134561603775770498150731684276640343045594120458507086188066659544146887432550857571143536422560602586261761706930714004996291310825989316684508962349089322754454175268148164745653829145109194387875523004949261951501845772635177589108056659644452065335653880760516490895788082900784275791099109257066981753479260580551988563153984606420288597233143907237251214446825970913642777715309077359205765799829825054470828195025457667600211155717107547573660759042709559413677194988321967149861235021216837607630754286990128410929218752822932289543801363051158114986839732010939613948061570241880383080786101179488906866051318308179511551175060556181523202531920404791918193941919107887795705994624136401566748756683692936931844262817652627314265072375065403886486621033065294219677865105779666020636400807747689380076438417168211661751155171354115504028489047010231766186712852692119387002883838594235433400227509390365858948492955234056195016736786379838895192775966936092681039611053740486991793110063553482215581063144019976195181085568891938741382531675702055510991317265006815761679364324183297623828679742781348897044147481872378719300528658253659363458853874110233825831965977296980758400⋅t5-4801003446740464482295642870804965250653256812679463967872695625211818405762429179322554758295441350001496717643532275056402486925761178724033744694455302635530550501392555371966645899105260559211085076055317098943212715659223855814295194737358704099625089586756963368729910252631188443409646156490065773359873034664537165882114310675806150592452545293778034025795638779144022807127832695582239932055553929172205804191084921013748361171752625032519343513799495595386089501430508291985616415259148403323290432852162295909969657130975635688198973756408800544704276718704907521923708378880910868945938129267524398960922865436383907475405054311928063686327186650601376472651990555324908678870320653377453686593302573659145749665691971512065379549334122857063088931252334479649818435572276193129686509400856586231933730307927472853763932367543201166064837406810782631689241838818155004420175623037061271524810682276309953567763691095244099858801937922647622566958582994660739856716352702829414859305650486503605855793564502882418042253123546951695433262277787563896669400546291503930302388308454625125212828214816256514697157566880043756487431507150032072752193593481785694477064355262365341417369395152478683319124319699767211834193137222028721384599196218986949819991074995509588200666893755688903506067666274855458154163970752145651246548360012529598931393317190539444805225731690946323831117429456937815589113998768859190312766125667110784184907057693764142497652424386149268063575025288573285905546352327174888528968591848525026193140043074700187973697083039495330189815081323519140953208736882064826378983234916554961591001726256735740654013861979094277362958274321144357677451523804758486670615567923807329304647980195133155553311577943911944869846526528834330796683071917884990115419670812483175972821282452499559402833819334616581805001118838703283171853688101210667815057093533698980263255533164942198625613888504927694052170916560706580186636469801635989030049123456996371178494168586219208140061766124172811091579779803608983386341750602765270458041436984239702464237069771701014161901082123752331110416239511071983432684649142561506132528969711450407158936374251772228449655038948822055996397617254878842630407570713404800510013557461797470768755414983916732983477298569213541755087047735197144772373515114305216424607707581462470146155498016850735939585494239198566252426777454065488207687100806559698825750037943939409133721596453294568217747755118020637020556947820171781303713061414068354518540818413338927933478322522391065249494712866336580318161372153292318965005932373687691244571009270700896620482351454220357067206404161720666604738261472721984047403186821844592824104273506772979761835949528075399012876662113250075446010574766598421181704313105468934954725261632161787039813560045634992960429638085039526157706523624163699652996429613718081499880767578993864789513367707266611664924737901609974091515185929079372417108961339927024894530055080054804216544510652403594162420464224617117498703510252072118041966414685069227966573302677740480149782272364412091173661133397377148902403817579054185483615726619375868846531315261379137779451526996306538441438932082798165949784121756712233781665453083094490816838516594880028929978306514475141527010176629276977972175729687332622327195033379412585839956034543230744706407222214222526571008026521418983088867203900452742244508021127373905607146972829775414009155667812536899776577203591986717839536386705770634228798457565754315615627495045944767316374520439730634935436139593764261151376336636706435664820745461674442099136123342554145842827362546288390627061652805588835177059958063440256727926053034387019220746162973351160276173377730207842089503688019467838466075620580838678954349695339567603844752222264715735196763604006041182881333936311247192583445329013819304122376129296387954340048912111496015664198459440903326847201569557815574261828986990356992574963948737434158975739849325547973160642826242336796671908151968551186780975054914344019820623773262797590369450457677950327335857176263429932426951512890571176938231978212732218403053150316981706879354251253262293018541576742885321216276634451938394244650678473492731728616365153921874862072780565807258737407282960686058607104418318481033474347959299875050182775408320811671617496459126051852061809798827310603501469482029195233408389957703194748148266596129782813681980444046331033007992996137719145627268781201377746422774954532922285700968864687051065338459576943558496621332806571550224066732526066418041357297898579463562169207094869743896577371743584101946876789390361557099938126223305737773174253699079702313413192243270885652713619558568918508776266912694267136269553211001736493094111019853540338826969298104454027467168719499195435015043832607821295596086714830846735200385914158803063615552887303235507216109945429879313204601585573812596896928393042874899873056736534029682132869371485073787654096164887359165176103686966344075616253192849926988462732186237981943287631215303983291048635371029815712320557894200126804769031456503854899488159641656239728322244438235509956929780272591528240644586528450411885384555398004323639523579354000461872631023014893962246759260830923645562706477785661325745048546767213247631415067915284237943577159003055600458177258153625287188683142777429409872356506331511084689549956670260025470555087731076448268262517264873317907917603882994744672474618004259386515300709817679697849875587348405405734105264505101168894077560032038176748345984809874978970904185101715650957383457164532783525210552067022159053214465562308909144841200689194926247873823551735038290552430655701469411319064971787772369098474531318192304480030381407651556229544045880936393235121219015214468058734687636088574528374644198870115080469683056004212446941837028713535642807738656122683291168457094808072115624780217761934182188954937019085389351015440219049195780953929443599969033036335344094697328481293109469245977771923656814358226604431417882536984145443833766423359996809598824696195897461156036933591321001895574195100645039686179191272088036115262634781448384833384816685438038094590693835719466460215086216785942383929583659923984376474020018026527389241225903512479354284562603824586615960031688230369158870588802601398736188837622459069581922550181435605818717640834446321267393302073903120236812360475368791599506390304418191971672954242163846879236037518525006363564663400070277292119752443182489674514922430520131196822258187722013259900421331918235216952996977741883274855001127512038403462295247796383203111599926540408380322447853285439335598517091334129873786314473825952269958336959517384774052562886539293181688689596321858729840314222665477720936927718918717906350069804630899209718958474173464778746445857113249177344996152965037973716481920⋅t3+82479014448729068200819531996774883220520047130916683133848093964759777864787171218474118086807094865259559125274606822203844170631411903763889055239469216400168563110187088231525918355250485004730099858344059162888057220573246423122648587501434257847562179132322905820231157641726426860305811144983525514200732590377922033845965239751779543429174517059497450890381823512851153836992776705302018101916386358535559722820560775106086171333879791957845219553648461439763417626804616757694436574454546211920079890840169672514264863843427693663903441955652548464928357905542753994013436272690694187050049821911453431095454368655453676941917857283608153761617348095767919580110440869062244586304390409731865916587420271237732417524755210730643423888160792136963316406768592401120218405063809742059050954009724811903125054113535096560734272516735467604036606985957921857091415398520759531463897427258106132881714358871544005335460947198751116243075763551712769144270884394409946222909776599361227469882294182124361046880552488580856698001565740282485346878302440759132707873812847654252964408964006482260714647535152710843226240926175517558394390745547751126951203201091985409492442114950538432197110658225199528870456125151480036320314167146557034222621564779200340013334967593116631667427031857966215414097571310004702761724608514642638723474655965856352964243294674427330625883045808859361534355113596981426771441502762984191844029356697140975192193183175966424551407943296491191897178102336478302763618691177652473342438166078517181687330658914284973154520183812671902110861885735172906490062836085010032749896971906405915758436830100109218073376587580345754892084110564691504202628580449018272826121260069358198076538775290324050841796243211288230753330220237562132413845541062176677035106166806512351090521609740843240890032054591404169009289679060240447567338475732318418465249359542397829565851981821466855961559897181321835116560212380474241279258402376929374395498405338674166908598318969275277288886235007578540839905486206851612206033594069250367610564618718686494794631287823404504945825163354407707105165222021888907939739560848439919687551838720388104466969388616655762540798004218895078580750656729876814785051996925535388289389078263540889481527771444388029269005513612597333641842472695393134133750322314492994701802134792887182304514046962593671404744587143818165363201817800072138015874265007144603532190637425548330593800439118156700527959745906802654006169954133597197689959109022395935681599477327233553503894452365793125344999432343961455308488872601385650334375674961709403519800524388186471653841340716242303203369059440248558334603926977350958120276072901135275082071893535571910858821684512888386600102720013344733686249876224256272693626106375439761929379778652794302470063969187701381576909255992384586338200199595141526752436453761574976076111275472543321040622978698490362238867324384552043465705829279431332045226003328338235935838788964602159910229064427340510862320225027559199391118535688851049450173457697051127335092627417540666797007305573269663754085580944529158357391809768622991096982242000088101796680707635831505006559813337390878289873870494958680415206943196501027292289401304112262483801363485343665420657532704166859188991322531525579319413185939031829131822262148566851521150395918609113118034216250228139796265129591724696431112998029790613515076643650934524495471629235668192611302089483296096200598664452973256064450961772371466409594292385935937915840990794552729086739955105822572689932294043525229389439451072610803457576945740349856020557092357640471227091048065104510275467598139196176659677240042787987675505731169870124360495558526712695562955034640348250614669911306411012603430139779825724949223261267307458703710785955866127267334340197146888989385207865430574221502303217353729354882731325723341485351916002610699743240150554474533594926302595710304831165059498762493991456239026495956641554257995526773804373722799445318025328091864463495842485724003303437295543799598394908409612991721222642862710571655404491918815095196156371996368788703067175525052830284479892375208877048836423596123814220202712772408656399040775113078915455288102727525653645810345463427634543122901213826781009767850736386413505579057993216645841697129234720135278602916076521008642010301633137885100583578247004865872234731659617199124691377766021630468946996740674388505501332166022953190937878130200229624403795825755487047616828144114508510889743262823926416103555467761925037344455421011069673559549649763243927028201182478290649429561957264016991146131565060259516656354370550956295529042283179950385568865373878480942118936593094819751462711152115711189378258868500289415515685169975590056471161549684075671244528119916532572502507305434636882599347785805141122533397652359800510602592147883872584536018324238313218867433597595635432816154732173812483312176122755671613688811561914178964609016027481226527529350614494390679269375532141654498077122031039663657214605202550663881841439228504969285386759649033354467461505242750642483248026606942706621387040739705918326154963378765254706774097754741735314230759233000720606587263225666743645438503835815660374459876805153940927117746297610220957508091127868874605235844652547372990596193167175933409696209692270881198113857129571568312059417721918514114924992778376670911759181288512741378043752877478886317986267313832457445412436334043231085883451636279949641645931224734234289017544084183528149012926672006362791390997468312496495150697516952608492897242860755463920868425344503693175535744260384818190806866781532487707978970591955839715092071775950244901886510828631295394849745755219698717413338396901275259371590674313489398872520203169202411343122447939348095754729107366478352513411613842667368741156972838118922607134623109353780548528076182468012019270796702960322363698159156169847564891835906703174865963492321573933328172172722557349116221413548851578207662961987276135726371100738569647089497357573972294403893332801599804116032649576859339488931886833649262365850107506614363198545348006019210439130241397472230802780906339682431782305953244410035847702797657063988263943320664062745670003004421231540204317252079892380760433970764435993338614705061526478431467100233122698139603743178263653758363572600969786273472407720211232217012317186706135393412561465266584398384069698661945492373693974479872672919754167727260777233345046215353292073863748279085820405086688532803709697953668876650070221986372536158832829623647212475833521252006400577049207966063867185266654423401396720407975547573222599752848555688312297719078970992044993056159919564129008760481089882196948114932720309788306719037110912953489487953153119651058344967438483201619826412362244129791074309518874862890832692160839662286080320⋅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.