Starting with polynomial:
P : t^4 - 6*t^2 + 3
Extension levels are: 4 5 22 42
-------------------------------------------------
Trying to find an order 5 Kronrod extension for:
P1 : t^4 - 6*t^2 + 3
Solvable: 1
-------------------------------------------------
Trying to find an order 22 Kronrod extension for:
P2 : t^9 - 21*t^7 + 108*t^5 - 135*t^3 + 45*t
Solvable: 1
-------------------------------------------------
Trying to find an order 42 Kronrod extension for:
P3 : t^31 - 142636938339268560547702324976/394334649438902047439291999*t^29 + 22231957846082443519850935312714/394334649438902047439291999*t^27 - 1969527957204823179534275143880421/394334649438902047439291999*t^25 + 110202597553555404630830260160458875/394334649438902047439291999*t^23 - 4095632244137571713066290378071570000/394334649438902047439291999*t^21 + 5451168717552120426640719256208791050/20754455233626423549436421*t^19 - 94578798240134650855030604178268882575/20754455233626423549436421*t^17 + 1121582156113366272255712317195171533175/20754455233626423549436421*t^15 - 8953922135947127169238259697787867695000/20754455233626423549436421*t^13 + 46789063664233840164130063816460591048250/20754455233626423549436421*t^11 - 153086331990136240261409846974659930367125/20754455233626423549436421*t^9 + 293927126963706132256150583662299207652875/20754455233626423549436421*t^7 - 304209906509161227641175530571704603049000/20754455233626423549436421*t^5 + 153865265459165746367392531794125370768750/20754455233626423549436421*t^3 - 29620971981452253508004310914218154563125/20754455233626423549436421*t
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : t^73 - 13423008619102123631552323073445480898846153663123069336667188208476788132572612204346755989250124160839477075121923305244943591973568439372113851107982239018659355620395239329926535796599060855372120104391303785985877696526134767443493158757302467817406053949554696179615526550650547680903623386046891537399795260099896066287722719136675189271118625878309761512409466515115334094479314220717578861489456806689610186452250177250715024307713776315920572273554893863584335841729416510800879878529316249529560518071713431404802916749740969897307896269225327926659460766637873365440473413161499726007548010372010826942338483790779676412512438105794423939824326633862077818898330024519818158533009602137611179249797447/7242846700457327233895180500793558941883804279109576013533034415631475012250746412483646553262164024418200205075949726263558754977498542176353573069356254243346105110867816417353360752642554219888356049286138765050567320801972414109852499860986616831384864561283034530921441881741163792585232829055864146070558397685928043949883514366303075991733924936635272841154564627840397935984482849438296228742448436687401031871390372487267698844895142154763845419747782602202008870155133575589828883438477768291687163091229672800151979727755302066202253797363007734957005502464543641014583695578677975961894329528972294342042556473800679012743972681472839454697503963590787673138999446130970745021087217168058684296350*t^71 + 33787861119102568816334406610562697650138723704776682044145166920328125573004631871430475931670361487721813866162480444011589434718166813355230563552911484816605494468782408512952203321778384002668318580090256099735162829542198119992573155471490333115672913530455585520024299111761079290434975042339113944849667916794629769802451441032165152158147262306242659246698120569481922179046419001146345364849289003785676204876950113986875823158468859096168495003801680704649408106748975343180520036476544734224199036905993386400534391999557478381235106506564410284067066367808799659082684693640569693002909567010170221810184007821466492652185406313903025674769864009329153275784372305507312606852680291216024843281687397286614/20899234154169617733404543335039814326805717247370681587049570806304621147849528773221562129437974292458716691746652935133498787487572043449868235091627471619175186297409084272273122451750090201487851380215153406553412004174091400913979388348876882866961026691582196138973820549764128123504689328240695993486596256522745370817388880703967525774148240404661079783151496233633468244283225262054203768036334964061495677464896919812010945016944932687571075958682226698653896594832637932364451243161727600405663309099743220864838537504437924112026603332290958819218439377361440676147581253592275299638046087855849555323963796705151859291272733172389878246529647686941217830842582901810916084758347165138433333537117925*t^69 - 1678949282648955004240239071973453561559635323223711465039488443531899058458415259211593673581577283420164286063383173468538048950509834671617540249872575589372626615724355201818840547204127858861079126147576581118556517018728260025815959431962453138381985630414228961977895943903631228394411173547218608159295697482929779132965957971898125425012372806892523129517250962219304692871025696199039085377799344441192099129775968236971104228609628804159729317359750606752876696450679202923330560029275761753918619847651113621734094496383754582143563123483613073778035218911669552538646133332983344821199843506798749298826887814784262813821646317315211833549205688886580906137758225040111351175102173264931912478659848598866081/1899930377651783430309503939549074029709610658851880144277233709664056467986320797565596557221634026587156062886059357739408980680688367586351657735602497419925016936128098570206647495613644563771622852746832127868492000379462854628543580758988807533360093335598381467179438231796738920318608120749154181226054205138431397347035352791269775070377112764060098162104681475784860749480293205641291251639666814914681425224081538164728267728813175698870097814425656972604899690439330721124041022105611600036878482645431201896803503409494356737456963939299178074474403579760130970558871023053843209058004189805077232302178526973195623571933884833853625295139058880631019802803871172891901462250758833194403030321556175*t^67 + 14207309347922621935210991307892506849317829859939146731175143917105017453089442259037498335127817743148406193556817054027254444872257321727010023694766872556623117209204814169085955864343442648495096159267133680751391520474166171835464755200958608314297778750239830781485121763172840561176581305892354201129089212050393960485046909876438040266432391922080740907943570825671464571482914816403615229078869924459766364425183398477545876278588598479792861966984784035175164595656212628835638001122680263169666219819129060821090771241305453173951803766519887463175608377947221106686958497820662702703024287257177043000580412688946092762142143707819134574614504105026038585463852757915499389271074931070111840134079654700457689223/41798468308339235466809086670079628653611434494741363174099141612609242295699057546443124258875948584917433383493305870266997574975144086899736470183254943238350372594818168544546244903500180402975702760430306813106824008348182801827958776697753765733922053383164392277947641099528256247009378656481391986973192513045490741634777761407935051548296480809322159566302992467266936488566450524108407536072669928122991354929793839624021890033889865375142151917364453397307793189665275864728902486323455200811326618199486441729677075008875848224053206664581917638436878754722881352295162507184550599276092175711699110647927593410303718582545466344779756493059295373882435661685165803621832169516694330276866667074235850*t^65 - 1064513160571274951948719884803412062008696886629309018526861670868882279100780182573340380851140769259447939232793555288713834589550473762846308900643851602171351867898173851089395604944041507556105036100094863989430862144362413229078191504965437096483910671827150270151955993016451794948171927741577095590095548770224150356959309645977156954910115897572722614051471676762325940372467823870596476124342369632011949735289203236770890987129926733536401404969827124451867176859624983234905202101099759530637112007040323719965133657390005617800426588168552259956696904833853125146397641926200411784661815089215797461171525761662152273484856012149262353308385220683667617163334979569896235617249944703930539032136648717603201979551/10867601760168201221370362534220703449938972968632754425265776819278402996881754962075212307307746632078532679708259526269419369493537462593931482247646285241971096874652723821582023674910046904773682717711879771407774242170527528475269281941415979090819733879622741992266386685877346624222438450685161916613030053391827592825042217966063113402557085010423761487238778041489403487027277136268185959378894181311977752281746398302245691408811364997536959498514757883300026229312971724829514646444098352210944920731866474849716039502307720538253833732791298585993588476227949151596742251867983155811783965685041768768461174286678966831461821249642736688195416797209433272038143108941676364074340525871985333439301321*t^63 + 1194766323912283272911575337297202348140488817762387755217909332508818827945823160924812607992730328941379010630383278595594344934550335556216225203461902169414127980573487214485938768126474175630639852588377319452582872692843605855010562119048290167900628920689251950769334591510397930160458505591122630537774049575588895789442776337678487968029502457323681731135354518837899577036872847750076862873072430920335280026563780368627795831536938691351980926629056734386641786557288178227166678671076425975191690118725629510939194416313077593661306949589255957138073966389750205216692088433949060620173206334791191034031629857710001117514429586997895144242739120538679313100157799206707224763920539042838835867136999935183219258283723/54338008800841006106851812671103517249694864843163772126328884096392014984408774810376061536538733160392663398541297631347096847467687312969657411238231426209855484373263619107910118374550234523868413588559398857038871210852637642376346409707079895454098669398113709961331933429386733121112192253425809583065150266959137964125211089830315567012785425052118807436193890207447017435136385681340929796894470906559888761408731991511228457044056824987684797492573789416500131146564858624147573232220491761054724603659332374248580197511538602691269168663956492929967942381139745757983711259339915779058919828425208843842305871433394834157309106248213683440977083986047166360190715544708381820371702629359926667196506605*t^61 - 42884783674334254426325306945974715521940969891569101813512117887420196942131495550239791856815799541357907147232400379387739944943057071887930245242534343575996047602153882672666231141309911482123314447723199053237911839035297345607642824692583426389928720977969584731606882583957187930465243512243625374083315750010371831636298207735253153598302673936261042166139712372852127506598973227689569058851975943505888539846789551525275274568696402107205117207768877666269955686030460924197857293119086646324986542827140837325040893922593730196294623312890268212647936554604114303876952603349870720451148962974530200350191803121776325692770802223151309220844327434162231641828095464703109283606955396886007600685459650457812164700854673/10867601760168201221370362534220703449938972968632754425265776819278402996881754962075212307307746632078532679708259526269419369493537462593931482247646285241971096874652723821582023674910046904773682717711879771407774242170527528475269281941415979090819733879622741992266386685877346624222438450685161916613030053391827592825042217966063113402557085010423761487238778041489403487027277136268185959378894181311977752281746398302245691408811364997536959498514757883300026229312971724829514646444098352210944920731866474849716039502307720538253833732791298585993588476227949151596742251867983155811783965685041768768461174286678966831461821249642736688195416797209433272038143108941676364074340525871985333439301321*t^59 + 329883248697330396250478150735144792935839199599851287551513263298496201499754020832608830907634361267159151249241391872371729072553791541628561934021359173143053747890291469899795909011765777480020181311599952442243921805972824475674972734136059290726183735555261632334112943968208797445800980737806718497224798892504883639423047720886394709715361951011708750636155639766777385504460647396866915428896467812423571726513207261555907407072491283774855464990826028741965979889169178447736902259838329910906688129643107002218452983258253920328693899945478726503055990135359461137687895310033569970500617061779023581610039112078074181093463217582656604563551364139179795846438954986978808616123286338886619971522715195508955551870060475/571979040008852695861598028116879128944156472033302864487672464172547526151671313793432226700407717477817509458329448751022072078607234873364814855139278170630057730244880201135895982890002468672299090405888409021461802219501448867119435891653472583727354414716986420645599299256702453906444128983429574558580529125885662780265379892950690179081951842653882183538883054815231762475119849277272945230468114805893565909565599910644510074147966578817734710448145151752632959437524827622606034023373597484786574775361393413142949447489880028329149143831120978210188867169892060610354855361472797674304419246581145724655851278246261412182201118402249299378706147221549119580954900470614545477596869782736070181015859*t^57 - 39792521108193405093270030206338908665167267219251965799294766786336940099331068087712069159969401064078902421014710634783451795603950284335605729874649976286994788922476436298288472639173876081929384791508049014384527210653308965734333693140020959154514421388070982344602133393464578287516099171717465451919877557378918915264829696787474621678962891108656556353006592901265303207209526597553424554891788079558263148840180640121387827243229966024379576156034351707588761692448208010576045025395827537340322512352715199899511781635856392786804255338405774325824845493371294595713083381386307585098384289696979302474843518661166533379026002682997385614689419181932503658487923948412648401336969167869528916641185988718428396391321446091/571979040008852695861598028116879128944156472033302864487672464172547526151671313793432226700407717477817509458329448751022072078607234873364814855139278170630057730244880201135895982890002468672299090405888409021461802219501448867119435891653472583727354414716986420645599299256702453906444128983429574558580529125885662780265379892950690179081951842653882183538883054815231762475119849277272945230468114805893565909565599910644510074147966578817734710448145151752632959437524827622606034023373597484786574775361393413142949447489880028329149143831120978210188867169892060610354855361472797674304419246581145724655851278246261412182201118402249299378706147221549119580954900470614545477596869782736070181015859*t^55 + 363724991798556921792068055831769569989504117250471494272564873760504344905452364649355231063741077582799217377425108483668438470319416762709362050452171632560051618826341742290745156511922608547069055651414164392888105669028788121272999351010124175831049484302691214277222840410603275276457632044334991339674112774215249043859074769999443899894789015404115392671138807440963642543923063667813075921086923422031857167996060229860428959095164708204629942518022789192742956484365583364857532566599075658307353361098366820584412857418842785717438630749528627786006993253484081116098210241262913833845302822428338996693023926019062319605393581418922922584890412914851008202966946065909187431182580614511909020207006787043879021895443782655/51998094546259335987418002556079920813105133821209351317061133106595229650151937617584747881855247043437955405302677159183824734418839533942255895921752560966368884567716381921445089353636588061118099127808037183769254747227404442465403262877588416702486764974271492785963572659700223082404011725766324959870957193262332980024125444813699107189268349332171107594443914074111978406829077207024813202769828618717596900869599991876773643104360598074339519131649559250239359948865893420236912183943054316798779525032853946649359040680898184393559013075556452564562624288172005510032259578315708879482219931507376884059622843476932855652927374400204481761700558838322647234632263679146776861599715434794188198274169*t^53 - 30707351397339842060649329530998560663295779038623703186166671549058289343483644260527668252702252027821216051232467964613377666708399783812905051465210544860352091609466304489596132326217632907303828321475257840134750749272748853935470236210106514443225888306516583381114290128042786388656117746544301402555742710441179548261452423014469693283441021039228677423549917484542350239812645242231798096166116410151888890841527334284364403739066393536775416095617800137813376037346775962574185580944081628549796329457357680319226045655511218307369522031470336109088793926531021788991135698102798380708141275365807014529874763614914629206679575852185894995630479144140237184402996329314508352250390391130938095140849773844564580144623756196269/51998094546259335987418002556079920813105133821209351317061133106595229650151937617584747881855247043437955405302677159183824734418839533942255895921752560966368884567716381921445089353636588061118099127808037183769254747227404442465403262877588416702486764974271492785963572659700223082404011725766324959870957193262332980024125444813699107189268349332171107594443914074111978406829077207024813202769828618717596900869599991876773643104360598074339519131649559250239359948865893420236912183943054316798779525032853946649359040680898184393559013075556452564562624288172005510032259578315708879482219931507376884059622843476932855652927374400204481761700558838322647234632263679146776861599715434794188198274169*t^51 + 10997522363877170526004305124745618473023411720811757900954453414539467342218926105020882664865395464060368265278540067365694062717699171712066767702922811696423941968374176909291163082185524006905705984370328913940832434481747662696667945825701851091602366311324936613726814452217476754084072836513533772173030631948235505755210151563400605944210661249037076666934818368927764712127329495186474934179473271801353723382002462494111173724548066712892199879621991647762439399522486201014973352699067919700236446151211956403014229943099183034175351874235536813483910820842195729747456084737964123875978186763741815823679254160584166153078436605765218483046052217367642157669726052728658613489048842149954270102755576753956109378908338511469/261296957518891135615165841990351360869875044327685182497794638726609194221869033254194712974146970067527414096998377684340827811149947406745004502119359602846074796822695386539925072128827075684010548380944910471202285161946755992288458607425067420615511381780258757718409912862815191368864380531489070150105312528956447135799625350822608578840544469005884962786150321980462203049392347773994036194823259390540687944068341667722480618614877377257987533324872157036378693210381373971039759718306805612054168467501778626378688646637679318560598055656062575701319720041065354321770148634752305927046331314107421527937803233552426410316217961810072772671862104715189182083579214468074255585928218265297428132031*t^49 - 132173404143760724165093550892200335070365969589298003901091632555325573647594175713123423465954946335832447594606513751344270700800406716118219736389877267770367371358716615555187225643072248812305899259830780951936746590011022951504413752854409946650335891308760379847639716599124022193617974136213651688467194915101438680055992284065117018706102571339560343214890881180380371225779734441852575572426422142769191136108171171216823863227706924430608055213598034420439655877122771003529262067813635267708503748030429965085013461200306583131408819777487086639787650415319208327361962678161918782293318591451699728274311147192590987074686527739612908265680208573124765541321270660738348663978471384765400974280226267052191414677818681180609059/51998094546259335987418002556079920813105133821209351317061133106595229650151937617584747881855247043437955405302677159183824734418839533942255895921752560966368884567716381921445089353636588061118099127808037183769254747227404442465403262877588416702486764974271492785963572659700223082404011725766324959870957193262332980024125444813699107189268349332171107594443914074111978406829077207024813202769828618717596900869599991876773643104360598074339519131649559250239359948865893420236912183943054316798779525032853946649359040680898184393559013075556452564562624288172005510032259578315708879482219931507376884059622843476932855652927374400204481761700558838322647234632263679146776861599715434794188198274169*t^47 + 6781479137459852487737989388373137948276532313527901217794828117343931367376270293875511714175031322701281146293708915059841985914887111041981526194207064771082012404189165009963602709578916040790006014350517058052193786099139245426255974138321971312318176237854855178092413304431305190278762381093704537015894159821200636741008519738799095402812277366404049474380702432489316038440446564869506360496952633051109957746764184152737622914615733593709890427454749337691612619605634918454743339442184186645376341532873914281974688281712974197322909234863441169318339466609664828678572966689444217208541717100946416866192574156657437950196555252851040697950146853704447565600272380951596970277380921015215736477799660356037516094166013800812901451/51998094546259335987418002556079920813105133821209351317061133106595229650151937617584747881855247043437955405302677159183824734418839533942255895921752560966368884567716381921445089353636588061118099127808037183769254747227404442465403262877588416702486764974271492785963572659700223082404011725766324959870957193262332980024125444813699107189268349332171107594443914074111978406829077207024813202769828618717596900869599991876773643104360598074339519131649559250239359948865893420236912183943054316798779525032853946649359040680898184393559013075556452564562624288172005510032259578315708879482219931507376884059622843476932855652927374400204481761700558838322647234632263679146776861599715434794188198274169*t^45 - 296006307223207108107709751832143707261667840540047108304987551695949781580055388570499524956879899132946690290913852304435091301898734346673069279045123834719359370813268289679478416611316673489746060909589657383346700219199819516235206441498850308745623273584114013364719949251319004550292416127269797215617939460862010378175675908272534650345718344625098492511092718602566454998343148016655702774237541877487690485056561503966845634420867043915865947495824031424149878844966157161154828042525402594338212522776866954899516492065491885835561280229940668150595325714490245455324849547324723699845636996299657249552323993065686408516639877446089296758629577009171905049404454291866649791447388338959223797297412184775769223708491588362782084725/51998094546259335987418002556079920813105133821209351317061133106595229650151937617584747881855247043437955405302677159183824734418839533942255895921752560966368884567716381921445089353636588061118099127808037183769254747227404442465403262877588416702486764974271492785963572659700223082404011725766324959870957193262332980024125444813699107189268349332171107594443914074111978406829077207024813202769828618717596900869599991876773643104360598074339519131649559250239359948865893420236912183943054316798779525032853946649359040680898184393559013075556452564562624288172005510032259578315708879482219931507376884059622843476932855652927374400204481761700558838322647234632263679146776861599715434794188198274169*t^43 + 10996539759222398428723664694513208755414442714466779074126217072282955843644157082356249505434568668266811374940436083722250866346511139694732645740585686345400219202484531315863476720293368463830642044264572948148958197320119651614845250069334973794823389672416397222025359163067042266494385299884588436003516035263437126482097512168198426364295446598187986849030900960293948424976845319539339974127039905633712396273778345496794461829058041552325815309605821182340094831439746188552153211577240683956222288649397400205275404829144277675535153169450284883237996255744860420066916683843519652842958771994981546139486177363616289897182422960547344615068034711876937610946778148412403635416274120503636834504441317033836142558707345352992197815415/51998094546259335987418002556079920813105133821209351317061133106595229650151937617584747881855247043437955405302677159183824734418839533942255895921752560966368884567716381921445089353636588061118099127808037183769254747227404442465403262877588416702486764974271492785963572659700223082404011725766324959870957193262332980024125444813699107189268349332171107594443914074111978406829077207024813202769828618717596900869599991876773643104360598074339519131649559250239359948865893420236912183943054316798779525032853946649359040680898184393559013075556452564562624288172005510032259578315708879482219931507376884059622843476932855652927374400204481761700558838322647234632263679146776861599715434794188198274169*t^41 - 347515545248697982268685703352069015858306112954555295820989052654543357634052271897711287466386643456959846266205573386847656984861928071848227088243135876595315299546307990482624422480267985587986167749704587307500679202404430640347994330772288771812993243678817787102294593593350181916833487725036530164190324911838046376715633312340750008597037524995164583048292083256538290349398213214881771768623419369415004748734346728535272984516171987183603688621051268648251302797262287699305799990454158318596460108886767532997637689290128615303310018936076317577266086498540210213836229462007149565063216503699323969455101200977688766439397772549567827679795664359200403065928265865642814024668868550771151465706900726195269591599346136543231605715570/51998094546259335987418002556079920813105133821209351317061133106595229650151937617584747881855247043437955405302677159183824734418839533942255895921752560966368884567716381921445089353636588061118099127808037183769254747227404442465403262877588416702486764974271492785963572659700223082404011725766324959870957193262332980024125444813699107189268349332171107594443914074111978406829077207024813202769828618717596900869599991876773643104360598074339519131649559250239359948865893420236912183943054316798779525032853946649359040680898184393559013075556452564562624288172005510032259578315708879482219931507376884059622843476932855652927374400204481761700558838322647234632263679146776861599715434794188198274169*t^39 + 717652660634563352947548614249726547456052032492275000737784343610970272874563545692328468315805806416887545862708090528357692001660160633319022772022598103483540494539398463604928733616474441255686601883044278886053600434566858026012429477946238265282970404506212336890332093073462364788564063433968123423560289503422399917894508314940731625279462772597115766437842277849228569539415993449439896258460298548109938221280445008180683958113620465728175490159921096547262085380859211310518912750345116467585650559327678592067354352353970129210196208087868977856246578989672450076534678022671939415027218135583144399390700257364290195359941873344576724213580422117961386353455130165735672798333219813971037972640313268424078389284057407316094620737635/3999853426635333537493692504313840062546548755477642409004702546661171511550149047506519067835019003341381185023282858398755748801449194918635068917057889305105298812901260147803468411818199081624469163677541321828404211325184957112723327913660647438652828074943960983535659435361555621723385517366640381528535168712487152309548111139515315937636026871705469814957224159547075262063775169771139477136140662978276684682276922452059511008027738313410732240896119942326104611451222570787454783380234947446059963464065688203796849283146014184119924082735111735735586483705538885387096890639669913806324610115952068004586372575148681204071336492323421673976966064486357479587097206088213604738439648830322169098013*t^37 - 16329904324779726771677560216846292883713630562613234379598576947620265199243617101563910069483960035378878592666746361826380550078596761608232222495359340983628932274580712253690863960655064857071757119662915276659827260784417811136158510056045682809524632274108903076494781396718455894172381302416187087595440474339669289009929148297347317100592274017341218925565337838192309991547207961111273146154087047190588777420174370760584022339800877402830319582652516376497319805814831139275013786989590107793598109871603311729926791455373360352273235588847258177487023154260748743469602857950838756247342223326906828532675822146057667200943823848921525178187940116385555294638285775724493136508912555522457565486052569331865014617398876948343834379915715/3999853426635333537493692504313840062546548755477642409004702546661171511550149047506519067835019003341381185023282858398755748801449194918635068917057889305105298812901260147803468411818199081624469163677541321828404211325184957112723327913660647438652828074943960983535659435361555621723385517366640381528535168712487152309548111139515315937636026871705469814957224159547075262063775169771139477136140662978276684682276922452059511008027738313410732240896119942326104611451222570787454783380234947446059963464065688203796849283146014184119924082735111735735586483705538885387096890639669913806324610115952068004586372575148681204071336492323421673976966064486357479587097206088213604738439648830322169098013*t^35 + 313953599669833974748068016964242751246599017071745690523064118684552588749191393119144327375964890412240529848015143659743541133440741073257748371744381554504760099557456812640205869450595561506890394985178110617632046533554073579527997104192198048386668350456333517786725858833097617787847226571749813408921027666192217167845513897362519114037961449663076609035739643784441835728083121261663933329805447972212886365034642119660428493998032477721618095707703613046526645642714132881888785468703477512007115721991882542325806634344364880343160388538160900764280198247913344265450023341801568332572671343538607096408831549628382036141079993450086463387863453097287171752900095143407043342203352483560701573848040076428941238990896209920519263996727750/3999853426635333537493692504313840062546548755477642409004702546661171511550149047506519067835019003341381185023282858398755748801449194918635068917057889305105298812901260147803468411818199081624469163677541321828404211325184957112723327913660647438652828074943960983535659435361555621723385517366640381528535168712487152309548111139515315937636026871705469814957224159547075262063775169771139477136140662978276684682276922452059511008027738313410732240896119942326104611451222570787454783380234947446059963464065688203796849283146014184119924082735111735735586483705538885387096890639669913806324610115952068004586372575148681204071336492323421673976966064486357479587097206088213604738439648830322169098013*t^33 - 5078848428907588998143093584711380781036023245229342979009777727341190484118495201394637793155870353917380348928259007852106209498194969560197471752875294253590844908643378986673733962844036706874155479505846675569090131469156939677601730468922137908260823208636918564688965900409375065898440654387065629115327614901552040736290602000455060191602904545564105884577323186081045669952412354391077207931535152607504777849149225250713553471560860390907808989646616197532507927063659237538775406871991199821132898878233407980804160428766905262440785491265156126694222627915425251969527732424562403929064405165884934003801597463095461424475692789700667818590498713985476591484093500292428941490881745041836278092567745021321784096443165565383246656070693425/3999853426635333537493692504313840062546548755477642409004702546661171511550149047506519067835019003341381185023282858398755748801449194918635068917057889305105298812901260147803468411818199081624469163677541321828404211325184957112723327913660647438652828074943960983535659435361555621723385517366640381528535168712487152309548111139515315937636026871705469814957224159547075262063775169771139477136140662978276684682276922452059511008027738313410732240896119942326104611451222570787454783380234947446059963464065688203796849283146014184119924082735111735735586483705538885387096890639669913806324610115952068004586372575148681204071336492323421673976966064486357479587097206088213604738439648830322169098013*t^31 + 2371518486230097849228843182833059435856805570025334383558123686592363143269095514174649220648127592670611502249223429141904385328558045499634417271004646043790894993671021856731596572006739771252448514291791918813079750681158638315573030990297008781081466406254937594202331881037343526907842804324460153913571424680724013042890122727463746636679219285486839242611513609768761793710495550543483067178919141349454457155082872290062149288894926092307874441739024991340308356103490986634810094589666740948621085922690967615494478051349863800799334361006138638964130999919124907008578746199356203740263389373051541421433896017722337835104784387511260320031575797141343016817737301007081860557945886298638449330399488599883115157829926798250260730927970725/137925980228804604741161810493580691811949957085435945138093191264178327984487898189879967856379965632461420173216650289612267200049972238573623066105444458796734441824181384407016152131662037297395488402673838683738076252592584728024942341850367153056994071549791758052953773633157090404254673012642771776846040300430591458949934866879838480608138857645016200515766350329209491795302592061073775073660022861319885678699204222484810724414749597014163180720555860080210503843145605889222578737249480946415860809105713386337822389074000489107583589059831439163296085645018582254727478987574824614011193452274209241537461123280989007036942637666324885309550553947805430330589558830628055335808263752769729968897*t^29 - 26709206309180100102247666907031399461560311337048677263631520637245600926058111696809491522687628459459332223776722764924039895448931837343265864816138259050767548823786859871501683419542890263877118085006522053139695893464885956221475467099628069695801425941937997490590416046852616342503798186942792944118817830852443575755142972463844316845244576610590961143636448730153142815101076187113479869590134947367967551019236072422188125848898682744924718272144114223580332714081103751329058248075245981415132902893618365847586201236278537628623879900392518000227150146254396648136525216128743530245886765006546184307434686576307093037086754849833631394082307803734534758338141776240541610210861514953488582925241652493422369239284670476074335996461737275/137925980228804604741161810493580691811949957085435945138093191264178327984487898189879967856379965632461420173216650289612267200049972238573623066105444458796734441824181384407016152131662037297395488402673838683738076252592584728024942341850367153056994071549791758052953773633157090404254673012642771776846040300430591458949934866879838480608138857645016200515766350329209491795302592061073775073660022861319885678699204222484810724414749597014163180720555860080210503843145605889222578737249480946415860809105713386337822389074000489107583589059831439163296085645018582254727478987574824614011193452274209241537461123280989007036942637666324885309550553947805430330589558830628055335808263752769729968897*t^27 + 248241872771806100832081933607274446567067506389003512235898281476659218642080380453216893775900290338588337658441252342293256995628356499445340598481468558874602114297155187864791585390261854545854533413472446975086122198497364844979236059944546835573901101916962422372774567485152961636273698480534647452463676503441971771335211403001965087234737323561028267974315054354182424611982798725571944087060479914917821590067691803862383217350539930311657180644440354216357836246599974484093651462780219756042622977527603921034485734358509848619348790576796388011822309444477756988314074784869711638666973919154870172714374401731534928504196764598113990138786889435118424716531269141996013004677905692436310049193568538693725449350486090517181168477353873475/137925980228804604741161810493580691811949957085435945138093191264178327984487898189879967856379965632461420173216650289612267200049972238573623066105444458796734441824181384407016152131662037297395488402673838683738076252592584728024942341850367153056994071549791758052953773633157090404254673012642771776846040300430591458949934866879838480608138857645016200515766350329209491795302592061073775073660022861319885678699204222484810724414749597014163180720555860080210503843145605889222578737249480946415860809105713386337822389074000489107583589059831439163296085645018582254727478987574824614011193452274209241537461123280989007036942637666324885309550553947805430330589558830628055335808263752769729968897*t^25 - 1886014976779926024740966830794623680736059018428596675806647941570461718610994331527598089181787071837245999388204289217191992768022874663202211696087107068455899847179834460948275521973148207309802119465472643191791412255582972869441987462742475709056452601272742759664117527091546283210785208194775759802312532222516854288688244862610473500834294621212962602628700606940178740284778979405412863049492561959861867994313608993413387839289761970197932888717587543400734872203487837728836265750888689228926572668271380773103110083320884848824185561983166958711731512565129469898481417452501048117502343098771141274448868630389268671830545709310767774109852898174672496473700208607633159557576357984160059176641423996913930710674578850488912120495510709375/137925980228804604741161810493580691811949957085435945138093191264178327984487898189879967856379965632461420173216650289612267200049972238573623066105444458796734441824181384407016152131662037297395488402673838683738076252592584728024942341850367153056994071549791758052953773633157090404254673012642771776846040300430591458949934866879838480608138857645016200515766350329209491795302592061073775073660022861319885678699204222484810724414749597014163180720555860080210503843145605889222578737249480946415860809105713386337822389074000489107583589059831439163296085645018582254727478987574824614011193452274209241537461123280989007036942637666324885309550553947805430330589558830628055335808263752769729968897*t^23 + 11578740505651107737628587609322118350887066762530847795359477723435922992930628914610062702878686928700675193155469042826831205987565018541011874764240147046944099251408043903591561826252546172717549045983554968183904957545779718018916334065867751838254527108538333416103620591409422447070642156807441330789240264630719877487221233235150995482382280752120137682631394919863355277432159208814833635714416640029016966520032995768967279473303280322671358011468268398559090550525107288981530459430003664090511597422965052101746674286143803621980261484580885775218762172749339935577569513929775181108127252959093933447436083878166483181329075880174307399976468133630272537758339832837101308335816256930337457246650012601106153990783373908183161179348248343125/137925980228804604741161810493580691811949957085435945138093191264178327984487898189879967856379965632461420173216650289612267200049972238573623066105444458796734441824181384407016152131662037297395488402673838683738076252592584728024942341850367153056994071549791758052953773633157090404254673012642771776846040300430591458949934866879838480608138857645016200515766350329209491795302592061073775073660022861319885678699204222484810724414749597014163180720555860080210503843145605889222578737249480946415860809105713386337822389074000489107583589059831439163296085645018582254727478987574824614011193452274209241537461123280989007036942637666324885309550553947805430330589558830628055335808263752769729968897*t^21 - 56638325383150329224728932593085333776744687593044886581635217614598371946791473632992816203078353611732797045108102118735019913596667901381023316088188517147442583955075606063907058906179299480630861722942516039425126304076988417427332629608095447485528420655526790324204156099637802560003833689013739227308612016982856915462722158022973559999639083313144605169677106202727041605778300825348234504258754448137054128539443472403938777837088228931392031244837408489586678955516657238636133023848191201651962767982390532438925112178395737313146317658921816396068872003392327981150385122327632763603468024884476155873923296677265419120746936104263839187280693297616546680917318662110837629982217809855054786330147255409130463372759853294175739897845648964375/137925980228804604741161810493580691811949957085435945138093191264178327984487898189879967856379965632461420173216650289612267200049972238573623066105444458796734441824181384407016152131662037297395488402673838683738076252592584728024942341850367153056994071549791758052953773633157090404254673012642771776846040300430591458949934866879838480608138857645016200515766350329209491795302592061073775073660022861319885678699204222484810724414749597014163180720555860080210503843145605889222578737249480946415860809105713386337822389074000489107583589059831439163296085645018582254727478987574824614011193452274209241537461123280989007036942637666324885309550553947805430330589558830628055335808263752769729968897*t^19 + 216958211540736246826395436457421913302810105605180340043715997735378039470843960658373046147682070648055907941212400755513911307083390521352580121392570550486993053729185202436898279562337001535052272473932293415006987068236879652192507403988082260653300248836859022453977009412327300384917257065769343586744656593392814000605373508468009263393836191592339794392423233814190919456186027816744470842025220869115001897054195384086701523261079165423803044842428482337376332960195760943800263771829969962819055386165473471094649855264085960962041265819123116177340709433492984596485300380328307521780093235910056529139254906143130277250702148331526216487328023796934839263248539451128696225945091803924899800176825274163526080968491545887340659943457106273125/137925980228804604741161810493580691811949957085435945138093191264178327984487898189879967856379965632461420173216650289612267200049972238573623066105444458796734441824181384407016152131662037297395488402673838683738076252592584728024942341850367153056994071549791758052953773633157090404254673012642771776846040300430591458949934866879838480608138857645016200515766350329209491795302592061073775073660022861319885678699204222484810724414749597014163180720555860080210503843145605889222578737249480946415860809105713386337822389074000489107583589059831439163296085645018582254727478987574824614011193452274209241537461123280989007036942637666324885309550553947805430330589558830628055335808263752769729968897*t^17 - 636969880804257742979667401743311254579133768872853303251783905024168189518184298508335416638354188620353299994370503915440474577379276697117465787097867638573185635027157799305054004454893210241955305609004243680358509390248449318045686707352270501016062138155776869697301242130311204663682601539566590728217758396703358467410073255727975971349114338896816702850856439774948265085521007231580099241362826330474441083386042969771004145336281910932337287071871098541075233633546846135888269551143992262057962502819929921314530678885484587728794749108644368128685842014201588266807916266606041953800994081562955265076196587143365206875623378889051527269001878130526108898559267894951161519302233684783194929586672665031293932515145556979389134621940014845625/137925980228804604741161810493580691811949957085435945138093191264178327984487898189879967856379965632461420173216650289612267200049972238573623066105444458796734441824181384407016152131662037297395488402673838683738076252592584728024942341850367153056994071549791758052953773633157090404254673012642771776846040300430591458949934866879838480608138857645016200515766350329209491795302592061073775073660022861319885678699204222484810724414749597014163180720555860080210503843145605889222578737249480946415860809105713386337822389074000489107583589059831439163296085645018582254727478987574824614011193452274209241537461123280989007036942637666324885309550553947805430330589558830628055335808263752769729968897*t^15 + 1395016569255515383184090442043035186521392689919341029389422881287632402519810560160640783632271706199702564104878524754229264841815895562507124513911915800563624963703031532283290205483864462206934715901465826280703852245881916970338988712134398189068726120285606281118394779575405552207641842264306856601145860351953685811797095308174538176855160469454602666237063984740166515901690737886744035058601841455483250458149670077562742270291347605242000508284540822763059675376775684570967305294307527343578387886371668060133886538796453854316020787309696244583029099930224357046598796319522004267165494058333879701999097440132114346446499756531272522387399968410742228256173098664131740584309969266850303168312796242334451689624482291774286685372606555390625/137925980228804604741161810493580691811949957085435945138093191264178327984487898189879967856379965632461420173216650289612267200049972238573623066105444458796734441824181384407016152131662037297395488402673838683738076252592584728024942341850367153056994071549791758052953773633157090404254673012642771776846040300430591458949934866879838480608138857645016200515766350329209491795302592061073775073660022861319885678699204222484810724414749597014163180720555860080210503843145605889222578737249480946415860809105713386337822389074000489107583589059831439163296085645018582254727478987574824614011193452274209241537461123280989007036942637666324885309550553947805430330589558830628055335808263752769729968897*t^13 - 2201465298212709286598513446367388880655013098381559343148634170457607193411188346066789008879274812821943061949886095997144614921952972006327595438774576055505585482501035444419489131246583074664146965308038112976811620631059396842131112185144917827441757756129035860891437797868908884324363334085416986330154940423159180916015309499527092150974863443030003825394347473637268619756330457436670272540567062991151940580451948618550773528988463967691486734966477666775539574658152206372761668689000713810345654775754286533872080812606032006705462448953647310374702352911975338923891927485544333621257001604622094387068794013824421954165100538373623661306213518408927154832244011389515607326625767871417962248024734690827665900738291664661329301321818715609375/137925980228804604741161810493580691811949957085435945138093191264178327984487898189879967856379965632461420173216650289612267200049972238573623066105444458796734441824181384407016152131662037297395488402673838683738076252592584728024942341850367153056994071549791758052953773633157090404254673012642771776846040300430591458949934866879838480608138857645016200515766350329209491795302592061073775073660022861319885678699204222484810724414749597014163180720555860080210503843145605889222578737249480946415860809105713386337822389074000489107583589059831439163296085645018582254727478987574824614011193452274209241537461123280989007036942637666324885309550553947805430330589558830628055335808263752769729968897*t^11 + 2392528897069123031864611593892333548737872343677892027045336015306359187981005241731670500159562061581126840377105333557686436258683644717504457738105637577063619549315200138927434521663027906452888519352941718884202829338423403450881831128540141989602904407932129312833216265762917232884308945006486159300928350627022026468730540873081357170891945037585257149594398847038433950684784339536532329480901178567061861773755740638673384119445727648798901416118330498931401256196537224114209587748220722448103692428332945126923930244406172954396309714730604042362942719896517620535789044217339777255671614311197643521211982093888209345409088660347435585488487482050010503215360437014232826320816935835983145151361843364841083869868916290277774403098695298912500/137925980228804604741161810493580691811949957085435945138093191264178327984487898189879967856379965632461420173216650289612267200049972238573623066105444458796734441824181384407016152131662037297395488402673838683738076252592584728024942341850367153056994071549791758052953773633157090404254673012642771776846040300430591458949934866879838480608138857645016200515766350329209491795302592061073775073660022861319885678699204222484810724414749597014163180720555860080210503843145605889222578737249480946415860809105713386337822389074000489107583589059831439163296085645018582254727478987574824614011193452274209241537461123280989007036942637666324885309550553947805430330589558830628055335808263752769729968897*t^9 - 3368370717232211255790688052897790138737292737832961508066145002403052775812216179297323662669493157919178706836518015721344892063071231313867341807364130708622567345781864798130112871419040505593718074666025899171139241029227860877794736805770768577131577702614221451122500899422061724171788336523225911559527547896600437699637908796544865677652337032340928918205204691718869088353913452262182411144321925450143828138322117521018981206450021926301052101791419123836613153746239335467636741968196480548007440295628309602208386966486714040831009963114678660548782324004282988168861011450170718722671231384051806932122056435230659047834366220793258681661798512004259758828489671925416966889202392414797468159352682769656532651425291298684744348623510960971875/275851960457609209482323620987161383623899914170871890276186382528356655968975796379759935712759931264922840346433300579224534400099944477147246132210888917593468883648362768814032304263324074594790976805347677367476152505185169456049884683700734306113988143099583516105907547266314180808509346025285543553692080600861182917899869733759676961216277715290032401031532700658418983590605184122147550147320045722639771357398408444969621448829499194028326361441111720160421007686291211778445157474498961892831721618211426772675644778148000978215167178119662878326592171290037164509454957975149649228022386904548418483074922246561978014073885275332649770619101107895610860661179117661256110671616527505539459937794*t^7 + 701716858183427236462929971164009784570448962756724851439006861921554764676128414063822566476059131915212520227941289064864440668068450926768944180459697791045985140881409885391828396804499051653273447089469530260848770885826751661704292415764020203032352479566593574416435337332109986764528655527662601593375251899307441764349521478276907171808831916765226997265663862160138360044485982221827613765223855943717754636219755333393622366373569159899383681798587909005772781600446765846628564495050639717808056202867736220167344095515058969681187862438054975577718839926801714166505929258610020133824189981125078259509717634804437345221895707167268380166940783314804125295357659537612738235752145975546146683398916868355977655142878808882404708752470494084375/137925980228804604741161810493580691811949957085435945138093191264178327984487898189879967856379965632461420173216650289612267200049972238573623066105444458796734441824181384407016152131662037297395488402673838683738076252592584728024942341850367153056994071549791758052953773633157090404254673012642771776846040300430591458949934866879838480608138857645016200515766350329209491795302592061073775073660022861319885678699204222484810724414749597014163180720555860080210503843145605889222578737249480946415860809105713386337822389074000489107583589059831439163296085645018582254727478987574824614011193452274209241537461123280989007036942637666324885309550553947805430330589558830628055335808263752769729968897*t^5 - 147355891937309133648801909914700846545222368277899541876023521568426958112906429374249611757202755163041751559515599543522370605343091162645292968738756955070686845248303565393828341022208863774953863864401694675537644811377881594087867503641711546718607482747783969237626211805425860963365577599776148605889522247822209312738117719393444456352551264541293337693355155703805796271472928089688722296968799257304870933135260823763618771655722530725827402350274018578659686559447388506077649229329831772004194508934173196628290448024310409217153493049355431065532670221051974653490859300741301484325016572230410949230367114828239825811065088283907693688152842182533558249811258604835110463427248546625881651489647273750879115466059750604124518432308074843750/137925980228804604741161810493580691811949957085435945138093191264178327984487898189879967856379965632461420173216650289612267200049972238573623066105444458796734441824181384407016152131662037297395488402673838683738076252592584728024942341850367153056994071549791758052953773633157090404254673012642771776846040300430591458949934866879838480608138857645016200515766350329209491795302592061073775073660022861319885678699204222484810724414749597014163180720555860080210503843145605889222578737249480946415860809105713386337822389074000489107583589059831439163296085645018582254727478987574824614011193452274209241537461123280989007036942637666324885309550553947805430330589558830628055335808263752769729968897*t^3 + 20693331471951547216371657203624921080400099453830845994031349673828442835619492051514342682761075548904815345172573729583115919400998828951450891406075242840275335835083556022925723161855818707724647771339721794198086635654831495672819124190460237821621610652624754619342242455741125251649149211623951901441007115020213830953175776344305064173726303505633147105427258366473201684841664712483533146060471817684950466478836919862508747232556269389243742928853479104118210562680351285196036804093329857110836006647079595901076631798631680184837160925597690716368073337866219949674201698722236715048720961419610888037695109974282753060118771389141888611200812590222585202234392156122754039012769420911359095119904828648485829344639787460347143551242200265625/275851960457609209482323620987161383623899914170871890276186382528356655968975796379759935712759931264922840346433300579224534400099944477147246132210888917593468883648362768814032304263324074594790976805347677367476152505185169456049884683700734306113988143099583516105907547266314180808509346025285543553692080600861182917899869733759676961216277715290032401031532700658418983590605184122147550147320045722639771357398408444969621448829499194028326361441111720160421007686291211778445157474498961892831721618211426772675644778148000978215167178119662878326592171290037164509454957975149649228022386904548418483074922246561978014073885275332649770619101107895610860661179117661256110671616527505539459937794*t
-------------------------------------------------
Computing nodes and weights
  current precision for roots: 53
  current precision for roots: 106
  current precision for roots: 212
 current precision for weights: 53
Linear system for weights solvable: 0
  current precision for roots: 106
  current precision for roots: 212
 current precision for weights: 106
Linear system for weights solvable: 0
  current precision for roots: 212
  current precision for roots: 424
 current precision for weights: 212
Linear system for weights solvable: 0
  current precision for roots: 424
  current precision for roots: 848
 current precision for weights: 424
Linear system for weights solvable: 1
  current precision for roots: 848
  current precision for roots: 1696
 current precision for weights: 848
Linear system for weights solvable: 1
Sufficient bits for target precision reached
Positive weights:   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 ***
**************************************
