Starting with polynomial:
P : -t+1
Extension levels are: 1 3 5 25
-------------------------------------------------
Trying to find an order 3 Kronrod extension for:
P1 : -t+1
Solvable: 1
-------------------------------------------------
Trying to find an order 5 Kronrod extension for:
P2 : -t^4 + 49/4*t^3 - 153/4*t^2 + 57/2*t - 3/2
Solvable: 1
-------------------------------------------------
Trying to find an order 25 Kronrod extension for:
P3 : -t^9 + 8913807221/174577516*t^8 - 346896933499/349155032*t^7 + 3329250396937/349155032*t^6 - 8538378231899/174577516*t^5 + 23551735187795/174577516*t^4 - 8100489458905/43644379*t^3 + 4370729197935/43644379*t^2 - 409117906830/43644379*t + 10559938470/43644379
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : -t^34 + 1181076919088881801419531397040576881685097626048576820229624796755319771564178467159158843500351079037078894395041123893386332438669259326295730139597837064127099067304812298500506157310043150229131897238835591394579658940419638914274183281481264258015674817672421065203589879193128128244521978726934974717919416750794113787124652794772682653948278987094172581024614526413178285588759863456634082449933/1272722945291052382884887903960675711451385528126151469797206614670375354885448346418716303776678438813007178195512451965906342641282018312858973516056646826744487006853355750104876011652182217361412933632857400063349565231910974520285857371917435938896174843034903709407001712739963787341789709147759870293833357035735827669810147802396932469713492091208799675700516685990765122629647781510182951218*t^33 - 28755000711176080972430212377918144607825781775492805686499097376871912240985729972888330592383272159574179622753102142088477449738701433681832346054143238922369175255116673425386951899210241560312737969888241055089563096141595480123364572893484932828146196642497904220350921810077057639378606350627732451414693324719456354599447231840403257909984772826433555901132066609347846728538267915989423420375554681/71272484936298933441553722621797839841277589575064482308643570421541019873585107399448113011493992573528401978948697310090755187911793025520102516899172222297691272383787922005873056652522204172239124283440014403547575652987014573136008012827376412578185791209954607726792095913437972091140223712274552736454667994001206349509368276934228218303955557107692781839228934415482846867260275764570245268208*t^32 + 15586376627240327056930929305873791870553279870674149660960521156054569694470431716839219240046052174177106995639765071584605058041099189835278619219573231914814596327474674813090454616842783304181810687065933671792570836214057380293032591713406222198097611217302959773307453869924962364953160337783282392024406228135414036773813056230646579953113923786084764331324459298459379065803191579032686068785878788681/142544969872597866883107445243595679682555179150128964617287140843082039747170214798896226022987985147056803957897394620181510375823586051040205033798344444595382544767575844011746113305044408344478248566880028807095151305974029146272016025654752825156371582419909215453584191826875944182280447424549105472909335988002412699018736553868456436607911114215385563678457868830965693734520551529140490536416*t^31 - 2956062750848732775179791130548313652387689256364727900271219357361699985748867463598411103485869486014183224069648992584094042752437476935756929220153009535709160903497027659626022646572884861279275521381815394646536952169615352106801511549631391865462276720838969049668079858347292875606352823459789231214484707511264957111212766036427176895795390738254411782330989823180655861848095070001359492616818107263999/142544969872597866883107445243595679682555179150128964617287140843082039747170214798896226022987985147056803957897394620181510375823586051040205033798344444595382544767575844011746113305044408344478248566880028807095151305974029146272016025654752825156371582419909215453584191826875944182280447424549105472909335988002412699018736553868456436607911114215385563678457868830965693734520551529140490536416*t^30 + 208760765408229706373359055763601335204192741756000368408836039829322637104580673866965975978116405355502643123621471200542513975961434330612380949234628789676301095752889956431842310724553188390557112667991421517538254723642196654976558319333748218448557286331415644795710130354050890128543718473167684076838326832273601158124231755175337746447570325738366281245133182386162662887885041087531687719680741703091585/71272484936298933441553722621797839841277589575064482308643570421541019873585107399448113011493992573528401978948697310090755187911793025520102516899172222297691272383787922005873056652522204172239124283440014403547575652987014573136008012827376412578185791209954607726792095913437972091140223712274552736454667994001206349509368276934228218303955557107692781839228934415482846867260275764570245268208*t^29 - 22817987388816727102849858933628364021039823327903136830150009275706675798275892625308546126183432916247544374765183931509331307204332804073942121599558197838952567594235159187884143079899239444557277992816783802032404231513082228219432844005615003392770596281338319433166773298603027994252286135764567656200259202595250027287612297346595155960709727701486783406660148615191826097964124957773794683938445773638262685/71272484936298933441553722621797839841277589575064482308643570421541019873585107399448113011493992573528401978948697310090755187911793025520102516899172222297691272383787922005873056652522204172239124283440014403547575652987014573136008012827376412578185791209954607726792095913437972091140223712274552736454667994001206349509368276934228218303955557107692781839228934415482846867260275764570245268208*t^28 + 495007183984111394831905870994371084649011502786398353154122491792925666405655889952669694529483233808291882075549224277246982112611816370611727917621804613376025290621387036899662263170854927900339342990223562363466449464196730067475847740916245546724446725634811837861726070969701600825406822866175390976140072420228658860814260662933475198556844704342204393326733507092014881877236014032313250778687971895120752655/17818121234074733360388430655449459960319397393766120577160892605385254968396276849862028252873498143382100494737174327522688796977948256380025629224793055574422818095946980501468264163130551043059781070860003600886893913246753643284002003206844103144546447802488651931698023978359493022785055928068638184113666998500301587377342069233557054575988889276923195459807233603870711716815068941142561317052*t^27 - 4959290487134096554453904887148611456196848012090777153110936567338609223398428652648383718061296231396896463913108819023139837114928894845088567081092474194502111121544366301165414293410253047606910081855652148671320593475551075784599239225706025603798246124447837843446409222452383569013455505454805044600958994242825960996409647024352035009275361417640360680652289198885992006367454335229939564138756981061921325595/2545445890582104765769775807921351422902771056252302939594413229340750709770896692837432607553356877626014356391024903931812685282564036625717947032113293653488974013706711500209752023304364434722825867265714800126699130463821949040571714743834871877792349686069807418814003425479927574683579418295519740587666714071471655339620295604793864939426984182417599351401033371981530245259295563020365902436*t^26 + 142348793316706110635047830665364375678464939711600987959844393647648709543300152590895063713120733591203264921844626157313076658950024975973087109795761565916749318930856524360163862914018513605673484339452037197538481180926640156043279769192856921170339057365611466419539763031771394117908912144533623231049524326848637427941391542221208590139965049551562040030267458398936089631725516529656916853340716544543542297615/1272722945291052382884887903960675711451385528126151469797206614670375354885448346418716303776678438813007178195512451965906342641282018312858973516056646826744487006853355750104876011652182217361412933632857400063349565231910974520285857371917435938896174843034903709407001712739963787341789709147759870293833357035735827669810147802396932469713492091208799675700516685990765122629647781510182951218*t^25 - 47258756595782431622851610749969106362210446553476561490282206593033711069024179368956125545451187318256744854035859656107413830970922846969413300718105751052521156512092150603575618666297177528057411792192505264689394199822661305991398971476132097581976860075297348795552532644234796152107939329580981695406000642404929309111459072606750527858672385956840399786836969662933079850075230839335499964559792211786178031020625/8909060617037366680194215327724729980159698696883060288580446302692627484198138424931014126436749071691050247368587163761344398488974128190012814612396527787211409047973490250734132081565275521529890535430001800443446956623376821642001001603422051572273223901244325965849011989179746511392527964034319092056833499250150793688671034616778527287994444638461597729903616801935355858407534470571280658526*t^24 + 22732046194090537395688441086776056765325094836867169167568605566849529767941710854738119069688931806924727234566171717172389262746817407758608375122983050321771037044508289017660009958512310086449253296393146021883496093822182087416904321044509860031765480503671782503467990331963049436436120598608484790365896676164696421593102041710634750676042461754340812629987168394627089595106657115121809311546564589911338071627500/108647080695577642441392869850301585123898764596134881568054223203568627856074858840622123493131086240134759114251062972699321932792367416951375787956055216917212305463091344521147952214210677091827933358902460981017645812480205141975621970773439653320405169527369828851817219380240811114543023951638037708010164625001838947422817495326567405951151763883678021096385570755309217785457737445991227543*t^23 - 30713398841481889978198442516965541969499706981714291407965074999434659505379997775498070911363032991833022533222685675662308617265889588971991516703151478027214086992008777457335393395997410046950535222568030791550691370730097635155112942728111280217505942097114554850537620700137260462419893644311337534017783125143812167481678004537850042521647624503866644867840474977874068570099863796254035679099310922983522101817592500/4454530308518683340097107663862364990079849348441530144290223151346313742099069212465507063218374535845525123684293581880672199244487064095006407306198263893605704523986745125367066040782637760764945267715000900221723478311688410821000500801711025786136611950622162982924505994589873255696263982017159546028416749625075396844335517308389263643997222319230798864951808400967677929203767235285640329263*t^22 + 77101428303409478009443913202380365586738181405804576824316818400761591445837189200081087565549680553942689705996103375759370326289281210600024580010067881881566653296347300317406501787844958656330050965911432540506507238853760228662301330110934010607449282709495700717061678640572520881337451590720698791383999536201585983941543861908925329761186769003631940666011106170871061747297206337611858074484043297441197170637665000/404957300774425758190646151260214999098168122585593649480929377395119431099915382951409733019852230531411374880390325625515654476771551281364218846018023990327791320362431375033369640071148887342267751610454627292883952573789855529181863709246456889648782904602014816629500544962715750517842180183378140548037886329552308804030501573489933058545202029020981714995618945542516175382160657753240029933*t^21 - 255270835049449056484075636507636767088998716313494435114980155507989475991287571655911499947718588585592111477936835275129616523162456122112163821433608810634324856075314204043382527027986308742120843575000219816604017773884328153006682827626533064545724324277146784864457589056741406792878911752676027057865740202122907356587997375866817990544999457444136775191768516315901180365038424589657680169573455975582437046733955000/57851042967775108312949450180030714156881160369370521354418482485017061585702197564487104717121747218773053554341475089359379210967364468766316978002574855761113045766061625004767091438735555334609678801493518184697707510541407932740266244178065269949826129228859259518500077851816535788263168597625448649719698047078901257718643081927133294077886004145854530713659849363216596483165808250462861419*t^20 + 4967166362626409334497345149097590536501857099181425067492473541154177548712834548372540373818213720225181142139095692436072609368152147916603827940263676667653818727372554058207557302065201341224435714759573874179010845625901748101985869328101355589707556848458832466306874693526267370740145471295040661546789128017030544596629499177046305467067011680324095303022776969379091014129223717988723453599567061086867751074180300000/57851042967775108312949450180030714156881160369370521354418482485017061585702197564487104717121747218773053554341475089359379210967364468766316978002574855761113045766061625004767091438735555334609678801493518184697707510541407932740266244178065269949826129228859259518500077851816535788263168597625448649719698047078901257718643081927133294077886004145854530713659849363216596483165808250462861419*t^19 - 81089432502778620047809648839443780479621698257086557120186202194621113062761593465430026833429234466253489249779414921827155667843883888638132383828894921999618440964092797281906467886093776343753466123359039357722153169828116490658381347590897511791370447943081851118904261195238463427448217515357069095224854156681564135301519850887328833979653630304080105684928644252102066363176121245159087255765764116787288473971471300000/57851042967775108312949450180030714156881160369370521354418482485017061585702197564487104717121747218773053554341475089359379210967364468766316978002574855761113045766061625004767091438735555334609678801493518184697707510541407932740266244178065269949826129228859259518500077851816535788263168597625448649719698047078901257718643081927133294077886004145854530713659849363216596483165808250462861419*t^18 + 1108617266811530553340468864408691749804027544296987207403064562616380076773395433701270227448521601648689836574574736648078555055940967939601736626305666327231849236642809071964428382618468071019617405061918750877742978838708206243022309678206741613297624204342468992486681045342439819921929305888999042246403345709214439331324174779754189218026515300931212502483943246109234957783667111609388279052535427410862269176784630600000/57851042967775108312949450180030714156881160369370521354418482485017061585702197564487104717121747218773053554341475089359379210967364468766316978002574855761113045766061625004767091438735555334609678801493518184697707510541407932740266244178065269949826129228859259518500077851816535788263168597625448649719698047078901257718643081927133294077886004145854530713659849363216596483165808250462861419*t^17 - 12656429361792605258362259554096117768760724055406484755789056276195617156384531149828150451010265822867395123678807732126592440477455123090909371233663943993776360840357271480415006175152864103632641573250011323800414394394281993692210852903017571779395840082977410524740502109634390110336794646210431259030791730860489637219131194371608981267046561269147810286438612346083775996350478819700009153504362215380321768236913641800000/57851042967775108312949450180030714156881160369370521354418482485017061585702197564487104717121747218773053554341475089359379210967364468766316978002574855761113045766061625004767091438735555334609678801493518184697707510541407932740266244178065269949826129228859259518500077851816535788263168597625448649719698047078901257718643081927133294077886004145854530713659849363216596483165808250462861419*t^16 + 120176768593170493785745068335395586773544150411047474696419666946068019777407425188432880910024670443254528594260827210909198914112112663762282989847142447727234568621826669137525460050523071728310298119770921467299644286259873863209184854321844711637493284534206576117582976179962153917507468351769689043726471824525615864306860366354970555109990148957971027667908336435215237816371403826481912303481524022362525959847157539200000/57851042967775108312949450180030714156881160369370521354418482485017061585702197564487104717121747218773053554341475089359379210967364468766316978002574855761113045766061625004767091438735555334609678801493518184697707510541407932740266244178065269949826129228859259518500077851816535788263168597625448649719698047078901257718643081927133294077886004145854530713659849363216596483165808250462861419*t^15 - 944177505534443848659922836473236539216131451606231459058499000339852424542936371697374072691719272119629473209862726438482665713392266823608618318537897780021126201418976310938233125092816175837447848475680204311510676565436783662709846450214284440437248086146156542281373340449389953937048570482558023961390895615088803971896762219983690824534105076245355663127657792108149614457576598262188540188019455815602379252688484496000000/57851042967775108312949450180030714156881160369370521354418482485017061585702197564487104717121747218773053554341475089359379210967364468766316978002574855761113045766061625004767091438735555334609678801493518184697707510541407932740266244178065269949826129228859259518500077851816535788263168597625448649719698047078901257718643081927133294077886004145854530713659849363216596483165808250462861419*t^14 + 6097677399214719869032907036032604597187059775721128010893751748083718860008186782201601598541896204530342576002065958813611511498109242495460766355123326622293551166406705108093616298830991408452563191301920879951110306681508226380549290519886850252301767507072208343353259543630404522408838435464820711710818012328028255680413402728442593840700240500718726342464019441837770206165824327933542317304462124817233657586569174496000000/57851042967775108312949450180030714156881160369370521354418482485017061585702197564487104717121747218773053554341475089359379210967364468766316978002574855761113045766061625004767091438735555334609678801493518184697707510541407932740266244178065269949826129228859259518500077851816535788263168597625448649719698047078901257718643081927133294077886004145854530713659849363216596483165808250462861419*t^13 - 32108195261436826357569436913121496435487801825825666324388486396388685876746041161898686294107109743238782886088637366816154262182731696218040155975013278498278200488166118072869658843087073090178006265663937280212419248438730013328837370301057013304797451774897358653042904129945281344352587960817061722333633510785341323433920802541714455176663440049340874042513863904906561210472171306874713146206358808237595382400641883232000000/57851042967775108312949450180030714156881160369370521354418482485017061585702197564487104717121747218773053554341475089359379210967364468766316978002574855761113045766061625004767091438735555334609678801493518184697707510541407932740266244178065269949826129228859259518500077851816535788263168597625448649719698047078901257718643081927133294077886004145854530713659849363216596483165808250462861419*t^12 + 136468323332856563302102029304428569904306883139693382522834979304734555465556690603787321255924662940125850520964958592479309148088578842307889786143961421086738045994200900003205924587125217128539176702346290208065699457504739861133647979531334719864977140524738618008497440837244690560583902055606523794771430792427661941664144880288535422998021974108149684770497772371658298180507558620929148495869395660907708534819843005056000000/57851042967775108312949450180030714156881160369370521354418482485017061585702197564487104717121747218773053554341475089359379210967364468766316978002574855761113045766061625004767091438735555334609678801493518184697707510541407932740266244178065269949826129228859259518500077851816535788263168597625448649719698047078901257718643081927133294077886004145854530713659849363216596483165808250462861419*t^11 - 462359124456587597196161317103759613460581964268811879395688361644592214181480843691131663612153970670833638068809832025784916663664309650451373708962089622257822625372201758595641795815933985948897222560281323001990994467463048015150946497267703419106604887821010439745391507232003361464021694678918966631526657328928425637093271081123370176207558954814707280949724431115750063993746474164432842651400901871551638602835302735744000000/57851042967775108312949450180030714156881160369370521354418482485017061585702197564487104717121747218773053554341475089359379210967364468766316978002574855761113045766061625004767091438735555334609678801493518184697707510541407932740266244178065269949826129228859259518500077851816535788263168597625448649719698047078901257718643081927133294077886004145854530713659849363216596483165808250462861419*t^10 + 1229269959403407221546776663046926846394131623000666350909721778882984238981101156964868492979373055472665876480767717381226493218698613928472921609498503620782930195856653385083350192352398523736580700001989335971913011041928155085507814513852238657755743474576560072229250919472958933464277675398597733508556246457876394937892600625141195863526827366020659485561166397392826635958704751833470377541526929371010867522938453977856000000/57851042967775108312949450180030714156881160369370521354418482485017061585702197564487104717121747218773053554341475089359379210967364468766316978002574855761113045766061625004767091438735555334609678801493518184697707510541407932740266244178065269949826129228859259518500077851816535788263168597625448649719698047078901257718643081927133294077886004145854530713659849363216596483165808250462861419*t^9 - 2513991942152639416696649428285741139475698100779420033762162478718145725284614868474693459787587440035863544683680384174094406387886095294005702743730073495689152714834979232556064787028695695424118409408879958889792633536468314142522946902594972771917459851415849689966131044059794820066550741085179485485943131722594866456603995999433861845330552601697063266870053160404320856258793283677364313778777832636139355063477771809536000000/57851042967775108312949450180030714156881160369370521354418482485017061585702197564487104717121747218773053554341475089359379210967364468766316978002574855761113045766061625004767091438735555334609678801493518184697707510541407932740266244178065269949826129228859259518500077851816535788263168597625448649719698047078901257718643081927133294077886004145854530713659849363216596483165808250462861419*t^8 + 3853581343482476119132479940812565233530110431837452708477181246328715490590400694721931876646512742052332868230677023980506586173144096593046605178142760061840718313106309940735814655674641552069282033952214334943793896748837948265798942254268723074450558772491711933124133976592472203229842196444121234545526460516360269567353005266751101817940125767322807875631607791236631008428950524251402433341432899895634546530390726203392000000/57851042967775108312949450180030714156881160369370521354418482485017061585702197564487104717121747218773053554341475089359379210967364468766316978002574855761113045766061625004767091438735555334609678801493518184697707510541407932740266244178065269949826129228859259518500077851816535788263168597625448649719698047078901257718643081927133294077886004145854530713659849363216596483165808250462861419*t^7 - 4277115106645256874929367288253208974201936433628313833168073115191608001046569192229533505350046404777699060254258817619922872222957925848853910303200984740145129348475559456169703344160706079896426316182668678520429799889893964414390265373705222027264058325871304363053072643332505224069675814750444993484568514304919167596152225134695763103309956346316501560383289791580174989905896933503319485094617551236491011830030480746496000000/57851042967775108312949450180030714156881160369370521354418482485017061585702197564487104717121747218773053554341475089359379210967364468766316978002574855761113045766061625004767091438735555334609678801493518184697707510541407932740266244178065269949826129228859259518500077851816535788263168597625448649719698047078901257718643081927133294077886004145854530713659849363216596483165808250462861419*t^6 + 3278444816478779734002127972053755387649672167454814759923690047435139169846723137890277106956665645647571318849353659714471996640925903426727303594910659312251452839561138944000190576297762651367097695985506640939448826066445641209249625497971305576386261605917061982632655800283102580408609581140178714738881955641309005797068955057039944267496353513943884219569991896806901105141802798272183045836568416724499063389855003766784000000/57851042967775108312949450180030714156881160369370521354418482485017061585702197564487104717121747218773053554341475089359379210967364468766316978002574855761113045766061625004767091438735555334609678801493518184697707510541407932740266244178065269949826129228859259518500077851816535788263168597625448649719698047078901257718643081927133294077886004145854530713659849363216596483165808250462861419*t^5 - 1622941072437433049933442641729813344865155812338404459460989990572172793619534641697397410641764017428441519258148679688935072765667999991156624907443162884600342386389712308542311033035860354111257949523555787998587667315635140518980117308457180182626732246288646368918513914954004520626391940519376868519062893713861907701871934095269744581409127919922978197601358181151940552517244958335391914130215377910435350692005004881920000000/57851042967775108312949450180030714156881160369370521354418482485017061585702197564487104717121747218773053554341475089359379210967364468766316978002574855761113045766061625004767091438735555334609678801493518184697707510541407932740266244178065269949826129228859259518500077851816535788263168597625448649719698047078901257718643081927133294077886004145854530713659849363216596483165808250462861419*t^4 + 470382497998701606015975821714293164270609479828367903891941197365460152151159458709857756866531697242849097962374955472010431519079193312574618402110711605834324382133163949599367451263776000798503940126304849589027173979176289055024133544721389473086719007634770091820278994879460253456887476370847618705720669797420609382590033717960167226304840812717089096690087001529332081315254750274833434737649422889973699560817116037120000000/57851042967775108312949450180030714156881160369370521354418482485017061585702197564487104717121747218773053554341475089359379210967364468766316978002574855761113045766061625004767091438735555334609678801493518184697707510541407932740266244178065269949826129228859259518500077851816535788263168597625448649719698047078901257718643081927133294077886004145854530713659849363216596483165808250462861419*t^3 - 69062873813647693445537000635046930429616413767262761602262327712050857621765044986868712268617276493389278237750422598323585769880778353616437183673113745830427506815167684319051270411579445427621917677432786187070188566441589243330875933789388956254290675469922970921159969655629728748482715282886584267718876072190234968317803265858317413429491185430104091630733542660055453680867383756318547301197686786212418812030426890240000000/57851042967775108312949450180030714156881160369370521354418482485017061585702197564487104717121747218773053554341475089359379210967364468766316978002574855761113045766061625004767091438735555334609678801493518184697707510541407932740266244178065269949826129228859259518500077851816535788263168597625448649719698047078901257718643081927133294077886004145854530713659849363216596483165808250462861419*t^2 + 4259550949459922775925307281437740793603451610398051377509809818384524783319795702693644617600608811188664439162770468409592855655847201686084694219780732879251870763192569755769596910953837382539446674815296314700512612217257176399912024992575330634360522185389780375380458501282206930634227038867825348739697686331165581361545165598932106871800785277106519576374803287946646538932272206095958915800523020112835333568507576320000000/57851042967775108312949450180030714156881160369370521354418482485017061585702197564487104717121747218773053554341475089359379210967364468766316978002574855761113045766061625004767091438735555334609678801493518184697707510541407932740266244178065269949826129228859259518500077851816535788263168597625448649719698047078901257718643081927133294077886004145854530713659849363216596483165808250462861419*t - 2200716145088206420348467954663156263131798797124566981930614233908994943679186688117971007357415298497705519217073270392848869118081283989055245601818456259464181678422262280986362171300645896848046679361010849937857963416704653492985725974468267145830629354166589392963743525438062507508967782085486180901791023665074988435179526539136766852508298156290436660121086745382926486669357329080491331507068569408209540149575680000000/1411001047994514836901206101951968637972711228521232228156548353293099063065907257670417188222481639482269598886377441203887297828472304116251633609818898921002757213806381097677246132652086715478284848816915077675553841720522144700982103516538177315849417786069738037036587264678452092396662648722571918285846293831192713602893733705539836440924048881606208066186825594224795036174775810986899059
-------------------------------------------------
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: 1
  current precision for roots: 424
  current precision for roots: 848
 current precision for weights: 424
Linear system for weights solvable: 1
Sufficient bits for target precision reached
Positive weights:   32 out of 34
Indefinite weights: 0 out of 34
Negative weights:   2 out of 34
Extension rule has valid weights: 0
**************************************
*** EXTENSION WITH INVALID WEIGHTS ***
**************************************
Starting with polynomial:
P : -t+1
Extension levels are: 1 3 5 25
-------------------------------------------------
Trying to find an order 3 Kronrod extension for:
P1 : -t+1
Solvable: 1
-------------------------------------------------
Trying to find an order 5 Kronrod extension for:
P2 : -t^4 + 49/4*t^3 - 153/4*t^2 + 57/2*t - 3/2
Solvable: 1
-------------------------------------------------
Trying to find an order 25 Kronrod extension for:
P3 : -t^9 + 8913807221/174577516*t^8 - 346896933499/349155032*t^7 + 3329250396937/349155032*t^6 - 8538378231899/174577516*t^5 + 23551735187795/174577516*t^4 - 8100489458905/43644379*t^3 + 4370729197935/43644379*t^2 - 409117906830/43644379*t + 10559938470/43644379
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : -t^34 + 1181076919088881801419531397040576881685097626048576820229624796755319771564178467159158843500351079037078894395041123893386332438669259326295730139597837064127099067304812298500506157310043150229131897238835591394579658940419638914274183281481264258015674817672421065203589879193128128244521978726934974717919416750794113787124652794772682653948278987094172581024614526413178285588759863456634082449933/1272722945291052382884887903960675711451385528126151469797206614670375354885448346418716303776678438813007178195512451965906342641282018312858973516056646826744487006853355750104876011652182217361412933632857400063349565231910974520285857371917435938896174843034903709407001712739963787341789709147759870293833357035735827669810147802396932469713492091208799675700516685990765122629647781510182951218*t^33 - 28755000711176080972430212377918144607825781775492805686499097376871912240985729972888330592383272159574179622753102142088477449738701433681832346054143238922369175255116673425386951899210241560312737969888241055089563096141595480123364572893484932828146196642497904220350921810077057639378606350627732451414693324719456354599447231840403257909984772826433555901132066609347846728538267915989423420375554681/71272484936298933441553722621797839841277589575064482308643570421541019873585107399448113011493992573528401978948697310090755187911793025520102516899172222297691272383787922005873056652522204172239124283440014403547575652987014573136008012827376412578185791209954607726792095913437972091140223712274552736454667994001206349509368276934228218303955557107692781839228934415482846867260275764570245268208*t^32 + 15586376627240327056930929305873791870553279870674149660960521156054569694470431716839219240046052174177106995639765071584605058041099189835278619219573231914814596327474674813090454616842783304181810687065933671792570836214057380293032591713406222198097611217302959773307453869924962364953160337783282392024406228135414036773813056230646579953113923786084764331324459298459379065803191579032686068785878788681/142544969872597866883107445243595679682555179150128964617287140843082039747170214798896226022987985147056803957897394620181510375823586051040205033798344444595382544767575844011746113305044408344478248566880028807095151305974029146272016025654752825156371582419909215453584191826875944182280447424549105472909335988002412699018736553868456436607911114215385563678457868830965693734520551529140490536416*t^31 - 2956062750848732775179791130548313652387689256364727900271219357361699985748867463598411103485869486014183224069648992584094042752437476935756929220153009535709160903497027659626022646572884861279275521381815394646536952169615352106801511549631391865462276720838969049668079858347292875606352823459789231214484707511264957111212766036427176895795390738254411782330989823180655861848095070001359492616818107263999/142544969872597866883107445243595679682555179150128964617287140843082039747170214798896226022987985147056803957897394620181510375823586051040205033798344444595382544767575844011746113305044408344478248566880028807095151305974029146272016025654752825156371582419909215453584191826875944182280447424549105472909335988002412699018736553868456436607911114215385563678457868830965693734520551529140490536416*t^30 + 208760765408229706373359055763601335204192741756000368408836039829322637104580673866965975978116405355502643123621471200542513975961434330612380949234628789676301095752889956431842310724553188390557112667991421517538254723642196654976558319333748218448557286331415644795710130354050890128543718473167684076838326832273601158124231755175337746447570325738366281245133182386162662887885041087531687719680741703091585/71272484936298933441553722621797839841277589575064482308643570421541019873585107399448113011493992573528401978948697310090755187911793025520102516899172222297691272383787922005873056652522204172239124283440014403547575652987014573136008012827376412578185791209954607726792095913437972091140223712274552736454667994001206349509368276934228218303955557107692781839228934415482846867260275764570245268208*t^29 - 22817987388816727102849858933628364021039823327903136830150009275706675798275892625308546126183432916247544374765183931509331307204332804073942121599558197838952567594235159187884143079899239444557277992816783802032404231513082228219432844005615003392770596281338319433166773298603027994252286135764567656200259202595250027287612297346595155960709727701486783406660148615191826097964124957773794683938445773638262685/71272484936298933441553722621797839841277589575064482308643570421541019873585107399448113011493992573528401978948697310090755187911793025520102516899172222297691272383787922005873056652522204172239124283440014403547575652987014573136008012827376412578185791209954607726792095913437972091140223712274552736454667994001206349509368276934228218303955557107692781839228934415482846867260275764570245268208*t^28 + 495007183984111394831905870994371084649011502786398353154122491792925666405655889952669694529483233808291882075549224277246982112611816370611727917621804613376025290621387036899662263170854927900339342990223562363466449464196730067475847740916245546724446725634811837861726070969701600825406822866175390976140072420228658860814260662933475198556844704342204393326733507092014881877236014032313250778687971895120752655/17818121234074733360388430655449459960319397393766120577160892605385254968396276849862028252873498143382100494737174327522688796977948256380025629224793055574422818095946980501468264163130551043059781070860003600886893913246753643284002003206844103144546447802488651931698023978359493022785055928068638184113666998500301587377342069233557054575988889276923195459807233603870711716815068941142561317052*t^27 - 4959290487134096554453904887148611456196848012090777153110936567338609223398428652648383718061296231396896463913108819023139837114928894845088567081092474194502111121544366301165414293410253047606910081855652148671320593475551075784599239225706025603798246124447837843446409222452383569013455505454805044600958994242825960996409647024352035009275361417640360680652289198885992006367454335229939564138756981061921325595/2545445890582104765769775807921351422902771056252302939594413229340750709770896692837432607553356877626014356391024903931812685282564036625717947032113293653488974013706711500209752023304364434722825867265714800126699130463821949040571714743834871877792349686069807418814003425479927574683579418295519740587666714071471655339620295604793864939426984182417599351401033371981530245259295563020365902436*t^26 + 142348793316706110635047830665364375678464939711600987959844393647648709543300152590895063713120733591203264921844626157313076658950024975973087109795761565916749318930856524360163862914018513605673484339452037197538481180926640156043279769192856921170339057365611466419539763031771394117908912144533623231049524326848637427941391542221208590139965049551562040030267458398936089631725516529656916853340716544543542297615/1272722945291052382884887903960675711451385528126151469797206614670375354885448346418716303776678438813007178195512451965906342641282018312858973516056646826744487006853355750104876011652182217361412933632857400063349565231910974520285857371917435938896174843034903709407001712739963787341789709147759870293833357035735827669810147802396932469713492091208799675700516685990765122629647781510182951218*t^25 - 47258756595782431622851610749969106362210446553476561490282206593033711069024179368956125545451187318256744854035859656107413830970922846969413300718105751052521156512092150603575618666297177528057411792192505264689394199822661305991398971476132097581976860075297348795552532644234796152107939329580981695406000642404929309111459072606750527858672385956840399786836969662933079850075230839335499964559792211786178031020625/8909060617037366680194215327724729980159698696883060288580446302692627484198138424931014126436749071691050247368587163761344398488974128190012814612396527787211409047973490250734132081565275521529890535430001800443446956623376821642001001603422051572273223901244325965849011989179746511392527964034319092056833499250150793688671034616778527287994444638461597729903616801935355858407534470571280658526*t^24 + 22732046194090537395688441086776056765325094836867169167568605566849529767941710854738119069688931806924727234566171717172389262746817407758608375122983050321771037044508289017660009958512310086449253296393146021883496093822182087416904321044509860031765480503671782503467990331963049436436120598608484790365896676164696421593102041710634750676042461754340812629987168394627089595106657115121809311546564589911338071627500/108647080695577642441392869850301585123898764596134881568054223203568627856074858840622123493131086240134759114251062972699321932792367416951375787956055216917212305463091344521147952214210677091827933358902460981017645812480205141975621970773439653320405169527369828851817219380240811114543023951638037708010164625001838947422817495326567405951151763883678021096385570755309217785457737445991227543*t^23 - 30713398841481889978198442516965541969499706981714291407965074999434659505379997775498070911363032991833022533222685675662308617265889588971991516703151478027214086992008777457335393395997410046950535222568030791550691370730097635155112942728111280217505942097114554850537620700137260462419893644311337534017783125143812167481678004537850042521647624503866644867840474977874068570099863796254035679099310922983522101817592500/4454530308518683340097107663862364990079849348441530144290223151346313742099069212465507063218374535845525123684293581880672199244487064095006407306198263893605704523986745125367066040782637760764945267715000900221723478311688410821000500801711025786136611950622162982924505994589873255696263982017159546028416749625075396844335517308389263643997222319230798864951808400967677929203767235285640329263*t^22 + 77101428303409478009443913202380365586738181405804576824316818400761591445837189200081087565549680553942689705996103375759370326289281210600024580010067881881566653296347300317406501787844958656330050965911432540506507238853760228662301330110934010607449282709495700717061678640572520881337451590720698791383999536201585983941543861908925329761186769003631940666011106170871061747297206337611858074484043297441197170637665000/404957300774425758190646151260214999098168122585593649480929377395119431099915382951409733019852230531411374880390325625515654476771551281364218846018023990327791320362431375033369640071148887342267751610454627292883952573789855529181863709246456889648782904602014816629500544962715750517842180183378140548037886329552308804030501573489933058545202029020981714995618945542516175382160657753240029933*t^21 - 255270835049449056484075636507636767088998716313494435114980155507989475991287571655911499947718588585592111477936835275129616523162456122112163821433608810634324856075314204043382527027986308742120843575000219816604017773884328153006682827626533064545724324277146784864457589056741406792878911752676027057865740202122907356587997375866817990544999457444136775191768516315901180365038424589657680169573455975582437046733955000/57851042967775108312949450180030714156881160369370521354418482485017061585702197564487104717121747218773053554341475089359379210967364468766316978002574855761113045766061625004767091438735555334609678801493518184697707510541407932740266244178065269949826129228859259518500077851816535788263168597625448649719698047078901257718643081927133294077886004145854530713659849363216596483165808250462861419*t^20 + 4967166362626409334497345149097590536501857099181425067492473541154177548712834548372540373818213720225181142139095692436072609368152147916603827940263676667653818727372554058207557302065201341224435714759573874179010845625901748101985869328101355589707556848458832466306874693526267370740145471295040661546789128017030544596629499177046305467067011680324095303022776969379091014129223717988723453599567061086867751074180300000/57851042967775108312949450180030714156881160369370521354418482485017061585702197564487104717121747218773053554341475089359379210967364468766316978002574855761113045766061625004767091438735555334609678801493518184697707510541407932740266244178065269949826129228859259518500077851816535788263168597625448649719698047078901257718643081927133294077886004145854530713659849363216596483165808250462861419*t^19 - 81089432502778620047809648839443780479621698257086557120186202194621113062761593465430026833429234466253489249779414921827155667843883888638132383828894921999618440964092797281906467886093776343753466123359039357722153169828116490658381347590897511791370447943081851118904261195238463427448217515357069095224854156681564135301519850887328833979653630304080105684928644252102066363176121245159087255765764116787288473971471300000/57851042967775108312949450180030714156881160369370521354418482485017061585702197564487104717121747218773053554341475089359379210967364468766316978002574855761113045766061625004767091438735555334609678801493518184697707510541407932740266244178065269949826129228859259518500077851816535788263168597625448649719698047078901257718643081927133294077886004145854530713659849363216596483165808250462861419*t^18 + 1108617266811530553340468864408691749804027544296987207403064562616380076773395433701270227448521601648689836574574736648078555055940967939601736626305666327231849236642809071964428382618468071019617405061918750877742978838708206243022309678206741613297624204342468992486681045342439819921929305888999042246403345709214439331324174779754189218026515300931212502483943246109234957783667111609388279052535427410862269176784630600000/57851042967775108312949450180030714156881160369370521354418482485017061585702197564487104717121747218773053554341475089359379210967364468766316978002574855761113045766061625004767091438735555334609678801493518184697707510541407932740266244178065269949826129228859259518500077851816535788263168597625448649719698047078901257718643081927133294077886004145854530713659849363216596483165808250462861419*t^17 - 12656429361792605258362259554096117768760724055406484755789056276195617156384531149828150451010265822867395123678807732126592440477455123090909371233663943993776360840357271480415006175152864103632641573250011323800414394394281993692210852903017571779395840082977410524740502109634390110336794646210431259030791730860489637219131194371608981267046561269147810286438612346083775996350478819700009153504362215380321768236913641800000/57851042967775108312949450180030714156881160369370521354418482485017061585702197564487104717121747218773053554341475089359379210967364468766316978002574855761113045766061625004767091438735555334609678801493518184697707510541407932740266244178065269949826129228859259518500077851816535788263168597625448649719698047078901257718643081927133294077886004145854530713659849363216596483165808250462861419*t^16 + 120176768593170493785745068335395586773544150411047474696419666946068019777407425188432880910024670443254528594260827210909198914112112663762282989847142447727234568621826669137525460050523071728310298119770921467299644286259873863209184854321844711637493284534206576117582976179962153917507468351769689043726471824525615864306860366354970555109990148957971027667908336435215237816371403826481912303481524022362525959847157539200000/57851042967775108312949450180030714156881160369370521354418482485017061585702197564487104717121747218773053554341475089359379210967364468766316978002574855761113045766061625004767091438735555334609678801493518184697707510541407932740266244178065269949826129228859259518500077851816535788263168597625448649719698047078901257718643081927133294077886004145854530713659849363216596483165808250462861419*t^15 - 944177505534443848659922836473236539216131451606231459058499000339852424542936371697374072691719272119629473209862726438482665713392266823608618318537897780021126201418976310938233125092816175837447848475680204311510676565436783662709846450214284440437248086146156542281373340449389953937048570482558023961390895615088803971896762219983690824534105076245355663127657792108149614457576598262188540188019455815602379252688484496000000/57851042967775108312949450180030714156881160369370521354418482485017061585702197564487104717121747218773053554341475089359379210967364468766316978002574855761113045766061625004767091438735555334609678801493518184697707510541407932740266244178065269949826129228859259518500077851816535788263168597625448649719698047078901257718643081927133294077886004145854530713659849363216596483165808250462861419*t^14 + 6097677399214719869032907036032604597187059775721128010893751748083718860008186782201601598541896204530342576002065958813611511498109242495460766355123326622293551166406705108093616298830991408452563191301920879951110306681508226380549290519886850252301767507072208343353259543630404522408838435464820711710818012328028255680413402728442593840700240500718726342464019441837770206165824327933542317304462124817233657586569174496000000/57851042967775108312949450180030714156881160369370521354418482485017061585702197564487104717121747218773053554341475089359379210967364468766316978002574855761113045766061625004767091438735555334609678801493518184697707510541407932740266244178065269949826129228859259518500077851816535788263168597625448649719698047078901257718643081927133294077886004145854530713659849363216596483165808250462861419*t^13 - 32108195261436826357569436913121496435487801825825666324388486396388685876746041161898686294107109743238782886088637366816154262182731696218040155975013278498278200488166118072869658843087073090178006265663937280212419248438730013328837370301057013304797451774897358653042904129945281344352587960817061722333633510785341323433920802541714455176663440049340874042513863904906561210472171306874713146206358808237595382400641883232000000/57851042967775108312949450180030714156881160369370521354418482485017061585702197564487104717121747218773053554341475089359379210967364468766316978002574855761113045766061625004767091438735555334609678801493518184697707510541407932740266244178065269949826129228859259518500077851816535788263168597625448649719698047078901257718643081927133294077886004145854530713659849363216596483165808250462861419*t^12 + 136468323332856563302102029304428569904306883139693382522834979304734555465556690603787321255924662940125850520964958592479309148088578842307889786143961421086738045994200900003205924587125217128539176702346290208065699457504739861133647979531334719864977140524738618008497440837244690560583902055606523794771430792427661941664144880288535422998021974108149684770497772371658298180507558620929148495869395660907708534819843005056000000/57851042967775108312949450180030714156881160369370521354418482485017061585702197564487104717121747218773053554341475089359379210967364468766316978002574855761113045766061625004767091438735555334609678801493518184697707510541407932740266244178065269949826129228859259518500077851816535788263168597625448649719698047078901257718643081927133294077886004145854530713659849363216596483165808250462861419*t^11 - 462359124456587597196161317103759613460581964268811879395688361644592214181480843691131663612153970670833638068809832025784916663664309650451373708962089622257822625372201758595641795815933985948897222560281323001990994467463048015150946497267703419106604887821010439745391507232003361464021694678918966631526657328928425637093271081123370176207558954814707280949724431115750063993746474164432842651400901871551638602835302735744000000/57851042967775108312949450180030714156881160369370521354418482485017061585702197564487104717121747218773053554341475089359379210967364468766316978002574855761113045766061625004767091438735555334609678801493518184697707510541407932740266244178065269949826129228859259518500077851816535788263168597625448649719698047078901257718643081927133294077886004145854530713659849363216596483165808250462861419*t^10 + 1229269959403407221546776663046926846394131623000666350909721778882984238981101156964868492979373055472665876480767717381226493218698613928472921609498503620782930195856653385083350192352398523736580700001989335971913011041928155085507814513852238657755743474576560072229250919472958933464277675398597733508556246457876394937892600625141195863526827366020659485561166397392826635958704751833470377541526929371010867522938453977856000000/57851042967775108312949450180030714156881160369370521354418482485017061585702197564487104717121747218773053554341475089359379210967364468766316978002574855761113045766061625004767091438735555334609678801493518184697707510541407932740266244178065269949826129228859259518500077851816535788263168597625448649719698047078901257718643081927133294077886004145854530713659849363216596483165808250462861419*t^9 - 2513991942152639416696649428285741139475698100779420033762162478718145725284614868474693459787587440035863544683680384174094406387886095294005702743730073495689152714834979232556064787028695695424118409408879958889792633536468314142522946902594972771917459851415849689966131044059794820066550741085179485485943131722594866456603995999433861845330552601697063266870053160404320856258793283677364313778777832636139355063477771809536000000/57851042967775108312949450180030714156881160369370521354418482485017061585702197564487104717121747218773053554341475089359379210967364468766316978002574855761113045766061625004767091438735555334609678801493518184697707510541407932740266244178065269949826129228859259518500077851816535788263168597625448649719698047078901257718643081927133294077886004145854530713659849363216596483165808250462861419*t^8 + 3853581343482476119132479940812565233530110431837452708477181246328715490590400694721931876646512742052332868230677023980506586173144096593046605178142760061840718313106309940735814655674641552069282033952214334943793896748837948265798942254268723074450558772491711933124133976592472203229842196444121234545526460516360269567353005266751101817940125767322807875631607791236631008428950524251402433341432899895634546530390726203392000000/57851042967775108312949450180030714156881160369370521354418482485017061585702197564487104717121747218773053554341475089359379210967364468766316978002574855761113045766061625004767091438735555334609678801493518184697707510541407932740266244178065269949826129228859259518500077851816535788263168597625448649719698047078901257718643081927133294077886004145854530713659849363216596483165808250462861419*t^7 - 4277115106645256874929367288253208974201936433628313833168073115191608001046569192229533505350046404777699060254258817619922872222957925848853910303200984740145129348475559456169703344160706079896426316182668678520429799889893964414390265373705222027264058325871304363053072643332505224069675814750444993484568514304919167596152225134695763103309956346316501560383289791580174989905896933503319485094617551236491011830030480746496000000/57851042967775108312949450180030714156881160369370521354418482485017061585702197564487104717121747218773053554341475089359379210967364468766316978002574855761113045766061625004767091438735555334609678801493518184697707510541407932740266244178065269949826129228859259518500077851816535788263168597625448649719698047078901257718643081927133294077886004145854530713659849363216596483165808250462861419*t^6 + 3278444816478779734002127972053755387649672167454814759923690047435139169846723137890277106956665645647571318849353659714471996640925903426727303594910659312251452839561138944000190576297762651367097695985506640939448826066445641209249625497971305576386261605917061982632655800283102580408609581140178714738881955641309005797068955057039944267496353513943884219569991896806901105141802798272183045836568416724499063389855003766784000000/57851042967775108312949450180030714156881160369370521354418482485017061585702197564487104717121747218773053554341475089359379210967364468766316978002574855761113045766061625004767091438735555334609678801493518184697707510541407932740266244178065269949826129228859259518500077851816535788263168597625448649719698047078901257718643081927133294077886004145854530713659849363216596483165808250462861419*t^5 - 1622941072437433049933442641729813344865155812338404459460989990572172793619534641697397410641764017428441519258148679688935072765667999991156624907443162884600342386389712308542311033035860354111257949523555787998587667315635140518980117308457180182626732246288646368918513914954004520626391940519376868519062893713861907701871934095269744581409127919922978197601358181151940552517244958335391914130215377910435350692005004881920000000/57851042967775108312949450180030714156881160369370521354418482485017061585702197564487104717121747218773053554341475089359379210967364468766316978002574855761113045766061625004767091438735555334609678801493518184697707510541407932740266244178065269949826129228859259518500077851816535788263168597625448649719698047078901257718643081927133294077886004145854530713659849363216596483165808250462861419*t^4 + 470382497998701606015975821714293164270609479828367903891941197365460152151159458709857756866531697242849097962374955472010431519079193312574618402110711605834324382133163949599367451263776000798503940126304849589027173979176289055024133544721389473086719007634770091820278994879460253456887476370847618705720669797420609382590033717960167226304840812717089096690087001529332081315254750274833434737649422889973699560817116037120000000/57851042967775108312949450180030714156881160369370521354418482485017061585702197564487104717121747218773053554341475089359379210967364468766316978002574855761113045766061625004767091438735555334609678801493518184697707510541407932740266244178065269949826129228859259518500077851816535788263168597625448649719698047078901257718643081927133294077886004145854530713659849363216596483165808250462861419*t^3 - 69062873813647693445537000635046930429616413767262761602262327712050857621765044986868712268617276493389278237750422598323585769880778353616437183673113745830427506815167684319051270411579445427621917677432786187070188566441589243330875933789388956254290675469922970921159969655629728748482715282886584267718876072190234968317803265858317413429491185430104091630733542660055453680867383756318547301197686786212418812030426890240000000/57851042967775108312949450180030714156881160369370521354418482485017061585702197564487104717121747218773053554341475089359379210967364468766316978002574855761113045766061625004767091438735555334609678801493518184697707510541407932740266244178065269949826129228859259518500077851816535788263168597625448649719698047078901257718643081927133294077886004145854530713659849363216596483165808250462861419*t^2 + 4259550949459922775925307281437740793603451610398051377509809818384524783319795702693644617600608811188664439162770468409592855655847201686084694219780732879251870763192569755769596910953837382539446674815296314700512612217257176399912024992575330634360522185389780375380458501282206930634227038867825348739697686331165581361545165598932106871800785277106519576374803287946646538932272206095958915800523020112835333568507576320000000/57851042967775108312949450180030714156881160369370521354418482485017061585702197564487104717121747218773053554341475089359379210967364468766316978002574855761113045766061625004767091438735555334609678801493518184697707510541407932740266244178065269949826129228859259518500077851816535788263168597625448649719698047078901257718643081927133294077886004145854530713659849363216596483165808250462861419*t - 2200716145088206420348467954663156263131798797124566981930614233908994943679186688117971007357415298497705519217073270392848869118081283989055245601818456259464181678422262280986362171300645896848046679361010849937857963416704653492985725974468267145830629354166589392963743525438062507508967782085486180901791023665074988435179526539136766852508298156290436660121086745382926486669357329080491331507068569408209540149575680000000/1411001047994514836901206101951968637972711228521232228156548353293099063065907257670417188222481639482269598886377441203887297828472304116251633609818898921002757213806381097677246132652086715478284848816915077675553841720522144700982103516538177315849417786069738037036587264678452092396662648722571918285846293831192713602893733705539836440924048881606208066186825594224795036174775810986899059
-------------------------------------------------
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: 1
  current precision for roots: 424
  current precision for roots: 848
 current precision for weights: 424
Linear system for weights solvable: 1
Sufficient bits for target precision reached
Positive weights:   32 out of 34
Indefinite weights: 0 out of 34
Negative weights:   2 out of 34
Extension rule has valid weights: 0
**************************************
*** EXTENSION WITH INVALID WEIGHTS ***
**************************************
