Starting with polynomial:
P : 4*t^2 - 2
Extension levels are: 2 3 6 16 92
-------------------------------------------------
Trying to find an order 3 Kronrod extension for:
P1 : 4*t^2 - 2
Solvable: 1
-------------------------------------------------
Trying to find an order 6 Kronrod extension for:
P2 : 4*t^5 - 14*t^3 + 6*t
Solvable: 1
-------------------------------------------------
Trying to find an order 16 Kronrod extension for:
P3 : 4*t^11 - 6923/82*t^9 + 97479/164*t^7 - 566685/328*t^5 + 1313235/656*t^3 - 418635/656*t
Solvable: 1
-------------------------------------------------
Trying to find an order 92 Kronrod extension for:
P4 : 4*t^27 - 18602579712383878626727500047181374637/37352128661862989611625882764510142*t^25 + 192929105341891780923534882307275370184011/7395721475048871943101924787373008116*t^23 - 55950380084413613458467937165969594423074041/73957214750488719431019247873730081160*t^21 + 663864826594708668963424528982895827637682549/49304809833659146287346165249153387440*t^19 - 3801287791192870507782550586682542459572035613/24652404916829573143673082624576693720*t^17 + 2078590764950990084632582196395305710554955567/1792902175769423501358042372696486816*t^15 - 1839187122969481435753377901357387069479940493/320681689975018837641275871539209024*t^13 + 44010590698246551975681326315142359919699322615/2390536234359231335144056496928649088*t^11 - 354948968306563035285879570862895401610640869861/9562144937436925340576225987714596352*t^9 + 847268809082663823603602552646224294888980760013/19124289874873850681152451975429192704*t^7 - 1075909353398307023974063851904183537025616991035/38248579749747701362304903950858385408*t^5 + 585959156894788828875873698514534545937251754645/76497159499495402724609807901716770816*t^3 - 38989004364594468641511334375185435705024746445/76497159499495402724609807901716770816*t
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : 4*t^119 - 29358674090453890209687317966310273165298085884231951564551044408647889755331894779345665303724554403779987323550658939878144284951661407840781702222400975268499575596888860662097271674275233265585306486413838572974907963353317453022963201922911414695770680766876497237022328019362396836956065478516678566117051440969119590951050840504419876179304750100977055644080460826173402732450156101744195630478796030534940313769065508860635570383390642776848599445717718412009490375770309902325571986439509827437483623846220155138287882538144607452573485783464538817999072559920695049479980845656168861361194363460132521211311559963919139129644207177142068202069971166231993518262233796405815030245499084602046021223618650531528886874280918901964077778293526255461199760841463272579786542597629409736640179515014404322684424647089698210211945908446898691089303207956154204951580212853918097661484248172849731078792533689623973564410991833271780955771401179984686392837404395389911343028571613230932410271989320166819139605781169522070687447795373766442918208228701796546752025670301130372141777181223500604975794116212445465666691103730873121614726047093819222373206676121740382468540225185191315249527458023439420485642888131971744791941469149411333339558251529411658963576615379538951330717246374210796193993506928552830432039016503867594590022154013348971731861055300535406514996459630618301333697834971279119187658154147960668825471428060769811210686777746594244729343577290736080473162681714285878414382815150600529960658967244274447676419412708297763110570098395271340251659232675228722696883160228847102170952788325321156797080288894786708582402659028583312356887213229667198172754740351475388749711862055555565886140783849892034981763280072843158786093304737252146008490549475157374785392495115166907424452776118223960191599078867049361215492617744853157877221183171608319360093885042091160793579853168341544282898262660527556435862045494277113903702513066209181628518723141754281259705328999406805158479612846199498031459773774413031866801527831138019461288232890495918262630092728564143205528349276621890345585931416445279887454139466620160118898108715660151100735123993954563826909444214531833280458364140800595370386775665648337942822363574490750022716046863844511904336459072329526577601901/2562459618195664866525049738677013790053544865089624504871388636393925772186160713103569129202669536511868488600783045284659128807808047420163204857742265277957590610793062025837196441118801609125006803822215336238755509391266834481412111635576088141165925667527388626934048003483005730391587219678744189247807295924745571435415228270415852379425406593915482946817325829433187013086837074908678073634008366153541654594087210641848319507518072371903541914996991681156396674212530494819218178597819465154790259841167782431454576936550700839132739672162326732411577920552032932692603739806427474330546818926569435599199219242690782116741325296878923471756059987447401792141753219025858466440287427371859059460559912869585138489853741252983678332090167656958105203813371032170379807195358421030084741399935968532202619342966048236460267188241141153719796664499464752499768057045288031400259697108577380886638731728071094636823889945361347537193761489164028050435542438895228618488145590043258134436333734455529000947134713247564918165422824685355603532350068111227175647542119955435706650196856500135842447436387525095194757848548027251708168436961327261124527629887759916720604708364325230320498254376472617634338228249004855984915581292975387651289127209433138220341913469591745583929397671118126342505871180722681278709932037661251322441810650871652414710211511458145627378991368469331021979724566530627996376217690240452243761491519562410970377286795764999652246221345823786136162191164186539719918847793964437755340960500456507176762132792572812949420204432424629265380840376445258476938230085880727516030174934376527530888273177743588449337251359488887419469160585645897259713002526196822828683589984019367378449401829283698928792660328261443423635177029876688198793729383148047068329373666196724523980113663468798769930856482484093314560441207328071657687431868936681388326499124207823974069839374115178542023486937971844101206848353650298079983764170470166257547764520888768692072683742901519391294731138153203201058554804472022452033112505756676853993790781621001368351570449870347902184564761411729980919366002586429402853691248588944649659366324113384220966048878781590520800328852460119449236191096318358025289948536238927685852600150949210104211748699937411469822913523079232617751*t^117 + 21402454499274386627822939753905673083391482982312447589598505041266693644606218849066645911735297545947777250674387616649113342611111709653298761093314800070368634174445201967629908385803844588536697917863377975116409972855944432406959830523486563501679904599055868646287582437718753107630637229729190375588938166645334598065273622438312813553409665394714206231511773566066971681995480827956359684716623677748962323571772064039130557860190674965859555444666355562809676027365576868529818460206837103539411140366218002952391128305120133038209430336774598047330144188973032404100744885825067129112845043931220349132481607654701221926695326682905945095005457583664814789082073364770086161738484864928385225817280047478862092699690629946517609837218242646159975068295953377034541829421222876742715354785708487011386061069786880908445507428783395074916603280879779862318812637814161312039475317558523786306330188346622663242384996620603427584675003571028925903882799208110698418411448258531815310085119600344732266079290267914131495000951073076988239053192928809821915838474124879334845166176715805412385120371309274429150036566745865475571623300086985449562451608176281050427159121524644549126576919519247176519599534424942233839691782198324510371016574923662731817090053734462581049026664229276497827466932049476416332031816890542483664740364348956431837535836393142062772197685290889261479732065105477466477275937778684969940658765428003798529344085203804246433644221966519695782218894934646959463890897126043404686488311704948329166259962295107601623052993614034712761112670929886574166854024270089177324123293865554950498494922895925949665273094061998223868706287173910304618603974808782313948408431234252451861574886581105812225157888195259048920709948811706675596069858548716113978431755364757813672490260024861621737831645244887738720176879988263913825951262156103431476241171554125619583998423014150369352020032157896808147037792964726144801928514376665089330325234774472473813160417594827115900200445030675847219979939706385984188451441917008440598380404512043519989722417834695388815667849013731181955833886638092433250655762279722721855131804122644233011161841258166052776861149925774508344205954092715753250503280486033163456311584729349805904750586330353467817498958049877381757220117529953/1352978678407311049525226262021463281148271688767321738572093200015992807714292856518684500219009515278266561981213447910300020010522649037846172164887916066761607842498736749642039720910727249618003592418129697534062908958588888606185594943584174538535608752454461195021177345839027025646758051990376931922842252248265661717899240526779570056336614681587374995919548037940722742909849975551782022878756417329069993625678047218895912699969542212365070131118411607650577443984216101264547198299648677601729257196136589123808016622498770043062086546901708514713313142051473388461694774617793706446528720393228661996377187760140732957639419756752071593087199673372228146250845699645653270280471761652341583395175633995140953122642775381575382159343608522873879547613459904985960538199149246303884743459166191385002983013086073468851021075391322529164052638855717389319877534119912080579337120073328857108145250352421537968243013891150791499638306066278606810629966407736680710561740871542840294982384211792519312500087128594714276791343251433867758665080835962727948741902239336470053111303940232071724812246412613250262832144033358388901912934715580793873750588580737236028479286016363721609223078310777542110930584515474563960035426922691004679880659166580696980340530311944441668314721970350370708843099983421575715158844115885140698249276023660232474966991678049900891256107442551806779605294571128171582086642940446958784706067522328952992359207428163919816386004870594959079893636934690492972117151635213223134820027144241035789330406114478445237293867940320204252121083718763096475823385485345024128463932365350806536309008237848614701250068717810132557479716789221033753128465333831922453544935511562225975821284165861793034402524653322042127679373471774891368963089114302168852077909295751870548661500014311525750523492222751601270087912957469221835258964026798567773036391537581731058308875189532814270188401103249133685437215930727357386231427482008247783985219667029269869414377016252002238603618040944891290158916936761227854673483403039525378908721532695888722489629197531543692353450194025393429925425249365634724706748979254962775020145419131866868670073807996679794982573634098943069196708898856093037353092827134153818130172879701182935023803313566953256066498340185834822172528*t^115 - 562536837511884561168342686420805599738386098657316829424015351430224193623164481490334516199679952831076958578806957883513299482551491022499310477405305750072783731726236349912929836492107223834362881747517612826576866093213644449830505135847338850073936669014548487370080804535461287496107648165506550220787659910465042351502359987660832988543441844901762456756865032754113895657999593828858766136865826686857109102075808247896920205970008978563326129852498053736157964576846126596820116266823836910522348299559566836431087654736112955206999007006863122623949668188375451579029784165364796358100249852752175644867246838096113129720722971123677964080614228264048570364778602775436381557554680635074152415192078696503056562264305344064665421965191570750808317317556109417587107973322212811900621328710511122940785749862224971489108413602714792678677819814061026855286649219849867023877058832288425081145692737711265482680430504440841125349414530978813622798966361636230669523747643871943681944594179920510592760892844059523630890688527824646429192467305022219972810049227508960634473130642747639786439438420825809519789443904693873227534687925286042607471003705345965172984311390924598790323209323236845532433569974228427669515671485434270588140431501133994696117734802066490873525492400347807598912297936615431618903084293151858494461575580992040736637797788734607483522512819650246999293537900238850501705087740631225091390485925224033100964561934875093010501491940740326801808187167174192725846372398721833584292912032196143782753724129825898968426462916840091252670432055614174377691954479366079463222980865570862418270077869670639404959491104709666024088669755620427931234306297137376974899406389117601576728587053049639622447049089050451934761743637490939126453165465578828152307367644588771150730850171071410228887951557489585050028330468629737223201946150982660141653165785514264618448005091462515889447240916864148443338097250739892464586613552116618173960632141916062855993343071608240758988064025594313234644161582347009730496138440424338460126576041494151824459352699437082406736590920655277485371191830254072613878344325464897791216275530133739000572235154845453116822315656814918332728072478571239933997299054462211537353540575566225492859800204940210354137306920406905285214907822576498111/40100331914240785323277790416539755079816245233344716589004208096859545867194703940192335789623655513066695692455241950112506617179345983531344379826798476195585003524661354266499008595667337759762516112633723565467406699254562240617067030858036980298766235313710536623519232177879596181819575998750930753375806512418476238867857008384069184802265929116927017951350459919688890934436517347679322605804105863006170895411662604319083677613555106535157500271702319937595427857845441073623929009845008998798240634969831436681538805919843063926900396450339794532466871439115958260430953560961114672993501833341476006157685323975255458744493645802531278542102544536092545057555185796726590902288681128491087893399181441301768008213267800465969157975726228509274020326856763448981481011685628263946463480837937720567558291713153502811729058379068113514982764958856202141287936553433538773797220667233602270916112239360927510865997761111216229989279914735486418724695389916051018650384127036089001513935724831440933840364028148710808685622944560570056461639745258654346432591319382743570248841056541818029434194291265404766826109329181465502394046016871430758185860818176067477470590886750057291068539429451960886661316119374306353514303014817106885692848452407090537007683187558835259084990554783878457153662963364061159750491042470812603827629144797640625161672283469912725210723184441896923829265357168377133637748694379512272414179832589508727243417473172087262027826168453778305259498154931790514595279434007524444718762250299192145081359024597794882936661628110695210364070674074183341331632871011430835614714139985096193726748918856717977892471916214613567366266304837153530514409936400319629346030618776422601211088663229156757405183260809303899205918780006822081537942159291365486459176588765657849996473373918148835497443263469505290655617661149087779695627126577403333996018351595795884378793168268081001261005623060155046580428327585413243013606163924581801790405305793879564804329728433493078397167474466559428599890791137742415933696014114183523278499457475082966955716720794308403411921535871114070332729471246258571358778343240568776223488647362221596348534717682793160188640134215462650002697637243204685203477209093373715573496690169456747230825977727406084456910673697074140512583360*t^113 + 59799087815316965818565924345878130672818140999015709728202061377948067629656151805725518864302174754169132843058924667832961227912713840745045716282409794012307607728030105990752253872254422994026547378086283803570171098333060898101542624957113901968656568212153457409647524665463359364271667198485331570216342163926300221801321771234814604085576040137764013754259203314332729494551067978101807000529223670912269988556315101853185816723892501107506403600471235426931379766871847000571455308211365603827454448465805744618161385941350356853023121938327486632449147730528251180434531788452057261131063883152924241078734518909776577018986653868441480395425871744353427010587003706968690182042894654499792257128601415110461806370120369834021236727252296173668597500098271908424416780904466569866622432794347967078698514445314313710421494486356085391690589624615463819582100983186687920076715878318796955588175868634009126792012968866504550376770203532922548019585490334178008232235300821058288630801707207290003224198373549926276658307963956348843115713258256441739373019271280987219016545195648423418172627626950958187648731710404650523164136791065192089003830634650358384757911274404801386360692795055589465318609319639873129507573402753001716092402515225099909978407046922723964455679069102944939735208385918530131236578562827064241811117818682415799111329589466937405562478978824436435911231475115062422887279787593715556948928570156281536753956920294497011155068544715905338647073425590795664436325683224418730180895210010918585840811297095301942401096782372754975035355273292898915618638494171194326314831137348087524328467122265659785119256770649874318332236282769957086670047376965486763579078515567310673790493817921394015532026222380154950696398578093121625596310276492975721466604408736650667816791546641446970700454159759690978603927097983226626893756074802066267636509947341599692808826991849776732012293741044118039756044705904614599876060220596258956444172476036430263280563252802369609872529745638051776669848058118381580436020629721747821050450470804202340061684176777937028590119271550123004860263426302971395022451543622339929318660785812184265519886753324971366529080298070342060135128095824525092136781798404214690340167120638100171369865167154564139201931216721628498819422665112189601643981/6656655097763970363664113209145599343249496708735222953774698544078684613954320854071927741077526815169071484947570163718676098451771433266203167051248547048467110585093784808238835426880778068120577674697198111867589512076257331942433127122434138729595195062075949079504192541528012966182049615792654505060383881061467055652064263391755484677176144233409884979924176346668355895116461879714767552563481573259024368638335992316967890483850147684836145045102585109640841024402343218221572215634271493800507945404992018489135441782693948611865465810756405892389500658893249071231538291119545035716921304334685017022175763779892406151585945203220192237989022392991362479554160842256614089779921067329520590304264119256093489363402454877350880223970553932539487374258222732530925847939814291815112937819097661614214676424383481466747023690925306843487138983170129555453797467869967436450338630760777976972074631733913966803755628344461894178220465846090745508299434726064469095963765087990774251313330322019195017500428672685994241813408797054629372632197712936621507810159017535432661307615385941792886076252350057191293134148644123273397411638800657505858852895817227201260118087200509510317377545289025507185778475816134854683374300459639743025012843099577029143275409134766653008108432094123823887508051918434152518581513050154892235386438036408343776837599056005512384980048617354889355658049289950604183866283266999037220753852209858448722407300546566485496619143963327198673076693718677225422816386045249057823314533549665896083505598083233950567485830266375404920435731896314434661051056587897518712042547237525968158640320530215184330150338091625852182800206602967486065392049442453058471441082716886151801040718096040021729260421294344447268182517481132465535298398442366670752223313735099203099414580070412706692575581735937878248832531750748571429474103011848953443339046364902116806879665932501446209326933427985737732351102379178598340258623211480579097207280761784007757518734919959851013929800761448865147581871328865241044993538342954464864230909940863772514648975651855194966378974954604935675233092226878922845557204977934416853099115462128784993856763135343664591314262279766799900447807782371977743777216709500036785200450568129820040317112302749410019847171833714307325088837760*t^111 - 141127915424283660692665320076803611179100441100265272993038557643164179904715328352597642877900765296764227718526901800153006328137160165087875335158755204005103889336833182859154359254062091598362668877701555806904233355200731196660960074694353948110465720967737016759445436559096857652741272057780856300554810360630560917667426877314303465194453348215988675220727644310250812824316272358443824701830543248769027664395156699494086827253816114629491381566552632059009022313540328176794969298638705161710919496647249723019737150257460395621761047390864351891133765743507779597242908870055569921096319963155484741002934613140285434831816295384868811767168101172594059622397144426090833592976958712798869340233418551165208732557300389243664966646710774186463016557376742294690165145409960243196925449593210027591752814148890450189424393682837045485907813727322267211815494132409441502676814202910820526288554148787895872032391838168954785143075672281202509700330406848684097241765644234754753165272604654149120175197931889619883568715495896775859845468056915732128759633255127815297575001004715942747975306260478182507024589872011601041777209293589432432747637584117640777189830142467460469255011653394738695796035968721414775198094897739464774738167111430844173561050755310643930348964046833041939518447329953046780742865358719394845667493277259159131959935723106648820853730791383828421472253469621204067767745633805692489202587376933959787199464988507809091974123827013900105582009144871208264232171957291984040338290103912239017888747838918183051584914620122332699628946322452299619783969225660853423989921636391544934998166572928065486557770330686000224400908819269513006468625742304983386451975348681575353674640840793336669112393490270582572298297165494449408938010397496413792348689130117339340536051204711975783367800276324872441733959557679025705372192317433717647890094983473096707816636956406474133801203322648587043763289870004971058076590271751962502831296353516327148969780445211890327748680951290046058422923578309137975230052751711219636049381988868776417763551692034813493573349021107161145556150832165359181607253753542843577361399676036576424957214941175911899919902790096453882031266936753311334019837834406337500695855648506857690527901082362152037664330958035731850472146806789421997933540619/31871257740809312650270602637727415037376378181217128081709162726194914212266142271011047972431795054445857412779275329319721925920602619880609102851432437383569802195297515142476848407489785901910644624307797020456943724486322983239528305616502846038667903630545453168535224895800789353235267857431497327258807672960963478576550109572647472090722145117538237176606662508290916103890938696816159797122123896209874249844154145032755354437827979824366997488672983252219784298653643287242679093036815030923644102242082997614648478838352844868931624184833700939319427397125253128926759090814791383129502002572128263318296081127969702180320586124508799200068652669473796114229012517471061399552349352668613735396173661892811252103563268806710275011737803677007242579781793689087463150742141154751146793194467591971088450759169396113516052823218135796089938161844862720051515149195601665428894050309179404896599751938133538030102705406817553944207078899464781524585172324793518701887117694016434294166854269061600386820234251042033036561169391958528511390522383151096916181973477896920014745552453903129575759026403304128009551378356711430205789058500117755324204773912784781790868417505469776671080368353516064707666641786342637574943620382517557513697854840399109231439837675549429553973705177926187097765824336745336301087244300741605248213854840985403537586080328753665358389323683093106611938539024611983668208265338965087299366928762352572670919802616894082074721962006233254252912654774272776266817848337859125335869584874157926702844984762150429989780641881433756891783201200535778074123240632963877469779468591790999062580928599212094671628891468996504390376746765723115100967994300229795105687608159636726804982832096191619188580198924437050556752659455119077411428695572543453904584350610474972415378898518945686588695209523581356464107273230856796541118432602185898304471797747107104711726885373794803062838044897628683688226490179097531447298862648907015071477283647329491687513942950110801824269955160876384645998050604869941972999365399600165107529811232014425979228428878579418323875092206896358687479653692329388169637526864049632205747280091404485728162684102554515315989498187974375280931928170144620712630310306091085213990036053470047465760719510133538882904640900813956283758677760*t^109 + 3188221015251970142624634806429610876870796335907085471289960975652002616090773900946204202545246763435850065992429920462986282964460007107431479708205836302315706331692183330280417060154809750787181534246118631037749029488525637316070175221296726307798030428132799468383479712642986127756586156768368172030588591668325446923704379983690172629343894139096760308283562482020294275618118832071742785224714684701581923110880940529209580035040297591671120499213880848667146975945240252662304978150234576517899929999849711654459591104610015092153474558988300478630911031002796251970021375597689441997463518430391393857784574133281399040250137517766949466036255063884970180525941836045826681729979742963059465365713951256169487844242467575846608687757108966575624991344635382877001788832309881211391769637380297141704024952309221971978493632420240832872901958203439440617275114052107328131406910371701025999753321848003805078876608685828361123426607675937192778787086780705632034095807238945733385606460198476955120725933276817681930433559564798560150546527752085772853470706358255474510332005073564373168821353925465904845926678111212900287704540728846698313127933669585447337889498639085963897617739535908014880575208987896700518955114551608789928744856694218423681260625899723678845169529021430222333663430903577085628668270552351839190863277482772986288420677890716745988792277229551480596569089035751044262489615720526174487000807302880469194198162847040273759676163981927495243304633577723744623686583966202353284778369392309234032591464982714772640236695698121558207551360523417031294344233758501830011327558555278510473306845326111372817496337352466079869640969345453794320706561386117811108375900641122775775598897547463198256870920754819377985084510332777581801295516498361070831036054559514932972450598919475192934942932058132801320723412614695583078945229045156155755497743145680947019662228373453291096504664668733946194850627732088590341003281514508081812193354516951968623166932629000147317300500939572511454300458652366747336338397151202006756678755919363277820625682820414880479525924129398118683379736624384144888733280150864840138554648713997697240316665302795441224639643298638447284056210671860442015311508795060653212815599920766264030670050803726501900434824849404848005138710064566804613750175454939/1823035942774292683595478470878008140137928831965619726273764107938349092941623337901831944023098677114303044010974548837088094162658469857170840683101935418340192685571017866149675728908415753589288872510405989570137181040617674641301019081263962793411804087667199921240214864039805151005057321445081647119203798893367110974578666267555435403589306700723187166501901095474240401142561693457884340395385486863204807091085617095873606273843760445953792256352094642026971661882988396030281244121705819768832442648247147463557892989553782726502888903372487693729071247115564478974610619994606067115007514547125736661806535840519866964714337526321903314243926932693901137733899515999344712054394382972644705664661133460268803620323818975743827730671402370324814275563518599015802892222450474051765596570723546260746259383424489457693118221488077367536344462857526147586946666533988415262532739677685061960085505810861238375321874749269964085608644913049385503206271856978189269747943132097740041626344064190323542126117399159604289691298889220027830851537880316242743605608882935703824843445600363259011733416310268996122146338842003893807771134146206735604544513067811289518437673481312871225585797069821118901278531910178798869286775085880004289783517296870829048038358715041427370487295936177377901992205152061833236422190374002419820197832496904365082349923794804709658499869314672925698202884432207805465821512777388802993523788325206567156776612709686341494674096226756542143266603853088402802461980924925541969211740254801833407402733128395004595415452715618010894209999108670646505839849364205533791271385603450445146379629115874931815217172592026600051129549914999362183775369273973144280045331186731220773245017995902160617586787378477799291846252120832811227933721386749485563342224854919168422159672995283693272873365984748853589746936028805008762151974344845033383015786831134526389510777843381062735194336168144360706966555238244378798785494943517481262088500624627246924525797536746337864348241435202129201751088494598560680855563700857129444150705202471225166011866131854742728125655274234471716923836191201241003303266536623638962168744421228336583650905530666118276074599296352134266069306291332272304762453749508410074240230062258486715041513155979638424102145459526558299430996367872*t^107 - 3891118915531612765176533880815643034990861615634900406598794955555585768655727338417870405366474820825285235247058236528173124774175684619705927823635896554058454060574508357594753464986188650203830233507409614883850782996609976052310747302708304506557418221591571745243252700553283210867138803565781741718995979510314653899617929324697871672928185951298910089049108502672945161222190850509169865865125449482599682366361571285042900804346536323815963967945761589236034501935016155844923343492659175508790559181458650509497725652761016788395263829459067713613084752164694337836316068871719411727751901945503611124054044986023412610133469045470588267238613700845220013646698544346203762752660107250301789605866879245260942471816016263646866592141199609088074191064970420627217348092931797207252044133451837941793840321834547673920218214794962093311401172907055705587547686677195575348067063968459771712175991097991115854588569810728129434687231800283016366886495732314430824711609493120456313844255919334001521977865120631817993204482388463744744077025692143228108149764058548953644842031487033534371105230272960981446229622107111560261751831255669787082231728998299295001230953366131722571640837926830090649942952656769172450615877637443401104340879830886014881897365245208551550825696580559936568652356495665072876764776766164989870785959659275861585934763461473836986197192482500320035729849306215038736036917944301189849664385030838279541710799797004649442295882160108280688568686686832879895374225939955382395341382908549490910466166440571920328183873490193402479367901770717419294274757059813371902820649987189456776682132394275732371637604441170724953786363391848005168459105412593239089612764807330439633946753693033748189080868010552688494234475390081456727346680364559857381280122506540074366074456868022870158561751983351858429615362645851506582965003670309072463221414439543477784476842897944478749511704486810559804191772607442266852460119316282206219539538638299232469661555959771084162027622567059879391162340466831505182786989538521423578974997665945672493086951585752198933874698561199548058521555295375069164501502532633112622304506971075994879425402083732994414984997720169164175084956233471193477097950260400912850984555769369276262552962944486079400592592736406330789160311646859179147877340727501/6840660198027364666399543980780518349485661658407578710220503219280859635803464682558468833107312109246915737377015192634476901173202513535350246465673303633546689251673613006190152828924636974068626163266063750732222067694625420792874368034761586466836037852409755802027072660562120641670008710863345767801890427367231185645698560103397506204837923830105767979369234879828294188152201476389809907674992446015777887771428206738737734611046005425717794582934689088281319556784196607993550634603023713954343124383666594609973332043353781337721909581135038250390511246212249452062328780467564979793649210308164115053683061315271545833824906290138473974648881548569985507444275857408422934538065226914239045646008005479432658988081872329245132197641284691650334992733653279609016481134898589312441262929544263642575082114163187458510762557178526707453450142054507120401300812510275479409128479090750701538782385781843295967436678233658401822171275471104636034545110157516657672600161846520600531430934574822977644000440522174875383457031479249635387810648706627552508839057722085192588530752721813354640650717862172593328879320232660014288071797921976493825682975864207465359991270098734976456231883939291252912865035310239395381939118521125719661476612746232003932601721257191097074999234282091474303910713516179486815843115849915271370348339575626135393433109924220298906190879229541935077684369351624035519030066706899823615473877392895186329368152756796778591647640625728113107942228341795132467024318667638056169650057241282676950854533314803019119757796306258952698724199282066215781763037013904441993513642039213677847578345650562595929520347437248030210617448086301546655817520727854199925123193946458614533752412742597225581939164647196244997546912273293850761477378561911765716105909399321457494032544072359074194646776678232096021564487912964385599069322119493558660471995614013232230809672958277908950072555978027619913570563745757518944786097349033700795829270636499988459759090194170123318379892815017370363043484032264768033229132085767840315762496069310413380907565222719484908539044180992389181702950060792649168117322839113091790501855239130718887995893173231213043431892294004256157858560192616406396857237333990281704466154079769180919480349553394515662672215607979580860904301568*t^105 + 7177942184565419235488382247377240927151858456028179328751103418822780529815197778400576962317174657981891879327234500707836598896031681595770154233450413477631927240746084659810770985706663048048723239479657237917034452963144462451676026495768844397765844976346395237292853553146666802919309379253921825824594111750212775066174492597872433490891456697242614205422429982731497457866198477297027624767162853077695626664614970512438203180554867703150003113708519708866711573101002954335341667563043231456853115895833696846454984007098878192240690575409917076993224837420894193834478568148892265642927217376754807870901674473944924128685109700975072834985327398395001642187062187700330928118997872652447985242318504755347812520241620429252215985809066518768682568637304546970724466505709927446803643983935630502735704919276087829136096318362728938845252902252814595461737580529839879046981741580238412940422999203895000966308666401623058534273056532000936815936320095556247480905060862326551066708157655868542349934570964807885565132619982556272116275241715353742583025882307820829817397981884151278653071606366454078754728822439826401361224332848707353911973842527305039975440782409588801192214830627197004036750095738482518096717233041054696531932138492966340717048932751855419971820326651977025123253402575903842268402131406393636281867345323763812190111480998748371730960799602806894721947296780323921643209659365597548079620868406939210435701264833725274730423680383762188587278492976323799474627216004892293767817173756851126023970586339547295768682368230665671589815265174621333521454115638437487723538398423659404968977104743787178048682801617052495752561595503579226945586004315595752948970470727262096463234778402934957337225583003389947140522384077153579772705268055685796144752748055725794310585562427966723462942757291099255494185489361700528719779038680045581291964519804562032085999419500919630730638830136761800969941522958683498977752326925866189735457492276924889567583079868324181159551319220977055782459164869156037172876166277856257244990602402039615781085360276826913578422134766145350095781491258750921450977272231796570002458284655422828924998198895779857869522133999982046692437753430001827656809557995640455655880608345274948031410125714580276235856878570391417022890049374217401732834516999824967103/46183577216948747984418787928909539550160863743129033065602024067771510354521124560179742581918499820229010448278021903872898385454014569714994630638582363931284881367799119275791785132346532424261984770263618402443475253028981090912959150058687057433099036887569064671418776555675063825461452143275401727019829571965300144689326212111404363557595769751654074884714827752014090162278229567599736623349765667201188446307502299762131358937375264630829403827586397598016615434369039366100458184416547434143755213755594402410133289068695829071406518885436354907803138260260966800690135706530020366913523701860518662099098907959836629772763217333488217294179482294912162155925454405316732705377991035306999210171415380993476358381536747385510302510342193381561961647609137841733673269635412009311395113124996505272238571046753732928225661611031293310920726392390662405535982218861039853317496071834688236322166147208484705508154160314839090168752337797251099414558887043447461500281226013142747721200716292821529733861640778709975338846238526907371714905626301344816171342091701037830229367288542535894963913213193481235094373917330765309796868731703903968648460997717886001133754394859926071048173525768801678832389475057862904688598302175626775341182438187394335883638420781049493385678163716493573517135863852233108656028822808061302111678423254910582086198069468385978015330022638380784354473072282597738467478323693849675835935970905233034638340855312053984531743771077832400962753964278239537662370183431447063220030753121646446320869239252673449750524802128989609319986644086323044814609517226540189378875101954077943708283937602164939318835038998007201295281931179983841988976021607319655094481723397190926255540455896188068978865280254770915393438387061097884440987608464320300938003029657952266694711715880520229579458604946970957606922379396393555307850016736074179036399933055408001867606372032320255958256516259657137909819399368857596235899205235776191972908682490556922087986870930907225896822116358453939777694241863163537248340947088380612585151198462604370872300608673653482445849933613939950162070516843764772083682752261132187041608192004451193452489606776874996327223182174254068073755759380417565053982161654213055214085828243881663447718333284817506743921018308006143585585241319424*t^103 - 3344875800959098668290661403214805023393466450069129265403202944335130974777628702886128643665419217460302871643388219501615151159663973784023418895723320613525660953087793725712976245113294442755686464773408396132246052099901694393095062825149009940831416053251722437232320054350942240811188111913942487612508039154688621556177809968383795016167424990307220945278398722893276781095074447424109134859369239148535931297027370360554895648479210557684816533242414397672149307106006561761650566769432190136094621721329923185272130501184204822956175761412257033591650552366665097866780531852364663895401237917522808418776814237988676210064122343193461296085990585363132613556834403508938179620013933359502853203911994892592760135545638310349269041970689412459288329551507483475906049645038098630604137348636311160223569993088933374359372930497248585312770042354752640796575860422523255794698824632520444102039725986820439582429897231692103798657989016305409946227186697610073150223699971381577595028174917053258652113832512132606387379332826435070968124216303532096356678103815520547550531726742723576945289790049912128455062867279102074005243434423002160652894187481311828411605640644805272163702113963706337715768301171547631490694984226795122504761093835340539206203229036897411650700081753364240424923109409655839897866772509244299779889612651449106499664168754423128215343762791532039096090542064482062024733933366008271286316798711159785268518545153107687436780667162923228711491660086712364829733639997297288067569906682645927597038044733522424980367093638247184958275154619109772178619127120892047752738111621105565216178829413068438006404102097305934486850623558004717549805979519115509328958430756061542620073473091838004912773616160974903119369199821611068785427535390625942305405183931770678720477357962413100829507070147668118070350131665631641386071416661901836294119181508689751659178619625206225296845379571343267853737526709654940438069344788649282535205663685389509438066117536850407654470568458163896550027545037434465232778174785658267118078166428297451627782069696214026589552398696528305153527532132669953027608715587143430267320598155587634177764816289355753789506275467856101719849162448656172981383546177613990069539946438975280335428218742499061708556401671530151210242353715924935858805814285428325675079/92367154433897495968837575857819079100321727486258066131204048135543020709042249120359485163836999640458020896556043807745796770908029139429989261277164727862569762735598238551583570264693064848523969540527236804886950506057962181825918300117374114866198073775138129342837553111350127650922904286550803454039659143930600289378652424222808727115191539503308149769429655504028180324556459135199473246699531334402376892615004599524262717874750529261658807655172795196033230868738078732200916368833094868287510427511188804820266578137391658142813037770872709815606276520521933601380271413060040733827047403721037324198197815919673259545526434666976434588358964589824324311850908810633465410755982070613998420342830761986952716763073494771020605020684386763123923295218275683467346539270824018622790226249993010544477142093507465856451323222062586621841452784781324811071964437722079706634992143669376472644332294416969411016308320629678180337504675594502198829117774086894923000562452026285495442401432585643059467723281557419950677692477053814743429811252602689632342684183402075660458734577085071789927826426386962470188747834661530619593737463407807937296921995435772002267508789719852142096347051537603357664778950115725809377196604351253550682364876374788671767276841562098986771356327432987147034271727704466217312057645616122604223356846509821164172396138936771956030660045276761568708946144565195476934956647387699351671871941810466069276681710624107969063487542155664801925507928556479075324740366862894126440061506243292892641738478505346899501049604257979218639973288172646089629219034453080378757750203908155887416567875204329878637670077996014402590563862359967683977952043214639310188963446794381852511080911792376137957730560509541830786876774122195768881975216928640601876006059315904533389423431761040459158917209893941915213844758792787110615700033472148358072799866110816003735212744064640511916513032519314275819638798737715192471798410471552383945817364981113844175973741861814451793644232716907879555388483726327074496681894176761225170302396925208741744601217347306964891699867227879900324141033687529544167365504522264374083216384008902386904979213553749992654446364348508136147511518760835130107964323308426110428171656487763326895436666569635013487842036616012287171170482638848*t^101 + 9403354464774068472623165514628728315155453173609117882555187638070695846792727640765852716256719201687605791242341282884028664745992649039974224787885309272033094803398919873840279870252526209049213804769582074924741809196853452436197784414142848809299545192106200400773589304017417075974322820492653571746395063068905353093335782706308057183743177086896010665738261407321433998287664538756556565090277798093655582885915947221257069432459702305166269893111372003815151416349120243411660556456388956536568694314560839412884400584836918126678468146450568901803331609517203304973298605582025690274241845535561582695508746356246778020866539979691799067855063713025492170088897430107182459974301013865758095889030698590428368626742696292928734099182615543101123702184640354082998823904057200914127752291411253202581553537084798237624356375633120426632237793647541559023767519625496208291572873689685180128685475478741826397568957013532508101566287700229046015975648743222180998604751196278042862217423528064330204763869199731450816268866221791353362684398595572584119895569006988289991377825477090361254680187452144046544207123748210908689214308800983387956712386976179601504889805951564368894609345305727633638568379424022828374461383266095363928983121485576300969613018391365681687329458591222345485895325286575688746280640559043397668887908057830507281358901033770563196196503209966239426299689425892442453874775792230555204180020921677143785063106718151171966275707779698367499311615591425678612523468607126600972985737027758373689681308498027547068970173445986548473594234097912094817038370434792461948980838886860936497896750658255218817569566672251715098583895149165756891753161904388456480057251885890784514988666851835162383963937496244601638877246174410700858495653920923393113104831137010743204667001362314784395141521760855185479985398023709112844547553989863165764439624975961292153717499077445526241345828241737613002930994718354204885856361265782036960643282048882168634201850806808880213842830404013431698757558272701543307810273345482971715651103939023656153381339576800048676315621494350759316558461167473292907628660819039285302513881558565841258029404498765144829087411177707653756684134751903315417935799572769221544279113746212240896357915011090313892696794254539052096621806358388625237236422484100703955949/1291848313760804139424301760249217889514989195612000924911944729168433856070520966718314477815902092873538753797986626681759395397315092859160688968911394795280695982316059280441728255450252655224111462105276039229188118965845624920642213987655582026100672360491442368431294449109791995117802857154556691664890337677351052998302831108011310868743937615430883213558456720336058466077712715177615010443350088593040236260349714678661017033213294115547675631540878254489975256905427674576236592571092235920105040944212430836647085008914568645354028500291926011407080790496810260159164635147692877396182481170923598939834934488387038595042327757580089994242782721536004535830082640708160355395188560428167810074724905762055282751931097828965323147142438975708026899233822037531011839710081454805913150017482419727894785204104999522467850674434441770934845493493445102252754747380728387505384505505865405211808843278559012741486829659156338186538526931391639144463185651564963958049824503864132803390229826372630202345780161642237072415279399354052355661695840597057795002575991637421824597686392798206852137432536880593988653815869392036637674649837871439682474433502598209821923199856221708281067790930595851156150754547073088243037714746171378331221886382864177227514361420448936877921067516545274783696108079782744298070736302323393066060934916221275023390155789325481902526713919954707254670575448464272404684708355072718205201006179167357612261282666071440126762063526652654572384726273517189864681683452627889880280580506899201295688650049025830762252442017594114946013612421995050204604462020322802500108394460253928495336613639221396904023357734209991644623270802237310265425902702302647694950537717403941993161970794298966964443784063070515115900374463247493271076576460540427998265819011411252215236691353301265163061779159355830982011814808290728819800000468141935077941256868682741310981996420484482684147035419850549312162780401926086607997180566035697677563879230505088729733898487577824500610408849187522790984454317850728314638907610863793359025208348604318066358058983878419089394403737452865738799175296329084533809307755556145092072956419704928488181527462290209687474774326552561344720440821829861959551948577740225320673729461367319257278834497477412776053734777846325694701685071872*t^99 - 3565691845718782161868973909736221930705916048798360468124075351494886690513721703391154431600603838719529496691172883153035492677126684020120151969401295928173971737620696922078161043825601239202444036860587912467070043381886270636403992157338965306630853490819119792351042287523389596776617750719556250099331764949876609553991322073361467808679037615363026085378103438964473090581487637367365094000849028550949266033862857817553094212127269440945650180146082809589645313471424964152208140348973479054288022883814372919626503030574314498621246603375990818847984339385485487353833631445662589298508483357768890422943356355144675354202226568847473278750146385657292227182507758998701629862071052344896098875003404480637046779734036938934290597505039261093791014089633031409844186768954913294810144033157490615625407470724536517231508558558039384956974576973483968189842320318946237482077008346171158796603885933072209570918247599735300242490727542860933684178228633675791013393394904703980442041765040077754436507443146657673621204106521900485711890126564275409612432776345098806519805488839298611555125821901782664758977440421594364355778316640662146246542838613433867342928594818129138453234156779869042161661140134477391247740942760100164893951318273420009176309789454237308740467078523369222716817734393122230123518273259256943298080922116689262084330790550746793061534872266718951654234341871557659361020417221262735078733250841649744465121816494749800382750555315235048915584570182773579577570183142918453386490717639380585312961581975934470596061415913540172474028179350249978782619684884944975832585865088154272563373788875759472174264530839341545810375533287994731040431182929934074839288510144342767901629676658251070893961627410739219868280547473020522836356371651087457120824605382227664192809452040902930296817084212348530507769219009346542364053115885168061131695320601034683232454159121146989541618274725423816571493262976930917057792055391374481842273247199593889599880767556428742374161091173506951028154862400956346760497810633522471463125322858607243396954863282812600737038004374272468461910593679740072771867028469606922530620737234773808153902708899643581541398757966786478401292929593267847900527059436617576460807105055533039463628354549541125601713743817812340599490326421884435836001761296533285317827325/2799004679815075635419320480539972093949143257159335337309213579864940021486128761223014701934454534559333966562304357810478690027516034528181492765974688723108174628351461774290411220142214086318908167894764751663240924425998853994724796973253761056551456781064791798267804639737882656088572857168206165273929064967593948162989467400691173548945198166766913629376656227394793343168377549551499189293925191951587178564091048470432203571962137250353297201671902884728279723295093294915179283904033177826894255379126933479402017519314898731600395083965839691382008379409755563678190042820001234358395375870334464369642358058171916955925043474756861654192695896661343160965179054867680770022908547594363588495237295817786445962517378629424866818808617780700724948339947747983858986038509818746145158371211909410438701275560832298680343127941290503692165235902464388214301952658244839594999761929375044625585827103544527606554797594838732737500141684681884813003568911724088575774619758372287740678831290474032105082523683558180323566438698600446770600340987960291889172247981881080619961653851062781512964437163241286975416601050349412714961741315388119312027939255629454614166933021813701275646880349624344171659968185325024526581715283371319717647420496205717326281116410972696568828979619181428698008234172862612645819928655034018309798692318479429217345337543538544122141213493235199051786246805005923543483534769324222777935513388195941493232779109821453607984470974414084906833573592620578040143647480693761407274591098281602807325408439555966651546957704787249049696160247655942109976334377366072083568187997216845073229329551646359958717275090788315230017086738180838908422789188322403339059498387708540985184270054314428422961532136652782751117478003702902087332582331170927329575941191391046466346164598819407853300521511937633794358932084629912442900001014307526002206056548812606173794325577716379148985243409676190176352690870839854317327224559744011634721738332761025581090113389751953084655885839906299380466317688676578015050966490204885611221284755309355810442461131736574693687874764481209100731546475379683156586833470371647699491405576027345057726642834962120989528677707530549580227621780631367579029221918437154861459747166295858390770808077867727681449758685333705671853650989056*t^97 + 8864665851304687524452581833870042083705186491135399310893413480550931942857897928571363071781492729700158006518001743067905050229490605752521200007846419173617025335628396889025469175556553938804260335223658773268564273133303988309414672332072404438577932507711933875837592489791561221422977154081588068862456850566690557426498620709295947636275836229484273398858962603537690908990600966508976603601666946521583464446963083189236211988281804327898579009069589432735328181390288254716317347531589345325881925223395877591972825585117956908244071656523616608225297549650992014438893048686932189070171778180271089596031007092341102894068088895669898081935447150404286641946716375680240418858067096284261850047876728559847947126463962985723026396188606608244378238679528220917807103799053854870847638285533674716576022239365665474263866987172522387549533014490833970619520955597706039740632978020398070300377421281626509350901880905047601031020597019594427834489878561154364571634238877611123858372372936361075587204614570996525449158935873480009652612320085972309231870812909438879866168205120873430455668123752975549119670377459055659547690689052262362276162289233069281277700635140907366404987292377419860926599854288066965780302669651780570194172912900357172476734259898751703096527724628529443622161009141799530288699044867076612000105451975516203175726709381488208336158738351009736412141435294581598902919936102657377613496509284418804524316218067631235883780281115358899031284133572523193449154620202565884572473739243428964527676285974756631811363479236579220901357967952076091775864591705641769962030550304227187367662422600314169208742857889451913548822330830036945645178178857650112091586607442823760103394784097953916389155336372432533728871966537755461261642788613649239618438252602890086448895738550623909375761762779958973372622717573312447818713607242579247579945884417381703750473300117461108558672087989669462995340402644746120285383069771451042795950823567951159772665178786532893206385001033936019590053328128596576144168637976476860669391714406120219632552362488521260887386653902378755986694027439366297513778396750708651615953666418777559187803440220969984849896381352584201446582256246781624349548228278686144048579358068326390090731697812502158844611508339721583343435505335672508869577029347868435169156665/45328011009151022435940412640323434719824182302175471049541920321699433546334069007660157116347441855211886098174969357254715627975968170496866279610926133167743718677756465980411517735096584393828472354571089095760986630380548242829551367987915158810549907385664644506361208740694455969045714286124796198768082023766703613975537933614431960306804828611609937317840586678458191792200446146582982822573687319054043377556130339602140948533799793527988618650557131736490359891418514897411810265652359155091404945410962485496388947681212934924702754396207930224809852298133693338918057373603258856006402848102582418941576648715334687545344833599301403306764306018807176695792373358181065101585563523795361757007891430247553780769512204525099057794471543007299189446800773246702169814388822975646075439209909464136659129968596474472556164015243570909994578719068249201851043767744855701943315982661944042519608536089789920753923847689696076720650067768127689279410022861928559931572789609267817662815081627109831661255444268148669207553663135229907216199854056037115614125473390786730687638119045551117618857281995810315391361960329545145181566660977945252016646789564849467435901749341112571265536523880556180917570334985020640106586482321802748463925837995234288684714435805225855365651491808606132761266950167815589405990747449943616353015260218290351697900203134227435176375927015954640514757033279448154550340644037639235270210743128679214465308163721804916728493457075531739381920220123410170690585384302732978255458965154357940199601756106169500429910246231372454246091663929650884372086386677993070179241910886102754222337320674434979088538867867017250688535817622361763699154480782549041928089042715927789233753361203472525068202949581421583014048226780613798985143033703172912219853298646008849657427766782500532037255409100204595860063677483885221747368437478664388699693223462552326701122681420508164356036330521071905689922119365827600280602826878445532546101025631757499288908718862379807038961714006579747052086116415815028583821319679431345930709064863309405837124876627312950505066797805363710133304396362424018730151149317759476914840576129997490813386928501410866227185064089563555955103186730872349457963107990885098971008051276046289729081912192189921966797711503379848936901230592*t^95 - 593287988763151263414125355265790403712234706476587848066204649743199937744564660950131553243129310704722529449035034832314600412812240215085314081421494950443783357906255695654839556912280558748674594544369268016673371472788210482647356593713637169627854878626030661267066097681441922616282368782927924670405777044502064830899592586999726915984509676427256786297174064155155653490081123428993104277659302809851195284620474738562891516201238932880841412140995671573804395614015196806381311227328814323271957450224719382877546934288860473066462981174413726623098991931246200499914300040050790453283818397960687260764703529464504767125862452282922077916896104308056908498762144000654776960941728627168624303825109432554012893078709750289038390623885083200747884761856860463162669990133593170419069425337588105051110312624219138841585766782305770518890434703771226619700718030801718806501979848609870235765115156682829779275128680157669220628899205393261511940505666381888442636542133533601934409104105849154709702557665694818103705840073128504219498804295601126789629113328501223858127327597012489971115064909142089670978530719450830463038932882775622072657434902147056089072572398136366411894286567645799533633859986468620719796288272674096778287272728975433457060729958488841875732149270231724549235124821455141800375470372012284240626825550212439696695679032952775683780403881657330768072071846186659029242941563080136794030151716747923293507172041430587782413447151363730672179967711211089598760438936546321568173056632410797889482183616023357586547336837762239401351846506646102486101893019777594974362654454118664366122567250171871389498303061468572411418319947898981781985412333068093234670110915105620316555744524292915195483697318142721901113857918163381434983205358120903030814261667555201893006933581805060109181512588619329181967084897492368822547120001371381551013809772347532382943158680749135186978429676481583143304295116857349725907470324759306390228455773950232621659050464467295199865209331094241078638034982269504714041131127691027824914328703655017908731771106268272623429702601181191673664670683182322662944924587144422775443590993033482680519213895177671102893594402607013251625985394319961025134560127194875972599711248449317303715655772913183404027200601460191355462849116267375212604402385663697728463340408455/22392037438520605083354563844319776751593146057274682698473708638919520171889030089784117615475636276474671732498434862483829520220128276225451942127797509784865397026811694194323289761137712690551265343158118013305927395407990831957798375786030088452411654248518334386142437117903061248708582857345649322191432519740751585303915739205529388391561585334135309035013249819158346745347020396411993514351401535612697428512728387763457628575697098002826377613375223077826237786360746359321434271232265422615154043033015467835216140154519189852803160671726717531056067035278044509425520342560009874867163006962675714957138864465375335647400347798054893233541567173290745287721432438941446160183268380754908707961898366542291567700139029035398934550468942245605799586719581983870871888308078549969161266969695275283509610204486658389442745023530324029537321887219715105714415621265958716759998095435000357004686616828356220852438380758709861900001133477455078504028551293792708606196958066978301925430650323792256840660189468465442588531509588803574164802727903682335113377983855048644959693230808502252103715497305930295803332808402795301719693930523104954496223514045035636913335464174509610205175042796994753373279745482600196212653722266970557741179363969645738610248931287781572550631836953451429584065873382900901166559429240272146478389538547835433738762700348308352977129707945881592414289974440047388347868278154593782223484107105567531945862232878571628863875767795312679254668588740964624321149179845550091258196728786252822458603267516447733212375661638297992397569281981247536879810675018928576668545503977734760585834636413170879669738200726306521840136693905446711267382313506579226712475987101668327881474160434515427383692257093222262008939824029623216698660658649367418636607529531128371730769316790555262826404172095501070354871456677039299543200008114460208017648452390500849390354604621731033191881947277409521410821526966718834538617796477952093077773906662088204648720907118015624677247086719250395043730541509412624120407731921639084889770278042474846483539689053892597549502998115849672805852371803037465252694667762973181595931244608218760461813142679696967916229421660244396641820974245050940632233775347497238891677977330366867126166464622941821451598069482669645374829207912448*t^93 + 10967773385920717108764300592654994598286357613478082360257113129438714803365094151805906969970615904059245659133276899893071751613674219447848213054416220639301338655293008419566578112080179958102228319922372184335738070652379404095489019590466250291132033220002372291526806490341904928814762851544886186967884564320401180103335202923973884904163609625771563744596988385037929187451953519267310169046143115501783626054357848227680881462422671962086320078159423126984788670429004767944769416354467187087278928495265733501916762546438490994700162720769985429356099491720645930916891580953668358878323363110109144670712065406381988319721516920486030276333724423576725345240932630016105937939790325367509042103280346001364560698384159832625148265261234225498046701883595491225468668355850519590988744682598518050743812873836887414184626716193527451489185968010686038952952697774660118943296271251746433133510825882352709597265253605434291006845827369992373271643123668981490561596736446055645971402418139973867471064680728827006602376148371634926551271370942078516236012192495129320453537626216318080509404619731101921873685493497407447001477174987774101346948046793911501984771437220957245121550192269248911557362209706245870917745951320349652418973920134433967506919996305216827564401330558217725983308701284575389588190398379132471028613127131356270483141661571052678757307158298660884377801868892431135992051173273424976431868519812976204814318734078062715476644521569582545412607566725152528369152247377019428187545321608902556950048634146033753944633652788504260850343470569146283132503517072904226239829507857874506402145191920224076104961708437967087398721879407565051865855525916590437900990314861100225481608770623290279490581482909877002640479233311070673597518294991430340665492069413637150261533825059879266271936342075117695976477039307966310454641516914060113106038556492853943430476694672120201737049121558148315241685507579550652116726463119557713801758623163975428953292195820031929096665351048286898667008691801466863617359615465422929288773934803423265459678676103902721607525527985823236125721114657548709906703586112709085956710158374124713583926235125785045037809812003187701950029684152312063582627612982620671711915740201210821127525872038068302679308289912778569265804870639256131733958624908380285057613935180585/3444928836695477705131471360664581038706637854965335799765185944449156949521389244582171940842405580996103343461297671151358387726173580957761837250430386120748522619509491414511275347867340413930963898947402771277834983908921666455045903967081552069601792961310512982483451864292778653647474285745484511106374233806269474662140882954696828983317166974482355236155884587562822576207233907140306694515600236248107296694265905809762712088568784308127135017442342011973267351747807132203297580189579295786946775851233148897725560023772183054277409334111802697085548774658160693757772360393847673056486616455796263839559825302365436253446207353546906651314087257429345428880220375221760947720502827808447493532599748698814087338482927543907528392379837268554738397956858766749364905893550546149101733379953119274386093877613332059914268465158511389159587982649186939340679326348609033347692014682307747231490248742824033977298212424416901830769405150377704385235161737506570554799532010304354142373946203660347206255413764379298859774078398277472948431188908258820786673535977699791532260497047461884939033153431681583969743508985045431033799066234323839153265156006928559525128532949924555416180775814922269749735345458861568648100572656457008883258363687637805940038297121197165007789513377454066089856288212753984794855296806195714842829159776590066729040415438201285073404570453212552679121534529238059745825888946860581880536016477779620299363420442857173671365502737740412193025936729379172972484489207007706347414881351731203455169733464068882032673178713584306522702966458653467212278565387527473333622385227343809320897636371257058410728953957893311052328722139299494041135740539473727186534767246410511981765255451463911905183424168188040309067665235326648722870870561441141328708850697096672573964510275470040434831411091615549285364839488775276852800001248378493541176684983153976829285323787958620491058761119601464832434081071802897621325814842761860473503677948013569945957062633540865334961090264500060775958544847601942172370420295636782290733888929611514843621490623675784238385076633207641970131134123544225423491487348149720245527883785879809301817406566107225833266064870806830252587842191546298558805196207307267521796611896979518019410225326606434069476626074256868519204493524992*t^91 - 2347477209804658115179824132188137258788514877407459819986675662544457193416799938418212736647024963849934221822168793899089623154744694736138536223030287035419396015800297665508315242140527940359296495566606292007167047969130301790713594031882060490417225598150795839741946610474699965106843501232801573220614143373145140733832371584456985065869347627507857999622495838819709638481524533705088452015438169988108684445773668273475225864074989896073608557558615914709465729690257059534833889660487852298570740410211566966026398570550571670766811272333864382436433742278884433577187864650938059553635811588293912509153927058344033261043543597205624370553119293127632477040572553808728796780444452713604225622197293412073349614938922354800441624660978151064845654515534982175564118421926671762756234932220678186339291929710944869110033592929813980377352943664601703870795200117064660807625848737667288126712341195369001773195545909015436273393423414455888815816260738575028347696192733539203562725413020057127346939854913605155631004487954429391030830855669470040155207956947668978175233851470162342227120576023383732651955380137205422415383718698186116949536602339807189431661693496204613859561141884211248665401131072902041993475252219712291263490159270883026852566663179158623129196950557432070639396753971731153231900530404099054219329963988218949858432549741236260182128291195251108691685443027296811205933311100284961502718838681490338384618735011017304888087453112039561700708803028550358972346000258011541161276419918655157190185633150157247591954823435616666333890312232302014677430829681739849194007438969599569153507916784830331379629135928132051379171847859146575403791100330891106509118265524688713164159387859052356879955511713947653017554502805080140768541005520743500409857527227251811727032691515087245141126155877727696328697960093623698207150143002265727117951304107662155447966836774243966844235247266504911255209493920844288422185578515448009944341747573966770028021848077851697862498320481019592486326875408618967515646675620117841439166167371478893437422425014035442200525914636716869201177118133673510494475714983840486074188290892554085667557098107524705801628640304577078230382358347149899423919037366087165520063474002749832939700514812448725079145987503646051322389549748001364403326356148430806535236261067857855/6889857673390955410262942721329162077413275709930671599530371888898313899042778489164343881684811161992206686922595342302716775452347161915523674500860772241497045239018982829022550695734680827861927797894805542555669967817843332910091807934163104139203585922621025964966903728585557307294948571490969022212748467612538949324281765909393657966634333948964710472311769175125645152414467814280613389031200472496214593388531811619525424177137568616254270034884684023946534703495614264406595160379158591573893551702466297795451120047544366108554818668223605394171097549316321387515544720787695346112973232911592527679119650604730872506892414707093813302628174514858690857760440750443521895441005655616894987065199497397628174676965855087815056784759674537109476795913717533498729811787101092298203466759906238548772187755226664119828536930317022778319175965298373878681358652697218066695384029364615494462980497485648067954596424848833803661538810300755408770470323475013141109599064020608708284747892407320694412510827528758597719548156796554945896862377816517641573347071955399583064520994094923769878066306863363167939487017970090862067598132468647678306530312013857119050257065899849110832361551629844539499470690917723137296201145312914017766516727375275611880076594242394330015579026754908132179712576425507969589710593612391429685658319553180133458080830876402570146809140906425105358243069058476119491651777893721163761072032955559240598726840885714347342731005475480824386051873458758345944968978414015412694829762703462406910339466928137764065346357427168613045405932917306934424557130775054946667244770454687618641795272742514116821457907915786622104657444278598988082271481078947454373069534492821023963530510902927823810366848336376080618135330470653297445741741122882282657417701394193345147929020550940080869662822183231098570729678977550553705600002496756987082353369966307953658570647575917240982117522239202929664868162143605795242651629685523720947007355896027139891914125267081730669922180529000121551917089695203884344740840591273564581467777859223029687242981247351568476770153266415283940262268247088450846982974696299440491055767571759618603634813132214451666532129741613660505175684383092597117610392414614535043593223793959036038820450653212868138953252148513737038408987049984*t^89 + 449017004196378383187220353253126067984600612106006438473542797881651679087866693484827807103723398635407235546143401082517554462030109786965441841262664873960902741067791603511196683990268673248707575498205555141313287512395044378753012019313968345407407451975500796893320116132506328857577085914573491611951181260617250074208425252968278391034906039546922770282664645845725215701475602614580906189861601082060497300974135375754968840256805624749145181951878932353622930611987055927285634333183709062781512372140126742246856516547348619716171389193643544469854393401142049276816809318407147515167808593760685312643785830680386592348544662220950741187970293819648864239675837733979926586594307675843658166096357370867392090734748187269662068557879354536826130081610696355420990990824029736565656459565666542080650602559054905716411954388299696124100448714479053966448096214338893466345359746205199991101916655581369346489803033532878084002885417049912781796271345540673538466941387758066371311355187767116556877794883420557129727383786938738346856566384640576859761876796839449417273492064892568804661559674477867406827836824253180568011006823435040422820230576523310871210043940954115855635472617034332723012178828811420070924214478624643652098908496711083686213695819680692685595656705532893382076922735734595138108739409254521863248840831124181056635314218865269033744913250844200702397144123005769403681477325370516302423056063089911258969215680617757281046570724205898315040029839769636236862775597044692310165382856046930760095957311494869956836362502345367781094182767680402449649065691707586812232049145391657022412129361800230638251957799829263847541834510972888106743092787018704994582915934775350941570312231675658114001661840649685072770436404489540064757769297982298125484773059824001589666281326029956655648818665801432552120976832856932775048099867607381923841319146462573747483499076294702012263717456048069725634502163238955458079656899149936402681587572654394202496167366903814754250158713541899307831533882428172730951847502797557462670174404529948043166602415943560944031865349353252850415526695633458524355805407968237144391013877749723141511742112554166879880663030209413032733599475316806492449700657092398798684936088873452764711803446786542282189248653156261118116500648697004166191112476921959195625979377962970425/13779715346781910820525885442658324154826551419861343199060743777796627798085556978328687763369622323984413373845190684605433550904694323831047349001721544482994090478037965658045101391469361655723855595789611085111339935635686665820183615868326208278407171845242051929933807457171114614589897142981938044425496935225077898648563531818787315933268667897929420944623538350251290304828935628561226778062400944992429186777063623239050848354275137232508540069769368047893069406991228528813190320758317183147787103404932595590902240095088732217109637336447210788342195098632642775031089441575390692225946465823185055358239301209461745013784829414187626605256349029717381715520881500887043790882011311233789974130398994795256349353931710175630113569519349074218953591827435066997459623574202184596406933519812477097544375510453328239657073860634045556638351930596747757362717305394436133390768058729230988925960994971296135909192849697667607323077620601510817540940646950026282219198128041217416569495784814641388825021655057517195439096313593109891793724755633035283146694143910799166129041988189847539756132613726726335878974035940181724135196264937295356613060624027714238100514131799698221664723103259689078998941381835446274592402290625828035533033454750551223760153188484788660031158053509816264359425152851015939179421187224782859371316639106360266916161661752805140293618281812850210716486138116952238983303555787442327522144065911118481197453681771428694685462010950961648772103746917516691889937956828030825389659525406924813820678933856275528130692714854337226090811865834613868849114261550109893334489540909375237283590545485028233642915815831573244209314888557197976164542962157894908746139068985642047927061021805855647620733696672752161236270660941306594891483482245764565314835402788386690295858041101880161739325644366462197141459357955101107411200004993513974164706739932615907317141295151834481964235044478405859329736324287211590485303259371047441894014711792054279783828250534163461339844361058000243103834179390407768689481681182547129162935555718446059374485962494703136953540306532830567880524536494176901693965949392598880982111535143519237207269626264428903333064259483227321010351368766185194235220784829229070087186447587918072077640901306425736277906504297027474076817974099968*t^87 - 76973421008852277174656770061966093327263230631625081245296733980133052872185034542922701029027149411781566468390613490149157890130524015010356674861365464424868964232242969475931510993590394887778198362135235083148589424410759214720635805763323738693362746953992032575655057666379181155946378179805957406930177215699510712472633172418906661450855591166633999285216383675668166618189424291300704851885029101511739899992663750856797191493483546190017633792057840568741721605226300853543783077988146939316343260286941160071375172671299708446245002284459270291822157543197611912348643467711236267571394751234941810406213923369658742479604031064387900673917201655594227385105158185101194003485671728697250584565088985511906456802182465250921566613901176057741978508988728333183507917836364510316554136273111672762286060909404676970766653130745020226753976143621663801702908862684995486782582758308545412415631114667843642964454753199976652960943077186228053152574735536137971585427936955008053714452409764715496455264862886279136481458586555506153583295155687230382284974576261745834067758910397122396458142398245591100378545087019176162692003379784021596647139862011801396548905405435896480966208965895921069471676052290608614241837061588734537393362155283735626660525135646640069014673509802477260171550738076424521481187201705130521735640828515574385755009683488646104677159721293805491661700050073296271372146805478612992102453599618602518108688301440638317406353022113821070304116240072401449174594950028654010391186375674029710678190146939662882263112345667171053578341763397811827784330128558480642585631388274177739780437832449645372856564010812015542612904163413039207786853895019112891974553284711782668238179829062479424453582197532868979948463247481283287669251146009423566507427730981958216785334164626445520624551189726664929828044360302454707004231780940075394738149991126268106903352446442210846896449086866989224622964894391297724405149649319590867220090093507075594894516372051982659786466990080948994466612895301702639901803032932495237217017119662584176533789854924229390028133909164866645881474361174602346372619956652748371456668203991651841578719862435491536666674668698599518772091368782634163181302202874789618176482577408020193783743752090178569073784850047275102765352609796835889445703272228218543358418882531464792425/27559430693563821641051770885316648309653102839722686398121487555593255596171113956657375526739244647968826747690381369210867101809388647662094698003443088965988180956075931316090202782938723311447711191579222170222679871271373331640367231736652416556814343690484103859867614914342229229179794285963876088850993870450155797297127063637574631866537335795858841889247076700502580609657871257122453556124801889984858373554127246478101696708550274465017080139538736095786138813982457057626380641516634366295574206809865191181804480190177464434219274672894421576684390197265285550062178883150781384451892931646370110716478602418923490027569658828375253210512698059434763431041763001774087581764022622467579948260797989590512698707863420351260227139038698148437907183654870133994919247148404369192813867039624954195088751020906656479314147721268091113276703861193495514725434610788872266781536117458461977851921989942592271818385699395335214646155241203021635081881293900052564438396256082434833138991569629282777650043310115034390878192627186219783587449511266070566293388287821598332258083976379695079512265227453452671757948071880363448270392529874590713226121248055428476201028263599396443329446206519378157997882763670892549184804581251656071066066909501102447520306376969577320062316107019632528718850305702031878358842374449565718742633278212720533832323323505610280587236563625700421432972276233904477966607111574884655044288131822236962394907363542857389370924021901923297544207493835033383779875913656061650779319050813849627641357867712551056261385429708674452181623731669227737698228523100219786668979081818750474567181090970056467285831631663146488418629777114395952329085924315789817492278137971284095854122043611711295241467393345504322472541321882613189782966964491529130629670805576773380591716082203760323478651288732924394282918715910202214822400009987027948329413479865231814634282590303668963928470088956811718659472648574423180970606518742094883788029423584108559567656501068326922679688722116000486207668358780815537378963362365094258325871111436892118748971924989406273907080613065661135761049072988353803387931898785197761964223070287038474414539252528857806666128518966454642020702737532370388470441569658458140174372895175836144155281802612851472555813008594054948153635948199936*t^85 + 71408624892385031131413989689265571491187006390109967285160924467552101846101237767586722307233278917372918380156726739605398752293271752105443430303016377228785072769352690336242139421520588002091745252203030095983894433910572231318309648213669290114747887109953991510784222682697646591828241074651674139710770833499189635858888859206597724332544999187921771786901861745408510708257565528531214031267638861928871473574473457192037553736032085338616759036300069494287315062714700096061994858093222694293812440456574210553621676084683369633232452943184053523252243093635584183686784396088600796237248734484762234120017955761144755692546757105085168367370619568807174445671112935325030652439694018890577633675709840673357227149436162661314240417493538568775024073828067959320096621448432273140543872112419891797965626656567549617997931428293718218363135688240366796038535609290345984053830287520825253242123910160653953536957260653906270657074113211530463701214530359904342046067639313231901500040697154331953541108267751274690089912960871876496047904540399099168545179254870982246207027633624537363205735234667510013059138293662322269412167632859713377216025488408478433699809690611253678626865019328297498552202721256443773564028967787285577822952736400894810229198679940415169552836335749131495358330361997694326549930081601345752969136677024086150565135939332546405237735227122069948981286767878449379693015814413045393186765597725492839261668373596896717758057195926622142039290994666976242234747084133932939733957703563379225650365455708298527483332281928991370414763821194533889875674569427628068934287278542089378441860323838526197698467073258991501734228226259044385315724722590880597910631718373223932966578007681434708003753022912731657417926853189959478869417595184745533754195929743344957180738746311391985957313982083506827940065463653902043602810024400173671522772758374427793461682954836610966364862563207119654656869596335224837722128005286809393735452975760618454380089627779148778183671086706019512225622817539331957050054964320624759466682391069425572526290743048519313152598391558054552049680183492171035660320739054233480862609019122841630039142707918996205977926582331858768415920788430683661674980010704559345216769573000574950834502963102713832122009910865947137662112341466892550765914749358049079035490166641807410225/332041333657395441458455070907429497706663889635213089133993825971003079471941132007920187069147525879142490936028691195311651829028778887495116843414976975493833505494890738748074732324562931463225436043123158677381685196040642549883942551044005018756799321572097636865874878486050954568431256457396097456036070728315130087917193537802103998392016093926010143243940683138585308550094834423162091037648215541986245464507557186483152972392171981506229881199261880672122154385330807923209405319477522485488845865179098688937403375785270655833967164733667729839570966232111874097134685339166040776528830501763495309837091595408716747320116371426207870006177085053430884711346542190049247973060513523705782509166240838439912032624860486159761772759502387330577194983793616072227942736727763484250769482405119930061310253263935620232700574955037242328634986279439704996691983262516533334717302619981469612673758914970991226727538546931749574050063147024357049179292697590994752269834410631744977578211682280515393374015784518486637086658158870117874547584473085187545703473347248172677808240679273434692918858162089791225999374360004378894824006384031213412362906603077451520494316428908390883487303693004556120456418839408343966081982906646458687542974813266294548437426228549124338100194060477500346010244647012432269383643065657418298104015400153259443762931608501328681773934501514462908830991279926559975501290500902224759569736527978758583071173054733221558685831589179798765592861371506426310600914622362188563606253624263248525799492382078928388691390719381619905802695562279852261424440037352045622517820262876511741773266156265740569708814839315017932754575627884288582278143666455299005931061903268483082579783657972425243873101124644630391235437613043532407023698367367820850959889223816546754117061231370606306971702273890655352806249589279544756896385662494312630474861203195564031738344461489987517210482999479659260957501790053291336995259261952950407084691850410946500815138567088276176863719543566270918164679021455608884083895932109569377420133872733639984927372590233810529000971241754953442904205698654865101059420467291539300773771931169138245958304247335636224893114686342827012297623343763498656270380357330820965956299941877543905485322923046403283804976007157288531971517448192*t^83 - 965658379825744684004565622990154663895802459702727616402820920544807976954265805162722436514687262139719170957889624329268201794951728726955255980423558898840541447164227294974862919790298264567472294182647595720562971677538171506233816214835549050574481677962843424944696738384948512488428091147974172500377066082362259945019952039276777000958632631248607609205292799272612414604593598199860706273896164367714640307696644361576459262927107029737338885435006517716937141485201920178175252320961867244196478223921092661492137613165290037090860896639317745399865169300141046358949630976389268410125425899251047482226111338937260376685724572550328645954950694206952723997505363595825956545318292890464648425810522841692425067361691750633944250861034915745682995769017353337078247166365397267157058425010720032392101006889712392314597488235280406445711010376386318764504400675699067199994116131734317637640706373297420916682622534191708976563872027762611299850606398276756013111944741680543111076930793803098767940471047426176788368204018608343717304965040538372300009857834307458624581536615582880083799607163543137245577846076240833367287272873564510108907271902418403438110679314809932827184054602518538672242431141515945652928372251710508315336410330410264311862355312691751844254729086371163861195677385296742064248011115567731710497183625280878529275519056169909246898623869277322449848902277009518623597042219449323556884759005455497119949587607294629997560372001576898291801995736442762861883951255590871688368827320989989551957719348665191754963153303237404325777774441744000458010051541778805103502541490809460757232778752006329692456867836348495461238830484854849610061941511193163731089495403436784970133208159333431149663108596924020595335355826183516831622947019776492808424005640318137258665000190569528693795213811571105948654585976981643234266044893230164286104933248025314681717925569815900534686017151793739964414004942458393488442120052095052782942921857515446225718446358568091174565297519546692721727865423883231961694313196106173834977653692556457398298191716160664925249027510653547511496205491119907477776319098009189852697947431814631441993304454873825306752889924757163757074254420061652979614565914790360833478078582674901727125072973298426022272021457619994719042206189068035138883017643411122972592332928428975708025/64788552908760086138235135786815511747641734562968407635901234335805478921354367221057597476906834317881461646054378769816907673956834904877095969446824775706113854730710388048404825819426913456239109471828909010220816623617686351196866839228098540245229135916506855973829244582644088696279269552662653162153379654305391236666769470790654438710637286619709296242720133295333718741481918911836505568321603032582682041855133109557688384857009167123166806087660854765292127684942596667943298598922443411802701632230068036865834805031272323089554568728520532651623603167241341287245792261300690883225137658880682011675530067396822779964900755400235681952424797083596270187579813110253511799621563614381616099349510407500470640512167899738490102001854124357185794143179242160434720533995661167658686728274169742450987366490524023460039136576592632649489753420378479023744777221954445528725327340484189192716831007799217800337080692084243819326841589663289180327666867822633122394114031342779507820138864835222515780295762832875441382762567584413243814162824016621960137263092145984912743071352053353110813435738944349507512073045854512955087611001762187982900079337185844199120842230030905538241425110830157291796374407689432968991606420809065109764482890393423326524375849472999870848818353263902506538584321368279467196808403055106009386149346371367696343986655317332425711987219807700079771900737546645848878300585541897514062387615215367528404131327752823718767967139352155856701046121269546597190422365338963622167073877905024102595022903820278709988564042806169737717599134103385807107207812166252804393721026902733998394783640246973769699280944256588864927722073733519723371345105649814440181670615271899138064348030823887852463044121881879100728865875715811201370477730218111385553149116842253025193572923194264645262771175393298605425609675956984342809050860974500025458509503062549079363579407119997564333752780386274977747805227327471480389318880381063494065305726909452975768807525285517302802676984110491886471156882235240757870028474557964756569782219069978533644365383460255712975799266683893354713015746078998068499399115569080839175370132911051365065034975089880239003534572944941856058072847563609493906415679479184578723180476463911005948355692301737226108288001396544103799320477696*t^81 + 1527388656673249646677916886868077558854178895463788461156382416687933651144893570287416223370427979436466578833052591418578536962858175368350200465464583145803755730248939338045919832325795263347303689626307460285353502561512592521775240748185773530820286731791596360609590797333915327410808649661771804013621241127149746255004948554377393437857106119282519546727020550281398236786914889521722424761947637456759536572258294461395668818216965265139332880616505481863208710997796776068830544753030234788054640880777373059329302508721574314890954056255047531483389737161635219463451097728586668052867255901156461759427348380267116906325451340364284237289424546959040332123807491212981923112398382788802518827061834702088384227995609493089995839050031637262676673232972007246995053256697658736501742058258969500859286163826615467570768827825725132403812694205707442121066446520575321722053006591512396526622154053496592653867036363387291750769393725136417618695785897863891657234824983891585089330680649340709890922650593480473336559439919801710644295647719658193256193410911019117915066117614911580459268204333047581176750581924662624299791146182671014636546190921081960237121698499672570616820376206947755517148859299108356227212755027458080203752116873577554514769099404521567307201051312182449573736086832966125438847306758973930971824135236815403742085360747972363222045681242679078854456632632452095087512773352565097743358995619842633754592301297679359025832570297385363438147177841062257056631680367751876823309994443983557585827212546445616868183145809820870093160981143096222705402488087038953336648261288479093414179047401956455393519252937783881866683650944785773885353399201953567481522403157300347410609120954669669463810084872218990986847036876680282049713407825622390629824279182984474089332146358661704747292360145097483851114725613268617490990817353839428581683854968777017515114800370989706004348791492419021017088879686350766054102243437979100588884661652461257534871220669922655823804054462857928194428332710867791367171191804660332041120670596821242707408064538377107281489933351467650488266287591043894458562963752335131023401576001545787943386750712532510837035567806509199842022228448202892403322474048954868994532741249427033028003916215751250557937068172901811448472883749399518646261680047372075818017297461153286590675/1640216529335698383246459133843430677155486950961225509769651502172290605603908030912850569035616058680543332811503259995364751239413541895622682770805690524205414043815452861984932299225997809018711632198200228106856117053612312688528274410837937727727319896620426733514664419813774397374158722852219067396288092514060537637133404323814036423054108522017956866904307172033765031429921997768012799198015266647662836502661597710321224933088839674004222938928122905450433612277027763745399964529682111691207636258989064224451514051424615774419103005785329940547432991575730159170779550919004832486712345794447645865203292845489184302908879883550270429175311318572057473103286407854519286066368699098268762008848364746847357987649820246544053215236813274865463142865297269884423304658118004244523714639852398543062971303557570214178205989280826143025057048617176684145437398024163177942413350392004789689033696399980197476888118786942881501945356700336434945004224501838813225167443831462772349876933286967658627349259818553808642601583989478816299092729721939796459171217522683162347925857014008939514264195922641759683849950527962353293357240550941467921520995878122637952426385570402671854213293945067273210034795131378049847888770147064939487708427604896793076566477201848097996172616538326645735154033452361505498653377292534329351548084718262473325164219121957782929417397969815191892959512342953059465273432545364494026895888992794114643142565259565157437163725046890021688634079019482192333934743426302876510558832352025926647975263387855157214900355514080246524496180610212298914106526890284881123891671567157822744171737727771487840488125171052882656398027183127081604337850775944669371687863677769598432008810906933869682608711946376686094401667739640789908113360258686364191218964983348177853001846156816826462348637351729078618369865214100869438203819265177215834392645647153141249710871066329052261613994440158860196146967780442315959223262794457303647222929795176024703007785450266260830447518585075743961295110942664322984051353786277588773918537191645026168211781859753309189260740928706160878810525217189824518972129508077995928490383111672186457342657597212157949456571466960553317925894875028088453326979227321128575270391809212936859452042843081955091349063326494787437957480448*t^79 - 172263870611842451585556560983079237603576737062282361616155709528202645418858578682700992259059382139254401395090391542158139470185455975272302872029278351084033808292801776180021763902388519087899122049540878951213837553060096713595571671012177182076453257552532142751943210146635604120423233908137759863554495492816260339786632124959673644636749420361360068828714474293465643531488655169606198466349429019809489953510014448649004723377074359201924107413384750218379802798064044771149354785147566294823006596864693321740945838935151230175223199777432184516360386383017593731994883184931644275116673190381086476431426024686458865924478361900379977097276263463366051775763556277561564481575191521335971344988118606283219230430481953762902657846986557866738305576924055607399577418514814158820115310319936333821718918348145363554225955609424197164494285558967549280174294774681052886522127136957403885739871333516104323935555162421268967104101280239373606372655317966604999499327285161622129295729521749373555473472862275974731850460300226550711678984136997293086941323113664181042665035688831682411850476840414076184709957851690989509243293843535676970759369697959595417032863717864385226541644715715588285619263492118607628849903215277882556681776576145190590538149374915765127506781205587867958398154840658129310468933080735671218629976894162806647906547347914460730744442920128945460923519807733212323119311030170115866134469248593564227159888004388604928195974278183231700358600486129530553743360292150092991471612576636924129997950408277981825009281132431781475748373872440632237186028835870619132441591419379845723760817186979234946009531940847235871901910752783432712091437338050538143548675020052049018175590169976093283434184108051690233859009170364020656576346529373994999680554036978962230263393759555883533626486520283302149581290305777882734359203898911594432256392742272156305690090895166192277488077765260668703288436753125645422240901631188438183432282066399101989742219727972246331344632505028553465924849966804385043397881595845412559116455392278539619807139615814801528667699691713060765150874745533004991083771397434802334539103414092088301405202501047245803263073002940488731197201504951073805963091430406817624623974183861272774035366652616621912271961631033732622689423410052856727939474037147197072982384158052653657002875/3280433058671396766492918267686861354310973901922451019539303004344581211207816061825701138071232117361086665623006519990729502478827083791245365541611381048410828087630905723969864598451995618037423264396400456213712234107224625377056548821675875455454639793240853467029328839627548794748317445704438134792576185028121075274266808647628072846108217044035913733808614344067530062859843995536025598396030533295325673005323195420642449866177679348008445877856245810900867224554055527490799929059364223382415272517978128448903028102849231548838206011570659881094865983151460318341559101838009664973424691588895291730406585690978368605817759767100540858350622637144114946206572815709038572132737398196537524017696729493694715975299640493088106430473626549730926285730594539768846609316236008489047429279704797086125942607115140428356411978561652286050114097234353368290874796048326355884826700784009579378067392799960394953776237573885763003890713400672869890008449003677626450334887662925544699753866573935317254698519637107617285203167978957632598185459443879592918342435045366324695851714028017879028528391845283519367699901055924706586714481101882935843041991756245275904852771140805343708426587890134546420069590262756099695777540294129878975416855209793586153132954403696195992345233076653291470308066904723010997306754585068658703096169436524946650328438243915565858834795939630383785919024685906118930546865090728988053791777985588229286285130519130314874327450093780043377268158038964384667869486852605753021117664704051853295950526775710314429800711028160493048992361220424597828213053780569762247783343134315645488343475455542975680976250342105765312796054366254163208675701551889338743375727355539196864017621813867739365217423892753372188803335479281579816226720517372728382437929966696355706003692313633652924697274703458157236739730428201738876407638530354431668785291294306282499421742132658104523227988880317720392293935560884631918446525588914607294445859590352049406015570900532521660895037170151487922590221885328645968102707572555177547837074383290052336423563719506618378521481857412321757621050434379649037944259016155991856980766223344372914685315194424315898913142933921106635851789750056176906653958454642257150540783618425873718904085686163910182698126652989574875914960896*t^77 + 923812269091812339366511011516738142541898641508691899118481148769652415395725495350406249044288607248999556631086903091673638880247714665983572982555547532353692971213031361545278528021445980151901163088372893529031652658866620944046989795068200399320002274205822080923445806137635030069050054123527204439389590636824980180748495217896659012992118470601997939624546169451678892676456882152224150004586903616272476181243719953110850343502442675443652749753163594066213251871280011004625575412176198654416763751284756019997829232412652437264986214432725883975606832553118337887762541245118170451533185287947490026351989393687977333559847599970099178409829056095681441802296849261694965391764974140845205821265996001141416037596470653988776724262773796919108740221210121743012043876418746628822409617708388549441640594516656817170352174083976275193965220829396780202176893228108501806968542298671538289510691891117119384305383445145683630095842786421546583532789623475590950788474770696563543953762462230990067581863021468056936742496672071265548418772653571571984830624935168290366323076035881867291206957437125885604835053776780487595067882180421961062332449300564374606441561226878349725320707572235157212810270279151336972334721623278816126168472685775065604062409876808325189826134616428889956718203150020879302375098406234608453990281020508004296700684536015148516777064462973037403195588110447668750146377874801531556182619809635680470526544532931710914299321484396570246273089053761960450553658968462313135848551024103451535082333786435203993910072779049287458438644137768159587123315797822946878276220040909093480932726362929254946398011465881435970933061455237939985463887562199500118805804437513950147714174026854806215599267742791728399040178838885810528039697122120999490255803200837126743112374580892108619193494245202228043147075452792174331403230688976168699996463961735766430715299994012545955463959245218282156443438336680531396302025737944987449225056396301841746585707798827864075860164593885783870211728722401154016160886121010923658628507223882407046331059081428923868039571434518546523200974075799492546733556804083050144896005232943460840193903229675571110632676483792039392936243028896590772334184632335324599318912880252394878698252392818523325440764236409210171604223649980776632130028253026387907688504805382980761937875/345308743018041764893991396598616984664313042307626423109400316246798022232401690718494856639077064985377543749790159999024158155666008820131091109643303268253771377645358497259985747205473222951307712041726363811969708853392065829163847244386934258468909451920089838634666193645005136289296573232046119451850124739802218449922821962908218194327180741477464603558801509901845269774720420582739536673266371925823755053191915307436047354334492562948257460826973243252722865742532160788505255690459391934991081317681908257779266116089392794614548001217964198009985892963311612457006221246106280523518388588304767550569114283260880905875553659694793774563223435488854204863849770074635639171867094547003949896599655736178391155294698999272432255839329110497992240603220477870404906243814316683057624134705768114329046590222646360879622313532805503794748852340458249293776294320876458514192284293053639934533409768416883679344867113040606631988496147439249462106152526702908047403672385571109968395143849887928132073528382853433398442438734627119220861627309882062412457098425828034178510706739791355687213514931082475722915779058518390167022576958092940615057051763815292200510818014821615127202798725277320675796798975026957862713425294118934628991247916820377489803468884599599578141603481752978049506112305760316947084921535270385126641702045949994384245098762517427985140504835750566714307265756411170413741775272708314531978081893219813609082645317803191039402889483555794039712437688312040491354682826590079265380806810952826662731634397443190992610601160858999268314985391623641876654005661112606552398246645717436367194050047951892176944868457063764769768005722763596127229021215988351446671129195319915459370275980407130459496570936079302335663508997819113664865970580776076671835571575441721653263546559329858202599713126679806024919971624021235671200804055826782280924767504663819210465446540279800476129261987401865304451993216935224412468055325148906030994301009510742042738481147424475964304740754752788202377918093192489049273969218163702899772323619293689719623533023105959829318050721832875974486426361513647267152027264858525458629554339299407675230033178360454305148751887781169119563346289479597569121469311014974436899029854571144601989903756438306335020855437156797355359469568*t^75 - 85097272850496284282783113582099962702915841516162759504203078036623281043556467953296717990518493229373084024299600784134313306198131246828649479649562479129083794711789456808115455805864815774888564070787339773009275918516416692353539998062953988711051859930852184859584686730791172090016268607470498651259176097042534001462300156827029403708143922239025189206523119784249937246807006911177295998769638011347843187672782887756557401088114452183344964038473431371516327213338161739508998863293703209128695773240941850547835186732250171765583597278848035759365053714849189831436021906924382201581989394442563362688708028558571720877207054147120280600052060289090173028760983564298883319327340829157095117687870904354788192422645357699173914197205081286236786770326150852788460247491189841781119656961232572049933712235576313050454916749215620378694864176065525049604384791008164709437864004227714238549538224424413132584756955913817440044566292450907817505794578019483691714422275727222904591681760309144382476173266683233176359730151275844996349721915124505481442818952048385689076575212446734123755164144562788251439038799504530830720548883481897251144039499943891614993220636325758177038321196138501581099654663324107441768572599111156840258994115080031410612310808127669877259153719419151268083313269533838743917612217347051470733382760584891926752844157452933815542256576639325621670544727110563764961469117925132783888693804330719659341322323421863952228462185872840565880155355234487413566945547868999970316807707219948743924203999435911685910037142392733797905786062424907610149961351589642182826935257976328706103962959527171873813164706675807643265553422531580474048877497711034134654864972156465336167812826777629801628168638890197178571528776488668296610173385077280668723789652019857616919022962795174606725234560259890849768439900645109042205877496575334519668175139088150406471132690572549562446248434908902391033910112032995834866936379400764013554071886714739166678816007198856418165746167934908324076548775880565801790357774365897583940674059136391837165595872157940856271692572685135124763390268542561129321709856665623999510698585711155794071720789007788893357915308359624223283933381538970697579314137907941481310351472168989089913045921846894346795921711410239973996787034525764128887384560866313028675740563420753742614670625/690617486036083529787982793197233969328626084615252846218800632493596044464803381436989713278154129970755087499580319998048316311332017640262182219286606536507542755290716994519971494410946445902615424083452727623939417706784131658327694488773868516937818903840179677269332387290010272578593146464092238903700249479604436899845643925816436388654361482954929207117603019803690539549440841165479073346532743851647510106383830614872094708668985125896514921653946486505445731485064321577010511380918783869982162635363816515558532232178785589229096002435928396019971785926623224914012442492212561047036777176609535101138228566521761811751107319389587549126446870977708409727699540149271278343734189094007899793199311472356782310589397998544864511678658220995984481206440955740809812487628633366115248269411536228658093180445292721759244627065611007589497704680916498587552588641752917028384568586107279869066819536833767358689734226081213263976992294878498924212305053405816094807344771142219936790287699775856264147056765706866796884877469254238441723254619764124824914196851656068357021413479582711374427029862164951445831558117036780334045153916185881230114103527630584401021636029643230254405597450554641351593597950053915725426850588237869257982495833640754979606937769199199156283206963505956099012224611520633894169843070540770253283404091899988768490197525034855970281009671501133428614531512822340827483550545416629063956163786439627218165290635606382078805778967111588079424875376624080982709365653180158530761613621905653325463268794886381985221202321717998536629970783247283753308011322225213104796493291434872734388100095903784353889736914127529539536011445527192254458042431976702893342258390639830918740551960814260918993141872158604671327017995638227329731941161552153343671143150883443306527093118659716405199426253359612049839943248042471342401608111653564561849535009327638420930893080559600952258523974803730608903986433870448824936110650297812061988602019021484085476962294848951928609481509505576404755836186384978098547938436327405799544647238587379439247066046211919658636101443665751948972852723027294534304054529717050917259108678598815350460066356720908610297503775562338239126692578959195138242938622029948873798059709142289203979807512876612670041710874313594710718939136*t^73 + 7089553180041610094735788915780644082357507317954817754769617918206914246919621249762958040211529850440309655420387487219923811121376472294688726369645117486263597114579989436839328691820880919142282857809013855655219078666339638661421884129209032396139932573658456442462959456151496378331313438165766525244914074571688135868932341152520060470854001620855099819433406336140954998609007431062386121390431938953227915933679344567388572775334469615996150595044715208962525424450010393848999456813354878589039724371114382423936053926941005910137690234358696361891206936488581747134135201395089057228251298542145514600390003297804622442508552601035253007552094039508201326828824716519795834765291211101403788249466139383975727435452958677323980391430067968097131689397495307943317604220290309894172405172643065118376601703226655688113826487896295377142202380270156006553040828330883347656521484216549529783720358261627649365329527684049644302928864888208485495120403131801904253792081155405904753096534408531632986616959553409888269397140845382369001557351381238610141831219853327193342923439945250384228579176273292681958819472325763873423346946760279510270325231941785582383392665408929791497849145152080941258228777188736082814425560593576261475666873282995154933359956147115458222464528002705686191787875654721653828341846558337285267623502730658511881987763510045287584091989902303248305592645750789576320161997968211432338315776168404087458735699122385790868608618679543094294626197948021698243335459174113210212531094696177548360251745061870804363388543743045608609453868057582803647080826645969112279607434709430874947937520111687720775328875855347242321083501607381595331118201400845156418213919002692535873587626922423929043341856089386061990908093521883819318857485178017685901307242408277966580498388438581302270791625225020755903394294859301068336566852127605563118119459357683487224955409047879795780714919397200557453562839118141917751421291747667274207706062029935119041564743542949333071992903028528968425185995590292685427594827013829678443005973617085252085483763590849640976112431313589471232831223875316317254854364652420236707204529619023315907990986480227262413250871537281630121496514207276009866062654462253415655568317579617215445589701666121334127340171649335798065404336079601074231947204670909362246789246800328974676131739375/1381234972072167059575965586394467938657252169230505692437601264987192088929606762873979426556308259941510174999160639996096632622664035280524364438573213073015085510581433989039942988821892891805230848166905455247878835413568263316655388977547737033875637807680359354538664774580020545157186292928184477807400498959208873799691287851632872777308722965909858414235206039607381079098881682330958146693065487703295020212767661229744189417337970251793029843307892973010891462970128643154021022761837567739964325270727633031117064464357571178458192004871856792039943571853246449828024884984425122094073554353219070202276457133043523623502214638779175098252893741955416819455399080298542556687468378188015799586398622944713564621178795997089729023357316441991968962412881911481619624975257266732230496538823072457316186360890585443518489254131222015178995409361832997175105177283505834056769137172214559738133639073667534717379468452162426527953984589756997848424610106811632189614689542284439873580575399551712528294113531413733593769754938508476883446509239528249649828393703312136714042826959165422748854059724329902891663116234073560668090307832371762460228207055261168802043272059286460508811194901109282703187195900107831450853701176475738515964991667281509959213875538398398312566413927011912198024449223041267788339686141081540506566808183799977536980395050069711940562019343002266857229063025644681654967101090833258127912327572879254436330581271212764157611557934223176158849750753248161965418731306360317061523227243811306650926537589772763970442404643435997073259941566494567506616022644450426209592986582869745468776200191807568707779473828255059079072022891054384508916084863953405786684516781279661837481103921628521837986283744317209342654035991276454659463882323104306687342286301766886613054186237319432810398852506719224099679886496084942684803216223307129123699070018655276841861786161119201904517047949607461217807972867740897649872221300595624123977204038042968170953924589697903857218963019011152809511672372769956197095876872654811599089294477174758878494132092423839317272202887331503897945705446054589068608109059434101834518217357197630700920132713441817220595007551124676478253385157918390276485877244059897747596119418284578407959615025753225340083421748627189421437878272*t^71 - 7525174450047949978332053718274846478477469088630276310967194793560517804381434444856594957497428500506132491616416245204786331760837326766922105573630641346373224307831168321686665447187728434041109595347335731641047399960943451536164904717666369623976459117984372890387736530174046602002006450591675358909210300025842908754091775231092538557342058128058685402445496917046642456999294298834926126774379401608230084124409200773353883881969719077738508769176779259930882776073750586667446038143716464659294496732295644051885387280402947633551019154342421771883241264855204379275318643845312783457268105275066404305851330194419299635859679683402646195853776717653877481863297158156237528767911760499507645903912009200326763753596414284951754136869453806042193314298967301268662680373574805225673178359398049766204536590504924406882628610019941421503164520266068607120786729517452914129827479709991032114684645207645426650168517079806631365011566580491637933166446255410434883197658222013254345856132723554088670316763644800141223886184325403819936890429908970120564180597739357927240846710187310741100240152206987902282474165185650268824350590468460221084851423538027912693629604752447893026624459108321530429665098908790588875237781335495330164701351118899309353212178268440072013707787148751405001529070992179066111592119736197040473167777780285060874359524896725506628793498013620935520284760299410881257079659424159728765448328687234142432230505209976462491054157324118574504142067621927039838474486980320893809001815761268748300618075226866722469451582809621913206935755163012512161947249187978495923577683806121537617472585167015508144527884475815907823505708413185520325038826814002674242548675754313801146347574252499965619349417943365893315620726359020950611070116286967315138629623565989037121572188366267937554242250788021641086968516087184052700069634734341597973952709929216553270996711563240178836811079518843180682799334789084763865055893116078578616578413523477293325300835410465731892186007497966074179105462402636234555420438468004182450531259600798206697183252534246302401756754108331188644815530359681893782587536874996434791488788230352632699748746908778185406783593449442150864598562096445565281750275864131307922119253436667526353655833693035339955224465127393902186929681894453655869724352014466350393097701806370016742168880625/38908027382314565058477903842097688412880342795225512463031021548934988420552303179548716241022767885676342957722834929467510778103212261423221533480935579521551704523420675747604027854137827938175516849771984654869826349677979248356489830353457381235933459371277728296863796467042832257948909659948858529785929548146728839427923601454447120487569661011545307443245240552320593777433286826224173146283534864881549865148384823373075758234872401458958587135433604873546238393524750511380873880615142753238431697766975578341325759559368202210089915630193149071547706249387223938817602393927468228002071953611804794430322736142071087985977877148709157697264612449448361111419692402775846667252630371493402805250665435062353932990951999918020535869220181464562505983461462295256890844373444133302267508135861195980737643968748885732915190257217521554337898855262901328876202177000164339627299638653931260229116593624437597672661083159504972618422101119915432349989017093285413791963085698153235875509166184555282487158127645457284331542392634041602350605894071218299995166019811609484902614843920152753488846752798025433567975105185170723044797403728782041133188931134117431043472452374266493205949152143923456427808335214305111291653554266922211717323708937507322794757057419673191903279265549631329521815471071585008122244680030465929762445300952112043295222395776611603959493502619782164992367972553371314224425382840373468391896551348711392572692430175007441059480505189385243911260584598539773673767079052403297507696542079191736645817960275289125927955060378478790796054692013931479059606271674659893227971453038584379402146484276269541064210530373381945889352757494489704476509432787419881315056810740272164436087434412071037689754471670907305426874253275393088998982600650825540488515107092024975015610879924491065081657817090682369005067225241829371402907499248088144329551268131134558925684117214625405761043604214294682191773883598335145066823135228045749971188846142055441435321819428109967808984873774962050972159785148449470340728925990276383072937872596472081084341749082361670909076137671309968956217054818439128693186170688284558718823024146412132420285428547656823115352325383793703612771412899109585253123302649574584439327307557312067829848310584597896903758359116258856941912064*t^69 + 512992540518501526971822530754702803474841329792011544898412878968288899524740529427489601475604691957427500709843842773548666779565922749033366830605688480291900899026354381356070643123105301438951334666586210732745980296228259042788064952154894684466310696301243880539922652496269979020611451260373637226120690549962884806852860236260424471851063245134857110417192305090991466867567950262759997484697016431089807360484843205513451411466123887631127293516445252760426172993772900201211194477531958377564752860502165429622134907782691050185053404716790911555826812372923796463496326371353667111464065848560286627696157416343159842061563565906851841355176074572926214259867024035005417514403664900980048075473330800015153201540603959990823659965649212356556542665393762752976523974213844317293509061890988684466362951881638512716153833420513206413477355300792067484109832529474993697450380453456009099590871718026852694111962741307649508735886017900494089940116082814461243996113204110163544395236930574760666077991266744211815173152346039992582595914905763128154268485132546175073680543594085021726686847290099072181587002453486124107894297253887504065399777912339706543406877630650602078205969850897307723420165648952027623530023555382830551739373657000733413844221391664650105746248373664289735930548328222463686380183237426096317382604456206998829055118025490053866314614572014053805942656629644258938316496249264434603975612303337117619376852139152258964991760069702810744285699180621875594920763673030300752532324483390524074520754902583850143226170122415486230393923147688346294723365933148983493838317363909040353817047717884279098694068362679533900502041820608992762324795637751703321955759641902935318736918556814332018796210535287420500457124876098435506138228498760421840976453787349125412901515429197016087696115791037223766465601652763385945540257413776829603845690756446815035028230646203686423822272354225358467171441754882552309627964360215904231559696890153819490159107532882265465519424628069578732775150651566876955230956745328188601767802287807971216676065403603618516967569132696940534285063822073745715280203861101264147364850909501246480880509301166624502313201125629943509287169618578502054092564654856823927116013845203164352254236220567602793384786142653055702699510435923363592709622673653289849087392104827751492838529590625/77816054764629130116955807684195376825760685590451024926062043097869976841104606359097432482045535771352685915445669858935021556206424522846443066961871159043103409046841351495208055708275655876351033699543969309739652699355958496712979660706914762471866918742555456593727592934085664515897819319897717059571859096293457678855847202908894240975139322023090614886490481104641187554866573652448346292567069729763099730296769646746151516469744802917917174270867209747092476787049501022761747761230285506476863395533951156682651519118736404420179831260386298143095412498774447877635204787854936456004143907223609588860645472284142175971955754297418315394529224898896722222839384805551693334505260742986805610501330870124707865981903999836041071738440362929125011966922924590513781688746888266604535016271722391961475287937497771465830380514435043108675797710525802657752404354000328679254599277307862520458233187248875195345322166319009945236844202239830864699978034186570827583926171396306471751018332369110564974316255290914568663084785268083204701211788142436599990332039623218969805229687840305506977693505596050867135950210370341446089594807457564082266377862268234862086944904748532986411898304287846912855616670428610222583307108533844423434647417875014645589514114839346383806558531099262659043630942143170016244489360060931859524890601904224086590444791553223207918987005239564329984735945106742628448850765680746936783793102697422785145384860350014882118961010378770487822521169197079547347534158104806595015393084158383473291635920550578251855910120756957581592109384027862958119212543349319786455942906077168758804292968552539082128421060746763891778705514988979408953018865574839762630113621480544328872174868824142075379508943341814610853748506550786177997965201301651080977030214184049950031221759848982130163315634181364738010134450483658742805814998496176288659102536262269117851368234429250811522087208428589364383547767196670290133646270456091499942377692284110882870643638856219935617969747549924101944319570296898940681457851980552766145875745192944162168683498164723341818152275342619937912434109636878257386372341376569117437646048292824264840570857095313646230704650767587407225542825798219170506246605299149168878654615114624135659696621169195793807516718232517713883824128*t^67 - 15812739737383330346246224617755679761370116924809770032490863965589486758342180988235599808281236117681049235616483587186450485972522783961129949465124328614148657846246042080706015715171910832509075474519257747765351761960627766080442807467620562013648314823997665648272319230545488139312208301257270313644236519837692388394173661729062679616716743549056615225527079074342477920717922499954842539839652166080321882397423640760769162905585947792446790621256100611137723059425195774516508627849282351309743683441495736634023474376649460195765546017629422643278061712513599141705948049855767232525401023117217815791546157420602972450109006538440824806336567270345115348774880791976123030476679528176796346309326213878462808184263011462277785558978208688935780136192748499177853927568915783858998253488480818088237096283894621064517364202466417572426067604729083312112069091240860394503374630007405147755155900482409388489891120796872498524569800178259914709187180281578218803154844994620487053058962650809536370401594767678062340445166369102361982389165779618193568042915158868996707018855653291397685389084575814029033153733589526881881008637531069256633876404261141856307128114613529428597023136087466904585675031102139178723459725400808124180127872686897028120598370280451655254650923860511473762206538937431326368639708298665015677596740304771474799811841504371296562699271963045236904215078382949704464005904218602480231562123452641182665972537650286315428014587301920310849142293639058675581858146451890980484208838726566441164892740488788416406540549293695416846828028702122809110380620043698203986992689439748898955122447424639086365763953055558766833712311715497753587483641400525217655749779070608296073740075103340646865027966972090423925942261113449079157497290695464744064311530436528623001551390622319281849825160482985845541699583424885978349330080109501095845319617632902821884860661357675177936208106732863761727850888036623779486801552864972888853410586551900123666452243418907634704253138816817609841521674858963143309905350829350765314683141445350008673374335117790083704037145943704858699033970589891193958916044187527247371726656460553267088554380948894398832923798344048239226236801081673413692741374175913369605579321220592955352052007731996366287077573748268508428970567757217168593065024128983889863654325145897827988891258359375/77816054764629130116955807684195376825760685590451024926062043097869976841104606359097432482045535771352685915445669858935021556206424522846443066961871159043103409046841351495208055708275655876351033699543969309739652699355958496712979660706914762471866918742555456593727592934085664515897819319897717059571859096293457678855847202908894240975139322023090614886490481104641187554866573652448346292567069729763099730296769646746151516469744802917917174270867209747092476787049501022761747761230285506476863395533951156682651519118736404420179831260386298143095412498774447877635204787854936456004143907223609588860645472284142175971955754297418315394529224898896722222839384805551693334505260742986805610501330870124707865981903999836041071738440362929125011966922924590513781688746888266604535016271722391961475287937497771465830380514435043108675797710525802657752404354000328679254599277307862520458233187248875195345322166319009945236844202239830864699978034186570827583926171396306471751018332369110564974316255290914568663084785268083204701211788142436599990332039623218969805229687840305506977693505596050867135950210370341446089594807457564082266377862268234862086944904748532986411898304287846912855616670428610222583307108533844423434647417875014645589514114839346383806558531099262659043630942143170016244489360060931859524890601904224086590444791553223207918987005239564329984735945106742628448850765680746936783793102697422785145384860350014882118961010378770487822521169197079547347534158104806595015393084158383473291635920550578251855910120756957581592109384027862958119212543349319786455942906077168758804292968552539082128421060746763891778705514988979408953018865574839762630113621480544328872174868824142075379508943341814610853748506550786177997965201301651080977030214184049950031221759848982130163315634181364738010134450483658742805814998496176288659102536262269117851368234429250811522087208428589364383547767196670290133646270456091499942377692284110882870643638856219935617969747549924101944319570296898940681457851980552766145875745192944162168683498164723341818152275342619937912434109636878257386372341376569117437646048292824264840570857095313646230704650767587407225542825798219170506246605299149168878654615114624135659696621169195793807516718232517713883824128*t^65 + 440593116899552103945133300109399463340203340409228328065489805767238857083341306739541808972160999181646637388239063028957270546225591476988664002418257908660620229558778152104212216800343301991423395513424212918345365930687951702974090342251436509761015837987221684625551601949371023474554425903254453860409849913618336284730307801312659491933247719632221050897382474420653415082045997918283829445396432141166911342335867280338491649742267926028893622592566004333268712401206530632422295051763971293239826399636830252935514428360727311181798144713926623179036953153710491826761050975742804408400376785900380242554885610395055893652937708508226290154817187683179416095717817831885261796324575556930997167834798552933031362192140532729095800976257379058203551264251269875257043955736735066733521488570219610674058536544999925702903097949364667114681933743107052342614933874727433399693951932088697906883667808758289309485353843961999592900221403404470659810743685185308358594994457166517160285821492543725912607166929910106360015277996228669969920893081714054492729690084717666571211160376377892184200981667285942490646143399505385467843701189958719243492052935777157829843717011659542023852003826760693071467009931949513720300622288334812064178529092506374732648026000977326108013557037610301633589975008951050417455478105339017118554710531864558124996730091651917835069406864382921660040216614729892406770579918733777856873518986990578729562148269517841378713675390725010860334515992325956929456269994904074169568000883754227278910238308633797437934119969987327524911992268715035740286376273389781508090506119525817387940975630609543607499402528029585425446968315226047902937950735373419226297955675706521526477287411364402125357170252520181510192862323810373622660267395895655191241774125570873248468611475808413383429738334725018454635121268631306549616439113877587334789334722371574180786450793941167918287948307986371386086172865410557044356857596840569167633584716738937910927128684227364959027866012021846994693374212306108713770804891864601065190218347221733915146766917895944991014142063104342782034223088509770402546685487340386054256200656503038032320401977064347011186875668700098103949059351778441876689853252855374572339314197179123623541571346266952203575890550423593070853396050994889744776541891589346663323776024183035291303535315540625/77816054764629130116955807684195376825760685590451024926062043097869976841104606359097432482045535771352685915445669858935021556206424522846443066961871159043103409046841351495208055708275655876351033699543969309739652699355958496712979660706914762471866918742555456593727592934085664515897819319897717059571859096293457678855847202908894240975139322023090614886490481104641187554866573652448346292567069729763099730296769646746151516469744802917917174270867209747092476787049501022761747761230285506476863395533951156682651519118736404420179831260386298143095412498774447877635204787854936456004143907223609588860645472284142175971955754297418315394529224898896722222839384805551693334505260742986805610501330870124707865981903999836041071738440362929125011966922924590513781688746888266604535016271722391961475287937497771465830380514435043108675797710525802657752404354000328679254599277307862520458233187248875195345322166319009945236844202239830864699978034186570827583926171396306471751018332369110564974316255290914568663084785268083204701211788142436599990332039623218969805229687840305506977693505596050867135950210370341446089594807457564082266377862268234862086944904748532986411898304287846912855616670428610222583307108533844423434647417875014645589514114839346383806558531099262659043630942143170016244489360060931859524890601904224086590444791553223207918987005239564329984735945106742628448850765680746936783793102697422785145384860350014882118961010378770487822521169197079547347534158104806595015393084158383473291635920550578251855910120756957581592109384027862958119212543349319786455942906077168758804292968552539082128421060746763891778705514988979408953018865574839762630113621480544328872174868824142075379508943341814610853748506550786177997965201301651080977030214184049950031221759848982130163315634181364738010134450483658742805814998496176288659102536262269117851368234429250811522087208428589364383547767196670290133646270456091499942377692284110882870643638856219935617969747549924101944319570296898940681457851980552766145875745192944162168683498164723341818152275342619937912434109636878257386372341376569117437646048292824264840570857095313646230704650767587407225542825798219170506246605299149168878654615114624135659696621169195793807516718232517713883824128*t^63 - 22179226967324816992896340982984792923101382077203628812755479876900047958893852432824961467348710257770170476279403285135017631574829620086511965927222659922136984545134548119805130802788571847336303475641354321402282649989502513173261012819487907999856727617404284231381913119745352617920936375963924372939254192412012043548217785677468374417048471549866364919598433343360303525307243002840151252102884245423008800269856487122100981688299667105159821391106877352123327325691948493739433123878055591745676212394450286740391765313844694066494286225514364928268877802980475636697022687634238272226979579007993638394302075478855221846275053866475304826769358282362679779642149705158833330061155072808137951181586691595288438772085467632755287138071990303502280713923894766448103288707458576609542203717733513388886052409675707591924376027118077149810601370783054312446051779741607115320020644185272776834327029508835831976277272612024379883298257810075396608934323360251972575084064861114332726762763611553536564063912502423965959210558759854370094161779268874937290756921006576185892635298343005464952860526088816354914195517007495712847461912641290375722358740322641443247741043807428045312643035766161610623610883881880370345709123114058597005764192549900597163286533934244237103236209387678416626040054380591707704297916649763494212543694588506722427373123797555056301072912385946539698592915019483391468299222717508007233029736756300426197706469592121075324381267624413160533964426968686978724003786620257016064567097393853813402400942724397770086597537467842019619106360441286187030254125150934382249433683425087271352842904006159483858693600066395323686359446404819973541319684245150340818261419997003241643928696053500143700311441833871801888665471927319603067098046713383974410179887312745035747055345244089598298676152896643839747742089715997843536015338103303009564084723540872133730905547919870429423595481519785784273086070815227106214381196358155368706324802684692376882631888364925691499127742579687866807219790353299389785583001646262865648574345445096010434243203117048686371191940102737777524461569136666362733471305722238372236475646004798143862450849576478884150724284431316649829109677270899651832102656826746289962779518367930640765395792229978221373458452935036049390043449688876638829709631171687372847940979715073968896693786350015625/155632109529258260233911615368390753651521371180902049852124086195739953682209212718194864964091071542705371830891339717870043112412849045692886133923742318086206818093682702990416111416551311752702067399087938619479305398711916993425959321413829524943733837485110913187455185868171329031795638639795434119143718192586915357711694405817788481950278644046181229772980962209282375109733147304896692585134139459526199460593539293492303032939489605835834348541734419494184953574099002045523495522460571012953726791067902313365303038237472808840359662520772596286190824997548895755270409575709872912008287814447219177721290944568284351943911508594836630789058449797793444445678769611103386669010521485973611221002661740249415731963807999672082143476880725858250023933845849181027563377493776533209070032543444783922950575874995542931660761028870086217351595421051605315504808708000657358509198554615725040916466374497750390690644332638019890473688404479661729399956068373141655167852342792612943502036664738221129948632510581829137326169570536166409402423576284873199980664079246437939610459375680611013955387011192101734271900420740682892179189614915128164532755724536469724173889809497065972823796608575693825711233340857220445166614217067688846869294835750029291179028229678692767613117062198525318087261884286340032488978720121863719049781203808448173180889583106446415837974010479128659969471890213485256897701531361493873567586205394845570290769720700029764237922020757540975645042338394159094695068316209613190030786168316766946583271841101156503711820241513915163184218768055725916238425086698639572911885812154337517608585937105078164256842121493527783557411029977958817906037731149679525260227242961088657744349737648284150759017886683629221707497013101572355995930402603302161954060428368099900062443519697964260326631268362729476020268900967317485611629996992352577318205072524538235702736468858501623044174416857178728767095534393340580267292540912182999884755384568221765741287277712439871235939495099848203888639140593797881362915703961105532291751490385888324337366996329446683636304550685239875824868219273756514772744682753138234875292096585648529681141714190627292461409301535174814451085651596438341012493210598298337757309230229248271319393242338391587615033436465035427767648256*t^61 + 1007690727951253222889132570625908528737007518476509028505550287644709082000105145324704823151400591933763453711670266438399719200195696914757851391469936691725250606188726986711203639296300337654296714671725414181998409252029081385160327634896086073034821292710129679321535956922639604598733326897267980998470831288583662717940749030772081182634490396134909864220461459733197321767074003331524098249989229532412359695847457445643107938433581830129864810720082628897355381441261570710852493888195044587179589016833854754201575705962177358960347370924650869246480023866580792431915755447374876125766048265431299529500568519609803685618899607393305422219557112407389285561370224767916524714212069313345075703317098460205882052016496700378358878245553664763509168276917694700017493201907609904183240224398147375789366343433144986078945655396291045944783248261194294018323498693024592102066857128017163403864795088521574222856874232404018462153563184698523680185728558779687780116738117871383341371426201042601755276504224498697765992472710951715245623520006675251762889658714194498380035544907477674250399072914909296969324851546119892772893570013531668471645245478084443208848153185817719216491449322791638251047553062797267651629322743705522330858538721221434514510714741965534051493852518870125129742297006398488459996009355403893252866632144771323899563342819859400260484418487492353500985566034516070183924959118386845589377422302365692891005164590446775492868179065572967248460717864203387168893129000362862877280965881083715246928235553668366229131317206953233997736213846622551954097610806924788207295870231513075907639965792478397884603799657299608570325645365892002258852123989900197659017890338516731144390264303036307493768492470115827267540647256175921891364788596408071050772360436331237802498969227527237736552475744777341145444457564871407905099420867557392078774519156524107971455278221824263978730333884006875131668424742813457051125119957352037033329749604694639799494583072821764323818924590831983718551544057190109154595630505076607168926420314397358813703231039951749562378837492402559353229837284182188342761953941759189141994240174606547448822821761189078354563463623164111480332373074494152699529131078167748583023366147959828934092747077601633433390409553621661434147714094241684426670583242398045166243118973545063552690523032524796875/311264219058516520467823230736781507303042742361804099704248172391479907364418425436389729928182143085410743661782679435740086224825698091385772267847484636172413636187365405980832222833102623505404134798175877238958610797423833986851918642827659049887467674970221826374910371736342658063591277279590868238287436385173830715423388811635576963900557288092362459545961924418564750219466294609793385170268278919052398921187078586984606065878979211671668697083468838988369907148198004091046991044921142025907453582135804626730606076474945617680719325041545192572381649995097791510540819151419745824016575628894438355442581889136568703887823017189673261578116899595586888891357539222206773338021042971947222442005323480498831463927615999344164286953761451716500047867691698362055126754987553066418140065086889567845901151749991085863321522057740172434703190842103210631009617416001314717018397109231450081832932748995500781381288665276039780947376808959323458799912136746283310335704685585225887004073329476442259897265021163658274652339141072332818804847152569746399961328158492875879220918751361222027910774022384203468543800841481365784358379229830256329065511449072939448347779618994131945647593217151387651422466681714440890333228434135377693738589671500058582358056459357385535226234124397050636174523768572680064977957440243727438099562407616896346361779166212892831675948020958257319938943780426970513795403062722987747135172410789691140581539441400059528475844041515081951290084676788318189390136632419226380061572336633533893166543682202313007423640483027830326368437536111451832476850173397279145823771624308675035217171874210156328513684242987055567114822059955917635812075462299359050520454485922177315488699475296568301518035773367258443414994026203144711991860805206604323908120856736199800124887039395928520653262536725458952040537801934634971223259993984705154636410145049076471405472937717003246088348833714357457534191068786681160534585081824365999769510769136443531482574555424879742471878990199696407777278281187595762725831407922211064583502980771776648674733992658893367272609101370479751649736438547513029545489365506276469750584193171297059362283428381254584922818603070349628902171303192876682024986421196596675514618460458496542638786484676783175230066872930070855535296512*t^59 - 41277499187824860691072687859136244103573040946021763082916734710962963604987612451663100612667901807133545643693384895704461784932064021553600831829216759755999879315018052690567117803602289025618746078121106302174935516961065400295156701442017556588303477673055700501311430929013366913653805927132049339638395377378022275679249033802101042742369230705170377440319821432161398959148207184552203994084191009253824132295703511767072528174426377691483615313818795031833917370578708246609995884165298330432045979886497586447974732249068799147618189906378807860876528276663807453815284865260548656676657265985261108712034156447902107059219272155313572473641297446360886707736192590630823691134044364361714521015702348524662201693582802533808640374492879060017444234404249557580661966214765241400084345497689817840063337499629251397551969783888524368899728187191459599080711347475087665217929735882416862729914139486278722556897255814510382924229464731783291074508160838959671776890889408581835193444593481205371855457644549680970933905780748870204969205447145791538659646850093928227327789250095966432502621595891565390995078752505858530642287214032712283378970061414867268376276857847857692694630184600317631237130923046305651957376273514956281551872142505483886917590012131127956949245480770251819283127339061463629434242472921261695583659039208640477851187055119864682012078136682408529895131670861831095880031028303746890326162326277054779870874539339306075721028196286696314320007659942902879495471057966560506778757891233153583069081137505389928120278437735544986058076790815537370798818918034816348738811884591315200888811871115673516011696461059549259744626499753024557267984992329152951559860392845967088332286039269607200106179023354566700758724486252203346913311329027674397633396913007358774788287856314821723148650275203483124883023811722284561026483047938249918803163606890883620060121107115095199197255868731307055434951666328485114672049616332093398168542428424215555004288663473204998251023304201093781844203583075352853442204076264204813255345510797651888242501253890853274605895869627173807041176498333431896296709504704337120853507940756693603069177003667127487896505730455104008895267674468575316103785080111694458063554765279343218180259857128128262646625689735191205204081537295842428607716550214096170621783934350751388954487642099102703125/622528438117033040935646461473563014606085484723608199408496344782959814728836850872779459856364286170821487323565358871480172449651396182771544535694969272344827272374730811961664445666205247010808269596351754477917221594847667973703837285655318099774935349940443652749820743472685316127182554559181736476574872770347661430846777623271153927801114576184724919091923848837129500438932589219586770340536557838104797842374157173969212131757958423343337394166937677976739814296396008182093982089842284051814907164271609253461212152949891235361438650083090385144763299990195583021081638302839491648033151257788876710885163778273137407775646034379346523156233799191173777782715078444413546676042085943894444884010646960997662927855231998688328573907522903433000095735383396724110253509975106132836280130173779135691802303499982171726643044115480344869406381684206421262019234832002629434036794218462900163665865497991001562762577330552079561894753617918646917599824273492566620671409371170451774008146658952884519794530042327316549304678282144665637609694305139492799922656316985751758441837502722444055821548044768406937087601682962731568716758459660512658131022898145878896695559237988263891295186434302775302844933363428881780666456868270755387477179343000117164716112918714771070452468248794101272349047537145360129955914880487454876199124815233792692723558332425785663351896041916514639877887560853941027590806125445975494270344821579382281163078882800119056951688083030163902580169353576636378780273264838452760123144673267067786333087364404626014847280966055660652736875072222903664953700346794558291647543248617350070434343748420312657027368485974111134229644119911835271624150924598718101040908971844354630977398950593136603036071546734516886829988052406289423983721610413208647816241713472399600249774078791857041306525073450917904081075603869269942446519987969410309272820290098152942810945875434006492176697667428714915068382137573362321069170163648731999539021538272887062965149110849759484943757980399392815554556562375191525451662815844422129167005961543553297349467985317786734545218202740959503299472877095026059090978731012552939501168386342594118724566856762509169845637206140699257804342606385753364049972842393193351029236920916993085277572969353566350460133745860141711070593024*t^57 + 1522454625296488039822066586254785086285384749741304601874107395232210547785225551802299487147340097518676334645504664801600629985410002261048867947549544225483145765659098458537643814963872520302074017267363236146495026030945053823297741181044979653690137774889388280079802313247298199352959905213741295967283561804387396529284904545167185775958395851064332427611336488842143037635256780838012558567399467238141627087105794600151940978693607036055183888108428653261713045858338125819111624789369344334264814754607991937951619112052228374669536955095005069341683446408040810112541452127790546368066763656689751254474589179179441086672832070196695382280818054160138052221196364416387675706460401890752045227910242720760011162730828382266413216086943812677428737905478401367699670036477173805647299888088458736870343471933506804174867473151053792451145638987003845383960221263352717386240618934033964895424127213456404863950728177422123684784625553264047174925121242283154261792883100440668800911198618336311521812919119939429228177226212699011005059718740614425904406927657997061777081137832665263942331214855813143015887982824085291716721405298400934652992808222809545968377308305399594261731077339898776193142121212458655256210424245481359842884859834285636604996215548143700408904390678930534309002139118840513360268076319087844327397180234871305621773329510977678616208954014347836914763716992770140393690571861371218192918197346214763413589243725543853034293274946339931363589244595634631768492612533176409507851671271849406521378719377251421711685427672627542293050767734659767164859501163351907874107830407208898394881594128057290513951173376036871388632785798266703628008473874092861305027961479612948764010974754794198715096739975439971080835969095038281248078773545808168730111274786180525899295753705299568869023290694587933712570530176091642661614990468095190269864326141226546700444003200565985854824039683362429668756980109843180988934553083562012187558869338541211752836216404579126561536941568400649366394627877992811700897969979896976721602520716448493320701193141449795879795294907694632492012293858886324486713281498422773652177072858408055352250678336921284857651271504961782084615582774196082313338890170046669464488423487334320504196427029313253405901291476010358987890538243432255094578087100835014562867393104698296430298733181777446796875/1245056876234066081871292922947126029212170969447216398816992689565919629457673701745558919712728572341642974647130717742960344899302792365543089071389938544689654544749461623923328891332410494021616539192703508955834443189695335947407674571310636199549870699880887305499641486945370632254365109118363472953149745540695322861693555246542307855602229152369449838183847697674259000877865178439173540681073115676209595684748314347938424263515916846686674788333875355953479628592792016364187964179684568103629814328543218506922424305899782470722877300166180770289526599980391166042163276605678983296066302515577753421770327556546274815551292068758693046312467598382347555565430156888827093352084171887788889768021293921995325855710463997376657147815045806866000191470766793448220507019950212265672560260347558271383604606999964343453286088230960689738812763368412842524038469664005258868073588436925800327331730995982003125525154661104159123789507235837293835199648546985133241342818742340903548016293317905769039589060084654633098609356564289331275219388610278985599845312633971503516883675005444888111643096089536813874175203365925463137433516919321025316262045796291757793391118475976527782590372868605550605689866726857763561332913736541510774954358686000234329432225837429542140904936497588202544698095074290720259911829760974909752398249630467585385447116664851571326703792083833029279755775121707882055181612250891950988540689643158764562326157765600238113903376166060327805160338707153272757560546529676905520246289346534135572666174728809252029694561932111321305473750144445807329907400693589116583295086497234700140868687496840625314054736971948222268459288239823670543248301849197436202081817943688709261954797901186273206072143093469033773659976104812578847967443220826417295632483426944799200499548157583714082613050146901835808162151207738539884893039975938820618545640580196305885621891750868012984353395334857429830136764275146724642138340327297463999078043076545774125930298221699518969887515960798785631109113124750383050903325631688844258334011923087106594698935970635573469090436405481919006598945754190052118181957462025105879002336772685188237449133713525018339691274412281398515608685212771506728099945684786386702058473841833986170555145938707132700920267491720283422141186048*t^55 - 50485024673142455910229872533162919108920687006847349887899161649105094535229083322591675676217713320275370457247340508749322235898509540852449357312113217287548570565802427125682827220874891082425305831575436428388132032004562688456986936747741989084535040635905630098753413038212022662900031573635098750738743755713958358169726149708957744165038426447006101029744576023919118392931881346626704121363958444277012663712216580962591258674463743201191713338167811122534351215232296207998333177089323186484680392307726414901151988053198064364468608734876286925123529428437673249280851384780142453936533315457475315436730275650399616574901510609093414022906848684812596085845537300245659858129686671444521809332250396042164018276657456625604254545460966977823379737800283328684432218458532254939787458232549646652127972006606222930102040708468342440258240450918656830845542880048531297690952855334870826303420784498761093844713090749279317882676075860364674713084524003788615365132061657572859027246546592539404364032869731274523444527251149226301826134996939417421800659582556992987851897561022518284662876138077898612963892693427094259346221672816646706659899336571215937801551590926695422445342842484188804530727089633159982462407799094926604384642316752649687658125463337599827405297224525422706825380582611449983050331398400884369360157933235362422183857942313897873358701283829315458069028727062725897844938890158292294837937280697127504939752347071069993217755044811075037030157814630789449283843830419475250830972663891871468212788980123119553102799518434487310038007973887924904647991488337527947418779912128491602656242456629498980138718872858741724234451675585301510076030912658270153618086528941164524507653095438498520132966846088952165701319042544269172794045781015525168038061474514819013501807003961807611172616832957034407246556119993902130776995466270718915647273952707304487766446674464931184323553744779616741697747136902311905834495207695648866565742833845783643360908050409770695280351512334100159041361357216612897024548006193203824955742989224304039833148725663307956620608760819318617853255628285800309468031277910514066436972595457308933855798522344237050030003412780180535652568616975750516673436577850845331263907652831724533388075010098766694256554548233991301615443700945698888979461503176701726462081494549715327364106971823445053859375/2490113752468132163742585845894252058424341938894432797633985379131839258915347403491117839425457144683285949294261435485920689798605584731086178142779877089379309089498923247846657782664820988043233078385407017911668886379390671894815349142621272399099741399761774610999282973890741264508730218236726945906299491081390645723387110493084615711204458304738899676367695395348518001755730356878347081362146231352419191369496628695876848527031833693373349576667750711906959257185584032728375928359369136207259628657086437013844848611799564941445754600332361540579053199960782332084326553211357966592132605031155506843540655113092549631102584137517386092624935196764695111130860313777654186704168343775577779536042587843990651711420927994753314295630091613732000382941533586896441014039900424531345120520695116542767209213999928686906572176461921379477625526736825685048076939328010517736147176873851600654663461991964006251050309322208318247579014471674587670399297093970266482685637484681807096032586635811538079178120169309266197218713128578662550438777220557971199690625267943007033767350010889776223286192179073627748350406731850926274867033838642050632524091592583515586782236951953055565180745737211101211379733453715527122665827473083021549908717372000468658864451674859084281809872995176405089396190148581440519823659521949819504796499260935170770894233329703142653407584167666058559511550243415764110363224501783901977081379286317529124652315531200476227806752332120655610320677414306545515121093059353811040492578693068271145332349457618504059389123864222642610947500288891614659814801387178233166590172994469400281737374993681250628109473943896444536918576479647341086496603698394872404163635887377418523909595802372546412144286186938067547319952209625157695934886441652834591264966853889598400999096315167428165226100293803671616324302415477079769786079951877641237091281160392611771243783501736025968706790669714859660273528550293449284276680654594927998156086153091548251860596443399037939775031921597571262218226249500766101806651263377688516668023846174213189397871941271146938180872810963838013197891508380104236363914924050211758004673545370376474898267427050036679382548824562797031217370425543013456199891369572773404116947683667972341110291877414265401840534983440566844282372096*t^53 + 3004955909079200479521743654036101077974587288610581505861738706069330012300700606035170287924038865489434655576658354349502404328071651319051388992748853119252416312373244488851663848315524298323393186073287609522129283866598962507835537185967569474451319935036373014319065549712593559458517777451986925250575798686723359810727266171936407584514204953776419321707948606642696573269699536637385642599017691468513110484180884239087683342956417052627658615917396392087055473846077049899322769270814761946065782342727929218051037530081986216555484648628093375333757445561749219730561866786267238931713911094639977584141243172078980475760555285254909829747023590603230391263520891389454852283811311130708445591192266512223364520914627390306768716062881446144486594391054053811225638736013025951098670493299208551610436436967781528052722342833802029931732248691717511527426342489468678919964149571734895593725459885783444022535887397585876734703065536301552972227840278577250283567632262587759628995710920124500631859438565501041897628803561196985355694470404888967943047386589012559106728687011611466016852857338719954035556157373188096654039964796349886648350178224767532762776909169740529238448806321061764273783356972650736219909268026715907932655137313867164826981558836383791383620066005888390617232080190091280462273853745446592470846816822853207620246456532964097693498703979556363437417586119457261937862070694080836714259034755533559942527676835267612632060732715024595920898545663090919506413800784504886717005846914931522630259167227303821926417088135663229436352809040659787115163935125180879276090580080167318227915680672048901326132898919444922730739792048237212319076478252472171599116653699694958694454488975500762680415248089051968028168431270612080290372790499054207112365363206291626334205582286595469401270960765228180131080369453340145760259240753378120700273152699899554963336873965632732007924074523774211874715778440561049682047670619307187439359749468093499737962446028725730395881225660019072925071226465030323326738454196882045150643396054228943909917385642316425487119691090105477667682204676213089564286949852767303890408331290207867221428015733630720923004323098716701192310910795002627718233298840131805091326127488066640274015051952583549725363905165968049074798579534563389379455165558866991520096039415886729827390349912212311382859375/9960455009872528654970343383577008233697367755577731190535941516527357035661389613964471357701828578733143797177045741943682759194422338924344712571119508357517236357995692991386631130659283952172932313541628071646675545517562687579261396570485089596398965599047098443997131895562965058034920872946907783625197964325562582893548441972338462844817833218955598705470781581394072007022921427513388325448584925409676765477986514783507394108127334773493398306671002847627837028742336130913503713437476544829038514628345748055379394447198259765783018401329446162316212799843129328337306212845431866368530420124622027374162620452370198524410336550069544370499740787058780444523441255110616746816673375102311118144170351375962606845683711979013257182520366454928001531766134347585764056159601698125380482082780466171068836855999714747626288705847685517910502106947302740192307757312042070944588707495406402618653847967856025004201237288833272990316057886698350681597188375881065930742549938727228384130346543246152316712480677237064788874852514314650201755108882231884798762501071772028135069400043559104893144768716294510993401626927403705099468135354568202530096366370334062347128947807812222260722982948844404845518933814862108490663309892332086199634869488001874635457806699436337127239491980705620357584760594325762079294638087799278019185997043740683083576933318812570613630336670664234238046200973663056441452898007135607908325517145270116498609262124801904911227009328482622441282709657226182060484372237415244161970314772273084581329397830474016237556495456890570443790001155566458639259205548712932666360691977877601126949499974725002512437895775585778147674305918589364345986414793579489616654543549509674095638383209490185648577144747752270189279808838500630783739545766611338365059867415558393603996385260669712660904401175214686465297209661908319079144319807510564948365124641570447084975134006944103874827162678859438641094114201173797137106722618379711992624344612366193007442385773596151759100127686390285048872904998003064407226605053510754066672095384696852757591487765084587752723491243855352052791566033520416945455659696200847032018694181481505899593069708200146717530195298251188124869481702172053824799565478291093616467790734671889364441167509657061607362139933762267377129488384*t^51 - 160203604503532657861759998314596098228535747074694757386157552416791799772874403301501664293667197381168023492817379634687713333187815939146668587040165671487581002667029203227514831848751396257596225524769236672463790221725772698376836038097995786299782241031142005329520408594132981945695606017504763617741932498344077210927946586144185440034342340572103989887174862520949894314498729077988326668757008080589664180560511910624554478533806731823089709234678745969021934384336528017221524074506031800791605245013952270111247620648833167585321755854839714177122353342174240545414520293835516170590913722825943139018663588868929542059349745825376493236571417072247568377698633511740101588917124011909278393575763401309280558525919742692222803055859797567942100999756331075722188424379051836867650614685656150864751870698218222196928008391617351607494575751649974690878739745862336276784248822480742684880425371335537469361207122850321166284132361818426945327702199927105627171166801427235459885912200365167655073511182150741661225526835906187193263019572321110016149245775220632663239888541208215429691859325259327968498358311358436884407655373338581434934831056121094833292123739610089326278971202300228289261366663184057014647569991774934065562763592505265903545934696856094213694680233715042274599792972344855992784016310796374049335477309921778505449443353814502331669515672627380447660171368738314558640559808718432149565650540046202782614546634682621208153049794482630846825643391816158577619372353231074327372570295155929241734332189641636054843133304589281921417187335582417850465206008862160191941660761651758691757735931374704964244123474797788840681625053510723100030598180827603555107990965506466658773400591827800192974542848780635807745595383310459902288506490278912993826021446005919372580495441584411393454106726202378204492659740556989320310642515243001790887195667250680319880318196442307402250224908259464326511907758348003550930679374498735474677976272159614538291281944886513884273387237532092822063085277907650454331538411555206407869270788658697112110408432161483771866432417284734743486053250255841815473590714621982417342582183987800190478143699459148367511357289583094474193111136037559819197023139832520450735760792016941384311059363220307051548809640396619648690249720692560285476737105562103542593353336730950603962113987556565685162546875/39841820039490114619881373534308032934789471022310924762143766066109428142645558455857885430807314314932575188708182967774731036777689355697378850284478033430068945431982771965546524522637135808691729254166512286586702182070250750317045586281940358385595862396188393775988527582251860232139683491787631134500791857302250331574193767889353851379271332875822394821883126325576288028091685710053553301794339701638707061911946059134029576432509339093973593226684011390511348114969344523654014853749906179316154058513382992221517577788793039063132073605317784649264851199372517313349224851381727465474121680498488109496650481809480794097641346200278177481998963148235121778093765020442466987266693500409244472576681405503850427382734847916053028730081465819712006127064537390343056224638406792501521928331121864684275347423998858990505154823390742071642008427789210960769231029248168283778354829981625610474615391871424100016804949155333091961264231546793402726388753503524263722970199754908913536521386172984609266849922708948259155499410057258600807020435528927539195050004287088112540277600174236419572579074865178043973606507709614820397872541418272810120385465481336249388515791231248889042891931795377619382075735259448433962653239569328344798539477952007498541831226797745348508957967922822481430339042377303048317178552351197112076743988174962732334307733275250282454521346682656936952184803894652225765811592028542431633302068581080465994437048499207619644908037313930489765130838628904728241937488949660976647881259089092338325317591321896064950225981827562281775160004622265834557036822194851730665442767911510404507797999898900010049751583102343112590697223674357457383945659174317958466618174198038696382553532837960742594308578991009080757119235354002523134958183066445353460239469662233574415985541042678850643617604700858745861188838647633276316577279230042259793460498566281788339900536027776415499308650715437754564376456804695188548426890473518847970497378449464772029769543094384607036400510745561140195491619992012257628906420214043016266688381538787411030365951060338351010893964975421408211166264134081667781822638784803388128074776725926023598372278832800586870120781193004752499477926808688215299198261913164374465871162938687557457764670038628246429448559735049069508517953536*t^49 + 3816362187788012435769522548076929476956141797945034615784580826016275917226843964335851688072721523061875738272186474388128392457129614845899671861283267168203113838247714332650012788999070697220083587936307240684883809473541783975805755724468470735611504181132422736735783022552267584250432795746287991830757225633586661779613252331414426229846760492019224892516717858648138480699221618129471215010816798672508392224130286388227168174874769744067827080559429065263605601756561384442150790065262143424138088634302364087528415973243924828134477169508653325051997710111186240120336730590942704377724777356573673297715196409230395848270802646922526344509889236399675460035209313069139346446262161378623418692018323965306767029699804105670287830070320017013226196042195221179517315261151692500381616392216398663902760465874567260651243195741366537378509225081176637910814622474310137728379002762577762191616961061398144655746455216868399970087651214251068578816637215970441390001404898295688655357391712379837736682850594756349773365457170838776581856549623028004593289387993665172584531386319454586285915644712668859952898398785595526116982272047295206313746806733561921134773907076358658728381145154625247882258511601712982382471717167430606187807661895871102051333078350278733271812535527210925368196156757583125618831635117582904935681267031140990658334975728480619768503825014351677333348658852835588365705741494653973634735402764257070907039632581877732858377781884700709451614246737304822412175453560709646402391918854055241736059272642180849274579532687748190218717058710409399103567331604927839996389559844966183160618605567092256477907480732280381562828091867768491828268084224848283686940092646887713289344614379281291337389129761627635235227407435306472522754369308344769874950817573796418407839913973338631937036776953995422022705096822304107666188152115004230210591167530783336948019903333371778420535918320095174701310919307756706145516803924338717846307739341595755734328598991569401883896984735032748023166661647888734805808747581379804129766699241141541018887391314574997034993967532082719955469658655295583000913018599637586765413117539171467535769065835241656907304030328360245662148695618751036935637141635126779727781658933764086560719324005175094027603185561165216724980313466775377329463743090722960180622294221573108147192229352592988306951171875/79683640078980229239762747068616065869578942044621849524287532132218856285291116911715770861614628629865150377416365935549462073555378711394757700568956066860137890863965543931093049045274271617383458508333024573173404364140501500634091172563880716771191724792376787551977055164503720464279366983575262269001583714604500663148387535778707702758542665751644789643766252651152576056183371420107106603588679403277414123823892118268059152865018678187947186453368022781022696229938689047308029707499812358632308117026765984443035155577586078126264147210635569298529702398745034626698449702763454930948243360996976218993300963618961588195282692400556354963997926296470243556187530040884933974533387000818488945153362811007700854765469695832106057460162931639424012254129074780686112449276813585003043856662243729368550694847997717981010309646781484143284016855578421921538462058496336567556709659963251220949230783742848200033609898310666183922528463093586805452777507007048527445940399509817827073042772345969218533699845417896518310998820114517201614040871057855078390100008574176225080555200348472839145158149730356087947213015419229640795745082836545620240770930962672498777031582462497778085783863590755238764151470518896867925306479138656689597078955904014997083662453595490697017915935845644962860678084754606096634357104702394224153487976349925464668615466550500564909042693365313873904369607789304451531623184057084863266604137162160931988874096998415239289816074627860979530261677257809456483874977899321953295762518178184676650635182643792129900451963655124563550320009244531669114073644389703461330885535823020809015595999797800020099503166204686225181394447348714914767891318348635916933236348396077392765107065675921485188617157982018161514238470708005046269916366132890706920478939324467148831971082085357701287235209401717491722377677295266552633154558460084519586920997132563576679801072055552830998617301430875509128752913609390377096853780947037695940994756898929544059539086188769214072801021491122280390983239984024515257812840428086032533376763077574822060731902120676702021787929950842816422332528268163335563645277569606776256149553451852047196744557665601173740241562386009504998955853617376430598396523826328748931742325877375114915529340077256492858897119470098139017035907072*t^47 - 81037798279555362528689255915799434210236259425617166979625597085351669307226880011727312676459289031628311585341986048553635167464509541462270747031815525407793616043334576433051380672708600192735936634414632358588315111660847075145386647691913334494295659632050642445623345354493829281763983012224143723538544668184858539761255642947527684686694958619986254601352840798995315472776209365781076337910992848400215139136843942817624920455842647608818955712733935335694235658322841676303198446400067489617226850756003404582230132407476509469381621492541400414131242950565126589165274365878276694109452790406786913669073157932437734098329844541313750196070495766983251070761236632892316345255595917335471545962334912414657419476213700827519868823328995902894754133686219391861090345583121403553982849826505979920545712173316564773384761098021242012908838365293688359894326371439972016480781318822295201465227768148871830989550333578206359436857206511656032197306516224489085358627342705368067669539771713221355264037373136713193888476853622546052727994478418758909289867604075615180317632636693598157492282349155569535298871570523263751072783990852088596281792652387710401461782273741203440122323288259592914515505506350252976825786114816779869047035769594607634058432666784572719060076555310596119534716439134951005671928710122453131504851305827417963592411774028980112954449549189340794409955554955745218753028166634252896743919925184259315888790761351075101968654083486312635065762021409581135937795177822604478121884279074095917769607321494509746360782822003829627813971660993242102276869448935007991557038412382888301835887826895496451910428336001364098359607606959372757977647486870405027883699471231501063148947123749957107732091482687225618931823178197615255511276319063069739109735726139442755127582957005144792000870006622551695894119293351766528617573910508872460915776952752417172429991161644496138495914191333689757549144243354579922408967693329025501542135947645532508696589575701906746362314466424873434017361957267351013821928551943314307718264870718997598841611825249533881202645862406896539586046434612740577578648411278348760682661311353378274586637458472864600372957355569232289434266200674543793685466196336745151477542459691931092380152473289938672284807314664742589230774355614497181988461302421612126683036466808141690720486418816222180570046796875/159367280157960458479525494137232131739157884089243699048575064264437712570582233823431541723229257259730300754832731871098924147110757422789515401137912133720275781727931087862186098090548543234766917016666049146346808728281003001268182345127761433542383449584753575103954110329007440928558733967150524538003167429209001326296775071557415405517085331503289579287532505302305152112366742840214213207177358806554828247647784236536118305730037356375894372906736045562045392459877378094616059414999624717264616234053531968886070311155172156252528294421271138597059404797490069253396899405526909861896486721993952437986601927237923176390565384801112709927995852592940487112375060081769867949066774001636977890306725622015401709530939391664212114920325863278848024508258149561372224898553627170006087713324487458737101389695995435962020619293562968286568033711156843843076924116992673135113419319926502441898461567485696400067219796621332367845056926187173610905555014014097054891880799019635654146085544691938437067399690835793036621997640229034403228081742115710156780200017148352450161110400696945678290316299460712175894426030838459281591490165673091240481541861925344997554063164924995556171567727181510477528302941037793735850612958277313379194157911808029994167324907190981394035831871691289925721356169509212193268714209404788448306975952699850929337230933101001129818085386730627747808739215578608903063246368114169726533208274324321863977748193996830478579632149255721959060523354515618912967749955798643906591525036356369353301270365287584259800903927310249127100640018489063338228147288779406922661771071646041618031191999595600040199006332409372450362788894697429829535782636697271833866472696792154785530214131351842970377234315964036323028476941416010092539832732265781413840957878648934297663942164170715402574470418803434983444755354590533105266309116920169039173841994265127153359602144111105661997234602861751018257505827218780754193707561894075391881989513797859088119078172377538428145602042982244560781966479968049030515625680856172065066753526155149644121463804241353404043575859901685632844665056536326671127290555139213552512299106903704094393489115331202347480483124772019009997911707234752861196793047652657497863484651754750229831058680154512985717794238940196278034071814144*t^45 + 1529449030165553571558269715150376103563993468561663596310584699519380008228198051756802466246350820250714801462951159948507419645695615091665136214391987090924137396466767342156051099491182692825111999473990876999782696892973857216807097456714471802141303130035421830690396266528579766658376518649220454997920679243597293125272351184080668283384901939640178464539024576696771523921133505389702465167621299638012667733925929900405943650277841920562245037338379647176700672608075312368590996371608806295218968720780536867269455026650979128501568705245421094384759740933135086491109670563986054917652574209524751721100785733038360208742628414540103123621001044170106977982101019679255695850643340553898301735844585816112500783413713282588535849190416846135883437384173936402641460520216150175164030404287143157609939954474491175960910930934906055788684978971467563355399748607061645093164480130457987960099852295955527241017395018671096974596867267748020983970276779509773064509924825779938035999186645513453028141618019879591708719291672935310811654823100640779990632939748265550671212638388807699435635281502962139328882899341051366641217788219695636238617350599634678004841695258650879109470695158775109946513733910531405374543339006596520112165529025720675036459920649030817434597397822403741591770861689499168635557280230316338208470820067553847603739007737907585663991208886443494750671797070818004996555273649650789124005592964018052963699605046641969760314989787261775298128427927736060059132478377384859928842108642523405549233437697282180167921063400361650716894816349900336164153211524954600374650029033851514059246339702149115806371615128307360177994604886337635810097919810426899863706922131752024850355602801720796771599832931946807818778305447349417695986784197311675023639721231009730977193287869424313335630157515022815343729293590039509213902182190644281017106691840511754672112736233645249687708359242180048030533946811002687441087713703479120001386352764113993699241505605880030992755342163426852567869960507302307190463387208977193791093103060746317863337288792847010160543535041590789614382752682593967844133517899543016340051554223586432480367717849855085728677936474004781060952188993187075687762247021930642501284325024810781950134244859932245253683012284297612675985028969707523054086319152608379438454452929679221450424529516651856602224108515625/318734560315920916959050988274464263478315768178487398097150128528875425141164467646863083446458514519460601509665463742197848294221514845579030802275824267440551563455862175724372196181097086469533834033332098292693617456562006002536364690255522867084766899169507150207908220658014881857117467934301049076006334858418002652593550143114830811034170663006579158575065010604610304224733485680428426414354717613109656495295568473072236611460074712751788745813472091124090784919754756189232118829999249434529232468107063937772140622310344312505056588842542277194118809594980138506793798811053819723792973443987904875973203854475846352781130769602225419855991705185880974224750120163539735898133548003273955780613451244030803419061878783328424229840651726557696049016516299122744449797107254340012175426648974917474202779391990871924041238587125936573136067422313687686153848233985346270226838639853004883796923134971392800134439593242664735690113852374347221811110028028194109783761598039271308292171089383876874134799381671586073243995280458068806456163484231420313560400034296704900322220801393891356580632598921424351788852061676918563182980331346182480963083723850689995108126329849991112343135454363020955056605882075587471701225916554626758388315823616059988334649814381962788071663743382579851442712339018424386537428418809576896613951905399701858674461866202002259636170773461255495617478431157217806126492736228339453066416548648643727955496387993660957159264298511443918121046709031237825935499911597287813183050072712738706602540730575168519601807854620498254201280036978126676456294577558813845323542143292083236062383999191200080398012664818744900725577789394859659071565273394543667732945393584309571060428262703685940754468631928072646056953882832020185079665464531562827681915757297868595327884328341430805148940837606869966889510709181066210532618233840338078347683988530254306719204288222211323994469205723502036515011654437561508387415123788150783763979027595718176238156344755076856291204085964489121563932959936098061031251361712344130133507052310299288242927608482706808087151719803371265689330113072653342254581110278427105024598213807408188786978230662404694960966249544038019995823414469505722393586095305314995726969303509500459662117360309025971435588477880392556068143628288*t^43 - 25573273528716704257002726767277167154012947586943303087268636731940726351042100538514310207097435794444245770085661097218419663914877575011918226512695781155239944806647862302479805996112647953112974769944109626629285076317305157128978694259081926623086866950236878550849535737999814440762362699780500179001591454262742973676466869082662641634727122417523163544519307735608533511119596454359269400579467931704173154575677177805936158841422180137783704375076060143358225561227609018349009100231028064447966029427308153595014561660283985196866531590992164581793799221400762732399815526045327363700615165357296207984759668562200522798783645145245820225616770531689678572442857087470198364699557713192166142684743519711093409284379756501548798161687230334626653048730774398321150669684268691103801102955144463751559350413539037189799350688209145761235053978785658620853972225947650220129033089366210552907147300237755986975069249920211981573996364580800789182101646629075699035846766952650326202460097739476892561498543911556825853040141017623791498662245050276359972237816279238910151717362222258287730435201339737806675042944548563399911003811648941703798255346836382374145733810619461692761801462343565860420383270829151395009780050996812950505779294917624993893173305492404239037726560066867032381844738787957067612920505635153456198620260449852076895165964027286102419101730766478152050646152520429287960428915471876215969062692020027527261653920610223141851470765573155684804232553928573440370324946139768917990163197852774988910382797750743212696015493889392837766746046010222130054169875041695140052284126388301590023219460871954545612247420473183897534657299787963263927673564943854017976626877092853660943548956222657410767551829924388788807375140178439739390786484990332056121394268065344452842055287721784147746838430010173689532501950336320018960655992091629093757540210857468380574357482157943763118545306785406591631249971490332790425707226671328364071880173079835397521863968104047791108548072602906034927282028069612697582607302058521559490379407010336182492496562318506700265131008776279637906714293755659486806676550346104048290909333533433967411491847756852730539941008826499766632723989083759949367807842277266430232121295799387254051377073489337344262628359590231113199166505231777861859559085513915004571687625991998407575297512642831607053815809296875/637469120631841833918101976548928526956631536356974796194300257057750850282328935293726166892917029038921203019330927484395696588443029691158061604551648534881103126911724351448744392362194172939067668066664196585387234913124012005072729380511045734169533798339014300415816441316029763714234935868602098152012669716836005305187100286229661622068341326013158317150130021209220608449466971360856852828709435226219312990591136946144473222920149425503577491626944182248181569839509512378464237659998498869058464936214127875544281244620688625010113177685084554388237619189960277013587597622107639447585946887975809751946407708951692705562261539204450839711983410371761948449500240327079471796267096006547911561226902488061606838123757566656848459681303453115392098033032598245488899594214508680024350853297949834948405558783981743848082477174251873146272134844627375372307696467970692540453677279706009767593846269942785600268879186485329471380227704748694443622220056056388219567523196078542616584342178767753748269598763343172146487990560916137612912326968462840627120800068593409800644441602787782713161265197842848703577704123353837126365960662692364961926167447701379990216252659699982224686270908726041910113211764151174943402451833109253516776631647232119976669299628763925576143327486765159702885424678036848773074856837619153793227903810799403717348923732404004519272341546922510991234956862314435612252985472456678906132833097297287455910992775987321914318528597022887836242093418062475651870999823194575626366100145425477413205081461150337039203615709240996508402560073956253352912589155117627690647084286584166472124767998382400160796025329637489801451155578789719318143130546789087335465890787168619142120856525407371881508937263856145292113907765664040370159330929063125655363831514595737190655768656682861610297881675213739933779021418362132421065236467680676156695367977060508613438408576444422647988938411447004073030023308875123016774830247576301567527958055191436352476312689510153712582408171928978243127865919872196122062502723424688260267014104620598576485855216965413616174303439606742531378660226145306684509162220556854210049196427614816377573956461324809389921932499088076039991646828939011444787172190610629991453938607019000919324234720618051942871176955760785112136287256576*t^41 + 9206194108427334657850645778363513429805361491466164275347564187071436866078026949701307866502874931160917644336810157660506230193808227381112284586283025212626376144030961908011809950939370230475517130513875857960924349575123144497069687771029843433961542451742899955578843462292822326364733433440392981036396774873486472104169828347714279508602212222793882084161650926722591553959343021134667281175150923438454942045951623908429648284275043739456649545281220844524712455389491639582845224655886403738675444721660682254635757449319323351591528256398167156625737428324138965848218454017003149143899675231294103275364954618316729319918576251668241816470292837147034848940086256143141852076895793185747443983974838956394572160811195651482103972997293105684038235457776727339948502930630524491414228410033566138587141637748477532137672616083079990863783574405539210625832815379338050956893687760015099431384670545289842053129417133913457423266945212891704008402426259788345977754753168456319193248347318516339971031742033233998281097004326497525742745804546449389485151996238287150527497324975919489366354540211925877843491371335324325867755367040894724506659760065002984379657592676546569259997681448590249053778705203585946831052141253385567357426941353999576783873618083761504186864826721531648028886458781722628762138417238647284610459220592335301477330560071025359097596671358532689890794037458372719736398569640964042397518895153611352282466673462986227744538122013121105775562025596644849540715463461669062995533545954729257361721574400405819708147031711405717792307265151009815647860732902800934686327202774945802264851912909344935502561719400866237456670802533488725455380688588845963306132897838611550313215017725740051742077637013245844640231931596516862135672326286224048316558680705323909540370361925431376185077454425462571756158465219589146328945223254216385678111194154745535022478901507467697677852379754720945542356066856194302295536642706209961878926698199732798568531782658361425773342565601808844914868050735090698840432932247532944447819770514082790994535253003825705355935271021772033339766211503237576748956047205903171868352920330951671014870317923702912139019723677537812496589603156822634710970715190507265309046504928731110740628526035285239532765905351260952069669900537309397626191315866845318358622952116020111588406033923688630533754120078125/31096054664967894337468389099947733022274709090584136399721963758914675623528240746035422775264245318971766000942972072409546175046001448349173736807397489506395274483498748851158263042058252338491105759349473004165230971371903024637694116122490035813147990162878746361747143478830720181182191993590346251317691205699317331960346355425837152296016650049422356934152683961425395534120340066383261113595582206157039658077616436397291376727812167097735487396436301573082027797049244506266548178536512139954071460303128189050940548518082371951712837935857783140889639960485867171394516957175982412077363262828088280582751595558619156368890806790461016571316263920573753582902450747662413258354492488124288368840336706734712528688963783739358461447868461127580102343074760890023848760693390667318261017234046333412117344330925938724296706203622042592501079748518408554746716900876619148314813525839317549638724208289891980500920935926113632750255009987741192371815612490555522905732838833099639833382545305744085281443842114301080316487344434933542093284242364041006201014637492361453689972761111599156739573912089895058711107518212382298847120032326456827411032558424457560498353788278047913399330288230538629761620086056154875287924479663866025208616177913761950081429250183606125665528170086105351360264618440821891369505211591178233815995307843873352065801157678244122891333733996220048352924724990948078646487096217398971030869907185233534434682574438405947039928224245018918841077727710364665944926820643637835432492690020754995766101534690260343375786132158097390653783418241768456239638495371591594665711428613861779128037463335726837112001235592072673241519784331205820397225880331174991973945892057005811810773489044262043000435964090543672786044281251904408300455167271371983188479586077840838568574080813798127331603984156767801647757142359128410783670071594179324716847218393195542118946759826557202340923824948634345025854795554884049598772207198843978903802831960557870852503058024885546955239423020925767957456874140107127905487937728033573671561663640029198852968547169044566642648948273499635677007815909527155341910352222285571221912020859259335491412510308527287313264999955515904389836430679951777794496204420030731290436029610682971674352913200880582579081802720038298152989622272*t^39 - 119457079908146018772672102157631254449708483396218036920350250798918073857225818319601569070015418751602154015997405900092848005757602807930510752454269558747416660292055842872538834214521925798885936811500303293737400929315021343897849403947291284960453203716413872841048006865028111062300599281446005314490096968232237539195455740260684505283201251298892537628949645603745164632176016336430656337081690405327978733871570940128352014543273132691896469232614250062342921097301717184385804276436238642077428023637544844709702856998540958510119523134700220949222338232705374153938357316441533799296422757829119456748070124734330865752033060539227684706170578503696011929419908608907623785415851424564702654456207625187755359183980955634619163813861436104064462791299251355233829378946228993813522677276669655060404735381880726608941540799611243013795048260308499644392556640648327902598110503754460440587863025780331572045692624871724838616070934665644013462579987130526831131393572288654513460408042748647084734352220299940326535419265175227065990326602143567729795202260131129957601416109003778277645820070359091327955590187207600968753741808415369056590844467966828003952479783506662230225604037667783743263391396833768227822418659616729248065941704695724134441749343052970097745874452077129585707238716854862020261300837730621746461505721476860794853049587527917900796002185459708593967603545189718318992799819521576647545777719122416757490014331981046540956151880455809582278428441799055785781149367581173219874237767732525537461434476199641144493614943220255413222599856079363509708033929971118425251390354052308729041689127248203854468303077716231614364548742231333267372406210570921345880588866228906734659197395266389660849689750943421871448793809470617391594989489440642806367739436273972377758832569960904184961759668189630948004549278589444004750667067064919477032933546572031730659555773622760971368176868466989667208045956345888138662059650298521398267214044745905039677242212748515987098107143728813155838015777783750968093029418052969318282233773727721761076870278382794307792673856292865483200438429915731328400779623087006129270581772126929932730951831669549818187327784355002040528482671661575349483183465756390596314652430704435135296868994212796937828253074720819081990047789765075325103036009476030009316981457519346769259310596391806779183678464453125/62192109329935788674936778199895466044549418181168272799443927517829351247056481492070845550528490637943532001885944144819092350092002896698347473614794979012790548966997497702316526084116504676982211518698946008330461942743806049275388232244980071626295980325757492723494286957661440362364383987180692502635382411398634663920692710851674304592033300098844713868305367922850791068240680132766522227191164412314079316155232872794582753455624334195470974792872603146164055594098489012533096357073024279908142920606256378101881097036164743903425675871715566281779279920971734342789033914351964824154726525656176561165503191117238312737781613580922033142632527841147507165804901495324826516708984976248576737680673413469425057377927567478716922895736922255160204686149521780047697521386781334636522034468092666824234688661851877448593412407244085185002159497036817109493433801753238296629627051678635099277448416579783961001841871852227265500510019975482384743631224981111045811465677666199279666765090611488170562887684228602160632974688869867084186568484728082012402029274984722907379945522223198313479147824179790117422215036424764597694240064652913654822065116848915120996707576556095826798660576461077259523240172112309750575848959327732050417232355827523900162858500367212251331056340172210702720529236881643782739010423182356467631990615687746704131602315356488245782667467992440096705849449981896157292974192434797942061739814370467068869365148876811894079856448490037837682155455420729331889853641287275670864985380041509991532203069380520686751572264316194781307566836483536912479276990743183189331422857227723558256074926671453674224002471184145346483039568662411640794451760662349983947891784114011623621546978088524086000871928181087345572088562503808816600910334542743966376959172155681677137148161627596254663207968313535603295514284718256821567340143188358649433694436786391084237893519653114404681847649897268690051709591109768099197544414397687957807605663921115741705006116049771093910478846041851535914913748280214255810975875456067147343123327280058397705937094338089133285297896546999271354015631819054310683820704444571142443824041718518670982825020617054574626529999911031808779672861359903555588992408840061462580872059221365943348705826401761165158163605440076596305979244544*t^37 + 1356447768037038730771852246098481657642925316761757744693867851261159622600731986872872444816211764938198071970697023988266539108173297894247214780501361655754442715781962829566793823869888996894241325357595583240804996874008622420858119672439218293310459380573687378662204070684383131981421220583967550796438130583820369215355212309133285652634497869051538341227791055890672949039957481299316609763913501891702620872787250979581986466219817951790703165045857659974254773240964694797704025771561704648276717877265945562189736503715104351857717458515424173061999531010202457136676636770045306445649540117439500566695810996690376697961130218539363110157855485924105763027273699838369636601162349667157641012754938667813499175876947493755854601546267402063298077923452653115467936178412059207199351267808395073942478069455277867755516624170903045826156409214007590841879705839693576899589350456918034092986259968019039385674056958574164563844850346404716198131526053031879204355976476554821563741947845399535900250221076013134246367541507726390994588886326351521459999630849759799934206095645617314372852509443053746797219091077437498234096358234965327058815461455820585969911865165042422683881095537818607071972630146277002763318586964878982558357505301952324900630812877365288718691516504127611195290726586785359189617105551538847217719024873938448299391140867252709941687094810129077152299777877399388990087945868032472901823290722736548038734619326373819668634832140172665827303920532392298196889812090131443430590183731131663773282771864989485948682960135341191144865103466061614845161600174361855624096073574927138902296728354592418173175535912504798982001813533474123550089829008030350917740588571294012431715503424456322314040030760694178257937347570694071228477470594558146556859995651978174530444176211077207777528820828535674971105530052638810223696837644317727307350287333640978231675293961707266473340143001456135108922334520270212414054284430433995641628695164603163891879752451088540256452930746801228853244056870517211451947080806341994553638105824255458601332570143403212834268346947971262695926727490453822302819731609213085675280919777294715763516165290395960261519320892169885139620993861051331219499837511767569484416374215400624934039758342625253572732576621942286396926645752270104558861829857885314120420683503558173928946650317662379030969613925390625/124384218659871577349873556399790932089098836362336545598887855035658702494112962984141691101056981275887064003771888289638184700184005793396694947229589958025581097933994995404633052168233009353964423037397892016660923885487612098550776464489960143252591960651514985446988573915322880724728767974361385005270764822797269327841385421703348609184066600197689427736610735845701582136481360265533044454382328824628158632310465745589165506911248668390941949585745206292328111188196978025066192714146048559816285841212512756203762194072329487806851351743431132563558559841943468685578067828703929648309453051312353122331006382234476625475563227161844066285265055682295014331609802990649653033417969952497153475361346826938850114755855134957433845791473844510320409372299043560095395042773562669273044068936185333648469377323703754897186824814488170370004318994073634218986867603506476593259254103357270198554896833159567922003683743704454531001020039950964769487262449962222091622931355332398559333530181222976341125775368457204321265949377739734168373136969456164024804058549969445814759891044446396626958295648359580234844430072849529195388480129305827309644130233697830241993415153112191653597321152922154519046480344224619501151697918655464100834464711655047800325717000734424502662112680344421405441058473763287565478020846364712935263981231375493408263204630712976491565334935984880193411698899963792314585948384869595884123479628740934137738730297753623788159712896980075675364310910841458663779707282574551341729970760083019983064406138761041373503144528632389562615133672967073824958553981486366378662845714455447116512149853342907348448004942368290692966079137324823281588903521324699967895783568228023247243093956177048172001743856362174691144177125007617633201820669085487932753918344311363354274296323255192509326415936627071206591028569436513643134680286376717298867388873572782168475787039306228809363695299794537380103419182219536198395088828795375915615211327842231483410012232099542187820957692083703071829827496560428511621951750912134294686246654560116795411874188676178266570595793093998542708031263638108621367641408889142284887648083437037341965650041234109149253059999822063617559345722719807111177984817680122925161744118442731886697411652803522330316327210880153192611958489088*t^35 - 1676145449337228395093552589655196485237710907419466282063025110054628627505292787010856648432633992689712425475229216391093872259899649775743282601517143680461549234354833332861730535188342249352488460519928415572639311196868793217702018618070840153800488150874130641746996717414788503904772221339805136359890766830461822563876921258082966847118104014091624770743723657043316731727285911527759556352659021047896660379247137909203865629956713556652666240693034698447349813982826387745122575278588941675301859684207617167181224362817066308339219580475443043263259946701810350893658650151272602240559952317975558892836661536820010534847888652033737769972096379546618908060798140094268444829576696983420376429941120609055074525418655882975073437911983689377511960898227788651954340335979770300814090170823988974350949877479215575921541916824716309438809437734601977061859203881894006488521945824321937029055345013888138371459168624152203111999096535841096077761631781799675241694215981615023857204414633111664937766209188194556589222126121988980771936851050511505639604250233464947514806078413157684769640947105240155387581391086613709530136907770713402906065868544892501399218066467570938181874616946490195889483244548446676517671649534181909847052972765018304701426456335975522455240809102672162091522531800868941099819634012593110695514847592429527169925507456528709312177389855976021096960222897391102423663122464621628793840545838192612591474982040779780700432348240235763217856641090876763747085170783950478612041398388020264310574062020330950722802922425585976762680449364775333501518195756140327387444271288312911386307020077912867529332806227641414085477624818864045041888904376374232038052717152364043317143772934413088054134286541505258753259487073906746063161014198374271901708136256722828438970046228539420639491961502177072897428312385498422679907689389394234719117579604409929898269394114213464325962126241800975696448287082084430744216768092821990517729043443157174429934790736758393488262493991027954755283476723587157481147358635280819460151582275850009457234938874694585242525724721016953482562301176006436109481848746663752254381733354634789386599947225973982857345167182693675400158455767443231498347670723364371224526034717871216461106598472960187958349364326123562192191213396341945002799093222696675543716000387224279034034869772874431132228170406640625/31096054664967894337468389099947733022274709090584136399721963758914675623528240746035422775264245318971766000942972072409546175046001448349173736807397489506395274483498748851158263042058252338491105759349473004165230971371903024637694116122490035813147990162878746361747143478830720181182191993590346251317691205699317331960346355425837152296016650049422356934152683961425395534120340066383261113595582206157039658077616436397291376727812167097735487396436301573082027797049244506266548178536512139954071460303128189050940548518082371951712837935857783140889639960485867171394516957175982412077363262828088280582751595558619156368890806790461016571316263920573753582902450747662413258354492488124288368840336706734712528688963783739358461447868461127580102343074760890023848760693390667318261017234046333412117344330925938724296706203622042592501079748518408554746716900876619148314813525839317549638724208289891980500920935926113632750255009987741192371815612490555522905732838833099639833382545305744085281443842114301080316487344434933542093284242364041006201014637492361453689972761111599156739573912089895058711107518212382298847120032326456827411032558424457560498353788278047913399330288230538629761620086056154875287924479663866025208616177913761950081429250183606125665528170086105351360264618440821891369505211591178233815995307843873352065801157678244122891333733996220048352924724990948078646487096217398971030869907185233534434682574438405947039928224245018918841077727710364665944926820643637835432492690020754995766101534690260343375786132158097390653783418241768456239638495371591594665711428613861779128037463335726837112001235592072673241519784331205820397225880331174991973945892057005811810773489044262043000435964090543672786044281251904408300455167271371983188479586077840838568574080813798127331603984156767801647757142359128410783670071594179324716847218393195542118946759826557202340923824948634345025854795554884049598772207198843978903802831960557870852503058024885546955239423020925767957456874140107127905487937728033573671561663640029198852968547169044566642648948273499635677007815909527155341910352222285571221912020859259335491412510308527287313264999955515904389836430679951777794496204420030731290436029610682971674352913200880582579081802720038298152989622272*t^33 + 2351841956859032670830853644033839722363023844974532777935086579261425603314208117243594862270973165863058062134781511640433065333487862989017514676523721669174335339250018411517984505024412889318963256145148834393641278781205654360095904952951125558151340982713567222421972443977480327385803104414255503857614544800174230342097950749453496045087493496970696835396010718907585957642401992101898405264587818967052227663086145170196852701130280018040025809310360082952376259419880376217925741868862118670909936993661336424601512966877689654043694391943844357582107970999251079762724841714267900539814816008046220518419171079089354201558542434210622992480267146839263097665647740686376038604842199518975696589812400465621563708546572748627018853780950991330940882740107354191927028088249239889680528437035265015565590703085153531444811967368607451327850183067989472144107658162001584130705996101036437698622633223089095114163571431316030533298245547514415971131363104857628956877254487257380978936476977624691338695674258620974838962647017192003674378611866186336869403626605429282027883349407662192000553805520546251501102800885456226936596115638499467944826554629235075044227646981352028447272409582458072573885916741458295077155004050014572642602316027531029717645941168037682459114645961296259377953095463001360024159788832471525600247634127950030680826332430865374500220963517994151710103686988975372312461309817583589239482702607701805603147267876173665594136368697697057560888684535085945352291048927231926153746900977572695265741653473552069218324749232197006537063298072505090255793259702705620725893706997341105098450532404035161003876018016978935627166869995911674999816582666930196369880217999111234857105120537672140840306192031937951670947601358382803021705113647681495273587032255588203318880675117958819638774313228030263668682436330945472824101830058349476502341047974221946044654371857040320438165064819100751127151028246543775812271251087167918384708960620118121544497216751786647736222368103845680800004710864252778798189375360513562456613739288124008419511431412969093374601754193741891175258686882343213444335935619962208565477405708074365451417151493452097260034659635413299880782282750352436102455526128310534931051281733105698582545122243040407979620481712596598839605654972339043585614032671138605714899584419610518487518430483114610912516083309023046875/10199505930109469342689631624782856431306104581711596739108804112924013604517262964699618670286672464622739248309294839750331145415088475058528985672826376558097650030587589623179910277795106767025082689066627145366195758609984192081163670088176731746712540773424228806653063061056476219427758973897633570432202715469376084882993604579674585953093461216210533074402080339347529735191471541773709645259350963619509007849458191138311571566722390808057239866031106915970905117432152198055427802559975981904935438979426046008708499913931018000161810842961352870211801907039364432217401561953722231161375150207612956031142523343227083288996184627271213435391734565948191175192003845233271548740273536104766584979630439808985709409980121066509575354900855249846273568528521571927822393507432138880389613652767197359174488940543707901569319634788029970340354157514038005956923143487531080647258836475296156281501540319084569604302066983765271542083643275979111097955520896902211513080371137256681865349474860284059972313580213490754343807848974658201806597231495405450033932801097494556810311065644604523410580243165485579257243265973661394021855370603077839390818679163222079843460042555199715594980334539616670561811388226418799094439229329748056268426106355713919626708794060222809218293239788242555246166794848589580369197709401906460691646460972790459477582779718464072308357464750760175859759309797030969796047767559306862498125329556756599294575884415797150629096457552366205379873494688999610429935997171113210021857602326807638611281303378405392627257851347855944134440961183300053646601426481882043050353348585346663553996287974118402572736405274199836823218489260635509090290088748625397367454252594697906273933704406517950104142996221698324673822524250624645922549294865010010485821304233531795050492298506925785764766106803419838940464342693794118737043783482890818507125887632968137815014537223110762367823014583152065168480372942001968268397283961220825080447328883062981639621003032162459401318530750863651890045854717955137953000043574795012164272225673929577223773683471446617858788855033707880502058563618324906952146595528909667360787142841837062041183303381196950238750919985409216639866349263024183116594755049770079863263017712304014709187755529888831085938831292172561794180596105216*t^31 - 17298277130890439321437775759173578248157019665730611511320106097988026714971811354140625656599257237955866078666707938460603816834711596469462935865421808375339628081613141965918571697750308880676847664039780939048157636674209997560489675223271211005573259557227384365395724907363594126244188014844735767831903972197867973279216723614866609935500594303944229934304630798112036558440244198178096152023865991225568526976046939844356772550221089374391320300038556891657609256476560759062524829733109130934794724860624335517118851533285828817801997276122546543796851833508923023342881284754633914882520867282174309697338953531909614173184089200735317541157919145219554769012374530078370736923319222136455938477801448539899694800593364048791011208520086017195724312058079579239035641726367295169877666601510307252089945614106608137464343985945651233982642819926432378907693829847329068739754245057110456849026277502602641034333906019448744522283496000013908642820563278050233900051803024328119368099737299482111016067329514065713390039708830414634469248046328317010386844861771370254541500930028583883910041659706518897256745243606703846926540034827179609721138392621508883220961791150526747709139479100337758256910080354328728780890553793412709192075342382091128799884524542348699325406127417612946801863261283731968603990608413625123070604791078805103458325596139674396940530602017487696079626258397644999638847875842663837058674737373214446242353571541701412404136698219345738861890633666793688298814380608581996854463561716877952627311557757149993549758349813753066293774671411443231601280532255907505374553435609325732663003103257508856421247963133872664363102962837068190283111948197130953888033964025620107181022028279992696737172239411428053326324690632073500646901078267458125829887358710308571025036883475030156984200945048090315858323072044664175191073046557458999737986875582079812891030986986765144686341360243313714551899805819322697806236956336505609632999022892971276753368928149717828174934383943198024262145083831941465559535505503573735273252447065211592196482567746694901788226820279829242494479768141566049996583120862536017900097263153685275588135972640631082340802563305432323084256918968390905224209048820890222597754256903071098255826046189771407135035142125445466500660092539084980883947042613823713507624199863891461873964097571714801328957988172588671875/20399011860218938685379263249565712862612209163423193478217608225848027209034525929399237340573344929245478496618589679500662290830176950117057971345652753116195300061175179246359820555590213534050165378133254290732391517219968384162327340176353463493425081546848457613306126122112952438855517947795267140864405430938752169765987209159349171906186922432421066148804160678695059470382943083547419290518701927239018015698916382276623143133444781616114479732062213831941810234864304396110855605119951963809870877958852092017416999827862036000323621685922705740423603814078728864434803123907444462322750300415225912062285046686454166577992369254542426870783469131896382350384007690466543097480547072209533169959260879617971418819960242133019150709801710499692547137057043143855644787014864277760779227305534394718348977881087415803138639269576059940680708315028076011913846286975062161294517672950592312563003080638169139208604133967530543084167286551958222195911041793804423026160742274513363730698949720568119944627160426981508687615697949316403613194462990810900067865602194989113620622131289209046821160486330971158514486531947322788043710741206155678781637358326444159686920085110399431189960669079233341123622776452837598188878458659496112536852212711427839253417588120445618436586479576485110492333589697179160738395418803812921383292921945580918955165559436928144616714929501520351719518619594061939592095535118613724996250659113513198589151768831594301258192915104732410759746989377999220859871994342226420043715204653615277222562606756810785254515702695711888268881922366600107293202852963764086100706697170693327107992575948236805145472810548399673646436978521271018180580177497250794734908505189395812547867408813035900208285992443396649347645048501249291845098589730020020971642608467063590100984597013851571529532213606839677880928685387588237474087566965781637014251775265936275630029074446221524735646029166304130336960745884003936536794567922441650160894657766125963279242006064324918802637061501727303780091709435910275906000087149590024328544451347859154447547366942893235717577710067415761004117127236649813904293191057819334721574285683674124082366606762393900477501839970818433279732698526048366233189510099540159726526035424608029418375511059777662171877662584345123588361192210432*t^29 + 108541309045594134219187396235342740197476108974654719897211874922347900188503196196125638499272604013544641336068175483404454851779839554415133915334770591402613580467258570977108415701515873930821549788090467382352744267868272461511840275190962314732686379024835052936190855616016579856714100744230034738981405561330825304999413160421552558508757456563593166765500174058655165208867637248727452533755331914073836688392037624845335671479245466742146057191136977630883028573441842865376530983683749099969336969424602333091291050875237753868808818551423186510233980718542284755115127856623855983460085828145262823098017094164614743749387308139815057048018135325066402960625054059952035827094624804278702900046927545517562841324371322387896584446611835838511935342647535963766268844888801002779969522546650815926942791565978718996449530594188791401443855202124733451772633742300042583685002331037348023501830206169262785064201532908609754658261259651832067977355507098772177911362774161243725425123315572440725281621028157254290169176581469053680870804829965163435520573365963705701616928980171090030512940118612889715120869188360694217607153705543406989081115384467321776092565848084980370882218659666838816331670132931036455314579065301926808552361850254629522037958317763019300961374827483695963298746565697757861872877359153037839303726441117217657767639066636214718295254331658052838027106563577881660051503510026445673511847183084260821397854698668012544392369242147658050613613440730835675527248391261698899165452654045295562553570687733358122941661984033064335898435706543112906423235746440402270360293881988924626663126961478312603410173760948900549008011448809894057373642403162099288116024059089714832478294094429391395188762589784580335424022778714720975626213377518132354924865427399161705052145574653694720510060175010679252548807936260782413091210175490966167611069805394167677740548830165989496551556345122068426499863426841136296658718332842616556220443256200033081053997898755769688057827010673084476954768942703568999242019966683757495753866268160069460524683913736987894467969009876851365909310351456436668793890483156390745817262533855324721033126976834947745478027998738498883737868314492156140035864809658429018333842358770615537812606312595708476889273108851810678473491364362493160551951378129354033497959796413903591893771046622129488526351269741978515625/40798023720437877370758526499131425725224418326846386956435216451696054418069051858798474681146689858490956993237179359001324581660353900234115942691305506232390600122350358492719641111180427068100330756266508581464783034439936768324654680352706926986850163093696915226612252244225904877711035895590534281728810861877504339531974418318698343812373844864842132297608321357390118940765886167094838581037403854478036031397832764553246286266889563232228959464124427663883620469728608792221711210239903927619741755917704184034833999655724072000647243371845411480847207628157457728869606247814888924645500600830451824124570093372908333155984738509084853741566938263792764700768015380933086194961094144419066339918521759235942837639920484266038301419603420999385094274114086287711289574029728555521558454611068789436697955762174831606277278539152119881361416630056152023827692573950124322589035345901184625126006161276338278417208267935061086168334573103916444391822083587608846052321484549026727461397899441136239889254320853963017375231395898632807226388925981621800135731204389978227241244262578418093642320972661942317028973063894645576087421482412311357563274716652888319373840170220798862379921338158466682247245552905675196377756917318992225073704425422855678506835176240891236873172959152970220984667179394358321476790837607625842766585843891161837910331118873856289233429859003040703439037239188123879184191070237227449992501318227026397178303537663188602516385830209464821519493978755998441719743988684452840087430409307230554445125213513621570509031405391423776537763844733200214586405705927528172201413394341386654215985151896473610290945621096799347292873957042542036361160354994501589469817010378791625095734817626071800416571984886793298695290097002498583690197179460040041943285216934127180201969194027703143059064427213679355761857370775176474948175133931563274028503550531872551260058148892443049471292058332608260673921491768007873073589135844883300321789315532251926558484012128649837605274123003454607560183418871820551812000174299180048657088902695718308895094733885786471435155420134831522008234254473299627808586382115638669443148571367348248164733213524787800955003679941636866559465397052096732466379020199080319453052070849216058836751022119555324343755325168690247176722384420864*t^27 - 575848395836194176460147019787795055290642256880289270176072733215025724647015851880235759922412497647553899768082996187912723518275463351691875016173196571185876352649976722353681318598977657201382364304742043678416260214521028370216805849355072325082353927610315479182775990405251838069670098962488001158967500082423307858962935656137752426913113851804567095496384014615518451752766132979593524086406836836469717898179698583597097325798735040176340535196871722030074151149850594180272207540299834543997495331258892051960391344986498559884565132450559050569287084237485041073354617728594131180133863385417057446114424899108614399174311297660672413312946282256263566361597259237023744164638461630275282688277728777366344011226506128890782766323348834030731382884312130675192429842364575735125002645904239887160478842533748418978918641642717796035359644910100710575192293336899996490013282173132115257599355458948358903518333386355607011135249267847983150959674109639081890467860791346310684773473189181834489009914143658244660296994369375653785308187268778109598661056421868126788787894629311379957719768550201061919427915885100929634954278823306413718640762632918255953674580766573777597940069777438864355602646632560682789471081463977187055251347966955291719569628675587287438421824740163222326564047027161801730645037361063460845892550171467079771872348470295622109272297495390692007177809993059209442053274013340666521006169406003388363299547046527890092308611638971556541884620049878553288014100956600718692872468799630025814787397721948740989410079360725596719545436854993105946570982057056306786422030632260581237138439256764989125624366143363640198387911953141802189476065513838550687801241988124313455261835552632705032711004776690454558291002081615020553659871761828153478503859525805339962622683678592116260225439224033740884903498922866100695492388002695135275045501457002868974104392593275867394800326626586280516066041201258506028037487666960731557901661702332131706877250526575839123716766458308490498100601823569377203997172707199708507628893344304774824275590738312432460702721605622177181944190542295820349960857372372534188462212160144161911644377456728431464447199024742324374052282462378876322322537716584153064275754898680617544346387105291062208822520705369918418942438048474469376808352026451796537242531573469863140904713153475908319231632100102630859375/81596047440875754741517052998262851450448836653692773912870432903392108836138103717596949362293379716981913986474358718002649163320707800468231885382611012464781200244700716985439282222360854136200661512533017162929566068879873536649309360705413853973700326187393830453224504488451809755422071791181068563457621723755008679063948836637396687624747689729684264595216642714780237881531772334189677162074807708956072062795665529106492572533779126464457918928248855327767240939457217584443422420479807855239483511835408368069667999311448144001294486743690822961694415256314915457739212495629777849291001201660903648249140186745816666311969477018169707483133876527585529401536030761866172389922188288838132679837043518471885675279840968532076602839206841998770188548228172575422579148059457111043116909222137578873395911524349663212554557078304239762722833260112304047655385147900248645178070691802369250252012322552676556834416535870122172336669146207832888783644167175217692104642969098053454922795798882272479778508641707926034750462791797265614452777851963243600271462408779956454482488525156836187284641945323884634057946127789291152174842964824622715126549433305776638747680340441597724759842676316933364494491105811350392755513834637984450147408850845711357013670352481782473746345918305940441969334358788716642953581675215251685533171687782323675820662237747712578466859718006081406878074478376247758368382140474454899985002636454052794356607075326377205032771660418929643038987957511996883439487977368905680174860818614461108890250427027243141018062810782847553075527689466400429172811411855056344402826788682773308431970303792947220581891242193598694585747914085084072722320709989003178939634020757583250191469635252143600833143969773586597390580194004997167380394358920080083886570433868254360403938388055406286118128854427358711523714741550352949896350267863126548057007101063745102520116297784886098942584116665216521347842983536015746147178271689766600643578631064503853116968024257299675210548246006909215120366837743641103624000348598360097314177805391436617790189467771572942870310840269663044016468508946599255617172764231277338886297142734696496329466427049575601910007359883273733118930794104193464932758040398160638906104141698432117673502044239110648687510650337380494353444768841728*t^25 + 62346949269513862002315107955780547397775619364218502475632946053809057572703476888077009547578982127801125597717822335289462916062958254575528184634398127589248215276984798632383048220058744938969915154854185349639049964564039109742167661955534649565220266875147656836691003775010790457243275486724752878623824739830068002496300493295539557177501526695743592452367949684549724387684651682570293547204199081289200519721447989627789866489662161865092929929179691619161989648189200236196959035424564991558377224487063654155583418981792782957575443905682329788082914010860263367818460628363663069288386830451146949629753051898633756245177372466678391028555919933678716992392372784645793128621657585769550344711939137650986304066612213368354871475194139519735914280891716361323907474907003227756339276979638370175105545784191294292652978296704282264842592243631802769999776194598565474877101626268444210688552118995657795117237567060710523485482886309520659227165058926129128010017891675002335915280511855403868606473467242378114517467783551872858741571974816463196426481580714460552398136776500507150804443450306331882909510494905847472624905098705562844548503116096619711608587816932179554888616388439852682690449636815742941297184500445124704152517355783763908734232194481898950553985134337387799832250036125504958768640221987191493086087985721204152498359388688935167339866856931291944387356583913551734057166182564471934733350871732582471934261753065592317227878933648518107271991031677348931913771168977508921049482110407403012880007769909540848062094475187095540694509112243543735544529346695947337379261258369057774852746145364426144561681366742942282864547632415957390399434625851168480124677058062730791673746742370521073396050419921359649454397449247334150992029940532624136687850748322899362557117018214499447200632524604398214595342327680286614765773586339530749894011314918947336002665921004862246299544885912065231447120414862873050221484118634044543278103060030504913424393288388504048518740238533745110277526635498440777540498173457061458374624857652873605184034069332683065872349333638661873654259532344291835954756545419981086856402606118897855172111586310753191665992068692319468413605681093237821013664540068073127555801322549190748863739403423115231977269345171653821368937205724709617766579591395964300511774255487008343591351316348609971019344666282900390625/3980294997115890475195953804793309826851162763594769459164411361141078479811614815492534115233823400828386048120700425268421910405888185388694238311346878656818595133887839852948257669383456299326861537196732544533149564335603587153624846863678724584082942740848479534303634365290332183191320575179564320168664474329512618490924333494507155493890131206326061687571543547062450628367403528497057422540234522388101076233934903858853296221159957388510142386743846601354499558022303296802118166852673553914121146918800408198520390210314543609819243255789796242033873914942190997938498170518525748745902497641995299914592204231503252015218023269179010121128481781833440458611513695700788897069375038479908911211563098462043203672187364318637883065327163024330253099913569393923052641368754005416737410205957930676751020074358520156709978394063621451840138207810356295007579763312207250984296131307432646353756698661106173504117879798542544992032641278430872623592398398791106931933803370636753898672965799135242916024811790630538280510380087671493387940383022597248793729873599022266072316513422284692062665460747506567515021762331184934252431364137786473908612167478330567743789284899590132915114276893508944609487371015187824036854333396974851226702870772961529610422944023501584085187605771021484974113871160425202095296667083670813928447399404015789064422548182815247730090717951516166189174364798841354066750348315827068291951348119709892407639369528115961221110812703362421611657949146926677240950633042385642935359064322656639458060996440353323952100624916236466003684277534946362398673727407563724117211062862574307728388795306973035150336158155785302174914532394394345010844912682390398972665074183296743911779006597665541504055803403589590116613668000243764262458261410735613848125387017963627336777482344166160298445309972066278610912914221968436580309769164054953563756443954329029391225185257799321899638249593425196163309413831025158348642842521452029299686762490951407469120391427185350010270646146678498298554479889933712371902456029188297429959892945923737453179974037637704530259065379007953366657000436419475883764525084452553116404738669985194942900801319491492776097919994306035761899063127033827557695514165763933605175811790167420374317172889712714570122470748164902163582671650816*t^23 - 9377165203598830988125484746731053552654311957046497406682618934669033746823602418984184642922034152224664885928323953315989313898802020504786483554003837217283775976542088538486026238404998491677284876166008392552769292967815308007424721470058163005378045507532562027718735697018846972926338433842036820540309934806536098519701476080599454927039544399580680828211488253542912380304254071868137191712877941413487782467906180305727893642315116058824012197501105946051152185656381853099933950992992962758488343204902000207012157769934902754206066400059774740520039169162150903793135791164854199186254029990883211511713475658853118224194131152217697816913496404829498646181063565311567632801301415060090029838237228001371453383868173010218713301613336613223344246638858937881220029117474301062669262468842980345102291285257536449931133729502826914359412878371586560525086346737880521321265489244091918756299094107877210877755936463833121186990578894843830383111029472525594691034314749893641778829037450305337170836037785939423680050772299876423414327351012176229889673491054895145275306627803852000737706523361549932182137792178542579093876323122862555127557701006589329911860948854382979540112184485816736111837896127811615997060776407251689851759349080593357840300919609909991288933133440364132888633208167355750398840490779275507774803285383995836661665292008899260858020987810086545057640719208314776104839273740009212811162586110284671976584536515846290155577199221177716665550961410086470933071313053150485373781078421598074957784344804909969850370132849727995155385935691543645947421601029906644185474634713437100551342980318054392264929502779496979767696190322148184098526595139584427982921883490955697135030387346241981219623929135086932800482674533238193496897813756783403478624863728443284524720923040106701752837364268837100768245525528127254178294287229171609276526835249905383501041674851497931555464838273183610578923784483837576323275601758920392798580306025585092519087845785914058432640292028780966707974902794461108095478036577426549847900702464601580077001115512787766904366261828400102543529320719962261621939493295067854695141849735468701735892438649997461423512406872922383235667055578314121731711627771155212868274609723875384803811338029212119291593239578071632236054143398726143993081640375932855757195249013581594581977218780516248614871472647267666015625/326384189763503018966068211993051405801795346614771095651481731613568435344552414870387797449173518867927655945897434872010596653282831201872927541530444049859124800978802867941757128889443416544802646050132068651718264275519494146597237442821655415894801304749575321812898017953807239021688287164724274253830486895020034716255795346549586750498990758918737058380866570859120951526127089336758708648299230835824288251182662116425970290135116505857831675712995421311068963757828870337773689681919231420957934047341633472278671997245792576005177946974763291846777661025259661830956849982519111397164004806643614592996560746983266665247877908072678829932535506110342117606144123047464689559688753155352530719348174073887542701119363874128306411356827367995080754192912690301690316592237828444172467636888550315493583646097398652850218228313216959050891333040449216190621540591600994580712282767209477001008049290210706227337666143480488689346676584831331555134576668700870768418571876392213819691183195529089919114034566831704139001851167189062457811111407852974401085849635119825817929954100627344749138567781295538536231784511157164608699371859298490860506197733223106554990721361766390899039370705267733457977964423245401571022055338551937800589635403382845428054681409927129894985383673223761767877337435154866571814326700861006742132686751129294703282648950990850313867438872024325627512297913504991033473528561897819599940010545816211177426428301305508820131086641675718572155951830047987533757951909475622720699443274457844435561001708108972564072251243131390212302110757865601716691245647420225377611307154731093233727881215171788882327564968774394778342991656340336290889282839956012715758536083030333000765878541008574403332575879094346389562320776019988669521577435680320335546281735473017441615753552221625144472515417709434846094858966201411799585401071452506192228028404254980410080465191139544395770336466660866085391371934144062984588713086759066402574314524258015412467872097029198700842192984027636860481467350974564414496001394393440389256711221565746471160757871086291771481243361078652176065874035786397022468691056925109355545188570938785985317865708198302407640029439533094932475723176416773859731032161592642555624416566793728470694008176956442594750042601349521977413779075366912*t^21 + 7000862901398618015466363646562015205077343679979056970165109222403192951464797224563530691958907949071731916026457509213079694279748555789602205041222829657515783757069591373141937447159598945033578789862405516183453971766141351133014926392991571496003321283902662417651855010242646147339391758835454414029200275376562113334397632341041917305613632494163358270982260493706389915632606894100748099561470606838923504757602937757763687983373202985414594299982921992899580394559414842873897455928314645911166895621163516303855914445496076171748361010392588348247860836495052866400443188550816992887456236671301752211407774202174861725263002399726138143820389654141831693134480234739886488767662240672135717974502935576870603075889836065948566500620360251849311444393350075482827441661349298101106658409341159081031626851493381069255449031779544505008818520409381493937194399579651895595726094530876641699192173831619604779404310684982431233166895595041540385349847101428778527050220871066914507858257062519760418580528465444149431842299974487577156060561480006948118952524324352730322701484721752554952014195871454272072787102385764545504272963074348329200512296179745816913459506177249003203321190194818745243754790735730953880248602229987353146055007057468887480017870057060979159657080431270154165795598688654193742463843888299040772944142553130108450791559808128576354256662285504343810681734589041511735978900434638852151367810156525373649712060040486714910844563612908019083217727508281460744825366464074717098235646222268035605584768748843380590055150483479983560416805677684845558407963223508696523989996396986723917458468779749637643830694274632141827149472577424518662185747681024188831769508297221722477468245037282686535751821256622055238446842306617140846172998237097800922784223856320338847129336356679858373377177564000756784743397277692145024569522973011998772134230755257570087286585803812137622611015531080864223603505389747525559521170366115276237824997166931573700366242800203590836245763821710726793758681853678777236908398683975886011224765652035268350839338374521187965760521426656099755021494887451149736646497376136387409702599523040640769063649037454059522112836633961543926323774411255867958106513523556267273093785387536420264415711005501299143484715304452020249800648668019945945691003765539895470796869073017743806840925663154594799603249059995537109375/163192094881751509483034105996525702900897673307385547825740865806784217672276207435193898724586759433963827972948717436005298326641415600936463770765222024929562400489401433970878564444721708272401323025066034325859132137759747073298618721410827707947400652374787660906449008976903619510844143582362137126915243447510017358127897673274793375249495379459368529190433285429560475763063544668379354324149615417912144125591331058212985145067558252928915837856497710655534481878914435168886844840959615710478967023670816736139335998622896288002588973487381645923388830512629830915478424991259555698582002403321807296498280373491633332623938954036339414966267753055171058803072061523732344779844376577676265359674087036943771350559681937064153205678413683997540377096456345150845158296118914222086233818444275157746791823048699326425109114156608479525445666520224608095310770295800497290356141383604738500504024645105353113668833071740244344673338292415665777567288334350435384209285938196106909845591597764544959557017283415852069500925583594531228905555703926487200542924817559912908964977050313672374569283890647769268115892255578582304349685929649245430253098866611553277495360680883195449519685352633866728988982211622700785511027669275968900294817701691422714027340704963564947492691836611880883938668717577433285907163350430503371066343375564647351641324475495425156933719436012162813756148956752495516736764280948909799970005272908105588713214150652754410065543320837859286077975915023993766878975954737811360349721637228922217780500854054486282036125621565695106151055378932800858345622823710112688805653577365546616863940607585894441163782484387197389171495828170168145444641419978006357879268041515166500382939270504287201666287939547173194781160388009994334760788717840160167773140867736508720807876776110812572236257708854717423047429483100705899792700535726253096114014202127490205040232595569772197885168233330433042695685967072031492294356543379533201287157262129007706233936048514599350421096492013818430240733675487282207248000697196720194628355610782873235580378935543145885740621680539326088032937017893198511234345528462554677772594285469392992658932854099151203820014719766547466237861588208386929865516080796321277812208283396864235347004088478221297375021300674760988706889537683456*t^19 - 133669009747731091403623664520199055247865648134179635296171456772405214322785567338253834888165542506393222712706034500993324729746550671783441495806820993999851105048275349658652746685303341389747253785536289992563556046490855899085080048080363234453825864754634762402683642508127227935093696725352007741542423996140447799583129098372356447940247756047192627482499860368964087854312906228668530713814447964239346688598089780727614773541171405045333262007263785204897456307418094051250426433822332818534282753804974999512512327911723848537639881640346292985761803699509676528715221568073396883230871120587812217224955761906051362448274942148368152542245855758566915404554490605583410760691392046541881232096855462057845800456051350097411777540186769737599897214334071453599179274801702245568828644509923886223804529160544259254072898322484605886193049098684726966046354609370829071680345261531670868192467066955643548153703728946876584594540762215142818262881811703004201079701756354070365681589558274816958573999235922093767935275861258801297526666653436232101856994252086345443678212687671884578814687305883836067816942307923048984819533602528454664656240727212150864124306735549067388007048199768507006459323245530045834546607179238313405831725704046265810278442585118810919755031783554353417992139885351395641627794351960283399270290850679746320204780445799609366767483112433919563833056988843565614404515325654777817026956585950703255524617507941401231126677579873639521095864287868745291012306140484974419204815946852124732603431746687413006495561994523731266013844155779960717139570444932179610931212263705031805675749445993610101357390943051270177894056098455948288927768531202170613964220880064457065348997315537326200087953281204013154473409962983363105513647641629147727726210700514276272465125244070202604480539832758355208331984769476136010510007668546556718876142258337929201335889151845245242120412405724967097889641538388552524150518719855653418181953520432074947517721948342336434118462056331958165891926095451117715380070878425006345826323493190606580658509845165083921147311975982452974596476571556414917370730688190226831296278050458749023698516294629675152881142110074880943108821049768266452762351061267752108840072097193296016881851728944373630965887809759546953169997629724239926733229273255072511129596396778615732269536818358618020019646979310605908203125/2611073518108024151728545695944411246414362772918168765211853852908547482756419318963102379593388150943421247567179478976084773226262649614983420332243552398872998407830422943534057031115547332358421168401056549213746114204155953172777899542573243327158410437996602574503184143630457912173506297317794194030643895160160277730046362772396694003991926071349896467046932566872967612209016714694069669186393846686594306009461296931407762321080932046862653405703963370488551710062630962702189517455353851367663472378733067778229375977966340608041423575798106334774221288202077294647654799860152891177312038453148916743972485975866133321983023264581430639460284048882736940849152984379717516477510025242820245754785392591100341608954910993026451290854618943960646033543301522413522532737902627553379741095108402523948669168779189222801745826505735672407130664323593729524972324732807956645698262137675816008064394321685649818701329147843909514773412678650652441076613349606966147348575011137710557529465564232719352912276534653633112014809337512499662488891262823795208686797080958606543439632805018757993108542250364308289854276089257316869594974874387926884049581865784852439925770894131127192314965642141867663823715385963212568176442708415502404717083227062763424437451279417039159883069385790094143018699481238932574514613606888053937061494009034357626261191607926802510939510976194605020098383308039928267788228495182556799520084366529689419411426410444070561048693133405748577247614640383900270063615275804981765595546195662755484488013664871780512578009945051121698416886062924813733529965179361803020890457237848745869823049721374311058620519750195158226743933250722690327114262719648101726068288664242664006127028328068595226660607032754771116498566208159909356172619485442562684370253883784139532926028417773001155780123341675478768758871729611294396683208571620049537824227234039843280643721529116355166162691733286928683130975473152503876709704694072531220594516194064123299742976776233589606737543872221094883851738807796515315968011155147523114053689772525971769286062968690334171849946888629217408526992286291176179749528455400874844361508567510287882542925665586419261120235516264759459805785411334190877848257292741140444995332534349827765552065415651540758000340810796175819310232602935296*t^17 + 249094509644818454613382844279245778841698945339519931594488176511885605981249020050733472316115933730082508987748198394086256747785784626628713369751278075871513520939510952762472863062582294806751863371789624670815802986269846379888117927543117474844848388199171867760773509495693179527542921306457717395545769960319816450665971827668700043196024793187265229591424349107461353786706540668798187969362003592540990791799015495574252261826121860713195794605542523980616044227339356565425994286018186136210776652586791030886361178633763332514698349266970988256812918956965512012982578209212678483802179091519713014385303835075973778016333648626413880391989436688140728369102021007550478499600341477761707042900228733662997923742659873143132075198870648071451491942249690753734909751813915439532362951613486160248380980686940424788813688948972679578382683200299691521004437606864190228004718676587276365056951289096984443292971909837993983814936611167821548781351435785961598319856463636873711495310851760709900402758234142893068431026461022564819955681988921961043192684269694337010198058982487150611823771804956180391571176752582000059017415851481262187841283823133354831721554917488893407259318476484539492951818700616237002567533857899025578216385937733040847018692367180428232099096451885055182778777268730655747694886730579410774378512102893925009824790760747073132691768021520582805546513838045884657949272016534667042419562776963318991744698405535229812794534378172505250715577160569683616217967567126173753813799088764835104992191506409418621043842167921552637233845270414462608110746870204371941474429022517164543804065548548558932317245909427040834328781751348224330635524133428777766935550532433103442075593850695388906185090823021168805976216800290353687486195291179220954047227091320113201980726340483942547392320569020993303544182953317800536387678223204603345854731829145317703854642207179998848793353421696031590300577750466372182528470087371213280187217888766162652894400548622837332280888236627575095243809016839605613115049963066814308874975746674542901758071162279437739938681980681164851550138686540594385014672942104892719497972087541366322029884285730164094548476501982639100627604974832631897920787174421550522792326070938660522985522061834797033228565130968473032020019485951524406975459645459529905634924125238545273041355532238107769956363823245980712890625/5222147036216048303457091391888822492828725545836337530423707705817094965512838637926204759186776301886842495134358957952169546452525299229966840664487104797745996815660845887068114062231094664716842336802113098427492228408311906345555799085146486654316820875993205149006368287260915824347012594635588388061287790320320555460092725544793388007983852142699792934093865133745935224418033429388139338372787693373188612018922593862815524642161864093725306811407926740977103420125261925404379034910707702735326944757466135556458751955932681216082847151596212669548442576404154589295309599720305782354624076906297833487944971951732266643966046529162861278920568097765473881698305968759435032955020050485640491509570785182200683217909821986052902581709237887921292067086603044827045065475805255106759482190216805047897338337558378445603491653011471344814261328647187459049944649465615913291396524275351632016128788643371299637402658295687819029546825357301304882153226699213932294697150022275421115058931128465438705824553069307266224029618675024999324977782525647590417373594161917213086879265610037515986217084500728616579708552178514633739189949748775853768099163731569704879851541788262254384629931284283735327647430771926425136352885416831004809434166454125526848874902558834078319766138771580188286037398962477865149029227213776107874122988018068715252522383215853605021879021952389210040196766616079856535576456990365113599040168733059378838822852820888141122097386266811497154495229280767800540127230551609963531191092391325510968976027329743561025156019890102243396833772125849627467059930358723606041780914475697491739646099442748622117241039500390316453487866501445380654228525439296203452136577328485328012254056656137190453321214065509542232997132416319818712345238970885125368740507767568279065852056835546002311560246683350957537517743459222588793366417143240099075648454468079686561287443058232710332325383466573857366261950946305007753419409388145062441189032388128246599485953552467179213475087744442189767703477615593030631936022310295046228107379545051943538572125937380668343699893777258434817053984572582352359499056910801749688723017135020575765085851331172838522240471032529518919611570822668381755696514585482280889990665068699655531104130831303081516000681621592351638620465205870592*t^15 - 351670351339692836733077331163753487458929741539031869633576221958705988977746916620974768026643323778104744298648921649036110171620744062322000200543964207068650479738347339147236585891057652145411008751663849408793729139176156614110849837106638684205885868656065350989757915024664892604259599779362139550599201705566632786257248207834337602959450166219464387757346929606419719885634056246829803848800374044589799124747595961290651534157915123583046017718294423158398659468614815532304377954040066872906186128619053616329684629864519878815272445794165413928894817961601915323282958326988259432444857158590148044969290048096901437587206220876621357497493058805754322122458426349216755252304311128896538448672264904625580865497266720670851309900581371555711780205742160935959237673193560594884957454242457266008004811456154102281059638015862997186201110753038441034125007972303047573510949435086483616151346006189966384630458793112130530667172167570514518961618905856991788782191842544611007926976947038196558824996187139843525326338118041565273185838935979588217282709868268218737196624647565748723980707896835563880704329030318485182428245340914916668658117080182598208492264752081788948146980476282704950474664875112435895545491651627672790603420973339367912166223070758166084124236889355447073843634894149314940813335760627841874463329431155339851207877753131411758662399869984540321300922175473063307507445159810570991679322221613411367625124516414492107913745047216094313744161738637591198157776744544281261016559847919765414041237497140242458430339010918653373515462362627493599890775718283861399265428330056898237938246334423217856843681574936033688854726475457105050042118695744375908173108417081327899702274081025101869641466849467428619375261047857227264545805121163607640712377320014318782849351267175855838319672449462068604155844204479044405810743409985879035588100049117454125751012906961932977241119826258887558955140151489105092349446964491338086146861228460362410644735235865196063246484590034112922513979091832999683604818520272741505222694885567411752532578138721812824350767691132220642183073597307478867952570410084131530510827327072048815570996445681170506242843080891900873042003054844738862489562023250844683106430268807255749193214895993119950049010876529959386152866551683120527680918604858231526295419732486913052780202228090283916658112414884344384765625/10444294072432096606914182783777644985657451091672675060847415411634189931025677275852409518373552603773684990268717915904339092905050598459933681328974209595491993631321691774136228124462189329433684673604226196854984456816623812691111598170292973308633641751986410298012736574521831648694025189271176776122575580640641110920185451089586776015967704285399585868187730267491870448836066858776278676745575386746377224037845187725631049284323728187450613622815853481954206840250523850808758069821415405470653889514932271112917503911865362432165694303192425339096885152808309178590619199440611564709248153812595666975889943903464533287932093058325722557841136195530947763396611937518870065910040100971280983019141570364401366435819643972105805163418475775842584134173206089654090130951610510213518964380433610095794676675116756891206983306022942689628522657294374918099889298931231826582793048550703264032257577286742599274805316591375638059093650714602609764306453398427864589394300044550842230117862256930877411649106138614532448059237350049998649955565051295180834747188323834426173758531220075031972434169001457233159417104357029267478379899497551707536198327463139409759703083576524508769259862568567470655294861543852850272705770833662009618868332908251053697749805117668156639532277543160376572074797924955730298058454427552215748245976036137430505044766431707210043758043904778420080393533232159713071152913980730227198080337466118757677645705641776282244194772533622994308990458561535601080254461103219927062382184782651021937952054659487122050312039780204486793667544251699254934119860717447212083561828951394983479292198885497244234482079000780632906975733002890761308457050878592406904273154656970656024508113312274380906642428131019084465994264832639637424690477941770250737481015535136558131704113671092004623120493366701915075035486918445177586732834286480198151296908936159373122574886116465420664650766933147714732523901892610015506838818776290124882378064776256493198971907104934358426950175488884379535406955231186061263872044620590092456214759090103887077144251874761336687399787554516869634107969145164704718998113821603499377446034270041151530171702662345677044480942065059037839223141645336763511393029170964561779981330137399311062208261662606163032001363243184703277240930411741184*t^13 + 361181476044380232443177743000943746026029061334441585109434423374685879904554964973378227045064377277869987516094378150878634494889978760308873105527590375746020942256488482776198475989248140188096318433806219211068266118635428736562953914855145071412480090159230184545665937898822353916268956310204937963522096093384070993984401142964689106713229570209129869387616975522319697488757848379966813417801936152211230775542905112205536419157274688102534969637554447934733763084761668919235761113047079831938916914070502014695588349295658343555259848133859858741221873946498625809548506761199399290898778663250616137437183013622889532873731145276344036723986320625438968519834432076843489597523584243911143620159377216426677480814619775010965332222410997750931089109636628108802780406761933880282945876010007364970516087672802866941450575521616394712027800155326022498168616378367552173769995581653746900127527281253483939792107980296926779541169727274127757820640977257620602968902484269944837141460496230516979345502309924920538365340197662235285798135580115642349295959824741238386827111511282939404151255332423339661819006237598157039884837710501637652597746985382902952061711358581506819806716480179075491919482067010016103600773263720184444003377568644034570249615707657200804576101427862377773006031272463795393996822075673241864523915824409704705567129029885564393100525441452904941570391352498206822493761312022801250295127215488653237109674838474922457250645546675151008673098974989013369864996625713822350961738892544942315586559786877261453236177024391983217526433064696955977626504091041449626562168618383056008196492324432634310596266312001515896307675096013067883668203021222194510206518294459426499179051493869558088680821997718324958967427564272193493077616954192997154577806171736557644352889162463013721422559150572155575921485202017114620016353722591381395813765128564610357884717139905641929411016205694394205271088624980788971029688960075099280809803723816908612491165401837779198598057937635240314103043695743140016023268190764832654544542928958409078439152136953459683082922228038804329984350003271172375864788324686797619436574548897576198144384567284003639494327871617668700291080798447168404630034466881842278036536680810215881528257584022248466810556722342341076177403736397405897448945391706602380726525378941798158986837180693242446731888458357963232421875/20888588144864193213828365567555289971314902183345350121694830823268379862051354551704819036747105207547369980537435831808678185810101196919867362657948419190983987262643383548272456248924378658867369347208452393709968913633247625382223196340585946617267283503972820596025473149043663297388050378542353552245151161281282221840370902179173552031935408570799171736375460534983740897672133717552557353491150773492754448075690375451262098568647456374901227245631706963908413680501047701617516139642830810941307779029864542225835007823730724864331388606384850678193770305616618357181238398881223129418496307625191333951779887806929066575864186116651445115682272391061895526793223875037740131820080201942561966038283140728802732871639287944211610326836951551685168268346412179308180261903221020427037928760867220191589353350233513782413966612045885379257045314588749836199778597862463653165586097101406528064515154573485198549610633182751276118187301429205219528612906796855729178788600089101684460235724513861754823298212277229064896118474700099997299911130102590361669494376647668852347517062440150063944868338002914466318834208714058534956759798995103415072396654926278819519406167153049017538519725137134941310589723087705700545411541667324019237736665816502107395499610235336313279064555086320753144149595849911460596116908855104431496491952072274861010089532863414420087516087809556840160787066464319426142305827961460454396160674932237515355291411283552564488389545067245988617980917123071202160508922206439854124764369565302043875904109318974244100624079560408973587335088503398509868239721434894424167123657902789966958584397770994488468964158001561265813951466005781522616914101757184813808546309313941312049016226624548761813284856262038168931988529665279274849380955883540501474962031070273116263408227342184009246240986733403830150070973836890355173465668572960396302593817872318746245149772232930841329301533866295429465047803785220031013677637552580249764756129552512986397943814209868716853900350977768759070813910462372122527744089241180184912429518180207774154288503749522673374799575109033739268215938290329409437996227643206998754892068540082303060343405324691354088961884130118075678446283290673527022786058341929123559962660274798622124416523325212326064002726486369406554481860823482368*t^11 - 254870309397631136873663830557631846551955545320981799638699728397519439328045323636432580142998764368239543169743857573636035957073447252430717280724819988407423356146887742639250062102087120762213757259061605423496391639516546095712154724852310613764190597503984760681220353267939655311288160892602156112915846918328204391521111713670207882557863991928151455958530417778128789767335402313462104592411148010262408628689031643293493837963822358295616917129356773828783773552692242566200803902908395291912611458854612275707773540909349680721932236043660112545454786093811877200341854794031999397613260363588426828656372653243453194315244196046764391402923473491402193502966360252607289944742645487029060224440994711400953007725974223214543303412955938207050819939034062084399417111423387144850345602974251486388952225050198856310819726992911650617130782007818412394255036799166758069082797654917832917400015882443026835232217305771509491089459879669828017508830923247882873921923759431570442840448957285236955602235694420948450903894050012891124567272813923427293656887633099691876644096983730515091560622024689441978629976617242129366517760622336477825582613599608718513978310801557806223801035246438772093478332988116144546516597644673129083764669589666594377544634583276063195898791872716427649658891875225291584097880356841715503663492795317871269218113586434583012325894983167858629686753802312895177613916987490010856228468941959184917391158328336608998204325357101918111950595789192401651095653270057678597233757148131270886421419493233122358132979139713726160888353197069636669215491115786180089596711658968354402328657927240904703602062364177751951926081029068944438753623984444192598841505182631745368726579716282492174439241887172778545781968527899024211399949136121678477392307638995298138946387612870353794685827352360015934687439659001878550471693465146466549124663580425140803049089596785206502577512386038007175228681403706605310313909283469190803764764209178839792492064530213203074843328727590957954886668967802830821442271705426166928662473031080305015430359190780795788497374811675615936189297429907465110313371495407954263655351120836261691428603865965492723786574823472028649943531608833567589071162952049875923778938167737864314908564797714075899611488672190878443513947935897130245050658138109655753384783004795824394951406837233013506563874439134090869140625/41777176289728386427656731135110579942629804366690700243389661646536759724102709103409638073494210415094739961074871663617356371620202393839734725315896838381967974525286767096544912497848757317734738694416904787419937827266495250764446392681171893234534567007945641192050946298087326594776100757084707104490302322562564443680741804358347104063870817141598343472750921069967481795344267435105114706982301546985508896151380750902524197137294912749802454491263413927816827361002095403235032279285661621882615558059729084451670015647461449728662777212769701356387540611233236714362476797762446258836992615250382667903559775613858133151728372233302890231364544782123791053586447750075480263640160403885123932076566281457605465743278575888423220653673903103370336536692824358616360523806442040854075857521734440383178706700467027564827933224091770758514090629177499672399557195724927306331172194202813056129030309146970397099221266365502552236374602858410439057225813593711458357577200178203368920471449027723509646596424554458129792236949400199994599822260205180723338988753295337704695034124880300127889736676005828932637668417428117069913519597990206830144793309852557639038812334306098035077039450274269882621179446175411401090823083334648038475473331633004214790999220470672626558129110172641506288299191699822921192233817710208862992983904144549722020179065726828840175032175619113680321574132928638852284611655922920908792321349864475030710582822567105128976779090134491977235961834246142404321017844412879708249528739130604087751808218637948488201248159120817947174670177006797019736479442869788848334247315805579933917168795541988976937928316003122531627902932011563045233828203514369627617092618627882624098032453249097523626569712524076337863977059330558549698761911767081002949924062140546232526816454684368018492481973466807660300141947673780710346931337145920792605187635744637492490299544465861682658603067732590858930095607570440062027355275105160499529512259105025972795887628419737433707800701955537518141627820924744245055488178482360369824859036360415548308577007499045346749599150218067478536431876580658818875992455286413997509784137080164606120686810649382708177923768260236151356892566581347054045572116683858247119925320549597244248833046650424652128005452972738813108963721646964736*t^9 + 113419853913324136782510069652555797351136028909035832645285698392176722391278391458802286707850782972673280356489838105425904406361454750446738621566920073669726479822054810311702707410507617369948410847810801805576282805529974927340491419196857313250087137657005363205428611641734503212352701915764963597610034185414191859339582050017878653264984274106067728675252366425346594933540102169974392584031472037588744156408422013068802568873500587515629627663189801023293033212448436650713037778075018915807030606845133967007001293043795285292402271979487706275703120941536937455744238625545464237110099632144456448967295970403847007950081382919601032886561554682612958769289244419591462022910115038376546909502982217676859328621395986964263907084709774265338935028329621457265235719466348944723704256925559216147119526969234910876827183921104397502990591197484598930075240528815481309276019463807787821183967154812974770958672045121665088936056766389825678948310617488402296577726632655837181260651773232096331873191073316792906608683296392206378009485207178471883381050874481487434985932103794950924467313438539941196418272104547954528813237403873075799043010987772973841437629629991908144424430864661750533017636292240961479708828631202066853035192177004761031942373783684298829104363486926954159503619692985798418453100744247755901792158780351064490746368298332785053668853741062121220579518773075059920293768890871607737797848510222057776810090747691877916739194964913323010037395127148358734594615539674999585130928877183013796435430564839610638059404827039041020620410763743918943392198368172751800025088227098944518096242071890478831359556459756689077035387726926416888193457211609676300648658779023152979484263786090922061904776820808561038925330997152827476629328506192886138937422859285719302822825146865164270924894192362487244081066543864886570894539682378368205858501034680405578480738844068039136339902720069340523876481324907197246315942871016139108051422367510636859600534830396895193146372889004312276063836792635532575298850714545914399442248983176969783217963712052162121742171878543125091982512622304179076986495032129508473519443968531384332292073474569029978679400536742181171286126332765538836596531051810056007624428247780526354037316739095610428169747212880491225791161311943692848224081403652539262296345466996481549616880839642787765536207051131933349609375/83554352579456772855313462270221159885259608733381400486779323293073519448205418206819276146988420830189479922149743327234712743240404787679469450631793676763935949050573534193089824995697514635469477388833809574839875654532990501528892785362343786469069134015891282384101892596174653189552201514169414208980604645125128887361483608716694208127741634283196686945501842139934963590688534870210229413964603093971017792302761501805048394274589825499604908982526827855633654722004190806470064558571323243765231116119458168903340031294922899457325554425539402712775081222466473428724953595524892517673985230500765335807119551227716266303456744466605780462729089564247582107172895500150960527280320807770247864153132562915210931486557151776846441307347806206740673073385648717232721047612884081708151715043468880766357413400934055129655866448183541517028181258354999344799114391449854612662344388405626112258060618293940794198442532731005104472749205716820878114451627187422916715154400356406737840942898055447019293192849108916259584473898800399989199644520410361446677977506590675409390068249760600255779473352011657865275336834856234139827039195980413660289586619705115278077624668612196070154078900548539765242358892350822802181646166669296076950946663266008429581998440941345253116258220345283012576598383399645842384467635420417725985967808289099444040358131453657680350064351238227360643148265857277704569223311845841817584642699728950061421165645134210257953558180268983954471923668492284808642035688825759416499057478261208175503616437275896976402496318241635894349340354013594039472958885739577696668494631611159867834337591083977953875856632006245063255805864023126090467656407028739255234185237255765248196064906498195047253139425048152675727954118661117099397523823534162005899848124281092465053632909368736036984963946933615320600283895347561420693862674291841585210375271489274984980599088931723365317206135465181717860191215140880124054710550210320999059024518210051945591775256839474867415601403911075036283255641849488490110976356964720739649718072720831096617154014998090693499198300436134957072863753161317637751984910572827995019568274160329212241373621298765416355847536520472302713785133162694108091144233367716494239850641099194488497666093300849304256010905945477626217927443293929472*t^7 - 27637193190253816574726290740973646734357155842738655023497887471522129692645114104920302481181528866494683013894138123506392646435989320750044369693695385976596852083626444846834665456448107228423953259068511961021284318418901258668336669910216508374036848654126834403119647026459840745177661200255820558625080876933197318355990812477663266887044745309645661180368178057489116090346763740054837082170395942396013947574111207573371444937686998546010113554082253700918317623161265637301720722343424721714076102506256269524589205658272206867372505115624424900966597215596190738922672995074924159669862974803758253317523665687453309283768939539552757248709849077889461454316052221541495696460513725168464323742804920980767385762427864167775330579263339846249921948739934283703725834911023053176563602504803391097008992556417743419177488384272780997196645906303442191657497116569334829880378894715718576867682578740186299499054787827835742732245645643201699093921009022585985398862616491626114102310108408172072674477693985538166223692109623553263215163591455878104145476870940911440175431209979753388422406676769553011060542550777232544051550029416067964517594796528753594689283957211287013349340573160240439682650323367438610329780740763504496726525080028157160582225752491130078130756212411091736156537446164731789505456956721313383847575383384172379268886813126365217902675853475255375057424275332787828750351255241133109857992090201401209167019711471865466890637892944048783152110073758215718757101858758657847226909240413099634384612621441768178124490226306872632212816436877098838852815310955774695528568099265682638312238320979043273413514149206986595796763526140507872276627357020548872819815031332030709293840288132710366199671783016310373151487272558542504674970611163333012542754466634586768438239082248152455782388411238434094795464984112027647749036956494882951638550316713586490233806772138915291180163559789603529323335726711968152262051936832019947578426809899039176513967834464821373199456053138905451261966841696758345602529274884908278001005465788674647721523684775006895440912102059876035465896441723979469543398025989885980331058409624013367771952258731321249533898489792467149482760231081537487873041408923860465586300328830713906241127201103058807699564119387045737227518537095189113610871930837816279173276161275794032803675505822507886422926818411005615234375/167108705158913545710626924540442319770519217466762800973558646586147038896410836413638552293976841660378959844299486654469425486480809575358938901263587353527871898101147068386179649991395029270938954777667619149679751309065981003057785570724687572938138268031782564768203785192349306379104403028338828417961209290250257774722967217433388416255483268566393373891003684279869927181377069740420458827929206187942035584605523003610096788549179650999209817965053655711267309444008381612940129117142646487530462232238916337806680062589845798914651108851078805425550162444932946857449907191049785035347970461001530671614239102455432532606913488933211560925458179128495164214345791000301921054560641615540495728306265125830421862973114303553692882614695612413481346146771297434465442095225768163416303430086937761532714826801868110259311732896367083034056362516709998689598228782899709225324688776811252224516121236587881588396885065462010208945498411433641756228903254374845833430308800712813475681885796110894038586385698217832519168947797600799978399289040820722893355955013181350818780136499521200511558946704023315730550673669712468279654078391960827320579173239410230556155249337224392140308157801097079530484717784701645604363292333338592153901893326532016859163996881882690506232516440690566025153196766799291684768935270840835451971935616578198888080716262907315360700128702476454721286296531714555409138446623691683635169285399457900122842331290268420515907116360537967908943847336984569617284071377651518832998114956522416351007232874551793952804992636483271788698680708027188078945917771479155393336989263222319735668675182167955907751713264012490126511611728046252180935312814057478510468370474511530496392129812996390094506278850096305351455908237322234198795047647068324011799696248562184930107265818737472073969927893867230641200567790695122841387725348583683170420750542978549969961198177863446730634412270930363435720382430281760248109421100420641998118049036420103891183550513678949734831202807822150072566511283698976980221952713929441479299436145441662193234308029996181386998396600872269914145727506322635275503969821145655990039136548320658424482747242597530832711695073040944605427570266325388216182288466735432988479701282198388976995332186601698608512021811890955252435854886587858944*t^5 + 2807138486139774070865319162058588484040755987480384176164780285335823939672153049719140470598712142050629344200653226829916653522443424121812888975798497612458462290784333437290633054740399415013711884186241409657811345526605259489090322392440095098327017670235109153002681085227210662916756984798546574227365339444980206664055296242701652136606192669738846717559237092866050346843392864615972346555824971553486774707920235367418268694935652611586533908405945378807286769623920151792866394333785274445638389645697181351940249321624715902205523451110646985239372035987983533178531197205351465949937763847323190374678806802856382564983578329558290574980648671897520255253244396596636272895482940387684364580416167772313810703720938235754813251693346240113563217830818018886109999870693949808147354285063247805139256986262800355978329259977708203223315938074992217422337427067125226349200122723746846510339717847381390744295203197346665459980843972523506945299310131918553472509411957798119577161016429833041648948733459353822078978569282408066293868368697826141503413057548420639010493549743585463627331777955584014768785703554128282854600578871529252517306958128554003795068126905737450777970672254767694574697017069996463045952092116838372859044066243858429220800911843236412694023357836403643491965235802396201892602804475473641263261671349568440647006490197601988242331120966668695519322142505549759481205438371606192493944216113870508377797277890797194628250771699471533488297780167716454068559470235849978544723856786872042775821043294815580034575516396355237759662750615902246432048979848226897027938498688166499233166765186498170046821058860471807193174274164098606378013127920940564107343102326470919834403844718250277838298757829026422787845393763366333517729657918359703599476634445834119160520540391856686610559014093989695633899110459078367381766413143196615231448315322620771258488410229163855654361020049781251093865541160158986701622725072208496257764739574035817481232483344783520620766466805292853806124287778068044411027167809716246185405700179234767571189491295525723503736991869812024569330502973180997511537204556545674970830636875630979188571225057490954705008234370887708087070692590794615493066308403304769475981125864985235546040159597238523851597582570787314395057324657361182366114226848902899393842356520400641777838354997081650642216489332937255859375/334217410317827091421253849080884639541038434933525601947117293172294077792821672827277104587953683320757919688598973308938850972961619150717877802527174707055743796202294136772359299982790058541877909555335238299359502618131962006115571141449375145876276536063565129536407570384698612758208806056677656835922418580500515549445934434866776832510966537132786747782007368559739854362754139480840917655858412375884071169211046007220193577098359301998419635930107311422534618888016763225880258234285292975060924464477832675613360125179691597829302217702157610851100324889865893714899814382099570070695940922003061343228478204910865065213826977866423121850916358256990328428691582000603842109121283231080991456612530251660843725946228607107385765229391224826962692293542594868930884190451536326832606860173875523065429653603736220518623465792734166068112725033419997379196457565799418450649377553622504449032242473175763176793770130924020417890996822867283512457806508749691666860617601425626951363771592221788077172771396435665038337895595201599956798578081641445786711910026362701637560272999042401023117893408046631461101347339424936559308156783921654641158346478820461112310498674448784280616315602194159060969435569403291208726584666677184307803786653064033718327993763765381012465032881381132050306393533598583369537870541681670903943871233156397776161432525814630721400257404952909442572593063429110818276893247383367270338570798915800245684662580536841031814232721075935817887694673969139234568142755303037665996229913044832702014465749103587905609985272966543577397361416054376157891835542958310786673978526444639471337350364335911815503426528024980253023223456092504361870625628114957020936740949023060992784259625992780189012557700192610702911816474644468397590095294136648023599392497124369860214531637474944147939855787734461282401135581390245682775450697167366340841501085957099939922396355726893461268824541860726871440764860563520496218842200841283996236098072840207782367101027357899469662405615644300145133022567397953960443905427858882958598872290883324386468616059992362773996793201744539828291455012645270551007939642291311980078273096641316848965494485195061665423390146081889210855140532650776432364576933470865976959402564396777953990664373203397217024043623781910504871709773175717888*t^3 - 28065653879730526796388492329360525868053753571954965806197999002447847664851240771490583378332120921555771357680362893815678366009986669219238952463391161232586633207556970895780746919454114445529471303046001096453804786804793152834839946622197038089790938130642842479555606620162981418955673068814225638288878031076995319094047603538851030627588351423884400182205999693256432612377550641374576201761290142236102189414693628410353967416689663549991745856278207100352782576963465384575010656137058426622975690855110643676495918851468766121646057490521344789800551970934842861713861486396188783568789426301009617722368647190292050982028605909941168688973099533631348606754429901640670456977655135849863202497651259158578182906000801444412318798719471242295427312929823643469770612406563956821487475713146096991357403791170036800375156477709690819264615579712004486026396936820531801288987569697234198382980195863750445902006051633285763635546576450923066019644590846645390543092007900407029305891994456696109093655188867637462386755337377093338794181588024739994182478711879510279973916027584464715317743330182427315097965625958877691700427157616124638898080102283561984073962393445690314724848998573229265522077588991677586908945119154780132951181771402823711074304050103625002750189031739667989657866362780955886502504279276531604284207890117801822448331242178272805263160302671919824186266692361252195672931988294534918629745333841314142672602252069872730844177687693375847824490773064031668242178102773928891496862103070570345010385529517746211205180103195959945092361129453737476691563129224799968586975341710746021673369277613131181720544807616094348005965735948360749395986531831276678351470178136770606452999386338477317046661419672028826503583340786689876481147011281316992061994221470241442909725484896528237212187407386340754855670013736236865404716049764252637362972008137230031164085589340146948648634137320988738082918183009232281663336077060677643923239261577274941177274430123291781617661030992689424601385396492957861208401504516348863625190530623463906750940403937507568897968856677768401418276410504592135178432519450675769713703063538057192269775832188614569863953348883320570816806347644049527512630647874407754882522777377273541753835918340961036929348088509062845029038863676302615613023919207332970328830345220617880715482246046799303255535688084716796875/334217410317827091421253849080884639541038434933525601947117293172294077792821672827277104587953683320757919688598973308938850972961619150717877802527174707055743796202294136772359299982790058541877909555335238299359502618131962006115571141449375145876276536063565129536407570384698612758208806056677656835922418580500515549445934434866776832510966537132786747782007368559739854362754139480840917655858412375884071169211046007220193577098359301998419635930107311422534618888016763225880258234285292975060924464477832675613360125179691597829302217702157610851100324889865893714899814382099570070695940922003061343228478204910865065213826977866423121850916358256990328428691582000603842109121283231080991456612530251660843725946228607107385765229391224826962692293542594868930884190451536326832606860173875523065429653603736220518623465792734166068112725033419997379196457565799418450649377553622504449032242473175763176793770130924020417890996822867283512457806508749691666860617601425626951363771592221788077172771396435665038337895595201599956798578081641445786711910026362701637560272999042401023117893408046631461101347339424936559308156783921654641158346478820461112310498674448784280616315602194159060969435569403291208726584666677184307803786653064033718327993763765381012465032881381132050306393533598583369537870541681670903943871233156397776161432525814630721400257404952909442572593063429110818276893247383367270338570798915800245684662580536841031814232721075935817887694673969139234568142755303037665996229913044832702014465749103587905609985272966543577397361416054376157891835542958310786673978526444639471337350364335911815503426528024980253023223456092504361870625628114957020936740949023060992784259625992780189012557700192610702911816474644468397590095294136648023599392497124369860214531637474944147939855787734461282401135581390245682775450697167366340841501085957099939922396355726893461268824541860726871440764860563520496218842200841283996236098072840207782367101027357899469662405615644300145133022567397953960443905427858882958598872290883324386468616059992362773996793201744539828291455012645270551007939642291311980078273096641316848965494485195061665423390146081889210855140532650776432364576933470865976959402564396777953990664373203397217024043623781910504871709773175717888*t
-------------------------------------------------
Computing nodes and weights
  current precision for roots: 53
  current precision for roots: 106
  current precision for roots: 212
 current precision for weights: 53
Linear system for weights solvable: 0
  current precision for roots: 106
  current precision for roots: 212
 current precision for weights: 106
Linear system for weights solvable: 0
  current precision for roots: 212
  current precision for roots: 424
 current precision for weights: 212
Linear system for weights solvable: 0
  current precision for roots: 424
  current precision for roots: 848
 current precision for weights: 424
Linear system for weights solvable: 0
  current precision for roots: 848
  current precision for roots: 1696
 current precision for weights: 848
Linear system for weights solvable: 1
  current precision for roots: 1696
  current precision for roots: 3392
 current precision for weights: 1696
Linear system for weights solvable: 1
Sufficient bits for target precision reached
Positive weights:   117 out of 119
Indefinite weights: 0 out of 119
Negative weights:   2 out of 119
Extension rule has valid weights: 0
**************************************
*** EXTENSION WITH INVALID WEIGHTS ***
**************************************
