Starting with polynomial:
P : 4*t^2 - 2
Extension levels are: 2 3 4 8 80
-------------------------------------------------
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 80 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^97 - 1179910438431927096917244577497426992563157451061300798233734935097916341529496655502003875921297404599844268363955733412941512510257249857800937719566821148157448507673605389866664660271371031230939325347851809325499297278475114340954943755970717392695105798686189197339114164224815590400631467019860639644057804760984666583405812881717488239362457095008480622165032788256331963926808781886821371881530851807817683155101853612494772395643967631923586198537285635579106964816128489873577526747271350102592818375058267229266161332727050974847508367192462363797185390621684693691251561789800571194098235304127474052321473476468914476839904491943680743434937920603932719309677745215526516585345091321915013258464152899829754107116206794280687704853372875651410373022946664853618795018040004222738894054/147621218199581241675858399426925836380523019373798887283205436169959347016639952341979415484237495635543088348531990136270693618446833771558417182648125785486929377181345311201215527433848042213542468735787272980848047430310675766414691546352122186111249179689205240599349701687030680193257136570611576198274072858493545878139532261664309828804576561903906703507488762406087728557679806728142944280980158894526571823111594423738024112884683720668440693652738263811847546752595040311925062966514584262843259982393972383161088307247418697530861291948841361164247987407141212397764495924809842704080134309398102671647114514733052728478033053425231634921334660635287631372740155236261978443680175811259304574540759242911454119999851782095809782553793925689741555431673153441789842401342220811808691*t^95 + 125151675898048681307913878861289994337677408301126196990014255242390797410344375523258080304152684723216312733991151343803537385841281607762977175440060431257168304133316326819712379964014649435710973397753928230282168934699940454234829225186887065515219950086230833310116040647472890136579576596348917037742441981263970069558204180435673510108618359053242733312912526422008320211472357462264821590697015906710334830037901699860919871521170001197945436926606121363392467091499373864692345721720651205408565312965907931897499444295819200974822660992625987378751404669793095165287342292918352593762558693946676105101339954498061530969032346072311692759770505372702188543518622206064670257009147828282466234772471298014811257402910252621798768826329451572305853361641291722089573248933690632981793435590877/16385955220153517826020282336388767838238055150491676488435803414865487518847034709959715118750362015545282806687050905126046991647598548642984307273941962189049160867129329543334923545157132685703214029672387300874133264764485010072030761645085562658348658945501781706527816887260405501451542159337884958008422087292783592473488081044738390997307998371333644089331252627075737869902458546823866815188797637292449472365386981034920676530199892994196916995453947283115077689538049474623681989283118853175601858045730934530880802104463475425925603406321391089231526602192674576151859047653892540152894908343189396552829711135368852861061668930200711476268147330516927082374157231225079607248499515049782807774024275963171407319983547812634885863471125751561312652915720032038672506548986510110764701*t^93 - 33366829360454013166422565004463344749870770757294844629544448532267069512527323143675701920399931820124616356249711205421939426597138647058084846122733357450465044198797015644867784137605638173051188720691715968862884230228464979091920537986994496133635136478557728791173373337037968796073241647767991918673174293655077990289656443199692817536725246056689964760183020757225617756967242510441431773230529457667667507352612423652705746075662832960346932929743408612932323262777312477078529783579393932131304265589122343644602312905317985821899427320131692436150234358732986737704557085143337699729901370365663922895135767013230569427233472896019226471956797335548587439176891606668930805644203879905737828315595389020048991307205392201078083619279040338419833390119183221955560371728646579896033817709695325573/7177048386427240807796883663338280313148268155915354301934881895711083533255001202962355222012658562808833869328928296445208582341648164305627126585986579438803532459802646339980696512778824116338007744996505637782870369966844434411549473600547476444356712618129780387459183796620057609635775465789993611607688874234239213503387779497595415256820903286644136111127088650659173187017276843508853665052693365134092868896039497693295256320227553131458249644008828910004404028017665669885172711306006057690913613824030149324525791321755002236555414291968769297083408651760391464354514262872404932586967969854316955690139413477291557553145010991427911626605448530766414062079880867276584867974842787591804869805022632871869076406152793941934080008200353079183854941977085374032938557868456091428514939038*t^91 + 87241001439018232130806652778174289483618815999044078469341577681803300947314897479379259247085378236069442233858173897503673730965030091914001023525965032929224395146284387726713481409609427949283610924453555087061469911826700906596509533341891350152817831397266879419368591747294256929447107985092404814061282046666568647740236569005944612459284253417797156510511480726270464149249381879145166089867398630832613487149418808420942902689149860081020155148137638011337669630017953371907087669838249666452508401445049890328570504436663086042695985553447887082762278778755858657506243338661561696795744622910351359959897530843773833867421166293960806708130998158732469668008169304104116900879232209008595668703877875230371996180266697062718100957733910043146082877836066159661897643272163676809636862408859568043559/43062290318563444846781301980029681878889608935492125811609291374266501199530007217774131332075951376853003215973569778671251494049888985833762759515919476632821194758815878039884179076672944698028046469979033826697222219801066606469296841603284858666140275708778682324755102779720345657814652794739961669646133245405435281020326676985572491540925419719864816666762531903955039122103661061053121990316160190804557213376236986159771537921365318788749497864052973460026424168105994019311036267836036346145481682944180895947154747930530013419332485751812615782500451910562348786127085577234429595521807819125901734140836480863749345318870065948567469759632691184598484372479285203659509207849056725550829218830135797231214458436916763651604480049202118475103129651862512244197631347210736548571089634228*t^89 - 405995399440332065388590887231406066518385757632343027262988382429480127403092125907785375323562760323926284504614310049441151852477919465648396905253764502984227335276633175905038265970390219862143977805484949272498011012874901962087783874614717714306834227016670718590602335532203220961402501949747345989420387421770669706370150813215871747754484591989084532750913076891643893620903441981211330362291347506704694885936726760440194432244246142644553678072080398858806040617002341304016116085258323792079513037051438532484270498880608676130228476751895630661855649142609133648920920556619023790970543711851764448006536648612352505279021374774894953406063092913443821538639398247014097054257776987396682108456147411469818130130680808800497767504504289274030648584077132384162283155547948328340665383048500327779159463/602872064459888227854938227720415546304454525096889761362530079239731016793420101048837838649063319275942045023629976901397520916698445801672678633222872672859496726623422292558378507073421225772392650579706473573761111077214932490570155782445988021325963859922901552546571438916084839209405139126359463375045865435676093934284573477798014881572955876078107433334675446655370547709451254854743707864426242671263800987267317806236801530899114463042492970096741628440369938353483916270354507749704508846036743561218532543260166471027420187870654800525376620955006326747872883005779198081282014337305309467762624277971710732092490834464180923279944576634857676584378781214709992851233128909886794157711609063621901161237002418116834691122462720688829658651443815126075171418766838860950311679995254879192*t^87 + 7934598617611119489633759413849871170484790517669003219125906197519317895951698516118971765689255398749137763054006463881363111206693589890463734949701155090207823752462005253947930516150430680415124611547801277679809230970499573409477444424846096309516037279743396443505596709433650563266187188473521989910187006446360733818147565151984717115460392220839124010719609006799877526233555835382843733237500179015601167086588027753651847884226382638113932556893877156543799152856501688872980557082494053948157912170913289203048307386872853513038862252383233034612961219976059193647251774174631200128593783256985875590925326494974918365805487664623916161484415074490547877213455649955354862292849088903047219865163773118857172724939198764409043134221407049918011733304017826417055269669933531359744018604195130037796360317/44657189959991720581847276127438188615144779636806648989817042906646741984697785262876876936967653279699410742491109400103520067903588577901679898757249827619221979749883132782102111635068238946103159302200479523982304524238143147449641169070073186764886211846140855744190476956747025126622602898248849138892286328568599550687746183540593694931330064894674624691457440492990410941440833692943978360327869827501022295353134652313837150436971441706851331118277157662249625063221030834841074648126259914521240263793965373574827146002031125027455911150027897848518987166509102444872533191206075136096689590204638835405311906080925246997346735057773672343322790858102131941830369840832083622954577345015674745453474160091629808749395162305367608939913308048255097416746308993982728804514837902221870731792*t^85 - 92183358101541822179983026487206100481585552740990554021920122814328145320755431948238757720881050048517969962311135038784733015166228118840011469327377205171987076940135240446397364929780084978682906346381053486557672877069639092357556527458189341478942554621752722395609399060457597483626139927670221747788034563063466886074249735260151858839794384369209646442342238325219574175063048315581393163014306059776222724155952807964221478965635618492901978613530069268366752832730526404870407738671174570213204425070932072334764979023334982450219274246591219541930573341978073460963634051332300728233519228214942189376762698822493420912991764097550639117072218443812111878156802045897260390302911209740505289472103951228575955567151739321055661787558551849858276508087419392839508118704544087218091793354286602601411143640765/2411488257839552911419752910881662185217818100387559045450120316958924067173680404195351354596253277103768180094519907605590083666793783206690714532891490691437986906493689170233514028293684903089570602318825894295044444308859729962280623129783952085303855439691606210186285755664339356837620556505437853500183461742704375737138293911192059526291823504312429733338701786621482190837805019418974831457704970685055203949069271224947206123596457852169971880386966513761479753413935665081418030998818035384146974244874130173040665884109680751482619202101506483820025306991491532023116792325128057349221237871050497111886842928369963337856723693119778306539430706337515124858839971404932515639547176630846436254487604644948009672467338764489850882755318634605775260504300685675067355443801246719981019516768*t^83 + 891330571202287768679021103540002857705157963895676902301431181438106755732356833719046032254170809208124258813703870910298338324545364799419095414686617702101198719416984546690809738064327433819762272274617089369848380785430779476824298058324276834804758880871467219850121560204194637889751446114933429831802326598100463321015051028840926860017779974462247742706665437993053701762559410537232920539452387304911438164214714707406482618370746894153330652354618218476198739391866997608886273231922743376739109189984829895182506169313251030225050385009754236631124106904926448220943600129882985456469662365687147877482283173627000223559737392243271799408379521777900790922864216045965018248886439340773824950083643548808180423434461325228471542893358477216073153000058435411790405552949005592523894155731243587191567968414475/130350716639975833049716373561170928930692870291219407862168665781563463090469211037586559707905582546149631356460535546248112630637501794956254839615756253591242535486145360553162920448307292058895708233450048340272672665343769187150303952961294707313721915659005741091150581387261586856087597648942586675685592526632668958764232103307678893313071540773644850450740637114674713018259730779404044943659728145138119132382122768916065195870078802819998480020917108851971878562915441355752325999936110020764701310533736766110306264005928689269330767681162512638920286864404947676925232017574489586444391236272999843885775293425403423667931010438906935488617876018244060803180538994861217061597144682748456013756086737564757279592829122404856804473260466735447311378610847874327965159124391714593568622528*t^81 - 122872680223314285380870737762425921867394042776135397099342241072099521194937875895069787566901927002264498253196957787353064692656281006093661929302742449972878640297053042533714172986541938134486434655091182709891395309446687095151866608052424473101143087920024404570932989530430141803983651748828571928135318126632278439772021427970122466008448283004006889530475283712476471811226381218392953942556411061486405289167640906979829807786800119186006493263449558923083354286268066108269234531595672844716015357063142654262678393915426155324304025380012034947939907110336137425761439683096121077121291793697184723143879584805507008319278762530610398477197507102920686260116165519256347172541544825003041019883590188531698891263263613271180256024050666388801161473693212575142380224980862107293779945581074979627142693903027085/119085839893311254884926069673168502973719412364817730639512114417724645292527427367671671831913742079198428646642958400276053514409569541071146396685999540317925279333021687418938964360181970522941758139201278730619478731301715059865709784186861831373029898256375615317841271884658733670993607728663597703712763542849598801833989822774916519816880173052465665843886507981307762510508889847850608960874319540002726120941692406170232401165257177884936882982072420432665666835256082226242865728336693105389974036783907662866205722672083000073215763066741060929383965777357606519660088509882867029591172240545703561080831749549133991992924626820729792915527442288272351844880986242218889661212206253375132654542597760244346156665053766147646957173102154795346926444656823983953943478706234405924988618112*t^79 + 4518407695279609283671704398888463145046530967916684141745265905010370532035137402063803969353963601395680815390939597793024202223739694070512100327557847108402706256531209558244408595905392894444203489417846359323414831163790035537769542002420387446238946110225652901622844150050284349248148398457734510096505169707569911890332738127695231988135178147757320597231232986701511577340867253855176133238122333600881724067873765350290452654885022411361870931611678203214899350895240290122926199234995254032228769851464883056630756655781549305223744682830070042210054048042552618530851563279391398996755792338544549633202992035532913133675295650335591032076992814248647912203817594816640370865391555665583469405514161693924325402424356928867735510929750580820821223259236342235484669609999450830459706553510658614620168488797342555/34024525683803215681407448478048143706776974961376494468432032690778470083579264962191906237689640594056693899040845257221729575545591297448898970481714154376550079809434767833982561245766277292269073754057508208748422494657632874247345652624817666106579970930393032947954649109902495334569602208189599343917932440814171086238282806507119005661965763729275904526824716566087932145859682813671602560249805582857921748840483544620066400332930622252839109423449262980761619095787452064640818779524769458682849724795402189390344492192023714306633075161926017408395418793530744719902882431395104865597477783013058160308809071299752569140835607663065655118722126368077814812823138926348254188917773215250037901297885074355527473332872504613613416335172044227241978984187663995415412422487495544549996748032*t^77 - 7638852066974407060108881080829035629844037213253067585492386501353622485066822978984666714853933537521377005099338749559400772814125255016075527473688591819432482844853793921796818975034070406806673638317787488162109186460344291220859055839177111473606278238758878299551501918604707090521445410742426854968692914064139821481947190681555089660897846173583267472135745176447570799331963706812955569603225783056013843624848233310520329681535474477347536560469714942969882572360747770631693834077807346866429652132288445869848374111768824537365254089918256135562103926197528818118462584560234964898761347703680840011004353304636542311675249900188942518195741859804083017020876647732683628188402650698341939615158990004198475077785853930796757469206031343803610759218271611830663095650490772637218940857668224945312451481918484115/519458407386308636357365625619055629111098854372160220892092102149289619596629999422777194468544131206972425939554889423232512603749485457235098785980368769107634806250912486015000935049866828889604179451259667309136221292482944644997643551523933833688243830998366915235948841372557180680451942109764875479663090699452993683027218419956015353617797919530929840104194146047144002226865386468268741377859627219204912196037916711756738936380620187066245945396171953904757543447136672742607920298088083338669461447258048692982358659420209378727222521556122403181609447229477018624471487502215341459503477603252796340592504905339733880012757368901765727003391242260729997142337998875545865479660659774809738951112749226801946157753778696391044524201099911866289755483781129700998662938740389993129721344*t^75 + 23692966585479590190095004853002346660442733263324768282745104494081902600959312007901718835256001253948976493979953470277177107962048984273660189433752114161217239314407755075809016737280611472637429123217598871952204283011935596624783356653048197055593365056668252851978306520219179609748615208677724295649972190299563202582695455881297300468795559210505210695578168783015539744185014776720694918966790046598694928494492146459110517280262984237452656672489315626922776486596772010129757241851231921244115524122058332206081067097522123609132990203185836374820167745010619671820332474326496549177991486061027965083915686432916417154117962472083949138633762357370816676390738679181483168108176024936238924384300959728021465085656543594361336319081106997525756476466942211399473636069067537275048212817364920582249658342586719375/16796014159596799052897666779241339605961730204307784508666929626448707927226590133131880161762132836755124718766306433282354473921061975786202132781297867148735075803744177630004966676917821691851943109494018614709822285404236887200960460384952568730879906666860685152637121614168824057543923094256250447448072289677487886579431226216028140521765155487733384932407610300425981560340458009957597215969298078666134394096252521100859632399324014440498141144489331349259098652739702364379029386412326031683499802441269746706328269624595194030177995883957061536909993233879177943923427091889475436553117503647073015085182807009627332662389538523048577128827410276726059391742879884659140658480944447858836431592193051637925446542205358318456579703898331100699483640225923236043644290997159345699122176*t^73 - 439895893783839910861343696223860119085451383819179224396389538330796733984118064303130464428006507737295837895236856645098748559485703872903377763513835704860509061814159816109934886234835949744214814555698127649583230153371811111229867232072606121132914805440774198407733234222124822199253903991611010176121453225202043877541561954087883224260970378553991153775513982388349825135703145883029671781478170128082404524379879881747497325426029883437693300386693666605842830760232543764799333115265030562650517066062537363740149409414559364716450583086909726535786640643912878601962875816293887410184539579368582042338845578860810299212185373971787247714501601519347233284215163510722592671301218414089156680544317110815844654366499697058435028398973923477322124897422624265355103928623873544576567454030894520593587276514931296625/3732447591021510900643925950942519912435940045401729890814873250321935094939242251807084480391585074834472159725845874062745438649124883508044918395843970477496683511943150584445548150426182598189320690998670803268849396756497086044657880085545015273528868148191263367252693692037516457231982909834722321655127175483886197017651383603561809004836701219496307762757246733427995902297879557768354936882066239703585420910278338022413251644294225431221809143219851410946466367275489414306450974758294673707444400542504388156961837694354487562261776863101569230424442940862039543094094909308772319234026111921571781130040623779917185036086564116233017139739424505939124309276195529924253479662432099524185873687154011475094543676045635181879239934199629133488774142272427385787476509110479854599804928*t^71 + 64298422000754846252593509038848233816172777089821972940506304807707248851433114020583611774174325078863401972860938333328086546130323934212792014198763971175151988958552651247411673019659541254259759411451450516045373361161731460390872821636666923025152349446755037574321341915131625060039059932954992596339000427450893254147455149200166493644266655044735584759821611175219951883321258560514216690169660205288990993686249403806955265043200659797126770055792868708319855477179860778777949979096783264864289469043659772978208909019248952063448041975521458140775264174897028037719729406470236369059150461021056803659815102138626515688203068899762211541547213203210068739013851777934996795165809889121288681150177052794677695575176281923215097542647057710272986274427600333576373496757731039603322198416995260266108454804168297617625/7464895182043021801287851901885039824871880090803459781629746500643870189878484503614168960783170149668944319451691748125490877298249767016089836791687940954993367023886301168891096300852365196378641381997341606537698793512994172089315760171090030547057736296382526734505387384075032914463965819669444643310254350967772394035302767207123618009673402438992615525514493466855991804595759115536709873764132479407170841820556676044826503288588450862443618286439702821892932734550978828612901949516589347414888801085008776313923675388708975124523553726203138460848885881724079086188189818617544638468052223843143562260081247559834370072173128232466034279478849011878248618552391059848506959324864199048371747374308022950189087352091270363758479868399258266977548284544854771574953018220959709199609856*t^69 - 8249047488963875686072577027493507610676908529317538473966504667344526816057000114527013643352669400289730777899119877452062952938361385025704323743192774522171942066250738877200058687493229989990350011405128374442423364854209884699897284000947029047699854017578669312042626912117194165371754345096112235784551777829857041580479821352019724885808042450396698236822677772065618981800342239691161429668472571707705041582325488826586890872184309215144806798400674266772984143423436574475540627328496933622849945693177438790404226348517340241769051194905623263959952175805983804613045772011968970220942167121500492336510811471646272412456836276097702272841481758241896350701232758326793156182643726429875955000675668964327801754829830080540855575529265384913334338148537637324876531434603715023459558854188666050486484236363307688408875/14929790364086043602575703803770079649743760181606919563259493001287740379756969007228337921566340299337888638903383496250981754596499534032179673583375881909986734047772602337782192601704730392757282763994683213075397587025988344178631520342180061094115472592765053469010774768150065828927931639338889286620508701935544788070605534414247236019346804877985231051028986933711983609191518231073419747528264958814341683641113352089653006577176901724887236572879405643785865469101957657225803899033178694829777602170017552627847350777417950249047107452406276921697771763448158172376379637235089276936104447686287124520162495119668740144346256464932068558957698023756497237104782119697013918649728398096743494748616045900378174704182540727516959736798516533955096569089709543149906036441919418399219712*t^67 + 698503115963484907987266969385059431364185653471941686911693925014613227960884975547024831331859202755814752200868457998490412389841118471451702222903014368653302394063179070073375353333794701586831834244964540226360454640711648937235080137902303408152089103474818558380794513264726329550067107923562464354239773284629332097975470343416067660766897986350307849898613880707413490344466760445675619833857949626846371616014801040526305006245188718395516823721672795310334443916490962266145559537614047008977315113780241566977289049328631539953778926375940404266826474688267414554292964527585785519134035661884542924038335714971275441715474080135893526613090258537180460385650577060215306884934814580210489854114617508211490159051874864239019897063609796771560818431488666606363396138395571303986093858032705446082475799591271944911298875/22394685546129065403863555705655119474615640272410379344889239501931610569635453510842506882349510449006832958355075244376472631894749301048269510375063822864980101071658903506673288902557095589135924145992024819613096380538982516267947280513270091641173208889147580203516162152225098743391897459008333929930763052903317182105908301621370854029020207316977846576543480400567975413787277346610129621292397438221512525461670028134479509865765352587330854859319108465678798203652936485838705848549768042244666403255026328941771026166126925373570661178609415382546657645172237258564569455852633915404156671529430686780243742679503110216519384697398102838436547035634745855657173179545520877974592597145115242122924068850567262056273811091275439605197774800932644853634564314724859054662879127598829568*t^65 - 139080990814923817840552882370292444700177240279537413752562974272309135527755587796559183711137596988996887245180031225031001383596318599222063359140220357421906314099785714518283717759328190485921776653148837426124807406647857660862771777364074287392950480752347103826848038501668670333260924029840174125415925078585586397374701325278708631013702284860407384629631740013879011888871981895533614602784852091304867198290381135168589012671477538112471619934571945072060563262068707600497390456542657587173340246274966409086195498180552014763786766999264955539135266335918344290330587839347487221840436263990974501700245358396475594287313210504015483972932342903215176721383839413301721324871156299141753332375693787764856047687315031229004147234784988794614128416415270223611019154771491223247788718324003318759940678662365682644250758125/89578742184516261615454222822620477898462561089641517379556958007726442278541814043370027529398041796027331833420300977505890527578997204193078041500255291459920404286635614026693155610228382356543696583968099278452385522155930065071789122053080366564692835556590320814064648608900394973567589836033335719723052211613268728423633206485483416116080829267911386306173921602271901655149109386440518485169589752886050101846680112537918039463061410349323419437276433862715192814611745943354823394199072168978665613020105315767084104664507701494282644714437661530186630580688949034258277823410535661616626686117722747120974970718012440866077538789592411353746188142538983422628692718182083511898370388580460968491696275402269048225095244365101758420791099203730579414538257258899436218651516510395318272*t^63 + 4075719512636344069023516699306414811058536321734668299345577256737248900148528175416085367383300518626469261930567340685905075366230205747145319822832730602707473447329843105548717168320925757940065902078883205124702268315723071194243537036361342030340605640699089032090819812585543474416188919758863335244502354895018045799444994338819596744137240967743708700471665577266445838544168683454005452446806041365743829090704793922561148429271959735799939363475956598210798151428101392115170273401841484519098566103551026814537990117874020110263544905146377871147447518680864810222737896370113320450301578575697683599097272723328071084755423003120589442874670038214134421409681389339048274725408727394538864997324765699283549717254146331402041167286147953714440642338082271719877890582380307106047117803909950008894819726129215826602210299375/59719161456344174410302815215080318598975040726427678253037972005150961519027876028913351686265361197351554555613533985003927018385998136128718694333503527639946936191090409351128770406818921571029131055978732852301590348103953376714526081368720244376461890371060213876043099072600263315711726557355557146482034807742179152282422137656988944077387219511940924204115947734847934436766072924293678990113059835257366734564453408358612026308707606899548946291517622575143461876407830628903215596132714779319110408680070210511389403109671800996188429809625107686791087053792632689505518548940357107744417790745148498080649980478674960577385025859728274235830792095025988948419128478788055674598913592386973978994464183601512698816730162910067838947194066135820386276358838172599624145767677673596878848*t^61 - 316705279724274322205638181658346725095470715774742610513070269280147690602135260552689563241875449657285550182519266500593584076522810026754594403264924268831500652564888384692480494984789728152741901027042074972846709155541732374481937016306580341023122021139750574244168440096397516367653410514702014798319827058035463619167917647994120936029048461104703988196036044343538344721618291302388566548112200634052621998821992130556773819694228288765835893523912548130978656715189870275657803098532456110543062251081543601260754977507159748390975003468259266697556724604163992841072671965391802287600229976423990350777210159419640610137061260759728661543815975161417305868921998888358489824510736555454937584338145511093286518478683712642026008652586266160192618258388930444239371785914082750855028381523711157311837330120023791957138942773125/119438322912688348820605630430160637197950081452855356506075944010301923038055752057826703372530722394703109111227067970007854036771996272257437388667007055279893872382180818702257540813637843142058262111957465704603180696207906753429052162737440488752923780742120427752086198145200526631423453114711114292964069615484358304564844275313977888154774439023881848408231895469695868873532145848587357980226119670514733469128906816717224052617415213799097892583035245150286923752815661257806431192265429558638220817360140421022778806219343601992376859619250215373582174107585265379011037097880714215488835581490296996161299960957349921154770051719456548471661584190051977896838256957576111349197827184773947957988928367203025397633460325820135677894388132271640772552717676345199248291535355347193757696*t^59 + 21762410246619254371181667779275488467067200907613075776521913715527337819877524894774592151666204902504714394062904675715830812973970545413181822929546776366814876816332766547663067395285300199149998364989486050215074841529493555082067680365054558563980008928182369870949468013878872177417162215262727284157129425143894563974960601611245315554806333414586461236191923863877364557394982940937445541799600439793049462132994109776676423147842587517204120568136074303787194240480155889686081238321169649418005958090437567219122139298620922001230610861037792826590804689814330633748724007803579940761981037417885249335127166681721945177862285942150582243386298889844082767955957171611292235225473367989387196853011250762479809966002973873897711243586700098529940609608997334271931954456224084172314551842685063367665935848118135551416805365848125/238876645825376697641211260860321274395900162905710713012151888020603846076111504115653406745061444789406218222454135940015708073543992544514874777334014110559787744764361637404515081627275686284116524223914931409206361392415813506858104325474880977505847561484240855504172396290401053262846906229422228585928139230968716609129688550627955776309548878047763696816463790939391737747064291697174715960452239341029466938257813633434448105234830427598195785166070490300573847505631322515612862384530859117276441634720280842045557612438687203984753719238500430747164348215170530758022074195761428430977671162980593992322599921914699842309540103438913096943323168380103955793676513915152222698395654369547895915977856734406050795266920651640271355788776264543281545105435352690398496583070710694387515392*t^57 - 1322462687438196984626174191592782223310814679953662500864384908073581775227751610551395497211372050444348919329714229965324295142866350541108505550793132691619431607274141823365854435765029469073867725569233322636133384913206671087470604691721942176007564500231885285552691195895784201061102630759700488049702726466414758300627494561725243619587507910175790054625170412310743090718911099872363398566702718436793684028708884289219961452411418866203252242399037323117189674962190308239474563956975797778461983229690943324763076924240817850826854154136036305759761343323073611606857435935689540038828953730678287433647947844439875444347141675221201926353364323371572389529020448652632309257803208951097276527508697331855940426656864492631532693422066134964059911112305973287105496570185662566381495461449772364071184261837183755322579075034406875/477753291650753395282422521720642548791800325811421426024303776041207692152223008231306813490122889578812436444908271880031416147087985089029749554668028221119575489528723274809030163254551372568233048447829862818412722784831627013716208650949761955011695122968481711008344792580802106525693812458844457171856278461937433218259377101255911552619097756095527393632927581878783475494128583394349431920904478682058933876515627266868896210469660855196391570332140980601147695011262645031225724769061718234552883269440561684091115224877374407969507438477000861494328696430341061516044148391522856861955342325961187984645199843829399684619080206877826193886646336760207911587353027830304445396791308739095791831955713468812101590533841303280542711577552529086563090210870705380796993166141421388775030784*t^55 + 71045207703117996874585755615880284314345816568516604019481888874748167304722287649082929064408764356948068106880873187948364879837654661890197716694629710267529460653131301220070322867400925676188822067793357866377379492045335924160033779327483102114343728768813781745024013884979447367218909003317332693528942909093135397581845611475243865035469477383730842648265198749141408069044083015928735048388534143064705082023194935859541260513852452001926696453664580065949595223252775974506216227458923043352556497085198715619218665481847517488870587666143245231018152850513111776688455502097194512195296225010380891027863237357770937374846298660672558410594457321904436652388578872517670475091443719131588912572139080846312690624252946599358161613436510866371211047378874884088804641146531044595360036946614248203207047109103980212198119139303771875/955506583301506790564845043441285097583600651622842852048607552082415384304446016462613626980245779157624872889816543760062832294175970178059499109336056442239150979057446549618060326509102745136466096895659725636825445569663254027432417301899523910023390245936963422016689585161604213051387624917688914343712556923874866436518754202511823105238195512191054787265855163757566950988257166788698863841808957364117867753031254533737792420939321710392783140664281961202295390022525290062451449538123436469105766538881123368182230449754748815939014876954001722988657392860682123032088296783045713723910684651922375969290399687658799369238160413755652387773292673520415823174706055660608890793582617478191583663911426937624203181067682606561085423155105058173126180421741410761593986332282842777550061568*t^53 - 3371652703248366357647017318085366917371701094354663063626578639999068744295255200922097533166412660917680227321544886897081455543660424515019659380968713479682142826381691557096435472205668547916136889166458308545159841441651865201027755749017953922151801798011001032850859722547708141917506810188045602504074481663713192856791689180921065674156232185791773301045029573405802057108827913694246767038504488863849361647791750739474586470920404872783085638473352163900401489275479983929848152967933152246917533262252579692892893190745925681964211894891589990990430420049447966814819648042953681670203972053751888724644710510777365685699603240685326613907389988999061171259754564780689998662667260538787248837277270658127497261698502041937067091995401982198059623940816403396936903322890521335938058440655192028650823341008639470928789644047654565625/1911013166603013581129690086882570195167201303245685704097215104164830768608892032925227253960491558315249745779633087520125664588351940356118998218672112884478301958114893099236120653018205490272932193791319451273650891139326508054864834603799047820046780491873926844033379170323208426102775249835377828687425113847749732873037508405023646210476391024382109574531710327515133901976514333577397727683617914728235735506062509067475584841878643420785566281328563922404590780045050580124902899076246872938211533077762246736364460899509497631878029753908003445977314785721364246064176593566091427447821369303844751938580799375317598738476320827511304775546585347040831646349412111321217781587165234956383167327822853875248406362135365213122170846310210116346252360843482821523187972664565685555100123136*t^51 + 141196121741523640405914273750984709018959738734087461741030130887633282179852236901968336070791968452415441791996231430314867840723916478606226799382438023035591058424610565384025596854487389774411978487374336071395626951068802625693280617352445149210077318073123159342702022712000316017195081187518203366488337618470932583774537512446365548475097474247501871870585389410728515172122675592942449774510462523760618512809833979717094677765544506654918812362219404650158992957375686824252895060872791517258097150532762184223777352806387042614084844989605984658891614857161839383846263026522252686001993373851494293231722060380648698069583282285639456596825424720259917010698916706435364059189310269229722435902213993495575228097398768526567164085683341019468222102869373205245782059207550762781395649006711752213749323917170248126068360886507479484375/3822026333206027162259380173765140390334402606491371408194430208329661537217784065850454507920983116630499491559266175040251329176703880712237996437344225768956603916229786198472241306036410980545864387582638902547301782278653016109729669207598095640093560983747853688066758340646416852205550499670755657374850227695499465746075016810047292420952782048764219149063420655030267803953028667154795455367235829456471471012125018134951169683757286841571132562657127844809181560090101160249805798152493745876423066155524493472728921799018995263756059507816006891954629571442728492128353187132182854895642738607689503877161598750635197476952641655022609551093170694081663292698824222642435563174330469912766334655645707750496812724270730426244341692620420232692504721686965643046375945329131371110200246272*t^49 - 5209807900878583569705476583519390117417952603982291133329341125259411314409032360754434802381207439775888590078261809944244520199744348180198126295646437120937500553436619732483208222570969729359597383672208109824272813716705974585843271325622730805339047825224174269876854619788821062737928175830830633525277574536233673970543955290733163189485485421149601139741298045041495073086914242754635316503280516052357256163753605416709554196084695454713134110717398296915810441532244504044187131834804655896199208045265594276794713025569837462364209330518454806284652506601876304545474151593988520208932168483777633553149483006140144576175901227509861185237663219400393891964149254758686250382973706214349311797208922820417351466624010334859904307498543523039044181615101162951389816102763788276993441191326899047652542033541182037280865503348530483453125/7644052666412054324518760347530280780668805212982742816388860416659323074435568131700909015841966233260998983118532350080502658353407761424475992874688451537913207832459572396944482612072821961091728775165277805094603564557306032219459338415196191280187121967495707376133516681292833704411100999341511314749700455390998931492150033620094584841905564097528438298126841310060535607906057334309590910734471658912942942024250036269902339367514573683142265125314255689618363120180202320499611596304987491752846132311048986945457843598037990527512119015632013783909259142885456984256706374264365709791285477215379007754323197501270394953905283310045219102186341388163326585397648445284871126348660939825532669311291415500993625448541460852488683385240840465385009443373931286092751890658262742220400492544*t^47 + 169049459795869511818666475637324187453010315809275984339808373293043685551415649097376635231565157117068131200355659591526328109023786593077430182676790502180939213421976570989447418248786629210368467377772488129806751136529225525911096547773035512385755491111649079696943559070249967243391365224470050426508606572825347143151336479775479755356386747335425238556518190590613872420239729834834402608536969684742478270293290641165068476013799029012719360224242103305299760325404790180304001832499089027903955409113745655275029079903260356072312197831584357084953262449641220983314134103213462892275484547880472920553656807341695314615324462279262818678084597130673684961420878986785889511726364065535647112453314481798198054081340001690630152226815710514334182780232277840149832909947151033964927941920243918990655191749197486592502086600119910546703125/15288105332824108649037520695060561561337610425965485632777720833318646148871136263401818031683932466521997966237064700161005316706815522848951985749376903075826415664919144793888965224145643922183457550330555610189207129114612064438918676830392382560374243934991414752267033362585667408822201998683022629499400910781997862984300067240189169683811128195056876596253682620121071215812114668619181821468943317825885884048500072539804678735029147366284530250628511379236726240360404640999223192609974983505692264622097973890915687196075981055024238031264027567818518285770913968513412748528731419582570954430758015508646395002540789907810566620090438204372682776326653170795296890569742252697321879651065338622582831001987250897082921704977366770481680930770018886747862572185503781316525484440800985088*t^45 - 4812732340395734594989758585754279225265098882108635281412348039610400490168775626702741481543645620971527802695692037485968195276800681965601654312938956597664475602545648995338073211053592710726727722455644583066135495577016054229067714973804731904542056984304173412024669712896573523499911335015065039761700072237731389979250033704029836114225300298584873728076116080741132372872611130000092425435479154110646101432850422291014440789279217669269749439616017752469593164633133432043715140621616747532969919614845518736003004387836472190756315536933246271744809366616935210768252545815040330668743268608069732000919537883806702624187756411202788673540890036136560335167550101081036334371478913755641425289986852257645708354914733946312156752257227737856187338964977885103497226671095286003074803306961986568052715279438089659202480357631479388990984375/30576210665648217298075041390121123122675220851930971265555441666637292297742272526803636063367864933043995932474129400322010633413631045697903971498753806151652831329838289587777930448291287844366915100661111220378414258229224128877837353660784765120748487869982829504534066725171334817644403997366045258998801821563995725968600134480378339367622256390113753192507365240242142431624229337238363642937886635651771768097000145079609357470058294732569060501257022758473452480720809281998446385219949967011384529244195947781831374392151962110048476062528055135637036571541827937026825497057462839165141908861516031017292790005081579815621133240180876408745365552653306341590593781139484505394643759302130677245165662003974501794165843409954733540963361861540037773495725144371007562633050968881601970176*t^43 + 119882144918254599718023753826545833650848286795651893224880608601217030154881620360710918322026206282989565219654485182490683263890585777185082800979904573739322201709890306734502482151023551260358420500184273193401692951434903530588299912990592034883269130410271648180112967756000483287809202185327994817185094186414063692959806190477336990546165874367084360093009310830118205054861537682660393348274251285678167890604940244767886781308002806120082804455050848327690860657630211740441926532434809690523290630433079036084643870043765399797648412355405993062551976775336901180324347745050036699081921908314504866983445753580321985466080886627459011648601317186575734449281023092004330706494392977260370768361553392836854415682782557262234021682894609255985162480141483839283897598116556633913776242521319773994562133487258214164942856547545077735650984375/61152421331296434596150082780242246245350441703861942531110883333274584595484545053607272126735729866087991864948258800644021266827262091395807942997507612303305662659676579175555860896582575688733830201322222440756828516458448257755674707321569530241496975739965659009068133450342669635288807994732090517997603643127991451937200268960756678735244512780227506385014730480484284863248458674476727285875773271303543536194000290159218714940116589465138121002514045516946904961441618563996892770439899934022769058488391895563662748784303924220096952125056110271274073143083655874053650994114925678330283817723032062034585580010163159631242266480361752817490731105306612683181187562278969010789287518604261354490331324007949003588331686819909467081926723723080075546991450288742015125266101937763203940352*t^41 - 2604299459322543197907382619660096246170497272163176288208049845415531561592040400006423930150765462099752587129516639583966048736092713129714360477997889097211068283933061420330531704589929429256721063833362099933214409527123757736424522768028970103179216381889913104794445806931874225724515496766498895789513101305719599468656514186126973679137280247625435138428336159427653964420138585208067667840484175857498068335478752158686474977348056017477260061018174048359322741128212833596670308656748233192103426351354062876893858850995529957744232510027809265236094675251107944857233405783972376843821574276973049263030232330423669575506922037975549530634255281081668460216798090506244930448143628785399995997910737938487506174436142976346269918649390024521296606876333488482146375639152953262529297254142110981218555338832662895460805382696387625147626140625/122304842662592869192300165560484492490700883407723885062221766666549169190969090107214544253471459732175983729896517601288042533654524182791615885995015224606611325319353158351111721793165151377467660402644444881513657032916896515511349414643139060482993951479931318018136266900685339270577615989464181035995207286255982903874400537921513357470489025560455012770029460960968569726496917348953454571751546542607087072388000580318437429880233178930276242005028091033893809922883237127993785540879799868045538116976783791127325497568607848440193904250112220542548146286167311748107301988229851356660567635446064124069171160020326319262484532960723505634981462210613225366362375124557938021578575037208522708980662648015898007176663373639818934163853447446160151093982900577484030250532203875526407880704*t^39 + 49153873204481297256302216201714559035602419635762403353088987068312421261695612789432671980905246084665594672325712816734516110676810718354799814870845558401510668594811834378001019838654896119847100131684102283197488433423461889745716189049887091378848204597672545462277864399334513374935683046404165768439268389332949402943783619372943766127361181736688611420007092651555151434524411212306958610346406334055252585398012960112043717722806770063923705332728777356454040693444879119907153132902518874247958351673727186735265753435066056250020236265048978947423650153165504426768984928067468897224656527222503049341774442027703888926056144362391955760067308754842299528273595618176039071876458543436386338770203056654920344608646156260258981666036935196652119541043618983661927891721529400318352743619207310660221415950700445357641946079532127068655404265625/244609685325185738384600331120968984981401766815447770124443533333098338381938180214429088506942919464351967459793035202576085067309048365583231771990030449213222650638706316702223443586330302754935320805288889763027314065833793031022698829286278120965987902959862636036272533801370678541155231978928362071990414572511965807748801075843026714940978051120910025540058921921937139452993834697906909143503093085214174144776001160636874859760466357860552484010056182067787619845766474255987571081759599736091076233953567582254650995137215696880387808500224441085096292572334623496214603976459702713321135270892128248138342320040652638524969065921447011269962924421226450732724750249115876043157150074417045417961325296031796014353326747279637868327706894892320302187965801154968060501064407751052815761408*t^37 - 802512922074418680302143986673580703887897808850596175516695935707720153007374442662576185502468455628012555663949998059058881111366057353403423186462197959401569829183849695156045351291817511357066561436562497154131726259931895311713470009789588977016480841248755328964151899042273872217408471785478797542846634559224690963385244924941002393712584063392776684338192505341526211159104492106142002661005343450680735641615824700312812283965813264619783363719976304945553905475572299637174288175068215051929674300055551117273194204388834205872761017287655359900127001903135483044866960425785071238321214816362211334987518526005695171542195473463747263481193902766181818790164861292730639694306775219493000088434502977087740218131478182705533931064850604130901067914044837526154628267724409499983974677829824691601621051777306728014408248741750307224854417796875/489219370650371476769200662241937969962803533630895540248887066666196676763876360428858177013885838928703934919586070405152170134618096731166463543980060898426445301277412633404446887172660605509870641610577779526054628131667586062045397658572556241931975805919725272072545067602741357082310463957856724143980829145023931615497602151686053429881956102241820051080117843843874278905987669395813818287006186170428348289552002321273749719520932715721104968020112364135575239691532948511975142163519199472182152467907135164509301990274431393760775617000448882170192585144669246992429207952919405426642270541784256496276684640081305277049938131842894022539925848842452901465449500498231752086314300148834090835922650592063592028706653494559275736655413789784640604375931602309936121002128815502105631522816*t^35 + 22553079552414066996276150294048303600583806004566246895510811754975988884984411746240080700196222326256889994784629429975689354207597040228991149427305920100895761830427653875252606747331658779538927648481560977468562323094093964309773710576959112250235160013741678156429885985492587752070692535062226607728662906285019385192533369099628448976784277723248393107169196098577490662201431605836965558976358285955141091972193084698544964479398942809168946889779385738217068106049455573738073110264109036307380479033453257343266923806780736128790285302310414295474149545503638376475169815909664972525005553548367094412367778356718506336152149222042709169624300723264858192866014245498801589224104079419959115268714750088939877709135361202424025199543235042435634663150187637995885271967498400876259675011382224119789770137919171670411024219588711573644420930546875/1956877482601485907076802648967751879851214134523582160995548266664786707055505441715432708055543355714815739678344281620608680538472386924665854175920243593705781205109650533617787548690642422039482566442311118104218512526670344248181590634290224967727903223678901088290180270410965428329241855831426896575923316580095726461990408606744213719527824408967280204320471375375497115623950677583255273148024744681713393158208009285094998878083730862884419872080449456542300958766131794047900568654076797888728609871628540658037207961097725575043102468001795528680770340578676987969716831811677621706569082167137025985106738560325221108199752527371576090159703395369811605861798001992927008345257200595336363343690602368254368114826613978237102946621655159138562417503726409239744484008515262008422526091264*t^33 - 271157513323225327722522634414546048134045749762805307336809802633046644231622036400508795793484494512254802532897493337176884002430570392705542610772480535453511831868592849308668454742098059703300376658318814340350279321136209770174497368037662378705287225380554750563714315975322595112941485284357250454448831096817360161117958133946820840466206510814288909327279426043991288906332672167154109739579636920711259407534700010544951208576021461167275585430196020607161959096566033691546732983625713162523508778335779713386986935562972842664753186851469553322739731148933211421863304707422239048885371510005460928584421497941742223288545763518455797877528052205886700597003335161933924261579104208630240246466215958972542954495419145474315528382293456773519889440177355535945084173116129223896026373675724738854058237090512685667924769871696083474849091405859375/3913754965202971814153605297935503759702428269047164321991096533329573414111010883430865416111086711429631479356688563241217361076944773849331708351840487187411562410219301067235575097381284844078965132884622236208437025053340688496363181268580449935455806447357802176580360540821930856658483711662853793151846633160191452923980817213488427439055648817934560408640942750750994231247901355166510546296049489363426786316416018570189997756167461725768839744160898913084601917532263588095801137308153595777457219743257081316074415922195451150086204936003591057361540681157353975939433663623355243413138164334274051970213477120650442216399505054743152180319406790739623211723596003985854016690514401190672726687381204736508736229653227956474205893243310318277124835007452818479488968017030524016845052182528*t^31 + 2770738954286867261475386120800573454388678580551560906421216744471506914866640592388249180375969703228345581000297699346069345475959419742648664964760733316015375005522630806920484563917203543425388676777148587278301940791860972350999331986080908850461943317273431569288160851932476689160690112808372597623620634995403179327550258499694458648220412132336577341521864768662694418115402970847904699922553830257668316054839367522820928701154580583522968833197981040464024382927562207883572776187737589875508687306377688948582356746690132386208290348563722595106560073297564262062649600695148415506670651198058630188661761114847571385739303600876473142970780552799848440902611530425234602285904628617556880875798009726616149089506129536401142098443655377402666439556509957194689319148874436457293691232535304971048762068025227284387842016887800301165759493310859375/7827509930405943628307210595871007519404856538094328643982193066659146828222021766861730832222173422859262958713377126482434722153889547698663416703680974374823124820438602134471150194762569688157930265769244472416874050106681376992726362537160899870911612894715604353160721081643861713316967423325707586303693266320382905847961634426976854878111297635869120817281885501501988462495802710333021092592098978726853572632832037140379995512334923451537679488321797826169203835064527176191602274616307191554914439486514162632148831844390902300172409872007182114723081362314707951878867327246710486826276328668548103940426954241300884432799010109486304360638813581479246423447192007971708033381028802381345453374762409473017472459306455912948411786486620636554249670014905636958977936034061048033690104365056*t^29 - 23874027436922204082661599501915386148528366883350567813763845989560948452694044187763150093880661368839467519233710448298750907837007671815654666818071828054757436201049716606173858565354060454527691402355101224972257904930501701174224843959357795991713105371442705343103187296576630121827482749787469031307089786567346889356584643767831286235539659512662655344435260576622483074291757593154299297629549614364179237552084124459754351979710116299927247982713298003699399266062884341888061688401042231337995437908811280315729546284164380804305150230429131558913698806372674597395474462055513654329631866057506696755606169454472554994292114715333626109942067620603650323892016448044789929098671184709151411352331001814199233735109652254045334980120896081927349017607786932539788799702191632967757533528404062045316188825912267118983102733691227183493429923081953125/15655019860811887256614421191742015038809713076188657287964386133318293656444043533723461664444346845718525917426754252964869444307779095397326833407361948749646249640877204268942300389525139376315860531538488944833748100213362753985452725074321799741823225789431208706321442163287723426633934846651415172607386532640765811695923268853953709756222595271738241634563771003003976924991605420666042185184197957453707145265664074280759991024669846903075358976643595652338407670129054352383204549232614383109828878973028325264297663688781804600344819744014364229446162724629415903757734654493420973652552657337096207880853908482601768865598020218972608721277627162958492846894384015943416066762057604762690906749524818946034944918612911825896823572973241273108499340029811273917955872068122096067380208730112*t^27 + 171889463928879616591772870325232338845303694758613639746599089430371347323482334136027863933153626353377225241842960244571761669982365957452949251847653857435713881903062347032587156398518304548731991815982945021614703208253920804965486822308096547987648792528958307245124675604875679440342262276019809659121910672036426890154007629956766980173898829026212997639539977035810840336805166601351335840330864192948196110112222021818233301697355531836137490749396479627319104274829371352999071784065450189315600908366160218785625462781295407826699133170248022045349027964507590396916939767430986504066436748635267456422156011349130314103139898713207658231693596089613609367652426973153004543110786442637846457750293018043263239714736427899580337575941545960681291966066831186449787889568625529991892712453488896096904819510526273057009750113052555688582173095282578125/31310039721623774513228842383484030077619426152377314575928772266636587312888087067446923328888693691437051834853508505929738888615558190794653666814723897499292499281754408537884600779050278752631721063076977889667496200426725507970905450148643599483646451578862417412642884326575446853267869693302830345214773065281531623391846537707907419512445190543476483269127542006007953849983210841332084370368395914907414290531328148561519982049339693806150717953287191304676815340258108704766409098465228766219657757946056650528595327377563609200689639488028728458892325449258831807515469308986841947305105314674192415761707816965203537731196040437945217442555254325916985693788768031886832133524115209525381813499049637892069889837225823651793647145946482546216998680059622547835911744136244192134760417460224*t^25 - 1023114146177822519292463375329652345264987105058454252253539355391178471082107371326974177660399353473489895435895670154546983736149864588818463638438155007872876153607715667423590052843734850419243927843582403542603062191997990635448656591992840967375708748981953326120950496685733132043685425449786157146560611234512404659908786645351176194707250846983933628866115897293236060317859184557802433303010238089810943706254275575755266656773454205415551570084691993386622442977769788974304317847582307391010610131722254557382795435840156318794028410138080193375706261829661470351706122949676362407606489090155430291568823023888985716953193533520238182800811441622285928310987848002444701038363446276564110831819361992375830528152484260784576720338310388855525501799796801962601672671478584138561272429252329704807693094307119259712327178518429269760439653514091796875/62620079443247549026457684766968060155238852304754629151857544533273174625776174134893846657777387382874103669707017011859477777231116381589307333629447794998584998563508817075769201558100557505263442126153955779334992400853451015941810900297287198967292903157724834825285768653150893706535739386605660690429546130563063246783693075415814839024890381086952966538255084012015907699966421682664168740736791829814828581062656297123039964098679387612301435906574382609353630680516217409532818196930457532439315515892113301057190654755127218401379278976057456917784650898517663615030938617973683894610210629348384831523415633930407075462392080875890434885110508651833971387577536063773664267048230419050763626998099275784139779674451647303587294291892965092433997360119245095671823488272488384269520834920448*t^23 + 4971339510072189713875430647282195863750179061289394253214058006716173867446941469736127512980912065540127039692786821496589779565272796933299717283864841775255231304829872352741695422931531825167541315048953557363778466265438648166184472687177075661983084561465404861232292642527005319107917268004916351931640449155086327916061673284417005163518173476429574335050044093637138453473055018651541693376483815259606700748170256450297722892180031407394691689252780539641818502196917344087954080567249414644371728908179682464161124103723609848251213959779152626332855369511448309197765001118814698761188847947091510219754567312251876063542170647645302548391382788259017558633392216724119445116374020489629126179907262109249317396439148395614641745136270316915374259345822655721179854590583453605936997214365310074677566945649384326500543867560516306338140509850357421875/125240158886495098052915369533936120310477704609509258303715089066546349251552348269787693315554774765748207339414034023718955554462232763178614667258895589997169997127017634151538403116201115010526884252307911558669984801706902031883621800594574397934585806315449669650571537306301787413071478773211321380859092261126126493567386150831629678049780762173905933076510168024031815399932843365328337481473583659629657162125312594246079928197358775224602871813148765218707261361032434819065636393860915064878631031784226602114381309510254436802758557952114913835569301797035327230061877235947367789220421258696769663046831267860814150924784161751780869770221017303667942775155072127547328534096460838101527253996198551568279559348903294607174588583785930184867994720238490191343646976544976768539041669840896*t^21 - 19425946114374878999741956125353222156788280911132715453010807099413537632872881534034355256570883900810900138239073826804180900409005919238036563320769876579433423673767676343142755742163695856454854109554651821899112810269581830015702450951365973117872766410474142514279165835854441319911580475983697590352941685439680082924979417151898400900457825620981449674697687459174671409120156062381948115359939699763132625057956238172399088682447995662008420822621581767792242357283680105480456452996820626379502396696696196889338686551039118498570904053191563091664986838541490692044269963433844166203246570983096351164908943274331079709903623793737907613925523193496669547903136714906829171946919264754490764130195798085446898066052719702468039396872978203109482313979596801482014448749384196428483305040518912599615478317525410526342783769835250117766557295491291015625/250480317772990196105830739067872240620955409219018516607430178133092698503104696539575386631109549531496414678828068047437911108924465526357229334517791179994339994254035268303076806232402230021053768504615823117339969603413804063767243601189148795869171612630899339301143074612603574826142957546422642761718184522252252987134772301663259356099561524347811866153020336048063630799865686730656674962947167319259314324250625188492159856394717550449205743626297530437414522722064869638131272787721830129757262063568453204228762619020508873605517115904229827671138603594070654460123754471894735578440842517393539326093662535721628301849568323503561739540442034607335885550310144255094657068192921676203054507992397103136559118697806589214349177167571860369735989440476980382687293953089953537078083339681792*t^19 + 59954898631873726331911988347636187748827933850980731377866846916427793727548378468663304261011655618563175963417901853624586504293943508222963753709414835672209793093602311114761744018013754532886892497326113444112790928706516983711230700974528534159377278427875284607200564521220199466022916871807557063756118572512452157350162644826257166691941496620517139570622486676320739812675106587478341291584301598700548332880018320036972448742665333764601707423749907355787889634857463982451227707579284282774160510057830987652412665548725915419667132227215065167259715513441985236971702556621434884498144094204342480422633649979332357735110665305060576871434844441597668599800525339905317223667231096830448040678963979209943193076972706210029483815759764846959188183420492807569330448798070196229073096651005912455909152614853454823123314378295142707914748447692326171875/500960635545980392211661478135744481241910818438037033214860356266185397006209393079150773262219099062992829357656136094875822217848931052714458669035582359988679988508070536606153612464804460042107537009231646234679939206827608127534487202378297591738343225261798678602286149225207149652285915092845285523436369044504505974269544603326518712199123048695623732306040672096127261599731373461313349925894334638518628648501250376984319712789435100898411487252595060874829045444129739276262545575443660259514524127136906408457525238041017747211034231808459655342277207188141308920247508943789471156881685034787078652187325071443256603699136647007123479080884069214671771100620288510189314136385843352406109015984794206273118237395613178428698354335143720739471978880953960765374587906179907074156166679363584*t^17 - 142985074855461379657820760089741965038696797232462557181477856471511646246241669167767888163027616088686860389886192743764004906808472933122406112390430502492487376779761275601427079043713661300449647023331725612007747295997295604420673915979393138841026541738147029097646386298330631385624580555573006919888893271207128728751203149421205290006939644402049300138552806865835945754016436010056940163651172476691320934340730268830012597901837236906799240104668345745326425640348534616599555801394930840131202204772671743717508573755675464529119846755991074534397577919886337881715164957477891574733306987775895456497474117618712826681211005596146084241961219824614427441086013368574328102239151604781393075686298378949812757339964975486776053820635457262596981994569316966067420218313185070215266808025134932048165069908036331382794494752013236167567524764414869140625/1001921271091960784423322956271488962483821636876074066429720712532370794012418786158301546524438198125985658715312272189751644435697862105428917338071164719977359977016141073212307224929608920084215074018463292469359878413655216255068974404756595183476686450523597357204572298450414299304571830185690571046872738089009011948539089206653037424398246097391247464612081344192254523199462746922626699851788669277037257297002500753968639425578870201796822974505190121749658090888259478552525091150887320519029048254273812816915050476082035494422068463616919310684554414376282617840495017887578942313763370069574157304374650142886513207398273294014246958161768138429343542201240577020378628272771686704812218031969588412546236474791226356857396708670287441478943957761907921530749175812359814148312333358727168*t^15 + 256475040235084602652589551561304725228609558136758961111498418786824674180993064793738901339628630520981075455992537741560288207050755266067923739721768542144384914516239000852033065758108503905664774152053731238086893751557361306856746442033412950696425444628247876168877212872891993547630204268488381473283291491307669830710340175982332113999682059013861963765721392310852005023046867607836294278448836421187241867813998253521060781410849255597547267631842992238735349664968514049177001535403296050994681923922498924791968485904750763907764559141510549053349601963674936428752063082383510709459155814725356888903608419815887777009743780230533802028450723959153682978064630878281643307895539094948036601838549583514672719049962918856754905460672264515347903639296678638696668233980659813351588705577681708381581921957687660701416630607268118564697261436248212890625/2003842542183921568846645912542977924967643273752148132859441425064741588024837572316603093048876396251971317430624544379503288871395724210857834676142329439954719954032282146424614449859217840168430148036926584938719756827310432510137948809513190366953372901047194714409144596900828598609143660371381142093745476178018023897078178413306074848796492194782494929224162688384509046398925493845253399703577338554074514594005001507937278851157740403593645949010380243499316181776518957105050182301774641038058096508547625633830100952164070988844136927233838621369108828752565235680990035775157884627526740139148314608749300285773026414796546588028493916323536276858687084402481154040757256545543373409624436063939176825092472949582452713714793417340574882957887915523815843061498351624719628296624666717454336*t^13 - 334404292578289818113767598774188463859119320331962052387569716746451405122277322859762344291809806248658616068454340715698949383836422405488647892767022406921544230210595032838178185536569726271216792732113812058068800389364553281786031689339332486989194223592658489229286537563204244470572361756102043782760524664987816963840020993981493324943648898782008141649466162090180889323697207293198033673514281472403664624488384715494703749863681857400446464963453811121741660421261573191869664110389316554061840944994185342208076589601881775487179382239976726301464026205767675056352265589220242854604601571171726301729927590807224604044262645825843959255951991665578269928541263053612175417910737140130448215762617034993096400392908289907627221457599946654495757410004932697271109918045861984675229479398323031220015566021380969270470095822686689648996695971857060546875/4007685084367843137693291825085955849935286547504296265718882850129483176049675144633206186097752792503942634861249088759006577742791448421715669352284658879909439908064564292849228899718435680336860296073853169877439513654620865020275897619026380733906745802094389428818289193801657197218287320742762284187490952356036047794156356826612149697592984389564989858448325376769018092797850987690506799407154677108149029188010003015874557702315480807187291898020760486998632363553037914210100364603549282076116193017095251267660201904328141977688273854467677242738217657505130471361980071550315769255053480278296629217498600571546052829593093176056987832647072553717374168804962308081514513091086746819248872127878353650184945899164905427429586834681149765915775831047631686122996703249439256593249333434908672*t^11 + 303054622988950252387207301481931654293637417230883112129506604076609474075809260078345416622295020733561863419266803785970681753730568859087313425926209376361991169964155718706502777986305103599008106896420676329821863384545547142923615732055039504834208512251021939399401612954036070704029309862200180711047397727846083137573612982768647199851699636425580602818152724261507081593860825357088878889594081834861289416970631788150183087384900546950273016979204757063276516293778687636705306245944070891182697194209198770506357196270275708687152894426330032621491913772161044536135682531642932499333287151591858865389169073073659758551428194990503771181492158625174623851829356972313133701905292020035852629378662120783625442261218332914198815498304423259704073251516727353244545585378648199659542665313484171949113574844868399965430611391101045865788608917291591796875/8015370168735686275386583650171911699870573095008592531437765700258966352099350289266412372195505585007885269722498177518013155485582896843431338704569317759818879816129128585698457799436871360673720592147706339754879027309241730040551795238052761467813491604188778857636578387603314394436574641485524568374981904712072095588312713653224299395185968779129979716896650753538036185595701975381013598814309354216298058376020006031749115404630961614374583796041520973997264727106075828420200729207098564152232386034190502535320403808656283955376547708935354485476435315010260942723960143100631538510106960556593258434997201143092105659186186352113975665294145107434748337609924616163029026182173493638497744255756707300369891798329810854859173669362299531831551662095263372245993406498878513186498666869817344*t^9 - 179234104140772731626985425706930852177788758472342786858138117495387263101739331260339620905810483320289210946591940618819008338285106229790487672469495899940443694032862258504160772808415227147946937376671206479369523871360247968947429805158685601814286695165961137123442111092505847688423169623438707764280643677225738513763351794447667109657036778386015001118392287193382639394335879083561000694862057646338151916083791516417209857029855796738532319403362887712625509867669081397649605728320844408263307021289937019741928424825134047339117280770619740901065884373434627096384155321822654912517718413306686846188573215531733190564943657822368547902752165069720828219156533104897632091540715769759068772508621186102796879312866408877966786989967865773033421627848788543925470554083526819510959567251141122873513442254956188652077004478520770115730515038919423828125/16030740337471372550773167300343823399741146190017185062875531400517932704198700578532824744391011170015770539444996355036026310971165793686862677409138635519637759632258257171396915598873742721347441184295412679509758054618483460081103590476105522935626983208377557715273156775206628788873149282971049136749963809424144191176625427306448598790371937558259959433793301507076072371191403950762027197628618708432596116752040012063498230809261923228749167592083041947994529454212151656840401458414197128304464772068381005070640807617312567910753095417870708970952870630020521885447920286201263077020213921113186516869994402286184211318372372704227951330588290214869496675219849232326058052364346987276995488511513414600739783596659621709718347338724599063663103324190526744491986812997757026372997333739634688*t^7 + 62624019468064487524740498007394327492819830305677873925681436754717988458057914938094887844192336049478763634750159957566514324227881583628697160630904438088506193361154933929907703777668440394336364801347337151084378057624451104514918914947657780083913086217647201746669731387564643103623359485712544372194791057756745010426366640564829166505541180093608246823597140611219486676751494224888889490457665103313909013666783212656903199746203251522094133924608606189115970436164663887237115826301256980705337778992494970931548360346624443915986158813805319068274361986102608284782134287347465407965348462420054720371450242405586802211965841729172402192876202892978271131925266380847922791652563171776731434374401945977561927906553572321979040500742216940391378477670826800290028439026320945204888060245844944698490672668443526113742836723560416011232436714497626953125/32061480674942745101546334600687646799482292380034370125751062801035865408397401157065649488782022340031541078889992710072052621942331587373725354818277271039275519264516514342793831197747485442694882368590825359019516109236966920162207180952211045871253966416755115430546313550413257577746298565942098273499927618848288382353250854612897197580743875116519918867586603014152144742382807901524054395257237416865192233504080024126996461618523846457498335184166083895989058908424303313680802916828394256608929544136762010141281615234625135821506190835741417941905741260041043770895840572402526154040427842226373033739988804572368422636744745408455902661176580429738993350439698464652116104728693974553990977023026829201479567193319243419436694677449198127326206648381053488983973625995514052745994667479269376*t^5 - 10732589857558805190511470148835399752234767755013491580813799992961987810730568226829676631079311171424132803447299637646729696694828102131379444763572311339738089617280805320744553188351427328035724638021420550057073431306322730849764420668351215640980318112759118140405584292551182816207145132907331105274177291915364151359878961031914877879744972014237065938529030075383031134453007868173559114594846584462329289412791922591968212419574553949670640038967561747587030933268668313432180879703381902154503566856718505790759711447839677418376073177061644948755398593727040980764173501080365891515671445043976092697944281370077148811303771773618271667801604882116372861332918519930863607202908089431774532935242914025574617625422003477243913934089195932142846161487707028845477763558020568066747861176300283045263802561330491910532566411353192181087681571901318359375/64122961349885490203092669201375293598964584760068740251502125602071730816794802314131298977564044680063082157779985420144105243884663174747450709636554542078551038529033028685587662395494970885389764737181650718039032218473933840324414361904422091742507932833510230861092627100826515155492597131884196546999855237696576764706501709225794395161487750233039837735173206028304289484765615803048108790514474833730384467008160048253992923237047692914996670368332167791978117816848606627361605833656788513217859088273524020282563230469250271643012381671482835883811482520082087541791681144805052308080855684452746067479977609144736845273489490816911805322353160859477986700879396929304232209457387949107981954046053658402959134386638486838873389354898396254652413296762106977967947251991028105491989334958538752*t^3 + 287332399636966953778481036857362470554305617380676466902901767652540614314959698456510236688856431675392169815711300810508463446834718566223781097342174417153156336977512685704410796550121425478894017166858538568213374091915547991550700252433270346402375942692421857749255585219063281461565351242130069721749712755059254253175795318442410804436764251995280178599984867719826201322028690436633486527167162031032540920631315969314104382466547365816450428440907482646394619486711313401704589495075449918381595441802921716931847212618477077881981862937016871648012764792644805554140923815722454996687938200359837795462986437863969933379091131663580801521441799201059673526490810592163592856859344964652441753030482461517714811488727973063504077198386211338334431872053765740766532095775101116801547285338740255434631003506937676074962871076270889580359747994677734375/64122961349885490203092669201375293598964584760068740251502125602071730816794802314131298977564044680063082157779985420144105243884663174747450709636554542078551038529033028685587662395494970885389764737181650718039032218473933840324414361904422091742507932833510230861092627100826515155492597131884196546999855237696576764706501709225794395161487750233039837735173206028304289484765615803048108790514474833730384467008160048253992923237047692914996670368332167791978117816848606627361605833656788513217859088273524020282563230469250271643012381671482835883811482520082087541791681144805052308080855684452746067479977609144736845273489490816911805322353160859477986700879396929304232209457387949107981954046053658402959134386638486838873389354898396254652413296762106977967947251991028105491989334958538752*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:   95 out of 97
Indefinite weights: 0 out of 97
Negative weights:   2 out of 97
Extension rule has valid weights: 0
**************************************
*** EXTENSION WITH INVALID WEIGHTS ***
**************************************
