Starting with polynomial:
P : t
Extension levels are: 1 12 72
-------------------------------------------------
Trying to find an order 12 Kronrod extension for:
P1 : t
Solvable: 1
-------------------------------------------------
Trying to find an order 72 Kronrod extension for:
P2 : t^13 - 78*t^11 + 2145*t^9 - 25740*t^7 + 135135*t^5 - 270270*t^3 + 135135*t
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : t^85 - 115908857940742345233762888250716149687547101013084874120743480484185997352751718318729077498672215476258584737536237341600546/37113958110126692567526081923463361797563107907587598986522717401243392459716910598311313990113703644591965709562722458045*t^83 + 344169032498551261250566548438111714930123692852417171490990361659253990267605477733805125672103072232106700980044256484392034991/74227916220253385135052163846926723595126215815175197973045434802486784919433821196622627980227407289183931419125444916090*t^81 - 32347169396355207343879343626838649420808859968498859941961918448291198793940304938257219104461295310862859597363800634569255027820/7422791622025338513505216384692672359512621581517519797304543480248678491943382119662262798022740728918393141912544491609*t^79 + 1340640617213215274452358195935243334594677954276135289102785951266304900472506698537076436187267387968365879308847685282165210254396653/460213080565570987837323415850945686289782538054086227432881695775418066500489691419060293477409925192940374798577758479758*t^77 - 20708308404041298878000846577450796990159911746215554612345161888722326970315002804836587984415487870642437772475526442652043915311891001751/14036498957249915129038364183453843431838367410649629936702891721150251028264935588281338951061002718384681431356621633632619*t^75 + 16529218636204684080274672398798773455343581734413295193526121266458564270582356454850522889365849457715036136911322046415260322732784151914031/28072997914499830258076728366907686863676734821299259873405783442300502056529871176562677902122005436769362862713243267265238*t^73 - 2669408373696708382833458557809344415289422105720034466525311710493220953229528183158227233822160576414845126681978646576873127931018579844897234/14036498957249915129038364183453843431838367410649629936702891721150251028264935588281338951061002718384681431356621633632619*t^71 + 74860583801009681969118527301848582687678986725925294824253367640630784737347099793834162490841767048345203295947597525148778639400217454174483235/1477526206026306855688248861416194045456670253752592624916093865384236950343677430345404100111684496672071729616486487750802*t^69 - 158492047016554006283355230513657057724805621852627299443584505544677543369903846965841167742531034518415637178409499071024309663619160562820694106465/14036498957249915129038364183453843431838367410649629936702891721150251028264935588281338951061002718384681431356621633632619*t^67 + 29862081194464537582677330043791507538434182277033769717354362754278202365686709115195455170567017427486152523181943301003530634417734524620205461387310/14036498957249915129038364183453843431838367410649629936702891721150251028264935588281338951061002718384681431356621633632619*t^65 - 4795693391331761489468918432393147185253970076106266197276551325997408655802525929699549071644160877934767467771484420178522094549616761615288643459120160/14036498957249915129038364183453843431838367410649629936702891721150251028264935588281338951061002718384681431356621633632619*t^63 + 349329927380705057221710330903409261631334168651424120657600638194600820156476691935576952254672142493902007006280113765545966462272750632362848636628630/7422791622025338513505216384692672359512621581517519797304543480248678491943382119662262798022740728918393141912544491609*t^61 - 41471463538809666073042558382154139121984844315908356536612139926783137694226631019290807284714355772359055846069244780786574756490577926100806968346533700/7422791622025338513505216384692672359512621581517519797304543480248678491943382119662262798022740728918393141912544491609*t^59 + 4258768900910863295227656962821138527161384444942767360391746688053114442470327112903716582379950263571775395767120070739785862023094109127568095156638853650/7422791622025338513505216384692672359512621581517519797304543480248678491943382119662262798022740728918393141912544491609*t^57 - 19963975899482236884643626645174305194733488252204188484917971415763944187641244567441992505934328805836043400131620704102307522589895676002637155306165597400/390673243264491500710800862352245913658559030606185252489712814749930446944388532613803305159091617311494375890133920611*t^55 + 1545059417526376734571291520520247755864665763071368034456417207350497770113697457545264724177054544177999600559223098721400104403831319824735825478536251474900/390673243264491500710800862352245913658559030606185252489712814749930446944388532613803305159091617311494375890133920611*t^53 - 104017785448395946666172792615790933886211559865776314768826904160505826129582458913493740349999323797125162200011077451939334324898096643485848444161285266680200/390673243264491500710800862352245913658559030606185252489712814749930446944388532613803305159091617311494375890133920611*t^51 + 6094394278503130344198034390829011114271087591594892388364648873780318790946888753093503465780550461966759002703280829924544652464686982228923014748366965066299375/390673243264491500710800862352245913658559030606185252489712814749930446944388532613803305159091617311494375890133920611*t^49 - 310702054776431425382667193297069372012704973669159280906400741893602735920886251289781877079383627983626461812123460942597264564018450706419595171079910383514105000/390673243264491500710800862352245913658559030606185252489712814749930446944388532613803305159091617311494375890133920611*t^47 + 13772859755131838613453754623192406114463862330492902395616541173898036929476049415625508434496951741195612874457016991658503872783705880446124882473109687576827529375/390673243264491500710800862352245913658559030606185252489712814749930446944388532613803305159091617311494375890133920611*t^45 - 530147306530405726000361645761151681750991810943089048326855523388363253180105818168846426736954177690929949205611885359517923690033797509513017692483193974921013151250/390673243264491500710800862352245913658559030606185252489712814749930446944388532613803305159091617311494375890133920611*t^43 + 17686240372593228195421702937329754813004835405224388244489118189284466942593533358650103883624231419545361086673230965087836612477643656399739047511980920571090355350625/390673243264491500710800862352245913658559030606185252489712814749930446944388532613803305159091617311494375890133920611*t^41 - 510099069666408253617049528110908791790304318647651324534109653572567236941597943656995196115931349367249179577251519107428550190464641731544733028855264959619354424787500/390673243264491500710800862352245913658559030606185252489712814749930446944388532613803305159091617311494375890133920611*t^39 + 12679177506178383139182782492869743767659432127011291969160888990503337716589636292983718311905491169824444166244583267795892080054501032181302682649779410583180169630996875/390673243264491500710800862352245913658559030606185252489712814749930446944388532613803305159091617311494375890133920611*t^37 - 270572583550638201328600911480717733972813629063269543754017321584541680537858689450034815328636513815655497328816334335799291914825635534578631100248877392204174634081893750/390673243264491500710800862352245913658559030606185252489712814749930446944388532613803305159091617311494375890133920611*t^35 + 4934474904486498890896246730125726618551586564643500700511252083019074697676546146519142061593564123844029073312352920508390977204897666150814000083539745321304512188133681250/390673243264491500710800862352245913658559030606185252489712814749930446944388532613803305159091617311494375890133920611*t^33 - 76488963943710900858172925075876518790331029126605097482860429176132908340820303358803577357392763492044746323591344504427320758144955880557278262736760059954023382270780200000/390673243264491500710800862352245913658559030606185252489712814749930446944388532613803305159091617311494375890133920611*t^31 + 1001306064582044930698529737540625537004340434221757417551141398140369355514446298373135806856576196611436104698112483213963294508644671751578756714999481317273367117173134406250/390673243264491500710800862352245913658559030606185252489712814749930446944388532613803305159091617311494375890133920611*t^29 - 10986436845635702607327111780811477773919035141543247669564130955402933781211800831261410865615010201396173492498876136554902289619232280832268314419099598488274300542296633937500/390673243264491500710800862352245913658559030606185252489712814749930446944388532613803305159091617311494375890133920611*t^27 + 100135851585962773496555373737512475874912567624914360042742815465346343404935902065673523575121550208617080992468372565723751299019515591414006308186865217670160599778938853718750/390673243264491500710800862352245913658559030606185252489712814749930446944388532613803305159091617311494375890133920611*t^25 - 750191266321295437246158035262805710157974754262767407193939393237457491783647146993437518472969835192157970454169381347457656051004184188638104414756305380382658519220878827375000/390673243264491500710800862352245913658559030606185252489712814749930446944388532613803305159091617311494375890133920611*t^23 + 4561768309034493898900089200407280624377274379195547025483652973355167218877996624750992964396551184330461845387001872997042979719465045280699442999977975369298993492775425602828125/390673243264491500710800862352245913658559030606185252489712814749930446944388532613803305159091617311494375890133920611*t^21 - 22176994359811845245042744167833683099762457015581575066542855804866880526580916525614852901036004579555958275039319880281671424004551068973156808162877223830308190336974975145781250/390673243264491500710800862352245913658559030606185252489712814749930446944388532613803305159091617311494375890133920611*t^19 + 169252834987744273595269388331112462120102700053080914551143787801780046378139994802954892252200265862207301009894384965391353632206455392186918098868172616138932574573396676014765625/781346486528983001421601724704491827317118061212370504979425629499860893888777065227606610318183234622988751780267841222*t^17 - 247823437920485796497641966465906414015380922019111243946089995298812713404288159978204323795295665054348217612152345967639926700097639195061507499154297127268052513466033573967812500/390673243264491500710800862352245913658559030606185252489712814749930446944388532613803305159091617311494375890133920611*t^15 + 1082979077702552494200521566521378720933340277580988167717370362712750246367982593654946670462969685514071587229485676995712142841255491082796991372638798192996370389075205514848515625/781346486528983001421601724704491827317118061212370504979425629499860893888777065227606610318183234622988751780267841222*t^13 - 851817328658161189131464445783260216530444363828931682934227303364150679990974686376228703339846546384276559229315721855216380011600358551696266285176738584177644357544005895363984375/390673243264491500710800862352245913658559030606185252489712814749930446944388532613803305159091617311494375890133920611*t^11 + 1842194489115125802035059149940765127704104470018732624532998813371409884499487349346634168259424625519554582570849110907440519567694755293254754837824694727424943441103252750280859375/781346486528983001421601724704491827317118061212370504979425629499860893888777065227606610318183234622988751780267841222*t^9 - 643233873242433809502194677243393704374028523123537341666001843918818199873071353939101000558484651752044718305078547227259165280541209169296170842449807939436748661134784584450781250/390673243264491500710800862352245913658559030606185252489712814749930446944388532613803305159091617311494375890133920611*t^7 + 529337940999020388656034156180076436402964592355340829869338046212029639285650762666808715852359008156480240373841885683332225747204864778917209644209495852837596596717658283162890625/781346486528983001421601724704491827317118061212370504979425629499860893888777065227606610318183234622988751780267841222*t^5 - 54470026372297037871109973929494882655501928837154838579739937342420706760529870351886213117177478280675014519306456102735676077209456577434029936848472438499576668079764552172265625/390673243264491500710800862352245913658559030606185252489712814749930446944388532613803305159091617311494375890133920611*t^3 + 3702806982356357585546122828378583509341213083531325271169114962271980918432843875825533610335199833546574560245329018666160148974988454073475099052770939733561103800029931885937500/390673243264491500710800862352245913658559030606185252489712814749930446944388532613803305159091617311494375890133920611*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 ***
**************************************
