Starting with polynomial:
P : 1/2*t^2 - 2*t + 1
Extension levels are: 2 4 74
-------------------------------------------------
Trying to find an order 4 Kronrod extension for:
P1 : 1/2*t^2 - 2*t + 1
Solvable: 1
-------------------------------------------------
Trying to find an order 74 Kronrod extension for:
P2 : 1/2*t^6 - 162/13*t^5 + 101*t^4 - 4208/13*t^3 + 5436/13*t^2 - 2928/13*t + 552/13
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : 1/2*t^80 - 60063169454664236174234913743153368695882896744897641709285767837346767658501244146665515935318636064192185496684328212148015399951457219155184112350862924580308949699679026789833959871528672447497505948229428451949401169318879819659010264455223400640881747324714994495001163804518610517845792193197241326107573812094100556611053825936155028438657080568567515691017863155052250511031144679325903809247899314310136163416633066969801336143878474119920910196004346805231301125723267885618804788628017216618516320551366297614774769849616218888393720117022324736167665491157656469007023571503541504913511125/20138444392706104071303594955537453985862200352396463584607865210412036664118975437539702237341086526762654946254298746752913536487444683319240072961417903589476417683443005487062595025172071101916288072384523385722217479188954366737067704836709079655960435345433585128959252694242428765631582857287211034106157375198379441276432627373330403119000887590457764913370891412951485784234420199279255710263316562058490073433076166855399967794974110521993171255991093625190696971899972395988674560529648728820231507260409620566510120328685203245648332258194168218941116204108495324038283317458373122441158*t^79 + 30984669325851161279366138618208636228881661896678013358534908547904692221892829729051473825884128559120330215790251732374420836469508218423349525692885107898120554010044943106843727412566044706068370521202920303932521875481776286755577343713604216911192411818626188766190936151111470947697366199287701576906130381793303846586996900663895566166483284783008828181218328936428958855164310338310248535896662189962717502625328262462463491421099189572043968701543649008057566067449793826182382935824734968890433807012778092390959406323338474230042779784743624799892961735268947782935285384292319395307015728753438/3574573879705333472656388104607898082490540562550372286267896074848136507881118140163297147128042858500371252960138027548642152726521431289165112950651677887132064138811133473953610616968042620590141132848252900965693602556039400095829517608515861638932977273814461360390267353228031105899605957168479958553842934097712350826566791358766146553622657547306253272123333225798888726701609585372067888571738689765381988034371019616833494283607904617653787897938419118471348712512245100287989734494012649365591092538722707650555546358341623576102578975829464858862048126229257920016795288848861229233305545*t^78 - 1063276470910537945770793890448429296135554670930694256847406868321458032298905582169511338838821746571627583020681532516511754005230061223087811446024256093116602485649445411075158416946811758837464015500582251339312704737140871936472793437449572114209693354439279786305917402630335911222140425107959251862384056745448325574960910098462129008974871532670925266762506140874474653104635612704900613332746212891762503082033319248932761989273033238123970110714001042289082563945039290767260649332061376500498292888829152777591260721914197757568050436259637901652548228860766063217175261665173484151045806749526853/64992252358278790411934329174689056045282555682734041568507201360875209234202148002969039038691688336370386417457055046338948231391298750712092962739121416129673893432929699526429283944873502192548020597240961835739883682837080001742354865609379302526054132251172024734368497331418747379992835584881453791888053347231133651392123479250293573702230137223750059493151513196343431394574719734037597974031612541188763418806745811215154441520143720320977961780698529426751794772949910914327086081709320897556201682522231048191919024697120428656410526833262997433855420476895598545759914342706567804241919*t^77 + 2821399658649156536722151222903153064930960861583481328803788588485886191585874398914504236638778902112244523855625354455204827589398531162371783321267065897900002775205093854889041107376164258983058432159442328669207495561995017649546640705165898739855960191337031192248509465753705104835822025496849983683149529481587943956719964358298055653718381969448285345084282547050148368929064471870513615829477340911228003568397843662245529292901636771883610111509996575103158008433939595406787499389400219288971036815069662372057338173562227020315443679371991061628705144319335541842230026063325673564417257526738481352958/125110085789686671542973583661276432887168919689263030019376362619684777775839134905715400149481500047512993853604830964202475345428250095120778953272808726049622244858389671588376371593881491720654939649688851533799276089461379003354033116298055157362654204583506147613659357362981088706486208500896798549384502693419932278929837697556815129376793014155718864524316662902961105434556335488022376100010854141788369581202985686589172299926276661617882576427844669146497204937928578510079640707290442727795688238855294767769444122541956825163590264154031270060171684418024027200587835109710143023165694075*t^76 - 3028685182880342527861848328053106826523049646056557699123983613750435823958331844365167011727497171461966292008149165102061238974111305303367071936491544418334902464722941655133795047143427677891102471876084293065055130175015346293895606135769703023559118105779234932411634373186169745678588259100981305543508115141767711907131310559799685626692609169624597161832337463314382980526410308028572815790913218982839928985847531045693356781016073985924096374850886892926839191893082384940120397730548505588961584091233742386785195629529047920991582440629187814360976102756740248917471309983964479790434226803934879232565644/125110085789686671542973583661276432887168919689263030019376362619684777775839134905715400149481500047512993853604830964202475345428250095120778953272808726049622244858389671588376371593881491720654939649688851533799276089461379003354033116298055157362654204583506147613659357362981088706486208500896798549384502693419932278929837697556815129376793014155718864524316662902961105434556335488022376100010854141788369581202985686589172299926276661617882576427844669146497204937928578510079640707290442727795688238855294767769444122541956825163590264154031270060171684418024027200587835109710143023165694075*t^75 + 2636439017995983502093336763198168456525996133533070020466857123469159820298959001230931338293653672673278408247921069629357603750919880049816942750930557132979022818295739289582474722755278199941525991921206514991743942468734798291238583307550000537759285897327001086316240702442577701234367158653989123473982588432040743452673239865408072805963692433895649045545921422904370253653410670280505581827001449624893247173944315345631094392984148500544515154832136578663401464467119280670340117372192668149897851515065026966376461601466801450881996524155252897207104944332797605456534009877384019241218534480162823202519543776/125110085789686671542973583661276432887168919689263030019376362619684777775839134905715400149481500047512993853604830964202475345428250095120778953272808726049622244858389671588376371593881491720654939649688851533799276089461379003354033116298055157362654204583506147613659357362981088706486208500896798549384502693419932278929837697556815129376793014155718864524316662902961105434556335488022376100010854141788369581202985686589172299926276661617882576427844669146497204937928578510079640707290442727795688238855294767769444122541956825163590264154031270060171684418024027200587835109710143023165694075*t^74 - 1913502904130248105770400011141041322030941361978518365219484500604741310248415095642339986422799336673119890395205714608667231162352765480597728159127880965440043797008900951605660022233101493046997053833135920036885502910486274121302950330459240412179466255843018388748797192204404830618707617149597426758940623367725758208764841153192925141410257463212447134413815040584333818188273305060194954196333041282940517849174129964373095582479374676168356572571322141867151606305128201519775509378427002183706335912204694504073576509730796849394578227395338002716765605357358386265617717270253976800058518799316064198415900642376/125110085789686671542973583661276432887168919689263030019376362619684777775839134905715400149481500047512993853604830964202475345428250095120778953272808726049622244858389671588376371593881491720654939649688851533799276089461379003354033116298055157362654204583506147613659357362981088706486208500896798549384502693419932278929837697556815129376793014155718864524316662902961105434556335488022376100010854141788369581202985686589172299926276661617882576427844669146497204937928578510079640707290442727795688238855294767769444122541956825163590264154031270060171684418024027200587835109710143023165694075*t^73 + 1181620645795315152481576038112583332548050630367614224420066152202643702822161530153512915552235044033050133114279823607603928903562967401772642136999722361584774050622404987906288771492215552851795224714025895939593749017204496473809446396388690402559103387671783293756661274135545944060847838446514672636951985552382518009360040142094067087821381362412429013498877650649523940269514514745285136022414083012210178358334541436875702827564629425100628185007317578001573444827915217638765758547546566853474944729914964072190667757915059155490795461626842600400102262816255628846042492328569669439978359414017792115884967322078352/125110085789686671542973583661276432887168919689263030019376362619684777775839134905715400149481500047512993853604830964202475345428250095120778953272808726049622244858389671588376371593881491720654939649688851533799276089461379003354033116298055157362654204583506147613659357362981088706486208500896798549384502693419932278929837697556815129376793014155718864524316662902961105434556335488022376100010854141788369581202985686589172299926276661617882576427844669146497204937928578510079640707290442727795688238855294767769444122541956825163590264154031270060171684418024027200587835109710143023165694075*t^72 - 7980080448319097057504213345242405387508196494809836817388336542471324756445809140817234719649587428639038316387952102583173333861829066398157463744700627760678380296818859976122672856574407137419786240243539426978308011013949663126658460578888391552415121671818080742671342224117609023022363898917253148936124538430735932266323526138483350340526888667272585108881486837081437576945036881171229921244938672131966416770449585218585158962854281913740107883009176140545282687648501904730559859719275050726019791830627207376301450312926141503022391946830681112378949137367023745412270184337542142640603950189836675237327355807180864/1583671972021350272695868147611094087179353413788139620498434969869427566782773859566017723411158228449531567767149759040537662600357596140769353838896312987969901833650502172004764197390904958489303033540365209288598431512169354472835862231620951359020939298525394273590624776746596059575774791150592386701069654347087750366200477184263482650339152077920491956004008391176722853601978930228131343038112077744156576977252983374546484809193375463517500967441071761348065885290235171013666338066967629465768205555130313516068912943569073736247978027266218608356603600228152243045415634300128392698299925*t^71 + 4142479081616619717054739067266634366751798866717353145988540851448614403511095514429143989433363929876701364082793582821596947727750008119362237418985132603306765227684826654825080176052340692369326416550784375348670097879297444385081370455532306291930609842467564121739878117464530386735917591489011847925963034153103963147753603638480591383748737523831137734864547693501823362271234120661930464477893186307822918172648744392866414388247194088664615200325986358044578078444749741095635431571399275981753779587666494335007743009634979915125396709703341832639661553851606855947248278646402404159416564206135204049982981100109900544/1762113884361784106239064558609527223762942530834690563653188205911053208110410350784723945767345071091732307797251140340879934442651409790433506384124066564079186547301262980117977064702556221417675206333645796250694029429033507089493424173212044469896538092725438698783934610746212516992763500012630965484288770329858201111687854895166410272912577664165054429919952998633255006120511767436934874648040199180117881425394164599847497182060234670674402484899220692204185985041247584649009024046344263771770256885285841799569635528759955283994229072591989719157347667859493340853349790277607648213601325*t^70 - 48751741666194613493834440776630236766792123569653415238758597206751399181093201099284826742843376146745296668329762551858680673181103191811079320152812729637982154050770186409366567108386571134244307349026918130639282975759530689981999753139595255572987025894948820346488894501167520359143722005105495055464740894730084183986515533784533347793905158966521179270414373024175406009832189250242948887951404589348701881094867071532184050110914814333991757010355824664207910088061886129051999481540003630621154965874787286220795393585052540814935004049858969440847339553982972233817763761537162850534082075889790133308212267222805071232/50346110981765260178258987388843634964655500880991158961519663026030091660297438593849255593352716316906637365635746866882283841218611708298100182403544758973691044208607513717656487562930177754790720180961308464305543697972385916842669262091772699139901088363583962822398131735606071914078957143218027585265393437995948603191081568433326007797502218976144412283427228532378714460586050498198139275658291405146225183582690417138499919487435276304982928139977734062976742429749930989971686401324121822050578768151024051416275300821713008114120830645485420547352790510271238310095708293645932806102895*t^69 + 17869863600269879175829548195535349157127515227204431503713584388815278667733958840383570253406594816254345593440180716341496888535713003554537364489589641957444029208056250240888155858751532469331485803227197616939351871677938837590069058017738254673282207626773884311793404215026250090644092909476412648879218887086612884385956918309381401783903075007804415945639740897625231028491414998126778632555155241072836032210691966057294842891079682538389761558491865669452608766590096211584620966329809885918293124554190598624611059262336174103489718694260076252277356847537966285792164523297305367851366904501186644823534524019711771662592/50346110981765260178258987388843634964655500880991158961519663026030091660297438593849255593352716316906637365635746866882283841218611708298100182403544758973691044208607513717656487562930177754790720180961308464305543697972385916842669262091772699139901088363583962822398131735606071914078957143218027585265393437995948603191081568433326007797502218976144412283427228532378714460586050498198139275658291405146225183582690417138499919487435276304982928139977734062976742429749930989971686401324121822050578768151024051416275300821713008114120830645485420547352790510271238310095708293645932806102895*t^68 - 5867083305189323312085167615306761206066412428437408151345117409130353700058665203111698385287615239362407312733933195996068047990354389964456538439479457526301993908665255918456112973822170558590708456069899318407847493738762801924597839965643077761688502135213017394076268482568450103738264668385324426304957344698756364702555626210393300478414986564451254458775176835767568432997548769433406592885599949853850050481704112426240913333798708150211681040934082967023544105316043025138384288776971463767817183722413743055512524855665946439474419427306797288587263994370726711480042908132785124263009549772674189402256342011446633598969344/50346110981765260178258987388843634964655500880991158961519663026030091660297438593849255593352716316906637365635746866882283841218611708298100182403544758973691044208607513717656487562930177754790720180961308464305543697972385916842669262091772699139901088363583962822398131735606071914078957143218027585265393437995948603191081568433326007797502218976144412283427228532378714460586050498198139275658291405146225183582690417138499919487435276304982928139977734062976742429749930989971686401324121822050578768151024051416275300821713008114120830645485420547352790510271238310095708293645932806102895*t^67 + 1734903100045313864383417083386426041031493642263509735841055250053011500672189112344904624147532826403066826022292985407572753002067891527568138701858386728965773480229744645381776178955876192304939488495660787009835332120969980222885222231205447668316090867669685250030066525192182902369594348628328427604566236283353354838105292885824801556722069029316550622699027218306204100861826834355398592420256917618312120307389181704009377972879138120687399750038508643934030823785170043697153779818850939988062423418598399033205747885740148120333684813552346222021649131457596630127541026375977342822550222007654239510177513293904621604285489152/50346110981765260178258987388843634964655500880991158961519663026030091660297438593849255593352716316906637365635746866882283841218611708298100182403544758973691044208607513717656487562930177754790720180961308464305543697972385916842669262091772699139901088363583962822398131735606071914078957143218027585265393437995948603191081568433326007797502218976144412283427228532378714460586050498198139275658291405146225183582690417138499919487435276304982928139977734062976742429749930989971686401324121822050578768151024051416275300821713008114120830645485420547352790510271238310095708293645932806102895*t^66 - 42199536156669092249690441695703610611500994280833336738388996455593129171104988751615319047187797109987751511940029250404778672730669543789747235972670051550759810987231961776240908163910836405250608036515037638289494830384605915984619988608169222122920179756536211921840893075626354809002244580341309909332804612552226990035221634696287026342902120044067702843355295265932786407281675497093924253512018091812216416393666272353275574967439503576522637728047938296304411142949612894456639642993493297197579384390434936527380067472248543132205770064924429902573432171527072378004980178770387534369003877377834562749167424885804308770234866688/4576919180160478198023544308076694087695954625544650814683605729639099241845221690349932326668428756082421578694158806080207621928964700754372743854867705361244640382600683065241498869357288886799156380087391678573231245270216901531151751099252063558172826214871269347490739248691461083098087013019820689569581221635995327562825597130302364345227474452376764753038838957488974041871459136199830843241662855013293198507517310648954538135221388754998448012725248551179703857249993726361062400120374711095507160741002186492388663711064818919465530058680492777032071864570112573645064390331448436918445*t^65 + 157804277042520289770935210344327426988925724006931789689152356706307159567247567178947970859705117668643134273775780281489708486158919532977933832003412198645907367969838994248910880327392036384144289474893142498008468473290127516235266071820574906328959189588220608486551809263923122332821717958756321990262502335040596032817703015160004044831322229735399519482735052275836943151346455822616417565801315064017978220236838395589236443925262379173131370241197265262411894442619286252566292317273544961494025036896051108423884434478780374770057112587352625329853798356944039896792857871633008479702071584808913408573096777035539961161956841472/70414141233238126123439143201179909041476225008379243302824703532909219105311102928460497333360442401268024287602443170464732645060995396221119136228733928634532928963087431772946136451650598258448559693652179670357403773387952331248488478450031747048812710998019528422934449979868632047662877123381856762608941871323005039428086109696959451465038068498104073123674445499830369874945525172305089896025582384819895361654112471522377509772636750076899200195773054633533905496153749636324036924928841709161648626784649022959825595554843367991777385518161427338954951762617116517616375235868437491053*t^64 - 34964598609923151418503611576141017187128681082805379507575204301084622919569386420383120861984889903752731315305538315673725254163712421534370895912968851969496860177001790556635317267518017227680198581074479156913403812317138761523645523603490637104689318425808562616737779288678315806842675919622018552193422569275692168953612531346280734935058321062177819308401513909505923310523884937901279540780627578742577874237889479507569117547494326000672690119015691201668786648393906743349440117913604286911201183909921260238680502946581124176511470743940934872545610495204658289370147748380211098228414141801471369036543004237199614927938936635392/70414141233238126123439143201179909041476225008379243302824703532909219105311102928460497333360442401268024287602443170464732645060995396221119136228733928634532928963087431772946136451650598258448559693652179670357403773387952331248488478450031747048812710998019528422934449979868632047662877123381856762608941871323005039428086109696959451465038068498104073123674445499830369874945525172305089896025582384819895361654112471522377509772636750076899200195773054633533905496153749636324036924928841709161648626784649022959825595554843367991777385518161427338954951762617116517616375235868437491053*t^63 + 7082857948059360659787238930471814256003616397595715980251814136098737097872291321007810063917352800357421117126146057121712777278755867541060322742810433518460027667942872818734602213217333160648516994869560437334723065987288284179020014503581111261675619689398199412294259003479809504135788450605172065564547241555210970884598242730378662024788449362986144570074083420328574287777414010334956628614268892961196539596902125145750053974309029044160472702659757016482260104272497550323896877735871503440757222078608485544906332151478257424619000019377830392056585394436021862455343254104704753993402604473871082407478704211783839264493878356475904/70414141233238126123439143201179909041476225008379243302824703532909219105311102928460497333360442401268024287602443170464732645060995396221119136228733928634532928963087431772946136451650598258448559693652179670357403773387952331248488478450031747048812710998019528422934449979868632047662877123381856762608941871323005039428086109696959451465038068498104073123674445499830369874945525172305089896025582384819895361654112471522377509772636750076899200195773054633533905496153749636324036924928841709161648626784649022959825595554843367991777385518161427338954951762617116517616375235868437491053*t^62 - 1315145207648755673286844931750040767079989544593229536720195371884660601307006943685756809094404910076941196127423242636649290093796471792690233780532148364423484820332386730277590620599678163806776572427122365003809308086686389634250564462737635531561834308709860686499859855719925262882829235829833765807283656505608398439430251782300074894804474271720990168679615534273229433607976900801248804901488919395907816274282134004723814003847392953235931700517409210382334878730046807008767625878749526546648391668873312681399463634223212728430077712519989972260405751651457084916135957935498734545152171484318827952641351523913751644196001992738865152/70414141233238126123439143201179909041476225008379243302824703532909219105311102928460497333360442401268024287602443170464732645060995396221119136228733928634532928963087431772946136451650598258448559693652179670357403773387952331248488478450031747048812710998019528422934449979868632047662877123381856762608941871323005039428086109696959451465038068498104073123674445499830369874945525172305089896025582384819895361654112471522377509772636750076899200195773054633533905496153749636324036924928841709161648626784649022959825595554843367991777385518161427338954951762617116517616375235868437491053*t^61 + 224333376602545151222424453228242692361171004667371040727975142818037311281742219265510836956637100444632633478250823909735567408542787270095113424114565806874624013974404211011798538254486219013369089252366466579542903992478966470458996420159744422034619070316855503398160123086516976671898098686233360872736162987073106952654561085836290447863348062024148734840905322370317884178353157807198189588873064369589175218988293759764434324329012339313807604430487908675551196889936198120400986730173126686391951273501262499658321004111169535627518454632321578890253506679303860510160282005104605870914341751724306067857312766652632287772076035077154275328/70414141233238126123439143201179909041476225008379243302824703532909219105311102928460497333360442401268024287602443170464732645060995396221119136228733928634532928963087431772946136451650598258448559693652179670357403773387952331248488478450031747048812710998019528422934449979868632047662877123381856762608941871323005039428086109696959451465038068498104073123674445499830369874945525172305089896025582384819895361654112471522377509772636750076899200195773054633533905496153749636324036924928841709161648626784649022959825595554843367991777385518161427338954951762617116517616375235868437491053*t^60 - 35221963824148965190868402157524088324379579532402177137164031667328343656484939375102431362853905862213969482953059715835747967019039730544663162053110619481378332901319822933129941876124125291539034223413181272964723691383896584327342924264650351404978215861773259266782155374801936285895984637910741637558474459088928628175163457548839911359420942592212548865489164874455448315996982461270170596168132360135956414974222105076828011454894635987453180351437488218317847546593846094491961389142589948852583414366004169304356982072837954693070576416551408062277235665385100893532836727149093759971596809925992446869696762774545788491092660574138893598720/70414141233238126123439143201179909041476225008379243302824703532909219105311102928460497333360442401268024287602443170464732645060995396221119136228733928634532928963087431772946136451650598258448559693652179670357403773387952331248488478450031747048812710998019528422934449979868632047662877123381856762608941871323005039428086109696959451465038068498104073123674445499830369874945525172305089896025582384819895361654112471522377509772636750076899200195773054633533905496153749636324036924928841709161648626784649022959825595554843367991777385518161427338954951762617116517616375235868437491053*t^59 + 5098798946633883657363294126752829588014774963878334289427591711924565233936155665914895425296299748809913216871438425827327195909789427781242183557028919400158654422115603167739290420879409428182780029440420659678508829054583510112458302878785468215702832103085113595255336526427867096922445165078288461075827885961406920918879250299514767352463754095196556847082236170027368358028079425809654702876651999488658150118423991521304414601283130682189561498873235464660079675608942630614636684160653675673460228070396582540100616800586981733556612470942382704432172070069577870320670879259733372821169218739066862462556067067943070010406166287539123016171520/70414141233238126123439143201179909041476225008379243302824703532909219105311102928460497333360442401268024287602443170464732645060995396221119136228733928634532928963087431772946136451650598258448559693652179670357403773387952331248488478450031747048812710998019528422934449979868632047662877123381856762608941871323005039428086109696959451465038068498104073123674445499830369874945525172305089896025582384819895361654112471522377509772636750076899200195773054633533905496153749636324036924928841709161648626784649022959825595554843367991777385518161427338954951762617116517616375235868437491053*t^58 - 681546956675952488415973931415661370776085900515622605052919540589300479981698978258325393063675044315626175921235806980050744759204928240411171199693696556982798008910109627295014661718766632033554344941042726739046640688133049418539592985812710820434912778957613512762077199102300329321649005026006497308764620660300723590198420248548799176174077099790922628423846534734333576650738627734165666830309104550331619313816811263089867557635131924138076393837605881073027070054771391403919681805081923881170862172801769132759188352580198631309248532864245641129238631526436556402622695025988070627784643271218058740868042580716447615285045562187689830477987840/70414141233238126123439143201179909041476225008379243302824703532909219105311102928460497333360442401268024287602443170464732645060995396221119136228733928634532928963087431772946136451650598258448559693652179670357403773387952331248488478450031747048812710998019528422934449979868632047662877123381856762608941871323005039428086109696959451465038068498104073123674445499830369874945525172305089896025582384819895361654112471522377509772636750076899200195773054633533905496153749636324036924928841709161648626784649022959825595554843367991777385518161427338954951762617116517616375235868437491053*t^57 + 84226877364667630029925754153042308976841704098885834722154771614173394727724412523190230102615257569902738690194133359835728959665157999043785612323765416440425161947597124932811238629122319521694888583703886628787668858466441444382982762383477018683383292863275342916241694246242695761939093714669107923828752721648604758646799808493390136654083046890782020093864619193625617537081490106227954400747578734185201523897308892302181120764984244045487782443957514436954056653494248778022066936632918898167622694771877557773398770568094324661839341936379188222191883223795540571965139603577178349671595599796315126195475662688411864953843809972189200390417285120/70414141233238126123439143201179909041476225008379243302824703532909219105311102928460497333360442401268024287602443170464732645060995396221119136228733928634532928963087431772946136451650598258448559693652179670357403773387952331248488478450031747048812710998019528422934449979868632047662877123381856762608941871323005039428086109696959451465038068498104073123674445499830369874945525172305089896025582384819895361654112471522377509772636750076899200195773054633533905496153749636324036924928841709161648626784649022959825595554843367991777385518161427338954951762617116517616375235868437491053*t^56 - 9634063290073897034067650957114323842485956963867258107119529486716283276446894373686080102241396219744269025810730012851143019878695030996083096431295657258730615780843901662771374325315881622591711471660871145763837953428926170742989162080146023666283359243708119544925028305693296657585180706303646790686486362148471688605441081529272148665422338113184928479530581091106341445301753907629013463475859615412436361776176343513402243463122162379918700888921354232307657613409876595650705912901702356156134416949600916379099654318257242546359685655199163735024304623365710549999634856137332345120136579885744693266083079119721290638271653171784623057475500769280/70414141233238126123439143201179909041476225008379243302824703532909219105311102928460497333360442401268024287602443170464732645060995396221119136228733928634532928963087431772946136451650598258448559693652179670357403773387952331248488478450031747048812710998019528422934449979868632047662877123381856762608941871323005039428086109696959451465038068498104073123674445499830369874945525172305089896025582384819895361654112471522377509772636750076899200195773054633533905496153749636324036924928841709161648626784649022959825595554843367991777385518161427338954951762617116517616375235868437491053*t^55 + 1020892042476362209196334446853310629161762055438068884440899826052479484173226091230081632659219444763686877240536697201356721653003943038515336561251248785035783917099671509399718610141848618507245474788095523872992894425563300192356277819817294732719218803336846475446198265077414892282316085329277283708667070821410239469734516803508227732271570540986746423494290010877963598651395565507582136861587327838885335275245819215502776132276104071399492233561703426764801297006330467794745025151549281389684557990517392635339386387731368168336784845017462448165507315757423207869479080698760591027306148024111367752529915197040651144565303006024211907850203142553600/70414141233238126123439143201179909041476225008379243302824703532909219105311102928460497333360442401268024287602443170464732645060995396221119136228733928634532928963087431772946136451650598258448559693652179670357403773387952331248488478450031747048812710998019528422934449979868632047662877123381856762608941871323005039428086109696959451465038068498104073123674445499830369874945525172305089896025582384819895361654112471522377509772636750076899200195773054633533905496153749636324036924928841709161648626784649022959825595554843367991777385518161427338954951762617116517616375235868437491053*t^54 - 100301232049725713351554271972602616489179288879189565002106296849732135746000026251275838272556063828563062279253453008401174615873565231668617555946912667245245452375841605805920838636900092821131765339033260715941305339334504061532600076913945103104356527392081255487305725767497787065639503959398898435753250005270210544113957050030103345070707619577193053246571174466821268743249602294689731371452820805309627746287760156934682394941891591900917413189408636239660348896140617518750773614477836380267863285489629498967843132783450989017473736690251070012354343394081767593620400115908908041661391130556891249092674963119739038734034595774342897711633940453785600/70414141233238126123439143201179909041476225008379243302824703532909219105311102928460497333360442401268024287602443170464732645060995396221119136228733928634532928963087431772946136451650598258448559693652179670357403773387952331248488478450031747048812710998019528422934449979868632047662877123381856762608941871323005039428086109696959451465038068498104073123674445499830369874945525172305089896025582384819895361654112471522377509772636750076899200195773054633533905496153749636324036924928841709161648626784649022959825595554843367991777385518161427338954951762617116517616375235868437491053*t^53 + 9142722129497987334717244791720507864359811891933949045611234747231899600653330857964772931377733864529048271727104806378245761521609308964056028207748058354828545683237519253482485386260345101660147374888219470598934538333648657156070265929172399000698702353450552997104729105946859547420621512318860005829507636208001243074594912885989934912999081293786866601942922812506722172866024232974804566766539347708554395422171510552620977065326139186570967545959111993702924536943796308160575981674031255872220975511750569967716105936077493587100007947283441205372381761871767651552818438736830224205738392623762502885272155555387187185200568182693630171362994267829043200/70414141233238126123439143201179909041476225008379243302824703532909219105311102928460497333360442401268024287602443170464732645060995396221119136228733928634532928963087431772946136451650598258448559693652179670357403773387952331248488478450031747048812710998019528422934449979868632047662877123381856762608941871323005039428086109696959451465038068498104073123674445499830369874945525172305089896025582384819895361654112471522377509772636750076899200195773054633533905496153749636324036924928841709161648626784649022959825595554843367991777385518161427338954951762617116517616375235868437491053*t^52 - 773607411116863025651265669128471610505682513817140990139393170189515336445741393486073609768825471626891535772555247185539219179390543582384767038784695631690629855478625388032861963080795503720229829555397331925022333595925334943190919026354589326755450523185128223051171026962716579009632077859492578073276001634827668736376525867992738805437480471911631484056806460098068039043330346160665199656030891586477301293428159825742304514119016879207286396718951226203977397107366696037765045328280833462412411817284169348232352581596558155475738977179247631329887134415973974585595485218403390672079884831416422698306599407274870581353384981300589323018147001703963033600/70414141233238126123439143201179909041476225008379243302824703532909219105311102928460497333360442401268024287602443170464732645060995396221119136228733928634532928963087431772946136451650598258448559693652179670357403773387952331248488478450031747048812710998019528422934449979868632047662877123381856762608941871323005039428086109696959451465038068498104073123674445499830369874945525172305089896025582384819895361654112471522377509772636750076899200195773054633533905496153749636324036924928841709161648626784649022959825595554843367991777385518161427338954951762617116517616375235868437491053*t^51 + 60788936598402444150178589382546953589306647035087242550667447080225680376702178837220134869164401551785213021610517726657308390745868521896067409368519095190161429229098592896374941122179304963518810363060730030623411413755677123278351714716389718025961638180189452555531925737823830374044347496621344586427924367526143387246131412021878360608550900057872997406778706475418384871118346497523853541930002033595833525749534210988688858754587179471334470651850583497019389156514105699676480874345647151460999735423988659420854108310202220755542533796544358776539549359120393038382506125410371693879482552487392002484217767131677442197647486830504673666354700810470188646400/70414141233238126123439143201179909041476225008379243302824703532909219105311102928460497333360442401268024287602443170464732645060995396221119136228733928634532928963087431772946136451650598258448559693652179670357403773387952331248488478450031747048812710998019528422934449979868632047662877123381856762608941871323005039428086109696959451465038068498104073123674445499830369874945525172305089896025582384819895361654112471522377509772636750076899200195773054633533905496153749636324036924928841709161648626784649022959825595554843367991777385518161427338954951762617116517616375235868437491053*t^50 - 56168918553883423521552547548857748582088766828875293308883784890675645156195902442065775153315094701691045527779072469185466486725181742095386022751358942676251772701573220356027020201837437669208116548048618737002366780520954910562560347720961587923306923291776137897878297008553591366475964314313113529648890881110683878372909430271708710183555201617189690878834634999271029988743632088982128785022332196086756002145895717798170880893984256799301798201431188532099600520153778705032945369425416026377939117368718302514409600455184070804768707714713898332252403552265828805952111217567410191657314301731211089264624522779334084033115261435545469164458043016122204160000/891318243458710457258723331660505177740205379852901813959806373834293912725456999094436675105828384826177522627879027474237122089379688559761001724414353527019404164089714326239824512046210104537323540425976957852625364220100662420866942765190275279098895075924297828138410759238843443641302242068124769146948631282569684043393495059455182929937190740482330039540182854428232530062601584459558099949690916263542979261444461664840221642691604431353154432857886767513087411343718349826886543353529641888122134516261380037466146779175232506225030196432423130872847490666039449590080699188208069507*t^49 + 300959189134148028885068306449271681553450425050415442370223859549105656040266844833097445880699994081588150659716713422117747496697315659002248619525837626131519652166458033883851710763630845867644846072139564193189667992920595608522744227600004294602806658779220493913058980666603944906121354063036956751221327961538262539453449293400224051763372255664744895919027691309666734131987853202222114963897022432659390420421790595801945090642974595977711172986261744157981021656368785680676758694747163498219949147935045872881452561115231275485948646980054720927839178828093213729847021122810859685803242804240102819214345393098505195428950523915332076796397527937644641648640000/70414141233238126123439143201179909041476225008379243302824703532909219105311102928460497333360442401268024287602443170464732645060995396221119136228733928634532928963087431772946136451650598258448559693652179670357403773387952331248488478450031747048812710998019528422934449979868632047662877123381856762608941871323005039428086109696959451465038068498104073123674445499830369874945525172305089896025582384819895361654112471522377509772636750076899200195773054633533905496153749636324036924928841709161648626784649022959825595554843367991777385518161427338954951762617116517616375235868437491053*t^48 - 18968209451540586558823143785670777262020261466108019557111751983775860744357376182324444061889984595413652443814661280782878461885300919683890961858007068242724249173816305301914123390275226022915438741373728851090311612773146877530437873939591564046383804066811383685319092975686540092273487780307295263383955795990740723254854779619152414147624282470754072985700716822261949363648199100829756944589427151919296485712182046723185815906558199859568338267696591178624825630813943277876336582968432328458822878073204739267666601962223308973848065109189483161004672280354052269222773677461961531688698185658926536167263387442768532350648831513733621442396129393604864277217280000/70414141233238126123439143201179909041476225008379243302824703532909219105311102928460497333360442401268024287602443170464732645060995396221119136228733928634532928963087431772946136451650598258448559693652179670357403773387952331248488478450031747048812710998019528422934449979868632047662877123381856762608941871323005039428086109696959451465038068498104073123674445499830369874945525172305089896025582384819895361654112471522377509772636750076899200195773054633533905496153749636324036924928841709161648626784649022959825595554843367991777385518161427338954951762617116517616375235868437491053*t^47 + 23636801934745182202131153885050110950256506795588877139004319444012193674198454196222893510963791186406205278776648650174099038507756775621953277103681081098361425805020584641999212823640276009474749996839953111213016201629143171080025676741343893759857321280989264139932526411232210580840814931677678900105782287824236305252213034900343979332347880570548254131159021012652624158869258116183294192180887735950237790732472481397080240906761216454991214611592709039536831529151708713932865774493947088465497902942657896682449501423340548719339253254274191655437948290581192174299785169728967144976907092527259803086087570799179700317902427351556976387259179647729203381534720000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^46 - 1286345645785907767956889891583450048379757634658780896466433839345804394205982068006161352027319887439593031214758399842091607584499748244000601186702620836654946692561533512641921635333500865026982384144094058571210756649374769049387966223654928245312828820961057035025813094591659170227789727891744632799965399137102225682135004942285760853536913836018732352903376272019914663402444929803624578028673502617854847221951345867152897856701734928689744699323450376099375893406189468118266245370131269484044997894326355650131737776120931062880818437727799245637395565907949104958114447359315204223232882254696873997102339813991604597127729399082347746526789087045395292230778880000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^45 + 65037436096319600301974120576124323084211810345072586451098030363632849543314548225525055607609489946498265349942846274516034072705264168534288840392269084477411705399805879828020055810681362883967561114009835410815614561103664510867432335833749553668434811367874447398333023753913373036139395523402081141377232735986343562538635226646417237228005055776441020524226379559858518654535989829269024852910373024474837991064484855446398813669060064400990182913209794126475763577052883933479105613154012468222377463549637979939284752558369883799204834073364343445799497243964928723705849569570587768082211387099856020006957782889442321528811707844954837498495116589946808612316774400000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^44 - 3054184676698521848163033385020032638723821766345158081445755824563257623344041234698300322766382886807458161557076167629464169837981900492458657250622122221775053755285334655283237976310411580204717334862875002747264959764527782803792881734545426213184034575010777464249634785945543615600677211502726946636886318751015155842436709296690774786613870485546821644804602656778290809948013115061110897885937316110448512089244734570413249231760574728957257152674409629648399021741901066196126317807957156189210225285408955802313457578861537357185804645365162757140503676538548740111036660836173213051527586539204388451352119528106904494402201792505012149023438174106752904033887846400000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^43 + 133169350551838738515132502266357527342397690755210917744609339115647513409177440851638528314026515732931495097794149988943666320882158497724051221509410528856782546909461218815353112670243305572017332138437356254534805530522486009267845466017072076337282807974029814549001889804159555948825155222848963901218896053830537410203045492095587054950179971800135576410606571181109841662306753360472554822184271495534466437240207210167946810104017152534022822504868836622097732476954188988065029402250925983059087665095462385220515197734197360352911192257232524086290163925054830730766257225963467519074212744190026634023877793444247201626012641567481587536472646311623192454590418124800000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^42 - 5388933784641982225958440552031590616055381678060996414238778392103489162332777164624088944013145643698154838274350848837392893372607720491953226189857866668126069415208350266788493677928101723373244255913151939977269555297088044754247491253876343241860356361090726420407712365482990366923115205259360425376991597493401705259886800798223421020704360754166910439815227093555843267666283250875893034687052642396625482671793548351599167092053380566414726751832616712073364984584397203482039806203904338902132877962759195239038365643249612482851095018814355846321036541563729720506896012512700864095981903841998269213967701324070723116728737170630674125904437083237378892959651882598400000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^41 + 202285449178351322301134155792795802870549029397040465598149369778633524292377502824477353357555597806698588915835536542684643743967142243423200569247982820736788946940524981865896914827110886935202003081918623386547665777704320182332928554060639220472864953902916473541178539841396680322374355208768919235194495674730432279662647665546512742328465350905435913883480281843315815952625612342250709876861311608064033708673111215204086134301526668963882633959610019885269508782395207331539340312906812478789306800842432164191787890987423554848980326541484573510504938377710486990773843398632894645232645698532311857461421052746344119432835605348162829664835276599015157085998274943385600000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^40 - 7039209620069106878095168346388867827342963628580124671639368433940679733486370388336356104646874034510177798859679141471298078856603265600912178604154949619327819900398923479982139463897967876212488076286694484037551174595157680304110760765036131901880041826435392082838772660358359968630539766335464236952693647384197777591002353523559845908248673056714272282626225598922808829124137851919893002133618938026401884997595448596534264939725146797383704877454407099224980273163849240568280617487953328414783712873117542938880556456535679144945704141245188482187000558728320552006696454152642476584078711558774072283410468682502909345997062528067791826118850531215093439087234626093056000000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^39 + 226920911487432759303718199705812712974955181049144389567097285356883816641995384114879418655443460900624146279569125683388146856242928741326445577119020254350147261866115171745244991903034714280423190924745669518217568789660224909792530731166046008794584680011464455299903801693453046897950585655521296255001859224182082667386860069345984953073709117647596867167395972833042817294591344797389621036522162465624201853456177188261565892150552014442620316838930352745129626712376970936085774563349311718622033114546766585603239546076120360616877699555144940660379372128114381708769180667272653338603061546033186317133803900050514883581288599855168614434630186412903797354640425002991616000000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^38 - 6771251213049219657018010395164082859992709675068512215942485829209153847516827346084873091023961522880340980287079079994139844314321891431506442066678388166374046003351121641584140354154055384445327781966104074563570174928113800513007760841758840745109291643605825797709483064407240577960983584278575516371792016840622469134467702014887990245652450500078000006782154371107977159439891723240859498692290195392209661674043001200174643580571814898969877354257327042420620114173894950939148622493644438203616108408013461735568181453401494016252052686673743937295384722773430985773108449123687930352560772299831115379298206776601907618003490160053509196227531660644617913316499879092027392000000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^37 + 186860098287035406527562890740662116974239252886170619140244670231504793345977195623000759267072025064172973071545102908241747538518030667034188379816086323590504190550445482507720229069476405293584605924674699138123669285997703298437774292860232857462853110863257915082137406791384643303258893020076850914138367437015380728663535592879371762788001336251938529174017798383234420722812653117955426210510624396909100556270441982574191127488542016718754896509537819308894574500939122224298294633255495888668698062078545914701916039714842975916074641130031925804265801246963054744251834566052694878787969425623922178502678157548648090456332074594395441595949139825459232008653363752097284096000000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^36 - 4764114124522317999316333948780982121271495880023488261878135127848849580538368316215801644432669139156932618593082567314131248610138606308438466773155525271732804870952084668547380508433389650202170155903168024336821331199195775935584401119799388612226990224330734213294311599818439569033400302318024629146573488428129160290148413608802937357904884044565910266626177234761920619631179986731144495392022151214006682378864757835182508902411850643837573778132711321466675691914575847319835308239974305394521708312885782716237040381576817383248162253484333484366115250375221468189576798879673522974281974248948070865276496585703309937975689821370051480011570394342863181202176235209798713344000000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^35 + 112094289213913288790653891027413923957828469722870466539417242907314954419913693035373020824591867845335691941608800407700582863658318119699726164890345301684852577208946716665614673889797028442907653908647374955367316218538297098975384628804380753740906390719541684817696795155284315199891985288595678410449991937387344625752091198132216141698055012088883165918729463136546688532023980832700768104821499665493617569354305497229130416883392555673226916404030350967958457347038431504020160866886745671017106773667692148717930452007879495678940568525837686072024108923659408896790379635151310755086629405805884374255430812098625740728138209540784693278657584941630162864569416894889758556160000000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^34 - 2431022560725453814562150043571668203465972055089592013692388114079702367339226463474271042523253870376837376673258680183805057871246693239951408436082884602387205915893646825305449280000136544385549059334946792415895394194752466940989831516295685553421520635502489886802014588735981891946853586691413318942649842723995501097450099827718903589286434487183859803838269479056420871319026016456816484642989979039422788316622508218626816661133144030855806260504362311708034636827584760546594159895293050122375460079515652767791968472133772603090276936959920141585395109600604258088353834103654745105596695482823905410689116996286220772908319029613750188325956335026682277269547259966968624578560000000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^33 + 48530502920625741877581121052230289340900565281013466514136058685722609005853589103458723581832019869673886566820398741163510737798189880469779786182817038626517372229655153008110457481870559768844732202304342071728677448980467500623431609301358760216666651975612299098837164824107031573787980816347515750469683719813128544045492731712524369988099885285740779913165693231526534198908174930219025590315840184826238921723994678064386091448568626276026233618142518219743699787880794151242808044144543621416888034975148176634347935465378332149653175860330809091760355499765380759592411315827230219234469483552903520124828472990754565387661884324977819087140906803646527215449171089145810407915520000000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^32 - 890474270607147186525732675398919843293669398658510532764391890864493224039109436787765539721077568183354440373568433227220060406579349641802233766558509795068887374585641444471966649761968877451617045920134197260471978806144253003333111176358514357700231015345121270068380536724812554715279319062970391981042968113723091877104610857996741540288581352258913365112255426194962984728014564084079195157606188379660355292343611293972931378010138106510664217282472740094697408501354370354405595452210259744150786637379008067097244888559843335910720872307223490133274917467977451576762862538516996954194919455768879884649935229923555118964813575907311725579626484695994294179820730600934623003279360000000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^31 + 14993730738164264535449495859205887339782229417785812469790927403565534065001472056849162472792423136324982405377268345214854626219595007830215155524015997715530548865788157922560946379946612041762819405359602824466480412215672274522867034103111828263765098232337699242965210817747162308211265659887443412717429394562167776690243932476522119080585387625901736654463467212337173530860845834282916979708952413922026335192639352016673766147073528132030192397045916280668785548855946178477162821361334744526512235658608896490102661895925864640051394651394011508730266109688923026153096991007253863422819309843260271702097656693016493188625872605095003962404196486642247942004292521390586535440547840000000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^30 - 231268672654629909207542792475081334697507260444075681721045171873533706759632258335800911441347719700404506963557017316109748234538102428263393282487549379644084144685315033572636632328222292928280883743228305772482216985631886179576669955240875052202991741164860000961078845757078742878420147082015872355504266818103037545126380429260938320459129132337715634494372325403518825354163090532085223892480703042396254741708784413322749706926702936818103759760909286936609026881888238016648379122627507511788933832844733022327863420582461908922944487806790805555118854257822688474653615909418712570519247840587492235118374813120849247038831186981280695775490793284777479975045541801444717359844556800000000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^29 + 3261449514199192008615207654321297069169795300222131423211540309666392748859358716872955988983090484475196658942125905432147287866639295586873116904289838072578934111372694068579029411267044683059065278101208663116005314794963438127624349336507152896408328959281472634037656092390677426800183622430468240519463123803545370590933171256562248696454246734654774493611693741373798492829180460910572993229800361502310804184539186815607992741250563629583579379544605593460010762863044375545358930411786134146645518526680006614431932215163609681900394687189741971180421054451364780282467009677799827271443246313404196145251600602495111397258245657452492258761475277649070924409742605573418420150258892800000000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^28 - 41964723709554444773335596555335113568419033007351998704891843139365579161161109860688426361557639565478859202371047208647787050977252808283990062707383513220913473126106721398444916597645276632535084991504592688138466661512224966324467747808861609709301519650069015410090670436448929449902464796614254605898880999263387002518146013759075742227383814154501648243772099506223208159932663851097494689485018999796863003774743675232906955663776253396522083623966115068176791823648524979748330073513777961373041435332373335281049206139015902389476854151932749556554682298884424717007711184189781088644883925204854493023863019119382281772358152434489622716145175001401074289550314516310056295435180441600000000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^27 + 491529325570297247159926017986769955076472962179828969882651206437631339202081602561632879072410832660753000035133737412601030462563066948895255246202974579741807775937822999477874438781784240334799408157237768551996775002618782433809519868656309055117714704699290965562741511901468372796690605529318655124335308023461810012003599236381481859788548841445144102457182532582280665256399996779237634705138954923149384293086949923543497662372820650144789274316536022842823985541315848349149797058778164676570793962541356089593422488512908519523533598422150024191559140790049957754254465044662374617848418418490906529450015054965971993776979596875668186962418942470245840695487669403575107160665541836800000000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^26 - 5227908847807844790791277778577842090830213172777230425702121394819152558910209810710654906808609232579905165066872911009716469196941847617707748037974705630181953191260579772716908304426099281444265347779915980596545216813180654497797238036531350670103257711409900029924404475422579250355368727150557610165629647708171503925349400949600279689498565037496850883385019050066238144135631812032608310031738231971606415979663976915615354981255499334901203101253756228485375407048890985514807034247615617800851715946574734043552036650701952574403361312406010695079892979488764688856734561338573610915359711385759998857660829375950140614593403501748480846868176960010681037811348432173846028930004497203200000000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^25 + 50355152022017739465931608447179879504035569277651149834014197580809347427968534235481578000597255392298743059199042615044384786524352307510279708985800936783738592260538841807075785490446207716663368467706973772293423117504226328345872423776090572929590903117858959778023835457907293798919679096964692442523147910172127707409007105018105153584220138243219084820713396482558922901435848337001237743622832151702116356583168915501328634970321489565172849657775664931150474122493358142068904376651806495359203966326545442946054791305667930548946663760992614876103619581450257323430582370535188051545828421142147726297171874612992868599855806017648496290145313086175474359886597244196249740822750167040000000000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^24 - 437937579997543436147996254907554325781691560477207496641691649326150234520373935202427682202463583751214908722786566889561899995326452479111328215132735340129724907993661211844060208411055381291994002664818279081980012490059764973217824694568941743512215733797891510048112743289196198247779828880723626827833868641600516760947144159603996949695879958733091004936376113241668916991142958850536387866618808607491419704708203046543486685636856112404583939572996042233189225783206270997993383112653706714173165992985245595530634577993684701750055454879014069495224272844571136749642161614837547448380191911630628569621801140014609022287990800510594821747782474567371324926193414927910773466852271063040000000000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^23 + 3427891180374735164558277555615583607517495497704116096173527037610336601086570100856193140897501936111671365161338006611260270232580671121344804027791475065610700714908144306802920967238288447439605061895144292346394740026014244516665165130695191142839181146964864471584753710781081780593860213443664368267970406491039244259096408622345655765088055101729756658106949509488939992274528282617435003478604714982519612898958833235593289746968219499290707461336945396134760245935093275457732719493468040382415406257016826089791575127575967345831342605176302738334199175368218533042983843574632940554284842595012611773523280468086557457543837545360941963320573625388618589812926809495175847994705659822080000000000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^22 - 24062855237520365355223754368275284456117067512430701615942172844383047996441871412630519145327964949884130353544911491743147548460870095557693312405953391033807186119484419561189511740456774578771559772880463593560078869354811637425756150920809643336896634742807720853656482088538388442049884575966619842436936120987387269627994295080894644750891382987287749181051828098267705496053149970884254965523450193501452062393522061545954570686830573438735380575588451301629684232837253269198189657417261446894574696782102327337791071728422691971142861296764825578630945215041498772855467319636446277862526690336296870577109140101964508299442371601821823305780776010533143288346373399303903460154084153098240000000000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^21 + 150896483756047954303522565301205126763235244583873557764716112001401569491370791866764874098115376039882780946846297156931134339986052856002894026614630126538249133882969696149514190220801136726329853285548514255133551281450180641856469556858795068723689924261112917445926175527776648508989261813215785553802946250376389619797991518530461774459474518777961169150933920719520860379268803533732377639610420110623783861336458710950854144618013191886353475472255543036253517332397096923885491588275480690647524592342102168541027072992527112658813434646341288207672142687964975209571496868799749105269336716506975560332552887127647596825646042189717890044805349905800807264644511807942944496976760101928960000000000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^20 - 841699037208623488171878771312934659485667903478912069434612275279748986774459782810440326593747407113445981588203203552130430866619671387834651014910413668923207123439747851319125595921140926811675684026705525188906202202899420039399102567110592923117024454522183029527828879784482909182224648322336130741240104080864173421750725794541840100045429161298494136772700151806709017917348103145094960649054448289448109418669096833080764614101149008442222627083194358177872333334710785798442456972355771177285580799822785364315955114290413929743963576233825873271796793431373698879649073483915904486552283740694523435248274531767175655533601028796256902864223341899252009456948535370642793311128485940428800000000000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^19 + 4156398572405911432325411512547293955023981254289894608436011062578419444250136294496025594984882728964915081084021655127994789779192754703518688064963954055358712098021943673661370350590897490700547052178931310104795669671764149209475024568309316985734888523167139749468703730927197016220963697595373229896948506503666016405052849638187877101466654867630161369217413647937503308015711627267002587862377704932797859085785219949527570575416330476356837424834913719885500598829933555489352483665322142316418164644993766205608806680681108063040443856105027509410358408858752108528154386297193937731164969394854010940293756264425223694132191673359783377824287357860822173473987566307444957936061705407692800000000000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^18 - 18074670256606800950096159441021434747844988776261336182631632062690287080871791135017187268094197463525164444306385557668355594590291045933651135332427660365383683082495092541457069251608111158560685036094956728422963932048409024186966187625078291874988452515956576757531739555641855348205039907348609951830602953595581409141910225089337801406151898434255831675461277162623259756347252521086882818159956149596933793420096462992256003437357694071919785165381150481331980406070319827733533307519592784880216752115638814234389700647337690844730561329986200211640754259930833731666508483942063087699419036087464981474797786668741950775265982248366929965281683039121091022957580875152379807750944980572569600000000000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^17 + 68811893265699847847413785410892072193700723700064017794657503088877117771124740848700129476387781322551302665921871096423704860286128603875420270225803085159826433740565926643153583501967870714121050800658468082729593318297320348133795348053164268191449443275105237595749554125385411106647373176790677839631556384485091381792606481068595583556164567220303101933634112201628593923747312369539865271380530254581287406594350607276895232903355147914921919535354778716159927393806767404124221061145535224028185047876634214432323824379938094087634177558302096069096611322925006547869286144699261031603339178996083042176253337496103528799288291766396303638809868919273876771428624436383331652043718196513996800000000000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^16 - 227842876321210801543975017880075819998449690798460649540889407330298599463987583445001979690327554029562916124253439856412040971486240369656226688712680602057929709562564958905571485131130473597183941587574546411054839874969418420267424061440569739437462116025489522265644050433583548486168813120366283511862007575155967115522145159237527985552786103449450083706922845896616211030843455003171604628487694960916670460830622787925066152287220829584861849695585132707918876989038022979152840740244618792501692258053615115831009916714141717026281986470834551866901273935412127371195429133211719706577626142850376433324273324181741788621037507409106970364612768706188022860961408341762047037757587299971891200000000000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^15 + 651269143225885808661531635120104120774832348570996477111850823686857785447058726278894836863080092253658181925180182845318311645468571264383323277096178259497761407376895104936040000066998186128914402175917035218679992828314545841273724683926162752509553033187392272199016170609066037870526287015651578032064882310058119993948923433201959133003898241548526942960197752625870602166992318593049723460840989993953507399639895333693086427032013487583101166135943002296718561867283010560781027831428743395014192313512162492426977176625687239416647983346718346947780342508059273070862730405565398415579168690050878458896025097865327141003396885624390429477447733627758876204639000293589538783996638597742592000000000000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^14 - 1593591163635883548606206484952026432070699484192216017218349855653747176985677994132654631294814230805879098144941924349575165082394776696980154540934146125116440274369695414199922263379409136446302033442900952408886185735240040793606678729316471514079344748313554993142425703943626152784995869428087416417326292118191433095051396549005944442935077050906111444917641711013311098979327170773786309148421582079961143009779437787628605619679455711595638070272226776228171265476046809731615410185719842599470179198035926293871062921028152069202950390144946199014479141084400590528966463864458338867550821799678909619297179287302740290423559970326367327286159625521581098106107377350030974454161011021709312000000000000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^13 + 3305944136898232916842563723684461450013779832717029680592284395953296934452719665990958617908064765183006449008021816626789314998838632938845728579768862339818631890292832719285268203965251467077628781852167461698123399108772518914267122135576625078440695016742976273290969093419486098162123371603994692962724016116320399578488238513515278875216908026349389739282672711462982981689118127853478335214276073245943178796028624914712281390829470442955201769065029714074070032563954552002871358121334069933031244705727960787996699106119366462116979830131695762571844664514319976493658903233596695835921184039458793494212444545246636818137826183855064924103406163793695654945216921016226399889612001240940544000000000000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^12 - 5750173133778198601434653820122531634397857720739260128967001671686981900333012530502392113428272104647272401078820776114224187882235956852747520178723385255917689175115633916577345892256106932820493513538291944863868428083619927591179835075715989372133546646623144517771902075466857925102677248632987004206748935523196905883075151321175135262983018024920215101468473387657549209346192426784108734040352944606078464118467449109847328662257276927121453190425004688757199280433228967767443575289119080604723551509632127831791297677045068699010073620876977825427144512303967360006222380757714034157317317901824233587898017565633825870980410445017840712782586845486796056380580539723089781463182144199196672000000000000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^11 + 8277410745453709060215065199655761571119242040989158401913280183545914272438589630571558011832356025330889053379954106277707435105422898199155102209775990049968275437377885682613310515062968009470742982068205863633856726002081306129880599575724793348008624346983150068583735264963401879831504392007000814639884021124297413835914257833168935577592046284883377694255503173456447031203665524148264942985099827924687711998082031368129446178644783082552302722957145288447526942441184493399548033104135742824845980267661877471293184455673880935345633670228385492345477114297142681936117128872935674806582799630775415663640457949168126436293788936415490480274198527043975498395792774378047887793673028090462208000000000000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^10 - 9711391276730127095140722100539012490992434352431158400566252053550097269434645887145242568353311414293617428776300027905574602265354776858888845430549169025673104008387273585233071594442152062580856259636715212025352886438631133939166369127436487654929227206870645225148354586440906277541926074839427093566815397310028392009085161257627879013032948542567119698168023276431411000854904963899251780397121882659594383437600416093790174755469486524327469578954422001556595467731088557281190688750889274641868819453382503597216414547708151591778388674669096757641499518069378903887806588819403885924367275939750213993219537612707456782124103532063905000671105138191002080663884416054607340052251364630200320000000000000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^9 + 9117419315065961723982956391411149662013261923110282577466200468568203379245337118870459104650671504514090394592918220989557374617964868679152647776356414629793669563464076350310515881010493361066363881969695717550595513807228646603699465684842800316031441882479281479127578568713040989567083525984804668086662060069633937973360817214576202267095171062152493788515139584250407969945749546568917672076864550224262629732447289614602378598097867431085923213486642926453504595755736928573005284089635107903682986056844962204429597249502002243320644780260229205595788832361230764331611933334239325570570476284308082186611269036568676638573438526205613000482287770668840015782529610891923195288631712541573120000000000000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^8 - 6697931024643400660153952391397379945548701383010682515951918805609791667531175220874945744385285155586471861294686997607258980362252544945641211908030812464477906179342521314218691599632171826032507511849466372006993103444914175988885202548790545664203088719361508542482308102947536182679092799321984990865859098852080502726991219014345735514024626379586290855428646435823211354883852270253139758582889028590580507792664954040907317663384894541852836034566012048286468520922373241927144395996786911059234724671894977335605315818186448743205750582167128072954699916469532110543930861623420702417869049386552640705581248400709796759496524264803604282928572156600703537171273029444296670297340314166231040000000000000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^7 + 3743816570562030070691677870633405505431133839873323408194306914869788868415650933295151386358851279731089102907245105971504409920070590931211991537356552525703592622259572071609944315599240666481769001761962712192775092444407343159711780697055763125831599762438541150901034051614486256363240684309706909617012038936620953756045874163754225516382371645680604491430037985228531871866167299109785323010473400683446471278410447184884721231301422631297108379740585411963334935290061166578952391937530422566515064389532637328443658295241877925986095220116367373901954208132448538175846476241119699656857128428943171205091170251790646560757558217193865915766063745782649322540127113908875411374009442075934720000000000000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^6 - 1535308683383492210338214609128536062053563718160760082835311822026941175168878592829191969824074102446765922654697335412818652684602385924392771222807850175005664222699156907481659987352997093159675638363649321698990706889572745537922596534657697858498601004100129546297789562455669476439412961499948221065584741486835024318330646817303682570876976597201751340015206249850429172009645236528575799340117033245214740028574971918561861956315096571849092238630929171128449078931352123339207190931180862346117409970298555746540790988619566527706794711918555363883284323585594377630551318811744535506474885407655803509197687282266736407023762789432853086787949030778235857871852263324521289419645624443207680000000000000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^5 + 439525240181378028356541704219028999919224336074212753580513024723367751256525262309023137499711728062962147184554575977210814851834927870607290208902791298955084826162303306201047662626563335829278984764483719708233875297144094230383869800751011950264448358206054114003011186612980394966444149757999647547429148752429416103548012126299979695628712044181612362292929584022248010806083592525943496349120280363370745330092810548355086886845739324738330030395213253562021349953119319586169545486813597465217721602129533773610466837061943286379321019978688415208556790819566865943023539504101158576374563024363932110933752544941186596084926637893840657523036477041194072385852212232786712283939943848345600000000000000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^4 - 81634776908907455029408294934728184455291947715469712348725323861256320942264426906618820708388454348581644710853276814464615275937501211143038470630667387753104898811273815276172156461202363188853410464029347714463387294849320302838799347495311641210734377829296716441729422403537470458105266254771802039258070116797727108338510398484205493996442169101131820305226857592459285548218908257604427181732035116101605957792263277629605867107816543751011313289814797705516019629875026111991986768830908099212787343652676288781103936225619800553065488694585138404632725897556091795692708015100473325696828582782947510397975312246072323450859038425350268638714464863323286274063705563167042557992687475097600000000000000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^3 + 8729310593139274076220689361018907136729270841257624745025678088945268487996147380889911178366324239880314266591195386136728731203653669624904314328726471856851811527909177213364658701803876896437903900488159529463355068407609410973399150257195872006435113128336659029512499771106867081983196151475449280234423629657215265505579890187790030064066161933686195191057663048860285901909103905319326300499783008071168488572711444247633190012812437117921832718485507932191970999538170394060601154475286331723228728036177523594025203609512948584543219021121156240288866820571851591437957033981848724029914075207626137761224727926677995072401432239420919042728089345332467163433479411142477338226560545587200000000000000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^2 - 428496671642995534470916877415196585211763184354699187753095040779076798811936639288899823941428184902851750760647538293663800158667328624859787071307492130069731707909561010627696886541308367947734951215390157807937182553269238979053903375114400615934025015800431455834019725573038558219167866872695923223840217292889146166518448403107247741753766592800195179471697774329205837350566348839446882392426161439725267478942079092669292427409917639398798938040145689527059758061284167320568849976109280075278121212611230121510708435868842528072091974704675781349439200742475992817024269470671112197539456046761773444513464585533978383790571658272672792720149978352797988155716675615193989691374934425600000000000000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t + 5464513725483110824355970298965326148331160172815391561390549489844220722921721450509511146498068223581742816746149730639351857490754431236903493872317329770598009448799982697620700023855943111232426539435130148290667189887429533752462761007553918571983025796276962413407899146945635428243764460893853107999437000299981363718566992124668584873035506053679020781261761580222665677722029734404953645114673522012056779534082593351527654821927987130088083689050031374271339686800746037043041528642459199912501451894262248421917898303946663213268199393817098227399713451112858449817484547075317801319280702141906388586223311608570959292190397860920122072354389991384446748632323947121361909275059814400000000000000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299
-------------------------------------------------
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 roots: 424
 current precision for weights: 106
Linear system for weights solvable: 0
  current precision for roots: 212
  current precision for roots: 424
  current precision for roots: 848
 current precision for weights: 212
Linear system for weights solvable: 0
  current precision for roots: 424
  current precision for roots: 848
  current precision for roots: 1696
 current precision for weights: 424
Linear system for weights solvable: 0
  current precision for roots: 848
  current precision for roots: 1696
  current precision for roots: 3392
 current precision for weights: 848
Linear system for weights solvable: 1
  current precision for roots: 1696
  current precision for roots: 3392
  current precision for roots: 6784
 current precision for weights: 1696
Linear system for weights solvable: 1
Sufficient bits for target precision reached
Positive weights:   78 out of 80
Indefinite weights: 0 out of 80
Negative weights:   2 out of 80
Extension rule has valid weights: 0
**************************************
*** EXTENSION WITH INVALID WEIGHTS ***
**************************************
Starting with polynomial:
P : 1/2*t^2 - 2*t + 1
Extension levels are: 2 4 74
-------------------------------------------------
Trying to find an order 4 Kronrod extension for:
P1 : 1/2*t^2 - 2*t + 1
Solvable: 1
-------------------------------------------------
Trying to find an order 74 Kronrod extension for:
P2 : 1/2*t^6 - 162/13*t^5 + 101*t^4 - 4208/13*t^3 + 5436/13*t^2 - 2928/13*t + 552/13
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : 1/2*t^80 - 60063169454664236174234913743153368695882896744897641709285767837346767658501244146665515935318636064192185496684328212148015399951457219155184112350862924580308949699679026789833959871528672447497505948229428451949401169318879819659010264455223400640881747324714994495001163804518610517845792193197241326107573812094100556611053825936155028438657080568567515691017863155052250511031144679325903809247899314310136163416633066969801336143878474119920910196004346805231301125723267885618804788628017216618516320551366297614774769849616218888393720117022324736167665491157656469007023571503541504913511125/20138444392706104071303594955537453985862200352396463584607865210412036664118975437539702237341086526762654946254298746752913536487444683319240072961417903589476417683443005487062595025172071101916288072384523385722217479188954366737067704836709079655960435345433585128959252694242428765631582857287211034106157375198379441276432627373330403119000887590457764913370891412951485784234420199279255710263316562058490073433076166855399967794974110521993171255991093625190696971899972395988674560529648728820231507260409620566510120328685203245648332258194168218941116204108495324038283317458373122441158*t^79 + 30984669325851161279366138618208636228881661896678013358534908547904692221892829729051473825884128559120330215790251732374420836469508218423349525692885107898120554010044943106843727412566044706068370521202920303932521875481776286755577343713604216911192411818626188766190936151111470947697366199287701576906130381793303846586996900663895566166483284783008828181218328936428958855164310338310248535896662189962717502625328262462463491421099189572043968701543649008057566067449793826182382935824734968890433807012778092390959406323338474230042779784743624799892961735268947782935285384292319395307015728753438/3574573879705333472656388104607898082490540562550372286267896074848136507881118140163297147128042858500371252960138027548642152726521431289165112950651677887132064138811133473953610616968042620590141132848252900965693602556039400095829517608515861638932977273814461360390267353228031105899605957168479958553842934097712350826566791358766146553622657547306253272123333225798888726701609585372067888571738689765381988034371019616833494283607904617653787897938419118471348712512245100287989734494012649365591092538722707650555546358341623576102578975829464858862048126229257920016795288848861229233305545*t^78 - 1063276470910537945770793890448429296135554670930694256847406868321458032298905582169511338838821746571627583020681532516511754005230061223087811446024256093116602485649445411075158416946811758837464015500582251339312704737140871936472793437449572114209693354439279786305917402630335911222140425107959251862384056745448325574960910098462129008974871532670925266762506140874474653104635612704900613332746212891762503082033319248932761989273033238123970110714001042289082563945039290767260649332061376500498292888829152777591260721914197757568050436259637901652548228860766063217175261665173484151045806749526853/64992252358278790411934329174689056045282555682734041568507201360875209234202148002969039038691688336370386417457055046338948231391298750712092962739121416129673893432929699526429283944873502192548020597240961835739883682837080001742354865609379302526054132251172024734368497331418747379992835584881453791888053347231133651392123479250293573702230137223750059493151513196343431394574719734037597974031612541188763418806745811215154441520143720320977961780698529426751794772949910914327086081709320897556201682522231048191919024697120428656410526833262997433855420476895598545759914342706567804241919*t^77 + 2821399658649156536722151222903153064930960861583481328803788588485886191585874398914504236638778902112244523855625354455204827589398531162371783321267065897900002775205093854889041107376164258983058432159442328669207495561995017649546640705165898739855960191337031192248509465753705104835822025496849983683149529481587943956719964358298055653718381969448285345084282547050148368929064471870513615829477340911228003568397843662245529292901636771883610111509996575103158008433939595406787499389400219288971036815069662372057338173562227020315443679371991061628705144319335541842230026063325673564417257526738481352958/125110085789686671542973583661276432887168919689263030019376362619684777775839134905715400149481500047512993853604830964202475345428250095120778953272808726049622244858389671588376371593881491720654939649688851533799276089461379003354033116298055157362654204583506147613659357362981088706486208500896798549384502693419932278929837697556815129376793014155718864524316662902961105434556335488022376100010854141788369581202985686589172299926276661617882576427844669146497204937928578510079640707290442727795688238855294767769444122541956825163590264154031270060171684418024027200587835109710143023165694075*t^76 - 3028685182880342527861848328053106826523049646056557699123983613750435823958331844365167011727497171461966292008149165102061238974111305303367071936491544418334902464722941655133795047143427677891102471876084293065055130175015346293895606135769703023559118105779234932411634373186169745678588259100981305543508115141767711907131310559799685626692609169624597161832337463314382980526410308028572815790913218982839928985847531045693356781016073985924096374850886892926839191893082384940120397730548505588961584091233742386785195629529047920991582440629187814360976102756740248917471309983964479790434226803934879232565644/125110085789686671542973583661276432887168919689263030019376362619684777775839134905715400149481500047512993853604830964202475345428250095120778953272808726049622244858389671588376371593881491720654939649688851533799276089461379003354033116298055157362654204583506147613659357362981088706486208500896798549384502693419932278929837697556815129376793014155718864524316662902961105434556335488022376100010854141788369581202985686589172299926276661617882576427844669146497204937928578510079640707290442727795688238855294767769444122541956825163590264154031270060171684418024027200587835109710143023165694075*t^75 + 2636439017995983502093336763198168456525996133533070020466857123469159820298959001230931338293653672673278408247921069629357603750919880049816942750930557132979022818295739289582474722755278199941525991921206514991743942468734798291238583307550000537759285897327001086316240702442577701234367158653989123473982588432040743452673239865408072805963692433895649045545921422904370253653410670280505581827001449624893247173944315345631094392984148500544515154832136578663401464467119280670340117372192668149897851515065026966376461601466801450881996524155252897207104944332797605456534009877384019241218534480162823202519543776/125110085789686671542973583661276432887168919689263030019376362619684777775839134905715400149481500047512993853604830964202475345428250095120778953272808726049622244858389671588376371593881491720654939649688851533799276089461379003354033116298055157362654204583506147613659357362981088706486208500896798549384502693419932278929837697556815129376793014155718864524316662902961105434556335488022376100010854141788369581202985686589172299926276661617882576427844669146497204937928578510079640707290442727795688238855294767769444122541956825163590264154031270060171684418024027200587835109710143023165694075*t^74 - 1913502904130248105770400011141041322030941361978518365219484500604741310248415095642339986422799336673119890395205714608667231162352765480597728159127880965440043797008900951605660022233101493046997053833135920036885502910486274121302950330459240412179466255843018388748797192204404830618707617149597426758940623367725758208764841153192925141410257463212447134413815040584333818188273305060194954196333041282940517849174129964373095582479374676168356572571322141867151606305128201519775509378427002183706335912204694504073576509730796849394578227395338002716765605357358386265617717270253976800058518799316064198415900642376/125110085789686671542973583661276432887168919689263030019376362619684777775839134905715400149481500047512993853604830964202475345428250095120778953272808726049622244858389671588376371593881491720654939649688851533799276089461379003354033116298055157362654204583506147613659357362981088706486208500896798549384502693419932278929837697556815129376793014155718864524316662902961105434556335488022376100010854141788369581202985686589172299926276661617882576427844669146497204937928578510079640707290442727795688238855294767769444122541956825163590264154031270060171684418024027200587835109710143023165694075*t^73 + 1181620645795315152481576038112583332548050630367614224420066152202643702822161530153512915552235044033050133114279823607603928903562967401772642136999722361584774050622404987906288771492215552851795224714025895939593749017204496473809446396388690402559103387671783293756661274135545944060847838446514672636951985552382518009360040142094067087821381362412429013498877650649523940269514514745285136022414083012210178358334541436875702827564629425100628185007317578001573444827915217638765758547546566853474944729914964072190667757915059155490795461626842600400102262816255628846042492328569669439978359414017792115884967322078352/125110085789686671542973583661276432887168919689263030019376362619684777775839134905715400149481500047512993853604830964202475345428250095120778953272808726049622244858389671588376371593881491720654939649688851533799276089461379003354033116298055157362654204583506147613659357362981088706486208500896798549384502693419932278929837697556815129376793014155718864524316662902961105434556335488022376100010854141788369581202985686589172299926276661617882576427844669146497204937928578510079640707290442727795688238855294767769444122541956825163590264154031270060171684418024027200587835109710143023165694075*t^72 - 7980080448319097057504213345242405387508196494809836817388336542471324756445809140817234719649587428639038316387952102583173333861829066398157463744700627760678380296818859976122672856574407137419786240243539426978308011013949663126658460578888391552415121671818080742671342224117609023022363898917253148936124538430735932266323526138483350340526888667272585108881486837081437576945036881171229921244938672131966416770449585218585158962854281913740107883009176140545282687648501904730559859719275050726019791830627207376301450312926141503022391946830681112378949137367023745412270184337542142640603950189836675237327355807180864/1583671972021350272695868147611094087179353413788139620498434969869427566782773859566017723411158228449531567767149759040537662600357596140769353838896312987969901833650502172004764197390904958489303033540365209288598431512169354472835862231620951359020939298525394273590624776746596059575774791150592386701069654347087750366200477184263482650339152077920491956004008391176722853601978930228131343038112077744156576977252983374546484809193375463517500967441071761348065885290235171013666338066967629465768205555130313516068912943569073736247978027266218608356603600228152243045415634300128392698299925*t^71 + 4142479081616619717054739067266634366751798866717353145988540851448614403511095514429143989433363929876701364082793582821596947727750008119362237418985132603306765227684826654825080176052340692369326416550784375348670097879297444385081370455532306291930609842467564121739878117464530386735917591489011847925963034153103963147753603638480591383748737523831137734864547693501823362271234120661930464477893186307822918172648744392866414388247194088664615200325986358044578078444749741095635431571399275981753779587666494335007743009634979915125396709703341832639661553851606855947248278646402404159416564206135204049982981100109900544/1762113884361784106239064558609527223762942530834690563653188205911053208110410350784723945767345071091732307797251140340879934442651409790433506384124066564079186547301262980117977064702556221417675206333645796250694029429033507089493424173212044469896538092725438698783934610746212516992763500012630965484288770329858201111687854895166410272912577664165054429919952998633255006120511767436934874648040199180117881425394164599847497182060234670674402484899220692204185985041247584649009024046344263771770256885285841799569635528759955283994229072591989719157347667859493340853349790277607648213601325*t^70 - 48751741666194613493834440776630236766792123569653415238758597206751399181093201099284826742843376146745296668329762551858680673181103191811079320152812729637982154050770186409366567108386571134244307349026918130639282975759530689981999753139595255572987025894948820346488894501167520359143722005105495055464740894730084183986515533784533347793905158966521179270414373024175406009832189250242948887951404589348701881094867071532184050110914814333991757010355824664207910088061886129051999481540003630621154965874787286220795393585052540814935004049858969440847339553982972233817763761537162850534082075889790133308212267222805071232/50346110981765260178258987388843634964655500880991158961519663026030091660297438593849255593352716316906637365635746866882283841218611708298100182403544758973691044208607513717656487562930177754790720180961308464305543697972385916842669262091772699139901088363583962822398131735606071914078957143218027585265393437995948603191081568433326007797502218976144412283427228532378714460586050498198139275658291405146225183582690417138499919487435276304982928139977734062976742429749930989971686401324121822050578768151024051416275300821713008114120830645485420547352790510271238310095708293645932806102895*t^69 + 17869863600269879175829548195535349157127515227204431503713584388815278667733958840383570253406594816254345593440180716341496888535713003554537364489589641957444029208056250240888155858751532469331485803227197616939351871677938837590069058017738254673282207626773884311793404215026250090644092909476412648879218887086612884385956918309381401783903075007804415945639740897625231028491414998126778632555155241072836032210691966057294842891079682538389761558491865669452608766590096211584620966329809885918293124554190598624611059262336174103489718694260076252277356847537966285792164523297305367851366904501186644823534524019711771662592/50346110981765260178258987388843634964655500880991158961519663026030091660297438593849255593352716316906637365635746866882283841218611708298100182403544758973691044208607513717656487562930177754790720180961308464305543697972385916842669262091772699139901088363583962822398131735606071914078957143218027585265393437995948603191081568433326007797502218976144412283427228532378714460586050498198139275658291405146225183582690417138499919487435276304982928139977734062976742429749930989971686401324121822050578768151024051416275300821713008114120830645485420547352790510271238310095708293645932806102895*t^68 - 5867083305189323312085167615306761206066412428437408151345117409130353700058665203111698385287615239362407312733933195996068047990354389964456538439479457526301993908665255918456112973822170558590708456069899318407847493738762801924597839965643077761688502135213017394076268482568450103738264668385324426304957344698756364702555626210393300478414986564451254458775176835767568432997548769433406592885599949853850050481704112426240913333798708150211681040934082967023544105316043025138384288776971463767817183722413743055512524855665946439474419427306797288587263994370726711480042908132785124263009549772674189402256342011446633598969344/50346110981765260178258987388843634964655500880991158961519663026030091660297438593849255593352716316906637365635746866882283841218611708298100182403544758973691044208607513717656487562930177754790720180961308464305543697972385916842669262091772699139901088363583962822398131735606071914078957143218027585265393437995948603191081568433326007797502218976144412283427228532378714460586050498198139275658291405146225183582690417138499919487435276304982928139977734062976742429749930989971686401324121822050578768151024051416275300821713008114120830645485420547352790510271238310095708293645932806102895*t^67 + 1734903100045313864383417083386426041031493642263509735841055250053011500672189112344904624147532826403066826022292985407572753002067891527568138701858386728965773480229744645381776178955876192304939488495660787009835332120969980222885222231205447668316090867669685250030066525192182902369594348628328427604566236283353354838105292885824801556722069029316550622699027218306204100861826834355398592420256917618312120307389181704009377972879138120687399750038508643934030823785170043697153779818850939988062423418598399033205747885740148120333684813552346222021649131457596630127541026375977342822550222007654239510177513293904621604285489152/50346110981765260178258987388843634964655500880991158961519663026030091660297438593849255593352716316906637365635746866882283841218611708298100182403544758973691044208607513717656487562930177754790720180961308464305543697972385916842669262091772699139901088363583962822398131735606071914078957143218027585265393437995948603191081568433326007797502218976144412283427228532378714460586050498198139275658291405146225183582690417138499919487435276304982928139977734062976742429749930989971686401324121822050578768151024051416275300821713008114120830645485420547352790510271238310095708293645932806102895*t^66 - 42199536156669092249690441695703610611500994280833336738388996455593129171104988751615319047187797109987751511940029250404778672730669543789747235972670051550759810987231961776240908163910836405250608036515037638289494830384605915984619988608169222122920179756536211921840893075626354809002244580341309909332804612552226990035221634696287026342902120044067702843355295265932786407281675497093924253512018091812216416393666272353275574967439503576522637728047938296304411142949612894456639642993493297197579384390434936527380067472248543132205770064924429902573432171527072378004980178770387534369003877377834562749167424885804308770234866688/4576919180160478198023544308076694087695954625544650814683605729639099241845221690349932326668428756082421578694158806080207621928964700754372743854867705361244640382600683065241498869357288886799156380087391678573231245270216901531151751099252063558172826214871269347490739248691461083098087013019820689569581221635995327562825597130302364345227474452376764753038838957488974041871459136199830843241662855013293198507517310648954538135221388754998448012725248551179703857249993726361062400120374711095507160741002186492388663711064818919465530058680492777032071864570112573645064390331448436918445*t^65 + 157804277042520289770935210344327426988925724006931789689152356706307159567247567178947970859705117668643134273775780281489708486158919532977933832003412198645907367969838994248910880327392036384144289474893142498008468473290127516235266071820574906328959189588220608486551809263923122332821717958756321990262502335040596032817703015160004044831322229735399519482735052275836943151346455822616417565801315064017978220236838395589236443925262379173131370241197265262411894442619286252566292317273544961494025036896051108423884434478780374770057112587352625329853798356944039896792857871633008479702071584808913408573096777035539961161956841472/70414141233238126123439143201179909041476225008379243302824703532909219105311102928460497333360442401268024287602443170464732645060995396221119136228733928634532928963087431772946136451650598258448559693652179670357403773387952331248488478450031747048812710998019528422934449979868632047662877123381856762608941871323005039428086109696959451465038068498104073123674445499830369874945525172305089896025582384819895361654112471522377509772636750076899200195773054633533905496153749636324036924928841709161648626784649022959825595554843367991777385518161427338954951762617116517616375235868437491053*t^64 - 34964598609923151418503611576141017187128681082805379507575204301084622919569386420383120861984889903752731315305538315673725254163712421534370895912968851969496860177001790556635317267518017227680198581074479156913403812317138761523645523603490637104689318425808562616737779288678315806842675919622018552193422569275692168953612531346280734935058321062177819308401513909505923310523884937901279540780627578742577874237889479507569117547494326000672690119015691201668786648393906743349440117913604286911201183909921260238680502946581124176511470743940934872545610495204658289370147748380211098228414141801471369036543004237199614927938936635392/70414141233238126123439143201179909041476225008379243302824703532909219105311102928460497333360442401268024287602443170464732645060995396221119136228733928634532928963087431772946136451650598258448559693652179670357403773387952331248488478450031747048812710998019528422934449979868632047662877123381856762608941871323005039428086109696959451465038068498104073123674445499830369874945525172305089896025582384819895361654112471522377509772636750076899200195773054633533905496153749636324036924928841709161648626784649022959825595554843367991777385518161427338954951762617116517616375235868437491053*t^63 + 7082857948059360659787238930471814256003616397595715980251814136098737097872291321007810063917352800357421117126146057121712777278755867541060322742810433518460027667942872818734602213217333160648516994869560437334723065987288284179020014503581111261675619689398199412294259003479809504135788450605172065564547241555210970884598242730378662024788449362986144570074083420328574287777414010334956628614268892961196539596902125145750053974309029044160472702659757016482260104272497550323896877735871503440757222078608485544906332151478257424619000019377830392056585394436021862455343254104704753993402604473871082407478704211783839264493878356475904/70414141233238126123439143201179909041476225008379243302824703532909219105311102928460497333360442401268024287602443170464732645060995396221119136228733928634532928963087431772946136451650598258448559693652179670357403773387952331248488478450031747048812710998019528422934449979868632047662877123381856762608941871323005039428086109696959451465038068498104073123674445499830369874945525172305089896025582384819895361654112471522377509772636750076899200195773054633533905496153749636324036924928841709161648626784649022959825595554843367991777385518161427338954951762617116517616375235868437491053*t^62 - 1315145207648755673286844931750040767079989544593229536720195371884660601307006943685756809094404910076941196127423242636649290093796471792690233780532148364423484820332386730277590620599678163806776572427122365003809308086686389634250564462737635531561834308709860686499859855719925262882829235829833765807283656505608398439430251782300074894804474271720990168679615534273229433607976900801248804901488919395907816274282134004723814003847392953235931700517409210382334878730046807008767625878749526546648391668873312681399463634223212728430077712519989972260405751651457084916135957935498734545152171484318827952641351523913751644196001992738865152/70414141233238126123439143201179909041476225008379243302824703532909219105311102928460497333360442401268024287602443170464732645060995396221119136228733928634532928963087431772946136451650598258448559693652179670357403773387952331248488478450031747048812710998019528422934449979868632047662877123381856762608941871323005039428086109696959451465038068498104073123674445499830369874945525172305089896025582384819895361654112471522377509772636750076899200195773054633533905496153749636324036924928841709161648626784649022959825595554843367991777385518161427338954951762617116517616375235868437491053*t^61 + 224333376602545151222424453228242692361171004667371040727975142818037311281742219265510836956637100444632633478250823909735567408542787270095113424114565806874624013974404211011798538254486219013369089252366466579542903992478966470458996420159744422034619070316855503398160123086516976671898098686233360872736162987073106952654561085836290447863348062024148734840905322370317884178353157807198189588873064369589175218988293759764434324329012339313807604430487908675551196889936198120400986730173126686391951273501262499658321004111169535627518454632321578890253506679303860510160282005104605870914341751724306067857312766652632287772076035077154275328/70414141233238126123439143201179909041476225008379243302824703532909219105311102928460497333360442401268024287602443170464732645060995396221119136228733928634532928963087431772946136451650598258448559693652179670357403773387952331248488478450031747048812710998019528422934449979868632047662877123381856762608941871323005039428086109696959451465038068498104073123674445499830369874945525172305089896025582384819895361654112471522377509772636750076899200195773054633533905496153749636324036924928841709161648626784649022959825595554843367991777385518161427338954951762617116517616375235868437491053*t^60 - 35221963824148965190868402157524088324379579532402177137164031667328343656484939375102431362853905862213969482953059715835747967019039730544663162053110619481378332901319822933129941876124125291539034223413181272964723691383896584327342924264650351404978215861773259266782155374801936285895984637910741637558474459088928628175163457548839911359420942592212548865489164874455448315996982461270170596168132360135956414974222105076828011454894635987453180351437488218317847546593846094491961389142589948852583414366004169304356982072837954693070576416551408062277235665385100893532836727149093759971596809925992446869696762774545788491092660574138893598720/70414141233238126123439143201179909041476225008379243302824703532909219105311102928460497333360442401268024287602443170464732645060995396221119136228733928634532928963087431772946136451650598258448559693652179670357403773387952331248488478450031747048812710998019528422934449979868632047662877123381856762608941871323005039428086109696959451465038068498104073123674445499830369874945525172305089896025582384819895361654112471522377509772636750076899200195773054633533905496153749636324036924928841709161648626784649022959825595554843367991777385518161427338954951762617116517616375235868437491053*t^59 + 5098798946633883657363294126752829588014774963878334289427591711924565233936155665914895425296299748809913216871438425827327195909789427781242183557028919400158654422115603167739290420879409428182780029440420659678508829054583510112458302878785468215702832103085113595255336526427867096922445165078288461075827885961406920918879250299514767352463754095196556847082236170027368358028079425809654702876651999488658150118423991521304414601283130682189561498873235464660079675608942630614636684160653675673460228070396582540100616800586981733556612470942382704432172070069577870320670879259733372821169218739066862462556067067943070010406166287539123016171520/70414141233238126123439143201179909041476225008379243302824703532909219105311102928460497333360442401268024287602443170464732645060995396221119136228733928634532928963087431772946136451650598258448559693652179670357403773387952331248488478450031747048812710998019528422934449979868632047662877123381856762608941871323005039428086109696959451465038068498104073123674445499830369874945525172305089896025582384819895361654112471522377509772636750076899200195773054633533905496153749636324036924928841709161648626784649022959825595554843367991777385518161427338954951762617116517616375235868437491053*t^58 - 681546956675952488415973931415661370776085900515622605052919540589300479981698978258325393063675044315626175921235806980050744759204928240411171199693696556982798008910109627295014661718766632033554344941042726739046640688133049418539592985812710820434912778957613512762077199102300329321649005026006497308764620660300723590198420248548799176174077099790922628423846534734333576650738627734165666830309104550331619313816811263089867557635131924138076393837605881073027070054771391403919681805081923881170862172801769132759188352580198631309248532864245641129238631526436556402622695025988070627784643271218058740868042580716447615285045562187689830477987840/70414141233238126123439143201179909041476225008379243302824703532909219105311102928460497333360442401268024287602443170464732645060995396221119136228733928634532928963087431772946136451650598258448559693652179670357403773387952331248488478450031747048812710998019528422934449979868632047662877123381856762608941871323005039428086109696959451465038068498104073123674445499830369874945525172305089896025582384819895361654112471522377509772636750076899200195773054633533905496153749636324036924928841709161648626784649022959825595554843367991777385518161427338954951762617116517616375235868437491053*t^57 + 84226877364667630029925754153042308976841704098885834722154771614173394727724412523190230102615257569902738690194133359835728959665157999043785612323765416440425161947597124932811238629122319521694888583703886628787668858466441444382982762383477018683383292863275342916241694246242695761939093714669107923828752721648604758646799808493390136654083046890782020093864619193625617537081490106227954400747578734185201523897308892302181120764984244045487782443957514436954056653494248778022066936632918898167622694771877557773398770568094324661839341936379188222191883223795540571965139603577178349671595599796315126195475662688411864953843809972189200390417285120/70414141233238126123439143201179909041476225008379243302824703532909219105311102928460497333360442401268024287602443170464732645060995396221119136228733928634532928963087431772946136451650598258448559693652179670357403773387952331248488478450031747048812710998019528422934449979868632047662877123381856762608941871323005039428086109696959451465038068498104073123674445499830369874945525172305089896025582384819895361654112471522377509772636750076899200195773054633533905496153749636324036924928841709161648626784649022959825595554843367991777385518161427338954951762617116517616375235868437491053*t^56 - 9634063290073897034067650957114323842485956963867258107119529486716283276446894373686080102241396219744269025810730012851143019878695030996083096431295657258730615780843901662771374325315881622591711471660871145763837953428926170742989162080146023666283359243708119544925028305693296657585180706303646790686486362148471688605441081529272148665422338113184928479530581091106341445301753907629013463475859615412436361776176343513402243463122162379918700888921354232307657613409876595650705912901702356156134416949600916379099654318257242546359685655199163735024304623365710549999634856137332345120136579885744693266083079119721290638271653171784623057475500769280/70414141233238126123439143201179909041476225008379243302824703532909219105311102928460497333360442401268024287602443170464732645060995396221119136228733928634532928963087431772946136451650598258448559693652179670357403773387952331248488478450031747048812710998019528422934449979868632047662877123381856762608941871323005039428086109696959451465038068498104073123674445499830369874945525172305089896025582384819895361654112471522377509772636750076899200195773054633533905496153749636324036924928841709161648626784649022959825595554843367991777385518161427338954951762617116517616375235868437491053*t^55 + 1020892042476362209196334446853310629161762055438068884440899826052479484173226091230081632659219444763686877240536697201356721653003943038515336561251248785035783917099671509399718610141848618507245474788095523872992894425563300192356277819817294732719218803336846475446198265077414892282316085329277283708667070821410239469734516803508227732271570540986746423494290010877963598651395565507582136861587327838885335275245819215502776132276104071399492233561703426764801297006330467794745025151549281389684557990517392635339386387731368168336784845017462448165507315757423207869479080698760591027306148024111367752529915197040651144565303006024211907850203142553600/70414141233238126123439143201179909041476225008379243302824703532909219105311102928460497333360442401268024287602443170464732645060995396221119136228733928634532928963087431772946136451650598258448559693652179670357403773387952331248488478450031747048812710998019528422934449979868632047662877123381856762608941871323005039428086109696959451465038068498104073123674445499830369874945525172305089896025582384819895361654112471522377509772636750076899200195773054633533905496153749636324036924928841709161648626784649022959825595554843367991777385518161427338954951762617116517616375235868437491053*t^54 - 100301232049725713351554271972602616489179288879189565002106296849732135746000026251275838272556063828563062279253453008401174615873565231668617555946912667245245452375841605805920838636900092821131765339033260715941305339334504061532600076913945103104356527392081255487305725767497787065639503959398898435753250005270210544113957050030103345070707619577193053246571174466821268743249602294689731371452820805309627746287760156934682394941891591900917413189408636239660348896140617518750773614477836380267863285489629498967843132783450989017473736690251070012354343394081767593620400115908908041661391130556891249092674963119739038734034595774342897711633940453785600/70414141233238126123439143201179909041476225008379243302824703532909219105311102928460497333360442401268024287602443170464732645060995396221119136228733928634532928963087431772946136451650598258448559693652179670357403773387952331248488478450031747048812710998019528422934449979868632047662877123381856762608941871323005039428086109696959451465038068498104073123674445499830369874945525172305089896025582384819895361654112471522377509772636750076899200195773054633533905496153749636324036924928841709161648626784649022959825595554843367991777385518161427338954951762617116517616375235868437491053*t^53 + 9142722129497987334717244791720507864359811891933949045611234747231899600653330857964772931377733864529048271727104806378245761521609308964056028207748058354828545683237519253482485386260345101660147374888219470598934538333648657156070265929172399000698702353450552997104729105946859547420621512318860005829507636208001243074594912885989934912999081293786866601942922812506722172866024232974804566766539347708554395422171510552620977065326139186570967545959111993702924536943796308160575981674031255872220975511750569967716105936077493587100007947283441205372381761871767651552818438736830224205738392623762502885272155555387187185200568182693630171362994267829043200/70414141233238126123439143201179909041476225008379243302824703532909219105311102928460497333360442401268024287602443170464732645060995396221119136228733928634532928963087431772946136451650598258448559693652179670357403773387952331248488478450031747048812710998019528422934449979868632047662877123381856762608941871323005039428086109696959451465038068498104073123674445499830369874945525172305089896025582384819895361654112471522377509772636750076899200195773054633533905496153749636324036924928841709161648626784649022959825595554843367991777385518161427338954951762617116517616375235868437491053*t^52 - 773607411116863025651265669128471610505682513817140990139393170189515336445741393486073609768825471626891535772555247185539219179390543582384767038784695631690629855478625388032861963080795503720229829555397331925022333595925334943190919026354589326755450523185128223051171026962716579009632077859492578073276001634827668736376525867992738805437480471911631484056806460098068039043330346160665199656030891586477301293428159825742304514119016879207286396718951226203977397107366696037765045328280833462412411817284169348232352581596558155475738977179247631329887134415973974585595485218403390672079884831416422698306599407274870581353384981300589323018147001703963033600/70414141233238126123439143201179909041476225008379243302824703532909219105311102928460497333360442401268024287602443170464732645060995396221119136228733928634532928963087431772946136451650598258448559693652179670357403773387952331248488478450031747048812710998019528422934449979868632047662877123381856762608941871323005039428086109696959451465038068498104073123674445499830369874945525172305089896025582384819895361654112471522377509772636750076899200195773054633533905496153749636324036924928841709161648626784649022959825595554843367991777385518161427338954951762617116517616375235868437491053*t^51 + 60788936598402444150178589382546953589306647035087242550667447080225680376702178837220134869164401551785213021610517726657308390745868521896067409368519095190161429229098592896374941122179304963518810363060730030623411413755677123278351714716389718025961638180189452555531925737823830374044347496621344586427924367526143387246131412021878360608550900057872997406778706475418384871118346497523853541930002033595833525749534210988688858754587179471334470651850583497019389156514105699676480874345647151460999735423988659420854108310202220755542533796544358776539549359120393038382506125410371693879482552487392002484217767131677442197647486830504673666354700810470188646400/70414141233238126123439143201179909041476225008379243302824703532909219105311102928460497333360442401268024287602443170464732645060995396221119136228733928634532928963087431772946136451650598258448559693652179670357403773387952331248488478450031747048812710998019528422934449979868632047662877123381856762608941871323005039428086109696959451465038068498104073123674445499830369874945525172305089896025582384819895361654112471522377509772636750076899200195773054633533905496153749636324036924928841709161648626784649022959825595554843367991777385518161427338954951762617116517616375235868437491053*t^50 - 56168918553883423521552547548857748582088766828875293308883784890675645156195902442065775153315094701691045527779072469185466486725181742095386022751358942676251772701573220356027020201837437669208116548048618737002366780520954910562560347720961587923306923291776137897878297008553591366475964314313113529648890881110683878372909430271708710183555201617189690878834634999271029988743632088982128785022332196086756002145895717798170880893984256799301798201431188532099600520153778705032945369425416026377939117368718302514409600455184070804768707714713898332252403552265828805952111217567410191657314301731211089264624522779334084033115261435545469164458043016122204160000/891318243458710457258723331660505177740205379852901813959806373834293912725456999094436675105828384826177522627879027474237122089379688559761001724414353527019404164089714326239824512046210104537323540425976957852625364220100662420866942765190275279098895075924297828138410759238843443641302242068124769146948631282569684043393495059455182929937190740482330039540182854428232530062601584459558099949690916263542979261444461664840221642691604431353154432857886767513087411343718349826886543353529641888122134516261380037466146779175232506225030196432423130872847490666039449590080699188208069507*t^49 + 300959189134148028885068306449271681553450425050415442370223859549105656040266844833097445880699994081588150659716713422117747496697315659002248619525837626131519652166458033883851710763630845867644846072139564193189667992920595608522744227600004294602806658779220493913058980666603944906121354063036956751221327961538262539453449293400224051763372255664744895919027691309666734131987853202222114963897022432659390420421790595801945090642974595977711172986261744157981021656368785680676758694747163498219949147935045872881452561115231275485948646980054720927839178828093213729847021122810859685803242804240102819214345393098505195428950523915332076796397527937644641648640000/70414141233238126123439143201179909041476225008379243302824703532909219105311102928460497333360442401268024287602443170464732645060995396221119136228733928634532928963087431772946136451650598258448559693652179670357403773387952331248488478450031747048812710998019528422934449979868632047662877123381856762608941871323005039428086109696959451465038068498104073123674445499830369874945525172305089896025582384819895361654112471522377509772636750076899200195773054633533905496153749636324036924928841709161648626784649022959825595554843367991777385518161427338954951762617116517616375235868437491053*t^48 - 18968209451540586558823143785670777262020261466108019557111751983775860744357376182324444061889984595413652443814661280782878461885300919683890961858007068242724249173816305301914123390275226022915438741373728851090311612773146877530437873939591564046383804066811383685319092975686540092273487780307295263383955795990740723254854779619152414147624282470754072985700716822261949363648199100829756944589427151919296485712182046723185815906558199859568338267696591178624825630813943277876336582968432328458822878073204739267666601962223308973848065109189483161004672280354052269222773677461961531688698185658926536167263387442768532350648831513733621442396129393604864277217280000/70414141233238126123439143201179909041476225008379243302824703532909219105311102928460497333360442401268024287602443170464732645060995396221119136228733928634532928963087431772946136451650598258448559693652179670357403773387952331248488478450031747048812710998019528422934449979868632047662877123381856762608941871323005039428086109696959451465038068498104073123674445499830369874945525172305089896025582384819895361654112471522377509772636750076899200195773054633533905496153749636324036924928841709161648626784649022959825595554843367991777385518161427338954951762617116517616375235868437491053*t^47 + 23636801934745182202131153885050110950256506795588877139004319444012193674198454196222893510963791186406205278776648650174099038507756775621953277103681081098361425805020584641999212823640276009474749996839953111213016201629143171080025676741343893759857321280989264139932526411232210580840814931677678900105782287824236305252213034900343979332347880570548254131159021012652624158869258116183294192180887735950237790732472481397080240906761216454991214611592709039536831529151708713932865774493947088465497902942657896682449501423340548719339253254274191655437948290581192174299785169728967144976907092527259803086087570799179700317902427351556976387259179647729203381534720000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^46 - 1286345645785907767956889891583450048379757634658780896466433839345804394205982068006161352027319887439593031214758399842091607584499748244000601186702620836654946692561533512641921635333500865026982384144094058571210756649374769049387966223654928245312828820961057035025813094591659170227789727891744632799965399137102225682135004942285760853536913836018732352903376272019914663402444929803624578028673502617854847221951345867152897856701734928689744699323450376099375893406189468118266245370131269484044997894326355650131737776120931062880818437727799245637395565907949104958114447359315204223232882254696873997102339813991604597127729399082347746526789087045395292230778880000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^45 + 65037436096319600301974120576124323084211810345072586451098030363632849543314548225525055607609489946498265349942846274516034072705264168534288840392269084477411705399805879828020055810681362883967561114009835410815614561103664510867432335833749553668434811367874447398333023753913373036139395523402081141377232735986343562538635226646417237228005055776441020524226379559858518654535989829269024852910373024474837991064484855446398813669060064400990182913209794126475763577052883933479105613154012468222377463549637979939284752558369883799204834073364343445799497243964928723705849569570587768082211387099856020006957782889442321528811707844954837498495116589946808612316774400000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^44 - 3054184676698521848163033385020032638723821766345158081445755824563257623344041234698300322766382886807458161557076167629464169837981900492458657250622122221775053755285334655283237976310411580204717334862875002747264959764527782803792881734545426213184034575010777464249634785945543615600677211502726946636886318751015155842436709296690774786613870485546821644804602656778290809948013115061110897885937316110448512089244734570413249231760574728957257152674409629648399021741901066196126317807957156189210225285408955802313457578861537357185804645365162757140503676538548740111036660836173213051527586539204388451352119528106904494402201792505012149023438174106752904033887846400000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^43 + 133169350551838738515132502266357527342397690755210917744609339115647513409177440851638528314026515732931495097794149988943666320882158497724051221509410528856782546909461218815353112670243305572017332138437356254534805530522486009267845466017072076337282807974029814549001889804159555948825155222848963901218896053830537410203045492095587054950179971800135576410606571181109841662306753360472554822184271495534466437240207210167946810104017152534022822504868836622097732476954188988065029402250925983059087665095462385220515197734197360352911192257232524086290163925054830730766257225963467519074212744190026634023877793444247201626012641567481587536472646311623192454590418124800000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^42 - 5388933784641982225958440552031590616055381678060996414238778392103489162332777164624088944013145643698154838274350848837392893372607720491953226189857866668126069415208350266788493677928101723373244255913151939977269555297088044754247491253876343241860356361090726420407712365482990366923115205259360425376991597493401705259886800798223421020704360754166910439815227093555843267666283250875893034687052642396625482671793548351599167092053380566414726751832616712073364984584397203482039806203904338902132877962759195239038365643249612482851095018814355846321036541563729720506896012512700864095981903841998269213967701324070723116728737170630674125904437083237378892959651882598400000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^41 + 202285449178351322301134155792795802870549029397040465598149369778633524292377502824477353357555597806698588915835536542684643743967142243423200569247982820736788946940524981865896914827110886935202003081918623386547665777704320182332928554060639220472864953902916473541178539841396680322374355208768919235194495674730432279662647665546512742328465350905435913883480281843315815952625612342250709876861311608064033708673111215204086134301526668963882633959610019885269508782395207331539340312906812478789306800842432164191787890987423554848980326541484573510504938377710486990773843398632894645232645698532311857461421052746344119432835605348162829664835276599015157085998274943385600000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^40 - 7039209620069106878095168346388867827342963628580124671639368433940679733486370388336356104646874034510177798859679141471298078856603265600912178604154949619327819900398923479982139463897967876212488076286694484037551174595157680304110760765036131901880041826435392082838772660358359968630539766335464236952693647384197777591002353523559845908248673056714272282626225598922808829124137851919893002133618938026401884997595448596534264939725146797383704877454407099224980273163849240568280617487953328414783712873117542938880556456535679144945704141245188482187000558728320552006696454152642476584078711558774072283410468682502909345997062528067791826118850531215093439087234626093056000000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^39 + 226920911487432759303718199705812712974955181049144389567097285356883816641995384114879418655443460900624146279569125683388146856242928741326445577119020254350147261866115171745244991903034714280423190924745669518217568789660224909792530731166046008794584680011464455299903801693453046897950585655521296255001859224182082667386860069345984953073709117647596867167395972833042817294591344797389621036522162465624201853456177188261565892150552014442620316838930352745129626712376970936085774563349311718622033114546766585603239546076120360616877699555144940660379372128114381708769180667272653338603061546033186317133803900050514883581288599855168614434630186412903797354640425002991616000000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^38 - 6771251213049219657018010395164082859992709675068512215942485829209153847516827346084873091023961522880340980287079079994139844314321891431506442066678388166374046003351121641584140354154055384445327781966104074563570174928113800513007760841758840745109291643605825797709483064407240577960983584278575516371792016840622469134467702014887990245652450500078000006782154371107977159439891723240859498692290195392209661674043001200174643580571814898969877354257327042420620114173894950939148622493644438203616108408013461735568181453401494016252052686673743937295384722773430985773108449123687930352560772299831115379298206776601907618003490160053509196227531660644617913316499879092027392000000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^37 + 186860098287035406527562890740662116974239252886170619140244670231504793345977195623000759267072025064172973071545102908241747538518030667034188379816086323590504190550445482507720229069476405293584605924674699138123669285997703298437774292860232857462853110863257915082137406791384643303258893020076850914138367437015380728663535592879371762788001336251938529174017798383234420722812653117955426210510624396909100556270441982574191127488542016718754896509537819308894574500939122224298294633255495888668698062078545914701916039714842975916074641130031925804265801246963054744251834566052694878787969425623922178502678157548648090456332074594395441595949139825459232008653363752097284096000000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^36 - 4764114124522317999316333948780982121271495880023488261878135127848849580538368316215801644432669139156932618593082567314131248610138606308438466773155525271732804870952084668547380508433389650202170155903168024336821331199195775935584401119799388612226990224330734213294311599818439569033400302318024629146573488428129160290148413608802937357904884044565910266626177234761920619631179986731144495392022151214006682378864757835182508902411850643837573778132711321466675691914575847319835308239974305394521708312885782716237040381576817383248162253484333484366115250375221468189576798879673522974281974248948070865276496585703309937975689821370051480011570394342863181202176235209798713344000000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^35 + 112094289213913288790653891027413923957828469722870466539417242907314954419913693035373020824591867845335691941608800407700582863658318119699726164890345301684852577208946716665614673889797028442907653908647374955367316218538297098975384628804380753740906390719541684817696795155284315199891985288595678410449991937387344625752091198132216141698055012088883165918729463136546688532023980832700768104821499665493617569354305497229130416883392555673226916404030350967958457347038431504020160866886745671017106773667692148717930452007879495678940568525837686072024108923659408896790379635151310755086629405805884374255430812098625740728138209540784693278657584941630162864569416894889758556160000000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^34 - 2431022560725453814562150043571668203465972055089592013692388114079702367339226463474271042523253870376837376673258680183805057871246693239951408436082884602387205915893646825305449280000136544385549059334946792415895394194752466940989831516295685553421520635502489886802014588735981891946853586691413318942649842723995501097450099827718903589286434487183859803838269479056420871319026016456816484642989979039422788316622508218626816661133144030855806260504362311708034636827584760546594159895293050122375460079515652767791968472133772603090276936959920141585395109600604258088353834103654745105596695482823905410689116996286220772908319029613750188325956335026682277269547259966968624578560000000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^33 + 48530502920625741877581121052230289340900565281013466514136058685722609005853589103458723581832019869673886566820398741163510737798189880469779786182817038626517372229655153008110457481870559768844732202304342071728677448980467500623431609301358760216666651975612299098837164824107031573787980816347515750469683719813128544045492731712524369988099885285740779913165693231526534198908174930219025590315840184826238921723994678064386091448568626276026233618142518219743699787880794151242808044144543621416888034975148176634347935465378332149653175860330809091760355499765380759592411315827230219234469483552903520124828472990754565387661884324977819087140906803646527215449171089145810407915520000000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^32 - 890474270607147186525732675398919843293669398658510532764391890864493224039109436787765539721077568183354440373568433227220060406579349641802233766558509795068887374585641444471966649761968877451617045920134197260471978806144253003333111176358514357700231015345121270068380536724812554715279319062970391981042968113723091877104610857996741540288581352258913365112255426194962984728014564084079195157606188379660355292343611293972931378010138106510664217282472740094697408501354370354405595452210259744150786637379008067097244888559843335910720872307223490133274917467977451576762862538516996954194919455768879884649935229923555118964813575907311725579626484695994294179820730600934623003279360000000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^31 + 14993730738164264535449495859205887339782229417785812469790927403565534065001472056849162472792423136324982405377268345214854626219595007830215155524015997715530548865788157922560946379946612041762819405359602824466480412215672274522867034103111828263765098232337699242965210817747162308211265659887443412717429394562167776690243932476522119080585387625901736654463467212337173530860845834282916979708952413922026335192639352016673766147073528132030192397045916280668785548855946178477162821361334744526512235658608896490102661895925864640051394651394011508730266109688923026153096991007253863422819309843260271702097656693016493188625872605095003962404196486642247942004292521390586535440547840000000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^30 - 231268672654629909207542792475081334697507260444075681721045171873533706759632258335800911441347719700404506963557017316109748234538102428263393282487549379644084144685315033572636632328222292928280883743228305772482216985631886179576669955240875052202991741164860000961078845757078742878420147082015872355504266818103037545126380429260938320459129132337715634494372325403518825354163090532085223892480703042396254741708784413322749706926702936818103759760909286936609026881888238016648379122627507511788933832844733022327863420582461908922944487806790805555118854257822688474653615909418712570519247840587492235118374813120849247038831186981280695775490793284777479975045541801444717359844556800000000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^29 + 3261449514199192008615207654321297069169795300222131423211540309666392748859358716872955988983090484475196658942125905432147287866639295586873116904289838072578934111372694068579029411267044683059065278101208663116005314794963438127624349336507152896408328959281472634037656092390677426800183622430468240519463123803545370590933171256562248696454246734654774493611693741373798492829180460910572993229800361502310804184539186815607992741250563629583579379544605593460010762863044375545358930411786134146645518526680006614431932215163609681900394687189741971180421054451364780282467009677799827271443246313404196145251600602495111397258245657452492258761475277649070924409742605573418420150258892800000000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^28 - 41964723709554444773335596555335113568419033007351998704891843139365579161161109860688426361557639565478859202371047208647787050977252808283990062707383513220913473126106721398444916597645276632535084991504592688138466661512224966324467747808861609709301519650069015410090670436448929449902464796614254605898880999263387002518146013759075742227383814154501648243772099506223208159932663851097494689485018999796863003774743675232906955663776253396522083623966115068176791823648524979748330073513777961373041435332373335281049206139015902389476854151932749556554682298884424717007711184189781088644883925204854493023863019119382281772358152434489622716145175001401074289550314516310056295435180441600000000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^27 + 491529325570297247159926017986769955076472962179828969882651206437631339202081602561632879072410832660753000035133737412601030462563066948895255246202974579741807775937822999477874438781784240334799408157237768551996775002618782433809519868656309055117714704699290965562741511901468372796690605529318655124335308023461810012003599236381481859788548841445144102457182532582280665256399996779237634705138954923149384293086949923543497662372820650144789274316536022842823985541315848349149797058778164676570793962541356089593422488512908519523533598422150024191559140790049957754254465044662374617848418418490906529450015054965971993776979596875668186962418942470245840695487669403575107160665541836800000000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^26 - 5227908847807844790791277778577842090830213172777230425702121394819152558910209810710654906808609232579905165066872911009716469196941847617707748037974705630181953191260579772716908304426099281444265347779915980596545216813180654497797238036531350670103257711409900029924404475422579250355368727150557610165629647708171503925349400949600279689498565037496850883385019050066238144135631812032608310031738231971606415979663976915615354981255499334901203101253756228485375407048890985514807034247615617800851715946574734043552036650701952574403361312406010695079892979488764688856734561338573610915359711385759998857660829375950140614593403501748480846868176960010681037811348432173846028930004497203200000000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^25 + 50355152022017739465931608447179879504035569277651149834014197580809347427968534235481578000597255392298743059199042615044384786524352307510279708985800936783738592260538841807075785490446207716663368467706973772293423117504226328345872423776090572929590903117858959778023835457907293798919679096964692442523147910172127707409007105018105153584220138243219084820713396482558922901435848337001237743622832151702116356583168915501328634970321489565172849657775664931150474122493358142068904376651806495359203966326545442946054791305667930548946663760992614876103619581450257323430582370535188051545828421142147726297171874612992868599855806017648496290145313086175474359886597244196249740822750167040000000000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^24 - 437937579997543436147996254907554325781691560477207496641691649326150234520373935202427682202463583751214908722786566889561899995326452479111328215132735340129724907993661211844060208411055381291994002664818279081980012490059764973217824694568941743512215733797891510048112743289196198247779828880723626827833868641600516760947144159603996949695879958733091004936376113241668916991142958850536387866618808607491419704708203046543486685636856112404583939572996042233189225783206270997993383112653706714173165992985245595530634577993684701750055454879014069495224272844571136749642161614837547448380191911630628569621801140014609022287990800510594821747782474567371324926193414927910773466852271063040000000000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^23 + 3427891180374735164558277555615583607517495497704116096173527037610336601086570100856193140897501936111671365161338006611260270232580671121344804027791475065610700714908144306802920967238288447439605061895144292346394740026014244516665165130695191142839181146964864471584753710781081780593860213443664368267970406491039244259096408622345655765088055101729756658106949509488939992274528282617435003478604714982519612898958833235593289746968219499290707461336945396134760245935093275457732719493468040382415406257016826089791575127575967345831342605176302738334199175368218533042983843574632940554284842595012611773523280468086557457543837545360941963320573625388618589812926809495175847994705659822080000000000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^22 - 24062855237520365355223754368275284456117067512430701615942172844383047996441871412630519145327964949884130353544911491743147548460870095557693312405953391033807186119484419561189511740456774578771559772880463593560078869354811637425756150920809643336896634742807720853656482088538388442049884575966619842436936120987387269627994295080894644750891382987287749181051828098267705496053149970884254965523450193501452062393522061545954570686830573438735380575588451301629684232837253269198189657417261446894574696782102327337791071728422691971142861296764825578630945215041498772855467319636446277862526690336296870577109140101964508299442371601821823305780776010533143288346373399303903460154084153098240000000000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^21 + 150896483756047954303522565301205126763235244583873557764716112001401569491370791866764874098115376039882780946846297156931134339986052856002894026614630126538249133882969696149514190220801136726329853285548514255133551281450180641856469556858795068723689924261112917445926175527776648508989261813215785553802946250376389619797991518530461774459474518777961169150933920719520860379268803533732377639610420110623783861336458710950854144618013191886353475472255543036253517332397096923885491588275480690647524592342102168541027072992527112658813434646341288207672142687964975209571496868799749105269336716506975560332552887127647596825646042189717890044805349905800807264644511807942944496976760101928960000000000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^20 - 841699037208623488171878771312934659485667903478912069434612275279748986774459782810440326593747407113445981588203203552130430866619671387834651014910413668923207123439747851319125595921140926811675684026705525188906202202899420039399102567110592923117024454522183029527828879784482909182224648322336130741240104080864173421750725794541840100045429161298494136772700151806709017917348103145094960649054448289448109418669096833080764614101149008442222627083194358177872333334710785798442456972355771177285580799822785364315955114290413929743963576233825873271796793431373698879649073483915904486552283740694523435248274531767175655533601028796256902864223341899252009456948535370642793311128485940428800000000000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^19 + 4156398572405911432325411512547293955023981254289894608436011062578419444250136294496025594984882728964915081084021655127994789779192754703518688064963954055358712098021943673661370350590897490700547052178931310104795669671764149209475024568309316985734888523167139749468703730927197016220963697595373229896948506503666016405052849638187877101466654867630161369217413647937503308015711627267002587862377704932797859085785219949527570575416330476356837424834913719885500598829933555489352483665322142316418164644993766205608806680681108063040443856105027509410358408858752108528154386297193937731164969394854010940293756264425223694132191673359783377824287357860822173473987566307444957936061705407692800000000000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^18 - 18074670256606800950096159441021434747844988776261336182631632062690287080871791135017187268094197463525164444306385557668355594590291045933651135332427660365383683082495092541457069251608111158560685036094956728422963932048409024186966187625078291874988452515956576757531739555641855348205039907348609951830602953595581409141910225089337801406151898434255831675461277162623259756347252521086882818159956149596933793420096462992256003437357694071919785165381150481331980406070319827733533307519592784880216752115638814234389700647337690844730561329986200211640754259930833731666508483942063087699419036087464981474797786668741950775265982248366929965281683039121091022957580875152379807750944980572569600000000000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^17 + 68811893265699847847413785410892072193700723700064017794657503088877117771124740848700129476387781322551302665921871096423704860286128603875420270225803085159826433740565926643153583501967870714121050800658468082729593318297320348133795348053164268191449443275105237595749554125385411106647373176790677839631556384485091381792606481068595583556164567220303101933634112201628593923747312369539865271380530254581287406594350607276895232903355147914921919535354778716159927393806767404124221061145535224028185047876634214432323824379938094087634177558302096069096611322925006547869286144699261031603339178996083042176253337496103528799288291766396303638809868919273876771428624436383331652043718196513996800000000000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^16 - 227842876321210801543975017880075819998449690798460649540889407330298599463987583445001979690327554029562916124253439856412040971486240369656226688712680602057929709562564958905571485131130473597183941587574546411054839874969418420267424061440569739437462116025489522265644050433583548486168813120366283511862007575155967115522145159237527985552786103449450083706922845896616211030843455003171604628487694960916670460830622787925066152287220829584861849695585132707918876989038022979152840740244618792501692258053615115831009916714141717026281986470834551866901273935412127371195429133211719706577626142850376433324273324181741788621037507409106970364612768706188022860961408341762047037757587299971891200000000000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^15 + 651269143225885808661531635120104120774832348570996477111850823686857785447058726278894836863080092253658181925180182845318311645468571264383323277096178259497761407376895104936040000066998186128914402175917035218679992828314545841273724683926162752509553033187392272199016170609066037870526287015651578032064882310058119993948923433201959133003898241548526942960197752625870602166992318593049723460840989993953507399639895333693086427032013487583101166135943002296718561867283010560781027831428743395014192313512162492426977176625687239416647983346718346947780342508059273070862730405565398415579168690050878458896025097865327141003396885624390429477447733627758876204639000293589538783996638597742592000000000000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^14 - 1593591163635883548606206484952026432070699484192216017218349855653747176985677994132654631294814230805879098144941924349575165082394776696980154540934146125116440274369695414199922263379409136446302033442900952408886185735240040793606678729316471514079344748313554993142425703943626152784995869428087416417326292118191433095051396549005944442935077050906111444917641711013311098979327170773786309148421582079961143009779437787628605619679455711595638070272226776228171265476046809731615410185719842599470179198035926293871062921028152069202950390144946199014479141084400590528966463864458338867550821799678909619297179287302740290423559970326367327286159625521581098106107377350030974454161011021709312000000000000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^13 + 3305944136898232916842563723684461450013779832717029680592284395953296934452719665990958617908064765183006449008021816626789314998838632938845728579768862339818631890292832719285268203965251467077628781852167461698123399108772518914267122135576625078440695016742976273290969093419486098162123371603994692962724016116320399578488238513515278875216908026349389739282672711462982981689118127853478335214276073245943178796028624914712281390829470442955201769065029714074070032563954552002871358121334069933031244705727960787996699106119366462116979830131695762571844664514319976493658903233596695835921184039458793494212444545246636818137826183855064924103406163793695654945216921016226399889612001240940544000000000000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^12 - 5750173133778198601434653820122531634397857720739260128967001671686981900333012530502392113428272104647272401078820776114224187882235956852747520178723385255917689175115633916577345892256106932820493513538291944863868428083619927591179835075715989372133546646623144517771902075466857925102677248632987004206748935523196905883075151321175135262983018024920215101468473387657549209346192426784108734040352944606078464118467449109847328662257276927121453190425004688757199280433228967767443575289119080604723551509632127831791297677045068699010073620876977825427144512303967360006222380757714034157317317901824233587898017565633825870980410445017840712782586845486796056380580539723089781463182144199196672000000000000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^11 + 8277410745453709060215065199655761571119242040989158401913280183545914272438589630571558011832356025330889053379954106277707435105422898199155102209775990049968275437377885682613310515062968009470742982068205863633856726002081306129880599575724793348008624346983150068583735264963401879831504392007000814639884021124297413835914257833168935577592046284883377694255503173456447031203665524148264942985099827924687711998082031368129446178644783082552302722957145288447526942441184493399548033104135742824845980267661877471293184455673880935345633670228385492345477114297142681936117128872935674806582799630775415663640457949168126436293788936415490480274198527043975498395792774378047887793673028090462208000000000000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^10 - 9711391276730127095140722100539012490992434352431158400566252053550097269434645887145242568353311414293617428776300027905574602265354776858888845430549169025673104008387273585233071594442152062580856259636715212025352886438631133939166369127436487654929227206870645225148354586440906277541926074839427093566815397310028392009085161257627879013032948542567119698168023276431411000854904963899251780397121882659594383437600416093790174755469486524327469578954422001556595467731088557281190688750889274641868819453382503597216414547708151591778388674669096757641499518069378903887806588819403885924367275939750213993219537612707456782124103532063905000671105138191002080663884416054607340052251364630200320000000000000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^9 + 9117419315065961723982956391411149662013261923110282577466200468568203379245337118870459104650671504514090394592918220989557374617964868679152647776356414629793669563464076350310515881010493361066363881969695717550595513807228646603699465684842800316031441882479281479127578568713040989567083525984804668086662060069633937973360817214576202267095171062152493788515139584250407969945749546568917672076864550224262629732447289614602378598097867431085923213486642926453504595755736928573005284089635107903682986056844962204429597249502002243320644780260229205595788832361230764331611933334239325570570476284308082186611269036568676638573438526205613000482287770668840015782529610891923195288631712541573120000000000000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^8 - 6697931024643400660153952391397379945548701383010682515951918805609791667531175220874945744385285155586471861294686997607258980362252544945641211908030812464477906179342521314218691599632171826032507511849466372006993103444914175988885202548790545664203088719361508542482308102947536182679092799321984990865859098852080502726991219014345735514024626379586290855428646435823211354883852270253139758582889028590580507792664954040907317663384894541852836034566012048286468520922373241927144395996786911059234724671894977335605315818186448743205750582167128072954699916469532110543930861623420702417869049386552640705581248400709796759496524264803604282928572156600703537171273029444296670297340314166231040000000000000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^7 + 3743816570562030070691677870633405505431133839873323408194306914869788868415650933295151386358851279731089102907245105971504409920070590931211991537356552525703592622259572071609944315599240666481769001761962712192775092444407343159711780697055763125831599762438541150901034051614486256363240684309706909617012038936620953756045874163754225516382371645680604491430037985228531871866167299109785323010473400683446471278410447184884721231301422631297108379740585411963334935290061166578952391937530422566515064389532637328443658295241877925986095220116367373901954208132448538175846476241119699656857128428943171205091170251790646560757558217193865915766063745782649322540127113908875411374009442075934720000000000000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^6 - 1535308683383492210338214609128536062053563718160760082835311822026941175168878592829191969824074102446765922654697335412818652684602385924392771222807850175005664222699156907481659987352997093159675638363649321698990706889572745537922596534657697858498601004100129546297789562455669476439412961499948221065584741486835024318330646817303682570876976597201751340015206249850429172009645236528575799340117033245214740028574971918561861956315096571849092238630929171128449078931352123339207190931180862346117409970298555746540790988619566527706794711918555363883284323585594377630551318811744535506474885407655803509197687282266736407023762789432853086787949030778235857871852263324521289419645624443207680000000000000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^5 + 439525240181378028356541704219028999919224336074212753580513024723367751256525262309023137499711728062962147184554575977210814851834927870607290208902791298955084826162303306201047662626563335829278984764483719708233875297144094230383869800751011950264448358206054114003011186612980394966444149757999647547429148752429416103548012126299979695628712044181612362292929584022248010806083592525943496349120280363370745330092810548355086886845739324738330030395213253562021349953119319586169545486813597465217721602129533773610466837061943286379321019978688415208556790819566865943023539504101158576374563024363932110933752544941186596084926637893840657523036477041194072385852212232786712283939943848345600000000000000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^4 - 81634776908907455029408294934728184455291947715469712348725323861256320942264426906618820708388454348581644710853276814464615275937501211143038470630667387753104898811273815276172156461202363188853410464029347714463387294849320302838799347495311641210734377829296716441729422403537470458105266254771802039258070116797727108338510398484205493996442169101131820305226857592459285548218908257604427181732035116101605957792263277629605867107816543751011313289814797705516019629875026111991986768830908099212787343652676288781103936225619800553065488694585138404632725897556091795692708015100473325696828582782947510397975312246072323450859038425350268638714464863323286274063705563167042557992687475097600000000000000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^3 + 8729310593139274076220689361018907136729270841257624745025678088945268487996147380889911178366324239880314266591195386136728731203653669624904314328726471856851811527909177213364658701803876896437903900488159529463355068407609410973399150257195872006435113128336659029512499771106867081983196151475449280234423629657215265505579890187790030064066161933686195191057663048860285901909103905319326300499783008071168488572711444247633190012812437117921832718485507932191970999538170394060601154475286331723228728036177523594025203609512948584543219021121156240288866820571851591437957033981848724029914075207626137761224727926677995072401432239420919042728089345332467163433479411142477338226560545587200000000000000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t^2 - 428496671642995534470916877415196585211763184354699187753095040779076798811936639288899823941428184902851750760647538293663800158667328624859787071307492130069731707909561010627696886541308367947734951215390157807937182553269238979053903375114400615934025015800431455834019725573038558219167866872695923223840217292889146166518448403107247741753766592800195179471697774329205837350566348839446882392426161439725267478942079092669292427409917639398798938040145689527059758061284167320568849976109280075278121212611230121510708435868842528072091974704675781349439200742475992817024269470671112197539456046761773444513464585533978383790571658272672792720149978352797988155716675615193989691374934425600000000000000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299*t + 5464513725483110824355970298965326148331160172815391561390549489844220722921721450509511146498068223581742816746149730639351857490754431236903493872317329770598009448799982697620700023855943111232426539435130148290667189887429533752462761007553918571983025796276962413407899146945635428243764460893853107999437000299981363718566992124668584873035506053679020781261761580222665677722029734404953645114673522012056779534082593351527654821927987130088083689050031374271339686800746037043041528642459199912501451894262248421917898303946663213268199393817098227399713451112858449817484547075317801319280702141906388586223311608570959292190397860920122072354389991384446748632323947121361909275059814400000000000000/1498173217728470768583811557471912958329281383157005176655844756019345087347044743158733985816179625558894133778775386605632609469382880770662109281462424013500700616235902803679705030886182941669118291354301695113987314327403241090393371881915569086144951297830202732402860637869545362716231428157060782183168975985595851902725236376531052158830597202087320704759030755315539784573309046219257231830331540102550965141576861096220798080268867022912748940335596907096466074386249992262213551594230674663013800569886149424677140330954114212591008202514072922105424505587598223779071813529115691299
-------------------------------------------------
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 roots: 424
 current precision for weights: 106
Linear system for weights solvable: 0
  current precision for roots: 212
  current precision for roots: 424
  current precision for roots: 848
 current precision for weights: 212
Linear system for weights solvable: 0
  current precision for roots: 424
  current precision for roots: 848
  current precision for roots: 1696
 current precision for weights: 424
Linear system for weights solvable: 0
  current precision for roots: 848
  current precision for roots: 1696
  current precision for roots: 3392
 current precision for weights: 848
Linear system for weights solvable: 1
  current precision for roots: 1696
  current precision for roots: 3392
  current precision for roots: 6784
 current precision for weights: 1696
Linear system for weights solvable: 1
Sufficient bits for target precision reached
Positive weights:   78 out of 80
Indefinite weights: 0 out of 80
Negative weights:   2 out of 80
Extension rule has valid weights: 0
**************************************
*** EXTENSION WITH INVALID WEIGHTS ***
**************************************
