Starting with polynomial:
P : -t+1
Extension levels are: 1 3 51
-------------------------------------------------
Trying to find an order 3 Kronrod extension for:
P1 : -t+1
Solvable: 1
-------------------------------------------------
Trying to find an order 51 Kronrod extension for:
P2 : -t^4 + 49/4*t^3 - 153/4*t^2 + 57/2*t - 3/2
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : -t^55 + 4518899267419916504972725677034525974258963114035352461756827738549250054245560928746954877480282960089378086944815390604458897970124101400836302322534294277321064603603669496819282744558706492443574852872469799074964644817710258270551179044480792122401726017/1603493953281537758026800544127589807518977867591241658510719544037035819952199756575667670334211661389304202589060645025198980429672659904544994989791368185858265986981894481862128073799921072783921824587142984166911585717902458609818986903900118583013388*t^54 - 1751594851674258542583121892784769350076502343680337180688191476052690355680751160012459307908564520092250449071325377891435781598754176396393382140817303940346320235804542989479592103949701189712398801296216628149886503093695716119372213479512405347625959524075/458141129509010788007657298322168516433993676454640473860205584010581662843485644735905048666917617539801200739731612864342565837049331401298569997083248053102361710566255566246322306799977449366834807024897995476260453062257845317091139115400033880860968*t^53 + 21338195269941805788877118920021577977787801290047726074981825918883798206030669907097023105986349686891785585237415680067945639272641679988065552004052075552570389486469738013219301174562774127839147647577112944394136043566495445415090953569852098510441195328867499/6413975813126151032107202176510359230075911470364966634042878176148143279808799026302670681336846645557216810356242580100795921718690639618179979959165472743433063947927577927448512295199684291135687298348571936667646342871609834439275947615600474332053552*t^52 - 53550734907663643878569352468234909832728750213561363597495071675945375106798113970442914441584814827903630960874743580716982159460078721189486556857520193410824469349100818280016577539707993399772181374931398760575700410493137722824291699446480658788169297448997337821/25655903252504604128428808706041436920303645881459866536171512704592573119235196105210682725347386582228867241424970320403183686874762558472719919836661890973732255791710311709794049180798737164542749193394287746670585371486439337757103790462401897328214208*t^51 + 25819812128530196697902671145297425073756300879974200369501310910345393517713687570405504655365801225368489096969006323108263340506922621081148342507311326955526381154451616330655064853076677760630444475928626654167144254888396487347658319126128921729040196470334230907461/25655903252504604128428808706041436920303645881459866536171512704592573119235196105210682725347386582228867241424970320403183686874762558472719919836661890973732255791710311709794049180798737164542749193394287746670585371486439337757103790462401897328214208*t^50 - 711257805903563866433596030319156969179763904622433810123385237377497903250310608284079631404220670133515236421260317272893645812749371748761103934928763580691238278808500513312373965992505052569679639756711934408301481926140123803798944893226405940544260587879785341867875/1832564518036043152030629193288674065735974705818561895440822336042326651373942578943620194667670470159204802958926451457370263348197325605194279988332992212409446842265022264985289227199909797467339228099591981905041812249031381268364556461600135523443872*t^49 + 32211505559743244014698880175419558029556467641562034398750302412453762179260337412371162823123285335382978292738391395249025007565553859950711758408724202839442435620860145303060954275476943227780095559016784528632348219271229894417042860756052292864008799513915530150294375/261794931148006164575804170469810580819424957974080270777260333720332378767706082706231456381095781451314971851275207351052894764028189372170611426904713173201349548895003180712184175314272828209619889728513140272148830321290197324052079494514305074777696*t^48 - 267543070481380798016990230312331567369338202158767252063200146919292691697325742848901836679931666247946465348963061888255829627136993295327747404032226852696332400736198229569937478129143307865170531270716570407789696885511586145120689913561281736009577857991289284582750750/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^47 + 60508422765833573456379916219358407472022938108904724106749491069569512614628624595492977757566506065710268194021527386785300210906801918077726782258179660688171873659542440418279024724175311887262828409831686572299793561025370438826358433331413773658546005948332644967656415750/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^46 - 11778891057099632592192092148539313220856487451976499471619194894396307347276937795756423748499807112174973059016147238772873106868687013911205229498250063801005689930628319219121803085169870293448077708530151840439328633967160705946220892026006978811969434539464958043402951834500/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^45 + 1991533343171180157070586146256353547632438288244157685605670930123992711747757783686757607759944246292239180220818766274054633479398105229347392816653309238550950594887451381991424612301361704484819363973494311338036091148372363361618897872346142455625600867160988616597559417177500/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^44 - 294586599919540819073102431353670701000652591917774818136519011453171875031365020226203504642033577153024427300511374249942631049709321843183966403856829262283590854942962129757086669702836384323441755560166164459825899543494425138708438813772504074412068002465791039092253237223475000/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^43 + 38346820156918250690043523125430434648812354374633779174903625787766997854837365322142220930960458921215862865625139230141040259366135479772764707582781544715078878094625132492747299473824040335097434614357293904247403779612445123732643609042018879427678020230160753632305931308903395000/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^42 - 4413810393821841990013369748541567932806979030488091703782727639582359816321160901304665208708867476596623980231277020329665027484733344032025215474297964255035976271696002047347741621073639668753308011875017181448404188005753273739630049140683481805128662377143944168091941744107367070000/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^41 + 450985523552383068435874409853684732180254266966871292717035531795742342061029040735105838417374375710384186888964614260839319696023587837778266317554609381318229569470086782207359251070039496035729567686769395354226560343313339925792266666944426650746341369225910127422257932738945974170000/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^40 - 41035496079984834087890659291973010978956792798522842706139438711057188965775043246092390244979035252129622310822683574382946853071840417231430053432348523531177241968121417284871219329089108105821293990447319668676766127657710616003502533722486804585224510960539487591703704780015424562400000/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^39 + 3333693158951438005172399212964645738283175798457660301263738987015845264326238047037688844166771339424661725936915197361673408462819316619628717482336211691345725206422035283415067309435070075220456000708848098332120289451206677956102609859443347596200019888170710937844166049813903958844000000/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^38 - 242301634206271661308180701918782098631498490402032597352714698083179845929316829054421772921058201602954441118583617491285716487056404561667932241841819077328318927279295060551178043705181038503207941455053325917024174685219238178609259401106137618173446577576114524788248067075201748709371200000/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^37 + 15781641280901579089579950587822647332100058057067775593656068336269039203872296478402163009161444328712581248714981606770209842710383780953600979612779966833515617222982566507683206232319209550078731273238450056027486278965257784171240616133073052446282425001942517629272728300077206641695243200000/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^36 - 922232031822672041718986968179045049272304699071684611045287581380932321766782039567394686981905128166551968684095847518300167371902884809737116696310816082737943995395469584400384166315937781733983162872298130617175236221095299012748788343877626830664563922719035252765492261753313420327463531200000/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^35 + 48394001584683116617825277444477121698025909940209401265508161165557896461197214127026225519231775771464224975597967604731869615893342447659598124381189658855217099377700793269623083295989753493273540737255659540516836671928524996785056054185559504194629514733057591511248209118200109059171156088000000/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^34 - 2281572757827606131956387829996120222581821830496188326945342856840890220425849292186653169459681982398501754208289497556833811422517159286895247442023228946251565130079135989445585037765283570791645566667719154799482560246478185963168185994634542819579959467522216473937360530518432605057069225840000000/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^33 + 96663734851369267168356280488426639332827326424856875475515318196880720455372232784183433974570002091368197730705811304755211995308476380389912641300645801247500474905350689174936357265485323316611933342896839979819171905078535345763523653345676114785689008386975718446014147483201966479619321395664000000/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^32 - 3680002710854683510498568087394950702785901881702060666771994643449884496795962948108631526553714613805452869422335303000850714495115682977212837699735447898818830856389768512572624069164740868195431160233512821871456071868309063394179712268017100894724278177796881727692482915165730424131663096745984000000/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^31 + 125844831229587777593533153676138171063633978502775968691496815911850777501675808435321322675307994352761813525577182235895631753653008944987009680487579751914883978823317448052030706103196540797272857300919036468251412149206327001029153258647333563009815195603160945894622949976214483943102267544850432000000/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^30 - 3863257948271777955682869494782703736254310310609950956379288456985046421402596820557819829787846844397799061646625280282807803530283073590749302199189000701726862699908113550200603163495047758376473650902790804093700198666303337468380177466303213735311479302334671517344444218328022341631769366031491072000000/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^29 + 106368534552716237508677673524655230852968597974017252299692823754352057813718021574581444394375959665470114715726965761692087789665345042607477976883504237346571823441165538551921987457238027618849668004207432199320588413267433555249137914773895251144427747849178781141407342171750606699801495815559782400000000/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^28 - 2623640247285845752361133284526916814425492690043038399984644698563951267030191243592219459605041835970578003521449519398875403082396263524627007716275170959517547092749799723303722806233265955066607131627445733186584886795582686903962819678269128503752082890444580718158821800944227360979932015229321527296000000/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^27 + 57888844349253233161018338928762582813437420415742333215383801080599278334100247666401607472046816994041689440114087820856569946127699483569180876302577531830773943642399387148329827357538730317873275893091033719445695852086923439211012656471122755277949773239847910171759593479535522435584912135433391620096000000/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^26 - 1140578476028086520881812650545501750665975336357701853240439415153681630198931851127988542732264722505013061262026858276077451249781611371105067026978010972364120414862644118828293709890187721792624337515900515995491780336886854000121042599229007509608624691533973514208911213704593367422639834300931156443136000000/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^25 + 20026298132481468182498700294823960058607419831030608409712218682664029738548502788361606907340042329569353185908548573372704607928993576261602109122080274967026437832572204744308612431387051184014994592365251098936237272672908705126537494558561471717639510140828332484405631808550838944343265456898841645056000000000/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^24 - 312595598517068683563255294486370852017871931888663883439530262670192485784933453810535932692223308412187663888225930445004172221996054011026041513015177870201526810168601243825682450765149933704780771115700141759291261750385822737561598700059358582898914974567275128138333598189733970194377846936743765278720000000000/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^23 + 4325906309869824094497222469685804996581611995903713042110148765169929600284837830944943614431615942573556607388411081819199726301289440756065945570046120096913031892667657064431100045582047331016997240373618237221136719462616385992313116708043196340910723086006157259531314771324021674217784830582362684981248000000000/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^22 - 52907544109555355605747718758332372938961087592798038319144629478182113766925505645013205999218928931254902810777185713021665602814414071542708490833089170818682772666584576091033236934157693830968344135839354469541161240159423845787567932431817196669532095446167737161649256357411348188886052133141774295236608000000000/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^21 + 569833988152050112628907369444795008494522591524394022799931102707186453352367482169678949407742438354871678742207970701892878379942775928793218999587812059952435458984492769256048813283140405467513701203856059112464638995562851412252231010860884875309271888007833753188764359327088436014757573347776099986833408000000000/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^20 - 5382692538541668711752349923526095187277875500576224337500218926220363281938764008942668810621132467967754950119329611469220556536768399630340694365513270735233145459968660079904084407522813807561417223452894961792227882264594626668860730955040984740080188246414903595264197432647858728166135615639853178869186560000000000/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^19 + 44387246559832590803898614109531308871786916907822434152738289464827314681451874765598428081542841880758607857118450314234389426294393008647781346922554757024105710889975969452394042621915801395918198706963932413697114385676885167632042687015209354322805785065646729559541585985593067524343514429636597223868006400000000000/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^18 - 2320119178713081760094181489937144280672062800913374703338017650299515439300535810654867195769832341446007454820334486924926867563683285662187094456697974720520394435768660476226957450328642814978850170977298065122057088625804056694675156922768537065267763413401646411203759309550126671412740311340238031787786240000000000/59715997068432063087546571731252413508080510486788382932769236706280195886794270690290021984739001243456882265345622114747466871356795021024318299932644428193738491992473353264640550938474641471172420102306829441639787938250501214427937840901985646619*t^17 + 1964703675559891922058357347575146170432637413907459458780834192728179359664933811840879792276739487081117775388948477522490823691527225192780930826703400673800675278249386213716301417072289295174554598727043527514793322904706377460599673352299999323273728889769740483107540365213457776388498162719332501114619822080000000000/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^16 - 10409971993664838221556547589887786663978297685459724604678653938160846984443257595782975040340700812194874752382073985140924425088205970052490682023951189685734402443775992738997106677742721523305680766992339942948055916121076736206831071011496076115346481284515256494655114780489249537218109030124177849102872084480000000000/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^15 + 46904821993966038777588890437633604486149212148179030988248406977540608274546729945772848775670414338747037152633239755596242555223005311701821497049288851522306238821136582875556554828654364668594289234047613737325737345848119587625417113988987131394957527387023766306229272689970272867966428588351968513939315097600000000000/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^14 - 178059828238141577413951629933760958353087639092909723644853420217183168325867602707565174610589461275555634067111002991358027589450200183948448321424240716143236880564408851206716099269310240775752490937179680577963661003166585510054110083781005024414883698910809100461098612489934213789436835533675953638883721216000000000000/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^13 + 563330287970376446101225096081936120985970315174905830622703361950676376434351129820230953848997113322193285427510044631044906763731310172150581241034239279173430153454108438126411174813560729675313901428666160534415670072456655087124913767379855172179922134380865323722892979966920123212250696282520540682931457228800000000000/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^12 - 1466227391093488599761697527717449304461284768788721669775613361707293837421395200241238602843513594661421919161584336622978578830880376095429732042831635208438554367836656605618335535785797086905914978634490877613696422535108429623562016124785306891256655959806723966550343176303659936892867805868709332331451436236800000000000/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^11 + 3091378259104194096662222964031079505790968855267403214881049584289920734352460720900436150330143733346732807363999529888591176142838644032149300179909552000618683201474288750769149601288880020966676817298249623154066698693924930701744945211445638789414988603859838221523231848026315699523908538150124259364788030668800000000000/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^10 - 5181118947721777497104079668146302650338219721121829304509498930717322536012354450924338039023805928924018082847299596151467710666674146989131550215574959588095768823876422871333891615479296697276726374728785736556281521600793641992185053058001824699266305089018154638237712837108803166676698201604129535468620480512000000000000/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^9 + 6743265826383466683857814469255935008336281022634599669919812238067551984019947396480949588459412751595496499762047400802728027354051269941105112167316080737959559885198746313915738490421672021435531938955231802739473678762092632210893065361926671742310994003627672846626495432511137042911507895210369801680962191360000000000000/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^8 - 6617249839641746348499223030732678449354092548205871550660658040324571048433693576792313558223107686155319877026021026277028716165797416053650094027501111437268804182286318469098549421360633584144515238611770625820334329615770600688646203575758391241115269929547602782801390513398986345897096834739385705915834433536000000000000/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^7 + 4712951578720110481368641653968817925465630626029569154714292622683622331328130168456922655805893110639300675991803582454670414746532420228017317242954516490998788800060829066590079544087821353195620495410099842358677720061480383036087899747782988179774169941696172962078450312669400257043510269325746373010250530816000000000000/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^6 - 2316465721567520060848389883125069724672207066302840638996973671067379758481334374942482000449251021164846596418998464304878349688310206135783252939042853711274093990826890853395330918767001453675211375353863026817285435343503132093063036636248770756793553436880265884904010863912467429696535810918165194526018240512000000000000/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^5 + 734115717636463558957557896977464985309336064389821048574132936744582414654326084167228308735993268685309590783603932799073295654972759704471757867983306164516432695381919466127469555276448724563651353548323827722964780661709026596061512359667316096724039737791354242339514993589797620011300378588048147556098637824000000000000/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^4 - 136954787574564754244903560534387610424403364909312868804521407363411457092182827472116841890633498780872068087730177277331317199950533125162089622004998617615601112914734430256377681370829628124201119457260922663734108409033826946057458184747485357108186581296047611533064300706679335419106887768021042805814067200000000000000/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^3 + 13486091995334036889625238430764401532637143615339123011137961305064207903063514009039016886506540189133627094705763667050335864045300859476590083109348665528919725432298192930381276072832631359618640130243469316824710495970220998856546073563925971894070471621046579896772758021599557625736270817084557403338309632000000000000/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^2 - 644231344318694088132947385086487627883634945786312611323816741438089478349465763557273059677474031259848560275716245627067583862286120408893915931278072254709348425008147213188270281542035777231936916666305435532273074921486301735315711482055611616636278246565344955953393759492155637838055983712852454179602432000000000000/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t + 11762510517695588637339478109876508238796128545678089342614525162173318330703578710876409006652338832202182487308266206310540530234304799624364820776351883040438617917299070597531111169632915010771067386276848182004881414204604642885740934563357667793097631462935124679043486730791749132836178048423540830502912000000000000/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803
-------------------------------------------------
Computing nodes and weights
  current precision for roots: 53
  current precision for roots: 106
  current precision for roots: 212
 current precision for weights: 53
Linear system for weights solvable: 0
  current precision for roots: 106
  current precision for roots: 212
  current precision for roots: 424
 current precision for weights: 106
Linear system for weights solvable: 0
  current precision for roots: 212
  current precision for roots: 424
  current precision for roots: 848
 current precision for weights: 212
Linear system for weights solvable: 0
  current precision for roots: 424
  current precision for roots: 848
  current precision for roots: 1696
 current precision for weights: 424
Linear system for weights solvable: 1
  current precision for roots: 848
  current precision for roots: 1696
  current precision for roots: 3392
 current precision for weights: 848
Linear system for weights solvable: 1
Sufficient bits for target precision reached
Positive weights:   54 out of 55
Indefinite weights: 0 out of 55
Negative weights:   1 out of 55
Extension rule has valid weights: 0
**************************************
*** EXTENSION WITH INVALID WEIGHTS ***
**************************************
Starting with polynomial:
P : -t+1
Extension levels are: 1 3 51
-------------------------------------------------
Trying to find an order 3 Kronrod extension for:
P1 : -t+1
Solvable: 1
-------------------------------------------------
Trying to find an order 51 Kronrod extension for:
P2 : -t^4 + 49/4*t^3 - 153/4*t^2 + 57/2*t - 3/2
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : -t^55 + 4518899267419916504972725677034525974258963114035352461756827738549250054245560928746954877480282960089378086944815390604458897970124101400836302322534294277321064603603669496819282744558706492443574852872469799074964644817710258270551179044480792122401726017/1603493953281537758026800544127589807518977867591241658510719544037035819952199756575667670334211661389304202589060645025198980429672659904544994989791368185858265986981894481862128073799921072783921824587142984166911585717902458609818986903900118583013388*t^54 - 1751594851674258542583121892784769350076502343680337180688191476052690355680751160012459307908564520092250449071325377891435781598754176396393382140817303940346320235804542989479592103949701189712398801296216628149886503093695716119372213479512405347625959524075/458141129509010788007657298322168516433993676454640473860205584010581662843485644735905048666917617539801200739731612864342565837049331401298569997083248053102361710566255566246322306799977449366834807024897995476260453062257845317091139115400033880860968*t^53 + 21338195269941805788877118920021577977787801290047726074981825918883798206030669907097023105986349686891785585237415680067945639272641679988065552004052075552570389486469738013219301174562774127839147647577112944394136043566495445415090953569852098510441195328867499/6413975813126151032107202176510359230075911470364966634042878176148143279808799026302670681336846645557216810356242580100795921718690639618179979959165472743433063947927577927448512295199684291135687298348571936667646342871609834439275947615600474332053552*t^52 - 53550734907663643878569352468234909832728750213561363597495071675945375106798113970442914441584814827903630960874743580716982159460078721189486556857520193410824469349100818280016577539707993399772181374931398760575700410493137722824291699446480658788169297448997337821/25655903252504604128428808706041436920303645881459866536171512704592573119235196105210682725347386582228867241424970320403183686874762558472719919836661890973732255791710311709794049180798737164542749193394287746670585371486439337757103790462401897328214208*t^51 + 25819812128530196697902671145297425073756300879974200369501310910345393517713687570405504655365801225368489096969006323108263340506922621081148342507311326955526381154451616330655064853076677760630444475928626654167144254888396487347658319126128921729040196470334230907461/25655903252504604128428808706041436920303645881459866536171512704592573119235196105210682725347386582228867241424970320403183686874762558472719919836661890973732255791710311709794049180798737164542749193394287746670585371486439337757103790462401897328214208*t^50 - 711257805903563866433596030319156969179763904622433810123385237377497903250310608284079631404220670133515236421260317272893645812749371748761103934928763580691238278808500513312373965992505052569679639756711934408301481926140123803798944893226405940544260587879785341867875/1832564518036043152030629193288674065735974705818561895440822336042326651373942578943620194667670470159204802958926451457370263348197325605194279988332992212409446842265022264985289227199909797467339228099591981905041812249031381268364556461600135523443872*t^49 + 32211505559743244014698880175419558029556467641562034398750302412453762179260337412371162823123285335382978292738391395249025007565553859950711758408724202839442435620860145303060954275476943227780095559016784528632348219271229894417042860756052292864008799513915530150294375/261794931148006164575804170469810580819424957974080270777260333720332378767706082706231456381095781451314971851275207351052894764028189372170611426904713173201349548895003180712184175314272828209619889728513140272148830321290197324052079494514305074777696*t^48 - 267543070481380798016990230312331567369338202158767252063200146919292691697325742848901836679931666247946465348963061888255829627136993295327747404032226852696332400736198229569937478129143307865170531270716570407789696885511586145120689913561281736009577857991289284582750750/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^47 + 60508422765833573456379916219358407472022938108904724106749491069569512614628624595492977757566506065710268194021527386785300210906801918077726782258179660688171873659542440418279024724175311887262828409831686572299793561025370438826358433331413773658546005948332644967656415750/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^46 - 11778891057099632592192092148539313220856487451976499471619194894396307347276937795756423748499807112174973059016147238772873106868687013911205229498250063801005689930628319219121803085169870293448077708530151840439328633967160705946220892026006978811969434539464958043402951834500/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^45 + 1991533343171180157070586146256353547632438288244157685605670930123992711747757783686757607759944246292239180220818766274054633479398105229347392816653309238550950594887451381991424612301361704484819363973494311338036091148372363361618897872346142455625600867160988616597559417177500/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^44 - 294586599919540819073102431353670701000652591917774818136519011453171875031365020226203504642033577153024427300511374249942631049709321843183966403856829262283590854942962129757086669702836384323441755560166164459825899543494425138708438813772504074412068002465791039092253237223475000/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^43 + 38346820156918250690043523125430434648812354374633779174903625787766997854837365322142220930960458921215862865625139230141040259366135479772764707582781544715078878094625132492747299473824040335097434614357293904247403779612445123732643609042018879427678020230160753632305931308903395000/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^42 - 4413810393821841990013369748541567932806979030488091703782727639582359816321160901304665208708867476596623980231277020329665027484733344032025215474297964255035976271696002047347741621073639668753308011875017181448404188005753273739630049140683481805128662377143944168091941744107367070000/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^41 + 450985523552383068435874409853684732180254266966871292717035531795742342061029040735105838417374375710384186888964614260839319696023587837778266317554609381318229569470086782207359251070039496035729567686769395354226560343313339925792266666944426650746341369225910127422257932738945974170000/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^40 - 41035496079984834087890659291973010978956792798522842706139438711057188965775043246092390244979035252129622310822683574382946853071840417231430053432348523531177241968121417284871219329089108105821293990447319668676766127657710616003502533722486804585224510960539487591703704780015424562400000/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^39 + 3333693158951438005172399212964645738283175798457660301263738987015845264326238047037688844166771339424661725936915197361673408462819316619628717482336211691345725206422035283415067309435070075220456000708848098332120289451206677956102609859443347596200019888170710937844166049813903958844000000/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^38 - 242301634206271661308180701918782098631498490402032597352714698083179845929316829054421772921058201602954441118583617491285716487056404561667932241841819077328318927279295060551178043705181038503207941455053325917024174685219238178609259401106137618173446577576114524788248067075201748709371200000/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^37 + 15781641280901579089579950587822647332100058057067775593656068336269039203872296478402163009161444328712581248714981606770209842710383780953600979612779966833515617222982566507683206232319209550078731273238450056027486278965257784171240616133073052446282425001942517629272728300077206641695243200000/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^36 - 922232031822672041718986968179045049272304699071684611045287581380932321766782039567394686981905128166551968684095847518300167371902884809737116696310816082737943995395469584400384166315937781733983162872298130617175236221095299012748788343877626830664563922719035252765492261753313420327463531200000/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^35 + 48394001584683116617825277444477121698025909940209401265508161165557896461197214127026225519231775771464224975597967604731869615893342447659598124381189658855217099377700793269623083295989753493273540737255659540516836671928524996785056054185559504194629514733057591511248209118200109059171156088000000/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^34 - 2281572757827606131956387829996120222581821830496188326945342856840890220425849292186653169459681982398501754208289497556833811422517159286895247442023228946251565130079135989445585037765283570791645566667719154799482560246478185963168185994634542819579959467522216473937360530518432605057069225840000000/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^33 + 96663734851369267168356280488426639332827326424856875475515318196880720455372232784183433974570002091368197730705811304755211995308476380389912641300645801247500474905350689174936357265485323316611933342896839979819171905078535345763523653345676114785689008386975718446014147483201966479619321395664000000/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^32 - 3680002710854683510498568087394950702785901881702060666771994643449884496795962948108631526553714613805452869422335303000850714495115682977212837699735447898818830856389768512572624069164740868195431160233512821871456071868309063394179712268017100894724278177796881727692482915165730424131663096745984000000/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^31 + 125844831229587777593533153676138171063633978502775968691496815911850777501675808435321322675307994352761813525577182235895631753653008944987009680487579751914883978823317448052030706103196540797272857300919036468251412149206327001029153258647333563009815195603160945894622949976214483943102267544850432000000/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^30 - 3863257948271777955682869494782703736254310310609950956379288456985046421402596820557819829787846844397799061646625280282807803530283073590749302199189000701726862699908113550200603163495047758376473650902790804093700198666303337468380177466303213735311479302334671517344444218328022341631769366031491072000000/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^29 + 106368534552716237508677673524655230852968597974017252299692823754352057813718021574581444394375959665470114715726965761692087789665345042607477976883504237346571823441165538551921987457238027618849668004207432199320588413267433555249137914773895251144427747849178781141407342171750606699801495815559782400000000/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^28 - 2623640247285845752361133284526916814425492690043038399984644698563951267030191243592219459605041835970578003521449519398875403082396263524627007716275170959517547092749799723303722806233265955066607131627445733186584886795582686903962819678269128503752082890444580718158821800944227360979932015229321527296000000/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^27 + 57888844349253233161018338928762582813437420415742333215383801080599278334100247666401607472046816994041689440114087820856569946127699483569180876302577531830773943642399387148329827357538730317873275893091033719445695852086923439211012656471122755277949773239847910171759593479535522435584912135433391620096000000/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^26 - 1140578476028086520881812650545501750665975336357701853240439415153681630198931851127988542732264722505013061262026858276077451249781611371105067026978010972364120414862644118828293709890187721792624337515900515995491780336886854000121042599229007509608624691533973514208911213704593367422639834300931156443136000000/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^25 + 20026298132481468182498700294823960058607419831030608409712218682664029738548502788361606907340042329569353185908548573372704607928993576261602109122080274967026437832572204744308612431387051184014994592365251098936237272672908705126537494558561471717639510140828332484405631808550838944343265456898841645056000000000/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^24 - 312595598517068683563255294486370852017871931888663883439530262670192485784933453810535932692223308412187663888225930445004172221996054011026041513015177870201526810168601243825682450765149933704780771115700141759291261750385822737561598700059358582898914974567275128138333598189733970194377846936743765278720000000000/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^23 + 4325906309869824094497222469685804996581611995903713042110148765169929600284837830944943614431615942573556607388411081819199726301289440756065945570046120096913031892667657064431100045582047331016997240373618237221136719462616385992313116708043196340910723086006157259531314771324021674217784830582362684981248000000000/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^22 - 52907544109555355605747718758332372938961087592798038319144629478182113766925505645013205999218928931254902810777185713021665602814414071542708490833089170818682772666584576091033236934157693830968344135839354469541161240159423845787567932431817196669532095446167737161649256357411348188886052133141774295236608000000000/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^21 + 569833988152050112628907369444795008494522591524394022799931102707186453352367482169678949407742438354871678742207970701892878379942775928793218999587812059952435458984492769256048813283140405467513701203856059112464638995562851412252231010860884875309271888007833753188764359327088436014757573347776099986833408000000000/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^20 - 5382692538541668711752349923526095187277875500576224337500218926220363281938764008942668810621132467967754950119329611469220556536768399630340694365513270735233145459968660079904084407522813807561417223452894961792227882264594626668860730955040984740080188246414903595264197432647858728166135615639853178869186560000000000/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^19 + 44387246559832590803898614109531308871786916907822434152738289464827314681451874765598428081542841880758607857118450314234389426294393008647781346922554757024105710889975969452394042621915801395918198706963932413697114385676885167632042687015209354322805785065646729559541585985593067524343514429636597223868006400000000000/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^18 - 2320119178713081760094181489937144280672062800913374703338017650299515439300535810654867195769832341446007454820334486924926867563683285662187094456697974720520394435768660476226957450328642814978850170977298065122057088625804056694675156922768537065267763413401646411203759309550126671412740311340238031787786240000000000/59715997068432063087546571731252413508080510486788382932769236706280195886794270690290021984739001243456882265345622114747466871356795021024318299932644428193738491992473353264640550938474641471172420102306829441639787938250501214427937840901985646619*t^17 + 1964703675559891922058357347575146170432637413907459458780834192728179359664933811840879792276739487081117775388948477522490823691527225192780930826703400673800675278249386213716301417072289295174554598727043527514793322904706377460599673352299999323273728889769740483107540365213457776388498162719332501114619822080000000000/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^16 - 10409971993664838221556547589887786663978297685459724604678653938160846984443257595782975040340700812194874752382073985140924425088205970052490682023951189685734402443775992738997106677742721523305680766992339942948055916121076736206831071011496076115346481284515256494655114780489249537218109030124177849102872084480000000000/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^15 + 46904821993966038777588890437633604486149212148179030988248406977540608274546729945772848775670414338747037152633239755596242555223005311701821497049288851522306238821136582875556554828654364668594289234047613737325737345848119587625417113988987131394957527387023766306229272689970272867966428588351968513939315097600000000000/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^14 - 178059828238141577413951629933760958353087639092909723644853420217183168325867602707565174610589461275555634067111002991358027589450200183948448321424240716143236880564408851206716099269310240775752490937179680577963661003166585510054110083781005024414883698910809100461098612489934213789436835533675953638883721216000000000000/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^13 + 563330287970376446101225096081936120985970315174905830622703361950676376434351129820230953848997113322193285427510044631044906763731310172150581241034239279173430153454108438126411174813560729675313901428666160534415670072456655087124913767379855172179922134380865323722892979966920123212250696282520540682931457228800000000000/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^12 - 1466227391093488599761697527717449304461284768788721669775613361707293837421395200241238602843513594661421919161584336622978578830880376095429732042831635208438554367836656605618335535785797086905914978634490877613696422535108429623562016124785306891256655959806723966550343176303659936892867805868709332331451436236800000000000/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^11 + 3091378259104194096662222964031079505790968855267403214881049584289920734352460720900436150330143733346732807363999529888591176142838644032149300179909552000618683201474288750769149601288880020966676817298249623154066698693924930701744945211445638789414988603859838221523231848026315699523908538150124259364788030668800000000000/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^10 - 5181118947721777497104079668146302650338219721121829304509498930717322536012354450924338039023805928924018082847299596151467710666674146989131550215574959588095768823876422871333891615479296697276726374728785736556281521600793641992185053058001824699266305089018154638237712837108803166676698201604129535468620480512000000000000/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^9 + 6743265826383466683857814469255935008336281022634599669919812238067551984019947396480949588459412751595496499762047400802728027354051269941105112167316080737959559885198746313915738490421672021435531938955231802739473678762092632210893065361926671742310994003627672846626495432511137042911507895210369801680962191360000000000000/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^8 - 6617249839641746348499223030732678449354092548205871550660658040324571048433693576792313558223107686155319877026021026277028716165797416053650094027501111437268804182286318469098549421360633584144515238611770625820334329615770600688646203575758391241115269929547602782801390513398986345897096834739385705915834433536000000000000/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^7 + 4712951578720110481368641653968817925465630626029569154714292622683622331328130168456922655805893110639300675991803582454670414746532420228017317242954516490998788800060829066590079544087821353195620495410099842358677720061480383036087899747782988179774169941696172962078450312669400257043510269325746373010250530816000000000000/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^6 - 2316465721567520060848389883125069724672207066302840638996973671067379758481334374942482000449251021164846596418998464304878349688310206135783252939042853711274093990826890853395330918767001453675211375353863026817285435343503132093063036636248770756793553436880265884904010863912467429696535810918165194526018240512000000000000/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^5 + 734115717636463558957557896977464985309336064389821048574132936744582414654326084167228308735993268685309590783603932799073295654972759704471757867983306164516432695381919466127469555276448724563651353548323827722964780661709026596061512359667316096724039737791354242339514993589797620011300378588048147556098637824000000000000/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^4 - 136954787574564754244903560534387610424403364909312868804521407363411457092182827472116841890633498780872068087730177277331317199950533125162089622004998617615601112914734430256377681370829628124201119457260922663734108409033826946057458184747485357108186581296047611533064300706679335419106887768021042805814067200000000000000/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^3 + 13486091995334036889625238430764401532637143615339123011137961305064207903063514009039016886506540189133627094705763667050335864045300859476590083109348665528919725432298192930381276072832631359618640130243469316824710495970220998856546073563925971894070471621046579896772758021599557625736270817084557403338309632000000000000/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t^2 - 644231344318694088132947385086487627883634945786312611323816741438089478349465763557273059677474031259848560275716245627067583862286120408893915931278072254709348425008147213188270281542035777231936916666305435532273074921486301735315711482055611616636278246565344955953393759492155637838055983712852454179602432000000000000/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803*t + 11762510517695588637339478109876508238796128545678089342614525162173318330703578710876409006652338832202182487308266206310540530234304799624364820776351883040438617917299070597531111169632915010771067386276848182004881414204604642885740934563357667793097631462935124679043486730791749132836178048423540830502912000000000000/8181091598375192642993880327181580650607029936690008461789385428760386836490815084569733011909243170353592870352350229720402961375880917880331607090772286662542173402968849397255755478571025881550621554016035633504650947540318666376627484203572033586803
-------------------------------------------------
Computing nodes and weights
  current precision for roots: 53
  current precision for roots: 106
  current precision for roots: 212
 current precision for weights: 53
Linear system for weights solvable: 0
  current precision for roots: 106
  current precision for roots: 212
  current precision for roots: 424
 current precision for weights: 106
Linear system for weights solvable: 0
  current precision for roots: 212
  current precision for roots: 424
  current precision for roots: 848
 current precision for weights: 212
Linear system for weights solvable: 0
  current precision for roots: 424
  current precision for roots: 848
  current precision for roots: 1696
 current precision for weights: 424
Linear system for weights solvable: 1
  current precision for roots: 848
  current precision for roots: 1696
  current precision for roots: 3392
 current precision for weights: 848
Linear system for weights solvable: 1
Sufficient bits for target precision reached
Positive weights:   54 out of 55
Indefinite weights: 0 out of 55
Negative weights:   1 out of 55
Extension rule has valid weights: 0
**************************************
*** EXTENSION WITH INVALID WEIGHTS ***
**************************************
