Starting with polynomial:
P : 16*t^4 - 48*t^2 + 12
Extension levels are: 4 38 57
-------------------------------------------------
Trying to find an order 38 Kronrod extension for:
P1 : 16*t^4 - 48*t^2 + 12
Solvable: 1
-------------------------------------------------
Trying to find an order 57 Kronrod extension for:
P2 : 16*t^42 - 32367057756501387767271185768/5151895684408414257614025*t^40 + 97507240530938716238452566235408/87582226634943042379438425*t^38 - 10342099639862360125510871105004032/87582226634943042379438425*t^36 + 6993083893890325790949689527087983/834116444142314689327985*t^34 - 41434643274003584747363943829412943/98131346369684081097410*t^32 + 33277162902879147022596246825265752/2133290138471393067335*t^30 - 21160668227866393409073547270094489778/49065673184842040548705*t^28 + 3542824764995802554384970640785531656541/392525385478736324389640*t^26 - 1736132561206550994824849549047000679865/12077704168576502288912*t^24 + 457667971765786010535696012757511211615/262558786273402223672*t^22 - 4210031745963006900953294784742127140095/262558786273402223672*t^20 + 466433748041870287259939897369291850158385/4200940580374435578752*t^18 - 4804053862734541224215125826432587980700905/8401881160748871157504*t^16 + 565131444356370737972723357829688145601075/262558786273402223672*t^14 - 24286269700167102552018969433317954912965325/4200940580374435578752*t^12 + 1438933380059224246865362547936364112519732275/134430098571981938520064*t^10 - 18270911670714842390722255008176392046555025/1407645011224941764608*t^8 + 1277641035952745447270866565233136734600815675/134430098571981938520064*t^6 - 245291429071364164255073727580914972477307125/67215049285990969260032*t^4 + 1186701471380143445471422752077936261452171125/2150881577151711016321024*t^2 - 58966886019780348627966223500001232220043125/4301763154303422032642048
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : 16*t^99 - 6187141390252145576014723146961198095382493006110140063095168899498654095202085769978989233264915234777574713229336566023836254848508291542767984431872491611195960390293382309164425126775532624582605143726629312284155622506729952091484340160026872919975101447769507465780734253217634091863346776043758731119855537324964326272624727317086421725698438324230460514623614936723060016111298614103374860182657864151130004604438740234717424115853120358453650203960930704966045334388015423687459574077002097679653764596636139996682935524549117557545814036590359451969129465033096546446811757988673394090090266009489085832168307477872207878500712026035324243666500985279703524044569501451355590869104182512834655173908817454955595055667769055078445389340510612098540376159014225545133597561544866943802612231161245198487668118640360906188205309136763587124129381391675181908342094608740869467411379586540168331388003233017269142901844581766374460471075497267544/227440070594918372312781827576154963433394846468353789421977562153996656170402547588283778229291562022778118021685721721057003273061654816140106265364092928426203426855791590402260980494983457191238428770427391468753535888207175309574532107739451835358536310380829274754222216212920710408513013998642609056505959297385234386597658227510102625801045156611525256207876068930279213139698193535448070790526091695769538445413248379304521277670684348642443576955447568281213610126849243442357775949906966609282901519564259061575788271201588005548992397058533829158579932533086397184549440768923462163425915134158163389323382332264804917300104995355928437844547949567318432785732878480564791306346018139379085864781971239277968378553107229162716764254001545342095644709549082434540551075793533489486468962777476226732644721019367668185976608368162407441443615779629923859381916741194183882711365316487839888179686444945511411112671230974328895883490089075*t^97 + 85574821359611279995332613713318358166170196341434999020409828439885838693077778918285026602844163294176346209988520322469518660164451613389319526858966721749066295442181191615875641974295395227727401415360137503221825331090231216797652454536374625436104925464766806085096328957555720238973393367685440993325788518608028046283585813559662614994318038232787023310570276498041865370705182510369591515696167180754211272225595144351666200543807345184719096055740737619083969658092548860045777056570952555025882549035845455429512433941153206105299182983318615327582472269007282203069863063734069806349202413418734579292249462361443600473716318607013343037288446142280783251135656573558124922501068011871999747856495490601556653834930892723650652427710820929304817793582321147923255281259904333856440120324003468621692787820192002172690896237800115202692751078894795139417860903384217820912112931537690078892349613532821688081274151460627112087211210316637995976/3866481200113612329317291068794634378367712389962014420173618556617943154896843309000824229897956554387228006368657269257969055642048131874381806511189579783245458256548457036838436668414718772251053289097265654968810110099521980262767045831570681201095117276474097670821777675619652076944721237976924353960601308055548984572160189867671744638617767662395929355533893171814746623374869290102617203438943558828082153572025222448176861720401633926921540808242608660780631372156437138520082191148418432357809325832592404046788400610426996094332870749995075095695858853062468752137340493071698856778240557280688777618497499648501683594101784921050783443357315142644413357357458934169601452207882308369444459701293511067725462435402822895766184992318026270815625960062334401387189368288490069321269972367217095854454960257329250359161602342258760926504541468253708705609492584600301126006093210380293278099054669564073693988915410926563591230019331514275*t^95 - 44383444660935010468949214071831209227406648613982854623475675968237429962130199203730377224026266306723112962898950977140125568300507682369663429189685940570293041467886985230806468728046807934552557758412057979962567043973095101116897875860475226226661101523106363477705494601466422568380479442379081772415112324919076216568899131168413007843754856375553767654545938028183008359077247042968309131124096187145856844176749484467833227996686634074885567825944469561388845704244032653391028954969659040421431222103608306220228833550136551687014171630129561914694941194621467406050770782627383756846389609458828218578526953536590529357646028666576816447051942795465286157895513668930436832344523376030923112020812001964147694483275372062833647572397013849286493019469771823062402281654688135636745950608537068789845859012995083757146109601405144037712373984013933273860128990405766109114656763059909848016422421721553782608404883877928648557817122544715221812172/3866481200113612329317291068794634378367712389962014420173618556617943154896843309000824229897956554387228006368657269257969055642048131874381806511189579783245458256548457036838436668414718772251053289097265654968810110099521980262767045831570681201095117276474097670821777675619652076944721237976924353960601308055548984572160189867671744638617767662395929355533893171814746623374869290102617203438943558828082153572025222448176861720401633926921540808242608660780631372156437138520082191148418432357809325832592404046788400610426996094332870749995075095695858853062468752137340493071698856778240557280688777618497499648501683594101784921050783443357315142644413357357458934169601452207882308369444459701293511067725462435402822895766184992318026270815625960062334401387189368288490069321269972367217095854454960257329250359161602342258760926504541468253708705609492584600301126006093210380293278099054669564073693988915410926563591230019331514275*t^93 + 3927138215117799024139362972853253762733848628035258155581529540460283324627748745205796715334741178109283304922842923100108628451912994960684852762833804183991564777077076357474217461466767780722772461122446300556127176394163375482435712428122670274206907424186790415250351499899189393586796231585425605248193387643421304648550848413893012326472441798860123219042279646868441627289372591263591505841648367926911527731932817081633729118228804284201133875841787750692520603355656631358293431197772471152427046590957768133477533153481849722700973805114435124013047818153618390948958279933620453639146612164079238975760023596553574116258134025446092611417378960371314413309863841259937549155057587937516924347288047074602567496472955450311330263925433773543243103517827594798136449186983554595475850006423930363435126149304143213256640080820971912449945470054628742300347135979194001939329200317558981837754237250294909588931607624510279423438799438535613006586466/920590761931812459361259778284436756754217235705241528612766323004272179737343645000196245213799179616006668183013635537611679914773364731995668216949899948391775775368680246866294444860647326726441259308872774992573835737981423872087391864659686000260742208684308969243280398957060018320171723327839131895381263822749758231466711873255177294908992300570459370365212659955892053184492688119670762723557990197162417517148862487661157552476579506409890668629192538281102707656294556790495759797242483894716506150617239058759143002482618117698302559522636927546633060252968750508890593588499727804342989828735423242499404678214686570024234505012091296037455986343907942227966412897524155287591025802248680881260359778029872008429243546610996426742387207337053800014841524139806992449640492695540469611242165679632133394602202466467048176728276411072509873393740168002260139190547887144307907233403161452155873705731831902122716887277045530956983693875*t^91 - 942930849060069724467079620997218630896314296337198151749298820426081663500400713357023382466074889136817400091337550500031505619881204940016521598658582928192588934957405168601701245051636271708219785731518624979633578248403696119384350648093165785704635278646892738989692723623961675034785983437137787092089035420341561488095511542066904799119546647361325894486408191727051543743848716897083844052010312380194681294840417669905120117814805326194210676638733981935594560421928676718537289274309601905990416024322727244532211710102738949870626037766793401196244032091774202323745040738565825460712354473423916034575353395740829351269960927340612204948291180252051002565078509339281994860215590323353888186432150820414943709821565633555813574657912017820555917228392037440852443353135113954913048256433029806862516822988803038875256559709583993825530771657045514469327289610283746740423766376239142930561941019085143371019037541416494231731133429284494751700576741/778961413942302850228758273932984948022799199442896678056956119465153382854675391923242976719368536598159488462549999301056036850962077850150180798957607648639194886850421747348402991805163122614681065569046194224485553316753512507150870039327426615605243407348261435513544952963666169347837612046633111603784146311557487734317986969677457711076839638944234851847487635347293275771493813024336799227625991705291276360664422104944056390557105736192984411917009070853240752632249240361188719828435947910913966742829971511257736386716061484206256011903769707924074127906358173507522809959499769680597914470468435051345650112335504020789736888856384942800924296137152874192894657067135823704884714140364268437989535196794507084055513770209304668782019944669814753858712058887528993611234263050072705055666447882765651333894171317779809995693156963215200662102395526771143194699694366045183613812879598151824200827926934686411529673849807756963601587125*t^89 + 38656571812488514785766110655410029524753522156054011809551674020449202321838123788136130038294691560090796185134196748901694320568545335502562822573413379590960277808504076545688835681683762698177135911624024127951467982693969447398276207537868195484370362038888177906788209205493738366614465415409522089712406192922147388009030901347921489294092069298601899360882964356304317908446094092619287991976033406227141431461596233877282886060602285336658689194711086779539656533627608521227430642137872792884704099338398228727553987409114028605807478273922283195552382453480184817225933130643127397779335611521474666463809621929387938143489300635135239280279564578835597894114852763120619417525517046935143554801830241385381323334294403761923779223848611629216887507027062068305549188864901645211633994913839313738485547442541634605948263677661276322201885800560821007625693782988055360337973345966283516827452579677723234658676899174741236465052249151857397782246417073/141629347989509609132501504351451808731418036262344850555810203539118796882668253076953268494430643017847179720463636236555643063811286881845487417992292299752580888518258499517891453055484204111760193739826580768088282421227911364936521825332259384655498801336047533729735445993393848972334111281206020291597117511192270497148724903577719583832152661626224518517725024608598777412998875095333963495931998491871141156484440382717101161919473770216906256712183467427861955024045316429307039968806535983802539407787267547501406615766556633492046547618867219622558932346610577001367783628999958123745075358266988191153754565879182549234497616155706353236531690206755068035071755830388331582706311661884412443270824581235364924373729776401691757960367262667239046156129465252277998838406229645467764555575717796866482060708031148687238181035119447857309211291344641231116944490853521099124293420523563300331672877804897215711187213427237773993382106750*t^87 - 407066600731074127984495053367164119013511601434923216638000378327644773535207678632782513766963906612457581363704978827882023939647441652649722984779246956817039716069240056695263676050384575108986419606920838335912482389093859536839072399390481422017824663840806546037314570733647584485184761217599059266380263942637536405446721106392896620403749453608759447146009005508460003414335236676331266091137754160347538108355924993853530016032834744257113719571730413618112995858578965971351797235153683826038022734979620895540416013191167115868962433336765395936184212264406499778516343243871907884914736015162962099422724289220874133333055256660981840928630514540619359327351362985957955812528546725987034602167207583283082017088306194898063461592340438970713648844548412685268459151822827880057392643688564092579074926216688517318329136242374254248712464969480812108544406298407257698834642131305628544899642117872621021108926045031928909306194011379791492131136147879897/8101198704999949642379086048903043459437111674206125451792343642437595181688624076001726957881432780620858680010519992730982783250005609641561880309159119545847626823244386172423391114773696475192683081918080419934649754494236530074369048409005236802294531436421918929340867510822128161217511165284984360679355121640197872436907064484645560195199132245020042459213871407611850068023535655453102711967310313735029274150909989891418186461793899656407037883936894336873703827375392099756362686215733858273505254125431703717080458421847039435745062523799204962410370930226125004478237223578797604678218310492871724533994761168289241816213263644106403405129612679826389891606104433498212566530801027059788391755091166046662873674177343210176768555333007424566073440130605412430301533556836335720756132578931057980762773872499381704910023955208832417438086885864913478419889224876821406869909583653947820778971688610440120738679908608038000672421456506100*t^85 + 3670203120338459239426183184553797394293585001065496383754461137651636248020597550574109234513595019798646034586845054580580509368845217881782371060137536137500725269960862405576113919183968043174427668095704400500370256216131146551765214294653957470402610765611496596121888626755236028134413991537099733328991547793030186233338688865907825007362381741757437812791370661888684121004493824633351278215388383027236481716486870151257669058087180527699550154987500560812034611334180029799758274720748314251119885676435164218785476357216177480358237051663956392781225398599821039876776753939496076355354740422686301971247460853450849368191575566611834868566781996927285758500301788470577083408779537839779007443426002252836392469123050114788575177953440042834222992396073297589708660389483223786333033647168587920065986690213656877685335203984723968405461891653828384374166340126251981712983615693594523707849956483020594968076921711141774242229397680550135003857160446854451/476541100294114684845828591111943732908065392600360320693667273084564422452272004470689821051848987095344628235912940748881340191176800567150698841715242326226330989602610951319023006751393910305451945995181201172626456146719795886727591082882660988370266555083642289961227500636595774189265362663822609451726771861188110143347474381449738835011713661471767203483168906330108827530796215026653100703959430219707604361818234699495187438929052920965119875525699666874923754551493652926844863895043168133735603183848923748063556377755708202102650736694070880141786525307419117910484542563458682628130488852521866149058515362840543636247839037888611965007624275283905287741535554911659562737105942768222846573828892120391933745539843718245692267960765142621533731772388553672370678444519784454162125445819473998868398463088198923818236703247578377496358052109700792848228777933930670992347622567879283575233628741790595337569406388708117686613026853300*t^83 - 475270490067164792215698968939009808930041958823161099670931550143155444730495239559742607955816394751223980800464708862047672308252545721503662987707705304275032362224424599612391200184641985483131451515061542347435290081518711334565204623724812457719184747640940461360943913689212178602859103212626996568736056465878056414757643816766371987092019122800269355440116826829261605991553469454310863739672257654273750358461519996560860041977235620749795753631211201133308810803094861317284348675677293070665260821004991629792445734013602285577199069018592909690327953640745802920380709905202748761767288077041840254443055955080425517875943947326451131270104367476718314049405083624141775145535292257320654712398224646082464999709427862480619633237114055785799738307663837842627768157601474238870418800802220748639869825227520712163480112659837905046764901428803351407050828143443578958892217815956382919728961722288174269256515344061931390906578521238348053254403101596779319/476541100294114684845828591111943732908065392600360320693667273084564422452272004470689821051848987095344628235912940748881340191176800567150698841715242326226330989602610951319023006751393910305451945995181201172626456146719795886727591082882660988370266555083642289961227500636595774189265362663822609451726771861188110143347474381449738835011713661471767203483168906330108827530796215026653100703959430219707604361818234699495187438929052920965119875525699666874923754551493652926844863895043168133735603183848923748063556377755708202102650736694070880141786525307419117910484542563458682628130488852521866149058515362840543636247839037888611965007624275283905287741535554911659562737105942768222846573828892120391933745539843718245692267960765142621533731772388553672370678444519784454162125445819473998868398463088198923818236703247578377496358052109700792848228777933930670992347622567879283575233628741790595337569406388708117686613026853300*t^81 + 420668731610721301436748735885253806519300894559061609228666607495972245328294475093656846351934253817487405096945703175479128237283117524197548063893348804243770822632871886305504817111177656340678401712223164082575337020002196301710179171340793135942606163870056307930807539225658558517157812048347317360810697123204343096201246836229606422822786578747327735524560948153534043702257246483818140308128093413651908645937311660444633535475885064402857591819298005414461547074230252976714055616597013238472878177693684902786511511114905888147847775253636640039116974417801238707105164831039309205499552724002548496698550130126776051021013739572343322299649629870930171942200316146449712853267160417668416567269022426314139504693994750500752364772171652888198354174351633122243393772800603721269138604388684787607172392726829724106669475096420684931399306374641465270804316311326825115068345136038067564836473988505339669777185562118262762239290511849294383287052313291974738241/3812328802352917478766628728895549863264523140802882565549338184676515379618176035765518568414791896762757025887303525991050721529414404537205590733721938609810647916820887610552184054011151282443615567961449609381011649173758367093820728663061287906962132440669138319689820005092766193514122901310580875613814174889504881146779795051597910680093709291774137627865351250640870620246369720213224805631675441757660834894545877595961499511432423367720959004205597334999390036411949223414758911160345345069884825470791389984508451022045665616821205893552567041134292202459352943283876340507669461025043910820174929192468122902724349089982712303108895720060994202271242301932284439293276501896847542145782772590631136963135469964318749745965538143686121140972269854179108429378965427556158275633297003566555791990947187704705591390545893625980627019970864416877606342785830223471445367938780980543034268601869029934324762700555251109664941492904214826400*t^79 - 561083922110988171282365676080696063650483772727942172985725124380101729563325579763972851397185864591371554808565289622130138184619931935149344596358428138882357216837164841710215610881551783083483219127529334589407694478862460448705049998529385190869734644566842654618126176690627848911215466621801747921304959537449514330785585808015973444904963053985035941076420246781836473333449032106394626687658318446085350679858975119777397238460759957601031070134210540383976987605925993815494244520956896492890092925833139633293628684421898477392654060216002751589239233269247953008326113385682036730025628164139572832745263970459202408164719577805311178040779204327703825727232435156478200691621990618529028811692356647068600581013467567876478066362111093721650631921029336763257745079192648030198370370560663523871522123969581269315302578496420801717053889401859859062842088427655376120149496690060813310426650684579825793511112768905116672346949661683308211583929539677887097941/53319283948991852849882919285252445640063260710529826091599135450021194120533930570147112844962124430248350012409839524350359741670131531988889380891215924612736334500991435112617958797358759195015602349111183347986176911521096043270219981301556474223246607561806130345312167903395331377819900717630501756836561886566501834220696434288082666854457472612225701089025891617354833849599576506478668610233222961645606082441201085258202790369684242905188237821057305384606853656111177949856767988256578252725661894696383076706411902406233085549946935574161776799081009824606334871103165601505866587762851899582866142552001718919221665594163808435089450630223695136660731495556425724381489537018846743297661155113722195288607971528933562880636897114491204768842935023484033977328187797988227631234923126804976111761499128737141138329313197566162615663928173662623864934067555573027207943199733993608870889536629789291255422385388127407901279621037969600*t^77 + 161549355637762906733976255200653775620946577698461816122459755014012262569291108876341112926414857702588057158460854901562916002233748723187554111322467670430594865827854681780233670859552876752749299705702360211411949569919336076380126564841180918279838037436207089079288897535493824350977163249592640139306004115925126406068011650067710760718732361149643762007494599123012288611015425295560934658762052664238788016779014630953828227970255116429135011412609087714023095438401632135170515548779906793288851825385389554754271600235888233767613092789999183696360316218737176779734718110164450725832118722057834086605435039106289957700749401023430494862063514182704782734164236303464350630953865233950421884371449802217847906438983682485329644212144126580227328203327897617805655864460326428500984029637334186291805640496113924003269058871241760946395914014178186567578809634711572161932716500608235068129285944499039105750478770077973217296845343922328334701042292498922630549/185458378953015140347418849687834593530654819862712438579475253739204153462726715026598653373781302366081217434469007041218642579722196633004832629186837998652995946090404991696062465382117423287010790779517159471256267518334247107026852108874979040776509939345412627288042323142244630879373567713497397415083693518492180292941552814915070145580721643868611134222698753451668987302955048718186673426898166823115151591099829861767661879546727801409350392421068888294284708369082358086458323437414185226871867459813506353761432704021680297565032819388388788866368729824717686508184923831324753348740354433331708321920005978849466662936221942382919828279038939605776457375848437302196485346152510411470125756917294592308201640100638479584823989963447668761192817472987944268967609732132965673860602180191221258300866534737882220275871991534478663178880604043909095422843671558355505889390379108204768311431755788839149295253523921418787059551436416*t^75 - 536945263022885779155810765805450107764778231796813803180992201783478776650059498670520039185686049289872301518293137855808298906832500363434158021957702640668139245275645200685521571925385962839146140713259066864580155208646274423457405449259520597819230020072929253425003700926069652465460707380004574146028293905690840384968914061521948124698820936144458519263948354754295040337471200813362156107901784404116710519349646638102337902259010362916011124457586229067098589398033967959129009079788843763289968231771153162239259762234535930413889804920884438118123109734404721438544785588635594765363516065039925230304896801672449056894159262643931668935676670801132467025406105147483770585245867151389057780364074538841774408885881904336882925574673124491658521710631246237380520021555328460418215264286808492367612414904511166361621130934643955019924140307019909311669939297285685191391619859725866914956982874900544713395782911178951786602449094123245943731332548859881695453569/8531085431838696455981267085640391302410121713684772174655861672003391059285428891223538055193939908839736001985574323896057558667221045118222300942594547938037813520158629618018873407577401471202496375857789335677788305843375366923235197008249035875719457209888980855249946864543253020451184114820880281093849901850640293475311429486093226696713195617956112174244142658776773415935932241036586977637315673863296973190592173641312446459149478864830118051369168861537096584977788471977082878121052520436105903151421292273025904384997293687991509691865884287852961571937013579376506496240938654042056303933258582808320275027075466495066209349614312100835791221865717039289028115901038325923015478927625784818195551246177275444629370060901903538318592763014869603757445436372510047678116420997587700288796177881839860597942582132690111610586018506228507786019818389450808891684353270911957438977419342325860766286600867581662100385264204739366075136*t^73 + 68034269549035471687858814124428075374098898516168137267912180334020833937955272319134120752909847054215649307033189899772267246876329515158946610821484816120447782934439183543927630284137879236305171270261983610015274041928891732943438252960065858583847750200709443152247255732060545103539156932121346233232996305843343763845562561647745240458713428079058483210742921741883593925234649371784193418351429613881489174833231408139874154408601628374501071382907381700326476088029322100458023707378417400670026098032420847675122084123988310611349662086902898743674919053668661042473662546101350888492616509633204038388410015233650794780526768481260802003955964492504478519499975278730484104052512170793989067392038030518777323096132561262160705061044408022935736108119997074193601213866700062674018211561738733485474697140068161999951993033507975405425332005750633107635303133789772294843840432023048474326743403252802843097274074631540353216659298114615374485542803837641601569800779/17062170863677392911962534171280782604820243427369544349311723344006782118570857782447076110387879817679472003971148647792115117334442090236444601885189095876075627040317259236037746815154802942404992751715578671355576611686750733846470394016498071751438914419777961710499893729086506040902368229641760562187699803701280586950622858972186453393426391235912224348488285317553546831871864482073173955274631347726593946381184347282624892918298957729660236102738337723074193169955576943954165756242105040872211806302842584546051808769994587375983019383731768575705923143874027158753012992481877308084112607866517165616640550054150932990132418699228624201671582443731434078578056231802076651846030957855251569636391102492354550889258740121803807076637185526029739207514890872745020095356232841995175400577592355763679721195885164265380223221172037012457015572039636778901617783368706541823914877954838684651721532573201735163324200770528409478732150272*t^71 - 329804713789084830416213603814299579108230766766859661128913630891675893841786654599105491417164363451190048936500489225392814292435135380408146393533215995237529534526839441788109580214851320717267622190758221560870828561295259223458720309926536377246016819257663004484822251395867814723222759270718733142071822812840056612679369940267710665628433850317450989954265671010902034693509996396224959386777815611167520441993966802880035368831254056335446390404511947350848420497317807124195771643891201279085357759566359040690137459077565987931244876146352404583919900971691218156694756011289251782578678433026854449819570544678199745397278917500862249563663768788018338457407987869760710192816003418709217506239807988657221640139379823919594462902339947293159169163110742272819891043178747850803873910957812075693221052674002599543328201161981114985416637013986216665851206452084267347989435648841536949836884328242656001433699687128009972379542129304228336417801965369351251694287063/1483667031624121122779350797502676748245238558901699508635802029913633227701813720212789226990250418928649739475752056329749140637777573064038661033494703989223967568723239933568499723056939386296086326236137275770050140146673976856214816870999832326212079514763301018304338585137957047034988541707979179320669548147937442343532422519320561164645773150948889073781590027613351898423640389745493387415185334584921212728798638894141295036373822411274803139368551106354277666952658864691666587499313481814974939678508050830091461632173442380520262555107110310930949838597741492065479390650598026789922835466653666575360047830795733303489775539063358626232311516846211659006787498417571882769220083291761006055338356738465613120805107836678591919707581350089542539783903554151740877857063725390884817441529770066406932277903057762206975932275829305431044832351272763382749372466844047115123032865638146491454046310713194362028191371350296476411491328*t^69 + 64898860498483365673951701291080431246280299560967312911359220033334363393055524667067934772346281376055394199467989345949886843472369427481917852281871757056700178859741158303341660628674460073195195543886135351370495993370923182893286095527302835110927524633625363489915704808144485228748730907262652654846403200620571778917685381573682521807490257879424331944129079016984968896716801863450717753043922077840001737080986959755407295176671161734096809694464209012897790029172521865255670150357074452215004157924362289624927768355277106375897610856011587968918926748047415033150919903701014554751840968661416617103878304299516790527941636022487717843014570524742631834288398686255636701521771151889967727420413958597573429345215334816427464580704570755343883191581337677044840587920681707234397030794217221197353883735712186667910439699988713778458453873231213761288467702249437335763807854160281456059879340363007185208007988841323882057308205272297623491622485435189000929160524353/5934668126496484491117403190010706992980954235606798034543208119654532910807254880851156907961001675714598957903008225318996562551110292256154644133978815956895870274892959734273998892227757545184345304944549103080200560586695907424859267483999329304848318059053204073217354340551828188139954166831916717282678192591749769374129690077282244658583092603795556295126360110453407593694561558981973549660741338339684850915194555576565180145495289645099212557474204425417110667810635458766666349997253927259899758714032203320365846528693769522081050220428441243723799354390965968261917562602392107159691341866614666301440191323182933213959102156253434504929246067384846636027149993670287531076880333167044024221353426953862452483220431346714367678830325400358170159135614216606963511428254901563539269766119080265627729111612231048827903729103317221724179329405091053530997489867376188460492131462552585965816185242852777448112765485401185905645965312*t^67 - 5647275405373619389590929572464006523053419855810359103799879818217993478756288732146099783877760227170746004247951175281442493532893684344632135938685492182492846743952382491676023018697806755623620280139583492699885711354342651229953753234458202926893388108796839567220115985167978086093384106092554939653707318579855556604632117194412686822755920589853098403678743432840828791923821420716246359777399222903419427633906922486570949716943217159272161800884009670270573337657399200335583804859154491053749898735066854631987225956981731190421905684539193362478544769116712734256306950076560066222026469974410493412788561450573397072720319969420468080920537729032849592157972541669450237766186999851583782791077835523554099710765899783333444068118239198039800959021562912489523498894221600832909403685529049573111155140028431479709215160637189899770114135113712180577400517190276513226475392428847180014397663141022957978133497440536515395787952052742949823155805658322298381977325691005/11869336252992968982234806380021413985961908471213596069086416239309065821614509761702313815922003351429197915806016450637993125102220584512309288267957631913791740549785919468547997784455515090368690609889098206160401121173391814849718534967998658609696636118106408146434708681103656376279908333663833434565356385183499538748259380154564489317166185207591112590252720220906815187389123117963947099321482676679369701830389111153130360290990579290198425114948408850834221335621270917533332699994507854519799517428064406640731693057387539044162100440856882487447598708781931936523835125204784214319382683733229332602880382646365866427918204312506869009858492134769693272054299987340575062153760666334088048442706853907724904966440862693428735357660650800716340318271228433213927022856509803127078539532238160531255458223224462097655807458206634443448358658810182107061994979734752376920984262925105171931632370485705554896225530970802371811291930624*t^65 + 108830840295934852987715627199106770587733641611940009812837733273582876359433190121900596061274092303420884726288657403232774459397872143546259102355626048133545953847689898970868816260774878984565952940387796741530047656808307307722084901873704098107502035782282761612264502078106461004036856560378095357751474199127144885230525545216738243499017343970450245913218918131684992845108508424044442302032450050981066747461038854582322132588578944826447190853581844909161495634782043122893536051878702251717333249328957951278099226419631445834759730261773656932922398299109092364662304864122080377139528724945167454844524824836886222618202406492617760359899764125272252997345451019384242733142187368689258928484482516375989496896865547278055732407963523836747684361252143186623477505773116823119007002926997354423623655121880042376261408796503762788530066687416756774571080864483879158854835573652126828451408316816497430004469537423756286309402871046476956663788614231372159425783159128515/5934668126496484491117403190010706992980954235606798034543208119654532910807254880851156907961001675714598957903008225318996562551110292256154644133978815956895870274892959734273998892227757545184345304944549103080200560586695907424859267483999329304848318059053204073217354340551828188139954166831916717282678192591749769374129690077282244658583092603795556295126360110453407593694561558981973549660741338339684850915194555576565180145495289645099212557474204425417110667810635458766666349997253927259899758714032203320365846528693769522081050220428441243723799354390965968261917562602392107159691341866614666301440191323182933213959102156253434504929246067384846636027149993670287531076880333167044024221353426953862452483220431346714367678830325400358170159135614216606963511428254901563539269766119080265627729111612231048827903729103317221724179329405091053530997489867376188460492131462552585965816185242852777448112765485401185905645965312*t^63 - 7440530168667952622166838157392476484098483020149568016523977494942765228122367406876493758682835130625066387370925245502472542702224811111918541307632798171380244291196497004245748227019731117307902917525181174361018484847096069115892798601936993684283521308740646031131253923303494968244281697896015601760850042288678852289449887534859423107252623339271853543590876940762180318674942785504306365170377549669562228622122413712790410176317593219114826269549883690814530594945225612832913757902427264874477711755124679057544369240201061675568753483162393365564234708488892421269917778072915160561813682252427382752881907265692938974935469599371668489288195208205630977676561013242216035394775534175781359342402138184753208657104669651811631671361364862647013526285598604459246931499874687541965288913779124244883289584366233272394033242672424642076430484345874193746854320744645451947652685468383731252535093472266360427109340779685004172191217969865874185291948862159390469539743322960705/11869336252992968982234806380021413985961908471213596069086416239309065821614509761702313815922003351429197915806016450637993125102220584512309288267957631913791740549785919468547997784455515090368690609889098206160401121173391814849718534967998658609696636118106408146434708681103656376279908333663833434565356385183499538748259380154564489317166185207591112590252720220906815187389123117963947099321482676679369701830389111153130360290990579290198425114948408850834221335621270917533332699994507854519799517428064406640731693057387539044162100440856882487447598708781931936523835125204784214319382683733229332602880382646365866427918204312506869009858492134769693272054299987340575062153760666334088048442706853907724904966440862693428735357660650800716340318271228433213927022856509803127078539532238160531255458223224462097655807458206634443448358658810182107061994979734752376920984262925105171931632370485705554896225530970802371811291930624*t^61 + 451493102578840112290413276410734061821571947434202654958908937315215704472437782718185306494999473895938262224924881763083764290812205995779712614784582951988993525554898746410529899711644004387787768827866620088710675784909397205571393732661867452536329478305678093978866835738020903889323823739284834972972478355970466916228670800391634770554444590797258361092898416685113036370919473264933921260825289926727448848328757167544341573045626379674287131437056561778593919395486514743930056862359671474151470848591343807730153190399358761829867525496713848720674955626971345042454914871865666463650670669346079799176160281479368052890048344548077940161873230764267093761194691360979528636127642509988655999665424083680849880989094453217501509509344605626228176192402797320571007544742334086130972608848329737994342093215593085631462731698018530658938268533746394909200937009438635761540206780485102333483950687528973507494549715854489495438351682747542027714750147484716391871040630569330355/23738672505985937964469612760042827971923816942427192138172832478618131643229019523404627631844006702858395831612032901275986250204441169024618576535915263827583481099571838937095995568911030180737381219778196412320802242346783629699437069935997317219393272236212816292869417362207312752559816667327666869130712770366999077496518760309128978634332370415182225180505440441813630374778246235927894198642965353358739403660778222306260720581981158580396850229896817701668442671242541835066665399989015709039599034856128813281463386114775078088324200881713764974895197417563863873047670250409568428638765367466458665205760765292731732855836408625013738019716984269539386544108599974681150124307521332668176096885413707815449809932881725386857470715321301601432680636542456866427854045713019606254157079064476321062510916446448924195311614916413268886896717317620364214123989959469504753841968525850210343863264740971411109792451061941604743622583861248*t^59 - 24323919275604407710126576325306479017120068969321373814495800586211903449768932930830517934859238729279220192062585263291173961278369438353387322818983894456373207620820359259802565210521611464158444585861194886258492940397892816081413888422192202890368651399180709231908948727026934576735958752185967968077920729809998111772924105716743360969375543232668218704106781460439342095361709044030848048123327081496962674853365872945377654580805930587769559416647681746797547393969021362704053390854452527873261250252570020290096596682594292523795415949804732750263873229933374592780672576604349047332623756974027519526933859998665944982979380724431091550781167011029922180679248972810805902454919332671797748378506639993644804346047177843821270589690062548792087541195114399605861483786075124520895614692357313237576085076747352987508360185067407585080724913756505580504377146959550497709598654240247268708492390879385909890764974764921310109569405648646688723081975148664792537159091499253995865/47477345011971875928939225520085655943847633884854384276345664957236263286458039046809255263688013405716791663224065802551972500408882338049237153071830527655166962199143677874191991137822060361474762439556392824641604484693567259398874139871994634438786544472425632585738834724414625505119633334655333738261425540733998154993037520618257957268664740830364450361010880883627260749556492471855788397285930706717478807321556444612521441163962317160793700459793635403336885342485083670133330799978031418079198069712257626562926772229550156176648401763427529949790394835127727746095340500819136857277530734932917330411521530585463465711672817250027476039433968539078773088217199949362300248615042665336352193770827415630899619865763450773714941430642603202865361273084913732855708091426039212508314158128952642125021832892897848390623229832826537773793434635240728428247979918939009507683937051700420687726529481942822219584902123883209487245167722496*t^57 + 1163388251943086476203847463889355021380202842857750729272899046618808739805568698009226079199473678186093183928995319438611819464141350588182990326697585802361958878144734376246720668450839100329689544110209276200927839753782773758103675994627568510907914318839765165915650580308683163196321245437383214666969570547050255624319785572501479040199830529024692991542344574607815864342595310891006964140370114454315231970339594744383677146339425636310634728316802026833406078039734540147689489997109342280658768218303622345311598332557145266086925499901865538913766703731758414685018979208718132264414823836848484806417091401748426884941593823117239166159506353343640128481748009023037954648456820329504792106592813190428914967333143369143162548173696422967482417721073805077273240067530239304648585248959621607173148557685629816559902481635703650051978516231636315685581134548570998575539123698481045870541202844855431699585625606687948321883906875139356321905964936436244469938152878152707384175/94954690023943751857878451040171311887695267769708768552691329914472526572916078093618510527376026811433583326448131605103945000817764676098474306143661055310333924398287355748383982275644120722949524879112785649283208969387134518797748279743989268877573088944851265171477669448829251010239266669310667476522851081467996309986075041236515914537329481660728900722021761767254521499112984943711576794571861413434957614643112889225042882327924634321587400919587270806673770684970167340266661599956062836158396139424515253125853544459100312353296803526855059899580789670255455492190681001638273714555061469865834660823043061170926931423345634500054952078867937078157546176434399898724600497230085330672704387541654831261799239731526901547429882861285206405730722546169827465711416182852078425016628316257905284250043665785795696781246459665653075547586869270481456856495959837878019015367874103400841375453058963885644439169804247766418974490335444992*t^55 - 49378512585891301530735511224779573332136376656587705828374717205433326534799044693151750363520220855992713344510471228755424235373822946986353506555287023322104075994363442948480731326607418477499601655752831357153642094298369688461918274007400509778668790255504178810829945390738002774734672526509658540395428488329141802155459533715261161576760125297644459638538059707947266783537874477699302648092110537275086076842401910301694589628309323179803933536669133903203841199517469507335501009910216175215964577113494827237597677865315146368095255895199695492288475369105107565920377962721118318633341523586619815791461610249676726746915008413349749548508038736690248737895185260762667617409881452006154858971215665910458260778161502655163252930332373421684410434247355335266980993520764464674386698843106586491845223170997857021775074481410074914925364231221300316807779561969401903577238179314133375603136860709293987916077338907876826785881605910436216023542651755950722709671850086756256115725/189909380047887503715756902080342623775390535539417537105382659828945053145832156187237021054752053622867166652896263210207890001635529352196948612287322110620667848796574711496767964551288241445899049758225571298566417938774269037595496559487978537755146177889702530342955338897658502020478533338621334953045702162935992619972150082473031829074658963321457801444043523534509042998225969887423153589143722826869915229286225778450085764655849268643174801839174541613347541369940334680533323199912125672316792278849030506251707088918200624706593607053710119799161579340510910984381362003276547429110122939731669321646086122341853862846691269000109904157735874156315092352868799797449200994460170661345408775083309662523598479463053803094859765722570412811461445092339654931422832365704156850033256632515810568500087331571591393562492919331306151095173738540962913712991919675756038030735748206801682750906117927771288878339608495532837948980670889984*t^53 + 232295144484878808308333775083132937768715090965305725750420719633120356425293773990354875913709049031138805637125479851614163183271575534752292702718978797043542231430967595666210768447831348016125555840825904568788745701965811479213558924414711625400647974174558841216138660466377839842613132242515495843665395048942303254936520308956501222121403388565195941104061261394964286493325869467830464726958473626095984099528496149713582141203786462829151502542453561670058157211707799728406595767474637359188089268019970511289784509154793772296334761082735356962956850905356383829589664748955081467884426674352375940158581899352012559780999152438506921289940588723215649016943218850533584204423710670700535413514496158824452088629498663539229779586887699381578976738802535211301803059390223559132878984424531475468700065701522846114361218049015980822107873765841231056908575367407010985511579640370923186066791745025942542917949252597322886912429948448158079637790574055527554031196233973721568343125/47477345011971875928939225520085655943847633884854384276345664957236263286458039046809255263688013405716791663224065802551972500408882338049237153071830527655166962199143677874191991137822060361474762439556392824641604484693567259398874139871994634438786544472425632585738834724414625505119633334655333738261425540733998154993037520618257957268664740830364450361010880883627260749556492471855788397285930706717478807321556444612521441163962317160793700459793635403336885342485083670133330799978031418079198069712257626562926772229550156176648401763427529949790394835127727746095340500819136857277530734932917330411521530585463465711672817250027476039433968539078773088217199949362300248615042665336352193770827415630899619865763450773714941430642603202865361273084913732855708091426039212508314158128952642125021832892897848390623229832826537773793434635240728428247979918939009507683937051700420687726529481942822219584902123883209487245167722496*t^51 - 30972094211443853901234831316805098708878371635981498726655145807551200667973486019894436867716664289485394459170636101443839836179270947256007100100754725708745895919643513552517482222608319977793270409584698548281107359888745580754512632064864448763392259508561924665282216419348926739309043629575876466188368253761728022578898861781068440122162525657258556642248483656252434632724765246207690073699971569731223839724149049200132544887608035024999228697898736276024640576972772384093766289366980445135593931369665159447283840577785274169161406401220945491412361633414890221814303924532273655171728326336965180870809863107372228824387988265607116091194177390487273335119705769439209942367558031345144617987513307551469826879988337465679100600018588832902227454705732621865971639493600306372618622417650462807437380172504744036602560596488081433499338735605457648688274941815971888098946504415184391969075998938207325346594505970492903618376422181127576508629530090984547853894236214269645340517875/379818760095775007431513804160685247550781071078835074210765319657890106291664312374474042109504107245734333305792526420415780003271058704393897224574644221241335697593149422993535929102576482891798099516451142597132835877548538075190993118975957075510292355779405060685910677795317004040957066677242669906091404325871985239944300164946063658149317926642915602888087047069018085996451939774846307178287445653739830458572451556900171529311698537286349603678349083226695082739880669361066646399824251344633584557698061012503414177836401249413187214107420239598323158681021821968762724006553094858220245879463338643292172244683707725693382538000219808315471748312630184705737599594898401988920341322690817550166619325047196958926107606189719531445140825622922890184679309862845664731408313700066513265031621137000174663143182787124985838662612302190347477081925827425983839351512076061471496413603365501812235855542577756679216991065675897961341779968*t^49 + 1825949570969732054406521206247305003273270932378409400797529927856593109979232481314840288062876169550746659583650757144109117242324409076316611164963932668023559406919107215693713528388212387824223427476095553124885569988802279514410738777421632111275277765565266687189437503719822765466743327164598007748030466080057754008824798173169345634451569891295849262073726698319867443824666729927592571318591039627487224377627834265584855232737507471406315416133486543207275726669929267641160267808057032601561282621877117056408704314585493525644854137591662886831766825957773126998278090649099142297030527686319374157108638118657925940639975203354294372290013167035197941083378617371572611947533835970105816016338229025074689696504413949779652192804127769442434651205656692494782385476867662932345217086270099213662155047586999676779195821974944386419409423629652723438414496205663976868400088559175852173565790842774142244075651148774998928215502877983391122704774545256862640405023600308351528485546625/1519275040383100029726055216642740990203124284315340296843061278631560425166657249497896168438016428982937333223170105681663120013084234817575588898298576884965342790372597691974143716410305931567192398065804570388531343510194152300763972475903828302041169423117620242743642711181268016163828266708970679624365617303487940959777200659784254632597271706571662411552348188276072343985807759099385228713149782614959321834289806227600686117246794149145398414713396332906780330959522677444266585599297005378534338230792244050013656711345604997652748856429680958393292634724087287875050896026212379432880983517853354573168688978734830902773530152000879233261886993250520738822950398379593607955681365290763270200666477300188787835704430424758878125780563302491691560738717239451382658925633254800266053060126484548000698652572731148499943354650449208761389908327703309703935357406048304245885985654413462007248943422170311026716867964262703591845367119872*t^47 - 47508129984134644673383666904255622143073539540689495668148078874879210236010789301965868354326463548285441369327819981248738185344758998647752325260203220788716332273947802378147978736992179727738890647265355811005511722231917002507636308812859236768155772318917498986606562907039429538290207014352027205513712888697551501634709062892017253638356748459044336094656438505714448699971399904500695577703734081503035171468017509790283067519480668107848582460865606415110745817360764306311133044070786103389087506054473192568665566898153975671548664613527886659020234247308500224562883404719708354889418081873069628479379540727575017330532627083120086708587746251490001729467861596951075592791026249158852503000047527682881131348272881315429159598406690281787581826848291414876253159999067790998471528978902455848372417630655664066008520486011240234124816974058300704632026475292667327199546799959629874187379019735244475009650852732687653223891693614656477942183557018272106084539194994114468572702286875/3038550080766200059452110433285481980406248568630680593686122557263120850333314498995792336876032857965874666446340211363326240026168469635151177796597153769930685580745195383948287432820611863134384796131609140777062687020388304601527944951807656604082338846235240485487285422362536032327656533417941359248731234606975881919554401319568509265194543413143324823104696376552144687971615518198770457426299565229918643668579612455201372234493588298290796829426792665813560661919045354888533171198594010757068676461584488100027313422691209995305497712859361916786585269448174575750101792052424758865761967035706709146337377957469661805547060304001758466523773986501041477645900796759187215911362730581526540401332954600377575671408860849517756251561126604983383121477434478902765317851266509600532106120252969096001397305145462296999886709300898417522779816655406619407870714812096608491771971308826924014497886844340622053433735928525407183690734239744*t^45 + 1088517972778631851206489990173106768436092655371728708774176241333219318491827759229925072745960802628583564201952105501296916073125751402304932124471033417165173107443913616622859207892846012776308916947874283192906336923620488512306342266669153939621345006489586021294953218722576711319112283866276096756162718449795624924510168439918113842852768071254422940936427306189860791342235688509717505532770452518663081934009609408172827793040123131446665809028873570905925199947685324158115632012523865209251336793280849692254000612438066887847910648695739875786498976207105069284344998456976291171747045558946226734263989778977087621920559043149413928351181798486696282743392259903340693613259567232135461218426943282689135009222836737664394227833376483864209581080474465546416890931214150579302115487155649147257871660289658026893442816402646931567086504368645738406870586409800982750742148923943428172402443576992572467965173153652665179688992133394807890702237790384194790026550846136534097705839378125/6077100161532400118904220866570963960812497137261361187372245114526241700666628997991584673752065715931749332892680422726652480052336939270302355593194307539861371161490390767896574865641223726268769592263218281554125374040776609203055889903615313208164677692470480970974570844725072064655313066835882718497462469213951763839108802639137018530389086826286649646209392753104289375943231036397540914852599130459837287337159224910402744468987176596581593658853585331627121323838090709777066342397188021514137352923168976200054626845382419990610995425718723833573170538896349151500203584104849517731523934071413418292674755914939323611094120608003516933047547973002082955291801593518374431822725461163053080802665909200755151342817721699035512503122253209966766242954868957805530635702533019201064212240505938192002794610290924593999773418601796835045559633310813238815741429624193216983543942617653848028995773688681244106867471857050814367381468479488*t^43 - 21902857872972957586225764327536481548728213505591851068739100505016747687245431857075424251746684262293025339612494545321140228115412912450689464046654792937755301146748427569615237525786324071217688980653856458561773111312517973601773211779416727470994609359717098001470892224681273705785938240640417992796962309618884166578350193998764477847991940053920559874351600710281786676448354365973395098250755570494945535071433554239891107762935828852782545703993050559744486196832100019652101610396642788678075288211334264793365224689242646220180335950432167826363069333965988412079593772214033513778008978130169033572876368183007588080000841345367369731435746734073550939535338507937014864881578871152854929631626984208114754742750344059499058894359235242979781529435805512765283904064155411213474374402010595049329425218770557786505621525644111205331035090298754905844137993790762845328035737630129571889945607694134370317925491897665133102395570866830686647663125451093064954028314868247062833738671017375/12154200323064800237808441733141927921624994274522722374744490229052483401333257995983169347504131431863498665785360845453304960104673878540604711186388615079722742322980781535793149731282447452537539184526436563108250748081553218406111779807230626416329355384940961941949141689450144129310626133671765436994924938427903527678217605278274037060778173652573299292418785506208578751886462072795081829705198260919674574674318449820805488937974353193163187317707170663254242647676181419554132684794376043028274705846337952400109253690764839981221990851437447667146341077792698303000407168209699035463047868142826836585349511829878647222188241216007033866095095946004165910583603187036748863645450922326106161605331818401510302685635443398071025006244506419933532485909737915611061271405066038402128424481011876384005589220581849187999546837203593670091119266621626477631482859248386433967087885235307696057991547377362488213734943714101628734762936958976*t^41 + 5758270334143758880160754595594682935850987773359251650558465268302654420195060510354337318066439410890686893954726570190985551134313877025337400680601580138431782132878847060586936216361451007191004633066480980035407121078677695770883989903449193480658232156730731353698512954048024838634419848504946983646149360995396564342416338340047754467026528595999560553426143920691739715962100558808391111210556123574180263802624572392105416351602053363556557153184598407010418009765279861723777577204963229957671552524414531187534879459706922990655360945752071175274565149060840451814164767887304967497892982937873377337748923461751540568804211901620133611327850415502331686118083568980503836934588009763827076808002176143207233802898307070072639276996515571748709021062882518863811596098521891264916998138999781514654799298452940654286404121324668368910792953485051804276283952675408509511102663926348285942970735897399569748813965571912362710776424381539008460545617578398277063099474496345026149078995443375/362811949942232842919654977108714266317164008194708130589387768031417414965171880477109532761317356175029810918965995386665819704617130702704618244369809405364857979790471090620691036754699923956344453269445867555470171584523976668839157606185988848248637474177342147520869901177616242665988839811097475731191789206803090378454256873978329464500841004554426844549814492722644141847357076799853188946423828684169390288785625367785238475760428453527259322916631960097141571572423325956839781635653016209799244950636953802988335931067607163618566891087685004989443017247543232925385288603274598073523816959487368256279089905369511857378753469134538324361047640179228833151749348866768622795386594696301676465830800549298815005541356519345403731529686758803986044355514564645106306609106448907526221626298861981612107140912891020537299905588166975226600575123033626197954712216369744297525011499561423762925120817234701140708505782510496380142177222656*t^39 - 5926654452718376177094545823371628697955008916836241958260891764321584207629726622964013510676689117004368815595922955566716619477131801033389956231071133483294946471058704704295279247341855963295488501636680762683215494388780144323476593014094199311733794661298592069524574548583588405920082452653837373100953669523971338240590854012738280831155625130131898473028670829534778130336687523784604584666955527637633583694391362053966531328597442101903194554180339543591971056458924595375556108839951308483412073627572308345687363538949788530509430066790498956956791138404223560857256677006243978121433537132241245755201475598743003470992099795102564998239711073457383100123665780054820431330004197088938566823082040966392946014032523757330339905362619861629276466679573004778920549010630636122032594462167401866766275908075749893141090716155059661534547628554469916063665790157704078838097681727158697216827793889579991064304963158052055249111916331939932832028558263975670634596562835363659272102072262908375/48616801292259200951233766932567711686499977098090889498977960916209933605333031983932677390016525727453994663141443381813219840418695514162418844745554460318890969291923126143172598925129789810150156738105746252433002992326212873624447119228922505665317421539763847767796566757800576517242504534687061747979699753711614110712870421113096148243112694610293197169675142024834315007545848291180327318820793043678698298697273799283221955751897412772652749270828682653016970590704725678216530739177504172113098823385351809600437014763059359924887963405749790668585364311170793212001628672838796141852191472571307346341398047319514588888752964864028135464380383784016663642334412748146995454581803689304424646421327273606041210742541773592284100024978025679734129943638951662444245085620264153608513697924047505536022356882327396751998187348814374680364477066486505910525931436993545735868351540941230784231966189509449952854939774856406514939051747835904*t^37 + 316234584076814748817496721396151804079466820001312810474675278555927643993068140257069201662860196903420408125322083184853763477310579498014307696239777014529343165988245383838507093094129638974879552028753683484952433635523895023356583866663363393776478982303886781101982563601798223858616257408201915640844442741311389029876151987044709409189107345348195287667964014720605160113135364383291509999964951004051341403934044472085593214412520532070843917131238968883334031532562249742484530257418605417452139815144870575233561907781580828879772274077902919227661890873379601444020677786564232221760984563144925452099431349081692918598636782359832323552196963889588913711065852725668186678895455126961741620473597125337169380293967983412816730003406155815437820456486680011851825231693051557869943765764096731569828023339056506446564825503840024357113089506210962908238642182070558880494925700433677830808507843938362007965284147970687594165827528628867525244687687945187603058381786770461225878422291726199375/388934410338073607609870135460541693491999816784727115991823687329679468842664255871461419120132205819631957305131547054505758723349564113299350757964435682551127754335385009145380791401038318481201253904845970019464023938609702988995576953831380045322539372318110782142372534062404612137940036277496493983837598029692912885702963368904769185944901556882345577357401136198674520060366786329442618550566344349429586389578190394265775646015179302181221994166629461224135764725637805425732245913420033376904790587082814476803496118104474879399103707245998325348682914489366345696013029382710369134817531780570458770731184378556116711110023718912225083715043070272133309138675301985175963636654429514435397171370618188848329685940334188738272800199824205437873039549111613299553960684962113228868109583392380044288178855058619174015985498790514997442915816531892047284207451495948365886946812327529846273855729516075599622839518198851252119512413982687232*t^35 - 3644816277471419718155915580407883025036254164740531915159699329129957978677173751859725439248186029007501770558771250411744575713355493447075451169872365284191326635061103994665571812889864660500296307482077314381392564722189233424094043178549966010459728753550622797810595717318129523400130674484231396820201616106948503079325906087361413141880349547663696374542959065258372754646485133536058105430923076017219885683138630388884626865844727596844471892013325598181558045860840999676536635756252616628979027326818010517999391106528849634983748575059123644778540270625955822502181360334055790787007261818877764411065022974340759856393777245401916568630027017701019348491169807865932817790128934322413712778077439579447711282274517537698137832831719529959506227374351417350985788172838626437136189639487656301868110180552582294205636290610930688845540640632521095822229535198388103957910100431178310195259687868027857422876410468350079441742441061104489896260772492297267873608749630944959207840327038095839375/777868820676147215219740270921083386983999633569454231983647374659358937685328511742922838240264411639263914610263094109011517446699128226598701515928871365102255508670770018290761582802076636962402507809691940038928047877219405977991153907662760090645078744636221564284745068124809224275880072554992987967675196059385825771405926737809538371889803113764691154714802272397349040120733572658885237101132688698859172779156380788531551292030358604362443988333258922448271529451275610851464491826840066753809581174165628953606992236208949758798207414491996650697365828978732691392026058765420738269635063561140917541462368757112233422220047437824450167430086140544266618277350603970351927273308859028870794342741236377696659371880668377476545600399648410875746079098223226599107921369924226457736219166784760088576357710117238348031970997581029994885831633063784094568414902991896731773893624655059692547711459032151199245679036397702504239024827965374464*t^33 + 18043976687875383500314727086951598190990218090952497656010958371355332559567876946120997949972738170638552457110718654299099228044240884083227007853087867604844272183345346338527150274713497977605788158079149017141208943861102895498927361873002441214697609702971125800340200077071531475338831832395045463413717224239964911226821121963820278594232673587331807357116048662653512904873448575090490607821984812314829753090060958663452365704822922558578101441878851083096369335424123706651825560850213371468872904317192167981402437268913179426067413281123686023275565573207035695072771383329604080548272295191092265625773808454164387559548104674003291286281835520785422178082039003029599941943795827133453871508586170715895561976228962734823576749803112609697114888125115069126497700316478171883949523950315667686342927347779316226334670651085175793095607852052428718645664329066484927951752622434339068358827051350992900232207896421971876842365386169528624516112158819435320015918305961490922920927501603443491875/777868820676147215219740270921083386983999633569454231983647374659358937685328511742922838240264411639263914610263094109011517446699128226598701515928871365102255508670770018290761582802076636962402507809691940038928047877219405977991153907662760090645078744636221564284745068124809224275880072554992987967675196059385825771405926737809538371889803113764691154714802272397349040120733572658885237101132688698859172779156380788531551292030358604362443988333258922448271529451275610851464491826840066753809581174165628953606992236208949758798207414491996650697365828978732691392026058765420738269635063561140917541462368757112233422220047437824450167430086140544266618277350603970351927273308859028870794342741236377696659371880668377476545600399648410875746079098223226599107921369924226457736219166784760088576357710117238348031970997581029994885831633063784094568414902991896731773893624655059692547711459032151199245679036397702504239024827965374464*t^31 - 152454434601310518681842263487200715417862250764985885091430703186343456875457403336684971023262332790585021792115967862413146185579048627171241141891211717560477976972800803907587596642027937768898459568076996368621275065061589424226349136722730554374044742981778800084148235157647778681311636691946022474690644194555291453204852683362283125519031104784529951035317258296334269358950940418140984620675094474979781907576447388875181632057592403150331107399106747562432034985460127132129494872122170429290161418655986278461001107100719265845760881992474764522666972052908804096760612595102999565423914838900026160048991561694686663640581612550192875455083917542072432066243211800469598680004238609499655142387496212640687643284022991976340795561845207767446071606539972765496420432091805226523544081421703561721910551694551124468166036007863883714737517617915822296459411463098638921494438782956435229657188481598262870833030705316471414117184172377076366146456500217743466862017398675768005670127448159482010625/1555737641352294430439480541842166773967999267138908463967294749318717875370657023485845676480528823278527829220526188218023034893398256453197403031857742730204511017341540036581523165604153273924805015619383880077856095754438811955982307815325520181290157489272443128569490136249618448551760145109985975935350392118771651542811853475619076743779606227529382309429604544794698080241467145317770474202265377397718345558312761577063102584060717208724887976666517844896543058902551221702928983653680133507619162348331257907213984472417899517596414828983993301394731657957465382784052117530841476539270127122281835082924737514224466844440094875648900334860172281088533236554701207940703854546617718057741588685482472755393318743761336754953091200799296821751492158196446453198215842739848452915472438333569520177152715420234476696063941995162059989771663266127568189136829805983793463547787249310119385095422918064302398491358072795405008478049655930748928*t^29 + 1090694546583971345728149051466678325941207714798156835759321883435200423877233391520646709510092943865375163509995891728865512490275582458437168742020033076488517299623612226398471570474283018911425860061926263453960618030450305240496397702554103598999374160676830396844661732817702508175141085635079493896639571802084608987505011111414818045682497605272764387170567852614970862770144521630092378731515787815954787220302848191439169097222136594414164074914065378334255375917100332006873482970461833635808659171819142637168387682359962032896165130499424156070082543499790084097225016069502803822412505609887664229698850188146731165615520857419868643814407790018277580545923877781946143497543933373992758635647958496540167407854682623933447461645855200968791517597655077203236137687462935090055928067159351488097727581905740077034667304060779937651077970527755641796022901127412131152517354658925198085322777083996081659322417446821740257349635988495843926711588505794197927693230072317964142000018797667361456875/3111475282704588860878961083684333547935998534277816927934589498637435750741314046971691352961057646557055658441052376436046069786796512906394806063715485460409022034683080073163046331208306547849610031238767760155712191508877623911964615630651040362580314978544886257138980272499236897103520290219971951870700784237543303085623706951238153487559212455058764618859209089589396160482934290635540948404530754795436691116625523154126205168121434417449775953333035689793086117805102443405857967307360267015238324696662515814427968944835799035192829657967986602789463315914930765568104235061682953078540254244563670165849475028448933688880189751297800669720344562177066473109402415881407709093235436115483177370964945510786637487522673509906182401598593643502984316392892906396431685479696905830944876667139040354305430840468953392127883990324119979543326532255136378273659611967586927095574498620238770190845836128604796982716145590810016956099311861497856*t^27 - 6547755818808862286659917131829865617588780964098540696807468706285787009264621159534832310306137245162535173174982571419161866486439083872671300391635798335433299823725380122252917317737025427757814494966449240212739581029383028052412553204382656810942989773035864105960217966124044583096727819313403257509888683702254251596985976406120952932020712689205815279623790519441962127297743503364498540513582543638421027799275944993385191812361051158842005811941504148170965059006051734670975754692384822922896394234975374487613193174976732783023577247627340956790701028565946334820258121043712146074799810495596613077555658230000056458070397372995094038702113519599894896779391119645250637319520311119353671748477580162961793555929884254689138954411853733906602406465554458177344049394680156308276049321691602021494031840661604571651861099009284285053515536303776457420468005063371281800071380505245327304050970224802023708790142160128137235373723698050600373078839288420765633391908082961884205985510346245452640625/6222950565409177721757922167368667095871997068555633855869178997274871501482628093943382705922115293114111316882104752872092139573593025812789612127430970920818044069366160146326092662416613095699220062477535520311424383017755247823929231261302080725160629957089772514277960544998473794207040580439943903741401568475086606171247413902476306975118424910117529237718418179178792320965868581271081896809061509590873382233251046308252410336242868834899551906666071379586172235610204886811715934614720534030476649393325031628855937889671598070385659315935973205578926631829861531136208470123365906157080508489127340331698950056897867377760379502595601339440689124354132946218804831762815418186470872230966354741929891021573274975045347019812364803197187287005968632785785812792863370959393811661889753334278080708610861680937906784255767980648239959086653064510272756547319223935173854191148997240477540381691672257209593965432291181620033912198623722995712*t^25 + 32635352256864323772862964709046982765817751105840122546092664317729408104869218204762875431549236558925292448254411759707729144585782275614731461290957968096316535101646145101159819486852238608473578309911391674553494061722047700532881969024370006326144769153895925034050202020757306307829857289591427242697969850638264283477902948928612612502969803310423761991019594094324966835759245937216867465123359219356562005831916556043561602678748768455120110871467124822025659566379452407310590120397238276562731691115040946646041876144430406905745844594995619578819484947955379551424432490843468765427748575200291150631830113144275246985877250017813682356124825315424324612851874576042617011351217515165026769401757030051938521608644612164091287279551673449622171626973814795013178835652125562494481350908675504136942715229147677129422989934063292598499213157779899564128833881749871252454252470063227463718150361152275692796459311719398159867814821651841712432110284971219459731901580408614948744962325180584936609375/12445901130818355443515844334737334191743994137111267711738357994549743002965256187886765411844230586228222633764209505744184279147186051625579224254861941841636088138732320292652185324833226191398440124955071040622848766035510495647858462522604161450321259914179545028555921089996947588414081160879887807482803136950173212342494827804952613950236849820235058475436836358357584641931737162542163793618123019181746764466502092616504820672485737669799103813332142759172344471220409773623431869229441068060953298786650063257711875779343196140771318631871946411157853263659723062272416940246731812314161016978254680663397900113795734755520759005191202678881378248708265892437609663525630836372941744461932709483859782043146549950090694039624729606394374574011937265571571625585726741918787623323779506668556161417221723361875813568511535961296479918173306129020545513094638447870347708382297994480955080763383344514419187930864582363240067824397247445991424*t^23 - 133354579457907719247156954728502521431901528852619524234260118890579782728809676047896333772687231365726752502682008223637172494754373123791794753242450643894400437468672271514161160097373107952568159855287448987203046075294699071444320385103269569913767336914315807022705001828013034808191097072434608140108006822504321903528417599798454268803319010979819948079861118797833196619676918406225402081996615802174511276510148669296961084683049363267721284051477158744681267056728182647276999834078110160897118896624184433185104442109583695484753993181736068705518320611677687168238826898434965068325572680417474522209626651704108374935690099347863467609216540548746660511833435015195448511796200552712305233404784143979495155682691465753268009457864106395126294296501938579559131018468229376095715312191051448326170531219035985484137839934168944291351326205140524817513088242658965533909185877415148392752672345436819396855222839982817501720893046030384072878484509499862271567163696013698135589504945020519593328125/24891802261636710887031688669474668383487988274222535423476715989099486005930512375773530823688461172456445267528419011488368558294372103251158448509723883683272176277464640585304370649666452382796880249910142081245697532071020991295716925045208322900642519828359090057111842179993895176828162321759775614965606273900346424684989655609905227900473699640470116950873672716715169283863474325084327587236246038363493528933004185233009641344971475339598207626664285518344688942440819547246863738458882136121906597573300126515423751558686392281542637263743892822315706527319446124544833880493463624628322033956509361326795800227591469511041518010382405357762756497416531784875219327051261672745883488923865418967719564086293099900181388079249459212788749148023874531143143251171453483837575246647559013337112322834443446723751627137023071922592959836346612258041091026189276895740695416764595988961910161526766689028838375861729164726480135648794494891982848*t^21 + 220007968065286144079335046726867544644665032126814758446595593943523936962919542959054388112730345096806133997233370681663121533011217469512629241045037284582872230943618671906917311691484660531286724134807219735893109561159968944801578194537166845076745896707658103629163952830732279634296103961751082186055658312170128161641039773751462452170048830295549154240679983430349442926804772292679903937456058220629301268199865933325170004043862011457829512263930960014771254937022468307677301795710252060884641748118614305739033226965486146666832218241635169904612007807959506445531539851792689837940390373254139409135953467782173176945548308989013498780533790484738745102923670866221188061601116264933819925562472418976987960602361843999600638514253257258392602417992544118823340102075890623035131932391735958791123599051862157853111054239308317285078520826013570671851013973831910634147186957248420303243011634152646476678624669578302394392083091195729754020917311038424074395613470387972426633538650036742854203125/24891802261636710887031688669474668383487988274222535423476715989099486005930512375773530823688461172456445267528419011488368558294372103251158448509723883683272176277464640585304370649666452382796880249910142081245697532071020991295716925045208322900642519828359090057111842179993895176828162321759775614965606273900346424684989655609905227900473699640470116950873672716715169283863474325084327587236246038363493528933004185233009641344971475339598207626664285518344688942440819547246863738458882136121906597573300126515423751558686392281542637263743892822315706527319446124544833880493463624628322033956509361326795800227591469511041518010382405357762756497416531784875219327051261672745883488923865418967719564086293099900181388079249459212788749148023874531143143251171453483837575246647559013337112322834443446723751627137023071922592959836346612258041091026189276895740695416764595988961910161526766689028838375861729164726480135648794494891982848*t^19 - 143867009241370843227999848018842160571830790557814580663727800341966318032237960789371353870902705758362504191320481300938395125841295071052383568738655832337570615380027353275402940682467367628877743848832983655615263479607823701647030718904063810751148451864677842266876373613757474177523552607520724466929048339899938965884271162069365593349639132772463022055213264380380931520606509260306274351718972059376837587680611206328975803151289327065797772947351436758729955458781705407012911897854087004650252573230050548306113352543405769693136293797591509600930001702435585849759849298494480053101162223729652884946492862574651111033580626493313074869759743327629484851578121871267234807311370881103257648227416596519941177915615574886846019825193543811524138578741512842965321718155870215790449455910743907729022453214688155024066486038682383501925679236580483586084212790996617628525377503792626138846435713703136577315347253519423390897290038380018364007486730193075109188300786948237690203789401921791268484375/12445901130818355443515844334737334191743994137111267711738357994549743002965256187886765411844230586228222633764209505744184279147186051625579224254861941841636088138732320292652185324833226191398440124955071040622848766035510495647858462522604161450321259914179545028555921089996947588414081160879887807482803136950173212342494827804952613950236849820235058475436836358357584641931737162542163793618123019181746764466502092616504820672485737669799103813332142759172344471220409773623431869229441068060953298786650063257711875779343196140771318631871946411157853263659723062272416940246731812314161016978254680663397900113795734755520759005191202678881378248708265892437609663525630836372941744461932709483859782043146549950090694039624729606394374574011937265571571625585726741918787623323779506668556161417221723361875813568511535961296479918173306129020545513094638447870347708382297994480955080763383344514419187930864582363240067824397247445991424*t^17 + 2332459489351417014310324054306418199846032247929643865289311928995616551630495715132655278539106840202598929640426170179340940198993601665858922102261670818524140934100170905113302158839044243413791464654314642814327111411093033066025119080055053430468393465368079241145489246661599357903414271944596322612519493738362041790206857309873405244175517482075826172792642296188919548151621434673224291686739810825358882445880339233736221537822281337464555774129575582374567210515683905776293843074819174669447132736819245878265955616063735921396316544686006330281045236700521604211977294039766935630580639065255445023136258339549046692236897889446625882187810222555801542251976414384192357440017127952160588529910978812490050872173028561295617903411905391969533333954454776026306585112580118558473428933902570921440356923363377600331342453517043376925732225098572086707597098785816283121059646490623805628663679659937135663619782049821794150084332402687214533072066556269635314299769575998263695591573517149111308828125/199134418093093687096253509355797347067903906193780283387813727912795888047444099006188246589507689379651562140227352091906948466354976826009267588077791069466177410219717124682434965197331619062375041999281136649965580256568167930365735400361666583205140158626872720456894737439951161414625298574078204919724850191202771397479917244879241823203789597123760935606989381733721354270907794600674620697889968306907948231464033481864077130759771802716785661013314284146757511539526556377974909907671057088975252780586401012123390012469491138252341098109951142578525652218555568996358671043947708997026576271652074890614366401820731756088332144083059242862102051979332254279001754616410093381967067911390923351741756512690344799201451104633995673702309993184190996249145146009371627870700601973180472106696898582675547573790013017096184575380743678690772898064328728209514215165925563334116767911695281292214133512230707006893833317811841085190355959135862784*t^15 - 3557564731382957242871587736887580492778376451670305838418663167701531557423924928470554160121798319845731381509460325714773945097418160272668298059006817511577540121676361009654685807667319741189765529427006128227267500747169830975322282956955343094399465328098056546770188969368359507819844948542923560050797626075539231447661648774441725842679530618354905280231764119618467516166732556097420786900815101569890364505777528185516362717355837902688995232559060115424850990198785096417490586542995693500619859511245028318908900256877588449873496428876040386910093984025598492752480873840084576789405324679359973098475903487828968867867570175890911661622022257838337311904681888328452691591122217686873567293307845603505001071423234638271326652789559384866057649584197079051518975996573256051017433041625918402739912465543106233478930869210471373899123729140644185040912201225027533597562534063506482210917680197907053866849230255064448496305008656288313629194513422265960644719114304877571528966380601511109125859375/398268836186187374192507018711594694135807812387560566775627455825591776094888198012376493179015378759303124280454704183813896932709953652018535176155582138932354820439434249364869930394663238124750083998562273299931160513136335860731470800723333166410280317253745440913789474879902322829250597148156409839449700382405542794959834489758483646407579194247521871213978763467442708541815589201349241395779936613815896462928066963728154261519543605433571322026628568293515023079053112755949819815342114177950505561172802024246780024938982276504682196219902285157051304437111137992717342087895417994053152543304149781228732803641463512176664288166118485724204103958664508558003509232820186763934135822781846703483513025380689598402902209267991347404619986368381992498290292018743255741401203946360944213393797165351095147580026034192369150761487357381545796128657456419028430331851126668233535823390562584428267024461414013787666635623682170380711918271725568*t^13 + 3932100391884874952155180124806745120407037602584364692854302806522202870791295103200620511341831483123614897549695582806862253484081151869721721422448233251363617597477261976626123259595907936457274886611496489269987253586378890183548333448214596325838578572600946855263395849067757641107143104287272186153508046611553313801618468832941440350855940523291919006373213874552199286887053356935750796562684820876925526202211089745723057736954485593833419834020870188741090674426173142033588368782026631026263157507693432463494039133238489849818495794344999506901082373841225666252090666348123761486419185493304875240819813531439965849278003201574148127344813687376852909950411917442505982244982434015575204592516518233356854329368952013318081166766623654972020490771665504592336796895600979429024604507365439750328351243636931232653090048573787899235155649017757962420509553648865494264583989306639781453424245859074097036938336856971044655161635780736616615587029099524523239225722185770776248323041194992527815390625/796537672372374748385014037423189388271615624775121133551254911651183552189776396024752986358030757518606248560909408367627793865419907304037070352311164277864709640878868498729739860789326476249500167997124546599862321026272671721462941601446666332820560634507490881827578949759804645658501194296312819678899400764811085589919668979516967292815158388495043742427957526934885417083631178402698482791559873227631792925856133927456308523039087210867142644053257136587030046158106225511899639630684228355901011122345604048493560049877964553009364392439804570314102608874222275985434684175790835988106305086608299562457465607282927024353328576332236971448408207917329017116007018465640373527868271645563693406967026050761379196805804418535982694809239972736763984996580584037486511482802407892721888426787594330702190295160052068384738301522974714763091592257314912838056860663702253336467071646781125168856534048922828027575333271247364340761423836543451136*t^11 - 2991835812450771805331283930083171067992107654317352710518503160884792095207248394440433628318442836439511227057136233811013858837448623716280766814909743615728568391113094501810897861895649201746900213266221275498847320085211924389204105634943901679795854795886036821116768889054361734821824727304792378425188941268579634978206609851716482774787663772420047958456318675647945782308284471164426796989057057579238769909851969290193798633320793983678578107405252387267443543549943883249479532029931439201398237692429407875447123493371024113405076645566632839826377643980949140726414836077409170692428554414949484185194139406509032992544046563498671319245110400111529409396131814159710898991176787981582510391514689461308218706843660475571089960447225781181810231454102760865269715785634525741105647985130061795716003885884655951454615726791368190098446249174546198633736177505038763335286143884518612700128880767203611936267396165767019531905980349748738556484401946333778315543042535799500050278278456384827456796875/1593075344744749496770028074846378776543231249550242267102509823302367104379552792049505972716061515037212497121818816735255587730839814608074140704622328555729419281757736997459479721578652952499000335994249093199724642052545343442925883202893332665641121269014981763655157899519609291317002388592625639357798801529622171179839337959033934585630316776990087484855915053869770834167262356805396965583119746455263585851712267854912617046078174421734285288106514273174060092316212451023799279261368456711802022244691208096987120099755929106018728784879609140628205217748444551970869368351581671976212610173216599124914931214565854048706657152664473942896816415834658034232014036931280747055736543291127386813934052101522758393611608837071965389618479945473527969993161168074973022965604815785443776853575188661404380590320104136769476603045949429526183184514629825676113721327404506672934143293562250337713068097845656055150666542494728681522847673086902272*t^9 + 1456073864417392709404869191171062498121559812937863136535303267857613563929811779600738874271401203227732708761685990614385104301125770421517068326835209720779789688980244178118045136065038349650206258713210898392959326068904602348456309145117117735318369508335857269698728996585977173139443432868878753739561371775312436746838783378307338605972080188190020153756890710340636290318428823184324629253806858622614259567141843248115622238448300892487751197877823579814949312893566782848089587634114957764255076291773143817706043708474376677565481955483439751936483317545786493294112783035870893070648280931221908514255613310639395072653796634074948050939734969927919015076793762047332132404846586219122340309464782568169522636826068161790677556968260958170520513838310415672066977074024971039915486385463522029934367542073859263756962320943893263866965511843735823684666980228751991613636558305581583218489324325974517401426910456042768305624055876745503012781766587582009994566327137998990475899568423126289973515625/3186150689489498993540056149692757553086462499100484534205019646604734208759105584099011945432123030074424994243637633470511175461679629216148281409244657111458838563515473994918959443157305904998000671988498186399449284105090686885851766405786665331282242538029963527310315799039218582634004777185251278715597603059244342359678675918067869171260633553980174969711830107739541668334524713610793931166239492910527171703424535709825234092156348843468570576213028546348120184632424902047598558522736913423604044489382416193974240199511858212037457569759218281256410435496889103941738736703163343952425220346433198249829862429131708097413314305328947885793632831669316068464028073862561494111473086582254773627868104203045516787223217674143930779236959890947055939986322336149946045931209631570887553707150377322808761180640208273538953206091898859052366369029259651352227442654809013345868286587124500675426136195691312110301333084989457363045695346173804544*t^7 - 404445322888284542413940184204848188348380606935184467869791846463243295309622342298073747183598294310809268242064099733843643918021860765271217886070548843103450209942232258637383576091563280093948838861471471986181121825732426282231566839452489000674061682418623052500091326259296849777649644903981828178463204419942343987852359141169301946291021868394121860520787118908357947208548458934039215766595907207138314478529470585814719337417480092185776403510989483674790900059480246250594607675311868346393708415520320137424329335863260307352141450797857249970938194494182663035199893757578229912788049648533902494399798336640715307443209753853801875214547921025363842180318477099722438870437610752851862316891698721525329726660224011556319582485223437220408984780139813582022930421725649056644816590034410011865230687083075293195933621456949957430019463933210667975901631637817269232806277106845429096764881996742159244803563914785546543696266992434580157946879155129614793724533076700625964594859466073843116796875/6372301378978997987080112299385515106172924998200969068410039293209468417518211168198023890864246060148849988487275266941022350923359258432296562818489314222917677127030947989837918886314611809996001343976996372798898568210181373771703532811573330662564485076059927054620631598078437165268009554370502557431195206118488684719357351836135738342521267107960349939423660215479083336669049427221587862332478985821054343406849071419650468184312697686937141152426057092696240369264849804095197117045473826847208088978764832387948480399023716424074915139518436562512820870993778207883477473406326687904850440692866396499659724858263416194826628610657895771587265663338632136928056147725122988222946173164509547255736208406091033574446435348287861558473919781894111879972644672299892091862419263141775107414300754645617522361280416547077906412183797718104732738058519302704454885309618026691736573174249001350852272391382624220602666169978914726091390692347609088*t^5 + 104811864670117081574628195851611506838074091433188345007707257174404913717329516134105581332700582518475613366368999137045928641250372466512477131994261098446962496091120483199669362083417505194758392345008271501254248800260386606303663830003665657515579949017589660513349402014491544962542746425120685710749835009050437926825341438190548332668716975040772968483069651381700978416851140322856272346640052677518085667429532398158185654631335263356225626001200010801792023404279634160047551751263761596751204750511399395715303517851854080296701062800748471763757113254723741647161246758492164620211025729339621493976251073040113505520146986835766521480700178768397017701709994909021121004832120143458566142587758256598115641572773303920709725899754776224820135754778503394473259270023046970591362803457456372139558590367902263647018298606936428740697133931237600652933866974298374250398906793822405741297208859638840766138856763407241089141422752776647669132716654684587174935826787031507059741251699294171082421875/25489205515915991948320449197542060424691699992803876273640157172837873670072844672792095563456984240595399953949101067764089403693437033729186251273957256891670708508123791959351675545258447239984005375907985491195594272840725495086814131246293322650257940304239708218482526392313748661072038217482010229724780824473954738877429407344542953370085068431841399757694640861916333346676197708886351449329915943284217373627396285678601872737250790747748564609704228370784961477059399216380788468181895307388832355915059329551793921596094865696299660558073746250051283483975112831533909893625306751619401762771465585998638899433053664779306514442631583086349062653354528547712224590900491952891784692658038189022944833624364134297785741393151446233895679127576447519890578689199568367449677052567100429657203018582470089445121666188311625648735190872418930952234077210817819541238472106766946292696996005403409089565530496882410664679915658904365562769390436352*t^3 - 3971130840907168526740668644622747983479162257075672958770265226105592952552209907715692293197348035996532233198894159211163806903799199476152323903435538403010422647134638051468142262989653907408938542522201684042673706704096302960637479020934135958279507086302135803105067336738922462577153396316155610062908797013319946899165531515570256907209020961106253927754506198895098475111704444244745997856242392847422140920364666571068553184251167581136894545133723181326520761799804559511090772086079876685642551665442387722099491952356709429238862975913397101513560466773560941262055722627815189041665434983286531785451522086231923726827664389577913814513763330505317616916710335046228445388841219683342550097676451827199391613542078083897885909715377527063409689365903679990208522896706366821400839602985997163337858725644109960407632572058344675842233729746703057839851206287099139554941615622868102643352315044715933579300196543345749642001726660015040768627477646418682082924079548327966373856817522985880859375/50978411031831983896640898395084120849383399985607752547280314345675747340145689345584191126913968481190799907898202135528178807386874067458372502547914513783341417016247583918703351090516894479968010751815970982391188545681450990173628262492586645300515880608479416436965052784627497322144076434964020459449561648947909477754858814689085906740170136863682799515389281723832666693352395417772702898659831886568434747254792571357203745474501581495497129219408456741569922954118798432761576936363790614777664711830118659103587843192189731392599321116147492500102566967950225663067819787250613503238803525542931171997277798866107329558613028885263166172698125306709057095424449181800983905783569385316076378045889667248728268595571482786302892467791358255152895039781157378399136734899354105134200859314406037164940178890243332376623251297470381744837861904468154421635639082476944213533892585393992010806818179131060993764821329359831317808731125538780872704*t
-------------------------------------------------
Computing nodes and weights
  current precision for roots: 53
  current precision for roots: 106
  current precision for roots: 212
 current precision for weights: 53
Linear system for weights solvable: 0
  current precision for roots: 106
  current precision for roots: 212
 current precision for weights: 106
Linear system for weights solvable: 0
  current precision for roots: 212
  current precision for roots: 424
 current precision for weights: 212
Linear system for weights solvable: 0
  current precision for roots: 424
  current precision for roots: 848
 current precision for weights: 424
Linear system for weights solvable: 0
  current precision for roots: 848
  current precision for roots: 1696
 current precision for weights: 848
Linear system for weights solvable: 1
Sufficient bits for target precision reached
Positive weights:   93 out of 99
Indefinite weights: 0 out of 99
Negative weights:   6 out of 99
Extension rule has valid weights: 0
**************************************
*** EXTENSION WITH INVALID WEIGHTS ***
**************************************
