Starting with polynomial:
P : -t+1
Extension levels are: 1 3 52
-------------------------------------------------
Trying to find an order 3 Kronrod extension for:
P1 : -t+1
Solvable: 1
-------------------------------------------------
Trying to find an order 52 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^56 + 8235255536454752296401947368092000507364302696166469477471981401481781974132781469252586623642020555137811475654060150327424505826426164920731177090452633633349985021361887451096072799192953121085284996518607490926808571174081268554677488222262132272128720661071859/2813087531244498354570059788116840938062067982066288678171411133819671561997894214474689841824060252141774170139323362108137380643974281437333887932937623985858587825997103587709913861159954594776634880883929891735934338770406136944037700310605281013990979765900*t^55 - 11614416091950773876960913650999037666624173536508361596263726955144717419161152895895414532485800727130230603823151446195265058801479017198932236311003359865564974822261330024138595924897960562331889939268300104292177388248719253625136460726190091396794406009261953531/2813087531244498354570059788116840938062067982066288678171411133819671561997894214474689841824060252141774170139323362108137380643974281437333887932937623985858587825997103587709913861159954594776634880883929891735934338770406136944037700310605281013990979765900*t^54 + 3434669783446134731066106408795324381322319306170436076755114366193540595119136748914522352446999633962442803070814799654342894075478691698562847250507130707598045467122614405301625073239220601699884452574458443928290473161573852000687066364863934720058493621061602957269/918941926873202795826219530784834706433608874141654301535994303714426043585978776728398681662526349032979562245512298288658211010364931936195736724759623835380472023159053838651905194645585167627034061088750431300405217331666004735052315434797725131237053390194*t^53 - 1144755036817556431737798427464183131045956245109368707554162329881205551058792978166290526446425458676912004280967249906594647237188516368337902557955210419014395769117818513321769913199133635280206441023613736880898932137577200967204575434635035934469656820508799680928943/468847921874083059095009964686140156343677997011048113028568522303278593666315702412448306970676708690295695023220560351356230107329046906222314655489603997643097970999517264618318976859992432462772480147321648622655723128401022824006283385100880168998496627650*t^52 + 14091772860336221263108467882522028007823513656164694157806954194836260222445734570553478683764072935536337059963449635655758083305812849027333513782891951961033550042212519317262682821263614267258455363539707654259671865161456706314578864507370615598777266080566769410933745366/11486774085915034947827744134810433830420110926770678769199928796430325544824734709104983520781579362912244528068903728608227637629561649202446709059495297942255900289488172983148814933069814595337925763609380391255065216645825059188153942934971564140463167377425*t^51 - 5668206975293739724299939510058700541562760682397580696099007577455045017223852923305353387952745768801772105777372459193396441967542144593393884651754000907440431727024901778792216255825150182403223391926452529739145976645747089795647054589540950660447428062721819862825389742206/11486774085915034947827744134810433830420110926770678769199928796430325544824734709104983520781579362912244528068903728608227637629561649202446709059495297942255900289488172983148814933069814595337925763609380391255065216645825059188153942934971564140463167377425*t^50 + 75034451674356045753492284231717463046687992647791370840014363329035023063114718298324062132521488838693106664134995941122641856945619769650387932001979685835950625683872357878606486897793933367982277661497119969332081742000253434195145336773392545698475541052369943593111739871460/459470963436601397913109765392417353216804437070827150767997151857213021792989388364199340831263174516489781122756149144329105505182465968097868362379811917690236011579526919325952597322792583813517030544375215650202608665833002367526157717398862565618526695097*t^49 - 425287389161979357978009683780843205916883872032527795630015017036053114080430066074269707271413124983782711156890374701737891839732306493378113975518510712423310888845565038615079732640626982136932647171463525034610939718917206507660434354134056388447509940296117833180057736750300/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^48 + 100605204363510358659241608933087582547344165019065408952069005531003144122683520278110323283833585390716891855839652529912722357899575111999485161564658529438152193210661921598330522291567742422130524941626994783155551310412768991607324362087752389457413635087403615891769649557160320/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^47 - 20505722378707641871477714475834553489861674836486727471093782524066121397645517572655644442530690096655202587739860355226455067770490120794359233584111476661839695550687892202112355706056637875713905666592661497055998998687985078669330516708866271528873102001035560511662022729669390720/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^46 + 3634088586397636407526822481796791806439231621641057416118256824101204830798968674055963622965482509058214117882801033639608756031443929846077553573617085272303965067500602321934116547885377054153286017628856479032030820815416883581087163875925033752305086715476456811305388310911997950720/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^45 - 564094430749155296139212296293808436459494407895567171467365588216072211182752147330636545941203597135504922765447063007034608131955558339898759631493403509963144642068748921617463458274001017819795500483942396055806695803424761052583756255224537072566929466824777959921210057130997122822400/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^44 + 77146591062248621781830397939676078139175926770941841320757592101924713344601965645840654406640349926124995431004186799773365508683846541865192354885926978122315847548605957953583425401288060440165012366114288045458673821172940976368510439807536212528733291337191550039514073126442450225536000/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^43 - 9340993087738227640735578105696888354401529025458459381364843728138617950893293973022517740068923002366700244955293729387022220837701410025999909905057494140540955673438046892400528390481200315880899681496394818583286904060306773287029848688948467775436844304514224208466066841102912056705715200/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^42 + 1005321780060514198116391145431228913507504588113960935799297531998936336120903192215955657383243084591236703859934306637648159118905384756225960903943801776079152050401619352001587093936520429792384682466072644053336035601565673722074792269046196459930922440871336333651935462847223936039596083200/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^41 - 96486419938722312103522843281515017451589907865893596281428064533439077558763397307185742539353616238263401995709123888435974016083882337387087034769985088377287714676460686522035556622015006829415794650913981472392563484443899390010021653770265455997374176325972604212252530649792776831338065459200/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^40 + 8279977141085851760840144253803354060824537144589918512072556961491450934666409243952893718111001184939294806570762936145071242879856737701443153457607452575009149576604218217556115040094078374351914899354697795666893245246339703064650407328965530170620949382336293852652345107269485245217155636224000/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^39 - 636684827307312917348238389053942385471486727969371127719738771551165330510886284889422610617618511640377514344651182432348862223764290568174697550757032671286402998076686122403785550033355498134595060368543368773989461055759165762330481120106928027587398690678525915066515907621328203027604650736640000/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^38 + 43943035295712790118246043625738876406696304670471025619781143032700273388272847776915557854753586187713515989486831361004612055709571323393285731978390867865572157769955097378864077541277505982988242857323941407332232622273633846192776012140054660628253819623269877044202409039149305122125281758451712000/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^37 - 2725796691438989691621589765094694821871445649698866767160532517503277490216802318537480193829177947914926606835657040927838548052630451047604058069230438135482117278606758640114359870491873345582273457523062046904571556889551047190704364819280415004982951000115270946742178209787639441518298991634450432000/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^36 + 152107219284209030386351042234767753061458847990652416762311712885416981897403154371248853422935386382584961600403776164081444872496026576386134956009728191347061240435509994081651433935220235288827222844404400646236434798137593568947010406100877645471904504504395406881658977570879918075545162114160730112000/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^35 - 7640735536716622864842262763507649395194783559548558644448375987900293050686482831613499158800936037783809241146846493319878084786000730173670500992897448402571103730869466537534440483291902766261326649530616826622094227437851553197644553361867493880200495596354614357222039056863969196524647039477381242880000/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^34 + 345618217823087324579986290196210219829393543705757976359222269193045544535808869059821224475649755898538840756056265520040330379445014139858777093432505413548876829394357337448242833445842724765490820326870941137696188828532646933989624045039715343851975951572665487043381883080871957489288479045758246502400000/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^33 - 14078616875217901726169177057056259267858312915502983155431659744029167782734597691316304003380401463730603683762383208959231446435299991986564468338548147606414009619518796999411769571788867612523586872101209905062113029032620386032295598331197623861333350674657052207462278354272042522886798606188066096496640000/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^32 + 516338990840719911382755311006476451213754938443158501570012231332199552387164434791474904250034355565117199616799311618188173453857615006371789963335613247135294459676858874024488939758660565551844217072439638144870066500390620599636142296838192705912499443584795830138386809759402412576681413827814672134307840000/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^31 - 17041906370043731354545251154405127353573813239445915120127873196570026688152143200358105850523159312744563273841233231410425773687092282559798243696581986842816096357040973199254501733639207790369215724105921865864868028315688422202442031289962660028065318130528526981755443987178973137113653434528981544148664320000/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^30 + 505818838114703575267433410198475384209318483697640759453259763034442005350263902902258776202572128005039636727182182910253649290512629382181930928264303248484125573709254730246056164308246053145263470578769685794841195310860366992471579233770615140400042297226840163170137096678164655818561052130541538872886558720000/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^29 - 13487728742472345382705506206137474693306827957531419025696377447110204422771707355982927227216599887378732457971192169500593359239874400492703692101257511266398102595320211578015852738525969066838945484558315924564812557274968241588845867904940840755762201792965596648569402635371435390363848234714549681245388800000000/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^28 + 322707643974014137067487699068541260895176582703014749055310735185224160533266268437455087397340135787200702041653102851666484894119580806606777069159846920828774947824883293240925540606520037230648770532387494322231625018362443523859344543438960622643287676718210177602150151594530869334264309171049089041139981352960000/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^27 - 6917487182746811752080424329556024159362359006509476975050485873459925615675056350709086066343624332957484831821132711349692860866884206965276271619914870253824151001882685381654159596011663734286651546523240649000972802113136663323163314529456501588314136817311033581461514652984737301922143700372672624501885721640960000/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^26 + 132609661754100823776995324094544565369182896195206063465775151030875900888574296975942864822698454161831886393848574870099871298723787747516269266541302701435355164107239923278427867064754501700013682600505028049084568465898479378574943224640731805004651816899964861735974128859793649957101030419843787333815944725135360000/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^25 - 2268705349474955456475348656164887310074522807931573567849912561431919050504571567359857307750453188296287023433912353190536544806525285498306678750523873739774851925599468876568858654502498295899842607305695050405910264988297168951065596351203101953212517961754820401771616210275402116224613135471008353236560180674560000000/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^24 + 34554548206300059946874232490044220547553939851856997046730271516110741029971567769321156040138430839035607580090330977354997108355537016132958844832428071254795922622931618598706058922023025829415279887862882331707201201145254513622742940299726903290526441093002964142042210535260818308541903617531261041922004955955200000000/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^23 - 467252744721553950838296114089168503491457964636667376203862123418418153340163582728854668214791294689891379625010523101342351888674458692713988554562704725904926747600965585135873599954546790704769973090214056451295203637120058258602199134761927180271172511177590290613991562956013297966835798765858504220787628027412480000000/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^22 + 5591715720427120851735135746935191385480119301608789652544243756069180312999558277509262534055267092015453217753209786430385231483514632449537772084818199293426798850261804062766670236028865232413404971736552707853384357897205353212317148794352480268353085491175003577465577635285808010026554444437329595377191883982766080000000/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^21 - 59009834790196521927547241903620906753231452773528443697507844365170298354988857309581340215477929947990981890088669641337553289138845966546222613035525894225862461256537582056570677493737478209030091619520050177368412751247718863495037210269694321319251561814499507699092890965863622108405236923641237157919924231948206080000000/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^20 + 546912435861342136751358652492088644765850143412536612262176872923199965610887396665834630936420978711283576851362667940070080477123554215543073350761316409246073115656151545392655801817065704386781233832124358749323554339515314013576083266348465902654804003459408293311036002849691803355407926233452445744274843931089305600000000/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^19 - 4431103773245481923262029052416673838342245053159322835581708191943226588918997443619317687798307025865124715598374709035106718541317610549776663973742928951921330711401740577758261358906541677843841048899960472978018052977284555439363092631745364920564398877873617436041113645559951826216303802879495208658814456974802944000000000/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^18 + 31218693513981614575975392022096754099389710364730946933050097238366032554176549557623476196275606845093899035263135289369505377119690589743281764478484911332000228504184408095896276471466233136883651405453309092568468114737873067299165128135927904157933645992473938249661407118639566197376783057796031594729683459809004748800000000/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^17 - 190111539868653832117628783575803164918460247074260462174303625314721470992450480146477091857525865115254931962286284600798624218547030759187604909438939939579831720668906439709839775524468323407951681523766335082898298929416500589904098737506585994856515777738557220441603418051520924763303994566606137759188148989209660620800000000/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^16 + 993779543840359081025494033342229153394713728840741734142306507906170477120469442765806478589910953064589193134656688817492400531620397366096026716728283416745444115542117945040296796872514281455729683664369537763815894809154999892729455901226650274412753247249224558468172031233383306042566699552430237407023918553764777164800000000/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^15 - 4423787317171629027075938937269638523479357192902171752030052239932700119510943350544613138136582835410768779087518161668074060863986632122746716215844332198335790672034345386600656368425217256715767010120586354871353447080319700406198227366213330213618463658639098225076229554524351257820095105807196383528772769400672485376000000000/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^14 + 16614762666998644961037650091513222017740710592917049895576767699585049794017366847570828140669648525141140351351915822678499538794846556514366178879002102793729225846053750121201615944506830291749353362986989532785474947235549328382027676807481199758776785522329272717705465333964722982652046261431000110647404776859327528960000000000/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^13 - 52079869882805328154386147874790964280317709639281825317340826683604198256164487207667704709067524475467114762518510908118487690519533000479325669045186805619454760885911696496173361678206408073748119385790091477378060247821829543458154706912474043732867130294636511927277729278526883186271367675687405218184768327961477644288000000000/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^12 + 134503261613744225818002454751328479712536793832281295354233873045112868979598136016173049783081431391007822377573294688452467525304197945398304391274945153845353313262513258652939771404847381667757106342144669038009714870587002943564869428565475603194139636555196723182376916700810096320486136629892745177618751149969263034368000000000/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^11 - 281828927053904422419904787495240905592467099212908938304714306193980728812493370586995509788930389638249205519721263528485258713231740854576931003423258716301374707318998179990382383819762598047802343666197139347596733733373132239382653590786774193821680255077915171093091217743693806813168913407102195409724273849241213861888000000000/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^10 + 470205605476426442861043924303283016079703208643574045547056341359595554659073377274419417516146495807046149194189229730491888445847479540434467849300619344347189246512901766688919009480493579868602033781713293971570648852987442253049326480359103271677087166392936170621611230147377228142812335455971666317510122041475459973120000000000/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^9 - 610349939689254931009681813779448314958272746623465794274313024663817053938488052826170963455305842118138307792030862000849413049236012849295665567293882785300479008053774444278287590669891322648204353628265404368710437696374882958618828450959606445769494081169669633263553752396318560860826023167796385646889027512408054169600000000000/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^8 + 598657107101227629340368019238065720759218943347502399634557668162240378499923085565474545737692670485554133328883739597294904946025352680944943824466043964698904376899220529699270231090341027032573216712091583638879348439673190984939626355913708102493806828823466168478345667544217773078609041424037860931449333614833418895360000000000/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^7 - 427296637829787752789715460147227994538450137311197439884408592160345310019171090353158479947178460105883695206183271411447401635607726385444712096631978865182255368776387194976278052620398402864859175133207663941537046144739015798659438869143866734170123426496700744137925886586140576338033900611098054116396949651253792604160000000000/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^6 + 211140720601347712239315255557755053711919390039433693477616482157817817953261086518971500656781350804209916262492988443187680053989471775769008844223547990158896152572346292231087772195634753905702161188182212007827940918220236430323081126286603856697662706454338209630313125331625881947281925205387223477774181622531353477120000000000/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^5 - 67485702275412588049149202115888409789984152744166278755792188176247535905116398646391059094137051792946258080657631727609170144338243575460406815782600143796070160913909564681209481354411496833830976451463917076903009625945954540281159735004512848951672959777391336056283785843724355156945022520504047524049721810837821194240000000000/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^4 + 12696007647170972050430409249484613690548227568614842316227654169465279526768756723263761966611329662488495319095739567021176831073959260989094163264993301254360821032003868106409025435220107115138427214820589635340513257935806691162410050852495028915320736984168844314439586838029396901511968327200378773713041445527486464000000000000/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^3 - 1236239457486085946524950981824830873073900661687293252914557244119738126961749888871582391013477244832481127107154197419675063728999230480981905790177608176473640714427153156342566909805579159223461890854535516059102010357824119146951861535336562179726875909804377434520931897434404328573749769446057959977089772512681656320000000000/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^2 + 53473948910201974200003991281238226352164053791991437380649962414041252778308222776165480108037997029215317119059444192814548173781781709353447610412468060823296237794843474552626372026755578646874373244443830608488279492486764342319743841052292051036667331717089487437212337619929134783422091623882634027806441089605304320000000000/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t - 784203191424821292939461754465961281399443601043725557966087595043587161297184966843685882807840750316885784977894817667262630347916113226007113802130495866348582130801202802196454039021885083647997397954122607339672420372672751259893401928863226720429267022977180554080609778767659309029764769940069280349716315499397120000000000/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553
-------------------------------------------------
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: 1
  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:   55 out of 56
Indefinite weights: 0 out of 56
Negative weights:   1 out of 56
Extension rule has valid weights: 0
**************************************
*** EXTENSION WITH INVALID WEIGHTS ***
**************************************
Starting with polynomial:
P : -t+1
Extension levels are: 1 3 52
-------------------------------------------------
Trying to find an order 3 Kronrod extension for:
P1 : -t+1
Solvable: 1
-------------------------------------------------
Trying to find an order 52 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^56 + 8235255536454752296401947368092000507364302696166469477471981401481781974132781469252586623642020555137811475654060150327424505826426164920731177090452633633349985021361887451096072799192953121085284996518607490926808571174081268554677488222262132272128720661071859/2813087531244498354570059788116840938062067982066288678171411133819671561997894214474689841824060252141774170139323362108137380643974281437333887932937623985858587825997103587709913861159954594776634880883929891735934338770406136944037700310605281013990979765900*t^55 - 11614416091950773876960913650999037666624173536508361596263726955144717419161152895895414532485800727130230603823151446195265058801479017198932236311003359865564974822261330024138595924897960562331889939268300104292177388248719253625136460726190091396794406009261953531/2813087531244498354570059788116840938062067982066288678171411133819671561997894214474689841824060252141774170139323362108137380643974281437333887932937623985858587825997103587709913861159954594776634880883929891735934338770406136944037700310605281013990979765900*t^54 + 3434669783446134731066106408795324381322319306170436076755114366193540595119136748914522352446999633962442803070814799654342894075478691698562847250507130707598045467122614405301625073239220601699884452574458443928290473161573852000687066364863934720058493621061602957269/918941926873202795826219530784834706433608874141654301535994303714426043585978776728398681662526349032979562245512298288658211010364931936195736724759623835380472023159053838651905194645585167627034061088750431300405217331666004735052315434797725131237053390194*t^53 - 1144755036817556431737798427464183131045956245109368707554162329881205551058792978166290526446425458676912004280967249906594647237188516368337902557955210419014395769117818513321769913199133635280206441023613736880898932137577200967204575434635035934469656820508799680928943/468847921874083059095009964686140156343677997011048113028568522303278593666315702412448306970676708690295695023220560351356230107329046906222314655489603997643097970999517264618318976859992432462772480147321648622655723128401022824006283385100880168998496627650*t^52 + 14091772860336221263108467882522028007823513656164694157806954194836260222445734570553478683764072935536337059963449635655758083305812849027333513782891951961033550042212519317262682821263614267258455363539707654259671865161456706314578864507370615598777266080566769410933745366/11486774085915034947827744134810433830420110926770678769199928796430325544824734709104983520781579362912244528068903728608227637629561649202446709059495297942255900289488172983148814933069814595337925763609380391255065216645825059188153942934971564140463167377425*t^51 - 5668206975293739724299939510058700541562760682397580696099007577455045017223852923305353387952745768801772105777372459193396441967542144593393884651754000907440431727024901778792216255825150182403223391926452529739145976645747089795647054589540950660447428062721819862825389742206/11486774085915034947827744134810433830420110926770678769199928796430325544824734709104983520781579362912244528068903728608227637629561649202446709059495297942255900289488172983148814933069814595337925763609380391255065216645825059188153942934971564140463167377425*t^50 + 75034451674356045753492284231717463046687992647791370840014363329035023063114718298324062132521488838693106664134995941122641856945619769650387932001979685835950625683872357878606486897793933367982277661497119969332081742000253434195145336773392545698475541052369943593111739871460/459470963436601397913109765392417353216804437070827150767997151857213021792989388364199340831263174516489781122756149144329105505182465968097868362379811917690236011579526919325952597322792583813517030544375215650202608665833002367526157717398862565618526695097*t^49 - 425287389161979357978009683780843205916883872032527795630015017036053114080430066074269707271413124983782711156890374701737891839732306493378113975518510712423310888845565038615079732640626982136932647171463525034610939718917206507660434354134056388447509940296117833180057736750300/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^48 + 100605204363510358659241608933087582547344165019065408952069005531003144122683520278110323283833585390716891855839652529912722357899575111999485161564658529438152193210661921598330522291567742422130524941626994783155551310412768991607324362087752389457413635087403615891769649557160320/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^47 - 20505722378707641871477714475834553489861674836486727471093782524066121397645517572655644442530690096655202587739860355226455067770490120794359233584111476661839695550687892202112355706056637875713905666592661497055998998687985078669330516708866271528873102001035560511662022729669390720/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^46 + 3634088586397636407526822481796791806439231621641057416118256824101204830798968674055963622965482509058214117882801033639608756031443929846077553573617085272303965067500602321934116547885377054153286017628856479032030820815416883581087163875925033752305086715476456811305388310911997950720/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^45 - 564094430749155296139212296293808436459494407895567171467365588216072211182752147330636545941203597135504922765447063007034608131955558339898759631493403509963144642068748921617463458274001017819795500483942396055806695803424761052583756255224537072566929466824777959921210057130997122822400/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^44 + 77146591062248621781830397939676078139175926770941841320757592101924713344601965645840654406640349926124995431004186799773365508683846541865192354885926978122315847548605957953583425401288060440165012366114288045458673821172940976368510439807536212528733291337191550039514073126442450225536000/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^43 - 9340993087738227640735578105696888354401529025458459381364843728138617950893293973022517740068923002366700244955293729387022220837701410025999909905057494140540955673438046892400528390481200315880899681496394818583286904060306773287029848688948467775436844304514224208466066841102912056705715200/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^42 + 1005321780060514198116391145431228913507504588113960935799297531998936336120903192215955657383243084591236703859934306637648159118905384756225960903943801776079152050401619352001587093936520429792384682466072644053336035601565673722074792269046196459930922440871336333651935462847223936039596083200/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^41 - 96486419938722312103522843281515017451589907865893596281428064533439077558763397307185742539353616238263401995709123888435974016083882337387087034769985088377287714676460686522035556622015006829415794650913981472392563484443899390010021653770265455997374176325972604212252530649792776831338065459200/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^40 + 8279977141085851760840144253803354060824537144589918512072556961491450934666409243952893718111001184939294806570762936145071242879856737701443153457607452575009149576604218217556115040094078374351914899354697795666893245246339703064650407328965530170620949382336293852652345107269485245217155636224000/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^39 - 636684827307312917348238389053942385471486727969371127719738771551165330510886284889422610617618511640377514344651182432348862223764290568174697550757032671286402998076686122403785550033355498134595060368543368773989461055759165762330481120106928027587398690678525915066515907621328203027604650736640000/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^38 + 43943035295712790118246043625738876406696304670471025619781143032700273388272847776915557854753586187713515989486831361004612055709571323393285731978390867865572157769955097378864077541277505982988242857323941407332232622273633846192776012140054660628253819623269877044202409039149305122125281758451712000/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^37 - 2725796691438989691621589765094694821871445649698866767160532517503277490216802318537480193829177947914926606835657040927838548052630451047604058069230438135482117278606758640114359870491873345582273457523062046904571556889551047190704364819280415004982951000115270946742178209787639441518298991634450432000/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^36 + 152107219284209030386351042234767753061458847990652416762311712885416981897403154371248853422935386382584961600403776164081444872496026576386134956009728191347061240435509994081651433935220235288827222844404400646236434798137593568947010406100877645471904504504395406881658977570879918075545162114160730112000/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^35 - 7640735536716622864842262763507649395194783559548558644448375987900293050686482831613499158800936037783809241146846493319878084786000730173670500992897448402571103730869466537534440483291902766261326649530616826622094227437851553197644553361867493880200495596354614357222039056863969196524647039477381242880000/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^34 + 345618217823087324579986290196210219829393543705757976359222269193045544535808869059821224475649755898538840756056265520040330379445014139858777093432505413548876829394357337448242833445842724765490820326870941137696188828532646933989624045039715343851975951572665487043381883080871957489288479045758246502400000/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^33 - 14078616875217901726169177057056259267858312915502983155431659744029167782734597691316304003380401463730603683762383208959231446435299991986564468338548147606414009619518796999411769571788867612523586872101209905062113029032620386032295598331197623861333350674657052207462278354272042522886798606188066096496640000/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^32 + 516338990840719911382755311006476451213754938443158501570012231332199552387164434791474904250034355565117199616799311618188173453857615006371789963335613247135294459676858874024488939758660565551844217072439638144870066500390620599636142296838192705912499443584795830138386809759402412576681413827814672134307840000/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^31 - 17041906370043731354545251154405127353573813239445915120127873196570026688152143200358105850523159312744563273841233231410425773687092282559798243696581986842816096357040973199254501733639207790369215724105921865864868028315688422202442031289962660028065318130528526981755443987178973137113653434528981544148664320000/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^30 + 505818838114703575267433410198475384209318483697640759453259763034442005350263902902258776202572128005039636727182182910253649290512629382181930928264303248484125573709254730246056164308246053145263470578769685794841195310860366992471579233770615140400042297226840163170137096678164655818561052130541538872886558720000/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^29 - 13487728742472345382705506206137474693306827957531419025696377447110204422771707355982927227216599887378732457971192169500593359239874400492703692101257511266398102595320211578015852738525969066838945484558315924564812557274968241588845867904940840755762201792965596648569402635371435390363848234714549681245388800000000/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^28 + 322707643974014137067487699068541260895176582703014749055310735185224160533266268437455087397340135787200702041653102851666484894119580806606777069159846920828774947824883293240925540606520037230648770532387494322231625018362443523859344543438960622643287676718210177602150151594530869334264309171049089041139981352960000/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^27 - 6917487182746811752080424329556024159362359006509476975050485873459925615675056350709086066343624332957484831821132711349692860866884206965276271619914870253824151001882685381654159596011663734286651546523240649000972802113136663323163314529456501588314136817311033581461514652984737301922143700372672624501885721640960000/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^26 + 132609661754100823776995324094544565369182896195206063465775151030875900888574296975942864822698454161831886393848574870099871298723787747516269266541302701435355164107239923278427867064754501700013682600505028049084568465898479378574943224640731805004651816899964861735974128859793649957101030419843787333815944725135360000/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^25 - 2268705349474955456475348656164887310074522807931573567849912561431919050504571567359857307750453188296287023433912353190536544806525285498306678750523873739774851925599468876568858654502498295899842607305695050405910264988297168951065596351203101953212517961754820401771616210275402116224613135471008353236560180674560000000/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^24 + 34554548206300059946874232490044220547553939851856997046730271516110741029971567769321156040138430839035607580090330977354997108355537016132958844832428071254795922622931618598706058922023025829415279887862882331707201201145254513622742940299726903290526441093002964142042210535260818308541903617531261041922004955955200000000/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^23 - 467252744721553950838296114089168503491457964636667376203862123418418153340163582728854668214791294689891379625010523101342351888674458692713988554562704725904926747600965585135873599954546790704769973090214056451295203637120058258602199134761927180271172511177590290613991562956013297966835798765858504220787628027412480000000/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^22 + 5591715720427120851735135746935191385480119301608789652544243756069180312999558277509262534055267092015453217753209786430385231483514632449537772084818199293426798850261804062766670236028865232413404971736552707853384357897205353212317148794352480268353085491175003577465577635285808010026554444437329595377191883982766080000000/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^21 - 59009834790196521927547241903620906753231452773528443697507844365170298354988857309581340215477929947990981890088669641337553289138845966546222613035525894225862461256537582056570677493737478209030091619520050177368412751247718863495037210269694321319251561814499507699092890965863622108405236923641237157919924231948206080000000/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^20 + 546912435861342136751358652492088644765850143412536612262176872923199965610887396665834630936420978711283576851362667940070080477123554215543073350761316409246073115656151545392655801817065704386781233832124358749323554339515314013576083266348465902654804003459408293311036002849691803355407926233452445744274843931089305600000000/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^19 - 4431103773245481923262029052416673838342245053159322835581708191943226588918997443619317687798307025865124715598374709035106718541317610549776663973742928951921330711401740577758261358906541677843841048899960472978018052977284555439363092631745364920564398877873617436041113645559951826216303802879495208658814456974802944000000000/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^18 + 31218693513981614575975392022096754099389710364730946933050097238366032554176549557623476196275606845093899035263135289369505377119690589743281764478484911332000228504184408095896276471466233136883651405453309092568468114737873067299165128135927904157933645992473938249661407118639566197376783057796031594729683459809004748800000000/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^17 - 190111539868653832117628783575803164918460247074260462174303625314721470992450480146477091857525865115254931962286284600798624218547030759187604909438939939579831720668906439709839775524468323407951681523766335082898298929416500589904098737506585994856515777738557220441603418051520924763303994566606137759188148989209660620800000000/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^16 + 993779543840359081025494033342229153394713728840741734142306507906170477120469442765806478589910953064589193134656688817492400531620397366096026716728283416745444115542117945040296796872514281455729683664369537763815894809154999892729455901226650274412753247249224558468172031233383306042566699552430237407023918553764777164800000000/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^15 - 4423787317171629027075938937269638523479357192902171752030052239932700119510943350544613138136582835410768779087518161668074060863986632122746716215844332198335790672034345386600656368425217256715767010120586354871353447080319700406198227366213330213618463658639098225076229554524351257820095105807196383528772769400672485376000000000/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^14 + 16614762666998644961037650091513222017740710592917049895576767699585049794017366847570828140669648525141140351351915822678499538794846556514366178879002102793729225846053750121201615944506830291749353362986989532785474947235549328382027676807481199758776785522329272717705465333964722982652046261431000110647404776859327528960000000000/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^13 - 52079869882805328154386147874790964280317709639281825317340826683604198256164487207667704709067524475467114762518510908118487690519533000479325669045186805619454760885911696496173361678206408073748119385790091477378060247821829543458154706912474043732867130294636511927277729278526883186271367675687405218184768327961477644288000000000/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^12 + 134503261613744225818002454751328479712536793832281295354233873045112868979598136016173049783081431391007822377573294688452467525304197945398304391274945153845353313262513258652939771404847381667757106342144669038009714870587002943564869428565475603194139636555196723182376916700810096320486136629892745177618751149969263034368000000000/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^11 - 281828927053904422419904787495240905592467099212908938304714306193980728812493370586995509788930389638249205519721263528485258713231740854576931003423258716301374707318998179990382383819762598047802343666197139347596733733373132239382653590786774193821680255077915171093091217743693806813168913407102195409724273849241213861888000000000/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^10 + 470205605476426442861043924303283016079703208643574045547056341359595554659073377274419417516146495807046149194189229730491888445847479540434467849300619344347189246512901766688919009480493579868602033781713293971570648852987442253049326480359103271677087166392936170621611230147377228142812335455971666317510122041475459973120000000000/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^9 - 610349939689254931009681813779448314958272746623465794274313024663817053938488052826170963455305842118138307792030862000849413049236012849295665567293882785300479008053774444278287590669891322648204353628265404368710437696374882958618828450959606445769494081169669633263553752396318560860826023167796385646889027512408054169600000000000/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^8 + 598657107101227629340368019238065720759218943347502399634557668162240378499923085565474545737692670485554133328883739597294904946025352680944943824466043964698904376899220529699270231090341027032573216712091583638879348439673190984939626355913708102493806828823466168478345667544217773078609041424037860931449333614833418895360000000000/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^7 - 427296637829787752789715460147227994538450137311197439884408592160345310019171090353158479947178460105883695206183271411447401635607726385444712096631978865182255368776387194976278052620398402864859175133207663941537046144739015798659438869143866734170123426496700744137925886586140576338033900611098054116396949651253792604160000000000/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^6 + 211140720601347712239315255557755053711919390039433693477616482157817817953261086518971500656781350804209916262492988443187680053989471775769008844223547990158896152572346292231087772195634753905702161188182212007827940918220236430323081126286603856697662706454338209630313125331625881947281925205387223477774181622531353477120000000000/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^5 - 67485702275412588049149202115888409789984152744166278755792188176247535905116398646391059094137051792946258080657631727609170144338243575460406815782600143796070160913909564681209481354411496833830976451463917076903009625945954540281159735004512848951672959777391336056283785843724355156945022520504047524049721810837821194240000000000/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^4 + 12696007647170972050430409249484613690548227568614842316227654169465279526768756723263761966611329662488495319095739567021176831073959260989094163264993301254360821032003868106409025435220107115138427214820589635340513257935806691162410050852495028915320736984168844314439586838029396901511968327200378773713041445527486464000000000000/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^3 - 1236239457486085946524950981824830873073900661687293252914557244119738126961749888871582391013477244832481127107154197419675063728999230480981905790177608176473640714427153156342566909805579159223461890854535516059102010357824119146951861535336562179726875909804377434520931897434404328573749769446057959977089772512681656320000000000/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t^2 + 53473948910201974200003991281238226352164053791991437380649962414041252778308222776165480108037997029215317119059444192814548173781781709353447610412468060823296237794843474552626372026755578646874373244443830608488279492486764342319743841052292051036667331717089487437212337619929134783422091623882634027806441089605304320000000000/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553*t - 784203191424821292939461754465961281399443601043725557966087595043587161297184966843685882807840750316885784977894817667262630347916113226007113802130495866348582130801202802196454039021885083647997397954122607339672420372672751259893401928863226720429267022977180554080609778767659309029764769940069280349716315499397120000000000/9376958437481661181900199293722803126873559940220962260571370446065571873326314048248966139413534173805913900464411207027124602146580938124446293109792079952861959419990345292366379537199848649255449602946432972453114462568020456480125667702017603379969932553
-------------------------------------------------
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: 1
  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:   55 out of 56
Indefinite weights: 0 out of 56
Negative weights:   1 out of 56
Extension rule has valid weights: 0
**************************************
*** EXTENSION WITH INVALID WEIGHTS ***
**************************************
