Starting with polynomial:
P : 4*t^2 - 2
Extension levels are: 2 3 4 8 78
-------------------------------------------------
Trying to find an order 3 Kronrod extension for:
P1 : 4*t^2 - 2
Solvable: 1
-------------------------------------------------
Trying to find an order 4 Kronrod extension for:
P2 : 4*t^5 - 14*t^3 + 6*t
Solvable: 1
-------------------------------------------------
Trying to find an order 8 Kronrod extension for:
P3 : 4*t^9 - 142/3*t^7 + 1399/9*t^5 - 2965/18*t^3 + 295/6*t
Solvable: 1
-------------------------------------------------
Trying to find an order 78 Kronrod extension for:
P4 : 4*t^17 - 3059628507938/16753860777*t^15 + 159113012962007/50261582331*t^13 - 8081473967104151/301569493986*t^11 + 71537082906692561/603138987972*t^9 - 36627085158415339/134030886216*t^7 + 83781328830792607/268061772432*t^5 - 88756606077394045/536123544864*t^3 + 5750035763152135/178707848288*t
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : 4*t^95 - 522949010433561840914565451573940931115196054871370139839373740750914339936985294362187126679854378819331203664594005534638602301495374936172036744813927894111059317639359207888844848547082356596269253558006171282188228887103926409724246287352316371432307145282845091579616815967494298841323948797924299126329784856180029932473317838072879920079003509064899795282613896254476863223687659474865333595725623958278910712904761782843381539572034812052963485129640409964615156635330942094375719591231625576149688002080681304393675756776417964541365635648694462219355849782111729185308545717255763731299974220341026515176008845916768966572842328329385313553171747604603030898920647126728488455852785285754745180430029657283413808675367028010094341401061014492324235622623711677867/68892960341845192507263756150090808693325031718169670524084550875359428852365033739955636819487690381903717380912988955795446237134445537704116973297014342678958181910964074137056938140027806223527370821551104659089721829795321817609208267718900345033003300398624566232077899611908622526953734201107051771440163216415189925555912458891766339644134595468610039496166809628815129937719280239139793627198627857771917953984434198793388123213038376559524987283605213057655326327236480582518750861394689465907237573293333333371107134793403831224780104677772899580270626160234402399551555322795166896935924570768841308826271716918388311683838034166855089539522806056127801284132267635203406980924592905858654585542517504809592784442628600292392526610454633277568047987192823173*t^93 + 2844050471204507989566060079522610216109292028671691159326584952084259765077882187935580985774077818308849701536616510089220148609600587672397640852317041285643451197620214387748011731506048514138363017591407968601989286765925366808814499485116875669586089631460448385228023056728776052225740055412736513767027373028827063022792077597493970364324094938700548533691840607522165698152965474525982227141297587433563288349027395965729158603233371682483811744639505971527464751873176360925009403513030590329706382127955674565036483298348976001798785000376814513504712513726286018092538630923973573208569950022860967927128802522026595727090098357817618115110554537539385162325939626218097186591340325641359536699925188089274300823442011595488401084826463218894210206910960002604909277/413357762051071155043582536900544852159950190309018023144507305252156573114190202439733820916926142291422304285477933734772677422806673226224701839782086056073749091465784444822341628840166837341164224929306627954538330978771930905655249606313402070198019802391747397392467397671451735161722405206642310628640979298491139553335474753350598037864807572811660236977000857772890779626315681434838761763191767146631507723906605192760328739278230259357149923701631278345931957963418883495112505168368136795443425439760000000226642808760422987348680628066637397481623756961406414397309331936771001381615547424613047852957630301510329870103028205001130537237136836336766807704793605811220441885547557435151927513255105028857556706655771601754355159662727799665408287923156939038*t^91 - 4890653306907713555689335575304668955491299860093324857304272593323355859314169504408130013598329805642495183030326948536364076220890859435586695806871659610798189393239563076768904256664204960174408435205517940498455716979344231279665795540907010552124158009669403172910644128415518834127879042460909025650322436380092824819020290471179389790564389197667877576121459942071780139073451542795049820816736730565779732483563257057125824589786168357132049050778585045123709473315821741217021420735069867876097586679244576181817705028617144597356348714555214642990453469924855578410828333363128269239964243585180981642229824432309216913281278006293594435196766126823379126377609400945264531048080733657675154406970299551885714055410644609913007764500064867604612130000477224264955868290067/1232632846436294184339963125037424749140971467501491745016920784261930901026515183675286253974273756313021311379295198397092124074809499560602060886230180619211919790750969214460222737201377508951351718739192364560433302978697897960663954326026564973330495050732190739024337779856269074252256212326207370294607400268100578148046385714491483348912856182124370826665416557878760304845673362038689187577837849631255156032689496684811300300527682633403021072478264472027569098646915110582425490412073783924012294661364320000675848855723581348273765632894712719290202043258913927732776427835451126119977562420196108697519653559103803672647230107313371262041142045956238620575694532529059357702702816271623047844526723196053234099247510916431487086114254298602247514586853992211316*t^89 + 20163757997668150943488124959818554837819796840890839177735772313646353741229329184456401339838662890768064788379169130966487900565627041142982583212611920489148606609103358500876434180651423313902855507465881492201993487922277720392346528270732121902774443926100666865259629644174033653490777485253917822678005918218477762421721223286429755831268237022607839243224313176306772772158361133483951884216680223302926841045976963315564932810202455912686379283313415178094099624957293707500474287119017962393387866406438164434748761093515513855553598322314241529541312863195879142049074593641145050331003254325922874047296362937936473089921102387752937815970279174395357096588761484986489697454530491493233612559447259647943835485530213618901505930714079099957352173283596965001317198542135613/12326328464362941843399631250374247491409714675014917450169207842619309010265151836752862539742737563130213113792951983970921240748094995606020608862301806192119197907509692144602227372013775089513517187391923645604333029786978979606639543260265649733304950507321907390243377798562690742522562123262073702946074002681005781480463857144914833489128561821243708266654165578787603048456733620386891875778378496312551560326894966848113003005276826334030210724782644720275690986469151105824254904120737839240122946613643200006758488557235813482737656328947127192902020432589139277327764278354511261199775624201961086975196535591038036726472301073133712620411420459562386205756945325290593577027028162716230478445267231960532340992475109164314870861142542986022475145868539922113160*t^87 - 7974746371824507841859222953758316090495514537697911910185253342918621642871515403858359330120903896752381131612071986490810117678847329477090515102451277571923678763487460427191624594802880936064539523064506019281396661762526159725565703869651436267187124558995692755637388422011212772507330016752370399857673109260359288961850237616326955276776000702955207011842472112062078305512146850938100838424009554830110044036282916450788730191184851288632322255360814157389212139999822347146631068626724137706956787722310212220609251378429766148258611233788563974997926736531626294439921051666347018030841225574771789550110338214277627642690277089666755925589020382635136602744476041525271045977026181582405528423525347078001699802501791032055094240491970030754788722595524561125970791964366090501/15522043251420000839836572685656459803997418479648414566879743209224315049963524535170271346342706560978786884035569165000419340201304809281655581530305978167853804772419612330239841875869198260868873495234274220390641593065084640986138684105519707071569196935146105602528697968560425379472856007070759477783945040413118391493917449738040901430754485256380965965416356654769574209167738633079789769498698847208398261152386254549475633414052299828038043134911478536643462723701893985112024694077966167932006673513476622230732911516519172533817789451266752761432173878075212423301629091261236402992310045291358405820617859633159009211113268018020230707184751689819301147990227446662228948848850278975993935819966143950299984953487174503211318862179498574991264998501124346364720*t^85 + 107198226595206608656966016537042060017348698269982857207602675363510961732713268713560106964349756632145389541536775574011315813571726169810850674681063458880495587407728304693831060227541754089540535819383086980320129781191461841716964468436178169749640452682405973270284548439292833992548123335420720086154705642037618069641902329355794793667253611027656735704421186901687409844017925573019161925372784449952729931314538109325449328774300791757275441808077281526513213634121804762856327064592788504079160310138666062132051592912438887320960283843536559154628590742512291396711396706934190756881641082592578480185563174981134986229094529292436276055930212347545253058385136830153891207138232150095580187806371695727283468968326144255899580363762542552828939681448688024012480169822772010269567/838190335576680045351174925025448829415860597901014386611506133298113012698030324899194652702506154292854491737920734910022644370870459701209401402636522821064105457710659065832951461296936706086919168742650807901094646025514570613251488941698064181864736634497889702536549690302262970491534224381821011800333032182308393140671542285854208677260742203844572162132483259357557007295057886186308647552929737749253506102228857745671684204358824190714054329285219840978746987079902275196049333480210173068328360369727737600459577221892035316826160630368404649117337389416061470858287970928106765761584742445733353914313364420190586497400116472973092458187976591250242261991472282119760363237837915064703672534278171773316199187488307423173411218557692923049528309919060714703694880*t^83 - 86910967158891841660049644483057062050457526025315640036622482681899089512548876822880033154935151019479574373610964824433573097883230359049053869752717139731317311926258119146412124268562890222835177816746887113426665220342906925310563332310782437571729112823977662413736806652736921392261117282934061567900758337199413270516951067168680328151937451255936468397238334949583787141552719677853795196645896533493275430923858511131707745298575462248911720423549739926145809565517825654201344815717854211345309872320058991716474721517666083496686605152293749634048370467104995429542872140658282370892328883401821806260949729922307786695947344029903921179123927962383508754673515762770711241715902624433762141509738048024558345081164425924214922827038818849401479809091383625762000242995853308512626109/3352761342306720181404699700101795317663442391604057546446024533192452050792121299596778610810024617171417966951682939640090577483481838804837605610546091284256421830842636263331805845187746824347676674970603231604378584102058282453005955766792256727458946537991558810146198761209051881966136897527284047201332128729233572562686169143416834709042968815378288648529933037430228029180231544745234590211718950997014024408915430982686736817435296762856217317140879363914987948319609100784197333920840692273313441478910950401838308887568141267304642521473618596469349557664245883433151883712427063046338969782933415657253457680762345989600465891892369832751906365000969047965889128479041452951351660258814690137112687093264796749953229692693644874230771692198113239676242858814779520*t^81 + 154745661317258576125779663548765475117401184846371902667518040969278621687914512871376883733610204168481365085920359627943425266192335402521051632101698523502856834489243680871749314369720572886873860372836737649566328393874034231093535283255047392646950918221055847792139415604570012771937518718077097845927717381405831995227244051094068464455714371681468546910270942805633537461167591218924338742599233239731548891678721482373505660261313808912616947956934880084928196396116142863093871325461233794292296444377054839759298021086143143071965700766328594535328636893438698493857110543024495049597663394691443177335386564548036886942169349767243269541790941311406585360659851373055010219004080749003056158157188759702658442802255069200638677228241563270537137249988734104165986058857165060732127961/35478956003245716205340737567214765266279813667767804724296555906798434399916627508960620220211900710808655734938443805715244206174410992643784186354985092955094410908387685326262495716272453167700282274821198218035752212720193465111174135098330759020729592994619669948637023928138115153080813730447450234934731520944270609128954170829807774698867394871727922206665958068044741049526259732753805187425597365047767454062597153255944304946405256749801241451226236655185057654175757680256056443606779812416015253745089422241675226323472394363012090174324006311844968864171914110403723637168540349696708674951676356161412250590077735339687469755474813044993718148158402623977662735227951883083086351945128996159922614743542822750827827435911585970695996742837177139431141363119360*t^79 - 43856040258872079252962068912332848059483763994506371428651754358664567902917570161670944994189202112240264244408522267891220895103301015785028798009132699715528384543740821336014687414020365381837775881835225107207094600789083788301609938134114158463791022084024227402161116137949977504740355820261440075394662580565522289872469388722985125957526719757648411574653386859629141842354356880981026964522293233568181976387726005933542315509891080545072365457628865339013718239257745948527173689590144916657116800775905216749159656002583173847095729736135378008456014876537153918987501586787888239885458383765450377404206768729630931409700255365674245758388152943927120391974601989038377826241932722871076002784359593693693915353203412686236661791259513581441197759752176328476761935384462716569934870751/70957912006491432410681475134429530532559627335535609448593111813596868799833255017921240440423801421617311469876887611430488412348821985287568372709970185910188821816775370652524991432544906335400564549642396436071504425440386930222348270196661518041459185989239339897274047856276230306161627460894900469869463041888541218257908341659615549397734789743455844413331916136089482099052519465507610374851194730095534908125194306511888609892810513499602482902452473310370115308351515360512112887213559624832030507490178844483350452646944788726024180348648012623689937728343828220807447274337080699393417349903352712322824501180155470679374939510949626089987436296316805247955325470455903766166172703890257992319845229487085645501655654871823171941391993485674354278862282726238720*t^77 + 10583493747769388713450004807961296486054704761270452066392369164593355696462969127010743340572668727550138139526206112215213769222663658316068970669720797060115263020989356287983811613237260407825233805295762983760117102853906480820266882922585251776594336632487708664966615650356217138766282005757954796770294543057630003398872543852478045375476981146619591551014693644195034839722020437885440749498301738876552930255822749942753153223385548787307633244288687038425953504015371875914102371157140198050730428231585077693637041300204165604446527934727052782424577291180871946135819310312609740674240475121963602063054183754286918678906985349150020930553583002390090540902052913799426455442405129687106294350732155739654589758878652686360547444831556991775468341361825464415411006017757362021664945295313/141915824012982864821362950268859061065119254671071218897186223627193737599666510035842480880847602843234622939753775222860976824697643970575136745419940371820377643633550741305049982865089812670801129099284792872143008850880773860444696540393323036082918371978478679794548095712552460612323254921789800939738926083777082436515816683319231098795469579486911688826663832272178964198105038931015220749702389460191069816250388613023777219785621026999204965804904946620740230616703030721024225774427119249664061014980357688966700905293889577452048360697296025247379875456687656441614894548674161398786834699806705424645649002360310941358749879021899252179974872592633610495910650940911807532332345407780515984639690458974171291003311309743646343882783986971348708557724565452477440*t^75 - 6009620473426004197429783403120979270893291417598282535029679634705129146638165664738014307985635224904298838936285897503962190748518367909892311072511177264252625278544361764554351510664923322319190611058755152096171713388213549046225173972436097913055354939534551102875335435929101509211475368059202830368754694917661549238215140699280577563508839973912554574861209938714959548219161913495372863388488097070636050784893678126063689828212108961792630108427338113947794980598784272895193616919757380297854512573393665214741459459501040904185333447075343384328501902534025035933737443876464320851997547272617576502024013592623433009059687220925853113256499284613969407595314511709248680237253020373514339287208399955664523336338424977657155490472661116408875229740889905366875472818406738384782386882195/777620953495796519569112056267720882548598655731897089847595745902431438902282246771739621264918371743751358573993288892388914107932295729178831481753097927782891197992058856466027303370355137922197967667313933545989089593867254029833953645990811156618730805361527012572866277876999784177113725598848224327336581280970314720634611963393047116687504545133762678502267574094131310674548158526110798628506243617485314061645965002870012163208882339721671045506328474634193044475085099841228634380422571231035950767015658569680552905719942890148210195601622056150026714831165240775972024924241980267325121642776468080250131519782525706075341802859721929753286973110321153402250142141982507026478604974139813614464057309447513923305815395855596404837172531349855937302600358643712*t^73 + 15168392130484745196165218467671924075328754776119214713549277718788638608562216347997955395431895146124768325893877235328991372972182291707511912372787696845967236682151247258381514265639471458758572010140308290020197938751690727382532934873646720092731484385657395552364227863889540744664447748090880961520344329099161959116638028181431584895500256334414879357419312255897943151852694968975743894013316277937192619373822297906681831820611392023928558432899081295930626397403448831678780808727563447272589464103995559473329610678849205265002450089473612802859651119761100272802088844869393800687317893107386956630236314577674790653191233850431723007654715549753694798733442061633288856141082367851344826937437444559762154306099017509401996615214646731027612760369228015581145348536742530221058300287655/21904815591430887875186255106132982607002779034701326474580161856406519405698091458358862570842771035035249537295585602602504622758656217723347365683185857120644822478649545252564149390714229237245013173727153057633495481517387437460111370309600314270950163531310620072475106419070416455693344383066147164150326233266769428750270759532198510329225480144613033197246973918144543962663328409186219679676232214577051100328055352193521469386165699710469606915671224637582902661270002812428975616349931583972843683577905875202269095935773039159104512552158367778873991967075077204956958448570196627248594975852858255781693845627676780452826529658020336049388365439727356433866201187098098789478270562651825735618705839702746871079037053404382997319356972714080448938101418553344*t^71 - 2362903176048521854461119059672947900147819159680107994830632330832125991094372654018458493361514552150401412541291207582113948656465011452728770492408858961240223564531892047828240427845416306991812274932779777176194157115997893970903203252623435432102612573675363565064151635355922142866554037186079422659613085090512787285877591648112157936268886204544669219858185365720822578869552262973009974875767325295082009923139618303592912169090292243858691976071585238455142369882607390250959099961932663702517772559688599734907715886810796337600315328031759126811739368340487464708264170687291740647145780323528512229485457000396427855427999048886730068892732206487419266751379131662790623801760407091965524180122102287030255649547152122701423211646121253432495835986130165615375585521059977019651627563359115/43809631182861775750372510212265965214005558069402652949160323712813038811396182916717725141685542070070499074591171205205009245517312435446694731366371714241289644957299090505128298781428458474490026347454306115266990963034774874920222740619200628541900327062621240144950212838140832911386688766132294328300652466533538857500541519064397020658450960289226066394493947836289087925326656818372439359352464429154102200656110704387042938772331399420939213831342449275165805322540005624857951232699863167945687367155811750404538191871546078318209025104316735557747983934150154409913916897140393254497189951705716511563387691255353560905653059316040672098776730879454712867732402374196197578956541125303651471237411679405493742158074106808765994638713945428160897876202837106688*t^69 + 18901096418146086170406741454882782830211281610542455528038670171052328390955290335540532649271044225644169888898727769396007554852121191031250608773703906472258483814317431579435311434080742803049173163120042784820178911116734578720251844985998769510954401754500493343711225036676792609353257655517917323810929730020263676233572458035730819135634318425002316522067838157690443454597488134050628178066719240442811578169284760629713825420596349596287742812072115390630725454187186322344333855903127303743705341017398358736130856638120553061907357688472505320021977829451787603884160087357473610822441374840135947822405868908093709104202327000099720741033138680603002712379924585115468990368135057464905234839098814058466058637243888423425970911194373731891791656979977376490616321006546111063790806071227245/5154074256807267735337942377913642966353595066988547405783567495625063389576021519613850016668887302361235185246020141788824617119683815934905262513690789910739958230270481235897446915462171585234120746759330131207881289768797044108261498896376544534341214948543675311170613275075392107221963384250858156270664996062769277353004884595811414195111877681085419575822817392504598579450194919808522277570878168135776729488954200516122698679097811696581083980157935208843035920298824191159758968552925078581845572606566088282886846102534832743318708835801968889146821639311782871754578458487105088764375288435966648419222081324159242459488595213651843776326674221112319160909694396964258538700769544153370761322048432871234557900949894918678352310436934756254223279553274953728*t^67 - 1125540601310717082729431043700339493897083620166319189797997954442983852252300013632437850361945669880360721350248701120437197613807485611699157415246404197930922833707137039353461848809209210281959920455733334622525806427583709865226537059288006339395779542439033992384544066992845370259854325138497405131313598401418203124465624251859351762915626924975977681772154849450024040819478792020431430332992728060381863309424388748649096997506461106625053579579860066324564401263637361268888190615351991724612659875237173271342919894921973038058441902403571304734242211941405701846574638692683385698536223368837685291968192215262659681344456805847997745751697435469886710942571675623369307783678132047796236733872094105669547321990319280728909379168628447881264474085895274168548832728318167096227997641967250555/5154074256807267735337942377913642966353595066988547405783567495625063389576021519613850016668887302361235185246020141788824617119683815934905262513690789910739958230270481235897446915462171585234120746759330131207881289768797044108261498896376544534341214948543675311170613275075392107221963384250858156270664996062769277353004884595811414195111877681085419575822817392504598579450194919808522277570878168135776729488954200516122698679097811696581083980157935208843035920298824191159758968552925078581845572606566088282886846102534832743318708835801968889146821639311782871754578458487105088764375288435966648419222081324159242459488595213651843776326674221112319160909694396964258538700769544153370761322048432871234557900949894918678352310436934756254223279553274953728*t^65 + 58850207946750951056190599259644932586517022624423899131705512192875343789622424664905709377793304788877447219664811896624438563926118536798246897638440522403427168691514070567124183931827131418897092094515705136408451139210381221465069538026175547384240591880136798302126677899522076780189548373503333603179332298315183954370527935741945774965618027888093786610581923668461274618436512263561863516518249698782042706629706816001099206294910331059526699176462304389311965139075472608788683267026577800080252230180874950883321444025979834211024361784441854495906508345609669674153954073861212602900619642328933378799117246338494285459194826603730456902421560529658223894054641883706435111310680894589982292260786721710051458798041827094850588477007312829154651005854376409480587402210869278008121208759631113725/5154074256807267735337942377913642966353595066988547405783567495625063389576021519613850016668887302361235185246020141788824617119683815934905262513690789910739958230270481235897446915462171585234120746759330131207881289768797044108261498896376544534341214948543675311170613275075392107221963384250858156270664996062769277353004884595811414195111877681085419575822817392504598579450194919808522277570878168135776729488954200516122698679097811696581083980157935208843035920298824191159758968552925078581845572606566088282886846102534832743318708835801968889146821639311782871754578458487105088764375288435966648419222081324159242459488595213651843776326674221112319160909694396964258538700769544153370761322048432871234557900949894918678352310436934756254223279553274953728*t^63 - 1353418823302251179684362951239726765514152033977525244250532138891910312838745935400642858406947360131641223192190505991968420639927779139545698669830565625775005229207417270086678429191811868485178959764847840111706295867961522164829010686921896599829565383969320705688886538170343502937273743686598482801206127684112975300237809296268055600836082305982791476322527441635266127383161572913638921510705944538725959663458054902575721319499983715980098438985495749472393777402345550493875770258018352398648061582829548414906970866969121371312102779027118454420249858130027915018903605351810654416850883224832987909760084208044939724046796724858544496694984507058743154437580908410038094442643743178201483730301971645939494511219103686518737502422022628531978075374364021364356518917291224842987007371584066517875/2577037128403633867668971188956821483176797533494273702891783747812531694788010759806925008334443651180617592623010070894412308559841907967452631256845394955369979115135240617948723457731085792617060373379665065603940644884398522054130749448188272267170607474271837655585306637537696053610981692125429078135332498031384638676502442297905707097555938840542709787911408696252299289725097459904261138785439084067888364744477100258061349339548905848290541990078967604421517960149412095579879484276462539290922786303283044141443423051267416371659354417900984444573410819655891435877289229243552544382187644217983324209611040662079621229744297606825921888163337110556159580454847198482129269350384772076685380661024216435617278950474947459339176155218467378127111639776637476864*t^61 + 219331227610335273411109842346976709850240792140048821122382440108629794870594551027440217220654518323123477320312548340432191392470920443355293619030960006609539205256182418893048964584278076131686180337853909102948767837494770841466532299011765423472978923931203081976509961565418712045028680139699124769940421452415111210179912451619859547208740535036286174886634251414806473479476298160133226541716565585047467944726929652102707948845080310698208836302102094685078654633118730420248705215904557879711991488556795853190753832171692198479523300818250763100621511461231506650388616096064143367369533064638938217762566465283960209417332445963950627863481678351357981269342704330783826005108142864725626252073416290415278000778862495021444345016982628286355316004258450563836658473641525800798433961115477040645075/10308148513614535470675884755827285932707190133977094811567134991250126779152043039227700033337774604722470370492040283577649234239367631869810525027381579821479916460540962471794893830924343170468241493518660262415762579537594088216522997792753089068682429897087350622341226550150784214443926768501716312541329992125538554706009769191622828390223755362170839151645634785009197158900389839617044555141756336271553458977908401032245397358195623393162167960315870417686071840597648382319517937105850157163691145213132176565773692205069665486637417671603937778293643278623565743509156916974210177528750576871933296838444162648318484918977190427303687552653348442224638321819388793928517077401539088306741522644096865742469115801899789837356704620873869512508446559106549907456*t^59 - 489584797066292003569220476916336082152943382925181425610899510495231932867977445018908991489545293459966178383470669625719926215087209847991655009676171387803678407191521989343556071525591844478049534426780781676790553939651414598743948807235181229604917158985550492124055011248789501636881123432529254493524013710221365429059564143471848611378541343054628673914037281148421529073984483783198001440556733332789860056531931375500460824827862547020797236948807315676686385912377877089302016555923944112345866875841775032126077701980748493727471301535832555975072095892633454339325471675867479085326779793406924247876114345972154100285205307056587320216844423562374499066853700296428807040452755206253699283323698448377514939282117074784190700239039730801051089330592230478703345056851234648337341832542552048353975/644259282100908466917242797239205370794199383373568425722945936953132923697002689951731252083610912795154398155752517723603077139960476991863157814211348738842494778783810154487180864432771448154265093344916266400985161221099630513532687362047068066792651868567959413896326659384424013402745423031357269533833124507846159669125610574476426774388984710135677446977852174063074822431274364976065284696359771016972091186119275064515337334887226462072635497519741901105379490037353023894969871069115634822730696575820761035360855762816854092914838604475246111143352704913972858969322307310888136095546911054495831052402760165519905307436074401706480472040834277639039895113711799620532317337596193019171345165256054108904319737618736864834794038804616844531777909944159369216*t^57 + 123352302938421286579146447822496946172918252167897883637378470133961537476914476942775493885213062652647461594855028366753475157802794529424406506657234331047896579252469321097328911642062154270467067965652336492445645079483006491920245854404814021810533015214186899718494451842900865432706709479053944129064768242841157340238744075914169869370456558723679581800861874554590092717894863502328311963169108470590641492262070507110852274602247911417460257923612849035832174655429302888878815643136325998980197150691845228654925798085793191628756365895761691650668515205966594077138809849932770907278049929971920052278957617933798689222054025511132840075878468947737258649309123392699499042697711497918011038029602529986513937373764593565783015122824340611214552848241156310987306882044546268717792716198809287865261325/5154074256807267735337942377913642966353595066988547405783567495625063389576021519613850016668887302361235185246020141788824617119683815934905262513690789910739958230270481235897446915462171585234120746759330131207881289768797044108261498896376544534341214948543675311170613275075392107221963384250858156270664996062769277353004884595811414195111877681085419575822817392504598579450194919808522277570878168135776729488954200516122698679097811696581083980157935208843035920298824191159758968552925078581845572606566088282886846102534832743318708835801968889146821639311782871754578458487105088764375288435966648419222081324159242459488595213651843776326674221112319160909694396964258538700769544153370761322048432871234557900949894918678352310436934756254223279553274953728*t^55 - 54806530544242425475866129414060416375676414297995124845135318776354520320237787408058969108091924994414428128662019004124181596140065253854126952382443906818531011417009516034437142905959547862423204532457804429266462133869207415260580693421666617320951242205901704885718342718150926438369724948370904014720543363844649782972592528604715562168040306475764365138282362875062276646578619677481703362747727072343956390990370817771755701504539168291425900618481462066839716615172614968864713121420810825129188493624797703116437443641444824694776409659241789298115247552061366515677634790206867866941079435545559461559732308640036905109902724722494669628469324720488758164307996766304843367245611261895762834470277829085229584769413536778492386465056627207187983310630056355503133862038217904024016787651109371720843282875/82465188108916283765407078046618287461657521071816758492537079930001014233216344313821600266702196837779762963936322268621193873914941054958484200219052638571839331684327699774359150647394745363745931948149282099326100636300752705732183982342024712549459439176698804978729812401206273715551414148013730500330639937004308437648078153532982627121790042897366713213165078280073577271203118716936356441134050690172427671823267208257963178865564987145297343682526963341488574724781187058556143496846801257309529161705057412526189537640557323893099341372831502226349146228988525948073255335793681420230004614975466374707553301186547879351817523418429500421226787537797106574555110351428136619212312706453932181152774925939752926415198318698853636966990956100067572472852399259648*t^53 + 670620060945789947317485904977873342879203858280162945284194756999013480472930540917998929131917241610015081325647270990009611015326384716974966785084581904861590130192628784889871002433044560588363106321040646255889201808792795387343814547840937716315706331736903676815951326042074852629133814242227055344928910257935045631549428358961548443760609692333214126116099058079339466095219883070667587246365253767106319459027770030702955147739664652944303861903827427082520283006273008115533689513141441570246276795206460783418421778800855696304977149534105657701222740370387407095326162156883766506771614177042979572959651131945577178508988415957952117951036661802234744021519062908152500397091218799630227479626316766774840420070458643793813585441172479755658426331364938329813081391404349292930466320889566702337073045125/41232594054458141882703539023309143730828760535908379246268539965000507116608172156910800133351098418889881481968161134310596936957470527479242100109526319285919665842163849887179575323697372681872965974074641049663050318150376352866091991171012356274729719588349402489364906200603136857775707074006865250165319968502154218824039076766491313560895021448683356606582539140036788635601559358468178220567025345086213835911633604128981589432782493572648671841263481670744287362390593529278071748423400628654764580852528706263094768820278661946549670686415751113174573114494262974036627667896840710115002307487733187353776650593273939675908761709214750210613393768898553287277555175714068309606156353226966090576387462969876463207599159349426818483495478050033786236426199629824*t^51 - 462388870353161626954957994531135803900964349262581336257169777244076889200623611720903708970009462285460762375959636787956146688305603059222915143759063687151384068424184254471629409908845470666856194311039420764918622613539587216236398015249419626635717372245947409773598926404324362467587243626478211757209433320164221644033230697670490945091500965595564312332764478086977050159438050903309386217629939979698841999606506099239291678732988396836396591014690094655180518082626022559776832133382147475341164937240672866859441625019520142302700955985536887518947618178717052335302651033528478253542912813683494598403838008100342637933442594696342736888570311517713888390158375340987978195374305532192209957194500095374578040374504220176655330102359615598790486525743876892978198842459082689762435831020193166326111547900625/1319443009742660540246513248745892599386520337149068135880593278880016227731461509021145604267235149404476207422981156297939101982639056879335747203504842217149429306949243196389746410358315925819934911170388513589217610180812043291714943717472395400791351026827180879659676998419300379448822626368219688005290238992068935002369250456527722033948640686357867411410641252481177236339249899470981703058144811042758842749172275332127410861849039794324757498920431413463817195596498992936898295949548820116952466587280918600419032602248917182289589461965304035621586339663816415169172085372698902723680073839607461995320852818984766069629080374694872006739628600604753705192881765622850185907397003303262914898444398815036046822643173099181658191471855297601081159565638388154368*t^49 + 17520513718513267001893471962239188498783501422264765672568352934932960684176117969735698029696408636667824290154903347352058729716691786422894910041798588167654070817953042318599170493467471619352663433494674151160630527966303333971213890903019037036784864661494827757532759055597952140180659652514737955334763681141299051617143398370843578868629899444974040467255919191417266960026669331012985457859224085703249422772236293081141945722920195965236472548092433291986023411699217830997585969546077508550144736471152349895861578371272115840033436026240152856996345310732520029258220157415981714137864130822983293033796106407495843136815786122313453536875696218296898840790578369497416848065370730235680575660240307759152902950915389032728610819123300525316903790044582098649529001267623359331002460725399448885616142775838125/2638886019485321080493026497491785198773040674298136271761186557760032455462923018042291208534470298808952414845962312595878203965278113758671494407009684434298858613898486392779492820716631851639869822340777027178435220361624086583429887434944790801582702053654361759319353996838600758897645252736439376010580477984137870004738500913055444067897281372715734822821282504962354472678499798941963406116289622085517685498344550664254821723698079588649514997840862826927634391192997985873796591899097640233904933174561837200838065204497834364579178923930608071243172679327632830338344170745397805447360147679214923990641705637969532139258160749389744013479257201209507410385763531245700371814794006606525829796888797630072093645286346198363316382943710595202162319131276776308736*t^47 - 582717652227462630260309639355843917881220849253513861821610955331977577412307089260331864996702059709628997518305800087320232781252339176588902380852311022394630749760596470960412292837606528751895549730127145879627437522511637264506014239655460966657467730186477850529956132003028277081649128796428300857399645740416237453420012489361565074040201780810785007056755481431714940491120730251360743262839727039069422252464096431639010927329736993328527802380049118494392534983293920643280727660539406499321700971550192877496406625910504153656391127443643499692217733167872854472196443721010835423662524819731339639000068320074626690056773480639008160742518685238461826411775287406842417673797167594616876692492363131897943721572426555321958194458761751427256345354837886502752963516126766911212574115876134167109473023746489375/5277772038970642160986052994983570397546081348596272543522373115520064910925846036084582417068940597617904829691924625191756407930556227517342988814019368868597717227796972785558985641433263703279739644681554054356870440723248173166859774869889581603165404107308723518638707993677201517795290505472878752021160955968275740009477001826110888135794562745431469645642565009924708945356999597883926812232579244171035370996689101328509643447396159177299029995681725653855268782385995971747593183798195280467809866349123674401676130408995668729158357847861216142486345358655265660676688341490795610894720295358429847981283411275939064278516321498779488026958514402419014820771527062491400743629588013213051659593777595260144187290572692396726632765887421190404324638262553552617472*t^45 + 16974572508269588445661881492437153636083565472985079033732681765629803753926851920933390381898205353493342185837702950633287794795422920165121160835761591281203800424861263780836977228114831443240818432220925619728255167197870105081261490727470896017375633756633126758687520870489976963067159945260883601978128304233495279525533531866119796556172518938882930728253083515345542407795513944992055989297688881434813751163691000876125591785583114119784138563379150827374003646947087527810818997246808344809153704215055194321555931574151727232499426939937396366097335904707070689566024516406745912726771211961567994199552995117020639504316236812341551448303128839559471002804342252722287540942948666114578519957822889083709514619524675082363627661806022224080237359477863687509280123992753661625117845980002857101590221777995765625/10555544077941284321972105989967140795092162697192545087044746231040129821851692072169164834137881195235809659383849250383512815861112455034685977628038737737195434455593945571117971282866527406559479289363108108713740881446496346333719549739779163206330808214617447037277415987354403035590581010945757504042321911936551480018954003652221776271589125490862939291285130019849417890713999195767853624465158488342070741993378202657019286894792318354598059991363451307710537564771991943495186367596390560935619732698247348803352260817991337458316715695722432284972690717310531321353376682981591221789440590716859695962566822551878128557032642997558976053917028804838029641543054124982801487259176026426103319187555190520288374581145384793453265531774842380808649276525107105234944*t^43 - 431945893056785455270481638263532233367014290579289838424468071616184632584017004248656149572392585823394835415705766420824418614076962573683547144852961610252762652735429370643440365431724222610016769880972838916213457731348721022060286993411779347349323594923981651792062452932104396204849712968479091665343489514768539992050877138278740561755364994894350964564122445840260546520710829471350589334636654268315640832233925619072830605415694795118151294562088628994363289800185870412566876731164815755741528501558819086954090127935548810434084302644439213163564524592554053473627483546359106735174172712916696131416193323259535500743469702466423492292995376092731724845345478785136105137152106674158677744715873871953984139878321895703147544997884899323518806621639412289589973379672519568134375217429223096957315018370125759375/21111088155882568643944211979934281590184325394385090174089492462080259643703384144338329668275762390471619318767698500767025631722224910069371955256077475474390868911187891142235942565733054813118958578726216217427481762892992692667439099479558326412661616429234894074554831974708806071181162021891515008084643823873102960037908007304443552543178250981725878582570260039698835781427998391535707248930316976684141483986756405314038573789584636709196119982726902615421075129543983886990372735192781121871239465396494697606704521635982674916633431391444864569945381434621062642706753365963182443578881181433719391925133645103756257114065285995117952107834057609676059283086108249965602974518352052852206638375110381040576749162290769586906531063549684761617298553050214210469888*t^41 + 9571885896071204119612733408594160726662401651995279807122911113680485394991867885402235989882277499444247848882716650850412549915139978810685068175913661333643859120209893616965859136330059397115264550417702331459038171035150390813733673986559184684274810594146775977508440423240805772091390303546862339886224244103068465795998373928706041768682208790931387524442412827754600747032651777744841644771499443268529848243737739956821241458278536243534352055406327896510572456261480034912711913814356310423593810280635992888719955878078917092612884572852277935280673433701696394975755484605080474949899242336327096432852110957941022127761984566450333620036757616757185120414479979482853324097155614461887826937315347286651364503182171212741082202684908479924571364551920322664521670682306856167212404750056387125099051895825326503125/42222176311765137287888423959868563180368650788770180348178984924160519287406768288676659336551524780943238637535397001534051263444449820138743910512154950948781737822375782284471885131466109626237917157452432434854963525785985385334878198959116652825323232858469788149109663949417612142362324043783030016169287647746205920075816014608887105086356501963451757165140520079397671562855996783071414497860633953368282967973512810628077147579169273418392239965453805230842150259087967773980745470385562243742478930792989395213409043271965349833266862782889729139890762869242125285413506731926364887157762362867438783850267290207512514228130571990235904215668115219352118566172216499931205949036704105704413276750220762081153498324581539173813062127099369523234597106100428420939776*t^39 - 184042249052432756677080938611090937351581277740819902769528693765040128503512964487265398463994275851903951275762399816166537848259711630453002126481600220632614955894243485412875878090479931431771020992612804896033344157904611484892180668547558312692084298011645974296418116541178544622139978367490763024002581318739893422543080885380406899664253431113081115611452061803051132396282514055313087348834818755549888966346361048301018961030593717401330041081595081251378825306953782138695541808089417040895890859448936234279009826816747910840286775859242472209245019311229445648651970565242634334948486963421633133218566356229212000480411080994901364587115191694533609971238151980813963730000103985355737011212438259357820284993947692642183144719222995944678934102220813357634844474847189349963560332744088511736618774292243460415625/84444352623530274575776847919737126360737301577540360696357969848321038574813536577353318673103049561886477275070794003068102526888899640277487821024309901897563475644751564568943770262932219252475834314904864869709927051571970770669756397918233305650646465716939576298219327898835224284724648087566060032338575295492411840151632029217774210172713003926903514330281040158795343125711993566142828995721267906736565935947025621256154295158338546836784479930907610461684300518175935547961490940771124487484957861585978790426818086543930699666533725565779458279781525738484250570827013463852729774315524725734877567700534580415025028456261143980471808431336230438704237132344432999862411898073408211408826553500441524162306996649163078347626124254198739046469194212200856841879552*t^37 + 3057333188365748553265776748415341427828063760634107409793862850248384678001001364686606731457852901902769866099698521647098424515027049265670673241803691734635950446053594145223826556190951769133219473661150002963064970977143630472518907854092663851272724660808489685900674626530185401199279989526302030364120014022505811042092015489924865550909294627843707115237812190853468775257257918997978130875373305809690884222456657652205103028266260178857635820404144624005889431957377767165623588597751960939950005671327089727052767424620606063734605304445311161556468728516007893847207619374840323475939270141330188493374035415404495480185078495659599584075639995523027479040410879218028222247403466892978910115400403038579417928229615660476563551011389291586393260106817936367371051673827995969420256655339447697480870169600718517834375/168888705247060549151553695839474252721474603155080721392715939696642077149627073154706637346206099123772954550141588006136205053777799280554975642048619803795126951289503129137887540525864438504951668629809729739419854103143941541339512795836466611301292931433879152596438655797670448569449296175132120064677150590984823680303264058435548420345426007853807028660562080317590686251423987132285657991442535813473131871894051242512308590316677093673568959861815220923368601036351871095922981881542248974969915723171957580853636173087861399333067451131558916559563051476968501141654026927705459548631049451469755135401069160830050056912522287960943616862672460877408474264688865999724823796146816422817653107000883048324613993298326156695252248508397478092938388424401713683759104*t^35 - 10916187878716365285508745167430009781877942285514457116017786798675055825218067119870599103873430226041667306737718134505281607426049874609515029810307623346233338803875887135148322538480772021004284748896767787031418938791223828827428523949459960735139087877895844918709426972543263328400385492646320474133442129576869258899604698320768672316612027144359986479129151348245154649197819322350147479558978284125700748811157672633669765609557290809496595191661122246122780180870840458575714607315233705501487355250819676806107558221848633977542893156571998351801555035922579373064071293181235290833962854559754153598661451371471671310333054377136112024239414103780324122374162020579043935454620368617154046361198983265059692733013818225740192980065085225268910111148373142124552506646817442460807699007407442813602379019434864668628125/84444352623530274575776847919737126360737301577540360696357969848321038574813536577353318673103049561886477275070794003068102526888899640277487821024309901897563475644751564568943770262932219252475834314904864869709927051571970770669756397918233305650646465716939576298219327898835224284724648087566060032338575295492411840151632029217774210172713003926903514330281040158795343125711993566142828995721267906736565935947025621256154295158338546836784479930907610461684300518175935547961490940771124487484957861585978790426818086543930699666533725565779458279781525738484250570827013463852729774315524725734877567700534580415025028456261143980471808431336230438704237132344432999862411898073408211408826553500441524162306996649163078347626124254198739046469194212200856841879552*t^33 + 133272397787149432736225681078977286070837687166713898923591159825397242397981641391454263516442218728589622729799114792251976064741740719738419523972906533605463889651471133401252138024412093122260944111745500903627795649057369833043676764016230643601180085414624496969164339190613587580533014887186861632026528059434035211427558553462666807733803937234281456143019325694966253276820363672071418502602635156870549481360360835716191735482177743125213779576088483638699490296160471477895504121692495076024256039162215379637738236049362280381907612762761450629785616573475100606052191471261061305494420135125321337670263359364742341538835109073808480995356812060571036292514793898871741750091028222606560894362945073119996574559989587554380832994103347080662929637922970958207002712538085674096345706718985917002697960317568207737471875/168888705247060549151553695839474252721474603155080721392715939696642077149627073154706637346206099123772954550141588006136205053777799280554975642048619803795126951289503129137887540525864438504951668629809729739419854103143941541339512795836466611301292931433879152596438655797670448569449296175132120064677150590984823680303264058435548420345426007853807028660562080317590686251423987132285657991442535813473131871894051242512308590316677093673568959861815220923368601036351871095922981881542248974969915723171957580853636173087861399333067451131558916559563051476968501141654026927705459548631049451469755135401069160830050056912522287960943616862672460877408474264688865999724823796146816422817653107000883048324613993298326156695252248508397478092938388424401713683759104*t^31 - 5526786143975124442590117081314636213271476796541964397049961964632788463778628701594980588894711507621539285238210755725612021718053516120942695544420394469984871690362408011286777846557355785948198433118468143524124875302744992310513600691604752990196110082656418930164732484027677559265453105618319080734489635785349850280603536641332267079851300014357490676033199258415686003665948321335659925245098373957776812340494883966168087222910411101598925191497428503174599331042636627248252257894397040934911795975778913505631223119813568142871233873371981107082002804320805589308298985712927118751580066111956871909127576014777260123891854450109976329566754999272085522010185762730121299131026591599625712275442388468950576857684412012642465154793015750699664127881585259925939011314239722007656858487799828949003437727286838137971496875/1351109641976484393212429566715794021771796825240645771141727517573136617197016585237653098769648792990183636401132704049089640430222394244439805136388958430361015610316025033103100324206915508039613349038477837915358832825151532330716102366691732890410343451471033220771509246381363588555594369401056960517417204727878589442426112467484387362763408062830456229284496642540725490011391897058285263931540286507785054975152409940098468722533416749388551678894521767386948808290814968767383855052337991799759325785375660646829089384702891194664539609052471332476504411815748009133232215421643676389048395611758041083208553286640400455300178303687548934901379687019267794117510927997798590369174531382541224856007064386596911946386609253562017988067179824743507107395213709470072832*t^29 + 48284060568394847384435154223754418774019518946969289588734142589568130776892122615686787015374608369767567641096533716372845959006027448827015111386448525035274710369687043869802337203677557099529859033359024589021242935941204004705376098954370348972733342704471703071568527223103023462213290298780611931478141018180207760305979111741838029700519133323375472047908494913544251293942615908243296568659712082468573347700050945088169187083601137690913164610736138488782671137056480891063371619714678707905320409004216614870451023077489989806026531562207397809668100072021027912984116574933723494169956508829389637945770921725037109066915465658389708790993708818743543755548677358706158675518652771764878122490956190445135452961413222238611004167439608731375835616006916503697688257617481898285884127492295120099825691720750304487201371875/2702219283952968786424859133431588043543593650481291542283455035146273234394033170475306197539297585980367272802265408098179280860444788488879610272777916860722031220632050066206200648413831016079226698076955675830717665650303064661432204733383465780820686902942066441543018492762727177111188738802113921034834409455757178884852224934968774725526816125660912458568993285081450980022783794116570527863080573015570109950304819880196937445066833498777103357789043534773897616581629937534767710104675983599518651570751321293658178769405782389329079218104942664953008823631496018266464430843287352778096791223516082166417106573280800910600356607375097869802759374038535588235021855995597180738349062765082449712014128773193823892773218507124035976134359649487014214790427418940145664*t^27 - 352282868720064677822111241342353992260904497586696962032346136029873584105045538841722764419799626794825535962165154029997651979222035740022197207089705353223541907483555110046722358076006647831479232686202072922584486658236559096486588468609922654434918829719584183102621878573334497665188516475382732062411383899682664017623453818517431531413321517182512172957481582607411652534367253788811271547771042335108869523897720927720036376992457904341961825066883053498891286534807213095028325083956847083264247727640400792413904855430225405508104569382285367612881886016278565468715248250345005258541258144556034383513870574079173316847971850720319435779497101663178855212381440846247216430931766634203425986266987216987524811433034579750629882288279680405606950490062266559006024682291250121236536794870797063061448020484497429095271271875/5404438567905937572849718266863176087087187300962583084566910070292546468788066340950612395078595171960734545604530816196358561720889576977759220545555833721444062441264100132412401296827662032158453396153911351661435331300606129322864409466766931561641373805884132883086036985525454354222377477604227842069668818911514357769704449869937549451053632251321824917137986570162901960045567588233141055726161146031140219900609639760393874890133666997554206715578087069547795233163259875069535420209351967199037303141502642587316357538811564778658158436209885329906017647262992036532928861686574705556193582447032164332834213146561601821200713214750195739605518748077071176470043711991194361476698125530164899424028257546387647785546437014248071952268719298974028429580854837880291328*t^25 + 2124027514931617430655088992475412261183649417641812363163981814024194102153390726417426729985289432081609171869165937649407852711319086011072424441248860444423952246826263910933365559056412207105109555759974086995820534430951402212499960068416709002530549077662988056783975396834159223440032861725682148135802882962189450544639334791084252535602136474434683063448938591046200696092610927019980332051131108195286097620652798951966685594368596556747570898229527110996822048897179432178781144906074166607523995747713037738515369856042877488834078735021640740997817718453417507850373736528467651505761076866338894148710820537870930753005807384704823677540760920934153891210306575977943868762705565998145292977103921621433050739508112130858633459284548333533275792987080930861486275417075915953054783976285995215620922010866741544162173515625/10808877135811875145699436533726352174174374601925166169133820140585092937576132681901224790157190343921469091209061632392717123441779153955518441091111667442888124882528200264824802593655324064316906792307822703322870662601212258645728818933533863123282747611768265766172073971050908708444754955208455684139337637823028715539408899739875098902107264502643649834275973140325803920091135176466282111452322292062280439801219279520787749780267333995108413431156174139095590466326519750139070840418703934398074606283005285174632715077623129557316316872419770659812035294525984073065857723373149411112387164894064328665668426293123203642401426429500391479211037496154142352940087423982388722953396251060329798848056515092775295571092874028496143904537438597948056859161709675760582656*t^23 - 10452258027593648075724143646422415901927863377808644284008494850190753874502683133190101031002953647569708604809321861758407391942081649214767755023877074786684605415740369330811670853657912199984276865455953372672958526129261124638439611976533245782981198634141830212538469265122179679868653979502502637622465322822523867870595252872720742913638606717521548230111242987428425875832956602482640263411192329363181250820913504208514304251167894946607179696459896254376940672034159700381147149344986141593912279692198282428973336113247971742979828585432813963221977077015095084500421374483347649253726550957013958765077594060344649005453088266977190284895754259263932618902348543024510677073594514253345284192523952494476375485544542470046650652537511467870455420156792467095464023589797725020442745089805521421188558819130302036598738984375/21617754271623750291398873067452704348348749203850332338267640281170185875152265363802449580314380687842938182418123264785434246883558307911036882182223334885776249765056400529649605187310648128633813584615645406645741325202424517291457637867067726246565495223536531532344147942101817416889509910416911368278675275646057431078817799479750197804214529005287299668551946280651607840182270352932564222904644584124560879602438559041575499560534667990216826862312348278191180932653039500278141680837407868796149212566010570349265430155246259114632633744839541319624070589051968146131715446746298822224774329788128657331336852586246407284802852859000782958422074992308284705880174847964777445906792502120659597696113030185550591142185748056992287809074877195896113718323419351521165312*t^21 + 41363974592801491069641921496449262531076950586587691617374583297470539406819452692731165823229149269779138634860853773354320003071153655687285093413257208553458324728777446721418228477442965879575914109311751689115929120895214350252886062489061875133688674379716942563200301106445079667257797466363285083283767756944809724030832653446641054009333232027447350149193817596320348420362775578031518132590295182624740648929012197502989117005555298171202151482851450971744192013655702794290186422363881372445259623401079719942498374515353657072927768335478843668461159456564553416312444769968778727817512453445527714760653887101522342289680063054735160229432721681477132078368307380527423020398466931289853955541407580741517224200851082238336474561066773791219170496262368854660516002108051635696594951706968183445095755468010672792610728671875/43235508543247500582797746134905408696697498407700664676535280562340371750304530727604899160628761375685876364836246529570868493767116615822073764364446669771552499530112801059299210374621296257267627169231290813291482650404849034582915275734135452493130990447073063064688295884203634833779019820833822736557350551292114862157635598959500395608429058010574599337103892561303215680364540705865128445809289168249121759204877118083150999121069335980433653724624696556382361865306079000556283361674815737592298425132021140698530860310492518229265267489679082639248141178103936292263430893492597644449548659576257314662673705172492814569605705718001565916844149984616569411760349695929554891813585004241319195392226060371101182284371496113984575618149754391792227436646838703042330624*t^19 - 258658813405509262548263327042806742517957442494512936577963765387583624314231668840897734867857916893436597209279628010298926673897853391082631127656905207838746081816807756087558531110630622883285114524699383562479823329491201046793866105175822822982849102529363985973769510982826029498768933445543951127067326219248909662030335190074293607819564736739894564493147906281955641220286987977733147823952220608035939707949554164238114562420432413003724456774828392741634417713000478597990727495335264127232869060577049557043757585341846288705660073834883398809446051847798077147194367809938205224363341807688302572079075774252928858939295182345795415876414315222587811589265313072531589868920340898902876696733009709566794512131062333578353190460026503424852901366427316756187987985719011294883121026577762725688923324894209201462275356171875/172942034172990002331190984539621634786789993630802658706141122249361487001218122910419596642515045502743505459344986118283473975068466463288295057457786679086209998120451204237196841498485185029070508676925163253165930601619396138331661102936541809972523961788292252258753183536814539335116079283335290946229402205168459448630542395838001582433716232042298397348415570245212862721458162823460513783237156672996487036819508472332603996484277343921734614898498786225529447461224316002225133446699262950369193700528084562794123441241970072917061069958716330556992564712415745169053723573970390577798194638305029258650694820689971258278422822872006263667376599938466277647041398783718219567254340016965276781568904241484404729137485984455938302472599017567168909746587354812169322496*t^17 + 625357693569223517800892811775416871440930064088635198457373357625901465176579984010688665050079126336053316702914444841830540689094272714300204194057959938413609792078722433076169138516957675137972717915008248631835493631000199133397197011324277640118641089392828563172028507234680492969587836714594075832553268662458250570548926272414738799536558686895254413868868841772098514196876666988392126617947413783896622031873775661412516333677232737600580703013697458236548461968031038181489503944458886654788929525799032137940998427317188866359231924757130329694800528148293916926221706768195436782701860895027944468733989226005276422285012965804786124261246873713283947357000550482923737666010976784237308393006549832313368619438318766256624412149696678986917853859408433967634101220943355675562539591477585070966389156948428188631529759921875/345884068345980004662381969079243269573579987261605317412282244498722974002436245820839193285030091005487010918689972236566947950136932926576590114915573358172419996240902408474393682996970370058141017353850326506331861203238792276663322205873083619945047923576584504517506367073629078670232158566670581892458804410336918897261084791676003164867432464084596794696831140490425725442916325646921027566474313345992974073639016944665207992968554687843469229796997572451058894922448632004450266893398525900738387401056169125588246882483940145834122139917432661113985129424831490338107447147940781155596389276610058517301389641379942516556845645744012527334753199876932555294082797567436439134508680033930553563137808482968809458274971968911876604945198035134337819493174709624338644992*t^15 - 1138573588867461908857482660249285773788271224086474525482665035646536063537675675793994936196333029912151379070196802654733463587236548662632901025932409184425371062838742657000287142297551874306344051940955089106108234597704346978230068277443352339018763729858038923928066580782021268339507812023357809951694394083146078058695943413571666372831998425855438587905576834550417986997475965822490592154016945603726286172828951491310783053322493236183293574433123403081516726695632275839130420380268230197602862111424539900456747143559916026341611737944140155879519502230755974945529832461790751013716901730709152463724376842036531919527830555348607717522060924610122079203682018277181454762008643504794742756705791173992452949644409859270990739249727203951109683357860993100233177209862032923132245493703445472636107697430411081565332211328125/691768136691960009324763938158486539147159974523210634824564488997445948004872491641678386570060182010974021837379944473133895900273865853153180229831146716344839992481804816948787365993940740116282034707700653012663722406477584553326644411746167239890095847153169009035012734147258157340464317133341163784917608820673837794522169583352006329734864928169193589393662280980851450885832651293842055132948626691985948147278033889330415985937109375686938459593995144902117789844897264008900533786797051801476774802112338251176493764967880291668244279834865322227970258849662980676214894295881562311192778553220117034602779282759885033113691291488025054669506399753865110588165595134872878269017360067861107126275616965937618916549943937823753209890396070268675638986349419248677289984*t^13 + 1509850829106914964433628752805724856873202206928719643538309440572217971397636180317480080982618791695640578390888539674574657730095211904750715821235025059289902203809811932414580491358087634944499816627177870896396688100859591583592718703427239624859699254307065533239503741331068761774256307269939217236174480871679136851528264210535077940587811360956144687948833744482281487208642204559043382350788359686486146080793885146140395796477978385365786832580104088979444654983913521379689777343253072452779459316613298056483554807131919051036738759914402342607423805484486314509196165734762835662973637230434262063389796706269842579440067555378954156041676208860046457118679905644009367326795498671633479131514682733207578203833291832057249465053510469145245233350978593402035655994646480788931137181598681097004159840190208895667441576171875/1383536273383920018649527876316973078294319949046421269649128977994891896009744983283356773140120364021948043674759888946267791800547731706306360459662293432689679984963609633897574731987881480232564069415401306025327444812955169106653288823492334479780191694306338018070025468294516314680928634266682327569835217641347675589044339166704012659469729856338387178787324561961702901771665302587684110265897253383971896294556067778660831971874218751373876919187990289804235579689794528017801067573594103602953549604224676502352987529935760583336488559669730644455940517699325961352429788591763124622385557106440234069205558565519770066227382582976050109339012799507730221176331190269745756538034720135722214252551233931875237833099887875647506419780792140537351277972698838497354579968*t^11 - 1395772007791790186657068266534141061293507534952361100790426132414523316549156454611721576440307565667705666977162495917358448527714926157549360171726486858572324490423355086175147979983084658710409785003504594940544510776191608080772279544578574326643707828339077078810216953070130250028565060277497525971847606339585807033992588079617479180316681963744121012685654972276541251464623077160255149436157583367129028911739327038341645767929494079079100390590737426614016312292860411606136925577546681142221889322941909844728420886614110852176661160195494057692539751371353213888651905020300262998236478814134741150791577488772410900562737063756046562817586219418213458972402066683434541919079008533151443704179372964333892354692778196745389286235293208909881446282399186623356550056265473994537704050939783024433473297495318514975520058203125/2767072546767840037299055752633946156588639898092842539298257955989783792019489966566713546280240728043896087349519777892535583601095463412612720919324586865379359969927219267795149463975762960465128138830802612050654889625910338213306577646984668959560383388612676036140050936589032629361857268533364655139670435282695351178088678333408025318939459712676774357574649123923405803543330605175368220531794506767943792589112135557321663943748437502747753838375980579608471159379589056035602135147188207205907099208449353004705975059871521166672977119339461288911881035398651922704859577183526249244771114212880468138411117131039540132454765165952100218678025599015460442352662380539491513076069440271444428505102467863750475666199775751295012839561584281074702555945397676994709159936*t^9 + 845559842488208290232110921560906520009752079813675952904386777006279080289144430370790215887951829276514750144008170425410888912107989838950847156112719383626450411475538204121780305489668846292385973029515489049901495676091143319457435481669607939260162193438730547461532037587609968202160903327024567954299403062943760459668414458422420517814274218832095221955851343539560495999869597501083867013697065882291117764306475867072521040900969011550215621571673309967561816027755295045680233012907787381049259702793003171998561304034360678518028209193813386397874544207780476731281575114326637339996217729195572544114308673491531877529853910971907550651131419919248894869988931368897829903786862243442576543422654646617453759277687493671206222050921147344606510775331776526758622753160727518630092147246757523334773439300782063805671202734375/5534145093535680074598111505267892313177279796185685078596515911979567584038979933133427092560481456087792174699039555785071167202190926825225441838649173730758719939854438535590298927951525920930256277661605224101309779251820676426613155293969337919120766777225352072280101873178065258723714537066729310279340870565390702356177356666816050637878919425353548715149298247846811607086661210350736441063589013535887585178224271114643327887496875005495507676751961159216942318759178112071204270294376414411814198416898706009411950119743042333345954238678922577823762070797303845409719154367052498489542228425760936276822234262079080264909530331904200437356051198030920884705324761078983026152138880542888857010204935727500951332399551502590025679123168562149405111890795353989418319872*t^7 - 304357690549443035721901771109310807919482836363161601157673986843767919516474416455832341692326043958278153379163617382397113472269038953794085662586154341242550978023040475758702047757678091331949152811340372981751317710299368904100129411427116046148109922189014651105606876299197655837013400487537640881059813649701711972737649539555400330319217263887344402116205865344808806831254452485402840358527222002736146338449330340788297605810548782269486329766573862710445062154159687400363309497747888503851289470700657948562088578113097684965707265905424213371429124495507953751106330016237671714115961765132540019497725727863656339898726373629205632352032777879301727086531201858837262980564975571971535100812629376117298190172876819059789166698469874007511935554051398257261001870188016675409687487383882059300906380920385174756306823046875/11068290187071360149196223010535784626354559592371370157193031823959135168077959866266854185120962912175584349398079111570142334404381853650450883677298347461517439879708877071180597855903051841860512555323210448202619558503641352853226310587938675838241533554450704144560203746356130517447429074133458620558681741130781404712354713333632101275757838850707097430298596495693623214173322420701472882127178027071775170356448542229286655774993750010991015353503922318433884637518356224142408540588752828823628396833797412018823900239486084666691908477357845155647524141594607690819438308734104996979084456851521872553644468524158160529819060663808400874712102396061841769410649522157966052304277761085777714020409871455001902664799103005180051358246337124298810223781590707978836639744*t^5 + 54201496963023198799015615845391703734395143952866244801692268201983550118767114247124769071264889592957504087352525807189792285401151687982427956724175307342554989316037842279103233517783943215553951275883293079060633037038564975287545189388237419046024247357953980551669084912687314120517322384388673749461998280370760488259871590119717219752939175481295202160716180720556884174537358651636945838521239631753673323507228649566310618095375520448072117203706890051425675924420749370287893176895921218524748093343660987771331306724488811928442734861880081321171278102409914521038550511414380853763044162575206726815691323548517388926074872968830573070016656079486001752292803272960614967870107782856358583163342944378016557319635230416971838222212782105339533121315838296174669379369230620997252472726005809745063561871717557722942048828125/22136580374142720298392446021071569252709119184742740314386063647918270336155919732533708370241925824351168698796158223140284668808763707300901767354596694923034879759417754142361195711806103683721025110646420896405239117007282705706452621175877351676483067108901408289120407492712261034894858148266917241117363482261562809424709426667264202551515677701414194860597192991387246428346644841402945764254356054143550340712897084458573311549987500021982030707007844636867769275036712448284817081177505657647256793667594824037647800478972169333383816954715690311295048283189215381638876617468209993958168913703043745107288937048316321059638121327616801749424204792123683538821299044315932104608555522171555428040819742910003805329598206010360102716492674248597620447563181415957673279488*t^3 - 1530591549713526182254127897362430786896502113351804348520537533183967743632962653989233068481601013882136342501829433351279041916086968522490431319732936179720878906994967843638659778424996446430183455893691693769039855314773158635141372622739001416773917883962223050265943451686210873802527323815461076185821702971517345087807610206997147283473924134084724953241456012952501698275318386345325999031221668362020227984926067665810066097272815619420087037181229982296807492334051997970771007840278876552791621774584315004113133670447688325399868551432738154945150097712955619045469882854473319143724296218010805754508645960997486085024734397523672095381941314025715967963324338521601218228705807550143704284310454546683971946379546650900319265314745966918441781266061615831207777224556715020677728978531900166520537958467973361785080078125/22136580374142720298392446021071569252709119184742740314386063647918270336155919732533708370241925824351168698796158223140284668808763707300901767354596694923034879759417754142361195711806103683721025110646420896405239117007282705706452621175877351676483067108901408289120407492712261034894858148266917241117363482261562809424709426667264202551515677701414194860597192991387246428346644841402945764254356054143550340712897084458573311549987500021982030707007844636867769275036712448284817081177505657647256793667594824037647800478972169333383816954715690311295048283189215381638876617468209993958168913703043745107288937048316321059638121327616801749424204792123683538821299044315932104608555522171555428040819742910003805329598206010360102716492674248597620447563181415957673279488*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: 0
  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:   93 out of 95
Indefinite weights: 0 out of 95
Negative weights:   2 out of 95
Extension rule has valid weights: 0
**************************************
*** EXTENSION WITH INVALID WEIGHTS ***
**************************************
