Starting with polynomial:
P : 2*t
Extension levels are: 1 12 72
-------------------------------------------------
Trying to find an order 12 Kronrod extension for:
P1 : 2*t
Solvable: 1
-------------------------------------------------
Trying to find an order 72 Kronrod extension for:
P2 : 2*t^13 - 78*t^11 + 2145/2*t^9 - 6435*t^7 + 135135/8*t^5 - 135135/8*t^3 + 135135/32*t
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : 2*t^85 - 115908857940742345233762888250716149687547101013084874120743480484185997352751718318729077498672215476258584737536237341600546/37113958110126692567526081923463361797563107907587598986522717401243392459716910598311313990113703644591965709562722458045*t^83 + 344169032498551261250566548438111714930123692852417171490990361659253990267605477733805125672103072232106700980044256484392034991/148455832440506770270104327693853447190252431630350395946090869604973569838867642393245255960454814578367862838250889832180*t^81 - 8086792349088801835969835906709662355202214992124714985490479612072799698485076234564304776115323827715714899340950158642313756955/7422791622025338513505216384692672359512621581517519797304543480248678491943382119662262798022740728918393141912544491609*t^79 + 1340640617213215274452358195935243334594677954276135289102785951266304900472506698537076436187267387968365879308847685282165210254396653/3681704644524567902698587326807565490318260304432689819463053566203344532003917531352482347819279401543522998388622067838064*t^77 - 20708308404041298878000846577450796990159911746215554612345161888722326970315002804836587984415487870642437772475526442652043915311891001751/224583983315998642064613826935261494909413878570394078987246267538404016452238969412501423216976043494154902901705946138121904*t^75 + 16529218636204684080274672398798773455343581734413295193526121266458564270582356454850522889365849457715036136911322046415260322732784151914031/898335933263994568258455307741045979637655514281576315948985070153616065808955877650005692867904173976619611606823784552487616*t^73 - 1334704186848354191416729278904672207644711052860017233262655855246610476614764091579113616911080288207422563340989323288436563965509289922448617/449167966631997284129227653870522989818827757140788157974492535076808032904477938825002846433952086988309805803411892276243808*t^71 + 74860583801009681969118527301848582687678986725925294824253367640630784737347099793834162490841767048345203295947597525148778639400217454174483235/189123354371367277528095854261272837818453792480331855989260014769182329643990711084211724814295615574025181390910270432102656*t^69 - 158492047016554006283355230513657057724805621852627299443584505544677543369903846965841167742531034518415637178409499071024309663619160562820694106465/3593343733055978273033821230964183918550622057126305263795940280614464263235823510600022771471616695906478446427295138209950464*t^67 + 14931040597232268791338665021895753769217091138516884858677181377139101182843354557597727585283508713743076261590971650501765317208867262310102730693655/3593343733055978273033821230964183918550622057126305263795940280614464263235823510600022771471616695906478446427295138209950464*t^65 - 149865418479117546545903701012285849539186564878320818664892228937419020493828935303110908488880027435461483367858888130578815454675523800477770108097505/449167966631997284129227653870522989818827757140788157974492535076808032904477938825002846433952086988309805803411892276243808*t^63 + 174664963690352528610855165451704630815667084325712060328800319097300410078238345967788476127336071246951003503140056882772983231136375316181424318314315/7600938620953946637829341577925296496140924499473940272439852523774646775750023290534157105175286506412434577318445559407616*t^61 - 10367865884702416518260639595538534780496211078977089134153034981695784423556657754822701821178588943089763961517311195196643689122644481525201742086633425/7600938620953946637829341577925296496140924499473940272439852523774646775750023290534157105175286506412434577318445559407616*t^59 + 2129384450455431647613828481410569263580692222471383680195873344026557221235163556451858291189975131785887697883560035369892931011547054563784047578319426825/30403754483815786551317366311701185984563697997895761089759410095098587103000093162136628420701146025649738309273782237630464*t^57 - 2495496987435279610580453330646788149341686031525523560614746426970493023455155570930249063241791100729505425016452588012788440323736959500329644413270699675/800098802205678593455720166097399631172728894681467397098931844607857555342107714793069168965819632253940481822994269411328*t^55 + 386264854381594183642822880130061938966166440767842008614104301837624442528424364386316181044263636044499900139805774680350026100957829956183956369634062868725/3200395208822714373822880664389598524690915578725869588395727378431430221368430859172276675863278529015761927291977077645312*t^53 - 13002223181049493333271599076973866735776444983222039346103363020063228266197807364186717543749915474640645275001384681492416790612262080435731055520160658335025/3200395208822714373822880664389598524690915578725869588395727378431430221368430859172276675863278529015761927291977077645312*t^51 + 6094394278503130344198034390829011114271087591594892388364648873780318790946888753093503465780550461966759002703280829924544652464686982228923014748366965066299375/51206323341163429981166090630233576395054649259613913414331638054902883541894893746756426813812456464252190836671633242324992*t^49 - 38837756847053928172833399162133671501588121708644910113300092736700341990110781411222734634922953497953307726515432617824658070502306338302449396384988797939263125/12801580835290857495291522657558394098763662314903478353582909513725720885473723436689106703453114116063047709167908310581248*t^47 + 13772859755131838613453754623192406114463862330492902395616541173898036929476049415625508434496951741195612874457016991658503872783705880446124882473109687576827529375/204825293364653719924664362520934305580218597038455653657326552219611534167579574987025707255249825857008763346686532969299968*t^45 - 265073653265202863000180822880575840875495905471544524163427761694181626590052909084423213368477088845464974602805942679758961845016898754756508846241596987460506575625/204825293364653719924664362520934305580218597038455653657326552219611534167579574987025707255249825857008763346686532969299968*t^43 + 17686240372593228195421702937329754813004835405224388244489118189284466942593533358650103883624231419545361086673230965087836612477643656399739047511980920571090355350625/819301173458614879698657450083737222320874388153822614629306208878446136670318299948102829020999303428035053386746131877199872*t^41 - 127524767416602063404262382027727197947576079661912831133527413393141809235399485914248799028982837341812294894312879776857137547616160432886183257213816239904838606196875/409650586729307439849328725041868611160437194076911307314653104439223068335159149974051414510499651714017526693373065938599936*t^39 + 12679177506178383139182782492869743767659432127011291969160888990503337716589636292983718311905491169824444166244583267795892080054501032181302682649779410583180169630996875/3277204693834459518794629800334948889283497552615290458517224835513784546681273199792411316083997213712140213546984527508799488*t^37 - 135286291775319100664300455740358866986406814531634771877008660792270840268929344725017407664318256907827748664408167167899645957412817767289315550124438696102087317040946875/3277204693834459518794629800334948889283497552615290458517224835513784546681273199792411316083997213712140213546984527508799488*t^35 + 2467237452243249445448123365062863309275793282321750350255626041509537348838273073259571030796782061922014536656176460254195488602448833075407000041769872660652256094066840625/6554409387668919037589259600669897778566995105230580917034449671027569093362546399584822632167994427424280427093969055017598976*t^33 - 1195140061620482825908951954310570606098922330103204648169694205877076692825317239981305896209261929563199161306114757881676886846014935633707472855261875936781615347980940625/409650586729307439849328725041868611160437194076911307314653104439223068335159149974051414510499651714017526693373065938599936*t^31 + 500653032291022465349264868770312768502170217110878708775570699070184677757223149186567903428288098305718052349056241606981647254322335875789378357499740658636683558586567203125/26217637550675676150357038402679591114267980420922323668137798684110276373450185598339290528671977709697121708375876220070395904*t^29 - 2746609211408925651831777945202869443479758785385811917391032738850733445302950207815352716403752550349043373124719034138725572404808070208067078604774899622068575135574158484375/26217637550675676150357038402679591114267980420922323668137798684110276373450185598339290528671977709697121708375876220070395904*t^27 + 50067925792981386748277686868756237937456283812457180021371407732673171702467951032836761787560775104308540496234186282861875649509757795707003154093432608835080299889469426859375/104870550202702704601428153610718364457071921683689294672551194736441105493800742393357162114687910838788486833503504880281583616*t^25 - 93773908290161929655769754407850713769746844282845925899242424154682186472955893374179689809121229399019746306771172668432207006375523023579763051844538172547832314902609853421875/52435275101351352300714076805359182228535960841844647336275597368220552746900371196678581057343955419394243416751752440140791808*t^23 + 4561768309034493898900089200407280624377274379195547025483652973355167218877996624750992964396551184330461845387001872997042979719465045280699442999977975369298993492775425602828125/838964401621621636811425228885746915656575373469514357380409557891528843950405939146857296917503286710307894668028039042252668928*t^21 - 11088497179905922622521372083916841549881228507790787533271427902433440263290458262807426450518002289777979137519659940140835712002275534486578404081438611915154095168487487572890625/838964401621621636811425228885746915656575373469514357380409557891528843950405939146857296917503286710307894668028039042252668928*t^19 + 169252834987744273595269388331112462120102700053080914551143787801780046378139994802954892252200265862207301009894384965391353632206455392186918098868172616138932574573396676014765625/6711715212972973094491401831085975325252602987756114859043276463132230751603247513174858375340026293682463157344224312338021351424*t^17 - 61955859480121449124410491616476603503845230504777810986522498824703178351072039994551080948823916263587054403038086491909981675024409798765376874788574281817013128366508393491953125/1677928803243243273622850457771493831313150746939028714760819115783057687900811878293714593835006573420615789336056078084505337856*t^15 + 1082979077702552494200521566521378720933340277580988167717370362712750246367982593654946670462969685514071587229485676995712142841255491082796991372638798192996370389075205514848515625/26846860851891892377965607324343901301010411951024459436173105852528923006412990052699433501360105174729852629376897249352085405696*t^13 - 851817328658161189131464445783260216530444363828931682934227303364150679990974686376228703339846546384276559229315721855216380011600358551696266285176738584177644357544005895363984375/26846860851891892377965607324343901301010411951024459436173105852528923006412990052699433501360105174729852629376897249352085405696*t^11 + 1842194489115125802035059149940765127704104470018732624532998813371409884499487349346634168259424625519554582570849110907440519567694755293254754837824694727424943441103252750280859375/107387443407567569511862429297375605204041647804097837744692423410115692025651960210797734005440420698919410517507588997408341622784*t^9 - 321616936621216904751097338621696852187014261561768670833000921959409099936535676969550500279242325876022359152539273613629582640270604584648085421224903969718374330567392292225390625/53693721703783784755931214648687802602020823902048918872346211705057846012825980105398867002720210349459705258753794498704170811392*t^7 + 529337940999020388656034156180076436402964592355340829869338046212029639285650762666808715852359008156480240373841885683332225747204864778917209644209495852837596596717658283162890625/429549773630270278047449717189502420816166591216391350978769693640462768102607840843190936021761682795677642070030355989633366491136*t^5 - 54470026372297037871109973929494882655501928837154838579739937342420706760529870351886213117177478280675014519306456102735676077209456577434029936848472438499576668079764552172265625/429549773630270278047449717189502420816166591216391350978769693640462768102607840843190936021761682795677642070030355989633366491136*t^3 + 925701745589089396386530707094645877335303270882831317792278740567995229608210968956383402583799958386643640061332254666540037243747113518368774763192734933390275950007482971484375/214774886815135139023724858594751210408083295608195675489384846820231384051303920421595468010880841397838821035015177994816683245568*t
-------------------------------------------------
Computing nodes and weights
  current precision for roots: 53
  current precision for roots: 106
  current precision for roots: 212
 current precision for weights: 53
Linear system for weights solvable: 0
  current precision for roots: 106
  current precision for roots: 212
 current precision for weights: 106
Linear system for weights solvable: 0
  current precision for roots: 212
  current precision for roots: 424
 current precision for weights: 212
Linear system for weights solvable: 0
  current precision for roots: 424
  current precision for roots: 848
 current precision for weights: 424
Linear system for weights solvable: 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:   83 out of 85
Indefinite weights: 0 out of 85
Negative weights:   2 out of 85
Extension rule has valid weights: 0
**************************************
*** EXTENSION WITH INVALID WEIGHTS ***
**************************************
