Starting with polynomial:
P : 16*t^4 - 48*t^2 + 12
Extension levels are: 4 5 22 42
-------------------------------------------------
Trying to find an order 5 Kronrod extension for:
P1 : 16*t^4 - 48*t^2 + 12
Solvable: 1
-------------------------------------------------
Trying to find an order 22 Kronrod extension for:
P2 : 16*t^9 - 168*t^7 + 432*t^5 - 270*t^3 + 45*t
Solvable: 1
-------------------------------------------------
Trying to find an order 42 Kronrod extension for:
P3 : 16*t^31 - 1141095506714148484381618599808/394334649438902047439291999*t^29 + 88927831384329774079403741250856/394334649438902047439291999*t^27 - 3939055914409646359068550287760842/394334649438902047439291999*t^25 + 110202597553555404630830260160458875/394334649438902047439291999*t^23 - 2047816122068785856533145189035785000/394334649438902047439291999*t^21 + 2725584358776060213320359628104395525/41508910467252847098872842*t^19 - 94578798240134650855030604178268882575/166035641869011388395491368*t^17 + 1121582156113366272255712317195171533175/332071283738022776790982736*t^15 - 1119240266993390896154782462223483461875/83017820934505694197745684*t^13 + 23394531832116920082065031908230295524125/664142567476045553581965472*t^11 - 153086331990136240261409846974659930367125/2656570269904182214327861888*t^9 + 293927126963706132256150583662299207652875/5313140539808364428655723776*t^7 - 38026238313645153455146941321463075381125/1328285134952091107163930944*t^5 + 76932632729582873183696265897062685384375/10626281079616728857311447552*t^3 - 29620971981452253508004310914218154563125/42505124318466915429245790208*t
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : 16*t^73 - 53692034476408494526209292293781923595384614652492277346668752833907152530290448817387023957000496643357908300487693220979774367894273757488455404431928956074637422481580957319706143186396243421488480417565215143943510786104539069773972635029209871269624215798218784718462106202602190723614493544187566149599181040399584265150890876546700757084474503513239046049637866060461336377917256882870315445957827226758440745809000709002860097230855105263682289094219575454337343366917666043203519514117264998118242072286853725619211666998963879589231585076901311706637843066551493461761893652645998904030192041488043307769353935163118705650049752423177695759297306535448311275593320098079272634132038408550444716999189788/3621423350228663616947590250396779470941902139554788006766517207815737506125373206241823276631082012209100102537974863131779377488749271088176786534678127121673052555433908208676680376321277109944178024643069382525283660400986207054926249930493308415692432280641517265460720940870581896292616414527932073035279198842964021974941757183151537995866962468317636420577282313920198967992241424719148114371224218343700515935695186243633849422447571077381922709873891301101004435077566787794914441719238884145843581545614836400075989863877651033101126898681503867478502751232271820507291847789338987980947164764486147171021278236900339506371986340736419727348751981795393836569499723065485372510543608584029342148175*t^71 + 135151444476410275265337626442250790600554894819106728176580667681312502292018527485721903726681445950887255464649921776046357738872667253420922254211645939266421977875129634051808813287113536010673274320361024398940651318168792479970292621885961332462691654121822342080097196447044317161739900169356455779398671667178519079209805764128660608632589049224970636986792482277927688716185676004585381459397156015142704819507800455947503292633875436384673980015206722818597632426995901372722080145906178936896796147623973545602137567998229913524940426026257641136268265471235198636330738774562278772011638268040680887240736031285865970608741625255612102699079456037316613103137489222029250427410721164864099373126749589146456/20899234154169617733404543335039814326805717247370681587049570806304621147849528773221562129437974292458716691746652935133498787487572043449868235091627471619175186297409084272273122451750090201487851380215153406553412004174091400913979388348876882866961026691582196138973820549764128123504689328240695993486596256522745370817388880703967525774148240404661079783151496233633468244283225262054203768036334964061495677464896919812010945016944932687571075958682226698653896594832637932364451243161727600405663309099743220864838537504437924112026603332290958819218439377361440676147581253592275299638046087855849555323963796705151859291272733172389878246529647686941217830842582901810916084758347165138433333537117925*t^69 - 3357898565297910008480478143946907123119270646447422930078976887063798116916830518423187347163154566840328572126766346937076097901019669343235080499745151178745253231448710403637681094408255717722158252295153162237113034037456520051631918863924906276763971260828457923955791887807262456788822347094437216318591394965859558265931915943796250850024745613785046259034501924438609385742051392398078170755598688882384198259551936473942208457219257608319458634719501213505753392901358405846661120058551523507837239695302227243468188992767509164287126246967226147556070437823339105077292266665966689642399687013597498597653775629568525627643292634630423667098411377773161812275516450080222702350204346529863824957319697197732162/1899930377651783430309503939549074029709610658851880144277233709664056467986320797565596557221634026587156062886059357739408980680688367586351657735602497419925016936128098570206647495613644563771622852746832127868492000379462854628543580758988807533360093335598381467179438231796738920318608120749154181226054205138431397347035352791269775070377112764060098162104681475784860749480293205641291251639666814914681425224081538164728267728813175698870097814425656972604899690439330721124041022105611600036878482645431201896803503409494356737456963939299178074474403579760130970558871023053843209058004189805077232302178526973195623571933884833853625295139058880631019802803871172891901462250758833194403030321556175*t^67 + 14207309347922621935210991307892506849317829859939146731175143917105017453089442259037498335127817743148406193556817054027254444872257321727010023694766872556623117209204814169085955864343442648495096159267133680751391520474166171835464755200958608314297778750239830781485121763172840561176581305892354201129089212050393960485046909876438040266432391922080740907943570825671464571482914816403615229078869924459766364425183398477545876278588598479792861966984784035175164595656212628835638001122680263169666219819129060821090771241305453173951803766519887463175608377947221106686958497820662702703024287257177043000580412688946092762142143707819134574614504105026038585463852757915499389271074931070111840134079654700457689223/41798468308339235466809086670079628653611434494741363174099141612609242295699057546443124258875948584917433383493305870266997574975144086899736470183254943238350372594818168544546244903500180402975702760430306813106824008348182801827958776697753765733922053383164392277947641099528256247009378656481391986973192513045490741634777761407935051548296480809322159566302992467266936488566450524108407536072669928122991354929793839624021890033889865375142151917364453397307793189665275864728902486323455200811326618199486441729677075008875848224053206664581917638436878754722881352295162507184550599276092175711699110647927593410303718582545466344779756493059295373882435661685165803621832169516694330276866667074235850*t^65 - 1064513160571274951948719884803412062008696886629309018526861670868882279100780182573340380851140769259447939232793555288713834589550473762846308900643851602171351867898173851089395604944041507556105036100094863989430862144362413229078191504965437096483910671827150270151955993016451794948171927741577095590095548770224150356959309645977156954910115897572722614051471676762325940372467823870596476124342369632011949735289203236770890987129926733536401404969827124451867176859624983234905202101099759530637112007040323719965133657390005617800426588168552259956696904833853125146397641926200411784661815089215797461171525761662152273484856012149262353308385220683667617163334979569896235617249944703930539032136648717603201979551/21735203520336402442740725068441406899877945937265508850531553638556805993763509924150424614615493264157065359416519052538838738987074925187862964495292570483942193749305447643164047349820093809547365435423759542815548484341055056950538563882831958181639467759245483984532773371754693248444876901370323833226060106783655185650084435932126226805114170020847522974477556082978806974054554272536371918757788362623955504563492796604491382817622729995073918997029515766600052458625943449659029292888196704421889841463732949699432079004615441076507667465582597171987176952455898303193484503735966311623567931370083537536922348573357933662923642499285473376390833594418866544076286217883352728148681051743970666878602642*t^63 + 1194766323912283272911575337297202348140488817762387755217909332508818827945823160924812607992730328941379010630383278595594344934550335556216225203461902169414127980573487214485938768126474175630639852588377319452582872692843605855010562119048290167900628920689251950769334591510397930160458505591122630537774049575588895789442776337678487968029502457323681731135354518837899577036872847750076862873072430920335280026563780368627795831536938691351980926629056734386641786557288178227166678671076425975191690118725629510939194416313077593661306949589255957138073966389750205216692088433949060620173206334791191034031629857710001117514429586997895144242739120538679313100157799206707224763920539042838835867136999935183219258283723/217352035203364024427407250684414068998779459372655088505315536385568059937635099241504246146154932641570653594165190525388387389870749251878629644952925704839421937493054476431640473498200938095473654354237595428155484843410550569505385638828319581816394677592454839845327733717546932484448769013703238332260601067836551856500844359321262268051141700208475229744775560829788069740545542725363719187577883626239555045634927966044913828176227299950739189970295157666000524586259434496590292928881967044218898414637329496994320790046154410765076674655825971719871769524558983031934845037359663116235679313700835375369223485733579336629236424992854733763908335944188665440762862178833527281486810517439706668786026420*t^61 - 42884783674334254426325306945974715521940969891569101813512117887420196942131495550239791856815799541357907147232400379387739944943057071887930245242534343575996047602153882672666231141309911482123314447723199053237911839035297345607642824692583426389928720977969584731606882583957187930465243512243625374083315750010371831636298207735253153598302673936261042166139712372852127506598973227689569058851975943505888539846789551525275274568696402107205117207768877666269955686030460924197857293119086646324986542827140837325040893922593730196294623312890268212647936554604114303876952603349870720451148962974530200350191803121776325692770802223151309220844327434162231641828095464703109283606955396886007600685459650457812164700854673/86940814081345609770962900273765627599511783749062035402126214554227223975054039696601698458461973056628261437666076210155354955948299700751451857981170281935768774997221790572656189399280375238189461741695038171262193937364220227802154255531327832726557871036981935938131093487018772993779507605481295332904240427134620742600337743728504907220456680083390091897910224331915227896218217090145487675031153450495822018253971186417965531270490919980295675988118063066400209834503773798636117171552786817687559365854931798797728316018461764306030669862330388687948707809823593212773938014943865246494271725480334150147689394293431734651694569997141893505563334377675466176305144871533410912594724206975882667514410568*t^59 + 329883248697330396250478150735144792935839199599851287551513263298496201499754020832608830907634361267159151249241391872371729072553791541628561934021359173143053747890291469899795909011765777480020181311599952442243921805972824475674972734136059290726183735555261632334112943968208797445800980737806718497224798892504883639423047720886394709715361951011708750636155639766777385504460647396866915428896467812423571726513207261555907407072491283774855464990826028741965979889169178447736902259838329910906688129643107002218452983258253920328693899945478726503055990135359461137687895310033569970500617061779023581610039112078074181093463217582656604563551364139179795846438954986978808616123286338886619971522715195508955551870060475/9151664640141643133785568449870066063106503552532845831802759426760760418426741020694915627206523479645080151333271180016353153257715757973837037682228450730080923683918083218174335726240039498756785446494214544343388835512023181873910974266455561339637670635471782730329588788107239262503106063734873192937288466014170604484246078287211042865311229482462114936622128877043708199601917588436367123687489836894297054553049598570312161186367465261083755367170322428042127351000397241961696544373977559756585196405782294610287191159838080453266386301297935651363021874718272969765677685783564762788870707945298331594493620451940182594915217894435988790059298355544785913295278407529832727641549916523777122896253744*t^57 - 39792521108193405093270030206338908665167267219251965799294766786336940099331068087712069159969401064078902421014710634783451795603950284335605729874649976286994788922476436298288472639173876081929384791508049014384527210653308965734333693140020959154514421388070982344602133393464578287516099171717465451919877557378918915264829696787474621678962891108656556353006592901265303207209526597553424554891788079558263148840180640121387827243229966024379576156034351707588761692448208010576045025395827537340322512352715199899511781635856392786804255338405774325824845493371294595713083381386307585098384289696979302474843518661166533379026002682997385614689419181932503658487923948412648401336969167869528916641185988718428396391321446091/18303329280283286267571136899740132126213007105065691663605518853521520836853482041389831254413046959290160302666542360032706306515431515947674075364456901460161847367836166436348671452480078997513570892988429088686777671024046363747821948532911122679275341270943565460659177576214478525006212127469746385874576932028341208968492156574422085730622458964924229873244257754087416399203835176872734247374979673788594109106099197140624322372734930522167510734340644856084254702000794483923393088747955119513170392811564589220574382319676160906532772602595871302726043749436545939531355371567129525577741415890596663188987240903880365189830435788871977580118596711089571826590556815059665455283099833047554245792507488*t^55 + 363724991798556921792068055831769569989504117250471494272564873760504344905452364649355231063741077582799217377425108483668438470319416762709362050452171632560051618826341742290745156511922608547069055651414164392888105669028788121272999351010124175831049484302691214277222840410603275276457632044334991339674112774215249043859074769999443899894789015404115392671138807440963642543923063667813075921086923422031857167996060229860428959095164708204629942518022789192742956484365583364857532566599075658307353361098366820584412857418842785717438630749528627786006993253484081116098210241262913833845302822428338996693023926019062319605393581418922922584890412914851008202966946065909187431182580614511909020207006787043879021895443782655/3327878050960597503194752163589114932038728564557398484291912518822094697609724007525423864438735810780029145939371338187764783002805730172304377338992163901847608612333848442972485718632741635911558344179714379761232303822553884317785808824165658668959152958353375538301668650220814277273856750449044797431741260368789310721544028468076742860113174357258950886044410500743166618037060941249588044977269031597926201655654399480113513158679078276757729224425571792015319036727417178895162379772355476275121889602102652585558978603577483801187776836835612964132007954443008352642064613012205368286862075616472120579815861982523702761787351961613086832748835765652649423016464875465393719142381787826828044689546816*t^53 - 30707351397339842060649329530998560663295779038623703186166671549058289343483644260527668252702252027821216051232467964613377666708399783812905051465210544860352091609466304489596132326217632907303828321475257840134750749272748853935470236210106514443225888306516583381114290128042786388656117746544301402555742710441179548261452423014469693283441021039228677423549917484542350239812645242231798096166116410151888890841527334284364403739066393536775416095617800137813376037346775962574185580944081628549796329457357680319226045655511218307369522031470336109088793926531021788991135698102798380708141275365807014529874763614914629206679575852185894995630479144140237184402996329314508352250390391130938095140849773844564580144623756196269/6655756101921195006389504327178229864077457129114796968583825037644189395219448015050847728877471621560058291878742676375529566005611460344608754677984327803695217224667696885944971437265483271823116688359428759522464607645107768635571617648331317337918305916706751076603337300441628554547713500898089594863482520737578621443088056936153485720226348714517901772088821001486333236074121882499176089954538063195852403311308798960227026317358156553515458448851143584030638073454834357790324759544710952550243779204205305171117957207154967602375553673671225928264015908886016705284129226024410736573724151232944241159631723965047405523574703923226173665497671531305298846032929750930787438284763575653656089379093632*t^51 + 10997522363877170526004305124745618473023411720811757900954453414539467342218926105020882664865395464060368265278540067365694062717699171712066767702922811696423941968374176909291163082185524006905705984370328913940832434481747662696667945825701851091602366311324936613726814452217476754084072836513533772173030631948235505755210151563400605944210661249037076666934818368927764712127329495186474934179473271801353723382002462494111173724548066712892199879621991647762439399522486201014973352699067919700236446151211956403014229943099183034175351874235536813483910820842195729747456084737964123875978186763741815823679254160584166153078436605765218483046052217367642157669726052728658613489048842149954270102755576753956109378908338511469/66892021124836130717482455549529948382688011347887406719435427514011953720798472513073846521381624337287018008831584687191251919654386536126721152542556058328595147986610018954220818464979731375106700385521897080627785001458369534025845403500817259677570913735746241975912937692880688990429281416061201958426960007412850466764704089810587796183179384065506550473254482426998323980644441030142473265874754403978416113681495466936955038365408608578044808531167272201312945461857631736586178487886542236685867127680455328352944293539245905551513102247952019379537848330512730706373158050496590317323860816411499911152077627789421161040951798223378629803996698807088430613396278903827009429997623875916141601799936*t^49 - 132173404143760724165093550892200335070365969589298003901091632555325573647594175713123423465954946335832447594606513751344270700800406716118219736389877267770367371358716615555187225643072248812305899259830780951936746590011022951504413752854409946650335891308760379847639716599124022193617974136213651688467194915101438680055992284065117018706102571339560343214890881180380371225779734441852575572426422142769191136108171171216823863227706924430608055213598034420439655877122771003529262067813635267708503748030429965085013461200306583131408819777487086639787650415319208327361962678161918782293318591451699728274311147192590987074686527739612908265680208573124765541321270660738348663978471384765400974280226267052191414677818681180609059/26623024407684780025558017308712919456309828516459187874335300150576757580877792060203390915509886486240233167514970705502118264022445841378435018711937311214780868898670787543779885749061933087292466753437715038089858430580431074542286470593325269351673223666827004306413349201766514218190854003592358379453930082950314485772352227744613942880905394858071607088355284005945332944296487529996704359818152252783409613245235195840908105269432626214061833795404574336122552293819337431161299038178843810200975116816821220684471828828619870409502214694684903713056063635544066821136516904097642946294896604931776964638526895860189622094298815692904694661990686125221195384131719003723149753139054302614624357516374528*t^47 + 6781479137459852487737989388373137948276532313527901217794828117343931367376270293875511714175031322701281146293708915059841985914887111041981526194207064771082012404189165009963602709578916040790006014350517058052193786099139245426255974138321971312318176237854855178092413304431305190278762381093704537015894159821200636741008519738799095402812277366404049474380702432489316038440446564869506360496952633051109957746764184152737622914615733593709890427454749337691612619605634918454743339442184186645376341532873914281974688281712974197322909234863441169318339466609664828678572966689444217208541717100946416866192574156657437950196555252851040697950146853704447565600272380951596970277380921015215736477799660356037516094166013800812901451/53246048815369560051116034617425838912619657032918375748670600301153515161755584120406781831019772972480466335029941411004236528044891682756870037423874622429561737797341575087559771498123866174584933506875430076179716861160862149084572941186650538703346447333654008612826698403533028436381708007184716758907860165900628971544704455489227885761810789716143214176710568011890665888592975059993408719636304505566819226490470391681816210538865252428123667590809148672245104587638674862322598076357687620401950233633642441368943657657239740819004429389369807426112127271088133642273033808195285892589793209863553929277053791720379244188597631385809389323981372250442390768263438007446299506278108605229248715032749056*t^45 - 296006307223207108107709751832143707261667840540047108304987551695949781580055388570499524956879899132946690290913852304435091301898734346673069279045123834719359370813268289679478416611316673489746060909589657383346700219199819516235206441498850308745623273584114013364719949251319004550292416127269797215617939460862010378175675908272534650345718344625098492511092718602566454998343148016655702774237541877487690485056561503966845634420867043915865947495824031424149878844966157161154828042525402594338212522776866954899516492065491885835561280229940668150595325714490245455324849547324723699845636996299657249552323993065686408516639877446089296758629577009171905049404454291866649791447388338959223797297412184775769223708491588362782084725/106492097630739120102232069234851677825239314065836751497341200602307030323511168240813563662039545944960932670059882822008473056089783365513740074847749244859123475594683150175119542996247732349169867013750860152359433722321724298169145882373301077406692894667308017225653396807066056872763416014369433517815720331801257943089408910978455771523621579432286428353421136023781331777185950119986817439272609011133638452980940783363632421077730504856247335181618297344490209175277349724645196152715375240803900467267284882737887315314479481638008858778739614852224254542176267284546067616390571785179586419727107858554107583440758488377195262771618778647962744500884781536526876014892599012556217210458497430065498112*t^43 + 10996539759222398428723664694513208755414442714466779074126217072282955843644157082356249505434568668266811374940436083722250866346511139694732645740585686345400219202484531315863476720293368463830642044264572948148958197320119651614845250069334973794823389672416397222025359163067042266494385299884588436003516035263437126482097512168198426364295446598187986849030900960293948424976845319539339974127039905633712396273778345496794461829058041552325815309605821182340094831439746188552153211577240683956222288649397400205275404829144277675535153169450284883237996255744860420066916683843519652842958771994981546139486177363616289897182422960547344615068034711876937610946778148412403635416274120503636834504441317033836142558707345352992197815415/212984195261478240204464138469703355650478628131673502994682401204614060647022336481627127324079091889921865340119765644016946112179566731027480149695498489718246951189366300350239085992495464698339734027501720304718867444643448596338291764746602154813385789334616034451306793614132113745526832028738867035631440663602515886178817821956911543047243158864572856706842272047562663554371900239973634878545218022267276905961881566727264842155461009712494670363236594688980418350554699449290392305430750481607800934534569765475774630628958963276017717557479229704448509084352534569092135232781143570359172839454215717108215166881516976754390525543237557295925489001769563073053752029785198025112434420916994860130996224*t^41 - 173757772624348991134342851676034507929153056477277647910494526327271678817026135948855643733193321728479923133102786693423828492430964035924113544121567938297657649773153995241312211240133992793993083874852293653750339601202215320173997165386144385906496621839408893551147296796675090958416743862518265082095162455919023188357816656170375004298518762497582291524146041628269145174699106607440885884311709684707502374367173364267636492258085993591801844310525634324125651398631143849652899995227079159298230054443383766498818844645064307651655009468038158788633043249270105106918114731003574782531608251849661984727550600488844383219698886274783913839897832179600201532964132932821407012334434275385575732853450363097634795799673068271615802857785/212984195261478240204464138469703355650478628131673502994682401204614060647022336481627127324079091889921865340119765644016946112179566731027480149695498489718246951189366300350239085992495464698339734027501720304718867444643448596338291764746602154813385789334616034451306793614132113745526832028738867035631440663602515886178817821956911543047243158864572856706842272047562663554371900239973634878545218022267276905961881566727264842155461009712494670363236594688980418350554699449290392305430750481607800934534569765475774630628958963276017717557479229704448509084352534569092135232781143570359172839454215717108215166881516976754390525543237557295925489001769563073053752029785198025112434420916994860130996224*t^39 + 717652660634563352947548614249726547456052032492275000737784343610970272874563545692328468315805806416887545862708090528357692001660160633319022772022598103483540494539398463604928733616474441255686601883044278886053600434566858026012429477946238265282970404506212336890332093073462364788564063433968123423560289503422399917894508314940731625279462772597115766437842277849228569539415993449439896258460298548109938221280445008180683958113620465728175490159921096547262085380859211310518912750345116467585650559327678592067354352353970129210196208087868977856246578989672450076534678022671939415027218135583144399390700257364290195359941873344576724213580422117961386353455130165735672798333219813971037972640313268424078389284057407316094620737635/65533598541993304678296657990677955584762654809745693229133046524496634045237641994346808407408951350745189335421466352005214188362943609546916969137076458374845215750574246261612026459229373753335302777692837016836574598351830337334859004537416047634887935179881856754248244188963727306315948316535036010963520204185389503439636252909818936322228664266022417448259160630019281093652892381530349193398528622236085201834425097454543028355526464526921437034842029135070897954016830599781659170901769378956246441395252235531007578655064296392620836171532070678291848949031549098182195456240351867802822412139758682187143128271235992847504777090226940706438612000544480945555000624549291700034595206435998418501844992*t^37 - 16329904324779726771677560216846292883713630562613234379598576947620265199243617101563910069483960035378878592666746361826380550078596761608232222495359340983628932274580712253690863960655064857071757119662915276659827260784417811136158510056045682809524632274108903076494781396718455894172381302416187087595440474339669289009929148297347317100592274017341218925565337838192309991547207961111273146154087047190588777420174370760584022339800877402830319582652516376497319805814831139275013786989590107793598109871603311729926791455373360352273235588847258177487023154260748743469602857950838756247342223326906828532675822146057667200943823848921525178187940116385555294638285775724493136508912555522457565486052569331865014617398876948343834379915715/131067197083986609356593315981355911169525309619491386458266093048993268090475283988693616814817902701490378670842932704010428376725887219093833938274152916749690431501148492523224052918458747506670605555385674033673149196703660674669718009074832095269775870359763713508496488377927454612631896633070072021927040408370779006879272505819637872644457328532044834896518321260038562187305784763060698386797057244472170403668850194909086056711052929053842874069684058270141795908033661199563318341803538757912492882790504471062015157310128592785241672343064141356583697898063098196364390912480703735605644824279517364374286256542471985695009554180453881412877224001088961891110001249098583400069190412871996837003689984*t^35 + 156976799834916987374034008482121375623299508535872845261532059342276294374595696559572163687982445206120264924007571829871770566720370536628874185872190777252380049778728406320102934725297780753445197492589055308816023266777036789763998552096099024193334175228166758893362929416548808893923613285874906704460513833096108583922756948681259557018980724831538304517869821892220917864041560630831966664902723986106443182517321059830214246999016238860809047853851806523263322821357066440944392734351738756003557860995941271162903317172182440171580194269080450382140099123956672132725011670900784166286335671769303548204415774814191018070539996725043231693931726548643585876450047571703521671101676241780350786924020038214470619495448104960259631998363875/131067197083986609356593315981355911169525309619491386458266093048993268090475283988693616814817902701490378670842932704010428376725887219093833938274152916749690431501148492523224052918458747506670605555385674033673149196703660674669718009074832095269775870359763713508496488377927454612631896633070072021927040408370779006879272505819637872644457328532044834896518321260038562187305784763060698386797057244472170403668850194909086056711052929053842874069684058270141795908033661199563318341803538757912492882790504471062015157310128592785241672343064141356583697898063098196364390912480703735605644824279517364374286256542471985695009554180453881412877224001088961891110001249098583400069190412871996837003689984*t^33 - 5078848428907588998143093584711380781036023245229342979009777727341190484118495201394637793155870353917380348928259007852106209498194969560197471752875294253590844908643378986673733962844036706874155479505846675569090131469156939677601730468922137908260823208636918564688965900409375065898440654387065629115327614901552040736290602000455060191602904545564105884577323186081045669952412354391077207931535152607504777849149225250713553471560860390907808989646616197532507927063659237538775406871991199821132898878233407980804160428766905262440785491265156126694222627915425251969527732424562403929064405165884934003801597463095461424475692789700667818590498713985476591484093500292428941490881745041836278092567745021321784096443165565383246656070693425/524268788335946437426373263925423644678101238477965545833064372195973072361901135954774467259271610805961514683371730816041713506903548876375335753096611666998761726004593970092896211673834990026682422221542696134692596786814642698678872036299328381079103481439054854033985953511709818450527586532280288087708161633483116027517090023278551490577829314128179339586073285040154248749223139052242793547188228977888681614675400779636344226844211716215371496278736233080567183632134644798253273367214155031649971531162017884248060629240514371140966689372256565426334791592252392785457563649922814942422579297118069457497145026169887942780038216721815525651508896004355847564440004996394333600276761651487987348014759936*t^31 + 2371518486230097849228843182833059435856805570025334383558123686592363143269095514174649220648127592670611502249223429141904385328558045499634417271004646043790894993671021856731596572006739771252448514291791918813079750681158638315573030990297008781081466406254937594202331881037343526907842804324460153913571424680724013042890122727463746636679219285486839242611513609768761793710495550543483067178919141349454457155082872290062149288894926092307874441739024991340308356103490986634810094589666740948621085922690967615494478051349863800799334361006138638964130999919124907008578746199356203740263389373051541421433896017722337835104784387511260320031575797141343016817737301007081860557945886298638449330399488599883115157829926798250260730927970725/36156468161099754305267121650029216874351809550204520402280301530756763611165595583087894293742869710755966529887705573520118172889899922508643845041145632206811153517558204833992842184402413105288442911830530767909834261159630530943370485262022646970972653892348610623033514035290332306932937002226226764669528388516076967414971725743348378660539952698495126868005054140700293017187802693258123692909533032957840111356924191699058222540980118359680792846809395384866702319457561710224363680497527933217239415942208129948142112361414784216618392370500452788023089075327751226583280251718814823615350296352970307413596208701371582260692290808401070734586820414093506728582069310096160937950121493206068092966535168*t^29 - 26709206309180100102247666907031399461560311337048677263631520637245600926058111696809491522687628459459332223776722764924039895448931837343265864816138259050767548823786859871501683419542890263877118085006522053139695893464885956221475467099628069695801425941937997490590416046852616342503798186942792944118817830852443575755142972463844316845244576610590961143636448730153142815101076187113479869590134947367967551019236072422188125848898682744924718272144114223580332714081103751329058248075245981415132902893618365847586201236278537628623879900392518000227150146254396648136525216128743530245886765006546184307434686576307093037086754849833631394082307803734534758338141776240541610210861514953488582925241652493422369239284670476074335996461737275/72312936322199508610534243300058433748703619100409040804560603061513527222331191166175788587485739421511933059775411147040236345779799845017287690082291264413622307035116409667985684368804826210576885823661061535819668522319261061886740970524045293941945307784697221246067028070580664613865874004452453529339056777032153934829943451486696757321079905396990253736010108281400586034375605386516247385819066065915680222713848383398116445081960236719361585693618790769733404638915123420448727360995055866434478831884416259896284224722829568433236784741000905576046178150655502453166560503437629647230700592705940614827192417402743164521384581616802141469173640828187013457164138620192321875900242986412136185933070336*t^27 + 248241872771806100832081933607274446567067506389003512235898281476659218642080380453216893775900290338588337658441252342293256995628356499445340598481468558874602114297155187864791585390261854545854533413472446975086122198497364844979236059944546835573901101916962422372774567485152961636273698480534647452463676503441971771335211403001965087234737323561028267974315054354182424611982798725571944087060479914917821590067691803862383217350539930311657180644440354216357836246599974484093651462780219756042622977527603921034485734358509848619348790576796388011822309444477756988314074784869711638666973919154870172714374401731534928504196764598113990138786889435118424716531269141996013004677905692436310049193568538693725449350486090517181168477353873475/144625872644399017221068486600116867497407238200818081609121206123027054444662382332351577174971478843023866119550822294080472691559599690034575380164582528827244614070232819335971368737609652421153771647322123071639337044638522123773481941048090587883890615569394442492134056141161329227731748008904907058678113554064307869659886902973393514642159810793980507472020216562801172068751210773032494771638132131831360445427696766796232890163920473438723171387237581539466809277830246840897454721990111732868957663768832519792568449445659136866473569482001811152092356301311004906333121006875259294461401185411881229654384834805486329042769163233604282938347281656374026914328277240384643751800485972824272371866140672*t^25 - 1886014976779926024740966830794623680736059018428596675806647941570461718610994331527598089181787071837245999388204289217191992768022874663202211696087107068455899847179834460948275521973148207309802119465472643191791412255582972869441987462742475709056452601272742759664117527091546283210785208194775759802312532222516854288688244862610473500834294621212962602628700606940178740284778979405412863049492561959861867994313608993413387839289761970197932888717587543400734872203487837728836265750888689228926572668271380773103110083320884848824185561983166958711731512565129469898481417452501048117502343098771141274448868630389268671830545709310767774109852898174672496473700208607633159557576357984160059176641423996913930710674578850488912120495510709375/289251745288798034442136973200233734994814476401636163218242412246054108889324764664703154349942957686047732239101644588160945383119199380069150760329165057654489228140465638671942737475219304842307543294644246143278674089277044247546963882096181175767781231138788884984268112282322658455463496017809814117356227108128615739319773805946787029284319621587961014944040433125602344137502421546064989543276264263662720890855393533592465780327840946877446342774475163078933618555660493681794909443980223465737915327537665039585136898891318273732947138964003622304184712602622009812666242013750518588922802370823762459308769669610972658085538326467208565876694563312748053828656554480769287503600971945648544743732281344*t^23 + 11578740505651107737628587609322118350887066762530847795359477723435922992930628914610062702878686928700675193155469042826831205987565018541011874764240147046944099251408043903591561826252546172717549045983554968183904957545779718018916334065867751838254527108538333416103620591409422447070642156807441330789240264630719877487221233235150995482382280752120137682631394919863355277432159208814833635714416640029016966520032995768967279473303280322671358011468268398559090550525107288981530459430003664090511597422965052101746674286143803621980261484580885775218762172749339935577569513929775181108127252959093933447436083878166483181329075880174307399976468133630272537758339832837101308335816256930337457246650012601106153990783373908183161179348248343125/578503490577596068884273946400467469989628952803272326436484824492108217778649529329406308699885915372095464478203289176321890766238398760138301520658330115308978456280931277343885474950438609684615086589288492286557348178554088495093927764192362351535562462277577769968536224564645316910926992035619628234712454216257231478639547611893574058568639243175922029888080866251204688275004843092129979086552528527325441781710787067184931560655681893754892685548950326157867237111320987363589818887960446931475830655075330079170273797782636547465894277928007244608369425205244019625332484027501037177845604741647524918617539339221945316171076652934417131753389126625496107657313108961538575007201943891297089487464562688*t^21 - 56638325383150329224728932593085333776744687593044886581635217614598371946791473632992816203078353611732797045108102118735019913596667901381023316088188517147442583955075606063907058906179299480630861722942516039425126304076988417427332629608095447485528420655526790324204156099637802560003833689013739227308612016982856915462722158022973559999639083313144605169677106202727041605778300825348234504258754448137054128539443472403938777837088228931392031244837408489586678955516657238636133023848191201651962767982390532438925112178395737313146317658921816396068872003392327981150385122327632763603468024884476155873923296677265419120746936104263839187280693297616546680917318662110837629982217809855054786330147255409130463372759853294175739897845648964375/1157006981155192137768547892800934939979257905606544652872969648984216435557299058658812617399771830744190928956406578352643781532476797520276603041316660230617956912561862554687770949900877219369230173178576984573114696357108176990187855528384724703071124924555155539937072449129290633821853984071239256469424908432514462957279095223787148117137278486351844059776161732502409376550009686184259958173105057054650883563421574134369863121311363787509785371097900652315734474222641974727179637775920893862951661310150660158340547595565273094931788555856014489216738850410488039250664968055002074355691209483295049837235078678443890632342153305868834263506778253250992215314626217923077150014403887782594178974929125376*t^19 + 216958211540736246826395436457421913302810105605180340043715997735378039470843960658373046147682070648055907941212400755513911307083390521352580121392570550486993053729185202436898279562337001535052272473932293415006987068236879652192507403988082260653300248836859022453977009412327300384917257065769343586744656593392814000605373508468009263393836191592339794392423233814190919456186027816744470842025220869115001897054195384086701523261079165423803044842428482337376332960195760943800263771829969962819055386165473471094649855264085960962041265819123116177340709433492984596485300380328307521780093235910056529139254906143130277250702148331526216487328023796934839263248539451128696225945091803924899800176825274163526080968491545887340659943457106273125/2314013962310384275537095785601869879958515811213089305745939297968432871114598117317625234799543661488381857912813156705287563064953595040553206082633320461235913825123725109375541899801754438738460346357153969146229392714216353980375711056769449406142249849110311079874144898258581267643707968142478512938849816865028925914558190447574296234274556972703688119552323465004818753100019372368519916346210114109301767126843148268739726242622727575019570742195801304631468948445283949454359275551841787725903322620301320316681095191130546189863577111712028978433477700820976078501329936110004148711382418966590099674470157356887781264684306611737668527013556506501984430629252435846154300028807775565188357949858250752*t^17 - 636969880804257742979667401743311254579133768872853303251783905024168189518184298508335416638354188620353299994370503915440474577379276697117465787097867638573185635027157799305054004454893210241955305609004243680358509390248449318045686707352270501016062138155776869697301242130311204663682601539566590728217758396703358467410073255727975971349114338896816702850856439774948265085521007231580099241362826330474441083386042969771004145336281910932337287071871098541075233633546846135888269551143992262057962502819929921314530678885484587728794749108644368128685842014201588266807916266606041953800994081562955265076196587143365206875623378889051527269001878130526108898559267894951161519302233684783194929586672665031293932515145556979389134621940014845625/4628027924620768551074191571203739759917031622426178611491878595936865742229196234635250469599087322976763715825626313410575126129907190081106412165266640922471827650247450218751083799603508877476920692714307938292458785428432707960751422113538898812284499698220622159748289796517162535287415936284957025877699633730057851829116380895148592468549113945407376239104646930009637506200038744737039832692420228218603534253686296537479452485245455150039141484391602609262937896890567898908718551103683575451806645240602640633362190382261092379727154223424057956866955401641952157002659872220008297422764837933180199348940314713775562529368613223475337054027113013003968861258504871692308600057615551130376715899716501504*t^15 + 1395016569255515383184090442043035186521392689919341029389422881287632402519810560160640783632271706199702564104878524754229264841815895562507124513911915800563624963703031532283290205483864462206934715901465826280703852245881916970338988712134398189068726120285606281118394779575405552207641842264306856601145860351953685811797095308174538176855160469454602666237063984740166515901690737886744035058601841455483250458149670077562742270291347605242000508284540822763059675376775684570967305294307527343578387886371668060133886538796453854316020787309696244583029099930224357046598796319522004267165494058333879701999097440132114346446499756531272522387399968410742228256173098664131740584309969266850303168312796242334451689624482291774286685372606555390625/9256055849241537102148383142407479519834063244852357222983757191873731484458392469270500939198174645953527431651252626821150252259814380162212824330533281844943655300494900437502167599207017754953841385428615876584917570856865415921502844227077797624568999396441244319496579593034325070574831872569914051755399267460115703658232761790297184937098227890814752478209293860019275012400077489474079665384840456437207068507372593074958904970490910300078282968783205218525875793781135797817437102207367150903613290481205281266724380764522184759454308446848115913733910803283904314005319744440016594845529675866360398697880629427551125058737226446950674108054226026007937722517009743384617200115231102260753431799433003008*t^13 - 2201465298212709286598513446367388880655013098381559343148634170457607193411188346066789008879274812821943061949886095997144614921952972006327595438774576055505585482501035444419489131246583074664146965308038112976811620631059396842131112185144917827441757756129035860891437797868908884324363334085416986330154940423159180916015309499527092150974863443030003825394347473637268619756330457436670272540567062991151940580451948618550773528988463967691486734966477666775539574658152206372761668689000713810345654775754286533872080812606032006705462448953647310374702352911975338923891927485544333621257001604622094387068794013824421954165100538373623661306213518408927154832244011389515607326625767871417962248024734690827665900738291664661329301321818715609375/18512111698483074204296766284814959039668126489704714445967514383747462968916784938541001878396349291907054863302505253642300504519628760324425648661066563689887310600989800875004335198414035509907682770857231753169835141713730831843005688454155595249137998792882488638993159186068650141149663745139828103510798534920231407316465523580594369874196455781629504956418587720038550024800154978948159330769680912874414137014745186149917809940981820600156565937566410437051751587562271595634874204414734301807226580962410562533448761529044369518908616893696231827467821606567808628010639488880033189691059351732720797395761258855102250117474452893901348216108452052015875445034019486769234400230462204521506863598866006016*t^11 + 598132224267280757966152898473083387184468085919473006761334003826589796995251310432917625039890515395281710094276333389421609064670911179376114434526409394265904887328800034731858630415756976613222129838235429721050707334605850862720457782135035497400726101983032328208304066440729308221077236251621539825232087656755506617182635218270339292722986259396314287398599711759608487671196084884133082370225294641765465443438935159668346029861431912199725354029582624732850314049134306028552396937055180612025923107083236281730982561101543238599077428682651010590735679974129405133947261054334944313917903577799410880302995523472052336352272165086858896372121870512502625803840109253558206580204233958995786287840460841210270967467229072569443600774673824728125/9256055849241537102148383142407479519834063244852357222983757191873731484458392469270500939198174645953527431651252626821150252259814380162212824330533281844943655300494900437502167599207017754953841385428615876584917570856865415921502844227077797624568999396441244319496579593034325070574831872569914051755399267460115703658232761790297184937098227890814752478209293860019275012400077489474079665384840456437207068507372593074958904970490910300078282968783205218525875793781135797817437102207367150903613290481205281266724380764522184759454308446848115913733910803283904314005319744440016594845529675866360398697880629427551125058737226446950674108054226026007937722517009743384617200115231102260753431799433003008*t^9 - 3368370717232211255790688052897790138737292737832961508066145002403052775812216179297323662669493157919178706836518015721344892063071231313867341807364130708622567345781864798130112871419040505593718074666025899171139241029227860877794736805770768577131577702614221451122500899422061724171788336523225911559527547896600437699637908796544865677652337032340928918205204691718869088353913452262182411144321925450143828138322117521018981206450021926301052101791419123836613153746239335467636741968196480548007440295628309602208386966486714040831009963114678660548782324004282988168861011450170718722671231384051806932122056435230659047834366220793258681661798512004259758828489671925416966889202392414797468159352682769656532651425291298684744348623510960971875/148096893587864593634374130278519672317345011917637715567740115069979703751334279508328015027170794335256438906420042029138404036157030082595405189288532509519098484807918407000034681587312284079261462166857854025358681133709846654744045507633244761993103990343059909111945273488549201129197309961118624828086388279361851258531724188644754958993571646253036039651348701760308400198401239831585274646157447302995313096117961489199342479527854564801252527500531283496414012700498172765078993635317874414457812647699284500267590092232354956151268935149569854619742572852542469024085115911040265517528474813861766379166090070840818000939795623151210785728867616416127003560272155894153875201843697636172054908790928048128*t^7 + 701716858183427236462929971164009784570448962756724851439006861921554764676128414063822566476059131915212520227941289064864440668068450926768944180459697791045985140881409885391828396804499051653273447089469530260848770885826751661704292415764020203032352479566593574416435337332109986764528655527662601593375251899307441764349521478276907171808831916765226997265663862160138360044485982221827613765223855943717754636219755333393622366373569159899383681798587909005772781600446765846628564495050639717808056202867736220167344095515058969681187862438054975577718839926801714166505929258610020133824189981125078259509717634804437345221895707167268380166940783314804125295357659537612738235752145975546146683398916868355977655142878808882404708752470494084375/148096893587864593634374130278519672317345011917637715567740115069979703751334279508328015027170794335256438906420042029138404036157030082595405189288532509519098484807918407000034681587312284079261462166857854025358681133709846654744045507633244761993103990343059909111945273488549201129197309961118624828086388279361851258531724188644754958993571646253036039651348701760308400198401239831585274646157447302995313096117961489199342479527854564801252527500531283496414012700498172765078993635317874414457812647699284500267590092232354956151268935149569854619742572852542469024085115911040265517528474813861766379166090070840818000939795623151210785728867616416127003560272155894153875201843697636172054908790928048128*t^5 - 73677945968654566824400954957350423272611184138949770938011760784213479056453214687124805878601377581520875779757799771761185302671545581322646484369378477535343422624151782696914170511104431887476931932200847337768822405688940797043933751820855773359303741373891984618813105902712930481682788799888074302944761123911104656369058859696722228176275632270646668846677577851902898135736464044844361148484399628652435466567630411881809385827861265362913701175137009289329843279723694253038824614664915886002097254467086598314145224012155204608576746524677715532766335110525987326745429650370650742162508286115205474615183557414119912905532544141953846844076421091266779124905629302417555231713624273312940825744823636875439557733029875302062259216154037421875/148096893587864593634374130278519672317345011917637715567740115069979703751334279508328015027170794335256438906420042029138404036157030082595405189288532509519098484807918407000034681587312284079261462166857854025358681133709846654744045507633244761993103990343059909111945273488549201129197309961118624828086388279361851258531724188644754958993571646253036039651348701760308400198401239831585274646157447302995313096117961489199342479527854564801252527500531283496414012700498172765078993635317874414457812647699284500267590092232354956151268935149569854619742572852542469024085115911040265517528474813861766379166090070840818000939795623151210785728867616416127003560272155894153875201843697636172054908790928048128*t^3 + 20693331471951547216371657203624921080400099453830845994031349673828442835619492051514342682761075548904815345172573729583115919400998828951450891406075242840275335835083556022925723161855818707724647771339721794198086635654831495672819124190460237821621610652624754619342242455741125251649149211623951901441007115020213830953175776344305064173726303505633147105427258366473201684841664712483533146060471817684950466478836919862508747232556269389243742928853479104118210562680351285196036804093329857110836006647079595901076631798631680184837160925597690716368073337866219949674201698722236715048720961419610888037695109974282753060118771389141888611200812590222585202234392156122754039012769420911359095119904828648485829344639787460347143551242200265625/1184775148702916749074993042228157378538760095341101724541920920559837630010674236066624120217366354682051511251360336233107232289256240660763241514308260076152787878463347256000277452698498272634091697334862832202869449069678773237952364061065958095944831922744479272895562187908393609033578479688948998624691106234894810068253793509158039671948573170024288317210789614082467201587209918652682197169259578423962504768943691913594739836222836518410020220004250267971312101603985382120631949082542995315662501181594276002140720737858839649210151481196558836957940582820339752192680927288322124140227798510894131033328720566726544007518364985209686285830940931329016028482177247153231001614749581089376439270327424385024*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
Sufficient bits for target precision reached
Positive weights:   69 out of 73
Indefinite weights: 0 out of 73
Negative weights:   4 out of 73
Extension rule has valid weights: 0
**************************************
*** EXTENSION WITH INVALID WEIGHTS ***
**************************************
