Starting with polynomial:
P : -t+1
Extension levels are: 1 3 5 45
-------------------------------------------------
Trying to find an order 3 Kronrod extension for:
P1 : -t+1
Solvable: 1
-------------------------------------------------
Trying to find an order 5 Kronrod extension for:
P2 : -t^4 + 49/4*t^3 - 153/4*t^2 + 57/2*t - 3/2
Solvable: 1
-------------------------------------------------
Trying to find an order 45 Kronrod extension for:
P3 : -t^9 + 8913807221/174577516*t^8 - 346896933499/349155032*t^7 + 3329250396937/349155032*t^6 - 8538378231899/174577516*t^5 + 23551735187795/174577516*t^4 - 8100489458905/43644379*t^3 + 4370729197935/43644379*t^2 - 409117906830/43644379*t + 10559938470/43644379
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : -t^54 + 2797471010464579579127344584452249788970652476824029110653783693744086657514606970223013560981771080429179045225250107234170158629730876806583356913842056063934234232172218596351033844307243047583700623151356320585047824415604794519777074887387746635062768888044791365944287219795286664043153917739794005471777691180727711971947430958477628335714756916750611387561625511155416174789768475609305099399989897372862886292840969670592080982560018119389795735215647603744397610135800140535160602249406354006234624432632904303109637631337618912682138355076788909339886770899669627188463853082294347456562593847138332370355959128876718499995235240603879984302204252165594258170914537297403875404600288149365733075239251107822874932668354093207288547498100893981780965541524357533914005480704130472489625372/1127087826409992527491563733076439719920916369463569759669156285375166994005731212243696954058097840108287892698669571590382021555498907393526737182610725262074111098644921505781582067355964291166413310676009183972024785998128640952724911599546709172061713472752553386924767295591189698811274224508523238108050916277924337683469961862196612965979404921259256685175547314226409054202588777697398878903293713842593734320705696566084692183312076929172896777567402369830749849775157842396630525987475802076827014105719046309227410717484808889149346012924125856059979293069269119656199403743457410522505504732950542613948874933687342979184367126777555133826863164108899006560702596549684578993890664198701174909910202750750675931489198309304776962535291204524279789658461083577686597705639994103185325*t^53 - 53368640985908401146544854959442756017496795736823554602803458369586270241524700370500824131619151594984607330620799028451515747589147894758580673429846065976965723376794306040713495985509362252717944950319922786606994505826612172713262062039787865572029649774693952368980199106330509666637412750195837834175128414804317315593531803759745022201828341519787759290787772220361871476347297605053300883748542951343263053170469191601727511701752914868842741921305679513527996258066298561112646746508215613275975009875855317537305126715087600427025950217942776688669609461549734634297312834039611804296427453380548588845779233027349236211530977325518857640892217448353809531408847884058328984262785086803483467054693901790780864895607069554617706632355865024698612835280323698284102685422459579997048563559597/18033405222559880439865019729223035518734661911417116154706500566002671904091699395899151264929565441732606283178713145446112344887982518296427794921771604193185777578318744092505313077695428658662612970816146943552396575970058255243598585592747346752987415564040854190796276729459035180980387592136371809728814660446789402935519389795145807455670478740148106962808757027622544867241420443158382062452699421481499749131291145057355074932993230866766348441078437917291997596402525478346088415799612833229232225691504740947638571479756942226389536206786013696959668689108305914499190459895318568360088075727208681823181998938997487666949874028440882141229810625742384104971241544794953263902250627179218798558563244012010814903827172948876431400564659272388476634535377337242985563290239905650965200*t^52 + 667913900274333484504753383209605931155424193054230057545235602870296179824308921727071961669669884301556979099663136525459696770512884029134493925808056021102527728422954931667865840715306747027903422740589495085134314507366113139831734786284409453762082997877311308870274766802192166875898720539943191380257878085035938207666403994930952842590239266406345094953744848255151598046539431606326496628792666238621629377732202031963336571675978802123290543785693564866432563647102202463839935818727999166227996224569882972125407610369485819907399599555254258941609969683261741527605137758020808415786517832490379880205747159354410350162478380169387292150528606704574488338726865725176512198592201522153801397648246895087413932352536166189036321150851080675871790023943831821835654903619319347149409170942547461/295747845649982039213786323559257782507248455347240704937186609282443819227103870092746080744844873244414743044130895585316242456162913300061415836717054308768246752284427403117087134474205030002066852721384809874259303845908955385995016803721056486748993615250270008729058938363128176968078356511036497679552560431327346208142517992640391242272995851338428954190063615253009735822759295267797465824224270512296595885753174778940623228901088986214968114433686381843588760581001417844875850019113650464959408501340677751541272572268013852512788393791290624630138566501376216997786723542283224521105444441926222381900184782599558797737977934066430467116168894262175099321528361334637233527996910285739188296360437201796977364422765636361573474969260412067171016806380188330784963237959934452675829280*t^51 - 366689792868278666859889773455853533038801849313610731119702600712754472792365465011491614869646100408113038168000207044466801162124499137893913759630198479984343570176318091865550051080339986577192771631462655808518432126136487195177408943447702854640463296232581809800236074711223948530238412361961278327237518826066955108807005425366319135656445028017705993009674318994479117164195265658095284158962913031740919103264023330518669962372377768035201097948101048070089184218266529696684678964017786586193619643364024207929802066242472716260032973163217512630038630031679802334584495057232165458920553768308692670372420186190225704119396283742740359298301129927708691946428762114126215310986771191760082079032042963581228551570408377819415291065783591801984280448795412259223654084397973805442248951470036066867/295747845649982039213786323559257782507248455347240704937186609282443819227103870092746080744844873244414743044130895585316242456162913300061415836717054308768246752284427403117087134474205030002066852721384809874259303845908955385995016803721056486748993615250270008729058938363128176968078356511036497679552560431327346208142517992640391242272995851338428954190063615253009735822759295267797465824224270512296595885753174778940623228901088986214968114433686381843588760581001417844875850019113650464959408501340677751541272572268013852512788393791290624630138566501376216997786723542283224521105444441926222381900184782599558797737977934066430467116168894262175099321528361334637233527996910285739188296360437201796977364422765636361573474969260412067171016806380188330784963237959934452675829280*t^50 + 4823645421674747451172787512729000179562680262204808164661600224459159743923322017437829518862841413202088397208217008376924900974265509318813977906330686529500952687992034581195136600131665023116271597227195033483264769963223357655285155945208181007712269716233750081557185109383880101757770207277430570589738217651874408117087184904005420026592242450009663151516360603993402640335460316918151253312745434185774368120721511746534685121629543033113553022451863889278304161901765743439189923961515889693635949686517208022405365929577746131702276041419790230477062702783086560282567365460068468079235967925003296157133627254054200209069127739807406122980359869628821520175682568669257181438690685085014723590939567444237097196957969460109656833582528427651035165689846687169507505703264417026730819852001724963254/9242120176561938725430822611226805703351514229601272029287081540076369350846995940398315023276402288887960720129090487041132576755091040626919244897407947149007711008888356347408972952318907187564589147543275308570603245184654855812344275116283015210906050476570937772783091823847755530252448640969890552486017513478979569004453687270012226321031120354325904818439487976656554244461227977118670807007008453509268621429786711841894475903159030819217753576052699432612148768156294307652370313097301577029981515666896179735664767883375432891024637305977832019691830203168006781180835110696350766284545138810194449434380774456236212429311810439575952097380277945692971853797761291707413547749903446429349634261263662556155542638211426136299171092789387877099094275199380885337030101186247951646119665*t^49 - 64812073710031911037773179245330211070060882611776172190496132726617637591756850563859849469595583977610851374683066510677138030136462865611481331526674740548763117230260714699527601607014534413859109436123847968358635487708060463784183946882760352386778624608925178477628867500040799771967480968101214595637379980290390865619423068577423062811895082323498006821160423409256035311291757002706274780612040876001104534597765735648932126348019811409243017923918274746044666091041690714115230270688677505440350255656631092566738856408610530456528524279336660546014225900849000260849161065382153965168839496082565068920662177891557448254576941375026536094214315938386197782803796869568724089498463031912279625590875997818232919969929140360568798011018589548113392464151000303477606560950045152351758856674023048030134799/369684807062477549017232904449072228134060569184050881171483261603054774033879837615932600931056091555518428805163619481645303070203641625076769795896317885960308440355534253896358918092756287502583565901731012342824129807386194232493771004651320608436242019062837510911323672953910221210097945638795622099440700539159182760178147490800489052841244814173036192737579519066262169778449119084746832280280338140370744857191468473675779036126361232768710143042107977304485950726251772306094812523892063081199260626675847189426590715335017315640985492239113280787673208126720271247233404427854030651381805552407777977375230978249448497172472417583038083895211117827718874151910451668296541909996137857173985370450546502246221705528457045451966843711575515083963771007975235413481204047449918065844786600*t^48 + 870868791784582953423889381910183991786225219263190535465470376584695334472327192778903701718231866975917126203667013075856073225577803280713411410667328726859107972135413318468368198520688210193543184832717817295199835837144395166379393344506471993302442616261987080321294648384548933020701357840553177404563421670845332500024697146928281225748800276372826614592105040701049150599897356143825889369825537344175015261670225959962865331587587463078369009813360528858651586827003494569052888075326607191823361073147785916830157885243558968556361518246067468210415382735344675620170682697173855838242635378295221591647671922385374300558500415065606882976612632825616545268890277394699269920702258549013410924468036340233590691814681598411716355696771843687793067285001071492307990810883337909248112794486755484217158497/18033405222559880439865019729223035518734661911417116154706500566002671904091699395899151264929565441732606283178713145446112344887982518296427794921771604193185777578318744092505313077695428658662612970816146943552396575970058255243598585592747346752987415564040854190796276729459035180980387592136371809728814660446789402935519389795145807455670478740148106962808757027622544867241420443158382062452699421481499749131291145057355074932993230866766348441078437917291997596402525478346088415799612833229232225691504740947638571479756942226389536206786013696959668689108305914499190459895318568360088075727208681823181998938997487666949874028440882141229810625742384104971241544794953263902250627179218798558563244012010814903827172948876431400564659272388476634535377337242985563290239905650965200*t^47 - 8225409968179586828776034166174271558555092304181005921932945514656983409179430978433119132975248362312805573278074122491736184568680563468155348619329110901977742250234150358084002702840303399382057637659621246872121415202625558090846760445752387272243098772918113096086249338311330891117091960495955036332615842478312857284472712856142530955333292072978356668389069406739821802312202319892947925579077030839101645748295613887041382151660157877896589443218589977493210266449871606930970011222406545352473642266456497104342126291592175702642345583107332913073644177299338315100828857120855412666473183788587469921269083139492777746686334599337872798852836099067149220608403358441649796150427212357428631998610152822087598846202737311116700351104510151649477715292358346909773304201247690594814752983655116917330557889011/739369614124955098034465808898144456268121138368101762342966523206109548067759675231865201862112183111036857610327238963290606140407283250153539591792635771920616880711068507792717836185512575005167131803462024685648259614772388464987542009302641216872484038125675021822647345907820442420195891277591244198881401078318365520356294981600978105682489628346072385475159038132524339556898238169493664560560676280741489714382936947351558072252722465537420286084215954608971901452503544612189625047784126162398521253351694378853181430670034631281970984478226561575346416253440542494466808855708061302763611104815555954750461956498896994344944835166076167790422235655437748303820903336593083819992275714347970740901093004492443411056914090903933687423151030167927542015950470826962408094899836131689573200*t^46 + 804130041243650466977014114061009289968681137475705235110094911226887878272467549712565463932577530937461934901351289480579083085307044890914891746101981196726632861255268055611519220946441179699377651190349702527832201252973217120228582355929355835935896256776696559437211080595329804180354905019771351224089133008840839672167413761930054877471452102306321482235709581831476099578064226596589570570537699048836549842018841473862962171433253848145540076035067068223031280304446186371625220037353672264395698560734054529536900913070965848125133274689036370580149298337895117978903423062294294628350213229966857557233851780792062341215530867787664116413896311410266135170178419576413931808538916304485971685025471756388014005300037818086522959266265573699418534547714954850387862855186207056262197879488523516665656770700911/369684807062477549017232904449072228134060569184050881171483261603054774033879837615932600931056091555518428805163619481645303070203641625076769795896317885960308440355534253896358918092756287502583565901731012342824129807386194232493771004651320608436242019062837510911323672953910221210097945638795622099440700539159182760178147490800489052841244814173036192737579519066262169778449119084746832280280338140370744857191468473675779036126361232768710143042107977304485950726251772306094812523892063081199260626675847189426590715335017315640985492239113280787673208126720271247233404427854030651381805552407777977375230978249448497172472417583038083895211117827718874151910451668296541909996137857173985370450546502246221705528457045451966843711575515083963771007975235413481204047449918065844786600*t^45 - 5398927382278737451115722482450197081169602977995863392408129875308562616891616648934995654214858532297537859395347519351844639044702824110129118217033942403221426776413119491793672743295676009487418915976179334096677361012272197520483423138608470651477232063794522379177688930796602943117170973180826720623956046040873053711749516917282794910077730282905800165445294506902567030377716362263675957805078161295290014471355558417021600866790915130226413121087813483755782632227337419913037110018075727511204519908130183526776896519139866438408558295384738579715932441632929331005470539972032287116978176132204592068652930807659357356019169276002015450705319859007300002200220623057697746101799188043099238218146722309799034154786589888406273951194683837496743982159268603422111405140096202278238711115628090183848952840126223/14787392282499101960689316177962889125362422767362035246859330464122190961355193504637304037242243662220737152206544779265812122808145665003070791835852715438412337614221370155854356723710251500103342636069240493712965192295447769299750840186052824337449680762513500436452946918156408848403917825551824883977628021566367310407125899632019562113649792566921447709503180762650486791137964763389873291211213525614829794287658738947031161445054449310748405721684319092179438029050070892243792500955682523247970425067033887577063628613400692625639419689564531231506928325068810849889336177114161226055272222096311119095009239129977939886898896703321523355808444713108754966076418066731861676399845514286959414818021860089848868221138281818078673748463020603358550840319009416539248161897996722633791464*t^44 + 981196916721871602142928309907098574008700718161633718127271668035339811122878301220645915266440969485306952930778198070933678845230653159603211796508060300529698699858318760913130124582861657107187967218662053904708425577525686107594022139678215279429316143649840315619104643771997813409747955723740105241646626867663103203304704697772010542380935783538034468949858757101638414267859817556692274325440208520723248335900167364824727276047308620086149308737914616524033573358325509173555895181693715191192180388712629425584166894430554295210284429848016583995252429837453367109260162020678943497235128642757517527483800530828333757311576054524163455358404850396059346961982971761109122019374384405910116095412635682138894826175688338299843912759774209603995237065832215342564300930930600959096983928474974027646061867454656259/18484240353123877450861645222453611406703028459202544058574163080152738701693991880796630046552804577775921440258180974082265153510182081253838489794815894298015422017776712694817945904637814375129178295086550617141206490369309711624688550232566030421812100953141875545566183647695511060504897281939781104972035026957959138008907374540024452642062240708651809636878975953313108488922455954237341614014016907018537242859573423683788951806318061638435507152105398865224297536312588615304740626194603154059963031333792359471329535766750865782049274611955664039383660406336013562361670221392701532569090277620388898868761548912472424858623620879151904194760555891385943707595522583414827095499806892858699268522527325112311085276422852272598342185578775754198188550398761770674060202372495903292239330*t^43 - 124458877988855602829465666547818407453353623282749752056766891051467128460553808780861010357460850889715197124857544545035948169930555964251065392027323216807463562904845948580551296586869859963645797770751882447257124926962065801172787872831780338641486535628764020666164891076266388908953916439524077010798127382111277381403428948135394679557819764971249128855657871358376369587024579762921594657158666903917518263855804869911564337436022166530682417961786782998373858133337961234402786262660443459304075866439882585019328659506084735615840532386975317938292872119590912432468431605382192793005113205628996472449816607299711321567203083234895785926485946382891410694950352080950820015624858837186172669820999795821268876798781277649919460973491560998686751420829933025385278172359906732311762659169691935907561174382026100821/18484240353123877450861645222453611406703028459202544058574163080152738701693991880796630046552804577775921440258180974082265153510182081253838489794815894298015422017776712694817945904637814375129178295086550617141206490369309711624688550232566030421812100953141875545566183647695511060504897281939781104972035026957959138008907374540024452642062240708651809636878975953313108488922455954237341614014016907018537242859573423683788951806318061638435507152105398865224297536312588615304740626194603154059963031333792359471329535766750865782049274611955664039383660406336013562361670221392701532569090277620388898868761548912472424858623620879151904194760555891385943707595522583414827095499806892858699268522527325112311085276422852272598342185578775754198188550398761770674060202372495903292239330*t^42 + 6926445401449121882199992926577997865927788074185033814067316099740427041129455940892208877654647088397272285664412671196966868133510499740005932233240894053584774967991485806682445969232697427404198146810018740435946609837121678683699368410279639000437951749810294271989567349469521726762545595971589862214321604482530088753340896103598974180666978415328210910207470743013972600658275180850973007853935593530263057840705014276820694780912971419829671725938730972928510327672375718713802351385948294454988779548586227210173391751451154951994256675213605137371245254345770700535466222302792142083358720931661160577016177687310947315844089553932679401131901729321341129471939560438910248127450480976967506328879145349958347919125133298342720773043756304886279256783814102496476342034128571242571926020176706149156023500695974325059/9242120176561938725430822611226805703351514229601272029287081540076369350846995940398315023276402288887960720129090487041132576755091040626919244897407947149007711008888356347408972952318907187564589147543275308570603245184654855812344275116283015210906050476570937772783091823847755530252448640969890552486017513478979569004453687270012226321031120354325904818439487976656554244461227977118670807007008453509268621429786711841894475903159030819217753576052699432612148768156294307652370313097301577029981515666896179735664767883375432891024637305977832019691830203168006781180835110696350766284545138810194449434380774456236212429311810439575952097380277945692971853797761291707413547749903446429349634261263662556155542638211426136299171092789387877099094275199380885337030101186247951646119665*t^41 - 16577807461526859691540671014774469034014101510167130670772457145808072684200424366137333444984872233314974937760465047404163959112538584435253545147167763588423625612790845822712689729009972449498406568229333189083690625886573639379115120014555341461467795764211541792688506564629931901576155715403693130011034554831961613309031952471680432949045691430135340749498444470281111695357287594719438669816067035319847680804478154575946796961315766371525780015611779119358293622957805902339281044482012341690895862610157461542670680775621666765570001575446469860420480100856970682897119502135326695947059808578995770258556077206816685774589818421935216571967581007000636899478656335868048760477953185800835229462730157439206457782030154854311272476662357073945480058267006038329654114349419272439049372886766196882288608192410238845303/225417565281998505498312746615287943984183273892713951933831257075033398801146242448739390811619568021657578539733914318076404311099781478705347436522145052414822219728984301156316413471192858233282662135201836794404957199625728190544982319909341834412342694550510677384953459118237939762254844901704647621610183255584867536693992372439322593195880984251851337035109462845281810840517755539479775780658742768518746864141139313216938436662415385834579355513480473966149969955031568479326105197495160415365402821143809261845482143496961777829869202584825171211995858613853823931239880748691482104501100946590108522789774986737468595836873425355511026765372632821779801312140519309936915798778132839740234981982040550150135186297839661860955392507058240904855957931692216715537319541127998820637065*t^40 + 287941090393347956133585214793828004683842462969480660767588089029302314123256815982438160576110732170844935415841647506582889951992438271160161928052986353857908547887134505559427974486163845346872498810246889756081467720040525006547403310324880284218634202185801670870593920450967509886769150466580483582648795935612206272211283723974700484901886563822333962975142145565867113468866242898853767361499950258286969025984099586846525591023704592893037435391387040284071467092081601041411676711819994661264583968063835900732198741433057472790621301516092223867872860435369597473023793111159806990968482575456315774077041807629781830287778445366918654528097088437094420436595982487330059833484620592601123460789794857764752673167366212492339274192922342955544804958075022299996099819553732177642749952176221572877676295230579668353240/45083513056399701099662549323057588796836654778542790386766251415006679760229248489747878162323913604331515707946782863615280862219956295741069487304429010482964443945796860231263282694238571646656532427040367358880991439925145638108996463981868366882468538910102135476990691823647587952450968980340929524322036651116973507338798474487864518639176196850370267407021892569056362168103551107895955156131748553703749372828227862643387687332483077166915871102696094793229993991006313695865221039499032083073080564228761852369096428699392355565973840516965034242399171722770764786247976149738296420900220189318021704557954997347493719167374685071102205353074526564355960262428103861987383159755626567948046996396408110030027037259567932372191078501411648180971191586338443343107463908225599764127413*t^39 - 22199455373785095225418015052025816577864959444727944910332217525802167781920165381952983156815386955297943083141291617486962176514450189200272868046735008550138644802177706677849351926226240238923883542735974384219430365735205168643213982045367872287106035374801441553208997061544900466060277582810981033220385891632304602639908676623966310910350571513378846068647846781408207244239505934169932250433084062732706842659220677152005175282801132875628324497789944869899187578003148317291450252308693099754995401011694701289212809470985945314549353203708388001000062299315609896775318259566032661500483152398327966277574659052459934494227821425862567616613111419489942224969574442909233190171324918210863499347698873914313224181668284270219457590758789272727641246590911341929528419897182168267754102861271898096470480286319554453612296/45083513056399701099662549323057588796836654778542790386766251415006679760229248489747878162323913604331515707946782863615280862219956295741069487304429010482964443945796860231263282694238571646656532427040367358880991439925145638108996463981868366882468538910102135476990691823647587952450968980340929524322036651116973507338798474487864518639176196850370267407021892569056362168103551107895955156131748553703749372828227862643387687332483077166915871102696094793229993991006313695865221039499032083073080564228761852369096428699392355565973840516965034242399171722770764786247976149738296420900220189318021704557954997347493719167374685071102205353074526564355960262428103861987383159755626567948046996396408110030027037259567932372191078501411648180971191586338443343107463908225599764127413*t^38 + 1523195221267570113754397024364065664914129430455335171817210583403967770384577667580862957310899259342081596176537157820419725928229340953250709573261662430673450992205434136037615735037698200069480529117593982947840896998520365785583020929214070128238160545487452456828646908479054910201155208156273772446464647575395736131848805122066283070716953531428882535563031747762304356442011905226138909960561364570629627341540614338221219304580990062523232272673436262498334255345386004069068942430773390492307412013642691205791474842950171048526982057016981425108527185846603971476384009227280363432585399302138515673870587635820099712924490269392209937732868934524996492680188272728697568516097934524963659465074363100511303727773190513565606456533654020012315151664566652293837187973501549577828319697121967903265476517271073599147500944/45083513056399701099662549323057588796836654778542790386766251415006679760229248489747878162323913604331515707946782863615280862219956295741069487304429010482964443945796860231263282694238571646656532427040367358880991439925145638108996463981868366882468538910102135476990691823647587952450968980340929524322036651116973507338798474487864518639176196850370267407021892569056362168103551107895955156131748553703749372828227862643387687332483077166915871102696094793229993991006313695865221039499032083073080564228761852369096428699392355565973840516965034242399171722770764786247976149738296420900220189318021704557954997347493719167374685071102205353074526564355960262428103861987383159755626567948046996396408110030027037259567932372191078501411648180971191586338443343107463908225599764127413*t^37 - 93196658985307269912544811811067046518889134120826344367850016340726556026469681626292840241406696586015171516346028986786849305022051830814552856476385859571657590232024638053593552422464404638120709978025472417080146821895207297089468362975674500761794779836336748204480181007995914674513341781643138151543040443012346963348623052624981609418614588086262387436265362479543848077249938570501756841909700649718982382588511679033744856173652658933385717381238249269919246942406526800792013511282035579861650436713902016758137056615059923251031461640541792192176517620232354662398380048511213982092944210231069062302266681581647788870648408754910257401630784066380833316796837355929623718483831921861637433065223549303425204874467833500736800933964030447477018583189306275898744721890596226348484219831466555828898850208776283914824800912/45083513056399701099662549323057588796836654778542790386766251415006679760229248489747878162323913604331515707946782863615280862219956295741069487304429010482964443945796860231263282694238571646656532427040367358880991439925145638108996463981868366882468538910102135476990691823647587952450968980340929524322036651116973507338798474487864518639176196850370267407021892569056362168103551107895955156131748553703749372828227862643387687332483077166915871102696094793229993991006313695865221039499032083073080564228761852369096428699392355565973840516965034242399171722770764786247976149738296420900220189318021704557954997347493719167374685071102205353074526564355960262428103861987383159755626567948046996396408110030027037259567932372191078501411648180971191586338443343107463908225599764127413*t^36 + 5092573093895398339688960982320304307901705704726435781519434348991025465241376513351943199865430665435357103647755555364348559524025163687198560275912744340278054657328473205130284574757908478329409912688450267479685395698889820077520784810375399733343820148007273459894206861616972801718438838072423806168005672884577053642228891778420960010213846992078195896109257196840470935298910135815531276583054889600090508820277750774489601904174913983014189123301207030889109532374888925569950176380000316745415682582781076707408212541236604301044745518089314360734805457752538180869091408200799485999694954460467043495231895863162422246183998723918445066349993911007665444275421483720333403156053806519880836282275473668646941599593070237659078935623191756932498394593073608366459918924685848763608970283816102168851053981673044710497876314304/45083513056399701099662549323057588796836654778542790386766251415006679760229248489747878162323913604331515707946782863615280862219956295741069487304429010482964443945796860231263282694238571646656532427040367358880991439925145638108996463981868366882468538910102135476990691823647587952450968980340929524322036651116973507338798474487864518639176196850370267407021892569056362168103551107895955156131748553703749372828227862643387687332483077166915871102696094793229993991006313695865221039499032083073080564228761852369096428699392355565973840516965034242399171722770764786247976149738296420900220189318021704557954997347493719167374685071102205353074526564355960262428103861987383159755626567948046996396408110030027037259567932372191078501411648180971191586338443343107463908225599764127413*t^35 - 248801548462349435279298481358301843806466517753214538721055932405742237613245835114421139546580262501254889007416484510033925916027615911822306330870356977699265863024911283060854232736777956775662778983561329213205307672262570099182327621170553505467803364114611561541668398683753146210602042542955034160543927273862261345448278182523605733269768346643872220113286097733721117886726293903072086949621310660924600622238443623354765384746347882470417529424640605436714977121138112011375646385795079564151909454979227846627408226555432200555282597429821428431901653448523079334422407930426840885827472535371368291511259022122527659115484031033428640461155799960609464680955995674553192857004287404936040070633041823267401214928132701612713010740416443613533732687555066875444588864456191027220502521777440398924102233586903034056669167214400/45083513056399701099662549323057588796836654778542790386766251415006679760229248489747878162323913604331515707946782863615280862219956295741069487304429010482964443945796860231263282694238571646656532427040367358880991439925145638108996463981868366882468538910102135476990691823647587952450968980340929524322036651116973507338798474487864518639176196850370267407021892569056362168103551107895955156131748553703749372828227862643387687332483077166915871102696094793229993991006313695865221039499032083073080564228761852369096428699392355565973840516965034242399171722770764786247976149738296420900220189318021704557954997347493719167374685071102205353074526564355960262428103861987383159755626567948046996396408110030027037259567932372191078501411648180971191586338443343107463908225599764127413*t^34 + 10876215826384166234341724902535359458188648883457250861206019724620577821009084212018656864017060019716283721410416119512684359251688233054354403789764760022846485016885778706788824619826584415394476012296427157856115381239327772668769590822687919000550440427056276554712004616923351702711731270971527105038127854802618165123407695470337500980785619333562759365218644010790107853363809893044891619989411201210896707835535700708748626282603889093400132385532838533021229364333219564877738475337472696824019221728393251118641360553701720349457752540082429400806228906243879886687113776459423344100743295443892703820335363048676687780146470077395802066669654972201531198407473782049758932880296607910491909370043600226889503843517296802076250202842658574580234814002639530630999669288209036425525517887937262999589708969850668133595668585688960/45083513056399701099662549323057588796836654778542790386766251415006679760229248489747878162323913604331515707946782863615280862219956295741069487304429010482964443945796860231263282694238571646656532427040367358880991439925145638108996463981868366882468538910102135476990691823647587952450968980340929524322036651116973507338798474487864518639176196850370267407021892569056362168103551107895955156131748553703749372828227862643387687332483077166915871102696094793229993991006313695865221039499032083073080564228761852369096428699392355565973840516965034242399171722770764786247976149738296420900220189318021704557954997347493719167374685071102205353074526564355960262428103861987383159755626567948046996396408110030027037259567932372191078501411648180971191586338443343107463908225599764127413*t^33 - 425596417638723619715730874972590785561677453832441075573451022772908820522888520803832573600588658520864617965970579002306055094175733218647886810300680001624505511881086468107509604166898083227571737373265333513517535707956446262613492216565147290613888318349015081051802131080214271365460625450783916894346010997517621193049935799040103318962663755252892371855631625349958786321679903387179095533798370300401406367953991828804235009070886979955943485814478536322860476350731303097614642372270959496777951376809245933651089364183799994391974665647337248631421461770552690662564488902551867371660012490395235244383268064971749382065452484648768911846108070191018114920470733593719173201506457471145853765409471247931994890112303392799963756579676242824910430638749723492661131659102680253224534272390581776671340064328951665477190794286944640/45083513056399701099662549323057588796836654778542790386766251415006679760229248489747878162323913604331515707946782863615280862219956295741069487304429010482964443945796860231263282694238571646656532427040367358880991439925145638108996463981868366882468538910102135476990691823647587952450968980340929524322036651116973507338798474487864518639176196850370267407021892569056362168103551107895955156131748553703749372828227862643387687332483077166915871102696094793229993991006313695865221039499032083073080564228761852369096428699392355565973840516965034242399171722770764786247976149738296420900220189318021704557954997347493719167374685071102205353074526564355960262428103861987383159755626567948046996396408110030027037259567932372191078501411648180971191586338443343107463908225599764127413*t^32 + 14909606857474986504980599711017095273122132269411147664763621267553118003979258471842014373640299885336087020892476335196695764878624665267720647496334076186179404718074003674219490705090468380776268756327601158238034530160608050921749111133505109610698504938311218229578956375487407370375277482933678647759159829081821456162698756409640136077903178453705392610425950082203051209839166263101070611292950025555805045813311622871944944956274094879007199112626367313064449178132313407455528767272449644324419953797283588368712067583646923420999274727482847015452635088517779108820277504646900120803593160500522818531656376583880771447431792044441222775758250299268586599868097797939478231784629846287301500787083162423702557123663770934673738926723799428694499074782655602426285068463547584470691019384802597521097730255346966170036577735703224320/45083513056399701099662549323057588796836654778542790386766251415006679760229248489747878162323913604331515707946782863615280862219956295741069487304429010482964443945796860231263282694238571646656532427040367358880991439925145638108996463981868366882468538910102135476990691823647587952450968980340929524322036651116973507338798474487864518639176196850370267407021892569056362168103551107895955156131748553703749372828227862643387687332483077166915871102696094793229993991006313695865221039499032083073080564228761852369096428699392355565973840516965034242399171722770764786247976149738296420900220189318021704557954997347493719167374685071102205353074526564355960262428103861987383159755626567948046996396408110030027037259567932372191078501411648180971191586338443343107463908225599764127413*t^31 - 467528780302714586287462928704042582355154182087715690279538405297788060541422908123453934898792408431639618688167089628271111580878993148878444548467105627582123228273034246235152245610779318157971858197908849075842637040332259308257858538243352729637309670900000195163652921191614379031289446572112694929536520970858168762553139600603243037332723439204094452820131164851271180218710381646497393024559612611719237438465968145586728887212719020901770713747533675319508888028608285594829772976036190566734735946218094719445790659345866807078307943168719454439080660589292216301850348668288631929046542340311293921021831222556141230605256485192960866195266095219761276950953491997009391743365391083899702127785233072930290558674434838821780854882662178090671371576089527299899932432360598084029227505054848233293307195329262856265314453322818723840/45083513056399701099662549323057588796836654778542790386766251415006679760229248489747878162323913604331515707946782863615280862219956295741069487304429010482964443945796860231263282694238571646656532427040367358880991439925145638108996463981868366882468538910102135476990691823647587952450968980340929524322036651116973507338798474487864518639176196850370267407021892569056362168103551107895955156131748553703749372828227862643387687332483077166915871102696094793229993991006313695865221039499032083073080564228761852369096428699392355565973840516965034242399171722770764786247976149738296420900220189318021704557954997347493719167374685071102205353074526564355960262428103861987383159755626567948046996396408110030027037259567932372191078501411648180971191586338443343107463908225599764127413*t^30 + 13116804413329519267531613879918835275436147227862172213066192256095567518751137061944797234891419413052186436256490882854155213051265222108121299564420578672027126347327502599272330538327485230440306880658440832596284273392807180177114142005813069399308471101901898661848805740142089433144974695907629851952527762071618586412720610340579101925870428799220949585075248842444290695416955659063635739598460599350274819994529450074083733006006433067162927013982577050177201464673986130690015598998700589047812561089819913191822536649664666332228773372134467644589268296342285159333311214855463576186619297633590087671711488504227829113090664523493888586620786810608507123284187441051830839199710330528031911151052916367157229636320032314922019341823396656800029016217626389462141568960198577844650067783735392139240782916327821443435770691596797952000/45083513056399701099662549323057588796836654778542790386766251415006679760229248489747878162323913604331515707946782863615280862219956295741069487304429010482964443945796860231263282694238571646656532427040367358880991439925145638108996463981868366882468538910102135476990691823647587952450968980340929524322036651116973507338798474487864518639176196850370267407021892569056362168103551107895955156131748553703749372828227862643387687332483077166915871102696094793229993991006313695865221039499032083073080564228761852369096428699392355565973840516965034242399171722770764786247976149738296420900220189318021704557954997347493719167374685071102205353074526564355960262428103861987383159755626567948046996396408110030027037259567932372191078501411648180971191586338443343107463908225599764127413*t^29 - 329009971916147821956844173403643672561850313284065068538452909085042047696979226877674630031705068441824152814557570341312584884946773499534032860101649069174662823549823846814003947366019806015206447769260529188560150706443050195582595772872889604483853971997446633960433017261756243539801571151923387017602063903928421791231209309261801455770577177057107118321065528299582758657128031802844241539382425383798062682082525312617571304439712721642921708369963494839251400707828710665698247676414173831839796163489135280509774428092478215030336279385366405505807970624892304660805772592025472145391093891467311327335982782208380954590127804393100649604341555588184027678314984287635733067469946987261479249435853052625259021732165202027709594532011332416065063312818102056109126477712037556541165530976608451826292648384937517542652433540942877900800/45083513056399701099662549323057588796836654778542790386766251415006679760229248489747878162323913604331515707946782863615280862219956295741069487304429010482964443945796860231263282694238571646656532427040367358880991439925145638108996463981868366882468538910102135476990691823647587952450968980340929524322036651116973507338798474487864518639176196850370267407021892569056362168103551107895955156131748553703749372828227862643387687332483077166915871102696094793229993991006313695865221039499032083073080564228761852369096428699392355565973840516965034242399171722770764786247976149738296420900220189318021704557954997347493719167374685071102205353074526564355960262428103861987383159755626567948046996396408110030027037259567932372191078501411648180971191586338443343107463908225599764127413*t^28 + 7370820403505439707385529429566292277829632726445245760593590562946606671018093607470879744477986446028552158620187417630351548574918025577142006784753783022590108242441570153644288683587537548107255865665340567316137868364015585022545982375138094940863802129035256443545255603450338577554599693192504055922862257587557794763437219148376546415406861160264042516180277559570396012047106734681130141802651988902257692340784915980352553408618907405288557273356030764200077525065871440016380763242496193491032955358181386018763256119943507807376245607785637535854894669237815842555112313018195687067520254495731247275848062654763663509667220333883173523725487786634163781282480932164864754701829567483903309124269522523352447472225729201668054838208165231150625234323727475919603045296097270429165240047892231317422549187027909108673862331034973426483200/45083513056399701099662549323057588796836654778542790386766251415006679760229248489747878162323913604331515707946782863615280862219956295741069487304429010482964443945796860231263282694238571646656532427040367358880991439925145638108996463981868366882468538910102135476990691823647587952450968980340929524322036651116973507338798474487864518639176196850370267407021892569056362168103551107895955156131748553703749372828227862643387687332483077166915871102696094793229993991006313695865221039499032083073080564228761852369096428699392355565973840516965034242399171722770764786247976149738296420900220189318021704557954997347493719167374685071102205353074526564355960262428103861987383159755626567948046996396408110030027037259567932372191078501411648180971191586338443343107463908225599764127413*t^27 - 147296327452287195672573178475048404362185065533570777156005177936622793031811457253246386844263767840217257949566426881131132054211558218489384528255700563727232675726442263552152739708565846184323106822229192315555305703839180070062251067673409070664157128547926183756114332438279278222103966909006598596193595919924639527930958059577799686762224613626001159249085740707399647132250353060831925080405726520394134600666812934263846789155135327327007150604399351751161871500007459834588281587971174193422771432147446644662555398941865122142512007829676639283314614803068902567046228692132698402035148918020229926100606915871513926532172307517816901231882835881375857742520936870029867373054925894821396489996163753927487414447560119222686644891382393634228266878600158736177021203873810974688613737207078990668705479323320073551935852881548604406169600/45083513056399701099662549323057588796836654778542790386766251415006679760229248489747878162323913604331515707946782863615280862219956295741069487304429010482964443945796860231263282694238571646656532427040367358880991439925145638108996463981868366882468538910102135476990691823647587952450968980340929524322036651116973507338798474487864518639176196850370267407021892569056362168103551107895955156131748553703749372828227862643387687332483077166915871102696094793229993991006313695865221039499032083073080564228761852369096428699392355565973840516965034242399171722770764786247976149738296420900220189318021704557954997347493719167374685071102205353074526564355960262428103861987383159755626567948046996396408110030027037259567932372191078501411648180971191586338443343107463908225599764127413*t^26 + 2621540799130326207433368816283511643793297149322079351803513053016482678876744639732386463256241218797365738517362215067222654094243250716458343651779374919326286469000799886837729955499816558430192105184829658856537109913663216446492116892654758534790816633185021256497248348509450273906208838726604743230546004170204781077943592059988843661927744289435517193541968963291545029450175325300015194905205042402664709115024463685978229877020127477740226032179722532583118683702850182204908003780511885708560793966942112426096523405085145691979282585498818448443037002990610630481165229155356128483254066035718181118323623949716887753795222943967733315833476015089354923013456312611606065015129400800061837882484926973190126239369234732547515558313719524595176817243002900594787064216431699791197176973093906924424012943281802898888107081968216820708147200/45083513056399701099662549323057588796836654778542790386766251415006679760229248489747878162323913604331515707946782863615280862219956295741069487304429010482964443945796860231263282694238571646656532427040367358880991439925145638108996463981868366882468538910102135476990691823647587952450968980340929524322036651116973507338798474487864518639176196850370267407021892569056362168103551107895955156131748553703749372828227862643387687332483077166915871102696094793229993991006313695865221039499032083073080564228761852369096428699392355565973840516965034242399171722770764786247976149738296420900220189318021704557954997347493719167374685071102205353074526564355960262428103861987383159755626567948046996396408110030027037259567932372191078501411648180971191586338443343107463908225599764127413*t^25 - 41476249993809796046785485804979058706451067266642202801703238604959443036677901933717068103899369848155269360126811026868438468526781570961522080155084405013988844011244023000747001002638310942675844993450912248873171638601297474819730128562097400022737362517574726353867809806701705580615273196343471241168480453552449507550103973474426299560424570638887095893644607305833334990051365086656310627185828139669446041107541043152538665869289758684443393177773696499404419102521100234724537110757603683138621897800541505976605465946223727912592369896339629861255288520251468272904370939547191102055028835327606777606456185720208940442458934812540590310409513785538573739663281278126180554007445091634520474212787823993093399992097568822378032100754855700748717432389946400918049982341408883714848887371832327138585896039714562758431511736814058281779200000/45083513056399701099662549323057588796836654778542790386766251415006679760229248489747878162323913604331515707946782863615280862219956295741069487304429010482964443945796860231263282694238571646656532427040367358880991439925145638108996463981868366882468538910102135476990691823647587952450968980340929524322036651116973507338798474487864518639176196850370267407021892569056362168103551107895955156131748553703749372828227862643387687332483077166915871102696094793229993991006313695865221039499032083073080564228761852369096428699392355565973840516965034242399171722770764786247976149738296420900220189318021704557954997347493719167374685071102205353074526564355960262428103861987383159755626567948046996396408110030027037259567932372191078501411648180971191586338443343107463908225599764127413*t^24 + 582066520279070158003519254833837031447020923056113875393326646783049487361005325214253165262004100159822530486359934138137191861803024920628419426360006543574755389490284699993717472951383622028056758053018068845096371456852676127541099408747557301024532352593071865222763825561095827439972532028771228145156897304048134166703481726081192744272112673347182572118689222135155681252181469234075667591008624335810152905928414295161245629750409320501365159943373240537558416893890503914699793151803868172630764014036530707223819924658645499295241424747667898494024179985939368635051003722457678798476949916443595925336247334936024022779263119583744043964623095361701884113838408057516412660929783078304743355055829147785622623626081241647774034824348509888727176316327474229498763305139935409245438142882286486872489094306009857112046244005080644572282880000/45083513056399701099662549323057588796836654778542790386766251415006679760229248489747878162323913604331515707946782863615280862219956295741069487304429010482964443945796860231263282694238571646656532427040367358880991439925145638108996463981868366882468538910102135476990691823647587952450968980340929524322036651116973507338798474487864518639176196850370267407021892569056362168103551107895955156131748553703749372828227862643387687332483077166915871102696094793229993991006313695865221039499032083073080564228761852369096428699392355565973840516965034242399171722770764786247976149738296420900220189318021704557954997347493719167374685071102205353074526564355960262428103861987383159755626567948046996396408110030027037259567932372191078501411648180971191586338443343107463908225599764127413*t^23 - 7227373766117603931385741310495776910246299092807732740585708106756374103401900507911788420524114334604556661687607841630887775182039447904549960279799662379264424540014348767779700650379858900101794926476278808830399425331245003431684154001586558901021902132853987369523364987080418412994422741698004031990659499002406131086031937234250880320754533867202738401657570490109407441773560777303727485788801959362435677733552100299088863698259091587886666952887546453889169277740083729670933461178382107513631164756635056254957314328105499673231288773625460690289511224112177404755763503889344154758476670063698493421358127715019347795555430257987175676698104424738527806233806166889062269934380370091527955199995532714323364190047505801377397809754360540660877038585923959029164294871443994307632510447465807099862106142191601054856896361085288696064901120000/45083513056399701099662549323057588796836654778542790386766251415006679760229248489747878162323913604331515707946782863615280862219956295741069487304429010482964443945796860231263282694238571646656532427040367358880991439925145638108996463981868366882468538910102135476990691823647587952450968980340929524322036651116973507338798474487864518639176196850370267407021892569056362168103551107895955156131748553703749372828227862643387687332483077166915871102696094793229993991006313695865221039499032083073080564228761852369096428699392355565973840516965034242399171722770764786247976149738296420900220189318021704557954997347493719167374685071102205353074526564355960262428103861987383159755626567948046996396408110030027037259567932372191078501411648180971191586338443343107463908225599764127413*t^22 + 79171141474042122161795864675572891524902131555494836480176317117810643922445810493445240181387380419921364385106953587330487682016474911874447976566839347218155593362819876349958660199103286110050363212118485733026469824825894693220554147823897428350712284568837591103644875036988110642706580942833736213861112492961896464130403875992090405966405113692405422946099128439540300824813644771609423888502979183078572730737068377503116972126154006605985747044749449165758389119682750760307002370073749660614696034069138143281467207127563873184840364882691139146537976540354755959309605760824915171125116762640356563514198828689701477780387746432819275969558508003914195372675082486523081669095099344878695570025931442349360678568388461753954588023982381985490484946211838179184544515788889979073005753067208263886371714223637591357827766882399297215729500160000/45083513056399701099662549323057588796836654778542790386766251415006679760229248489747878162323913604331515707946782863615280862219956295741069487304429010482964443945796860231263282694238571646656532427040367358880991439925145638108996463981868366882468538910102135476990691823647587952450968980340929524322036651116973507338798474487864518639176196850370267407021892569056362168103551107895955156131748553703749372828227862643387687332483077166915871102696094793229993991006313695865221039499032083073080564228761852369096428699392355565973840516965034242399171722770764786247976149738296420900220189318021704557954997347493719167374685071102205353074526564355960262428103861987383159755626567948046996396408110030027037259567932372191078501411648180971191586338443343107463908225599764127413*t^21 - 762602399466930441204465664082703798402365285512274128636930908616241554397521979693319679508803027069043515311012241441792850892172490957734386878323190208586987400784069390905547970218473109646684345779971102050155808305970287998781420371040004805751015470675585378153511930563559100648442670446672253641418250198421229022771880070985177847932653587893926825542690189757788975020309671155261748976902766400452593908851453738793540960060535806352247631176841427912937218366971886190267353126560728926396697587189811642517200725214947856919201774844033351350937633336283153830269507453260675805230138912461369418151289196632005759538790229757386003746266962992168838911861523014145746295433561494085899517491840989167642473329190429299424500429477071784392323304722645662643104861424507824585912196091241755857759822362230345970778436342383926070976184320000/45083513056399701099662549323057588796836654778542790386766251415006679760229248489747878162323913604331515707946782863615280862219956295741069487304429010482964443945796860231263282694238571646656532427040367358880991439925145638108996463981868366882468538910102135476990691823647587952450968980340929524322036651116973507338798474487864518639176196850370267407021892569056362168103551107895955156131748553703749372828227862643387687332483077166915871102696094793229993991006313695865221039499032083073080564228761852369096428699392355565973840516965034242399171722770764786247976149738296420900220189318021704557954997347493719167374685071102205353074526564355960262428103861987383159755626567948046996396408110030027037259567932372191078501411648180971191586338443343107463908225599764127413*t^20 + 6434908509454830733834839045676007132592465734430474328522274803486083528401607782098758258014156768285238506354328391605860455109057721335929960870880783578758831705136284432507378855729479978513762585860878432236549994486436920023215508125049073515381821604295796121336619291641743592625017151235195974450147228386707445821881027537537628824739748422731898778339576206350674183777627312538427126168489850569058647077476468030342210933267181987061831725162477788242270533790672221073798175539441488229857802870979381161478959918878688752810047604201492505921572843017162156305274304669026858625903031356040245420786505765727290999859982038839547890086264016400553394391429268111478402739147936416064855245618593129217582642505769565168139596986980301340730918961004010204019823456347975166854686015563590851074329409200818066514628528616189778957041664000000/45083513056399701099662549323057588796836654778542790386766251415006679760229248489747878162323913604331515707946782863615280862219956295741069487304429010482964443945796860231263282694238571646656532427040367358880991439925145638108996463981868366882468538910102135476990691823647587952450968980340929524322036651116973507338798474487864518639176196850370267407021892569056362168103551107895955156131748553703749372828227862643387687332483077166915871102696094793229993991006313695865221039499032083073080564228761852369096428699392355565973840516965034242399171722770764786247976149738296420900220189318021704557954997347493719167374685071102205353074526564355960262428103861987383159755626567948046996396408110030027037259567932372191078501411648180971191586338443343107463908225599764127413*t^19 - 47363408965359704022595383943162618687166012878698596124642729101457190743011483448048454917902353678077135026038495274991489386237842363872967606790207420884022651225131806057858442927052640961984713193720727735836462881217274727171278925752865475389312547780655068545449615545929741810768145141444675419817512354596153531245596530800216082143471345739137518277634954789335627725803011407844864595176209282255575183242329834334058555459106730092068252570081229024241107180535604762640332425928101567606378111283710334238956505620079355170053210569757020756763822899812671952091700887760337599219962645439570917744751594637052737834286022839796425314985309091099953773304873323072332104538936026273342430235381057333482958743984073366930090658289992459557641330543609480719933265960609801111909713645863598495486247481583527992021180353030289808792197529600000/45083513056399701099662549323057588796836654778542790386766251415006679760229248489747878162323913604331515707946782863615280862219956295741069487304429010482964443945796860231263282694238571646656532427040367358880991439925145638108996463981868366882468538910102135476990691823647587952450968980340929524322036651116973507338798474487864518639176196850370267407021892569056362168103551107895955156131748553703749372828227862643387687332483077166915871102696094793229993991006313695865221039499032083073080564228761852369096428699392355565973840516965034242399171722770764786247976149738296420900220189318021704557954997347493719167374685071102205353074526564355960262428103861987383159755626567948046996396408110030027037259567932372191078501411648180971191586338443343107463908225599764127413*t^18 + 302611391132726776671657966143628424384887706059415196538415021225810034786172693185881743129371934122157987758640019211350619017145053414354008333888948818053175964987714462977746631724728394537407354176435077009314481584582410002150385343510172541651847073977998373623217273778911589955816541878542884517717357106458344119463544834358222176790141923445023596875192878346531813139424397838671014159102366251821019431779061388505069480152911349547210303320857934597694597898259494602555294637509902812541696726217890843836904697283230392510626049368285895289894108163804489287985586391514080985122101379860184803808503612138578759076649719421615067872892235108137514201196504586121179699729284206111633287805964227594264487293136328117387152980476030187032114315968218749049964300017609749006416234308285938436133849062943835280234770393222101527634798182400000/45083513056399701099662549323057588796836654778542790386766251415006679760229248489747878162323913604331515707946782863615280862219956295741069487304429010482964443945796860231263282694238571646656532427040367358880991439925145638108996463981868366882468538910102135476990691823647587952450968980340929524322036651116973507338798474487864518639176196850370267407021892569056362168103551107895955156131748553703749372828227862643387687332483077166915871102696094793229993991006313695865221039499032083073080564228761852369096428699392355565973840516965034242399171722770764786247976149738296420900220189318021704557954997347493719167374685071102205353074526564355960262428103861987383159755626567948046996396408110030027037259567932372191078501411648180971191586338443343107463908225599764127413*t^17 - 1668991150975526881272223799166868325007985853613311008746185929000055445754254491389284904560485978775000683352382928345754536165673421613658300418605926085987585832151586356658319666354022819678258009665662012606216343380018110805360130024877095141127720123916054575212580529028193913173219942220862362224039175461634210155111372637348876803121268618856965044970845848277644910850658320628970358339003732394127157563874082034388893040258726915932926250325300903664847868176942883669758568069179974517058108608949883658913203776754213920412864368536791004767836503263156567563633924720351417889426377133360742406830986933049058562116595691217649860010553273510965818570294997619659202121980146907780087612171924564246324426491797512057800285017970005247603225264322981331913381661094368782746658732300907290560191908927305333864318755434458789587648983859200000/45083513056399701099662549323057588796836654778542790386766251415006679760229248489747878162323913604331515707946782863615280862219956295741069487304429010482964443945796860231263282694238571646656532427040367358880991439925145638108996463981868366882468538910102135476990691823647587952450968980340929524322036651116973507338798474487864518639176196850370267407021892569056362168103551107895955156131748553703749372828227862643387687332483077166915871102696094793229993991006313695865221039499032083073080564228761852369096428699392355565973840516965034242399171722770764786247976149738296420900220189318021704557954997347493719167374685071102205353074526564355960262428103861987383159755626567948046996396408110030027037259567932372191078501411648180971191586338443343107463908225599764127413*t^16 + 7895474237066084592771253951525348212206532894647859532692824597584704104027303602312956704616845880815024765479482851441595971633391235298216033792113861156401009083231623668541507293339312962976732130758385608928867578810519327240174464439290293567777985405451505772579372439585297067488675522117216316481154438346988703183374877312492775310265250487976742437011467476865974245390234621814750434009745759593278388864771520464675626983433209062370975803588384466702732500418848906788501482272124264164702506486577974777820633476012156465680738576787312279671195206242803222769542482910307022902788563704655367967332712425164010383327446946300854039022006221285823686344698388304899542745879139732940112855522246837061061854881665536374898384518226094498120284272493755063145833238358058344962543155046692033461410465701639954308377883225898964333617374822400000/45083513056399701099662549323057588796836654778542790386766251415006679760229248489747878162323913604331515707946782863615280862219956295741069487304429010482964443945796860231263282694238571646656532427040367358880991439925145638108996463981868366882468538910102135476990691823647587952450968980340929524322036651116973507338798474487864518639176196850370267407021892569056362168103551107895955156131748553703749372828227862643387687332483077166915871102696094793229993991006313695865221039499032083073080564228761852369096428699392355565973840516965034242399171722770764786247976149738296420900220189318021704557954997347493719167374685071102205353074526564355960262428103861987383159755626567948046996396408110030027037259567932372191078501411648180971191586338443343107463908225599764127413*t^15 - 31802342318222120364956018335835862238459844659598433953732893541160933117183939525748902603532713297776805437530185469643926431492599996901714972605657373916008441186671624163266544203556779728885344297305037543850860104257306220474866771863917599139229398625081701992838811234620295757013173310514075728970142759122582013762160739945547440463647026889203644008324740602790229952562267799040250411897032200370172784350521236026919698778040171765509896963933037047563890109487762957102890005007637762546595161427942555595075999120690471600347560352020325165053358645430593353511954870339960364262149752553697693358027744047645379778624188841012816371832595493696347098627642046228056785286087771974148764280986893096971660425595857225465219995108239447942508458736694449356309640107095277463378719724388192440482170079069283460684282011301745980292579983360000000/45083513056399701099662549323057588796836654778542790386766251415006679760229248489747878162323913604331515707946782863615280862219956295741069487304429010482964443945796860231263282694238571646656532427040367358880991439925145638108996463981868366882468538910102135476990691823647587952450968980340929524322036651116973507338798474487864518639176196850370267407021892569056362168103551107895955156131748553703749372828227862643387687332483077166915871102696094793229993991006313695865221039499032083073080564228761852369096428699392355565973840516965034242399171722770764786247976149738296420900220189318021704557954997347493719167374685071102205353074526564355960262428103861987383159755626567948046996396408110030027037259567932372191078501411648180971191586338443343107463908225599764127413*t^14 + 108137121115622548036633608349806393783808544755714150791532370054832341644164174318321336159274395452899283055132143459010815830743105313463407246227728122649217892086716740151413414075921084346128076433170695729720549261579944890820218382326297920616365204357706494660577873717691498336550006560714047019874306712323897042661129723725172690871438567634348611899216083730987357486353475975718803556029465160201224334888334115133405110482116623273635412441371165572412194398757944197376344948808149293806489605416513156162244548837496446972044170283965993680578946999964777861169137423748768746377397735646679473569207592630398523978480045743809406647788528806737515898152193071831630930042927316679235349389414689279686869632982180014676592129233636452879786878807095262228312421534952292350325707761093176261635366773728709717170317210432541927275331846144000000/45083513056399701099662549323057588796836654778542790386766251415006679760229248489747878162323913604331515707946782863615280862219956295741069487304429010482964443945796860231263282694238571646656532427040367358880991439925145638108996463981868366882468538910102135476990691823647587952450968980340929524322036651116973507338798474487864518639176196850370267407021892569056362168103551107895955156131748553703749372828227862643387687332483077166915871102696094793229993991006313695865221039499032083073080564228761852369096428699392355565973840516965034242399171722770764786247976149738296420900220189318021704557954997347493719167374685071102205353074526564355960262428103861987383159755626567948046996396408110030027037259567932372191078501411648180971191586338443343107463908225599764127413*t^13 - 307292385681616825714414029991290342058420682360926011273898593302345352445721900414443705292903952809724441206075550820932055562695411253337477920170113724939157235348638194717522929788519636078123094372830224604366788864165997510991857126727726219016646542712618024694166676908731511576956963013604560789827252470133702115969006277479125884940050676964987804628779061186780429578867723251449749410494273249866972660434275780994272340357081279452228401137832044697814758525098129502757696518929398716732869663218177653987299537751010724354548269389960274548498731140128892193579612179258411674724305062712647579865239747190111153369140462370665900405907959903989851724288601607436164710285174144621002102851981041774074320918352567074224883240860379503886746988841362516795189656971659988786827871342171818764265526920189215453884364355141357351887349743616000000/45083513056399701099662549323057588796836654778542790386766251415006679760229248489747878162323913604331515707946782863615280862219956295741069487304429010482964443945796860231263282694238571646656532427040367358880991439925145638108996463981868366882468538910102135476990691823647587952450968980340929524322036651116973507338798474487864518639176196850370267407021892569056362168103551107895955156131748553703749372828227862643387687332483077166915871102696094793229993991006313695865221039499032083073080564228761852369096428699392355565973840516965034242399171722770764786247976149738296420900220189318021704557954997347493719167374685071102205353074526564355960262428103861987383159755626567948046996396408110030027037259567932372191078501411648180971191586338443343107463908225599764127413*t^12 + 721090064127949235287138355682840299400691828039148569725205869336923377807079180610411230436482405477123429568761001540711835022624510621526236726386480326081472249742631197430200313783003464079645051420218082965687633156179668391457716780708693646569927774737201870508691287893506944286479588408840297680409403867558376330914004613714424025117225677828569120497278380709174254950284889679328587791484380498308975049130434917283222335441766009735642883869744147971073602599616369504257482170419905522668730110089093461099478238975364306639891317443375119581582992260943251940079416063689489783935963957580959953657664217519427105904596694831890132670940636788367220812450667525151414340909103130719751079317447926977427591588628791301978459682675177408275206903763072204362476698952871679965166913251670630827791202787093701860103158210231838361846879879168000000/45083513056399701099662549323057588796836654778542790386766251415006679760229248489747878162323913604331515707946782863615280862219956295741069487304429010482964443945796860231263282694238571646656532427040367358880991439925145638108996463981868366882468538910102135476990691823647587952450968980340929524322036651116973507338798474487864518639176196850370267407021892569056362168103551107895955156131748553703749372828227862643387687332483077166915871102696094793229993991006313695865221039499032083073080564228761852369096428699392355565973840516965034242399171722770764786247976149738296420900220189318021704557954997347493719167374685071102205353074526564355960262428103861987383159755626567948046996396408110030027037259567932372191078501411648180971191586338443343107463908225599764127413*t^11 - 1377262621887693973646096300146820649630294868394241115872819304891998367706730757217030125116648072662416860048320219797337674337805289262807426717608702221950426514697984542352183266043982361218809182924806461058648201539696725085298126184972272662676561257911053605642071671275683886882466234381027494693480876242734336563853206824371271223854759321738533729457796064123067468429718931722772945790370151584707605439210463562509537328802401411842310811347168319016178378214547052780844902405701785502211551209842958623184415172968268624107696012027914898034428698558393517944444455804879656489504233433083886093858419587354986109151927441881825376337846762035200076591227586369619661807240170711556451390609822105053235104627395067509167938191522195031437558438589337191872804125418273379262364116127985464854926161356483286068592737353294321112555618041856000000/45083513056399701099662549323057588796836654778542790386766251415006679760229248489747878162323913604331515707946782863615280862219956295741069487304429010482964443945796860231263282694238571646656532427040367358880991439925145638108996463981868366882468538910102135476990691823647587952450968980340929524322036651116973507338798474487864518639176196850370267407021892569056362168103551107895955156131748553703749372828227862643387687332483077166915871102696094793229993991006313695865221039499032083073080564228761852369096428699392355565973840516965034242399171722770764786247976149738296420900220189318021704557954997347493719167374685071102205353074526564355960262428103861987383159755626567948046996396408110030027037259567932372191078501411648180971191586338443343107463908225599764127413*t^10 + 2103526310272085732529211868880608210453726445588503471348375894912970226494055340494279585686775617571494554762299090843270752672440336660740951040803609130310586419673305443360927507885670580023391239717268762653241855956613343485831152575092363643927103266878897887328736191293021479502080993021414316378281363120115893575914138744499562316294097002932276199869304827522863321516377346316641849474750418285522361581765966122485509028803309894617235158988527523690784948924955327741094738396264759433899384719450455699380740967328349474769499701322475054197063773899813566612158855809090332543524417495604643475523970671793257037356614403443311052730397591668280323983575943033664201671452650687508729821837796211509980610003866929497514748904794864357385209540908985782336069583842131272597467816214018971928557657191190762993799736933474347927111047577600000000/45083513056399701099662549323057588796836654778542790386766251415006679760229248489747878162323913604331515707946782863615280862219956295741069487304429010482964443945796860231263282694238571646656532427040367358880991439925145638108996463981868366882468538910102135476990691823647587952450968980340929524322036651116973507338798474487864518639176196850370267407021892569056362168103551107895955156131748553703749372828227862643387687332483077166915871102696094793229993991006313695865221039499032083073080564228761852369096428699392355565973840516965034242399171722770764786247976149738296420900220189318021704557954997347493719167374685071102205353074526564355960262428103861987383159755626567948046996396408110030027037259567932372191078501411648180971191586338443343107463908225599764127413*t^9 - 2512976287606517255846250033133267253338604993164339517580636960965663122343740278087425083059576148584265916780954280300515966217360036189499644066557591495783894529983802800076944680124483118584057728558626935382651413850793997067024990123744457943401979106262733170815859477613793571131699579327460226050814139352006800927096286909328449230783204717182546412372820016977252219992224471063793822581909988372889915090577283909219859509942140689694515135204615981199139445146024113513753919075109539593556552705862888951279380106633628509559344988398474534537107447936725236856752935060346345876715282281281524049470802824026485222195790416642921938108860277704856785288504762298601333831631300426136554735883947682582522215092800621699790417064590142846648606268577004677146107462898488152100085758408808619450043754289980952263375402338072339179127009443840000000/45083513056399701099662549323057588796836654778542790386766251415006679760229248489747878162323913604331515707946782863615280862219956295741069487304429010482964443945796860231263282694238571646656532427040367358880991439925145638108996463981868366882468538910102135476990691823647587952450968980340929524322036651116973507338798474487864518639176196850370267407021892569056362168103551107895955156131748553703749372828227862643387687332483077166915871102696094793229993991006313695865221039499032083073080564228761852369096428699392355565973840516965034242399171722770764786247976149738296420900220189318021704557954997347493719167374685071102205353074526564355960262428103861987383159755626567948046996396408110030027037259567932372191078501411648180971191586338443343107463908225599764127413*t^8 + 2283012110967182260972760966458253389459062788780562330612519879354366373868428775885537003949645408522833534378437498482795736641127474081729678013839088823322597484389809846649181641467490596192019424426886740083094320101809769674635632864194088342358699319591071894064275894435342744252430407769199744708430840042217540919862459651835250691112862200623853904167033452459654508046204480415909168333157440081118824251640508633700148277733515938962860743171897180072505069290412643377779090685608246004672716429599367259369833255835652066153687891987916780415256373471952270456138205440771313153789576151798981955775167600673531141326508316938410125124632811099527863620333214365825207460175866060587519113600079084666678276100753296389569753972974428268525721231055924733599673206319633553043356255028981023946535092079786610523802145344514234115825399234560000000/45083513056399701099662549323057588796836654778542790386766251415006679760229248489747878162323913604331515707946782863615280862219956295741069487304429010482964443945796860231263282694238571646656532427040367358880991439925145638108996463981868366882468538910102135476990691823647587952450968980340929524322036651116973507338798474487864518639176196850370267407021892569056362168103551107895955156131748553703749372828227862643387687332483077166915871102696094793229993991006313695865221039499032083073080564228761852369096428699392355565973840516965034242399171722770764786247976149738296420900220189318021704557954997347493719167374685071102205353074526564355960262428103861987383159755626567948046996396408110030027037259567932372191078501411648180971191586338443343107463908225599764127413*t^7 - 1520395443930993101435318017064329843467946198797054688932114674586720122120142864976032107493895041614991440405646719407822981858201665275528933553930002893658713631984288636716635656209682471452003234762764739889071500194200019597490543153284966965422227652323900899761495746925675823988500795117535190970403008520185361361763442466988256146363747976683979355369574532969976894389160430511630360890914430346680075260773461518272210243673486433008525153705375803028178870908743374965882571926335961148672262870312568162588906857522999010399419668239344474728649054587073129822075306089389951635712521759996445925893623779990011244347003304490695009261363595992882003968752291092071759926914703805197895479750158906250771428195842304745901569869614421404992801096993767982740996728234729481709239711775777066832044052584505445004325466723685381933075036897280000000/45083513056399701099662549323057588796836654778542790386766251415006679760229248489747878162323913604331515707946782863615280862219956295741069487304429010482964443945796860231263282694238571646656532427040367358880991439925145638108996463981868366882468538910102135476990691823647587952450968980340929524322036651116973507338798474487864518639176196850370267407021892569056362168103551107895955156131748553703749372828227862643387687332483077166915871102696094793229993991006313695865221039499032083073080564228761852369096428699392355565973840516965034242399171722770764786247976149738296420900220189318021704557954997347493719167374685071102205353074526564355960262428103861987383159755626567948046996396408110030027037259567932372191078501411648180971191586338443343107463908225599764127413*t^6 + 706685079646637491923242225437884756818268551639705438716203792219431063934049541449432983303867200808755775565739911217505006048748737642954652627009682110024553804048955791767290798122587472342543404608513988034078299353083056879332126815773055802525596056127331766359777710923446160703295956105792657629410097783894071140735886490757507770639814124250692007756070414713627805182316103204541441542700829873282383193021833035161569026911124264646907202239190938422067302997446942370283099397893132065750201164868792029549459100371434252908163318263840105231330477579452047103167783138306246233646193729190603392948000428213556701669683663945762151560162445256204027886310502875734714378776980284255721021433788300833510429736803906609415705849759068707925886910168259645651869792156555447304230652791378927448158351243986386386942075708363826679871029903360000000/45083513056399701099662549323057588796836654778542790386766251415006679760229248489747878162323913604331515707946782863615280862219956295741069487304429010482964443945796860231263282694238571646656532427040367358880991439925145638108996463981868366882468538910102135476990691823647587952450968980340929524322036651116973507338798474487864518639176196850370267407021892569056362168103551107895955156131748553703749372828227862643387687332483077166915871102696094793229993991006313695865221039499032083073080564228761852369096428699392355565973840516965034242399171722770764786247976149738296420900220189318021704557954997347493719167374685071102205353074526564355960262428103861987383159755626567948046996396408110030027037259567932372191078501411648180971191586338443343107463908225599764127413*t^5 - 214425972126632771008017589057572029170224836756818979635117330878269001305151252407175100551648307395977479459899979010003973787630193377962230119313211609446595408304664172158130113233155554130643015713560271832864741255781342307859453372710296636335104791757053211783080153449769953881081658853216592749432260990238732682512509078234133276063204437071369570494774520507137421745807001663444791831454664218162461289834259661612526421375481117671111668765881350169447641109140480668208756222622959361628651626767770205603090781477943481937102435460082501463037333422200122347231402882721599764922555262994588369759664498086491893521579786416178621142711953902891724450487337156784679550902052627376983275463503686302485392594361354076254594837247372136935213699272707092045403049659641213202564947424694172544823433260019826820501236176418421769993453568000000000/45083513056399701099662549323057588796836654778542790386766251415006679760229248489747878162323913604331515707946782863615280862219956295741069487304429010482964443945796860231263282694238571646656532427040367358880991439925145638108996463981868366882468538910102135476990691823647587952450968980340929524322036651116973507338798474487864518639176196850370267407021892569056362168103551107895955156131748553703749372828227862643387687332483077166915871102696094793229993991006313695865221039499032083073080564228761852369096428699392355565973840516965034242399171722770764786247976149738296420900220189318021704557954997347493719167374685071102205353074526564355960262428103861987383159755626567948046996396408110030027037259567932372191078501411648180971191586338443343107463908225599764127413*t^4 + 38779691178334270338773172253218611356115573823975890763965639596173180534570406017660706341421037727911687155734405504879838473795677192207915196359012399991616145855177491106100028838493814432343197926024132003441760031509930130194359723734023794129641608114883621388843842986511062159513968042028250463358531637774810771395268279344351912795325062633626421768861785414714643020194177991375959482811960444476946543268265223141919029287521318065895506240199620717376048784687249442866364908702813061629222730940978674859662958393198604112407436555967051356763390337836671331306681503684604385365483019151685278610009401184634599643367152762846348618665996873547550691662733067592800105471846472872369375290355742059856756723292202146576057846107599132937552868411258251905813521783382622810486926657741456890566262411242133901945997122585248160355136307200000000/45083513056399701099662549323057588796836654778542790386766251415006679760229248489747878162323913604331515707946782863615280862219956295741069487304429010482964443945796860231263282694238571646656532427040367358880991439925145638108996463981868366882468538910102135476990691823647587952450968980340929524322036651116973507338798474487864518639176196850370267407021892569056362168103551107895955156131748553703749372828227862643387687332483077166915871102696094793229993991006313695865221039499032083073080564228761852369096428699392355565973840516965034242399171722770764786247976149738296420900220189318021704557954997347493719167374685071102205353074526564355960262428103861987383159755626567948046996396408110030027037259567932372191078501411648180971191586338443343107463908225599764127413*t^3 - 3732806208739378004907098929811763184778198172843766723815963779678126930977909581691933286209537284191949116658907674503824266085201701854602131851839230968079424931533950864411872308314098874958026149575470481826618147100171951964525511667686557091677869883452963121109160575339804539894450384839653209740789534083896740071573654126276659905365238482608168481783514981376294427514281749834273191452106446421948394886667673429248368328765356328340356899873295638293526621293311439465129636704138622015063415017979449545179342801282763701683055154983551169418416496651373353096904691907408941388213184268012066462874886770536243708519645404338024393048327370603376174439385799219260166190232611332225535756528276739940824050835459073674190777516851893119282714803536876239227980184908660149477814971286022193056498108292296057546629188104039635394284748800000000/45083513056399701099662549323057588796836654778542790386766251415006679760229248489747878162323913604331515707946782863615280862219956295741069487304429010482964443945796860231263282694238571646656532427040367358880991439925145638108996463981868366882468538910102135476990691823647587952450968980340929524322036651116973507338798474487864518639176196850370267407021892569056362168103551107895955156131748553703749372828227862643387687332483077166915871102696094793229993991006313695865221039499032083073080564228761852369096428699392355565973840516965034242399171722770764786247976149738296420900220189318021704557954997347493719167374685071102205353074526564355960262428103861987383159755626567948046996396408110030027037259567932372191078501411648180971191586338443343107463908225599764127413*t^2 + 173037447844174762254530880118903478430099637024556664389968802755317232142041825746568046903881500552365366468357289973650814908632150601220327055245139231848484880521772595489602229831793743631735740325642463098066618191001501707456716515103347109219324168844403668564414288666005225865651304831743817867737338201405910544434465245980572553275766144604418931465433883290205510124688246760471302269029924128545334921652752023021386865958429472266244820416292103885861779686390166710931263001838790619483921075917570205235527053317727171190650581014733775127547437021676380924410375803907156968114920496133317454077147159805854800599030954569352992266574091054737230647375500698811947671113713724008183688149678428925800248143514734632656034410505283468010217990771104383971736331236640907149017965509787481113432543764366522684404279270329573217560166400000000/45083513056399701099662549323057588796836654778542790386766251415006679760229248489747878162323913604331515707946782863615280862219956295741069487304429010482964443945796860231263282694238571646656532427040367358880991439925145638108996463981868366882468538910102135476990691823647587952450968980340929524322036651116973507338798474487864518639176196850370267407021892569056362168103551107895955156131748553703749372828227862643387687332483077166915871102696094793229993991006313695865221039499032083073080564228761852369096428699392355565973840516965034242399171722770764786247976149738296420900220189318021704557954997347493719167374685071102205353074526564355960262428103861987383159755626567948046996396408110030027037259567932372191078501411648180971191586338443343107463908225599764127413*t - 3030856447477670154860944043300367856877497991857708122579634810992390381017919987769833118218526937273168600715431712977026186743894631188083982461456138533456233163260036250303525808968934221394285988234629405520316213104384843564393446268052219948263210145939741378449937591835296717459058672237233025443776247714051380185692310180071394457700264461249108814969238844766655539518731703954343617289366741251658233973357087220790811322479710749063737975573542756117211940783115434793783538882878366967696200792482828887528160700775426650733030867286424512093349972309566489997709510346509987405372170226812049239270577524056557345411362749598783972633626643608818195522598375593650051507433401486753376752362022309599146020100675111895625366585646770410321278192950405732794657251355225529176399755034545303213800370179623571440432766329777589898444800000000/45083513056399701099662549323057588796836654778542790386766251415006679760229248489747878162323913604331515707946782863615280862219956295741069487304429010482964443945796860231263282694238571646656532427040367358880991439925145638108996463981868366882468538910102135476990691823647587952450968980340929524322036651116973507338798474487864518639176196850370267407021892569056362168103551107895955156131748553703749372828227862643387687332483077166915871102696094793229993991006313695865221039499032083073080564228761852369096428699392355565973840516965034242399171722770764786247976149738296420900220189318021704557954997347493719167374685071102205353074526564355960262428103861987383159755626567948046996396408110030027037259567932372191078501411648180971191586338443343107463908225599764127413
-------------------------------------------------
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:   51 out of 54
Indefinite weights: 0 out of 54
Negative weights:   3 out of 54
Extension rule has valid weights: 0
**************************************
*** EXTENSION WITH INVALID WEIGHTS ***
**************************************
Starting with polynomial:
P : -t+1
Extension levels are: 1 3 5 45
-------------------------------------------------
Trying to find an order 3 Kronrod extension for:
P1 : -t+1
Solvable: 1
-------------------------------------------------
Trying to find an order 5 Kronrod extension for:
P2 : -t^4 + 49/4*t^3 - 153/4*t^2 + 57/2*t - 3/2
Solvable: 1
-------------------------------------------------
Trying to find an order 45 Kronrod extension for:
P3 : -t^9 + 8913807221/174577516*t^8 - 346896933499/349155032*t^7 + 3329250396937/349155032*t^6 - 8538378231899/174577516*t^5 + 23551735187795/174577516*t^4 - 8100489458905/43644379*t^3 + 4370729197935/43644379*t^2 - 409117906830/43644379*t + 10559938470/43644379
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : -t^54 + 2797471010464579579127344584452249788970652476824029110653783693744086657514606970223013560981771080429179045225250107234170158629730876806583356913842056063934234232172218596351033844307243047583700623151356320585047824415604794519777074887387746635062768888044791365944287219795286664043153917739794005471777691180727711971947430958477628335714756916750611387561625511155416174789768475609305099399989897372862886292840969670592080982560018119389795735215647603744397610135800140535160602249406354006234624432632904303109637631337618912682138355076788909339886770899669627188463853082294347456562593847138332370355959128876718499995235240603879984302204252165594258170914537297403875404600288149365733075239251107822874932668354093207288547498100893981780965541524357533914005480704130472489625372/1127087826409992527491563733076439719920916369463569759669156285375166994005731212243696954058097840108287892698669571590382021555498907393526737182610725262074111098644921505781582067355964291166413310676009183972024785998128640952724911599546709172061713472752553386924767295591189698811274224508523238108050916277924337683469961862196612965979404921259256685175547314226409054202588777697398878903293713842593734320705696566084692183312076929172896777567402369830749849775157842396630525987475802076827014105719046309227410717484808889149346012924125856059979293069269119656199403743457410522505504732950542613948874933687342979184367126777555133826863164108899006560702596549684578993890664198701174909910202750750675931489198309304776962535291204524279789658461083577686597705639994103185325*t^53 - 53368640985908401146544854959442756017496795736823554602803458369586270241524700370500824131619151594984607330620799028451515747589147894758580673429846065976965723376794306040713495985509362252717944950319922786606994505826612172713262062039787865572029649774693952368980199106330509666637412750195837834175128414804317315593531803759745022201828341519787759290787772220361871476347297605053300883748542951343263053170469191601727511701752914868842741921305679513527996258066298561112646746508215613275975009875855317537305126715087600427025950217942776688669609461549734634297312834039611804296427453380548588845779233027349236211530977325518857640892217448353809531408847884058328984262785086803483467054693901790780864895607069554617706632355865024698612835280323698284102685422459579997048563559597/18033405222559880439865019729223035518734661911417116154706500566002671904091699395899151264929565441732606283178713145446112344887982518296427794921771604193185777578318744092505313077695428658662612970816146943552396575970058255243598585592747346752987415564040854190796276729459035180980387592136371809728814660446789402935519389795145807455670478740148106962808757027622544867241420443158382062452699421481499749131291145057355074932993230866766348441078437917291997596402525478346088415799612833229232225691504740947638571479756942226389536206786013696959668689108305914499190459895318568360088075727208681823181998938997487666949874028440882141229810625742384104971241544794953263902250627179218798558563244012010814903827172948876431400564659272388476634535377337242985563290239905650965200*t^52 + 667913900274333484504753383209605931155424193054230057545235602870296179824308921727071961669669884301556979099663136525459696770512884029134493925808056021102527728422954931667865840715306747027903422740589495085134314507366113139831734786284409453762082997877311308870274766802192166875898720539943191380257878085035938207666403994930952842590239266406345094953744848255151598046539431606326496628792666238621629377732202031963336571675978802123290543785693564866432563647102202463839935818727999166227996224569882972125407610369485819907399599555254258941609969683261741527605137758020808415786517832490379880205747159354410350162478380169387292150528606704574488338726865725176512198592201522153801397648246895087413932352536166189036321150851080675871790023943831821835654903619319347149409170942547461/295747845649982039213786323559257782507248455347240704937186609282443819227103870092746080744844873244414743044130895585316242456162913300061415836717054308768246752284427403117087134474205030002066852721384809874259303845908955385995016803721056486748993615250270008729058938363128176968078356511036497679552560431327346208142517992640391242272995851338428954190063615253009735822759295267797465824224270512296595885753174778940623228901088986214968114433686381843588760581001417844875850019113650464959408501340677751541272572268013852512788393791290624630138566501376216997786723542283224521105444441926222381900184782599558797737977934066430467116168894262175099321528361334637233527996910285739188296360437201796977364422765636361573474969260412067171016806380188330784963237959934452675829280*t^51 - 366689792868278666859889773455853533038801849313610731119702600712754472792365465011491614869646100408113038168000207044466801162124499137893913759630198479984343570176318091865550051080339986577192771631462655808518432126136487195177408943447702854640463296232581809800236074711223948530238412361961278327237518826066955108807005425366319135656445028017705993009674318994479117164195265658095284158962913031740919103264023330518669962372377768035201097948101048070089184218266529696684678964017786586193619643364024207929802066242472716260032973163217512630038630031679802334584495057232165458920553768308692670372420186190225704119396283742740359298301129927708691946428762114126215310986771191760082079032042963581228551570408377819415291065783591801984280448795412259223654084397973805442248951470036066867/295747845649982039213786323559257782507248455347240704937186609282443819227103870092746080744844873244414743044130895585316242456162913300061415836717054308768246752284427403117087134474205030002066852721384809874259303845908955385995016803721056486748993615250270008729058938363128176968078356511036497679552560431327346208142517992640391242272995851338428954190063615253009735822759295267797465824224270512296595885753174778940623228901088986214968114433686381843588760581001417844875850019113650464959408501340677751541272572268013852512788393791290624630138566501376216997786723542283224521105444441926222381900184782599558797737977934066430467116168894262175099321528361334637233527996910285739188296360437201796977364422765636361573474969260412067171016806380188330784963237959934452675829280*t^50 + 4823645421674747451172787512729000179562680262204808164661600224459159743923322017437829518862841413202088397208217008376924900974265509318813977906330686529500952687992034581195136600131665023116271597227195033483264769963223357655285155945208181007712269716233750081557185109383880101757770207277430570589738217651874408117087184904005420026592242450009663151516360603993402640335460316918151253312745434185774368120721511746534685121629543033113553022451863889278304161901765743439189923961515889693635949686517208022405365929577746131702276041419790230477062702783086560282567365460068468079235967925003296157133627254054200209069127739807406122980359869628821520175682568669257181438690685085014723590939567444237097196957969460109656833582528427651035165689846687169507505703264417026730819852001724963254/9242120176561938725430822611226805703351514229601272029287081540076369350846995940398315023276402288887960720129090487041132576755091040626919244897407947149007711008888356347408972952318907187564589147543275308570603245184654855812344275116283015210906050476570937772783091823847755530252448640969890552486017513478979569004453687270012226321031120354325904818439487976656554244461227977118670807007008453509268621429786711841894475903159030819217753576052699432612148768156294307652370313097301577029981515666896179735664767883375432891024637305977832019691830203168006781180835110696350766284545138810194449434380774456236212429311810439575952097380277945692971853797761291707413547749903446429349634261263662556155542638211426136299171092789387877099094275199380885337030101186247951646119665*t^49 - 64812073710031911037773179245330211070060882611776172190496132726617637591756850563859849469595583977610851374683066510677138030136462865611481331526674740548763117230260714699527601607014534413859109436123847968358635487708060463784183946882760352386778624608925178477628867500040799771967480968101214595637379980290390865619423068577423062811895082323498006821160423409256035311291757002706274780612040876001104534597765735648932126348019811409243017923918274746044666091041690714115230270688677505440350255656631092566738856408610530456528524279336660546014225900849000260849161065382153965168839496082565068920662177891557448254576941375026536094214315938386197782803796869568724089498463031912279625590875997818232919969929140360568798011018589548113392464151000303477606560950045152351758856674023048030134799/369684807062477549017232904449072228134060569184050881171483261603054774033879837615932600931056091555518428805163619481645303070203641625076769795896317885960308440355534253896358918092756287502583565901731012342824129807386194232493771004651320608436242019062837510911323672953910221210097945638795622099440700539159182760178147490800489052841244814173036192737579519066262169778449119084746832280280338140370744857191468473675779036126361232768710143042107977304485950726251772306094812523892063081199260626675847189426590715335017315640985492239113280787673208126720271247233404427854030651381805552407777977375230978249448497172472417583038083895211117827718874151910451668296541909996137857173985370450546502246221705528457045451966843711575515083963771007975235413481204047449918065844786600*t^48 + 870868791784582953423889381910183991786225219263190535465470376584695334472327192778903701718231866975917126203667013075856073225577803280713411410667328726859107972135413318468368198520688210193543184832717817295199835837144395166379393344506471993302442616261987080321294648384548933020701357840553177404563421670845332500024697146928281225748800276372826614592105040701049150599897356143825889369825537344175015261670225959962865331587587463078369009813360528858651586827003494569052888075326607191823361073147785916830157885243558968556361518246067468210415382735344675620170682697173855838242635378295221591647671922385374300558500415065606882976612632825616545268890277394699269920702258549013410924468036340233590691814681598411716355696771843687793067285001071492307990810883337909248112794486755484217158497/18033405222559880439865019729223035518734661911417116154706500566002671904091699395899151264929565441732606283178713145446112344887982518296427794921771604193185777578318744092505313077695428658662612970816146943552396575970058255243598585592747346752987415564040854190796276729459035180980387592136371809728814660446789402935519389795145807455670478740148106962808757027622544867241420443158382062452699421481499749131291145057355074932993230866766348441078437917291997596402525478346088415799612833229232225691504740947638571479756942226389536206786013696959668689108305914499190459895318568360088075727208681823181998938997487666949874028440882141229810625742384104971241544794953263902250627179218798558563244012010814903827172948876431400564659272388476634535377337242985563290239905650965200*t^47 - 8225409968179586828776034166174271558555092304181005921932945514656983409179430978433119132975248362312805573278074122491736184568680563468155348619329110901977742250234150358084002702840303399382057637659621246872121415202625558090846760445752387272243098772918113096086249338311330891117091960495955036332615842478312857284472712856142530955333292072978356668389069406739821802312202319892947925579077030839101645748295613887041382151660157877896589443218589977493210266449871606930970011222406545352473642266456497104342126291592175702642345583107332913073644177299338315100828857120855412666473183788587469921269083139492777746686334599337872798852836099067149220608403358441649796150427212357428631998610152822087598846202737311116700351104510151649477715292358346909773304201247690594814752983655116917330557889011/739369614124955098034465808898144456268121138368101762342966523206109548067759675231865201862112183111036857610327238963290606140407283250153539591792635771920616880711068507792717836185512575005167131803462024685648259614772388464987542009302641216872484038125675021822647345907820442420195891277591244198881401078318365520356294981600978105682489628346072385475159038132524339556898238169493664560560676280741489714382936947351558072252722465537420286084215954608971901452503544612189625047784126162398521253351694378853181430670034631281970984478226561575346416253440542494466808855708061302763611104815555954750461956498896994344944835166076167790422235655437748303820903336593083819992275714347970740901093004492443411056914090903933687423151030167927542015950470826962408094899836131689573200*t^46 + 804130041243650466977014114061009289968681137475705235110094911226887878272467549712565463932577530937461934901351289480579083085307044890914891746101981196726632861255268055611519220946441179699377651190349702527832201252973217120228582355929355835935896256776696559437211080595329804180354905019771351224089133008840839672167413761930054877471452102306321482235709581831476099578064226596589570570537699048836549842018841473862962171433253848145540076035067068223031280304446186371625220037353672264395698560734054529536900913070965848125133274689036370580149298337895117978903423062294294628350213229966857557233851780792062341215530867787664116413896311410266135170178419576413931808538916304485971685025471756388014005300037818086522959266265573699418534547714954850387862855186207056262197879488523516665656770700911/369684807062477549017232904449072228134060569184050881171483261603054774033879837615932600931056091555518428805163619481645303070203641625076769795896317885960308440355534253896358918092756287502583565901731012342824129807386194232493771004651320608436242019062837510911323672953910221210097945638795622099440700539159182760178147490800489052841244814173036192737579519066262169778449119084746832280280338140370744857191468473675779036126361232768710143042107977304485950726251772306094812523892063081199260626675847189426590715335017315640985492239113280787673208126720271247233404427854030651381805552407777977375230978249448497172472417583038083895211117827718874151910451668296541909996137857173985370450546502246221705528457045451966843711575515083963771007975235413481204047449918065844786600*t^45 - 5398927382278737451115722482450197081169602977995863392408129875308562616891616648934995654214858532297537859395347519351844639044702824110129118217033942403221426776413119491793672743295676009487418915976179334096677361012272197520483423138608470651477232063794522379177688930796602943117170973180826720623956046040873053711749516917282794910077730282905800165445294506902567030377716362263675957805078161295290014471355558417021600866790915130226413121087813483755782632227337419913037110018075727511204519908130183526776896519139866438408558295384738579715932441632929331005470539972032287116978176132204592068652930807659357356019169276002015450705319859007300002200220623057697746101799188043099238218146722309799034154786589888406273951194683837496743982159268603422111405140096202278238711115628090183848952840126223/14787392282499101960689316177962889125362422767362035246859330464122190961355193504637304037242243662220737152206544779265812122808145665003070791835852715438412337614221370155854356723710251500103342636069240493712965192295447769299750840186052824337449680762513500436452946918156408848403917825551824883977628021566367310407125899632019562113649792566921447709503180762650486791137964763389873291211213525614829794287658738947031161445054449310748405721684319092179438029050070892243792500955682523247970425067033887577063628613400692625639419689564531231506928325068810849889336177114161226055272222096311119095009239129977939886898896703321523355808444713108754966076418066731861676399845514286959414818021860089848868221138281818078673748463020603358550840319009416539248161897996722633791464*t^44 + 981196916721871602142928309907098574008700718161633718127271668035339811122878301220645915266440969485306952930778198070933678845230653159603211796508060300529698699858318760913130124582861657107187967218662053904708425577525686107594022139678215279429316143649840315619104643771997813409747955723740105241646626867663103203304704697772010542380935783538034468949858757101638414267859817556692274325440208520723248335900167364824727276047308620086149308737914616524033573358325509173555895181693715191192180388712629425584166894430554295210284429848016583995252429837453367109260162020678943497235128642757517527483800530828333757311576054524163455358404850396059346961982971761109122019374384405910116095412635682138894826175688338299843912759774209603995237065832215342564300930930600959096983928474974027646061867454656259/18484240353123877450861645222453611406703028459202544058574163080152738701693991880796630046552804577775921440258180974082265153510182081253838489794815894298015422017776712694817945904637814375129178295086550617141206490369309711624688550232566030421812100953141875545566183647695511060504897281939781104972035026957959138008907374540024452642062240708651809636878975953313108488922455954237341614014016907018537242859573423683788951806318061638435507152105398865224297536312588615304740626194603154059963031333792359471329535766750865782049274611955664039383660406336013562361670221392701532569090277620388898868761548912472424858623620879151904194760555891385943707595522583414827095499806892858699268522527325112311085276422852272598342185578775754198188550398761770674060202372495903292239330*t^43 - 124458877988855602829465666547818407453353623282749752056766891051467128460553808780861010357460850889715197124857544545035948169930555964251065392027323216807463562904845948580551296586869859963645797770751882447257124926962065801172787872831780338641486535628764020666164891076266388908953916439524077010798127382111277381403428948135394679557819764971249128855657871358376369587024579762921594657158666903917518263855804869911564337436022166530682417961786782998373858133337961234402786262660443459304075866439882585019328659506084735615840532386975317938292872119590912432468431605382192793005113205628996472449816607299711321567203083234895785926485946382891410694950352080950820015624858837186172669820999795821268876798781277649919460973491560998686751420829933025385278172359906732311762659169691935907561174382026100821/18484240353123877450861645222453611406703028459202544058574163080152738701693991880796630046552804577775921440258180974082265153510182081253838489794815894298015422017776712694817945904637814375129178295086550617141206490369309711624688550232566030421812100953141875545566183647695511060504897281939781104972035026957959138008907374540024452642062240708651809636878975953313108488922455954237341614014016907018537242859573423683788951806318061638435507152105398865224297536312588615304740626194603154059963031333792359471329535766750865782049274611955664039383660406336013562361670221392701532569090277620388898868761548912472424858623620879151904194760555891385943707595522583414827095499806892858699268522527325112311085276422852272598342185578775754198188550398761770674060202372495903292239330*t^42 + 6926445401449121882199992926577997865927788074185033814067316099740427041129455940892208877654647088397272285664412671196966868133510499740005932233240894053584774967991485806682445969232697427404198146810018740435946609837121678683699368410279639000437951749810294271989567349469521726762545595971589862214321604482530088753340896103598974180666978415328210910207470743013972600658275180850973007853935593530263057840705014276820694780912971419829671725938730972928510327672375718713802351385948294454988779548586227210173391751451154951994256675213605137371245254345770700535466222302792142083358720931661160577016177687310947315844089553932679401131901729321341129471939560438910248127450480976967506328879145349958347919125133298342720773043756304886279256783814102496476342034128571242571926020176706149156023500695974325059/9242120176561938725430822611226805703351514229601272029287081540076369350846995940398315023276402288887960720129090487041132576755091040626919244897407947149007711008888356347408972952318907187564589147543275308570603245184654855812344275116283015210906050476570937772783091823847755530252448640969890552486017513478979569004453687270012226321031120354325904818439487976656554244461227977118670807007008453509268621429786711841894475903159030819217753576052699432612148768156294307652370313097301577029981515666896179735664767883375432891024637305977832019691830203168006781180835110696350766284545138810194449434380774456236212429311810439575952097380277945692971853797761291707413547749903446429349634261263662556155542638211426136299171092789387877099094275199380885337030101186247951646119665*t^41 - 16577807461526859691540671014774469034014101510167130670772457145808072684200424366137333444984872233314974937760465047404163959112538584435253545147167763588423625612790845822712689729009972449498406568229333189083690625886573639379115120014555341461467795764211541792688506564629931901576155715403693130011034554831961613309031952471680432949045691430135340749498444470281111695357287594719438669816067035319847680804478154575946796961315766371525780015611779119358293622957805902339281044482012341690895862610157461542670680775621666765570001575446469860420480100856970682897119502135326695947059808578995770258556077206816685774589818421935216571967581007000636899478656335868048760477953185800835229462730157439206457782030154854311272476662357073945480058267006038329654114349419272439049372886766196882288608192410238845303/225417565281998505498312746615287943984183273892713951933831257075033398801146242448739390811619568021657578539733914318076404311099781478705347436522145052414822219728984301156316413471192858233282662135201836794404957199625728190544982319909341834412342694550510677384953459118237939762254844901704647621610183255584867536693992372439322593195880984251851337035109462845281810840517755539479775780658742768518746864141139313216938436662415385834579355513480473966149969955031568479326105197495160415365402821143809261845482143496961777829869202584825171211995858613853823931239880748691482104501100946590108522789774986737468595836873425355511026765372632821779801312140519309936915798778132839740234981982040550150135186297839661860955392507058240904855957931692216715537319541127998820637065*t^40 + 287941090393347956133585214793828004683842462969480660767588089029302314123256815982438160576110732170844935415841647506582889951992438271160161928052986353857908547887134505559427974486163845346872498810246889756081467720040525006547403310324880284218634202185801670870593920450967509886769150466580483582648795935612206272211283723974700484901886563822333962975142145565867113468866242898853767361499950258286969025984099586846525591023704592893037435391387040284071467092081601041411676711819994661264583968063835900732198741433057472790621301516092223867872860435369597473023793111159806990968482575456315774077041807629781830287778445366918654528097088437094420436595982487330059833484620592601123460789794857764752673167366212492339274192922342955544804958075022299996099819553732177642749952176221572877676295230579668353240/45083513056399701099662549323057588796836654778542790386766251415006679760229248489747878162323913604331515707946782863615280862219956295741069487304429010482964443945796860231263282694238571646656532427040367358880991439925145638108996463981868366882468538910102135476990691823647587952450968980340929524322036651116973507338798474487864518639176196850370267407021892569056362168103551107895955156131748553703749372828227862643387687332483077166915871102696094793229993991006313695865221039499032083073080564228761852369096428699392355565973840516965034242399171722770764786247976149738296420900220189318021704557954997347493719167374685071102205353074526564355960262428103861987383159755626567948046996396408110030027037259567932372191078501411648180971191586338443343107463908225599764127413*t^39 - 22199455373785095225418015052025816577864959444727944910332217525802167781920165381952983156815386955297943083141291617486962176514450189200272868046735008550138644802177706677849351926226240238923883542735974384219430365735205168643213982045367872287106035374801441553208997061544900466060277582810981033220385891632304602639908676623966310910350571513378846068647846781408207244239505934169932250433084062732706842659220677152005175282801132875628324497789944869899187578003148317291450252308693099754995401011694701289212809470985945314549353203708388001000062299315609896775318259566032661500483152398327966277574659052459934494227821425862567616613111419489942224969574442909233190171324918210863499347698873914313224181668284270219457590758789272727641246590911341929528419897182168267754102861271898096470480286319554453612296/45083513056399701099662549323057588796836654778542790386766251415006679760229248489747878162323913604331515707946782863615280862219956295741069487304429010482964443945796860231263282694238571646656532427040367358880991439925145638108996463981868366882468538910102135476990691823647587952450968980340929524322036651116973507338798474487864518639176196850370267407021892569056362168103551107895955156131748553703749372828227862643387687332483077166915871102696094793229993991006313695865221039499032083073080564228761852369096428699392355565973840516965034242399171722770764786247976149738296420900220189318021704557954997347493719167374685071102205353074526564355960262428103861987383159755626567948046996396408110030027037259567932372191078501411648180971191586338443343107463908225599764127413*t^38 + 1523195221267570113754397024364065664914129430455335171817210583403967770384577667580862957310899259342081596176537157820419725928229340953250709573261662430673450992205434136037615735037698200069480529117593982947840896998520365785583020929214070128238160545487452456828646908479054910201155208156273772446464647575395736131848805122066283070716953531428882535563031747762304356442011905226138909960561364570629627341540614338221219304580990062523232272673436262498334255345386004069068942430773390492307412013642691205791474842950171048526982057016981425108527185846603971476384009227280363432585399302138515673870587635820099712924490269392209937732868934524996492680188272728697568516097934524963659465074363100511303727773190513565606456533654020012315151664566652293837187973501549577828319697121967903265476517271073599147500944/45083513056399701099662549323057588796836654778542790386766251415006679760229248489747878162323913604331515707946782863615280862219956295741069487304429010482964443945796860231263282694238571646656532427040367358880991439925145638108996463981868366882468538910102135476990691823647587952450968980340929524322036651116973507338798474487864518639176196850370267407021892569056362168103551107895955156131748553703749372828227862643387687332483077166915871102696094793229993991006313695865221039499032083073080564228761852369096428699392355565973840516965034242399171722770764786247976149738296420900220189318021704557954997347493719167374685071102205353074526564355960262428103861987383159755626567948046996396408110030027037259567932372191078501411648180971191586338443343107463908225599764127413*t^37 - 93196658985307269912544811811067046518889134120826344367850016340726556026469681626292840241406696586015171516346028986786849305022051830814552856476385859571657590232024638053593552422464404638120709978025472417080146821895207297089468362975674500761794779836336748204480181007995914674513341781643138151543040443012346963348623052624981609418614588086262387436265362479543848077249938570501756841909700649718982382588511679033744856173652658933385717381238249269919246942406526800792013511282035579861650436713902016758137056615059923251031461640541792192176517620232354662398380048511213982092944210231069062302266681581647788870648408754910257401630784066380833316796837355929623718483831921861637433065223549303425204874467833500736800933964030447477018583189306275898744721890596226348484219831466555828898850208776283914824800912/45083513056399701099662549323057588796836654778542790386766251415006679760229248489747878162323913604331515707946782863615280862219956295741069487304429010482964443945796860231263282694238571646656532427040367358880991439925145638108996463981868366882468538910102135476990691823647587952450968980340929524322036651116973507338798474487864518639176196850370267407021892569056362168103551107895955156131748553703749372828227862643387687332483077166915871102696094793229993991006313695865221039499032083073080564228761852369096428699392355565973840516965034242399171722770764786247976149738296420900220189318021704557954997347493719167374685071102205353074526564355960262428103861987383159755626567948046996396408110030027037259567932372191078501411648180971191586338443343107463908225599764127413*t^36 + 5092573093895398339688960982320304307901705704726435781519434348991025465241376513351943199865430665435357103647755555364348559524025163687198560275912744340278054657328473205130284574757908478329409912688450267479685395698889820077520784810375399733343820148007273459894206861616972801718438838072423806168005672884577053642228891778420960010213846992078195896109257196840470935298910135815531276583054889600090508820277750774489601904174913983014189123301207030889109532374888925569950176380000316745415682582781076707408212541236604301044745518089314360734805457752538180869091408200799485999694954460467043495231895863162422246183998723918445066349993911007665444275421483720333403156053806519880836282275473668646941599593070237659078935623191756932498394593073608366459918924685848763608970283816102168851053981673044710497876314304/45083513056399701099662549323057588796836654778542790386766251415006679760229248489747878162323913604331515707946782863615280862219956295741069487304429010482964443945796860231263282694238571646656532427040367358880991439925145638108996463981868366882468538910102135476990691823647587952450968980340929524322036651116973507338798474487864518639176196850370267407021892569056362168103551107895955156131748553703749372828227862643387687332483077166915871102696094793229993991006313695865221039499032083073080564228761852369096428699392355565973840516965034242399171722770764786247976149738296420900220189318021704557954997347493719167374685071102205353074526564355960262428103861987383159755626567948046996396408110030027037259567932372191078501411648180971191586338443343107463908225599764127413*t^35 - 248801548462349435279298481358301843806466517753214538721055932405742237613245835114421139546580262501254889007416484510033925916027615911822306330870356977699265863024911283060854232736777956775662778983561329213205307672262570099182327621170553505467803364114611561541668398683753146210602042542955034160543927273862261345448278182523605733269768346643872220113286097733721117886726293903072086949621310660924600622238443623354765384746347882470417529424640605436714977121138112011375646385795079564151909454979227846627408226555432200555282597429821428431901653448523079334422407930426840885827472535371368291511259022122527659115484031033428640461155799960609464680955995674553192857004287404936040070633041823267401214928132701612713010740416443613533732687555066875444588864456191027220502521777440398924102233586903034056669167214400/45083513056399701099662549323057588796836654778542790386766251415006679760229248489747878162323913604331515707946782863615280862219956295741069487304429010482964443945796860231263282694238571646656532427040367358880991439925145638108996463981868366882468538910102135476990691823647587952450968980340929524322036651116973507338798474487864518639176196850370267407021892569056362168103551107895955156131748553703749372828227862643387687332483077166915871102696094793229993991006313695865221039499032083073080564228761852369096428699392355565973840516965034242399171722770764786247976149738296420900220189318021704557954997347493719167374685071102205353074526564355960262428103861987383159755626567948046996396408110030027037259567932372191078501411648180971191586338443343107463908225599764127413*t^34 + 10876215826384166234341724902535359458188648883457250861206019724620577821009084212018656864017060019716283721410416119512684359251688233054354403789764760022846485016885778706788824619826584415394476012296427157856115381239327772668769590822687919000550440427056276554712004616923351702711731270971527105038127854802618165123407695470337500980785619333562759365218644010790107853363809893044891619989411201210896707835535700708748626282603889093400132385532838533021229364333219564877738475337472696824019221728393251118641360553701720349457752540082429400806228906243879886687113776459423344100743295443892703820335363048676687780146470077395802066669654972201531198407473782049758932880296607910491909370043600226889503843517296802076250202842658574580234814002639530630999669288209036425525517887937262999589708969850668133595668585688960/45083513056399701099662549323057588796836654778542790386766251415006679760229248489747878162323913604331515707946782863615280862219956295741069487304429010482964443945796860231263282694238571646656532427040367358880991439925145638108996463981868366882468538910102135476990691823647587952450968980340929524322036651116973507338798474487864518639176196850370267407021892569056362168103551107895955156131748553703749372828227862643387687332483077166915871102696094793229993991006313695865221039499032083073080564228761852369096428699392355565973840516965034242399171722770764786247976149738296420900220189318021704557954997347493719167374685071102205353074526564355960262428103861987383159755626567948046996396408110030027037259567932372191078501411648180971191586338443343107463908225599764127413*t^33 - 425596417638723619715730874972590785561677453832441075573451022772908820522888520803832573600588658520864617965970579002306055094175733218647886810300680001624505511881086468107509604166898083227571737373265333513517535707956446262613492216565147290613888318349015081051802131080214271365460625450783916894346010997517621193049935799040103318962663755252892371855631625349958786321679903387179095533798370300401406367953991828804235009070886979955943485814478536322860476350731303097614642372270959496777951376809245933651089364183799994391974665647337248631421461770552690662564488902551867371660012490395235244383268064971749382065452484648768911846108070191018114920470733593719173201506457471145853765409471247931994890112303392799963756579676242824910430638749723492661131659102680253224534272390581776671340064328951665477190794286944640/45083513056399701099662549323057588796836654778542790386766251415006679760229248489747878162323913604331515707946782863615280862219956295741069487304429010482964443945796860231263282694238571646656532427040367358880991439925145638108996463981868366882468538910102135476990691823647587952450968980340929524322036651116973507338798474487864518639176196850370267407021892569056362168103551107895955156131748553703749372828227862643387687332483077166915871102696094793229993991006313695865221039499032083073080564228761852369096428699392355565973840516965034242399171722770764786247976149738296420900220189318021704557954997347493719167374685071102205353074526564355960262428103861987383159755626567948046996396408110030027037259567932372191078501411648180971191586338443343107463908225599764127413*t^32 + 14909606857474986504980599711017095273122132269411147664763621267553118003979258471842014373640299885336087020892476335196695764878624665267720647496334076186179404718074003674219490705090468380776268756327601158238034530160608050921749111133505109610698504938311218229578956375487407370375277482933678647759159829081821456162698756409640136077903178453705392610425950082203051209839166263101070611292950025555805045813311622871944944956274094879007199112626367313064449178132313407455528767272449644324419953797283588368712067583646923420999274727482847015452635088517779108820277504646900120803593160500522818531656376583880771447431792044441222775758250299268586599868097797939478231784629846287301500787083162423702557123663770934673738926723799428694499074782655602426285068463547584470691019384802597521097730255346966170036577735703224320/45083513056399701099662549323057588796836654778542790386766251415006679760229248489747878162323913604331515707946782863615280862219956295741069487304429010482964443945796860231263282694238571646656532427040367358880991439925145638108996463981868366882468538910102135476990691823647587952450968980340929524322036651116973507338798474487864518639176196850370267407021892569056362168103551107895955156131748553703749372828227862643387687332483077166915871102696094793229993991006313695865221039499032083073080564228761852369096428699392355565973840516965034242399171722770764786247976149738296420900220189318021704557954997347493719167374685071102205353074526564355960262428103861987383159755626567948046996396408110030027037259567932372191078501411648180971191586338443343107463908225599764127413*t^31 - 467528780302714586287462928704042582355154182087715690279538405297788060541422908123453934898792408431639618688167089628271111580878993148878444548467105627582123228273034246235152245610779318157971858197908849075842637040332259308257858538243352729637309670900000195163652921191614379031289446572112694929536520970858168762553139600603243037332723439204094452820131164851271180218710381646497393024559612611719237438465968145586728887212719020901770713747533675319508888028608285594829772976036190566734735946218094719445790659345866807078307943168719454439080660589292216301850348668288631929046542340311293921021831222556141230605256485192960866195266095219761276950953491997009391743365391083899702127785233072930290558674434838821780854882662178090671371576089527299899932432360598084029227505054848233293307195329262856265314453322818723840/45083513056399701099662549323057588796836654778542790386766251415006679760229248489747878162323913604331515707946782863615280862219956295741069487304429010482964443945796860231263282694238571646656532427040367358880991439925145638108996463981868366882468538910102135476990691823647587952450968980340929524322036651116973507338798474487864518639176196850370267407021892569056362168103551107895955156131748553703749372828227862643387687332483077166915871102696094793229993991006313695865221039499032083073080564228761852369096428699392355565973840516965034242399171722770764786247976149738296420900220189318021704557954997347493719167374685071102205353074526564355960262428103861987383159755626567948046996396408110030027037259567932372191078501411648180971191586338443343107463908225599764127413*t^30 + 13116804413329519267531613879918835275436147227862172213066192256095567518751137061944797234891419413052186436256490882854155213051265222108121299564420578672027126347327502599272330538327485230440306880658440832596284273392807180177114142005813069399308471101901898661848805740142089433144974695907629851952527762071618586412720610340579101925870428799220949585075248842444290695416955659063635739598460599350274819994529450074083733006006433067162927013982577050177201464673986130690015598998700589047812561089819913191822536649664666332228773372134467644589268296342285159333311214855463576186619297633590087671711488504227829113090664523493888586620786810608507123284187441051830839199710330528031911151052916367157229636320032314922019341823396656800029016217626389462141568960198577844650067783735392139240782916327821443435770691596797952000/45083513056399701099662549323057588796836654778542790386766251415006679760229248489747878162323913604331515707946782863615280862219956295741069487304429010482964443945796860231263282694238571646656532427040367358880991439925145638108996463981868366882468538910102135476990691823647587952450968980340929524322036651116973507338798474487864518639176196850370267407021892569056362168103551107895955156131748553703749372828227862643387687332483077166915871102696094793229993991006313695865221039499032083073080564228761852369096428699392355565973840516965034242399171722770764786247976149738296420900220189318021704557954997347493719167374685071102205353074526564355960262428103861987383159755626567948046996396408110030027037259567932372191078501411648180971191586338443343107463908225599764127413*t^29 - 329009971916147821956844173403643672561850313284065068538452909085042047696979226877674630031705068441824152814557570341312584884946773499534032860101649069174662823549823846814003947366019806015206447769260529188560150706443050195582595772872889604483853971997446633960433017261756243539801571151923387017602063903928421791231209309261801455770577177057107118321065528299582758657128031802844241539382425383798062682082525312617571304439712721642921708369963494839251400707828710665698247676414173831839796163489135280509774428092478215030336279385366405505807970624892304660805772592025472145391093891467311327335982782208380954590127804393100649604341555588184027678314984287635733067469946987261479249435853052625259021732165202027709594532011332416065063312818102056109126477712037556541165530976608451826292648384937517542652433540942877900800/45083513056399701099662549323057588796836654778542790386766251415006679760229248489747878162323913604331515707946782863615280862219956295741069487304429010482964443945796860231263282694238571646656532427040367358880991439925145638108996463981868366882468538910102135476990691823647587952450968980340929524322036651116973507338798474487864518639176196850370267407021892569056362168103551107895955156131748553703749372828227862643387687332483077166915871102696094793229993991006313695865221039499032083073080564228761852369096428699392355565973840516965034242399171722770764786247976149738296420900220189318021704557954997347493719167374685071102205353074526564355960262428103861987383159755626567948046996396408110030027037259567932372191078501411648180971191586338443343107463908225599764127413*t^28 + 7370820403505439707385529429566292277829632726445245760593590562946606671018093607470879744477986446028552158620187417630351548574918025577142006784753783022590108242441570153644288683587537548107255865665340567316137868364015585022545982375138094940863802129035256443545255603450338577554599693192504055922862257587557794763437219148376546415406861160264042516180277559570396012047106734681130141802651988902257692340784915980352553408618907405288557273356030764200077525065871440016380763242496193491032955358181386018763256119943507807376245607785637535854894669237815842555112313018195687067520254495731247275848062654763663509667220333883173523725487786634163781282480932164864754701829567483903309124269522523352447472225729201668054838208165231150625234323727475919603045296097270429165240047892231317422549187027909108673862331034973426483200/45083513056399701099662549323057588796836654778542790386766251415006679760229248489747878162323913604331515707946782863615280862219956295741069487304429010482964443945796860231263282694238571646656532427040367358880991439925145638108996463981868366882468538910102135476990691823647587952450968980340929524322036651116973507338798474487864518639176196850370267407021892569056362168103551107895955156131748553703749372828227862643387687332483077166915871102696094793229993991006313695865221039499032083073080564228761852369096428699392355565973840516965034242399171722770764786247976149738296420900220189318021704557954997347493719167374685071102205353074526564355960262428103861987383159755626567948046996396408110030027037259567932372191078501411648180971191586338443343107463908225599764127413*t^27 - 147296327452287195672573178475048404362185065533570777156005177936622793031811457253246386844263767840217257949566426881131132054211558218489384528255700563727232675726442263552152739708565846184323106822229192315555305703839180070062251067673409070664157128547926183756114332438279278222103966909006598596193595919924639527930958059577799686762224613626001159249085740707399647132250353060831925080405726520394134600666812934263846789155135327327007150604399351751161871500007459834588281587971174193422771432147446644662555398941865122142512007829676639283314614803068902567046228692132698402035148918020229926100606915871513926532172307517816901231882835881375857742520936870029867373054925894821396489996163753927487414447560119222686644891382393634228266878600158736177021203873810974688613737207078990668705479323320073551935852881548604406169600/45083513056399701099662549323057588796836654778542790386766251415006679760229248489747878162323913604331515707946782863615280862219956295741069487304429010482964443945796860231263282694238571646656532427040367358880991439925145638108996463981868366882468538910102135476990691823647587952450968980340929524322036651116973507338798474487864518639176196850370267407021892569056362168103551107895955156131748553703749372828227862643387687332483077166915871102696094793229993991006313695865221039499032083073080564228761852369096428699392355565973840516965034242399171722770764786247976149738296420900220189318021704557954997347493719167374685071102205353074526564355960262428103861987383159755626567948046996396408110030027037259567932372191078501411648180971191586338443343107463908225599764127413*t^26 + 2621540799130326207433368816283511643793297149322079351803513053016482678876744639732386463256241218797365738517362215067222654094243250716458343651779374919326286469000799886837729955499816558430192105184829658856537109913663216446492116892654758534790816633185021256497248348509450273906208838726604743230546004170204781077943592059988843661927744289435517193541968963291545029450175325300015194905205042402664709115024463685978229877020127477740226032179722532583118683702850182204908003780511885708560793966942112426096523405085145691979282585498818448443037002990610630481165229155356128483254066035718181118323623949716887753795222943967733315833476015089354923013456312611606065015129400800061837882484926973190126239369234732547515558313719524595176817243002900594787064216431699791197176973093906924424012943281802898888107081968216820708147200/45083513056399701099662549323057588796836654778542790386766251415006679760229248489747878162323913604331515707946782863615280862219956295741069487304429010482964443945796860231263282694238571646656532427040367358880991439925145638108996463981868366882468538910102135476990691823647587952450968980340929524322036651116973507338798474487864518639176196850370267407021892569056362168103551107895955156131748553703749372828227862643387687332483077166915871102696094793229993991006313695865221039499032083073080564228761852369096428699392355565973840516965034242399171722770764786247976149738296420900220189318021704557954997347493719167374685071102205353074526564355960262428103861987383159755626567948046996396408110030027037259567932372191078501411648180971191586338443343107463908225599764127413*t^25 - 41476249993809796046785485804979058706451067266642202801703238604959443036677901933717068103899369848155269360126811026868438468526781570961522080155084405013988844011244023000747001002638310942675844993450912248873171638601297474819730128562097400022737362517574726353867809806701705580615273196343471241168480453552449507550103973474426299560424570638887095893644607305833334990051365086656310627185828139669446041107541043152538665869289758684443393177773696499404419102521100234724537110757603683138621897800541505976605465946223727912592369896339629861255288520251468272904370939547191102055028835327606777606456185720208940442458934812540590310409513785538573739663281278126180554007445091634520474212787823993093399992097568822378032100754855700748717432389946400918049982341408883714848887371832327138585896039714562758431511736814058281779200000/45083513056399701099662549323057588796836654778542790386766251415006679760229248489747878162323913604331515707946782863615280862219956295741069487304429010482964443945796860231263282694238571646656532427040367358880991439925145638108996463981868366882468538910102135476990691823647587952450968980340929524322036651116973507338798474487864518639176196850370267407021892569056362168103551107895955156131748553703749372828227862643387687332483077166915871102696094793229993991006313695865221039499032083073080564228761852369096428699392355565973840516965034242399171722770764786247976149738296420900220189318021704557954997347493719167374685071102205353074526564355960262428103861987383159755626567948046996396408110030027037259567932372191078501411648180971191586338443343107463908225599764127413*t^24 + 582066520279070158003519254833837031447020923056113875393326646783049487361005325214253165262004100159822530486359934138137191861803024920628419426360006543574755389490284699993717472951383622028056758053018068845096371456852676127541099408747557301024532352593071865222763825561095827439972532028771228145156897304048134166703481726081192744272112673347182572118689222135155681252181469234075667591008624335810152905928414295161245629750409320501365159943373240537558416893890503914699793151803868172630764014036530707223819924658645499295241424747667898494024179985939368635051003722457678798476949916443595925336247334936024022779263119583744043964623095361701884113838408057516412660929783078304743355055829147785622623626081241647774034824348509888727176316327474229498763305139935409245438142882286486872489094306009857112046244005080644572282880000/45083513056399701099662549323057588796836654778542790386766251415006679760229248489747878162323913604331515707946782863615280862219956295741069487304429010482964443945796860231263282694238571646656532427040367358880991439925145638108996463981868366882468538910102135476990691823647587952450968980340929524322036651116973507338798474487864518639176196850370267407021892569056362168103551107895955156131748553703749372828227862643387687332483077166915871102696094793229993991006313695865221039499032083073080564228761852369096428699392355565973840516965034242399171722770764786247976149738296420900220189318021704557954997347493719167374685071102205353074526564355960262428103861987383159755626567948046996396408110030027037259567932372191078501411648180971191586338443343107463908225599764127413*t^23 - 7227373766117603931385741310495776910246299092807732740585708106756374103401900507911788420524114334604556661687607841630887775182039447904549960279799662379264424540014348767779700650379858900101794926476278808830399425331245003431684154001586558901021902132853987369523364987080418412994422741698004031990659499002406131086031937234250880320754533867202738401657570490109407441773560777303727485788801959362435677733552100299088863698259091587886666952887546453889169277740083729670933461178382107513631164756635056254957314328105499673231288773625460690289511224112177404755763503889344154758476670063698493421358127715019347795555430257987175676698104424738527806233806166889062269934380370091527955199995532714323364190047505801377397809754360540660877038585923959029164294871443994307632510447465807099862106142191601054856896361085288696064901120000/45083513056399701099662549323057588796836654778542790386766251415006679760229248489747878162323913604331515707946782863615280862219956295741069487304429010482964443945796860231263282694238571646656532427040367358880991439925145638108996463981868366882468538910102135476990691823647587952450968980340929524322036651116973507338798474487864518639176196850370267407021892569056362168103551107895955156131748553703749372828227862643387687332483077166915871102696094793229993991006313695865221039499032083073080564228761852369096428699392355565973840516965034242399171722770764786247976149738296420900220189318021704557954997347493719167374685071102205353074526564355960262428103861987383159755626567948046996396408110030027037259567932372191078501411648180971191586338443343107463908225599764127413*t^22 + 79171141474042122161795864675572891524902131555494836480176317117810643922445810493445240181387380419921364385106953587330487682016474911874447976566839347218155593362819876349958660199103286110050363212118485733026469824825894693220554147823897428350712284568837591103644875036988110642706580942833736213861112492961896464130403875992090405966405113692405422946099128439540300824813644771609423888502979183078572730737068377503116972126154006605985747044749449165758389119682750760307002370073749660614696034069138143281467207127563873184840364882691139146537976540354755959309605760824915171125116762640356563514198828689701477780387746432819275969558508003914195372675082486523081669095099344878695570025931442349360678568388461753954588023982381985490484946211838179184544515788889979073005753067208263886371714223637591357827766882399297215729500160000/45083513056399701099662549323057588796836654778542790386766251415006679760229248489747878162323913604331515707946782863615280862219956295741069487304429010482964443945796860231263282694238571646656532427040367358880991439925145638108996463981868366882468538910102135476990691823647587952450968980340929524322036651116973507338798474487864518639176196850370267407021892569056362168103551107895955156131748553703749372828227862643387687332483077166915871102696094793229993991006313695865221039499032083073080564228761852369096428699392355565973840516965034242399171722770764786247976149738296420900220189318021704557954997347493719167374685071102205353074526564355960262428103861987383159755626567948046996396408110030027037259567932372191078501411648180971191586338443343107463908225599764127413*t^21 - 762602399466930441204465664082703798402365285512274128636930908616241554397521979693319679508803027069043515311012241441792850892172490957734386878323190208586987400784069390905547970218473109646684345779971102050155808305970287998781420371040004805751015470675585378153511930563559100648442670446672253641418250198421229022771880070985177847932653587893926825542690189757788975020309671155261748976902766400452593908851453738793540960060535806352247631176841427912937218366971886190267353126560728926396697587189811642517200725214947856919201774844033351350937633336283153830269507453260675805230138912461369418151289196632005759538790229757386003746266962992168838911861523014145746295433561494085899517491840989167642473329190429299424500429477071784392323304722645662643104861424507824585912196091241755857759822362230345970778436342383926070976184320000/45083513056399701099662549323057588796836654778542790386766251415006679760229248489747878162323913604331515707946782863615280862219956295741069487304429010482964443945796860231263282694238571646656532427040367358880991439925145638108996463981868366882468538910102135476990691823647587952450968980340929524322036651116973507338798474487864518639176196850370267407021892569056362168103551107895955156131748553703749372828227862643387687332483077166915871102696094793229993991006313695865221039499032083073080564228761852369096428699392355565973840516965034242399171722770764786247976149738296420900220189318021704557954997347493719167374685071102205353074526564355960262428103861987383159755626567948046996396408110030027037259567932372191078501411648180971191586338443343107463908225599764127413*t^20 + 6434908509454830733834839045676007132592465734430474328522274803486083528401607782098758258014156768285238506354328391605860455109057721335929960870880783578758831705136284432507378855729479978513762585860878432236549994486436920023215508125049073515381821604295796121336619291641743592625017151235195974450147228386707445821881027537537628824739748422731898778339576206350674183777627312538427126168489850569058647077476468030342210933267181987061831725162477788242270533790672221073798175539441488229857802870979381161478959918878688752810047604201492505921572843017162156305274304669026858625903031356040245420786505765727290999859982038839547890086264016400553394391429268111478402739147936416064855245618593129217582642505769565168139596986980301340730918961004010204019823456347975166854686015563590851074329409200818066514628528616189778957041664000000/45083513056399701099662549323057588796836654778542790386766251415006679760229248489747878162323913604331515707946782863615280862219956295741069487304429010482964443945796860231263282694238571646656532427040367358880991439925145638108996463981868366882468538910102135476990691823647587952450968980340929524322036651116973507338798474487864518639176196850370267407021892569056362168103551107895955156131748553703749372828227862643387687332483077166915871102696094793229993991006313695865221039499032083073080564228761852369096428699392355565973840516965034242399171722770764786247976149738296420900220189318021704557954997347493719167374685071102205353074526564355960262428103861987383159755626567948046996396408110030027037259567932372191078501411648180971191586338443343107463908225599764127413*t^19 - 47363408965359704022595383943162618687166012878698596124642729101457190743011483448048454917902353678077135026038495274991489386237842363872967606790207420884022651225131806057858442927052640961984713193720727735836462881217274727171278925752865475389312547780655068545449615545929741810768145141444675419817512354596153531245596530800216082143471345739137518277634954789335627725803011407844864595176209282255575183242329834334058555459106730092068252570081229024241107180535604762640332425928101567606378111283710334238956505620079355170053210569757020756763822899812671952091700887760337599219962645439570917744751594637052737834286022839796425314985309091099953773304873323072332104538936026273342430235381057333482958743984073366930090658289992459557641330543609480719933265960609801111909713645863598495486247481583527992021180353030289808792197529600000/45083513056399701099662549323057588796836654778542790386766251415006679760229248489747878162323913604331515707946782863615280862219956295741069487304429010482964443945796860231263282694238571646656532427040367358880991439925145638108996463981868366882468538910102135476990691823647587952450968980340929524322036651116973507338798474487864518639176196850370267407021892569056362168103551107895955156131748553703749372828227862643387687332483077166915871102696094793229993991006313695865221039499032083073080564228761852369096428699392355565973840516965034242399171722770764786247976149738296420900220189318021704557954997347493719167374685071102205353074526564355960262428103861987383159755626567948046996396408110030027037259567932372191078501411648180971191586338443343107463908225599764127413*t^18 + 302611391132726776671657966143628424384887706059415196538415021225810034786172693185881743129371934122157987758640019211350619017145053414354008333888948818053175964987714462977746631724728394537407354176435077009314481584582410002150385343510172541651847073977998373623217273778911589955816541878542884517717357106458344119463544834358222176790141923445023596875192878346531813139424397838671014159102366251821019431779061388505069480152911349547210303320857934597694597898259494602555294637509902812541696726217890843836904697283230392510626049368285895289894108163804489287985586391514080985122101379860184803808503612138578759076649719421615067872892235108137514201196504586121179699729284206111633287805964227594264487293136328117387152980476030187032114315968218749049964300017609749006416234308285938436133849062943835280234770393222101527634798182400000/45083513056399701099662549323057588796836654778542790386766251415006679760229248489747878162323913604331515707946782863615280862219956295741069487304429010482964443945796860231263282694238571646656532427040367358880991439925145638108996463981868366882468538910102135476990691823647587952450968980340929524322036651116973507338798474487864518639176196850370267407021892569056362168103551107895955156131748553703749372828227862643387687332483077166915871102696094793229993991006313695865221039499032083073080564228761852369096428699392355565973840516965034242399171722770764786247976149738296420900220189318021704557954997347493719167374685071102205353074526564355960262428103861987383159755626567948046996396408110030027037259567932372191078501411648180971191586338443343107463908225599764127413*t^17 - 1668991150975526881272223799166868325007985853613311008746185929000055445754254491389284904560485978775000683352382928345754536165673421613658300418605926085987585832151586356658319666354022819678258009665662012606216343380018110805360130024877095141127720123916054575212580529028193913173219942220862362224039175461634210155111372637348876803121268618856965044970845848277644910850658320628970358339003732394127157563874082034388893040258726915932926250325300903664847868176942883669758568069179974517058108608949883658913203776754213920412864368536791004767836503263156567563633924720351417889426377133360742406830986933049058562116595691217649860010553273510965818570294997619659202121980146907780087612171924564246324426491797512057800285017970005247603225264322981331913381661094368782746658732300907290560191908927305333864318755434458789587648983859200000/45083513056399701099662549323057588796836654778542790386766251415006679760229248489747878162323913604331515707946782863615280862219956295741069487304429010482964443945796860231263282694238571646656532427040367358880991439925145638108996463981868366882468538910102135476990691823647587952450968980340929524322036651116973507338798474487864518639176196850370267407021892569056362168103551107895955156131748553703749372828227862643387687332483077166915871102696094793229993991006313695865221039499032083073080564228761852369096428699392355565973840516965034242399171722770764786247976149738296420900220189318021704557954997347493719167374685071102205353074526564355960262428103861987383159755626567948046996396408110030027037259567932372191078501411648180971191586338443343107463908225599764127413*t^16 + 7895474237066084592771253951525348212206532894647859532692824597584704104027303602312956704616845880815024765479482851441595971633391235298216033792113861156401009083231623668541507293339312962976732130758385608928867578810519327240174464439290293567777985405451505772579372439585297067488675522117216316481154438346988703183374877312492775310265250487976742437011467476865974245390234621814750434009745759593278388864771520464675626983433209062370975803588384466702732500418848906788501482272124264164702506486577974777820633476012156465680738576787312279671195206242803222769542482910307022902788563704655367967332712425164010383327446946300854039022006221285823686344698388304899542745879139732940112855522246837061061854881665536374898384518226094498120284272493755063145833238358058344962543155046692033461410465701639954308377883225898964333617374822400000/45083513056399701099662549323057588796836654778542790386766251415006679760229248489747878162323913604331515707946782863615280862219956295741069487304429010482964443945796860231263282694238571646656532427040367358880991439925145638108996463981868366882468538910102135476990691823647587952450968980340929524322036651116973507338798474487864518639176196850370267407021892569056362168103551107895955156131748553703749372828227862643387687332483077166915871102696094793229993991006313695865221039499032083073080564228761852369096428699392355565973840516965034242399171722770764786247976149738296420900220189318021704557954997347493719167374685071102205353074526564355960262428103861987383159755626567948046996396408110030027037259567932372191078501411648180971191586338443343107463908225599764127413*t^15 - 31802342318222120364956018335835862238459844659598433953732893541160933117183939525748902603532713297776805437530185469643926431492599996901714972605657373916008441186671624163266544203556779728885344297305037543850860104257306220474866771863917599139229398625081701992838811234620295757013173310514075728970142759122582013762160739945547440463647026889203644008324740602790229952562267799040250411897032200370172784350521236026919698778040171765509896963933037047563890109487762957102890005007637762546595161427942555595075999120690471600347560352020325165053358645430593353511954870339960364262149752553697693358027744047645379778624188841012816371832595493696347098627642046228056785286087771974148764280986893096971660425595857225465219995108239447942508458736694449356309640107095277463378719724388192440482170079069283460684282011301745980292579983360000000/45083513056399701099662549323057588796836654778542790386766251415006679760229248489747878162323913604331515707946782863615280862219956295741069487304429010482964443945796860231263282694238571646656532427040367358880991439925145638108996463981868366882468538910102135476990691823647587952450968980340929524322036651116973507338798474487864518639176196850370267407021892569056362168103551107895955156131748553703749372828227862643387687332483077166915871102696094793229993991006313695865221039499032083073080564228761852369096428699392355565973840516965034242399171722770764786247976149738296420900220189318021704557954997347493719167374685071102205353074526564355960262428103861987383159755626567948046996396408110030027037259567932372191078501411648180971191586338443343107463908225599764127413*t^14 + 108137121115622548036633608349806393783808544755714150791532370054832341644164174318321336159274395452899283055132143459010815830743105313463407246227728122649217892086716740151413414075921084346128076433170695729720549261579944890820218382326297920616365204357706494660577873717691498336550006560714047019874306712323897042661129723725172690871438567634348611899216083730987357486353475975718803556029465160201224334888334115133405110482116623273635412441371165572412194398757944197376344948808149293806489605416513156162244548837496446972044170283965993680578946999964777861169137423748768746377397735646679473569207592630398523978480045743809406647788528806737515898152193071831630930042927316679235349389414689279686869632982180014676592129233636452879786878807095262228312421534952292350325707761093176261635366773728709717170317210432541927275331846144000000/45083513056399701099662549323057588796836654778542790386766251415006679760229248489747878162323913604331515707946782863615280862219956295741069487304429010482964443945796860231263282694238571646656532427040367358880991439925145638108996463981868366882468538910102135476990691823647587952450968980340929524322036651116973507338798474487864518639176196850370267407021892569056362168103551107895955156131748553703749372828227862643387687332483077166915871102696094793229993991006313695865221039499032083073080564228761852369096428699392355565973840516965034242399171722770764786247976149738296420900220189318021704557954997347493719167374685071102205353074526564355960262428103861987383159755626567948046996396408110030027037259567932372191078501411648180971191586338443343107463908225599764127413*t^13 - 307292385681616825714414029991290342058420682360926011273898593302345352445721900414443705292903952809724441206075550820932055562695411253337477920170113724939157235348638194717522929788519636078123094372830224604366788864165997510991857126727726219016646542712618024694166676908731511576956963013604560789827252470133702115969006277479125884940050676964987804628779061186780429578867723251449749410494273249866972660434275780994272340357081279452228401137832044697814758525098129502757696518929398716732869663218177653987299537751010724354548269389960274548498731140128892193579612179258411674724305062712647579865239747190111153369140462370665900405907959903989851724288601607436164710285174144621002102851981041774074320918352567074224883240860379503886746988841362516795189656971659988786827871342171818764265526920189215453884364355141357351887349743616000000/45083513056399701099662549323057588796836654778542790386766251415006679760229248489747878162323913604331515707946782863615280862219956295741069487304429010482964443945796860231263282694238571646656532427040367358880991439925145638108996463981868366882468538910102135476990691823647587952450968980340929524322036651116973507338798474487864518639176196850370267407021892569056362168103551107895955156131748553703749372828227862643387687332483077166915871102696094793229993991006313695865221039499032083073080564228761852369096428699392355565973840516965034242399171722770764786247976149738296420900220189318021704557954997347493719167374685071102205353074526564355960262428103861987383159755626567948046996396408110030027037259567932372191078501411648180971191586338443343107463908225599764127413*t^12 + 721090064127949235287138355682840299400691828039148569725205869336923377807079180610411230436482405477123429568761001540711835022624510621526236726386480326081472249742631197430200313783003464079645051420218082965687633156179668391457716780708693646569927774737201870508691287893506944286479588408840297680409403867558376330914004613714424025117225677828569120497278380709174254950284889679328587791484380498308975049130434917283222335441766009735642883869744147971073602599616369504257482170419905522668730110089093461099478238975364306639891317443375119581582992260943251940079416063689489783935963957580959953657664217519427105904596694831890132670940636788367220812450667525151414340909103130719751079317447926977427591588628791301978459682675177408275206903763072204362476698952871679965166913251670630827791202787093701860103158210231838361846879879168000000/45083513056399701099662549323057588796836654778542790386766251415006679760229248489747878162323913604331515707946782863615280862219956295741069487304429010482964443945796860231263282694238571646656532427040367358880991439925145638108996463981868366882468538910102135476990691823647587952450968980340929524322036651116973507338798474487864518639176196850370267407021892569056362168103551107895955156131748553703749372828227862643387687332483077166915871102696094793229993991006313695865221039499032083073080564228761852369096428699392355565973840516965034242399171722770764786247976149738296420900220189318021704557954997347493719167374685071102205353074526564355960262428103861987383159755626567948046996396408110030027037259567932372191078501411648180971191586338443343107463908225599764127413*t^11 - 1377262621887693973646096300146820649630294868394241115872819304891998367706730757217030125116648072662416860048320219797337674337805289262807426717608702221950426514697984542352183266043982361218809182924806461058648201539696725085298126184972272662676561257911053605642071671275683886882466234381027494693480876242734336563853206824371271223854759321738533729457796064123067468429718931722772945790370151584707605439210463562509537328802401411842310811347168319016178378214547052780844902405701785502211551209842958623184415172968268624107696012027914898034428698558393517944444455804879656489504233433083886093858419587354986109151927441881825376337846762035200076591227586369619661807240170711556451390609822105053235104627395067509167938191522195031437558438589337191872804125418273379262364116127985464854926161356483286068592737353294321112555618041856000000/45083513056399701099662549323057588796836654778542790386766251415006679760229248489747878162323913604331515707946782863615280862219956295741069487304429010482964443945796860231263282694238571646656532427040367358880991439925145638108996463981868366882468538910102135476990691823647587952450968980340929524322036651116973507338798474487864518639176196850370267407021892569056362168103551107895955156131748553703749372828227862643387687332483077166915871102696094793229993991006313695865221039499032083073080564228761852369096428699392355565973840516965034242399171722770764786247976149738296420900220189318021704557954997347493719167374685071102205353074526564355960262428103861987383159755626567948046996396408110030027037259567932372191078501411648180971191586338443343107463908225599764127413*t^10 + 2103526310272085732529211868880608210453726445588503471348375894912970226494055340494279585686775617571494554762299090843270752672440336660740951040803609130310586419673305443360927507885670580023391239717268762653241855956613343485831152575092363643927103266878897887328736191293021479502080993021414316378281363120115893575914138744499562316294097002932276199869304827522863321516377346316641849474750418285522361581765966122485509028803309894617235158988527523690784948924955327741094738396264759433899384719450455699380740967328349474769499701322475054197063773899813566612158855809090332543524417495604643475523970671793257037356614403443311052730397591668280323983575943033664201671452650687508729821837796211509980610003866929497514748904794864357385209540908985782336069583842131272597467816214018971928557657191190762993799736933474347927111047577600000000/45083513056399701099662549323057588796836654778542790386766251415006679760229248489747878162323913604331515707946782863615280862219956295741069487304429010482964443945796860231263282694238571646656532427040367358880991439925145638108996463981868366882468538910102135476990691823647587952450968980340929524322036651116973507338798474487864518639176196850370267407021892569056362168103551107895955156131748553703749372828227862643387687332483077166915871102696094793229993991006313695865221039499032083073080564228761852369096428699392355565973840516965034242399171722770764786247976149738296420900220189318021704557954997347493719167374685071102205353074526564355960262428103861987383159755626567948046996396408110030027037259567932372191078501411648180971191586338443343107463908225599764127413*t^9 - 2512976287606517255846250033133267253338604993164339517580636960965663122343740278087425083059576148584265916780954280300515966217360036189499644066557591495783894529983802800076944680124483118584057728558626935382651413850793997067024990123744457943401979106262733170815859477613793571131699579327460226050814139352006800927096286909328449230783204717182546412372820016977252219992224471063793822581909988372889915090577283909219859509942140689694515135204615981199139445146024113513753919075109539593556552705862888951279380106633628509559344988398474534537107447936725236856752935060346345876715282281281524049470802824026485222195790416642921938108860277704856785288504762298601333831631300426136554735883947682582522215092800621699790417064590142846648606268577004677146107462898488152100085758408808619450043754289980952263375402338072339179127009443840000000/45083513056399701099662549323057588796836654778542790386766251415006679760229248489747878162323913604331515707946782863615280862219956295741069487304429010482964443945796860231263282694238571646656532427040367358880991439925145638108996463981868366882468538910102135476990691823647587952450968980340929524322036651116973507338798474487864518639176196850370267407021892569056362168103551107895955156131748553703749372828227862643387687332483077166915871102696094793229993991006313695865221039499032083073080564228761852369096428699392355565973840516965034242399171722770764786247976149738296420900220189318021704557954997347493719167374685071102205353074526564355960262428103861987383159755626567948046996396408110030027037259567932372191078501411648180971191586338443343107463908225599764127413*t^8 + 2283012110967182260972760966458253389459062788780562330612519879354366373868428775885537003949645408522833534378437498482795736641127474081729678013839088823322597484389809846649181641467490596192019424426886740083094320101809769674635632864194088342358699319591071894064275894435342744252430407769199744708430840042217540919862459651835250691112862200623853904167033452459654508046204480415909168333157440081118824251640508633700148277733515938962860743171897180072505069290412643377779090685608246004672716429599367259369833255835652066153687891987916780415256373471952270456138205440771313153789576151798981955775167600673531141326508316938410125124632811099527863620333214365825207460175866060587519113600079084666678276100753296389569753972974428268525721231055924733599673206319633553043356255028981023946535092079786610523802145344514234115825399234560000000/45083513056399701099662549323057588796836654778542790386766251415006679760229248489747878162323913604331515707946782863615280862219956295741069487304429010482964443945796860231263282694238571646656532427040367358880991439925145638108996463981868366882468538910102135476990691823647587952450968980340929524322036651116973507338798474487864518639176196850370267407021892569056362168103551107895955156131748553703749372828227862643387687332483077166915871102696094793229993991006313695865221039499032083073080564228761852369096428699392355565973840516965034242399171722770764786247976149738296420900220189318021704557954997347493719167374685071102205353074526564355960262428103861987383159755626567948046996396408110030027037259567932372191078501411648180971191586338443343107463908225599764127413*t^7 - 1520395443930993101435318017064329843467946198797054688932114674586720122120142864976032107493895041614991440405646719407822981858201665275528933553930002893658713631984288636716635656209682471452003234762764739889071500194200019597490543153284966965422227652323900899761495746925675823988500795117535190970403008520185361361763442466988256146363747976683979355369574532969976894389160430511630360890914430346680075260773461518272210243673486433008525153705375803028178870908743374965882571926335961148672262870312568162588906857522999010399419668239344474728649054587073129822075306089389951635712521759996445925893623779990011244347003304490695009261363595992882003968752291092071759926914703805197895479750158906250771428195842304745901569869614421404992801096993767982740996728234729481709239711775777066832044052584505445004325466723685381933075036897280000000/45083513056399701099662549323057588796836654778542790386766251415006679760229248489747878162323913604331515707946782863615280862219956295741069487304429010482964443945796860231263282694238571646656532427040367358880991439925145638108996463981868366882468538910102135476990691823647587952450968980340929524322036651116973507338798474487864518639176196850370267407021892569056362168103551107895955156131748553703749372828227862643387687332483077166915871102696094793229993991006313695865221039499032083073080564228761852369096428699392355565973840516965034242399171722770764786247976149738296420900220189318021704557954997347493719167374685071102205353074526564355960262428103861987383159755626567948046996396408110030027037259567932372191078501411648180971191586338443343107463908225599764127413*t^6 + 706685079646637491923242225437884756818268551639705438716203792219431063934049541449432983303867200808755775565739911217505006048748737642954652627009682110024553804048955791767290798122587472342543404608513988034078299353083056879332126815773055802525596056127331766359777710923446160703295956105792657629410097783894071140735886490757507770639814124250692007756070414713627805182316103204541441542700829873282383193021833035161569026911124264646907202239190938422067302997446942370283099397893132065750201164868792029549459100371434252908163318263840105231330477579452047103167783138306246233646193729190603392948000428213556701669683663945762151560162445256204027886310502875734714378776980284255721021433788300833510429736803906609415705849759068707925886910168259645651869792156555447304230652791378927448158351243986386386942075708363826679871029903360000000/45083513056399701099662549323057588796836654778542790386766251415006679760229248489747878162323913604331515707946782863615280862219956295741069487304429010482964443945796860231263282694238571646656532427040367358880991439925145638108996463981868366882468538910102135476990691823647587952450968980340929524322036651116973507338798474487864518639176196850370267407021892569056362168103551107895955156131748553703749372828227862643387687332483077166915871102696094793229993991006313695865221039499032083073080564228761852369096428699392355565973840516965034242399171722770764786247976149738296420900220189318021704557954997347493719167374685071102205353074526564355960262428103861987383159755626567948046996396408110030027037259567932372191078501411648180971191586338443343107463908225599764127413*t^5 - 214425972126632771008017589057572029170224836756818979635117330878269001305151252407175100551648307395977479459899979010003973787630193377962230119313211609446595408304664172158130113233155554130643015713560271832864741255781342307859453372710296636335104791757053211783080153449769953881081658853216592749432260990238732682512509078234133276063204437071369570494774520507137421745807001663444791831454664218162461289834259661612526421375481117671111668765881350169447641109140480668208756222622959361628651626767770205603090781477943481937102435460082501463037333422200122347231402882721599764922555262994588369759664498086491893521579786416178621142711953902891724450487337156784679550902052627376983275463503686302485392594361354076254594837247372136935213699272707092045403049659641213202564947424694172544823433260019826820501236176418421769993453568000000000/45083513056399701099662549323057588796836654778542790386766251415006679760229248489747878162323913604331515707946782863615280862219956295741069487304429010482964443945796860231263282694238571646656532427040367358880991439925145638108996463981868366882468538910102135476990691823647587952450968980340929524322036651116973507338798474487864518639176196850370267407021892569056362168103551107895955156131748553703749372828227862643387687332483077166915871102696094793229993991006313695865221039499032083073080564228761852369096428699392355565973840516965034242399171722770764786247976149738296420900220189318021704557954997347493719167374685071102205353074526564355960262428103861987383159755626567948046996396408110030027037259567932372191078501411648180971191586338443343107463908225599764127413*t^4 + 38779691178334270338773172253218611356115573823975890763965639596173180534570406017660706341421037727911687155734405504879838473795677192207915196359012399991616145855177491106100028838493814432343197926024132003441760031509930130194359723734023794129641608114883621388843842986511062159513968042028250463358531637774810771395268279344351912795325062633626421768861785414714643020194177991375959482811960444476946543268265223141919029287521318065895506240199620717376048784687249442866364908702813061629222730940978674859662958393198604112407436555967051356763390337836671331306681503684604385365483019151685278610009401184634599643367152762846348618665996873547550691662733067592800105471846472872369375290355742059856756723292202146576057846107599132937552868411258251905813521783382622810486926657741456890566262411242133901945997122585248160355136307200000000/45083513056399701099662549323057588796836654778542790386766251415006679760229248489747878162323913604331515707946782863615280862219956295741069487304429010482964443945796860231263282694238571646656532427040367358880991439925145638108996463981868366882468538910102135476990691823647587952450968980340929524322036651116973507338798474487864518639176196850370267407021892569056362168103551107895955156131748553703749372828227862643387687332483077166915871102696094793229993991006313695865221039499032083073080564228761852369096428699392355565973840516965034242399171722770764786247976149738296420900220189318021704557954997347493719167374685071102205353074526564355960262428103861987383159755626567948046996396408110030027037259567932372191078501411648180971191586338443343107463908225599764127413*t^3 - 3732806208739378004907098929811763184778198172843766723815963779678126930977909581691933286209537284191949116658907674503824266085201701854602131851839230968079424931533950864411872308314098874958026149575470481826618147100171951964525511667686557091677869883452963121109160575339804539894450384839653209740789534083896740071573654126276659905365238482608168481783514981376294427514281749834273191452106446421948394886667673429248368328765356328340356899873295638293526621293311439465129636704138622015063415017979449545179342801282763701683055154983551169418416496651373353096904691907408941388213184268012066462874886770536243708519645404338024393048327370603376174439385799219260166190232611332225535756528276739940824050835459073674190777516851893119282714803536876239227980184908660149477814971286022193056498108292296057546629188104039635394284748800000000/45083513056399701099662549323057588796836654778542790386766251415006679760229248489747878162323913604331515707946782863615280862219956295741069487304429010482964443945796860231263282694238571646656532427040367358880991439925145638108996463981868366882468538910102135476990691823647587952450968980340929524322036651116973507338798474487864518639176196850370267407021892569056362168103551107895955156131748553703749372828227862643387687332483077166915871102696094793229993991006313695865221039499032083073080564228761852369096428699392355565973840516965034242399171722770764786247976149738296420900220189318021704557954997347493719167374685071102205353074526564355960262428103861987383159755626567948046996396408110030027037259567932372191078501411648180971191586338443343107463908225599764127413*t^2 + 173037447844174762254530880118903478430099637024556664389968802755317232142041825746568046903881500552365366468357289973650814908632150601220327055245139231848484880521772595489602229831793743631735740325642463098066618191001501707456716515103347109219324168844403668564414288666005225865651304831743817867737338201405910544434465245980572553275766144604418931465433883290205510124688246760471302269029924128545334921652752023021386865958429472266244820416292103885861779686390166710931263001838790619483921075917570205235527053317727171190650581014733775127547437021676380924410375803907156968114920496133317454077147159805854800599030954569352992266574091054737230647375500698811947671113713724008183688149678428925800248143514734632656034410505283468010217990771104383971736331236640907149017965509787481113432543764366522684404279270329573217560166400000000/45083513056399701099662549323057588796836654778542790386766251415006679760229248489747878162323913604331515707946782863615280862219956295741069487304429010482964443945796860231263282694238571646656532427040367358880991439925145638108996463981868366882468538910102135476990691823647587952450968980340929524322036651116973507338798474487864518639176196850370267407021892569056362168103551107895955156131748553703749372828227862643387687332483077166915871102696094793229993991006313695865221039499032083073080564228761852369096428699392355565973840516965034242399171722770764786247976149738296420900220189318021704557954997347493719167374685071102205353074526564355960262428103861987383159755626567948046996396408110030027037259567932372191078501411648180971191586338443343107463908225599764127413*t - 3030856447477670154860944043300367856877497991857708122579634810992390381017919987769833118218526937273168600715431712977026186743894631188083982461456138533456233163260036250303525808968934221394285988234629405520316213104384843564393446268052219948263210145939741378449937591835296717459058672237233025443776247714051380185692310180071394457700264461249108814969238844766655539518731703954343617289366741251658233973357087220790811322479710749063737975573542756117211940783115434793783538882878366967696200792482828887528160700775426650733030867286424512093349972309566489997709510346509987405372170226812049239270577524056557345411362749598783972633626643608818195522598375593650051507433401486753376752362022309599146020100675111895625366585646770410321278192950405732794657251355225529176399755034545303213800370179623571440432766329777589898444800000000/45083513056399701099662549323057588796836654778542790386766251415006679760229248489747878162323913604331515707946782863615280862219956295741069487304429010482964443945796860231263282694238571646656532427040367358880991439925145638108996463981868366882468538910102135476990691823647587952450968980340929524322036651116973507338798474487864518639176196850370267407021892569056362168103551107895955156131748553703749372828227862643387687332483077166915871102696094793229993991006313695865221039499032083073080564228761852369096428699392355565973840516965034242399171722770764786247976149738296420900220189318021704557954997347493719167374685071102205353074526564355960262428103861987383159755626567948046996396408110030027037259567932372191078501411648180971191586338443343107463908225599764127413
-------------------------------------------------
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:   51 out of 54
Indefinite weights: 0 out of 54
Negative weights:   3 out of 54
Extension rule has valid weights: 0
**************************************
*** EXTENSION WITH INVALID WEIGHTS ***
**************************************
