Starting with polynomial:
P : 1/2*t^2 - 2*t + 1
Extension levels are: 2 9 48
-------------------------------------------------
Trying to find an order 9 Kronrod extension for:
P1 : 1/2*t^2 - 2*t + 1
Solvable: 1
-------------------------------------------------
Trying to find an order 48 Kronrod extension for:
P2 : 1/2*t^11 - 323973083/6432562*t^10 + 46399826177/22513967*t^9 - 1004895723537/22513967*t^8 + 12593185079184/22513967*t^7 - 789705857808/189193*t^6 + 59359713737184/3216281*t^5 - 150756797812320/3216281*t^4 + 207904046051520/3216281*t^3 - 143169306546240/3216281*t^2 + 42923750843520/3216281*t - 3648154826880/3216281
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : 1/2*t^59 - 239076412779595183807037429388654847365792563429846124755681239203221164822464650463535593660780254195430866663838090153400679845272094337105057572879406122544076090496876242684222036964964969038525733025470929649799199127022439082324014972277948855188867268761011287463842309592235944770503776056962683991509351016556635557699967774353274233064837972576681997456367575544394597962408719359539779715584179900004797270343890809297034398694058843949456727179417154408271629255402224837782658787731999618619512297333252603544620645624393756982574512288932083520327741577698863280924207951937494005084572778428974727429619591791869127259751624295640125902121128454255024194183481862471984440015648058764271245497138145649275919370198697566757586169935912116799369547731/162530758927810771285961455298788832264813861678823150299249116806596231172655560496346203444938481674786682707842072171954386472913851199896381668005038283909768178142241763034937730706432316547659507900061203723980864198279161523844823781243323585823634892811479392126156416223434895923170318879365977971278312572133328374123508594335694426743322618169659915080124017139502333989826664056355619226483700234435714454392816598755343724072713994115572406846108122703879948064760584898089111485325161370991507678451093081580702689838129642145334751269192545147913059751941762353739732405213084374800860843224629700579668367658065011561453521156196356617853652022547466454594604282168706946369774637022247087307896019296368077202074498792185627296443527432415752066*t^58 + 1186973622436997674335338118645830345277072861326526007122339197559785040326808119777649120048286175040398044203490375530004775236227314983088751445006179658225881777153360840709362165809837978222273441483987889713840100700709219601077589281939962291095920346915510098828879283177169163574881225147663730892559065547355188939027470089518948991889228678525126134968364612743882328378761698255358141968308726139501829047200127268547352107504242044391332384236604944594048245033049303014914052628014963260138522425579468708857023143163215484616558276235251087614849595120978719636732715629651497611441452679367026826291805251812483893810187688788360835999692825647005607147873779458425487367457165075075461619409079457503095525531621922949386817053876720615715074618424745/568857656247337699500865093545760912926848515875881026047371908823086809104294461737211712057284685861753389477447252601840352655198479199637335838017633993684188623497846170622282057472513107916808277650214213033933024693977065333456883234351632550382722124840177872441547456782022135731096116077780922899474094002466649309432280080174930493601629163593809702780434059988258168964393324197244667292692950820525000590374858095643703034254498979404503423961378429463579818226662047143311890198638064798470276874578825785532459414433453747508671629442173908017695709131796168238089063418245795311803012951286203952028839286803227540465087324046687248162487782078916132591081114987590474312294211229577864805577636067537288270207260745772649695537552346013455132231*t^57 - 1081799303359652900054303043554204435382344184904241487925920804621802404376399875863003394905309333328286049695673406019202660977218274199227193916824880254958233738480958347432576293704309240402855449582065080001421860299329088344112035334771648614564069178981962027239972985406746240736334620086605870361882303058756664623091158810577295525683294156903732888812800764105945911726861803192750042736504682574305830518379098514106107011826334928684906589696564038527388550200611031429314784731342393127464466250181129319797768648816342557247388194622879143764366102611365741578073539259250843955414129033530823776753177657151476861956906314671037452447675157828589360301591654911686387842677905900732410434462736717066600092897660405218138332638279740643962125261794288185/568857656247337699500865093545760912926848515875881026047371908823086809104294461737211712057284685861753389477447252601840352655198479199637335838017633993684188623497846170622282057472513107916808277650214213033933024693977065333456883234351632550382722124840177872441547456782022135731096116077780922899474094002466649309432280080174930493601629163593809702780434059988258168964393324197244667292692950820525000590374858095643703034254498979404503423961378429463579818226662047143311890198638064798470276874578825785532459414433453747508671629442173908017695709131796168238089063418245795311803012951286203952028839286803227540465087324046687248162487782078916132591081114987590474312294211229577864805577636067537288270207260745772649695537552346013455132231*t^56 + 712180972682003169302960442975705321564111325449674688489672717747445049688126593904866974318826546808500314244421861272520518462578847928855411152646949826450427286325760424383192539301494611288334324667057788731285483871265805550560331565431670615166066295728559504342305353466607750296520122240954457424986068516281549417425746391407808312144873053373369965288623167813539223786632132576780704651149763738029557042101847437693570829217661736586239446573178558924585600890237243979974447568021607808114784194806611866904018501172892166095881184700478165237922830380223453755608124858447352058593408495353896900718255852690296680742272175972034796813295912770263459912385585357020254807691359915383357683493926225032662718956504383227820356304388441033571255253314931997520/568857656247337699500865093545760912926848515875881026047371908823086809104294461737211712057284685861753389477447252601840352655198479199637335838017633993684188623497846170622282057472513107916808277650214213033933024693977065333456883234351632550382722124840177872441547456782022135731096116077780922899474094002466649309432280080174930493601629163593809702780434059988258168964393324197244667292692950820525000590374858095643703034254498979404503423961378429463579818226662047143311890198638064798470276874578825785532459414433453747508671629442173908017695709131796168238089063418245795311803012951286203952028839286803227540465087324046687248162487782078916132591081114987590474312294211229577864805577636067537288270207260745772649695537552346013455132231*t^55 - 14801000176019888030997878069352678919903147359273684045723003461336870971645703342780357246706185393331530399210921725975910972172595826830837397113999889403160391016914138054083240279843929170380448118085057079696370397448107109623354809648444464467211577115010688383586153285534888996954813221984007085723732091253495454940295486408511606751432808450952320879755862425517930381771464452288117154160339846868420620020423590523183689817002293257772639548544074417581503176258304169329583671325057363283467539744953974643676197487014349351516028350216745881759152022880275140549952384833604188636109627974593442285401597762448089613473575101980830747491389575054204380736269474399602636293383458484625238081116100572977303038954326338446309953825669127557142504402728834390242352/23323163906140845679535468835376197430000789150911122067942248261746559173276072931225680194348672120331888968575337356675454458863137647185130769358722993741051733563411692995513564356373037424589139383658782734391254012453059678671732212608416934565691607118447292770103445728062907564974940759189017838878437854101132621686723483287172150237666795707346197813997796459518584927540126292087031359000410983641525024205369181921391824404434458155584640382416515608006772547293143932875787498144160656737281351857731857206830835991771603647855536807129130228725524074403642897761651600148077607783923531002734362033182410758932329159068580285914177174661999065235561436234325714491209446804062660412692457028683078769028819078497690576678637517039646186551660421471*t^54 + 6013204340183599415783686137466586653174267141214106615300696475028473205952978998576206394188785712610772867462257714342155496216182553519806747546778697346952054689015318259459549573496483696365525612891559030183776682003799602321517266635262013935567070246928265026319329945040824004834146864555172629999027988174238317495919927000787868056948165271249025216959354776819580047601963573506465412840987650263116833602103432444081559897558019916956030710275485342183839213613436168005507244715815333931855440844056336449498072941786524770727487792282986672176424757304366459479072489315885783116110240626287202895073074909844934247632477929712509294652709265583516497552317362810338617614615536504004645742707331485921103849866919804357391776107568351827302826533752153022881592736/23323163906140845679535468835376197430000789150911122067942248261746559173276072931225680194348672120331888968575337356675454458863137647185130769358722993741051733563411692995513564356373037424589139383658782734391254012453059678671732212608416934565691607118447292770103445728062907564974940759189017838878437854101132621686723483287172150237666795707346197813997796459518584927540126292087031359000410983641525024205369181921391824404434458155584640382416515608006772547293143932875787498144160656737281351857731857206830835991771603647855536807129130228725524074403642897761651600148077607783923531002734362033182410758932329159068580285914177174661999065235561436234325714491209446804062660412692457028683078769028819078497690576678637517039646186551660421471*t^53 - 118383105170274578093024431137983291252506081628820889961731686589865189909966356390159263939564937640616027281291634438749589920204200561884382072547594427322601362164614076812251292053443402884443500588143398899437039067260477522777665956398064848896873917927076734601692249416836394384257764714676603490236221422485758329391467102968825770487554642078773083124524320922745041650010182770834465226963452591400479567241352030157823661456706538174289739083876839914938396463898856020319918117444765298765787086586271199369846004325976402994520695232064580345450822802993812234405261083928319867597886592830641603558193854931402936333249548554529877660581869948568237599823500396826982935213309849922284740916239912681236503314929583697017300378242351696180221816237262000354623758624/1371950818008285039972674637375070437058869950053595415761308721279209363133886643013275305549921889431287586386784550392673791697831626305007692315218999631826572562553628999736092020963119848505243493156398984375956118379591745804219541918142172621511271006967487810006085042827229856763231809364059872875202226711831330687454322546304244131627458571020364577293988027030504995737654487769825374058847704920089707306198187171846577906143203420916743551906853859294516032193714348992693382243774156278663608932807756306284166823045388449873855106301713542866207298494331935162450094126357506340230795941337315413716612397584254656415798840347892774980117592072680084484372100852424085106121332965452497472275475221707577592852805328039919853943508599208921201263*t^52 + 166471110619090950159116201547823382223572135253961903432496736572966269787104252629458784220268499219254895345038349737970922366869514903421710670744538598753007855089815812822854747765051940101201691487726872398266258910681993433027488648532329719954599542406165536382150558427616540981402698537202361022210358491668735065277314190340231823931082131119771345545789168483256945852848615582780967949854022741121294573025723245122890431523169952958498796148339589441345827318335857619205736497104320864531175837209147064571205473599754253411511698106145909760353326552633240295363360272962094520793774029690391263325563386922534984826379455866393712163959286814887719080666324808405500989667065404968345841319045409942110724433877535074406746878130780156936760605669357511746860245764928/6859754090041425199863373186875352185294349750267977078806543606396046815669433215066376527749609447156437931933922751963368958489158131525038461576094998159132862812768144998680460104815599242526217465781994921879780591897958729021097709590710863107556355034837439050030425214136149283816159046820299364376011133559156653437271612731521220658137292855101822886469940135152524978688272438849126870294238524600448536530990935859232889530716017104583717759534269296472580160968571744963466911218870781393318044664038781531420834115226942249369275531508567714331036492471659675812250470631787531701153979706686577068583061987921273282078994201739463874900587960363400422421860504262120425530606664827262487361377376108537887964264026640199599269717542996044606006315*t^51 - 8825877912988481885193496513521037519048523738883818018539334805786652854927946696712197968467142311230044258590417867830969360530589530333993901974371084437803202340966879438441414118868274925547837993613031396404909259034441324404892716118846585252303779352572189691120769414299886898003260107726056302375898035900658515872042232441399117541668662499237147039304702147890258751510716427076112257603328322981544749516393943924480683372051728850267157455772737676397999490213981428906716943799794492216729622327575325852166176815114472343408337964329980352285760328895790953762060116789957232613048036573985172682153410716393334748946981229799683929921151470861803449256476080590891001173133030380040493103655392734814610592783958723255476884596196417107863386773175746886947307954023447744/1516005653899154969169805474299452832950051294809222934416246137013526346262944740529669212632663687821572782957396928183904539826103947067033500008316994593168362681621760044708381683164247432598294059937820877735431510809448879113662593819547100746769954462699074030056723972324088991723371149347286159527098460516573620409637026413666189765448341720977502857909856769868708020290108208985657038335026713936699126573348996824890468586288239780113001624857073514520440215574054355636926187379370442687923287870752570718444004339465154237110609892463393464867159064836236788354507354009625044505955029515177733532156856699330601395339457718584421516353029939240311493355231171441928614042264072926825009706864400119986873240102349887484111438607577002125857927395615*t^50 + 1827158727509244921782812443142492091638388061750175508634819264625793777550298267939605007974197090380067200952392298073772140306859498585652666790977561317913787007108004696018161558628209700274990721254454493588188976520707837243727529911986148324109894993297911219230026842347169140269254827049179169892057423667843969946263374108189735957780897287928560677755025984450484236051457025296024787302550842396960254573584733094154663674415425462560520387220357965566009175219547301507820321695249834784512053828289672898874510077017331009125170747563813826684655145430881517136489707957303243336656505872853216718462852795956267893944503204628399538573330295102129330622050599725920559505860524483231463403094816774148205797807280364160799479934760114120099687698136246147736621925613329442176/1516005653899154969169805474299452832950051294809222934416246137013526346262944740529669212632663687821572782957396928183904539826103947067033500008316994593168362681621760044708381683164247432598294059937820877735431510809448879113662593819547100746769954462699074030056723972324088991723371149347286159527098460516573620409637026413666189765448341720977502857909856769868708020290108208985657038335026713936699126573348996824890468586288239780113001624857073514520440215574054355636926187379370442687923287870752570718444004339465154237110609892463393464867159064836236788354507354009625044505955029515177733532156856699330601395339457718584421516353029939240311493355231171441928614042264072926825009706864400119986873240102349887484111438607577002125857927395615*t^49 - 1518192010191201302230294595864679039930988509526017614672904526022008637005996146113054937309727868733430037265452629434193911941767663199885648440911292156080817561310438861899740994891675026376672025971031500713077884574389964053014502665242343446163298885996771506003786582432161327300824044763397631613408159508446643182112437607867763196425720107334694931350323488518816149573270418844233425215839697744283180998740597746374950776922315885006794727605568054418203554705324403832387428231020625388392625718770226860574082007642765895708546911516357018088840327580643431115256738492565011335053155545878100838570335632389008641789798965956210036776034490389343676286776070864928853176633236407596947248197469595264335444703882751751747330573153708039760845347476673821682010283894189620608/6986201170042188798017536747923745773963370022162317670120949940154499291534307560044558583560662155859782409941921328036426450811538926576191244277958500429347293463694746749808210521494227799992138525059082385877564565942160733242684764145378344455161080473267622258325916923152483832826595158282424698281559725882827743823212103288784284633402496410034575382073072672206027743272388059841737503848049372980180306789626713478757919752480367650290330068465776564610323574073983205700120679167605726672457547791486501006654397877719604779311566324716098916438521036111690268914780433224078546110391841083768357291045422577560375093730219901310698232041612623227241904862816458257735548581862087220391749801218433732658402028121428052922172528145516138828838375095*t^48 + 7445870922337100475152942099926741231442657721864458203761543874226889372110390851668998556642393956491094775114801374650311750558963591510467378712693127141720115568404634880433679051506720389203138147728077644319161969464075589922306463304207972115083774812648789748227175109094062741399199163254117309988660936765475375220724646932756025683610792880102286185927187001836009763122578855057978731592511015245044273655306247099933435486693853037704700599149133720264562634278748606374468554824337041507016712492119434500513984820441429605064628303351315029209147645949492823041511523638688424140527578675945681753845919726472503177137689581920213134019219190331655181963593610053945704120282316744500174747499854307427901230462913357308176423285593067270748248543298762810755087564404834081529856/216572236271307852738543639185636118992864470687031847773749448144789478037563534361381316090380526831653254708199561169129219975157706723861928572616713513309766097374537149244054526166321061799756294276831553962204501544206982730523227688506728678109993494671296290008103424617726998817624449906755165646728351502367660058519575201952312823635477388711071836844265252838386860041444029855093862619289530562385589510478428117841495512326891397159000232122439073502920030796293479376703741054195777526846183981536081531206286334209307748158658556066199066409594152119462398336358193429946434929422147073596819076022408099904371627905636816940631645193289991320044499050747310205989802006037724703832144243837771445712410462871764269640587348372511000303693989627945*t^47 - 1039900489632715540009718319636089195552990969423238220685256433284203241320621329972958827720991401614648902505751810318148064511266470954864438575094038812459250603114349176014928479274644314566295710779997204410826370074925430101042728780166051423061124974349117211641300555129329970701170978032187775935939170335073087151442687443491607242794970301344997283824137734676166325731891420768584948078025483373426586600051044069489832680742041594200358129636870984962517865564679552878938863103111311481992816870337585773640943132012561175736114612687643966288632428185919891013789619600856171700938683147391834594657467849009681943305198688341747368597035459376888719296306752305139795990998973921632395297067119094288532826184421187207503937119398173454123146495781645481296373020045551743630286848/216572236271307852738543639185636118992864470687031847773749448144789478037563534361381316090380526831653254708199561169129219975157706723861928572616713513309766097374537149244054526166321061799756294276831553962204501544206982730523227688506728678109993494671296290008103424617726998817624449906755165646728351502367660058519575201952312823635477388711071836844265252838386860041444029855093862619289530562385589510478428117841495512326891397159000232122439073502920030796293479376703741054195777526846183981536081531206286334209307748158658556066199066409594152119462398336358193429946434929422147073596819076022408099904371627905636816940631645193289991320044499050747310205989802006037724703832144243837771445712410462871764269640587348372511000303693989627945*t^46 + 689037073815669016270939464285263466599211372869904223627804474134907503708687273153782504311033708960563354931354949689748467851760543355701803812859280205062238996717114463948952150378200344715734660325692077860804313848795990174117201912138111779974376722033190388826990314602993948821153100847631308608228500362938613217717712343027841074020635020431054169690134498725514693509806178279526285016632907454277020473154058964256617634042955781208702808870119401486345904349904593435244946327772388755997483151270749305437727625267634743200034281852090408359930738697114520621761092200910679997706998959564888883295295545429993548787666813341308280789816143571250506390479354211154743809340518197260754258847168896986162213229065624955858407836718943456718760064005914305997043371574167472963403776/1158140300916084774002907161420514005309435672123164961356948920560371540307826386959258374814869127441996014482350594487322031952715009218512987019340713974918535280077738766010986770942893378608322429287869272525157762268486538665899613307522613251925098901985541657797344516672336892072858020891738853725820061509987486943954947604023063227997205287224983084728691191649127593804513528636865575504222088568906895777959508651558799531159847043631017284077214296807058988215473151747078829166822339715754994553668885193616504461012340899244163401423524419302642524703007477734535793743029063793701321249180850673916620855103591593078271748345623771087112253048366305084210215005293058855816709646161199164907868693649253812148472030163568707874390375955582832235*t^45 - 2844568900499553819596677585514297546907593278348804255908945047749385054193535391850139066694951283469732773489394953371037685365075390151737267801981905803137188903354097899943597388937906886133681036840865926693704448108011055865090914873265820222182390477468909074036395334254048813617283519208563607212687836976150815614961759911355398374746797898779601897028135468403520553257213484268312587799850465682503258687446023957115590162898629651228782074116343792154313352937587187798467558433529718346113851489429671550420907713273563793090598517234234931137768451357284354415208979561985006842138323332428627571770097952993395330390454310077480526226315760764166513563553000304331334468942903518520871805244314763418497687039033632417040633240196309692549864098185581766343320083094133028945478664192/43314447254261570547708727837127223798572894137406369554749889628957895607512706872276263218076105366330650941639912233825843995031541344772385714523342702661953219474907429848810905233264212359951258855366310792440900308841396546104645537701345735621998698934259258001620684923545399763524889981351033129345670300473532011703915040390462564727095477742214367368853050567677372008288805971018772523857906112477117902095685623568299102465378279431800046424487814700584006159258695875340748210839155505369236796307216306241257266841861549631731711213239813281918830423892479667271638685989286985884429414719363815204481619980874325581127363388126329038657998264008899810149462041197960401207544940766428848767554289142482092574352853928117469674502200060738797925589*t^44 + 622358117846052580269974362801584161608940070958495177344605793890913046660161796912958003148705922583004822690340535684890399956281902647151532834091507556130387945579098748454221880847998956424583701226480431334499748986269487911652455717417591681685818804256397676225046178194702519330471847874485075333521378431474017097497715195218833873811914177925799637495077378944495528549086689244916008141066934969350630279023536981620524713273470093850210813968058246208483176669911324019430825628978566371532968618001245071294102244942062911463278985120004198950298009946771658562271410319724205423962047836554389011151582400230418839522207205206337521421593865899547884128687692730338934427464834097831723854525048769986473420289369416960564065880830333076633508035455480257499846859670338725881068470272/96040903002797273941704496312920673611026372810213679722283569022079591147478285747840938399281830080555767054633951737973046552176366618120589167457522622310317559811324678157008659053800914323616981940945256745988692480801322718635577688916509391623056982115874186256365155041120620318237006610534441528482639247169694039254800533016546706711963365282071768001891464673342288266715756033301047724740368320348376723050300717446339473315694632886474604045427527052292696583722163803416293150419413537404072719084736820934051589449803879449515989386341049405584989853420132299937114603080458948745963225541826641251622217252492961377222535228661483456004430740596230177714993439463326831945775921876782369772847647766035681983044022013564234311534811664609308039*t^43 - 173625459202526896816591488229829211758236052972060130570556097228137873922550587346611028549867439577879766856329151190593810505181076280804810114740111710990577958263811390378257090687157340254136439405261013719263555337777156638491356577879617017345951542157651484256809625593085680840276291964177295181663380577074622411135512625078418488347409034554812801776597629834961671251166137008978107830461630468989712715939336794381421887459443933658794330416388202129795514928341304314894239064265448534270180303868619542534218519975132514907787517953553607644809237875563588982402595687318497274574654565016692381337746920375948116420915750522737407942788452195129331281133216575662685969530144593602769667903215243657444087901714598524160594246169136114572373828210891156072854549870159241638051204087808/302898232547283710123837257602288278311698560401443143739509717685020249003585362743190651874658079484829726864614770865914992972248540872534165835827571347286386150174177831110565770861987499020638173813750425121964337824065710112619898865044375773580410482057757048962382412052765033311362867002454777128291400702612111969957447834898339613476192152043457114467503850123617986071949692105026381285719623164175649665004794570407686031226421534488112212758656046857230812302508362764620616859015073464120537037113400742945855012880150696725396581910767925048383429537709648022878592209715293607583422480554991714716654685180939339728163380336547755515090896951111187483562671616768953854598216368996005935437442581415958689331138838658164123597917482942229356123*t^42 + 13800552943725352684750014742669849199857385537018100234656265881654468079067260775149917362892134246762325947409901857228935250380310049745776431940179303152498375382195966392531251911096149999488235609254623850153540812807451189195605784099644564663268193295956803112671173422539898763926692719006265678096931265578014069962439185986767152922328803137581254263145542899266671278725684778972756953995503860286502623568175242057700908759591428796095553438016519955567458939451839358099357303161327677485821736871869286904971712218720743291674082582318844469780091193846919844343128405523542597739342431914562654829153209601901268778876536469871848050804376480679736219699677538349820674450498718068042495958636549824006171297169785549904515805503150411013936270640415461022480577148144886299421213972987904/302898232547283710123837257602288278311698560401443143739509717685020249003585362743190651874658079484829726864614770865914992972248540872534165835827571347286386150174177831110565770861987499020638173813750425121964337824065710112619898865044375773580410482057757048962382412052765033311362867002454777128291400702612111969957447834898339613476192152043457114467503850123617986071949692105026381285719623164175649665004794570407686031226421534488112212758656046857230812302508362764620616859015073464120537037113400742945855012880150696725396581910767925048383429537709648022878592209715293607583422480554991714716654685180939339728163380336547755515090896951111187483562671616768953854598216368996005935437442581415958689331138838658164123597917482942229356123*t^41 - 313128505357780590909956063210273566552136606640201520530852566332589636207483315846957293271537937230175144940208013691735405719478289430482280612368649609353327372604856004766303530634698457885510391113164239532145057785421378518431428872033619519510647254883547408925801886216285303709481627373707848030362450904283946786849243514086883757296519273623316982219107702156737710057585935984909811967143995031487879890007698128037650290748964650564662305929028892367949573177368121167614509201599684108049635312939328868713711300680750706894024816861595055721387904649941708249207717848578770675446698564226703677772681964456906672187994513719068663577514602113793462720697436906974429733484003553995803156725255641170781467035565080055896533966627112151494035248029502318791463315200418586484836187097366528/96040903002797273941704496312920673611026372810213679722283569022079591147478285747840938399281830080555767054633951737973046552176366618120589167457522622310317559811324678157008659053800914323616981940945256745988692480801322718635577688916509391623056982115874186256365155041120620318237006610534441528482639247169694039254800533016546706711963365282071768001891464673342288266715756033301047724740368320348376723050300717446339473315694632886474604045427527052292696583722163803416293150419413537404072719084736820934051589449803879449515989386341049405584989853420132299937114603080458948745963225541826641251622217252492961377222535228661483456004430740596230177714993439463326831945775921876782369772847647766035681983044022013564234311534811664609308039*t^40 + 20204298597181335347518236101576640800697901997650572886923774633689459626730928978646839478244945413309440084264438410617283514367013575093459867766075333054603974831049851952663884619674919542783453204694905923971965184794446910574873361206728850133462652266555684779592082034344628671359512134675940541571655158276943408257066952236696224891018926766693379120155349994881882277701409593361918672545413099415276594008547550740888163933261928168249262334623697847586779120858826409513116007541844205018528798804442753952582149511529463315547848320958281896148071809321203847819796233765425600800690522920890150641840101025946885162144032808851908620190455961855045043477920032851882928835413689102794198928891705420782345674371737713344341210791082086799538811304531585258053775385188699209488352563919585280/96040903002797273941704496312920673611026372810213679722283569022079591147478285747840938399281830080555767054633951737973046552176366618120589167457522622310317559811324678157008659053800914323616981940945256745988692480801322718635577688916509391623056982115874186256365155041120620318237006610534441528482639247169694039254800533016546706711963365282071768001891464673342288266715756033301047724740368320348376723050300717446339473315694632886474604045427527052292696583722163803416293150419413537404072719084736820934051589449803879449515989386341049405584989853420132299937114603080458948745963225541826641251622217252492961377222535228661483456004430740596230177714993439463326831945775921876782369772847647766035681983044022013564234311534811664609308039*t^39 - 90532296316299714944835721388649256605203744865735007272986077204260319198709817127741624492578464289280035879321336174357124856090742493225389390633531207746870184452834801785748665883741750152087507704004524776950279288790955699044687172516061318083090050579164423538628894718784790576178823600457984033542781663837292587014825597141622700206142460006525462422792731062402413136135553798015557095485385541465916823317030769381589792874668055688800573260683457413040999194583658288282082465596237411149924147841437758066204830648107434368547129750579624860754816736324634751290423671088320456548965550680577656345224555307099843481840597139673154507876787258208539398474860631535177910266737071304299637949727273262399711991135064146230271091858332526061106612991179415978890219494511697449054113132259573760/7387761769445944149361884331763128739309720985401052286329505309390737780575252749833918338406294621581212850356457825997926657859720509086199166727501740177716735370101898319769896850292378024893613995457327441999130190830870978356582899147423799355619767855067245096643473464701586178325923585425726271421741480551514926096523117924349746670151028098620905230914728051795560635901212002561619055749259101565259747926946209034333805639668817914344200311186732850176361275670935677185868703878416425954159439929595140071850122265369529188424306875872388415814229988724625561533624200236958380672766401964755895480894016711730227798247887325281652573538802364661248475208845649189486679380444301682829413059449819058925821691003386308735710331656523974200716003*t^38 + 280309525708657264725131564170900806427168361994701935102725273647877276860398512117109403391732411419455756783159266009255519350425562299565269977760521704510340151539387484405500817423065027600248888163706379008255016517315498892525140242019464771418736009179560865069829356379212916929373188328916522793799815140446013494882968813575949463627087589787077967927238628051270397038648632867047770535041921207875811761682727112272091660685966617521221758540011431147371688641715625423072709443866157066369805650284333382554895378621515324960164482972793865442129858804459487279717477183845244546608354773837480138897367870303014578900194439718667605071134730404087231083936434127141794935440304774313456359560917509130776101034208029258031615368732563604672982570224561414243910614990187243729560630015122472960/434574221732114361727169666574301690547630646200061899195853253493572810622073691166701078729782036563600755903321048588113332815277677005070539219264808245748043257064817548221758638252492824993741999732783967176419422990051234020975464655730811726801162815003955593920204321453034481077995505025042721848337734150089113299795477524961749804126531064624759131230278120693856507994188941327154062102897594209721161642761541707901988567039342230255541194775690167657433016215937392775639335522259789762009378819387949415991183662668795834613194522110140495047895881689683856560801423543350492980750964821456229145934942159513542811661640430898920739619929550862426380894637979364087451728261429510754671356438224650525048334764905076984453548920971998482395059*t^37 - 226793426723455896771165005819149584914176572664089887673263922402283270524276544874557389554982387673677300276669245912766904563066597483228303365294666810751174924345486975236792168437934091558457812540007186889670033672950352172309309661775678256696874999266294044843052133475800451008138723332389663214198289974575458584246456221312614582625524632045480522068027004993952683351288376666142277262151501184330500487955495750376723116642869985892063828867711164726890210137906205773780444135686930924152806380612730219806324671675131431092100593549586961357775612032606506161783661028262345329856356102428661886091686437539604673976274745273001815474286183232613919890107239102636458190581460711163073896803935765769307370354345719592600678821399153800676702350164832725834851625082915432219389908156418762997760/7387761769445944149361884331763128739309720985401052286329505309390737780575252749833918338406294621581212850356457825997926657859720509086199166727501740177716735370101898319769896850292378024893613995457327441999130190830870978356582899147423799355619767855067245096643473464701586178325923585425726271421741480551514926096523117924349746670151028098620905230914728051795560635901212002561619055749259101565259747926946209034333805639668817914344200311186732850176361275670935677185868703878416425954159439929595140071850122265369529188424306875872388415814229988724625561533624200236958380672766401964755895480894016711730227798247887325281652573538802364661248475208845649189486679380444301682829413059449819058925821691003386308735710331656523974200716003*t^36 + 9763506102027843278456103203959880766657420445920334131522714775056081116139404990778750101875209960240914706566152127607942830363197503414318756810530546798470779668649020018325998248213962535006322116070987276092087714449415934206493555853016156095094006926247790727567039498458184733865365402142653341684364639681448021642524151000325301058153961331963683037132485521970118126641829096674652309705274544701894799280998562214887317082500522198933886612851120884218458722230382429108308060720135895600758274137481480652062538798064292741799402346595973981346862722411339112341046150872159127600865796241973348339684394744424162387523729599771515588496762667964894618555158309770765100621034407212665596242468121532822566845534412395932474182169447475611897378479481699625773570971928918972703201678325736317911040/7387761769445944149361884331763128739309720985401052286329505309390737780575252749833918338406294621581212850356457825997926657859720509086199166727501740177716735370101898319769896850292378024893613995457327441999130190830870978356582899147423799355619767855067245096643473464701586178325923585425726271421741480551514926096523117924349746670151028098620905230914728051795560635901212002561619055749259101565259747926946209034333805639668817914344200311186732850176361275670935677185868703878416425954159439929595140071850122265369529188424306875872388415814229988724625561533624200236958380672766401964755895480894016711730227798247887325281652573538802364661248475208845649189486679380444301682829413059449819058925821691003386308735710331656523974200716003*t^35 - 380260836692215758027235227058020138096350024180197434414236514490527442121412004722373002250387273725838011394754064510455448462224556149208705928763629111606315337080619696204286351352978564232735573437305958776126605694762794234235909709728210464635252418793510054288568641940573414162885658277120947760336805593586165752372312679030272550208081453915770122390880237222312068856309647719403162475072034546647949517397660305608673546007597672587868741507354046731828930684251725707515070932576291015519070164472139953376079064152620228598321350294576743431202413249799054814935442014123642409871945348295872970796276040751706211985722925541971306909725444896319441961650249500236900574526780156497257797167301547203411913180666323404909047396199071483141749153577407807734167899675042229845824341037128940362137600/7387761769445944149361884331763128739309720985401052286329505309390737780575252749833918338406294621581212850356457825997926657859720509086199166727501740177716735370101898319769896850292378024893613995457327441999130190830870978356582899147423799355619767855067245096643473464701586178325923585425726271421741480551514926096523117924349746670151028098620905230914728051795560635901212002561619055749259101565259747926946209034333805639668817914344200311186732850176361275670935677185868703878416425954159439929595140071850122265369529188424306875872388415814229988724625561533624200236958380672766401964755895480894016711730227798247887325281652573538802364661248475208845649189486679380444301682829413059449819058925821691003386308735710331656523974200716003*t^34 + 788098074888454135493890428219335934326739053351123822463600061627570890895386025008418543827825590486078591593100323604040980794712250422787515613371725627522790870387617938988453286484332130033234519005441828485907567723883710904356022305677518774839448495883904787602633303328943404124146310514279366622509738083716549302878183309085154567057338638331640827874679735599570293721278527150397655812142173814683448154249679643277339447327261221563669709934880548088601955199954661815684908436724602311895953741020503071316075980759642528564331879989963525257715256262616716061373379620612401631949886225868313692170395332180959291551153645089410163996485225923375265642936876622902518054438261416682709100617851341383600965680741783256338042521438441612347907938021641407430518924259938745111789313709607580126412800/434574221732114361727169666574301690547630646200061899195853253493572810622073691166701078729782036563600755903321048588113332815277677005070539219264808245748043257064817548221758638252492824993741999732783967176419422990051234020975464655730811726801162815003955593920204321453034481077995505025042721848337734150089113299795477524961749804126531064624759131230278120693856507994188941327154062102897594209721161642761541707901988567039342230255541194775690167657433016215937392775639335522259789762009378819387949415991183662668795834613194522110140495047895881689683856560801423543350492980750964821456229145934942159513542811661640430898920739619929550862426380894637979364087451728261429510754671356438224650525048334764905076984453548920971998482395059*t^33 - 25111746535709153598344881640457275717689170469095523329045853112472531078770331660027195987019055018967008039118146689076443732008759535295998396986412908186845537672753638809699809304668687613047525250497258546776933954458928690820135525415714007356505911105794675710121628741530642652438997001499394189291193033912553245847434423224796079907479223856840371641820690422191619733532218718121503228247702504397760187924269124501746419813080982259835364385065369290269192519978714874994979436067368566121657245831422043598032328587244187435217306329346185418605162959603513885258705350398119856669739915390648784711581075934654836289563136059153853258445454690598495445058994492826294379119590951071560273968658717215131584124449177530118875300763773408480845819387912108811696889507332792740220398018434483440687513600/434574221732114361727169666574301690547630646200061899195853253493572810622073691166701078729782036563600755903321048588113332815277677005070539219264808245748043257064817548221758638252492824993741999732783967176419422990051234020975464655730811726801162815003955593920204321453034481077995505025042721848337734150089113299795477524961749804126531064624759131230278120693856507994188941327154062102897594209721161642761541707901988567039342230255541194775690167657433016215937392775639335522259789762009378819387949415991183662668795834613194522110140495047895881689683856560801423543350492980750964821456229145934942159513542811661640430898920739619929550862426380894637979364087451728261429510754671356438224650525048334764905076984453548920971998482395059*t^32 + 23331690895947767449338213201807130926372120375679222781134774841316526057566201624719182781561993178118421238204249485115473584385141250497189081922934955070068182780506509235803407106335125341515240565141516395356771618961384364497873759345180177739080491289964196426974968728509977229919154086162750228106878872037115461569860456227777195280976827140860728511500022116930563509290080087279791446946758094271552083408289023420056814368765303607113914243510653184402646063061250956043875701357026801306138453094874991584027668018924165919092350242463540876552622126874096300717320128746918793291626131279186734675131723670969607075001985402641285792705622122423370970497301975319065754394417727867502496743333684825816929610509576019312119186965933484694724612789650101247430787308946613299544827975605529952963788800/14018523281681108442811924728203280340246149877421351586963008177212026149099151327958099313863936663341959867849066083487526865008957322744210942556929298249936879260155404781347052846854607257862645152670450554078045902904878516805660150184864894412940735967869535287748526498484983260580500162098152317688314004841584299993402500805217735616984873052411584878396068409479242193360933591198518132351535297087779407831017474448451244098043297750178748218570650569594613426320561057278688242653541605226108994173804819870683343957057930148812726519681951453157931667409156663251658823979048160669385961982459004707578779339146542311665820351578088374836437124594399383697999334325401668653594500346924882465749182275001559185964679902724308029708774144593389*t^31 - 607023680354286969207041001236885031563841705412022012976272024550168136091701512475188237247248930627995286133839962251591927362102841519432418232842191771598102579084241664270801715887572832061367626826039389036516728486587724987589218072577370123016216346478892041112821003751844084062087608174549799624578017442456610327172643754543628351315455501063632232759589373625127243345164989842535060087506679597942147688731792522129145475135493791361427601870012289994085680990602160012064830706014076103587946720619317232970784632368062906573124326984342588445045308068714825387902537983355177875057576832563619127576477986954470979922401501555228515242494055969987586773186739779496020820189539603072836709939680771214192359124013980620053299572613863684733309803258138610150824162289223084490639732770020411309241139200/14018523281681108442811924728203280340246149877421351586963008177212026149099151327958099313863936663341959867849066083487526865008957322744210942556929298249936879260155404781347052846854607257862645152670450554078045902904878516805660150184864894412940735967869535287748526498484983260580500162098152317688314004841584299993402500805217735616984873052411584878396068409479242193360933591198518132351535297087779407831017474448451244098043297750178748218570650569594613426320561057278688242653541605226108994173804819870683343957057930148812726519681951453157931667409156663251658823979048160669385961982459004707578779339146542311665820351578088374836437124594399383697999334325401668653594500346924882465749182275001559185964679902724308029708774144593389*t^30 + 14252664246566073150206891081635440377955626698125331243842808357479527948607510172276541745303161142115402227737137839843206498414810764409236855089478100071804302315640017085328775426336655391083995281389265815445750191264068292778358808163793642175723230062349693901436745582558397954474119715626552606203298413905537334287871802793952906382673747104474595399718151455365077151490021059578120158799900094468742400529876237608540873347066996689046086059485652774766687180687738415637712499855053277369839561374865455611036267612635386729750857270011236445403058862673250378994654799763190783732649971043363274820585887634654040532042852659730321804378245050737360680503683058381303927816293497493108991697968444071151308212590244571026833376631270004695261747740009091337558433035519138509183983741448722627589832704000/14018523281681108442811924728203280340246149877421351586963008177212026149099151327958099313863936663341959867849066083487526865008957322744210942556929298249936879260155404781347052846854607257862645152670450554078045902904878516805660150184864894412940735967869535287748526498484983260580500162098152317688314004841584299993402500805217735616984873052411584878396068409479242193360933591198518132351535297087779407831017474448451244098043297750178748218570650569594613426320561057278688242653541605226108994173804819870683343957057930148812726519681951453157931667409156663251658823979048160669385961982459004707578779339146542311665820351578088374836437124594399383697999334325401668653594500346924882465749182275001559185964679902724308029708774144593389*t^29 - 17745086452602802414893789244199201619535205006349127407583826384182386417685424343726793382841013972606117494753883068029257358975097007331939765482220026586277292147056697633885122515331690674813406080761994880674964029257758983313032845963817545693645938562417452997619600659804596258757977228731416875707840006205695755757199040672240085440213473441686539544679271430944087584325508707263277318867723140803356159781250197122611712399273062235838307256977678782559920092188549316035429237270843453806811993370226074497207367433270016217986851470070652563641763646483551166272433776425225596180602087457063237737109343045137989437856821024133790191686463368743142623900461660601763140937882125598694031188625502100013730962194159588384556784475672179672118142923291549979086697439346657315945322745891160380535734272000/824619016569476967224230866364898843543891169260079505115471069247766244064655960468123489050819803725997639285239181381619227353468077808482996620995841073525698780009141457726297226285565132815449714862967679651649758994404618635627067657933229083114160939286443252220501558734410780034147068358714842216959647343622605881964852988542219742175580767788916757552709906439955423138878446541089301903031488063987023990059851438144190829296664573539926365798273562917330201548268297486981661332561270895653470245517930580628431997473995891106630971745997144303407745141715097838332871998767538862905056587203470865151692902302737783039165903034005198519790419093788199041058784372082451097270264726289698968573481310294209363880275288395547531159339655564317*t^28 + 5747943838169801915483923673358442838525419374517538259349949111384776016321288798971083262143961720763817052400166673326352265428402258163759414447613168798462167875273153268273212133863552876252174294379286781829728874129706059540317807766225019960275202044162929988961447394884387311314044361783973289653818758363659690624574814587689065406042433300796591690228286143866554607060105449703629556623197025781132212688695852731837026311108703448140328904113228376206140615413527626636623149162545832916067409714260402542181799071713019169073209074735196442224532013942274068423818468451357817003774809876035140492323786172053046161914052463922380073769825391714535092667319477722130438028982645538690719884566691678289128896695510722297844056153663249673721150930426719169715282432269691659357968402616500442593501380608000/14018523281681108442811924728203280340246149877421351586963008177212026149099151327958099313863936663341959867849066083487526865008957322744210942556929298249936879260155404781347052846854607257862645152670450554078045902904878516805660150184864894412940735967869535287748526498484983260580500162098152317688314004841584299993402500805217735616984873052411584878396068409479242193360933591198518132351535297087779407831017474448451244098043297750178748218570650569594613426320561057278688242653541605226108994173804819870683343957057930148812726519681951453157931667409156663251658823979048160669385961982459004707578779339146542311665820351578088374836437124594399383697999334325401668653594500346924882465749182275001559185964679902724308029708774144593389*t^27 - 98438940884213862987257709718344013518592250269816489070008002744935503679339068076437184120315664317958537982947237635727044713401675862168771881013503903589997623773042634142896232435770215482557726145962050501746728472475587277177676668310196623000207968915457839570055514132028308374392402355791890804130596676270050758126523876748815646986589156572089381611215599987412918013374625281265372268127477544973670138000155258052779229803362130165682260481781613837965409473710175654622999975402330560961690230331968116047662678185005561355465433171188321722600710640541128583121169119736624403390193539558162605234382530426711711169691528294669006367443324365849617567396684685388679876655460028132866110876965524076950732517074007940360417887775587129052876485315368187239831599224292335822903427629704873275705392103424000/14018523281681108442811924728203280340246149877421351586963008177212026149099151327958099313863936663341959867849066083487526865008957322744210942556929298249936879260155404781347052846854607257862645152670450554078045902904878516805660150184864894412940735967869535287748526498484983260580500162098152317688314004841584299993402500805217735616984873052411584878396068409479242193360933591198518132351535297087779407831017474448451244098043297750178748218570650569594613426320561057278688242653541605226108994173804819870683343957057930148812726519681951453157931667409156663251658823979048160669385961982459004707578779339146542311665820351578088374836437124594399383697999334325401668653594500346924882465749182275001559185964679902724308029708774144593389*t^26 + 1512516618409140222084863529845345493920493020611025532076770772567721800988619069058303302396675765930383258972536251934519974795715626528623346303914333676681849525806673649742026830809567615572303147976956197028468824851298990655413349153250695951337055717494737389545722646128796859355415492392097999865382193521034424831762411133424144026787474548143125019132718786873001578045765445369813841294558653734800755135710890991076131547933924461037012566198201076573096604479808928926596931078151152655816268513409280421600683079804082268121997409065266655769122056007374697916449080246819080179200856588290349711151748357013017365096679419978612831997348967377720516377593320392853380299199337141922835929982194248801890773742419656372350071475180326140617871223636661875292938790562344936102136886981039021732277870657536000/14018523281681108442811924728203280340246149877421351586963008177212026149099151327958099313863936663341959867849066083487526865008957322744210942556929298249936879260155404781347052846854607257862645152670450554078045902904878516805660150184864894412940735967869535287748526498484983260580500162098152317688314004841584299993402500805217735616984873052411584878396068409479242193360933591198518132351535297087779407831017474448451244098043297750178748218570650569594613426320561057278688242653541605226108994173804819870683343957057930148812726519681951453157931667409156663251658823979048160669385961982459004707578779339146542311665820351578088374836437124594399383697999334325401668653594500346924882465749182275001559185964679902724308029708774144593389*t^25 - 20807069859643205128334362168420009386097311497112996880627597359327718957950612757547359609088617454039469117509617113448240703807621196209813495772364476223142559960275916148823045562367009337878151976568119324099444001892957254842048314277326922129668864364221513601511628927724427623235681672455907701232077704395030387426012552398401235870714137551441073792964854635908635763912010351274360106207176281450032092042486948976733701187762811668214777366631251525039869875051520804614679470845608582465793901282247437914485033918374318367017164505494168788342759128012794977198471142813495698754431680706483582708050757317647848702094670838712788185301957983345487270547509190731698549599017349682788302006089625192311290525822653638420854917233052281138082894454352152195630157883346875197197848428233931655732068247142400000/14018523281681108442811924728203280340246149877421351586963008177212026149099151327958099313863936663341959867849066083487526865008957322744210942556929298249936879260155404781347052846854607257862645152670450554078045902904878516805660150184864894412940735967869535287748526498484983260580500162098152317688314004841584299993402500805217735616984873052411584878396068409479242193360933591198518132351535297087779407831017474448451244098043297750178748218570650569594613426320561057278688242653541605226108994173804819870683343957057930148812726519681951453157931667409156663251658823979048160669385961982459004707578779339146542311665820351578088374836437124594399383697999334325401668653594500346924882465749182275001559185964679902724308029708774144593389*t^24 + 255669379654658377966304210525193417999258748103401116346660212523906504017315600860356037992292803368737802504031341080409379939864597646363726316138515099187388509289673805754897029580772374864351099734781523566238389074486996870872522522695849682161428161737185512864382603812665500959234609690260134784034903179253999044928082372529532577997510158613354829055039675818425644806537436818071139947602288309343909901755647721366569949912035120089570900552510519127980116616460428679835848086324925224843579850283290017665283948839161037731629260762858915382560010434624223435661306766162978226642980571816866805952926873936162026044730054455514659137696800286202392577776071488647200295770600207869290827665924742514285226419712527166355037678473240050787189295387934905201501248906009782285875726928979317155465051661926400000/14018523281681108442811924728203280340246149877421351586963008177212026149099151327958099313863936663341959867849066083487526865008957322744210942556929298249936879260155404781347052846854607257862645152670450554078045902904878516805660150184864894412940735967869535287748526498484983260580500162098152317688314004841584299993402500805217735616984873052411584878396068409479242193360933591198518132351535297087779407831017474448451244098043297750178748218570650569594613426320561057278688242653541605226108994173804819870683343957057930148812726519681951453157931667409156663251658823979048160669385961982459004707578779339146542311665820351578088374836437124594399383697999334325401668653594500346924882465749182275001559185964679902724308029708774144593389*t^23 - 2798683196293654015171831542943796231082673525447121239481776273494419118297082272434245629305709617157555393241941199951744255289593974903883083460381732057194491059724293501831108517915116652836282010451411457094368617996032007288813104038466096202231464594268684677160857267076250373873214834627577501523444922252817564154647163686691513307626102336976364157506811235611891870382987418905505090633089161896937504365068470133075053870459394191845380037304243403133672362052846158500587037020146999979565652542232150920359553422822836951022110041699330321285113281385803602075109774342227547204967591107274896094732188648116116948030207653433341528437570747798090711902735120564120265103671855756363034683524482561792018061508680433989303439281271086188332551839532719699275441004234038837322694635838778749028019617975500800000/14018523281681108442811924728203280340246149877421351586963008177212026149099151327958099313863936663341959867849066083487526865008957322744210942556929298249936879260155404781347052846854607257862645152670450554078045902904878516805660150184864894412940735967869535287748526498484983260580500162098152317688314004841584299993402500805217735616984873052411584878396068409479242193360933591198518132351535297087779407831017474448451244098043297750178748218570650569594613426320561057278688242653541605226108994173804819870683343957057930148812726519681951453157931667409156663251658823979048160669385961982459004707578779339146542311665820351578088374836437124594399383697999334325401668653594500346924882465749182275001559185964679902724308029708774144593389*t^22 + 27211015554193178311085798781741863673815635753749536809303995959213470178577476717881510811311240368923926477622554479317173454300338636249998698106523390589336300204566136048595964750871369803137936903012137651677244575097063218357331247607791913213941969008020973613234307055007099354936548265836227328158211881499817860249084253138263808238972008038287038604546767272715843997138667587322155514649930539192736481233713263430580184677793136202458896930023114447242685740050068329340599835072404828183589639604313316614981341784657058719402331279428522657359728987282595254825408857603146210829726545318429440772240630480470343924282488688252890892652707911862712856920884186352471416056790600512186822434383829166714634919409747186607097874675913821989295852848704659993817265383269425373166022560481025719502419259713126400000/14018523281681108442811924728203280340246149877421351586963008177212026149099151327958099313863936663341959867849066083487526865008957322744210942556929298249936879260155404781347052846854607257862645152670450554078045902904878516805660150184864894412940735967869535287748526498484983260580500162098152317688314004841584299993402500805217735616984873052411584878396068409479242193360933591198518132351535297087779407831017474448451244098043297750178748218570650569594613426320561057278688242653541605226108994173804819870683343957057930148812726519681951453157931667409156663251658823979048160669385961982459004707578779339146542311665820351578088374836437124594399383697999334325401668653594500346924882465749182275001559185964679902724308029708774144593389*t^21 - 13777021584315979185451905667576426174604724017013587044060446437567450375675451218563324180662441083376939807337070972901601069849126874615201041925896375911472281907645687548668163432000686328247561981703369439433077081289002186701517667835962372664427143161252755144055523589239234794291320436218409373916527042739228804065821023732595467695883406550963773944067134118353975794185710118099017774994897385488658183535338674487696222865279457762815657992288195079913218435918416926053268248904623645392249936241651582717214284118927862101200394435925578792893050952326503959561100019723923467340332786848955040586206952561076138743861040059525670858731027964945857816140189409528986222491430933910974453396384655665812547926005926356268899662887884122268771950079616477341646960149633037305321068965420865996542172447165644800000/824619016569476967224230866364898843543891169260079505115471069247766244064655960468123489050819803725997639285239181381619227353468077808482996620995841073525698780009141457726297226285565132815449714862967679651649758994404618635627067657933229083114160939286443252220501558734410780034147068358714842216959647343622605881964852988542219742175580767788916757552709906439955423138878446541089301903031488063987023990059851438144190829296664573539926365798273562917330201548268297486981661332561270895653470245517930580628431997473995891106630971745997144303407745141715097838332871998767538862905056587203470865151692902302737783039165903034005198519790419093788199041058784372082451097270264726289698968573481310294209363880275288395547531159339655564317*t^20 + 1777913269208665785101506609069976168941585994057415101629681126163229258067970446780767200630706889146188217463921455565605422234305166664481996238512657779121632656688664182878965348219629837951576904931127479634355765616618612556185066817005136158150333445072471770522533071556763246393852575794038813787972727228362872205162126575392018475727330766398063669043088789369059774302590309771374483696585617797776796935757457123759055819268642407022232094487986695611379541352141252055552977878268423550267116437686127808870250468667061281274548446450391651196964147677160341775573415944513556553957053193725520193284251051322176607905014420325130694028152064064472519808985710751264429755450032453350718761705601305527957689066531154245602142606364312689303397828170059925205654433382514892902561684553542877655580826526547968000000/14018523281681108442811924728203280340246149877421351586963008177212026149099151327958099313863936663341959867849066083487526865008957322744210942556929298249936879260155404781347052846854607257862645152670450554078045902904878516805660150184864894412940735967869535287748526498484983260580500162098152317688314004841584299993402500805217735616984873052411584878396068409479242193360933591198518132351535297087779407831017474448451244098043297750178748218570650569594613426320561057278688242653541605226108994173804819870683343957057930148812726519681951453157931667409156663251658823979048160669385961982459004707578779339146542311665820351578088374836437124594399383697999334325401668653594500346924882465749182275001559185964679902724308029708774144593389*t^19 - 11853481318363144124179841461892109085529891563512159928625719289818822145813285157647094154035782341149172547406176891458328726619214278223264779672492559881077836069286071412558822912847060823989825656071244903596817716046442485052540199695714881332717208089265327287891758851743698991138419362953209096728463772647969852429761729720538282662943192998259049050490005394046353424839312656458042608524619525933857838035843611895626796528807641444106559031353740873590693550362843288450482860074517722087025722845179469288530288471229476062729040735305225886840110860680494131163275130489084778971682390811920122183446026651104414139826171806564764234518399525216299089769274090792906379184498030676553150323773824427301733872233998552304348222957703111003073136332592506451614841231177554565105979228275704475819941247307481088000000/14018523281681108442811924728203280340246149877421351586963008177212026149099151327958099313863936663341959867849066083487526865008957322744210942556929298249936879260155404781347052846854607257862645152670450554078045902904878516805660150184864894412940735967869535287748526498484983260580500162098152317688314004841584299993402500805217735616984873052411584878396068409479242193360933591198518132351535297087779407831017474448451244098043297750178748218570650569594613426320561057278688242653541605226108994173804819870683343957057930148812726519681951453157931667409156663251658823979048160669385961982459004707578779339146542311665820351578088374836437124594399383697999334325401668653594500346924882465749182275001559185964679902724308029708774144593389*t^18 + 69082773522272364313549053911555932261920452401485445668874428329752144241259511586809639743837192886254390624438331736232180705310835160287680855820024376977093969853508013704328349513469805314641956558800440455356943698822533621180828370320222833740937728097742727292438578952944890007674697886740611143585784411808639796282748285393459687132126612115505276733648261432829157059507922327066619257898173016620782360152240664569279794072728053919047895264360661595731861086043282556688229909442806461371307122082321327952837118971521300521777909967422438415502823793432388372739808246187643407952041221987237939465540916877822761771146076676861053504506536275372651759557556225246968472697952368272366781971813023173953661666056272741601012885302736258980982803757385662302355621892497305336945650757291122241849624768781746176000000/14018523281681108442811924728203280340246149877421351586963008177212026149099151327958099313863936663341959867849066083487526865008957322744210942556929298249936879260155404781347052846854607257862645152670450554078045902904878516805660150184864894412940735967869535287748526498484983260580500162098152317688314004841584299993402500805217735616984873052411584878396068409479242193360933591198518132351535297087779407831017474448451244098043297750178748218570650569594613426320561057278688242653541605226108994173804819870683343957057930148812726519681951453157931667409156663251658823979048160669385961982459004707578779339146542311665820351578088374836437124594399383697999334325401668653594500346924882465749182275001559185964679902724308029708774144593389*t^17 - 20593825361465716826097252352931025740201971040888914646607749923870704386190168976635118855639310125974443982037539132576641778780281781686086183274833402476886648052736315535259256368493725208579476406578168433419550048686991038755071695555052842252273922170920660722329199806662606969465395701715981970393990847727170419761213370119013019095947821024869095051472959008942103553859124142585745874048913839528773909233387514288053035564716064067262283078370943097915331815563420300593804344497987535989345464686203266267693886301795788393181642792268425815396445937327935126580940528175678716728485337172031058279130428670532506499535665802748682017437909637548054843381550564807023859259005138801954442954015967432386406189765228493730345903811618399644951798877028220010318952371277603925588440806856715540441218633133195264000000/824619016569476967224230866364898843543891169260079505115471069247766244064655960468123489050819803725997639285239181381619227353468077808482996620995841073525698780009141457726297226285565132815449714862967679651649758994404618635627067657933229083114160939286443252220501558734410780034147068358714842216959647343622605881964852988542219742175580767788916757552709906439955423138878446541089301903031488063987023990059851438144190829296664573539926365798273562917330201548268297486981661332561270895653470245517930580628431997473995891106630971745997144303407745141715097838332871998767538862905056587203470865151692902302737783039165903034005198519790419093788199041058784372082451097270264726289698968573481310294209363880275288395547531159339655564317*t^16 + 90209655750650734502351146217468813618970712553463673425010386289618783507963380939077378226878695556414567241552158934147758619978080028219906460260898040388572690203148933041942329856009592717028138397125496682823105685102431410251681290714314152505457130934070135799001357495187195415570720658311516986068898745655802386007284000746584257930353415359241263267055685243360683849339642042524507997403838856785797270278324696078907621084775837376426677747785794682034532787793875655386374573151797461625070930993828917657459788230804673723321891902649772034207801592406005230891228520098214818476555411247107354839861434664801669203594670621217723357983106188567632883756515415385945407561689590212367265376187440610105557652805838518530729558096524603491023958875519607158485247542941540860235958078030067437496482108733915136000000/824619016569476967224230866364898843543891169260079505115471069247766244064655960468123489050819803725997639285239181381619227353468077808482996620995841073525698780009141457726297226285565132815449714862967679651649758994404618635627067657933229083114160939286443252220501558734410780034147068358714842216959647343622605881964852988542219742175580767788916757552709906439955423138878446541089301903031488063987023990059851438144190829296664573539926365798273562917330201548268297486981661332561270895653470245517930580628431997473995891106630971745997144303407745141715097838332871998767538862905056587203470865151692902302737783039165903034005198519790419093788199041058784372082451097270264726289698968573481310294209363880275288395547531159339655564317*t^15 - 339257055393660651029268854855699414602436659411226371955847182161776980906460635307417018573518546684375374190535997695438853695371925869165220818256433983512469767216905098069493933847365627809220401097653485526356299190244607008821544009157849795288467096793177325969912886190654249050463173085629439218826541074526240439087708291133411991524770723904944565830255694054405814908738176706061227218164693771501249042457639440879511463429708304091439957932649922283071741083918191029203765461831936465435779167456757824133900662665700563628332600933114263393021440115186291218097995367132695248083066978391163194824895629728823644296867320801127410769699955604801548310551309107203743304388243738084544989646618081542685504893138253123843081004238569337680057157507318884630078830880444896333526506853757405420011560246192373760000000/824619016569476967224230866364898843543891169260079505115471069247766244064655960468123489050819803725997639285239181381619227353468077808482996620995841073525698780009141457726297226285565132815449714862967679651649758994404618635627067657933229083114160939286443252220501558734410780034147068358714842216959647343622605881964852988542219742175580767788916757552709906439955423138878446541089301903031488063987023990059851438144190829296664573539926365798273562917330201548268297486981661332561270895653470245517930580628431997473995891106630971745997144303407745141715097838332871998767538862905056587203470865151692902302737783039165903034005198519790419093788199041058784372082451097270264726289698968573481310294209363880275288395547531159339655564317*t^14 + 1086956715369765335890345415642456628732876134029549554299328303807990923446411472023652464808336187648371684499492334166503533056603410192919799975754260582656858443020152390229487334069739924412655833015560900590555824813149644245881947746009151727064302437271284175329821316196287248820919499419910266850238975672924894967061071348776056623976261734364435188688619483045733453128903430283286740493375168261236339425161218405884757243370750180813480119711010378370414364368199114512344942265073659302017667901638068649466807012864106915401782029204734052467217848671178001884656735059482250477612504476586708026969727589238977969274849918635995630096585446185128803467213094714212037307833595889642177745878710118391368755971987578897757569091271545687571631307660811038304721148527766004857589775522556020097724186683726888960000000/824619016569476967224230866364898843543891169260079505115471069247766244064655960468123489050819803725997639285239181381619227353468077808482996620995841073525698780009141457726297226285565132815449714862967679651649758994404618635627067657933229083114160939286443252220501558734410780034147068358714842216959647343622605881964852988542219742175580767788916757552709906439955423138878446541089301903031488063987023990059851438144190829296664573539926365798273562917330201548268297486981661332561270895653470245517930580628431997473995891106630971745997144303407745141715097838332871998767538862905056587203470865151692902302737783039165903034005198519790419093788199041058784372082451097270264726289698968573481310294209363880275288395547531159339655564317*t^13 - 2940723547262843495129161906697812219035172909428560932942982344696364100750817617582608418915547607429352254518338195588687816945762124385055441451916158461912872143321958977560694221322233621656093625635774770683249404798629090429027755909160836146731701519442594328670271313014059413885242301965958326270783605756498563001938789062479903825317029919931683121401488668906152270829404362258484739317570607041882151364067370466492809419452613321740869034687366562007455593652846264197009079234183949632304663948045277088211489467450689678059647200006899425669665135815604132510839167484827440311372308426237598269731765550986402840215693924154383500047832268905412004615315612736981439372470381910557282040934040826019369344695918423582622535946161485639908899996674502666443359355297423563241851776315860672927981113407407390720000000/824619016569476967224230866364898843543891169260079505115471069247766244064655960468123489050819803725997639285239181381619227353468077808482996620995841073525698780009141457726297226285565132815449714862967679651649758994404618635627067657933229083114160939286443252220501558734410780034147068358714842216959647343622605881964852988542219742175580767788916757552709906439955423138878446541089301903031488063987023990059851438144190829296664573539926365798273562917330201548268297486981661332561270895653470245517930580628431997473995891106630971745997144303407745141715097838332871998767538862905056587203470865151692902302737783039165903034005198519790419093788199041058784372082451097270264726289698968573481310294209363880275288395547531159339655564317*t^12 + 6649635535645803298478363285888880231327864907949735057904450244914820063003177482685324534937726582052944453259788392523033694081611011966496034617005719752729320490749268227648184002102450562869051480768475543394532140715028114108186027406484730990214880971326376274833563363768984069829711854959497373753524373151823999901775207305306698806326815597528527271807943005750914872190507162157868762534684124004360392094161787994895116182125769446411061831274147096986969370815882342064544860270114473813651613519079022587999453022607299792057704006641444788365265923255736806628521172795236566917821663977378265860400745359155667352640040624592438479991014755418867990120377204077774288377608726106934065723561210865214586067359861943561259856625171336244323070952455208400250523528161239766395731686325488619137346293004721192960000000/824619016569476967224230866364898843543891169260079505115471069247766244064655960468123489050819803725997639285239181381619227353468077808482996620995841073525698780009141457726297226285565132815449714862967679651649758994404618635627067657933229083114160939286443252220501558734410780034147068358714842216959647343622605881964852988542219742175580767788916757552709906439955423138878446541089301903031488063987023990059851438144190829296664573539926365798273562917330201548268297486981661332561270895653470245517930580628431997473995891106630971745997144303407745141715097838332871998767538862905056587203470865151692902302737783039165903034005198519790419093788199041058784372082451097270264726289698968573481310294209363880275288395547531159339655564317*t^11 - 12417285973113624393342577915381830993488452352401808845479198108654693735777345162609128964272982004568205814198801351680111080155925538352585174967862905886693845921483386791936608732683434939222131378117239735983965174870105359670516158973832463843424434571894719722197785563497206178336482228529579875406412986180133460977908632693593192703219656246617460398516640187343488095728043269999174662354368767199285965544690150739679429822369864703401569672011857297263394243651348472581660125253360976480818822627914506953067725731631044920889133486318810610343214120484763127207082047967889596155743246886178813968576137084634519142494345165674802301193208150915430731725442803803735216437027110351811180607746998295636557849667227903399727480529990204260690478896353476780006867113684695898362153999753717468713974061730721955840000000/824619016569476967224230866364898843543891169260079505115471069247766244064655960468123489050819803725997639285239181381619227353468077808482996620995841073525698780009141457726297226285565132815449714862967679651649758994404618635627067657933229083114160939286443252220501558734410780034147068358714842216959647343622605881964852988542219742175580767788916757552709906439955423138878446541089301903031488063987023990059851438144190829296664573539926365798273562917330201548268297486981661332561270895653470245517930580628431997473995891106630971745997144303407745141715097838332871998767538862905056587203470865151692902302737783039165903034005198519790419093788199041058784372082451097270264726289698968573481310294209363880275288395547531159339655564317*t^10 + 18877816529246726401821437747689549942543114874102120926713279341518358579757131618277358479429702451692324050295806904764893195472188930838064255596408218849349522008878761216504351267500299758924153129895735333325869058911066822332101082529690040556948557102797689355912187434769832916592270994759990680292273276432409124676533793844387051386881013639687986548982269967331411403905900866523432116963350882405134830467238932546635657790558666608665959133282863031113404260342896583636636461359480696514067129805669867451538349591813056928996637459769889485157635428699452289947417928439433040262722779812309209475958983895815166864251622015845410849620950336206251811686506518717570107814080153090500654809331843838900991029975137329317592750928520454157675279638433814906793754270833505036882516086898066346363739905285790105600000000/824619016569476967224230866364898843543891169260079505115471069247766244064655960468123489050819803725997639285239181381619227353468077808482996620995841073525698780009141457726297226285565132815449714862967679651649758994404618635627067657933229083114160939286443252220501558734410780034147068358714842216959647343622605881964852988542219742175580767788916757552709906439955423138878446541089301903031488063987023990059851438144190829296664573539926365798273562917330201548268297486981661332561270895653470245517930580628431997473995891106630971745997144303407745141715097838332871998767538862905056587203470865151692902302737783039165903034005198519790419093788199041058784372082451097270264726289698968573481310294209363880275288395547531159339655564317*t^9 - 22966891470427967861853248118613782448857671044469148899151474182355979556625084637349331584180932561553273842185551380901287740674509274477290217081128372916693972741810726883387754432540978438489990935154811306247999785322355071646688813957843990537390431462317015220997285884361932219109284780942563319084739111995996658081789979045076510555247220237747860693028031219766880004653407980587744375347942373988625924966525506015095963479138011244391412435064339821085694905050866083963439824559083404938376301664358479699982790291974389656994952625404925199974111987707984412488833674685967190108962156187255805422611970701748982161281850850022025397481269811458945447120642831770716642017572008360140456755865523167833709757664585397399162838710151724604016251668981801995503540603528532147448127018924767745939518608276822425600000000/824619016569476967224230866364898843543891169260079505115471069247766244064655960468123489050819803725997639285239181381619227353468077808482996620995841073525698780009141457726297226285565132815449714862967679651649758994404618635627067657933229083114160939286443252220501558734410780034147068358714842216959647343622605881964852988542219742175580767788916757552709906439955423138878446541089301903031488063987023990059851438144190829296664573539926365798273562917330201548268297486981661332561270895653470245517930580628431997473995891106630971745997144303407745141715097838332871998767538862905056587203470865151692902302737783039165903034005198519790419093788199041058784372082451097270264726289698968573481310294209363880275288395547531159339655564317*t^8 + 21890612807485248881846950678814096864505479795654250390817458696647476170858641394798350692201020947837037808509526356356426326162326341971120271556559935419362742241408420008497143911098038559382818828237396113605445201486612193374594706997582503827375768668356737424490873109460009475269329612769897656981772377865396521424578146630342364095823794559733254656659452775253731244450868249932125357730541151335948394612065976813784464273782543679216965402872611680833975294136230649460073827771114047374652298382905505953420409134572239296911685212629800496200832995931622519000783249685290248066763336291911272211766155789948797481818186684285139516252396184971805943339157348025503476764659404109476814339966727279882989257626722101049445818957184475596851964148638519925571679478629520528587609760158274285621812030107497267200000000/824619016569476967224230866364898843543891169260079505115471069247766244064655960468123489050819803725997639285239181381619227353468077808482996620995841073525698780009141457726297226285565132815449714862967679651649758994404618635627067657933229083114160939286443252220501558734410780034147068358714842216959647343622605881964852988542219742175580767788916757552709906439955423138878446541089301903031488063987023990059851438144190829296664573539926365798273562917330201548268297486981661332561270895653470245517930580628431997473995891106630971745997144303407745141715097838332871998767538862905056587203470865151692902302737783039165903034005198519790419093788199041058784372082451097270264726289698968573481310294209363880275288395547531159339655564317*t^7 - 15911539436079530781848979456958010916421284690641048424918674752489328868135450892218876951631012264551699598246215085376110961633287629891397901005029987543564779832716252970383561391939165012444386730899046315389230522640251339501736104502278976933218843779053389090028082890791065804718133526853895757811782091703732605922499028704162503145265776552858092960201840662236909630383644299094420370568321356395814754191711607358687247959739467823727677681702260505732109254156604342453626146422839128418064717670769980221152614132549836546479971919484024029003867252669548055129016923468602644077081360186782040781083359739974998474001571360526933093827899930173174101553689118944593102295548166487452931544518155345004054923040475575634540948026935154335994533231862828490920008177397035323905027858883348060303414636456810905600000000/824619016569476967224230866364898843543891169260079505115471069247766244064655960468123489050819803725997639285239181381619227353468077808482996620995841073525698780009141457726297226285565132815449714862967679651649758994404618635627067657933229083114160939286443252220501558734410780034147068358714842216959647343622605881964852988542219742175580767788916757552709906439955423138878446541089301903031488063987023990059851438144190829296664573539926365798273562917330201548268297486981661332561270895653470245517930580628431997473995891106630971745997144303407745141715097838332871998767538862905056587203470865151692902302737783039165903034005198519790419093788199041058784372082451097270264726289698968573481310294209363880275288395547531159339655564317*t^6 + 8512271299368384142336856730818169515187006107210620427609168362192624097814421551768796841991664341302486262063979240496008662017857792489968712352421063548939036821761987273650369828933763375810328516753924359832620420746021127092474925334182186809035054747073251391819322340851077848803528647273356977103075726873827205931591228401507961281218881032083348811963135675782919632913829278232702832157488374086683654568465347832185991188741353167615952893088345910784611418789149673663627555707335616012312854631482645935297873087118982388660231148692595993337665297919819172240158937011091303428907712259431540748102425374655774495855851812486166464958557761963197299001298165550427187780266813309266034822743327273863726437949349221704592555532574754716140734799377339742636392467608848957091080245744964860745134966298797670400000000/824619016569476967224230866364898843543891169260079505115471069247766244064655960468123489050819803725997639285239181381619227353468077808482996620995841073525698780009141457726297226285565132815449714862967679651649758994404618635627067657933229083114160939286443252220501558734410780034147068358714842216959647343622605881964852988542219742175580767788916757552709906439955423138878446541089301903031488063987023990059851438144190829296664573539926365798273562917330201548268297486981661332561270895653470245517930580628431997473995891106630971745997144303407745141715097838332871998767538862905056587203470865151692902302737783039165903034005198519790419093788199041058784372082451097270264726289698968573481310294209363880275288395547531159339655564317*t^5 - 3191074076754704494091214744885658227265041659003860543016971269790959071597372297245481745744590553533562395402362869765500164044877097569384663475752075659133935989356366749809013559815796922732735051223636392391677186952347697507442043839902276823045139738195057544602692979515593645157047098642577993357207244920756921220278125618622592260741639478331524313318609568206648433201497801538041910992760899308223469863410791287600231028548659153861465081971727804164565947289178935094417723879837979831441199536056705735231513678883748242705201061558967180611465980513342007304913074371464346057780763362374142941361238912600272348962362116982710523993429823670182487354308868670119537578804199774835894249724117676637982928689387185282687201526273338986048249969587262586100178892118529205786950575724403956084345149805559808000000000/824619016569476967224230866364898843543891169260079505115471069247766244064655960468123489050819803725997639285239181381619227353468077808482996620995841073525698780009141457726297226285565132815449714862967679651649758994404618635627067657933229083114160939286443252220501558734410780034147068358714842216959647343622605881964852988542219742175580767788916757552709906439955423138878446541089301903031488063987023990059851438144190829296664573539926365798273562917330201548268297486981661332561270895653470245517930580628431997473995891106630971745997144303407745141715097838332871998767538862905056587203470865151692902302737783039165903034005198519790419093788199041058784372082451097270264726289698968573481310294209363880275288395547531159339655564317*t^4 + 779599094838562904753086997540482695197752399242276735989471025662619468790859870471014069310510537363447545186333149476356160360275197466497743746285869890338386123228824154664249762801951610804456660938132894239207577185943383967324868757521592856270703738345337651210351720006925967807452303470435812363293476538860144476224994534893439603367455103611276723195974160918354412574067759329370019130980872099848803482920574210360513662527098066184661217917711123346143021254177877600779139823038940546309886790772000979454675467723945338801845156251398121607484053917254254549258780797935711373456754007185698157398063668900115240539100855345740540021195385690860716202811868048109921452515236069804378575259554996675473416212329697471035019371468529204954782535539580952445544834729584123223256792119313635819081088366542848000000000/824619016569476967224230866364898843543891169260079505115471069247766244064655960468123489050819803725997639285239181381619227353468077808482996620995841073525698780009141457726297226285565132815449714862967679651649758994404618635627067657933229083114160939286443252220501558734410780034147068358714842216959647343622605881964852988542219742175580767788916757552709906439955423138878446541089301903031488063987023990059851438144190829296664573539926365798273562917330201548268297486981661332561270895653470245517930580628431997473995891106630971745997144303407745141715097838332871998767538862905056587203470865151692902302737783039165903034005198519790419093788199041058784372082451097270264726289698968573481310294209363880275288395547531159339655564317*t^3 - 110294457309196441525776157260984009705406731062127618093266582320465499823012236004767148276944536026285099222480547886952978477278016207593599097799397562532230111750197622776559605538094834748739703235625665414859630688278589920671045430106827023158579671238386831017442234917569726906721621173641080597312625275002643447634036792417959472009195355551717076201103907915955790567352882760974344966509037197003398156980988928263303477353771964036677346218638409801839874832391325446993029793145290628945463553670273505642559314569999274222784601228629238012278927615933159612517848136726670417579543678563779477269717380310887571636889529581094621212943861752642044382661458610387175480009862711566559799214232786713478164553664508532396712975070104704423330627290796856575454155621427024966927436101429729538915028084719616000000000/824619016569476967224230866364898843543891169260079505115471069247766244064655960468123489050819803725997639285239181381619227353468077808482996620995841073525698780009141457726297226285565132815449714862967679651649758994404618635627067657933229083114160939286443252220501558734410780034147068358714842216959647343622605881964852988542219742175580767788916757552709906439955423138878446541089301903031488063987023990059851438144190829296664573539926365798273562917330201548268297486981661332561270895653470245517930580628431997473995891106630971745997144303407745141715097838332871998767538862905056587203470865151692902302737783039165903034005198519790419093788199041058784372082451097270264726289698968573481310294209363880275288395547531159339655564317*t^2 + 7226735390191825612964765491313736702585682296403199264813336648601867028789472359429968902518245311002107592641365877485980994035491280332152607706174691888230153157274478697125607310468215068527866776776979201469652082157415203962562071459746912668277988469772929533369271060391515248877986529759374716799823870930797910764090348742879854250721976352504523401155515209977321657065505955156757231734211361242107389463398882417811610495352450695562611954479073056706924787158613360841640586314289730599336108846421442211610084389233138067631463880704253660798156882533790142730922095842191087318113676007417863994886045128996852233779045734518360921230124607956359295010487619067566809233630914110210314201872646904725840246300859970458184834898137398352510346350786471386076890104287527790294768033283571124934075794587648000000000/824619016569476967224230866364898843543891169260079505115471069247766244064655960468123489050819803725997639285239181381619227353468077808482996620995841073525698780009141457726297226285565132815449714862967679651649758994404618635627067657933229083114160939286443252220501558734410780034147068358714842216959647343622605881964852988542219742175580767788916757552709906439955423138878446541089301903031488063987023990059851438144190829296664573539926365798273562917330201548268297486981661332561270895653470245517930580628431997473995891106630971745997144303407745141715097838332871998767538862905056587203470865151692902302737783039165903034005198519790419093788199041058784372082451097270264726289698968573481310294209363880275288395547531159339655564317*t - 124731863357199111793846014207660405407100665364137440639525337809199023395947834683328948883538251798669233743708200439704089146109129411816778081439683928798567801285233521933484890149523546159331869854866623075773611199049130839711292382180337268773878581457687172771530825107609481620845071316644911405288337230559023883865324743813517377975502119485949846715849969612750041011276287681592650834875407336743000886141650070460413803764730700186112624955152275059800939758531858105495846832430893342241960375224217977776175068794157976952679485952055361780823321563295133007582479153178387967307103988074263924240035575722344652398151767876588784946023927761352219982967196936305777915267199003233879012963995959670357378439233877730607695210011224866174463267070080512133609901823946703822070607463842047431720956854272000000000/824619016569476967224230866364898843543891169260079505115471069247766244064655960468123489050819803725997639285239181381619227353468077808482996620995841073525698780009141457726297226285565132815449714862967679651649758994404618635627067657933229083114160939286443252220501558734410780034147068358714842216959647343622605881964852988542219742175580767788916757552709906439955423138878446541089301903031488063987023990059851438144190829296664573539926365798273562917330201548268297486981661332561270895653470245517930580628431997473995891106630971745997144303407745141715097838332871998767538862905056587203470865151692902302737783039165903034005198519790419093788199041058784372082451097270264726289698968573481310294209363880275288395547531159339655564317
-------------------------------------------------
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 roots: 424
 current precision for weights: 106
Linear system for weights solvable: 0
  current precision for roots: 212
  current precision for roots: 424
  current precision for roots: 848
 current precision for weights: 212
Linear system for weights solvable: 0
  current precision for roots: 424
  current precision for roots: 848
  current precision for roots: 1696
 current precision for weights: 424
Linear system for weights solvable: 1
  current precision for roots: 848
  current precision for roots: 1696
  current precision for roots: 3392
 current precision for weights: 848
Linear system for weights solvable: 1
Sufficient bits for target precision reached
Positive weights:   56 out of 59
Indefinite weights: 0 out of 59
Negative weights:   3 out of 59
Extension rule has valid weights: 0
**************************************
*** EXTENSION WITH INVALID WEIGHTS ***
**************************************
Starting with polynomial:
P : 1/2*t^2 - 2*t + 1
Extension levels are: 2 9 48
-------------------------------------------------
Trying to find an order 9 Kronrod extension for:
P1 : 1/2*t^2 - 2*t + 1
Solvable: 1
-------------------------------------------------
Trying to find an order 48 Kronrod extension for:
P2 : 1/2*t^11 - 323973083/6432562*t^10 + 46399826177/22513967*t^9 - 1004895723537/22513967*t^8 + 12593185079184/22513967*t^7 - 789705857808/189193*t^6 + 59359713737184/3216281*t^5 - 150756797812320/3216281*t^4 + 207904046051520/3216281*t^3 - 143169306546240/3216281*t^2 + 42923750843520/3216281*t - 3648154826880/3216281
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : 1/2*t^59 - 239076412779595183807037429388654847365792563429846124755681239203221164822464650463535593660780254195430866663838090153400679845272094337105057572879406122544076090496876242684222036964964969038525733025470929649799199127022439082324014972277948855188867268761011287463842309592235944770503776056962683991509351016556635557699967774353274233064837972576681997456367575544394597962408719359539779715584179900004797270343890809297034398694058843949456727179417154408271629255402224837782658787731999618619512297333252603544620645624393756982574512288932083520327741577698863280924207951937494005084572778428974727429619591791869127259751624295640125902121128454255024194183481862471984440015648058764271245497138145649275919370198697566757586169935912116799369547731/162530758927810771285961455298788832264813861678823150299249116806596231172655560496346203444938481674786682707842072171954386472913851199896381668005038283909768178142241763034937730706432316547659507900061203723980864198279161523844823781243323585823634892811479392126156416223434895923170318879365977971278312572133328374123508594335694426743322618169659915080124017139502333989826664056355619226483700234435714454392816598755343724072713994115572406846108122703879948064760584898089111485325161370991507678451093081580702689838129642145334751269192545147913059751941762353739732405213084374800860843224629700579668367658065011561453521156196356617853652022547466454594604282168706946369774637022247087307896019296368077202074498792185627296443527432415752066*t^58 + 1186973622436997674335338118645830345277072861326526007122339197559785040326808119777649120048286175040398044203490375530004775236227314983088751445006179658225881777153360840709362165809837978222273441483987889713840100700709219601077589281939962291095920346915510098828879283177169163574881225147663730892559065547355188939027470089518948991889228678525126134968364612743882328378761698255358141968308726139501829047200127268547352107504242044391332384236604944594048245033049303014914052628014963260138522425579468708857023143163215484616558276235251087614849595120978719636732715629651497611441452679367026826291805251812483893810187688788360835999692825647005607147873779458425487367457165075075461619409079457503095525531621922949386817053876720615715074618424745/568857656247337699500865093545760912926848515875881026047371908823086809104294461737211712057284685861753389477447252601840352655198479199637335838017633993684188623497846170622282057472513107916808277650214213033933024693977065333456883234351632550382722124840177872441547456782022135731096116077780922899474094002466649309432280080174930493601629163593809702780434059988258168964393324197244667292692950820525000590374858095643703034254498979404503423961378429463579818226662047143311890198638064798470276874578825785532459414433453747508671629442173908017695709131796168238089063418245795311803012951286203952028839286803227540465087324046687248162487782078916132591081114987590474312294211229577864805577636067537288270207260745772649695537552346013455132231*t^57 - 1081799303359652900054303043554204435382344184904241487925920804621802404376399875863003394905309333328286049695673406019202660977218274199227193916824880254958233738480958347432576293704309240402855449582065080001421860299329088344112035334771648614564069178981962027239972985406746240736334620086605870361882303058756664623091158810577295525683294156903732888812800764105945911726861803192750042736504682574305830518379098514106107011826334928684906589696564038527388550200611031429314784731342393127464466250181129319797768648816342557247388194622879143764366102611365741578073539259250843955414129033530823776753177657151476861956906314671037452447675157828589360301591654911686387842677905900732410434462736717066600092897660405218138332638279740643962125261794288185/568857656247337699500865093545760912926848515875881026047371908823086809104294461737211712057284685861753389477447252601840352655198479199637335838017633993684188623497846170622282057472513107916808277650214213033933024693977065333456883234351632550382722124840177872441547456782022135731096116077780922899474094002466649309432280080174930493601629163593809702780434059988258168964393324197244667292692950820525000590374858095643703034254498979404503423961378429463579818226662047143311890198638064798470276874578825785532459414433453747508671629442173908017695709131796168238089063418245795311803012951286203952028839286803227540465087324046687248162487782078916132591081114987590474312294211229577864805577636067537288270207260745772649695537552346013455132231*t^56 + 712180972682003169302960442975705321564111325449674688489672717747445049688126593904866974318826546808500314244421861272520518462578847928855411152646949826450427286325760424383192539301494611288334324667057788731285483871265805550560331565431670615166066295728559504342305353466607750296520122240954457424986068516281549417425746391407808312144873053373369965288623167813539223786632132576780704651149763738029557042101847437693570829217661736586239446573178558924585600890237243979974447568021607808114784194806611866904018501172892166095881184700478165237922830380223453755608124858447352058593408495353896900718255852690296680742272175972034796813295912770263459912385585357020254807691359915383357683493926225032662718956504383227820356304388441033571255253314931997520/568857656247337699500865093545760912926848515875881026047371908823086809104294461737211712057284685861753389477447252601840352655198479199637335838017633993684188623497846170622282057472513107916808277650214213033933024693977065333456883234351632550382722124840177872441547456782022135731096116077780922899474094002466649309432280080174930493601629163593809702780434059988258168964393324197244667292692950820525000590374858095643703034254498979404503423961378429463579818226662047143311890198638064798470276874578825785532459414433453747508671629442173908017695709131796168238089063418245795311803012951286203952028839286803227540465087324046687248162487782078916132591081114987590474312294211229577864805577636067537288270207260745772649695537552346013455132231*t^55 - 14801000176019888030997878069352678919903147359273684045723003461336870971645703342780357246706185393331530399210921725975910972172595826830837397113999889403160391016914138054083240279843929170380448118085057079696370397448107109623354809648444464467211577115010688383586153285534888996954813221984007085723732091253495454940295486408511606751432808450952320879755862425517930381771464452288117154160339846868420620020423590523183689817002293257772639548544074417581503176258304169329583671325057363283467539744953974643676197487014349351516028350216745881759152022880275140549952384833604188636109627974593442285401597762448089613473575101980830747491389575054204380736269474399602636293383458484625238081116100572977303038954326338446309953825669127557142504402728834390242352/23323163906140845679535468835376197430000789150911122067942248261746559173276072931225680194348672120331888968575337356675454458863137647185130769358722993741051733563411692995513564356373037424589139383658782734391254012453059678671732212608416934565691607118447292770103445728062907564974940759189017838878437854101132621686723483287172150237666795707346197813997796459518584927540126292087031359000410983641525024205369181921391824404434458155584640382416515608006772547293143932875787498144160656737281351857731857206830835991771603647855536807129130228725524074403642897761651600148077607783923531002734362033182410758932329159068580285914177174661999065235561436234325714491209446804062660412692457028683078769028819078497690576678637517039646186551660421471*t^54 + 6013204340183599415783686137466586653174267141214106615300696475028473205952978998576206394188785712610772867462257714342155496216182553519806747546778697346952054689015318259459549573496483696365525612891559030183776682003799602321517266635262013935567070246928265026319329945040824004834146864555172629999027988174238317495919927000787868056948165271249025216959354776819580047601963573506465412840987650263116833602103432444081559897558019916956030710275485342183839213613436168005507244715815333931855440844056336449498072941786524770727487792282986672176424757304366459479072489315885783116110240626287202895073074909844934247632477929712509294652709265583516497552317362810338617614615536504004645742707331485921103849866919804357391776107568351827302826533752153022881592736/23323163906140845679535468835376197430000789150911122067942248261746559173276072931225680194348672120331888968575337356675454458863137647185130769358722993741051733563411692995513564356373037424589139383658782734391254012453059678671732212608416934565691607118447292770103445728062907564974940759189017838878437854101132621686723483287172150237666795707346197813997796459518584927540126292087031359000410983641525024205369181921391824404434458155584640382416515608006772547293143932875787498144160656737281351857731857206830835991771603647855536807129130228725524074403642897761651600148077607783923531002734362033182410758932329159068580285914177174661999065235561436234325714491209446804062660412692457028683078769028819078497690576678637517039646186551660421471*t^53 - 118383105170274578093024431137983291252506081628820889961731686589865189909966356390159263939564937640616027281291634438749589920204200561884382072547594427322601362164614076812251292053443402884443500588143398899437039067260477522777665956398064848896873917927076734601692249416836394384257764714676603490236221422485758329391467102968825770487554642078773083124524320922745041650010182770834465226963452591400479567241352030157823661456706538174289739083876839914938396463898856020319918117444765298765787086586271199369846004325976402994520695232064580345450822802993812234405261083928319867597886592830641603558193854931402936333249548554529877660581869948568237599823500396826982935213309849922284740916239912681236503314929583697017300378242351696180221816237262000354623758624/1371950818008285039972674637375070437058869950053595415761308721279209363133886643013275305549921889431287586386784550392673791697831626305007692315218999631826572562553628999736092020963119848505243493156398984375956118379591745804219541918142172621511271006967487810006085042827229856763231809364059872875202226711831330687454322546304244131627458571020364577293988027030504995737654487769825374058847704920089707306198187171846577906143203420916743551906853859294516032193714348992693382243774156278663608932807756306284166823045388449873855106301713542866207298494331935162450094126357506340230795941337315413716612397584254656415798840347892774980117592072680084484372100852424085106121332965452497472275475221707577592852805328039919853943508599208921201263*t^52 + 166471110619090950159116201547823382223572135253961903432496736572966269787104252629458784220268499219254895345038349737970922366869514903421710670744538598753007855089815812822854747765051940101201691487726872398266258910681993433027488648532329719954599542406165536382150558427616540981402698537202361022210358491668735065277314190340231823931082131119771345545789168483256945852848615582780967949854022741121294573025723245122890431523169952958498796148339589441345827318335857619205736497104320864531175837209147064571205473599754253411511698106145909760353326552633240295363360272962094520793774029690391263325563386922534984826379455866393712163959286814887719080666324808405500989667065404968345841319045409942110724433877535074406746878130780156936760605669357511746860245764928/6859754090041425199863373186875352185294349750267977078806543606396046815669433215066376527749609447156437931933922751963368958489158131525038461576094998159132862812768144998680460104815599242526217465781994921879780591897958729021097709590710863107556355034837439050030425214136149283816159046820299364376011133559156653437271612731521220658137292855101822886469940135152524978688272438849126870294238524600448536530990935859232889530716017104583717759534269296472580160968571744963466911218870781393318044664038781531420834115226942249369275531508567714331036492471659675812250470631787531701153979706686577068583061987921273282078994201739463874900587960363400422421860504262120425530606664827262487361377376108537887964264026640199599269717542996044606006315*t^51 - 8825877912988481885193496513521037519048523738883818018539334805786652854927946696712197968467142311230044258590417867830969360530589530333993901974371084437803202340966879438441414118868274925547837993613031396404909259034441324404892716118846585252303779352572189691120769414299886898003260107726056302375898035900658515872042232441399117541668662499237147039304702147890258751510716427076112257603328322981544749516393943924480683372051728850267157455772737676397999490213981428906716943799794492216729622327575325852166176815114472343408337964329980352285760328895790953762060116789957232613048036573985172682153410716393334748946981229799683929921151470861803449256476080590891001173133030380040493103655392734814610592783958723255476884596196417107863386773175746886947307954023447744/1516005653899154969169805474299452832950051294809222934416246137013526346262944740529669212632663687821572782957396928183904539826103947067033500008316994593168362681621760044708381683164247432598294059937820877735431510809448879113662593819547100746769954462699074030056723972324088991723371149347286159527098460516573620409637026413666189765448341720977502857909856769868708020290108208985657038335026713936699126573348996824890468586288239780113001624857073514520440215574054355636926187379370442687923287870752570718444004339465154237110609892463393464867159064836236788354507354009625044505955029515177733532156856699330601395339457718584421516353029939240311493355231171441928614042264072926825009706864400119986873240102349887484111438607577002125857927395615*t^50 + 1827158727509244921782812443142492091638388061750175508634819264625793777550298267939605007974197090380067200952392298073772140306859498585652666790977561317913787007108004696018161558628209700274990721254454493588188976520707837243727529911986148324109894993297911219230026842347169140269254827049179169892057423667843969946263374108189735957780897287928560677755025984450484236051457025296024787302550842396960254573584733094154663674415425462560520387220357965566009175219547301507820321695249834784512053828289672898874510077017331009125170747563813826684655145430881517136489707957303243336656505872853216718462852795956267893944503204628399538573330295102129330622050599725920559505860524483231463403094816774148205797807280364160799479934760114120099687698136246147736621925613329442176/1516005653899154969169805474299452832950051294809222934416246137013526346262944740529669212632663687821572782957396928183904539826103947067033500008316994593168362681621760044708381683164247432598294059937820877735431510809448879113662593819547100746769954462699074030056723972324088991723371149347286159527098460516573620409637026413666189765448341720977502857909856769868708020290108208985657038335026713936699126573348996824890468586288239780113001624857073514520440215574054355636926187379370442687923287870752570718444004339465154237110609892463393464867159064836236788354507354009625044505955029515177733532156856699330601395339457718584421516353029939240311493355231171441928614042264072926825009706864400119986873240102349887484111438607577002125857927395615*t^49 - 1518192010191201302230294595864679039930988509526017614672904526022008637005996146113054937309727868733430037265452629434193911941767663199885648440911292156080817561310438861899740994891675026376672025971031500713077884574389964053014502665242343446163298885996771506003786582432161327300824044763397631613408159508446643182112437607867763196425720107334694931350323488518816149573270418844233425215839697744283180998740597746374950776922315885006794727605568054418203554705324403832387428231020625388392625718770226860574082007642765895708546911516357018088840327580643431115256738492565011335053155545878100838570335632389008641789798965956210036776034490389343676286776070864928853176633236407596947248197469595264335444703882751751747330573153708039760845347476673821682010283894189620608/6986201170042188798017536747923745773963370022162317670120949940154499291534307560044558583560662155859782409941921328036426450811538926576191244277958500429347293463694746749808210521494227799992138525059082385877564565942160733242684764145378344455161080473267622258325916923152483832826595158282424698281559725882827743823212103288784284633402496410034575382073072672206027743272388059841737503848049372980180306789626713478757919752480367650290330068465776564610323574073983205700120679167605726672457547791486501006654397877719604779311566324716098916438521036111690268914780433224078546110391841083768357291045422577560375093730219901310698232041612623227241904862816458257735548581862087220391749801218433732658402028121428052922172528145516138828838375095*t^48 + 7445870922337100475152942099926741231442657721864458203761543874226889372110390851668998556642393956491094775114801374650311750558963591510467378712693127141720115568404634880433679051506720389203138147728077644319161969464075589922306463304207972115083774812648789748227175109094062741399199163254117309988660936765475375220724646932756025683610792880102286185927187001836009763122578855057978731592511015245044273655306247099933435486693853037704700599149133720264562634278748606374468554824337041507016712492119434500513984820441429605064628303351315029209147645949492823041511523638688424140527578675945681753845919726472503177137689581920213134019219190331655181963593610053945704120282316744500174747499854307427901230462913357308176423285593067270748248543298762810755087564404834081529856/216572236271307852738543639185636118992864470687031847773749448144789478037563534361381316090380526831653254708199561169129219975157706723861928572616713513309766097374537149244054526166321061799756294276831553962204501544206982730523227688506728678109993494671296290008103424617726998817624449906755165646728351502367660058519575201952312823635477388711071836844265252838386860041444029855093862619289530562385589510478428117841495512326891397159000232122439073502920030796293479376703741054195777526846183981536081531206286334209307748158658556066199066409594152119462398336358193429946434929422147073596819076022408099904371627905636816940631645193289991320044499050747310205989802006037724703832144243837771445712410462871764269640587348372511000303693989627945*t^47 - 1039900489632715540009718319636089195552990969423238220685256433284203241320621329972958827720991401614648902505751810318148064511266470954864438575094038812459250603114349176014928479274644314566295710779997204410826370074925430101042728780166051423061124974349117211641300555129329970701170978032187775935939170335073087151442687443491607242794970301344997283824137734676166325731891420768584948078025483373426586600051044069489832680742041594200358129636870984962517865564679552878938863103111311481992816870337585773640943132012561175736114612687643966288632428185919891013789619600856171700938683147391834594657467849009681943305198688341747368597035459376888719296306752305139795990998973921632395297067119094288532826184421187207503937119398173454123146495781645481296373020045551743630286848/216572236271307852738543639185636118992864470687031847773749448144789478037563534361381316090380526831653254708199561169129219975157706723861928572616713513309766097374537149244054526166321061799756294276831553962204501544206982730523227688506728678109993494671296290008103424617726998817624449906755165646728351502367660058519575201952312823635477388711071836844265252838386860041444029855093862619289530562385589510478428117841495512326891397159000232122439073502920030796293479376703741054195777526846183981536081531206286334209307748158658556066199066409594152119462398336358193429946434929422147073596819076022408099904371627905636816940631645193289991320044499050747310205989802006037724703832144243837771445712410462871764269640587348372511000303693989627945*t^46 + 689037073815669016270939464285263466599211372869904223627804474134907503708687273153782504311033708960563354931354949689748467851760543355701803812859280205062238996717114463948952150378200344715734660325692077860804313848795990174117201912138111779974376722033190388826990314602993948821153100847631308608228500362938613217717712343027841074020635020431054169690134498725514693509806178279526285016632907454277020473154058964256617634042955781208702808870119401486345904349904593435244946327772388755997483151270749305437727625267634743200034281852090408359930738697114520621761092200910679997706998959564888883295295545429993548787666813341308280789816143571250506390479354211154743809340518197260754258847168896986162213229065624955858407836718943456718760064005914305997043371574167472963403776/1158140300916084774002907161420514005309435672123164961356948920560371540307826386959258374814869127441996014482350594487322031952715009218512987019340713974918535280077738766010986770942893378608322429287869272525157762268486538665899613307522613251925098901985541657797344516672336892072858020891738853725820061509987486943954947604023063227997205287224983084728691191649127593804513528636865575504222088568906895777959508651558799531159847043631017284077214296807058988215473151747078829166822339715754994553668885193616504461012340899244163401423524419302642524703007477734535793743029063793701321249180850673916620855103591593078271748345623771087112253048366305084210215005293058855816709646161199164907868693649253812148472030163568707874390375955582832235*t^45 - 2844568900499553819596677585514297546907593278348804255908945047749385054193535391850139066694951283469732773489394953371037685365075390151737267801981905803137188903354097899943597388937906886133681036840865926693704448108011055865090914873265820222182390477468909074036395334254048813617283519208563607212687836976150815614961759911355398374746797898779601897028135468403520553257213484268312587799850465682503258687446023957115590162898629651228782074116343792154313352937587187798467558433529718346113851489429671550420907713273563793090598517234234931137768451357284354415208979561985006842138323332428627571770097952993395330390454310077480526226315760764166513563553000304331334468942903518520871805244314763418497687039033632417040633240196309692549864098185581766343320083094133028945478664192/43314447254261570547708727837127223798572894137406369554749889628957895607512706872276263218076105366330650941639912233825843995031541344772385714523342702661953219474907429848810905233264212359951258855366310792440900308841396546104645537701345735621998698934259258001620684923545399763524889981351033129345670300473532011703915040390462564727095477742214367368853050567677372008288805971018772523857906112477117902095685623568299102465378279431800046424487814700584006159258695875340748210839155505369236796307216306241257266841861549631731711213239813281918830423892479667271638685989286985884429414719363815204481619980874325581127363388126329038657998264008899810149462041197960401207544940766428848767554289142482092574352853928117469674502200060738797925589*t^44 + 622358117846052580269974362801584161608940070958495177344605793890913046660161796912958003148705922583004822690340535684890399956281902647151532834091507556130387945579098748454221880847998956424583701226480431334499748986269487911652455717417591681685818804256397676225046178194702519330471847874485075333521378431474017097497715195218833873811914177925799637495077378944495528549086689244916008141066934969350630279023536981620524713273470093850210813968058246208483176669911324019430825628978566371532968618001245071294102244942062911463278985120004198950298009946771658562271410319724205423962047836554389011151582400230418839522207205206337521421593865899547884128687692730338934427464834097831723854525048769986473420289369416960564065880830333076633508035455480257499846859670338725881068470272/96040903002797273941704496312920673611026372810213679722283569022079591147478285747840938399281830080555767054633951737973046552176366618120589167457522622310317559811324678157008659053800914323616981940945256745988692480801322718635577688916509391623056982115874186256365155041120620318237006610534441528482639247169694039254800533016546706711963365282071768001891464673342288266715756033301047724740368320348376723050300717446339473315694632886474604045427527052292696583722163803416293150419413537404072719084736820934051589449803879449515989386341049405584989853420132299937114603080458948745963225541826641251622217252492961377222535228661483456004430740596230177714993439463326831945775921876782369772847647766035681983044022013564234311534811664609308039*t^43 - 173625459202526896816591488229829211758236052972060130570556097228137873922550587346611028549867439577879766856329151190593810505181076280804810114740111710990577958263811390378257090687157340254136439405261013719263555337777156638491356577879617017345951542157651484256809625593085680840276291964177295181663380577074622411135512625078418488347409034554812801776597629834961671251166137008978107830461630468989712715939336794381421887459443933658794330416388202129795514928341304314894239064265448534270180303868619542534218519975132514907787517953553607644809237875563588982402595687318497274574654565016692381337746920375948116420915750522737407942788452195129331281133216575662685969530144593602769667903215243657444087901714598524160594246169136114572373828210891156072854549870159241638051204087808/302898232547283710123837257602288278311698560401443143739509717685020249003585362743190651874658079484829726864614770865914992972248540872534165835827571347286386150174177831110565770861987499020638173813750425121964337824065710112619898865044375773580410482057757048962382412052765033311362867002454777128291400702612111969957447834898339613476192152043457114467503850123617986071949692105026381285719623164175649665004794570407686031226421534488112212758656046857230812302508362764620616859015073464120537037113400742945855012880150696725396581910767925048383429537709648022878592209715293607583422480554991714716654685180939339728163380336547755515090896951111187483562671616768953854598216368996005935437442581415958689331138838658164123597917482942229356123*t^42 + 13800552943725352684750014742669849199857385537018100234656265881654468079067260775149917362892134246762325947409901857228935250380310049745776431940179303152498375382195966392531251911096149999488235609254623850153540812807451189195605784099644564663268193295956803112671173422539898763926692719006265678096931265578014069962439185986767152922328803137581254263145542899266671278725684778972756953995503860286502623568175242057700908759591428796095553438016519955567458939451839358099357303161327677485821736871869286904971712218720743291674082582318844469780091193846919844343128405523542597739342431914562654829153209601901268778876536469871848050804376480679736219699677538349820674450498718068042495958636549824006171297169785549904515805503150411013936270640415461022480577148144886299421213972987904/302898232547283710123837257602288278311698560401443143739509717685020249003585362743190651874658079484829726864614770865914992972248540872534165835827571347286386150174177831110565770861987499020638173813750425121964337824065710112619898865044375773580410482057757048962382412052765033311362867002454777128291400702612111969957447834898339613476192152043457114467503850123617986071949692105026381285719623164175649665004794570407686031226421534488112212758656046857230812302508362764620616859015073464120537037113400742945855012880150696725396581910767925048383429537709648022878592209715293607583422480554991714716654685180939339728163380336547755515090896951111187483562671616768953854598216368996005935437442581415958689331138838658164123597917482942229356123*t^41 - 313128505357780590909956063210273566552136606640201520530852566332589636207483315846957293271537937230175144940208013691735405719478289430482280612368649609353327372604856004766303530634698457885510391113164239532145057785421378518431428872033619519510647254883547408925801886216285303709481627373707848030362450904283946786849243514086883757296519273623316982219107702156737710057585935984909811967143995031487879890007698128037650290748964650564662305929028892367949573177368121167614509201599684108049635312939328868713711300680750706894024816861595055721387904649941708249207717848578770675446698564226703677772681964456906672187994513719068663577514602113793462720697436906974429733484003553995803156725255641170781467035565080055896533966627112151494035248029502318791463315200418586484836187097366528/96040903002797273941704496312920673611026372810213679722283569022079591147478285747840938399281830080555767054633951737973046552176366618120589167457522622310317559811324678157008659053800914323616981940945256745988692480801322718635577688916509391623056982115874186256365155041120620318237006610534441528482639247169694039254800533016546706711963365282071768001891464673342288266715756033301047724740368320348376723050300717446339473315694632886474604045427527052292696583722163803416293150419413537404072719084736820934051589449803879449515989386341049405584989853420132299937114603080458948745963225541826641251622217252492961377222535228661483456004430740596230177714993439463326831945775921876782369772847647766035681983044022013564234311534811664609308039*t^40 + 20204298597181335347518236101576640800697901997650572886923774633689459626730928978646839478244945413309440084264438410617283514367013575093459867766075333054603974831049851952663884619674919542783453204694905923971965184794446910574873361206728850133462652266555684779592082034344628671359512134675940541571655158276943408257066952236696224891018926766693379120155349994881882277701409593361918672545413099415276594008547550740888163933261928168249262334623697847586779120858826409513116007541844205018528798804442753952582149511529463315547848320958281896148071809321203847819796233765425600800690522920890150641840101025946885162144032808851908620190455961855045043477920032851882928835413689102794198928891705420782345674371737713344341210791082086799538811304531585258053775385188699209488352563919585280/96040903002797273941704496312920673611026372810213679722283569022079591147478285747840938399281830080555767054633951737973046552176366618120589167457522622310317559811324678157008659053800914323616981940945256745988692480801322718635577688916509391623056982115874186256365155041120620318237006610534441528482639247169694039254800533016546706711963365282071768001891464673342288266715756033301047724740368320348376723050300717446339473315694632886474604045427527052292696583722163803416293150419413537404072719084736820934051589449803879449515989386341049405584989853420132299937114603080458948745963225541826641251622217252492961377222535228661483456004430740596230177714993439463326831945775921876782369772847647766035681983044022013564234311534811664609308039*t^39 - 90532296316299714944835721388649256605203744865735007272986077204260319198709817127741624492578464289280035879321336174357124856090742493225389390633531207746870184452834801785748665883741750152087507704004524776950279288790955699044687172516061318083090050579164423538628894718784790576178823600457984033542781663837292587014825597141622700206142460006525462422792731062402413136135553798015557095485385541465916823317030769381589792874668055688800573260683457413040999194583658288282082465596237411149924147841437758066204830648107434368547129750579624860754816736324634751290423671088320456548965550680577656345224555307099843481840597139673154507876787258208539398474860631535177910266737071304299637949727273262399711991135064146230271091858332526061106612991179415978890219494511697449054113132259573760/7387761769445944149361884331763128739309720985401052286329505309390737780575252749833918338406294621581212850356457825997926657859720509086199166727501740177716735370101898319769896850292378024893613995457327441999130190830870978356582899147423799355619767855067245096643473464701586178325923585425726271421741480551514926096523117924349746670151028098620905230914728051795560635901212002561619055749259101565259747926946209034333805639668817914344200311186732850176361275670935677185868703878416425954159439929595140071850122265369529188424306875872388415814229988724625561533624200236958380672766401964755895480894016711730227798247887325281652573538802364661248475208845649189486679380444301682829413059449819058925821691003386308735710331656523974200716003*t^38 + 280309525708657264725131564170900806427168361994701935102725273647877276860398512117109403391732411419455756783159266009255519350425562299565269977760521704510340151539387484405500817423065027600248888163706379008255016517315498892525140242019464771418736009179560865069829356379212916929373188328916522793799815140446013494882968813575949463627087589787077967927238628051270397038648632867047770535041921207875811761682727112272091660685966617521221758540011431147371688641715625423072709443866157066369805650284333382554895378621515324960164482972793865442129858804459487279717477183845244546608354773837480138897367870303014578900194439718667605071134730404087231083936434127141794935440304774313456359560917509130776101034208029258031615368732563604672982570224561414243910614990187243729560630015122472960/434574221732114361727169666574301690547630646200061899195853253493572810622073691166701078729782036563600755903321048588113332815277677005070539219264808245748043257064817548221758638252492824993741999732783967176419422990051234020975464655730811726801162815003955593920204321453034481077995505025042721848337734150089113299795477524961749804126531064624759131230278120693856507994188941327154062102897594209721161642761541707901988567039342230255541194775690167657433016215937392775639335522259789762009378819387949415991183662668795834613194522110140495047895881689683856560801423543350492980750964821456229145934942159513542811661640430898920739619929550862426380894637979364087451728261429510754671356438224650525048334764905076984453548920971998482395059*t^37 - 226793426723455896771165005819149584914176572664089887673263922402283270524276544874557389554982387673677300276669245912766904563066597483228303365294666810751174924345486975236792168437934091558457812540007186889670033672950352172309309661775678256696874999266294044843052133475800451008138723332389663214198289974575458584246456221312614582625524632045480522068027004993952683351288376666142277262151501184330500487955495750376723116642869985892063828867711164726890210137906205773780444135686930924152806380612730219806324671675131431092100593549586961357775612032606506161783661028262345329856356102428661886091686437539604673976274745273001815474286183232613919890107239102636458190581460711163073896803935765769307370354345719592600678821399153800676702350164832725834851625082915432219389908156418762997760/7387761769445944149361884331763128739309720985401052286329505309390737780575252749833918338406294621581212850356457825997926657859720509086199166727501740177716735370101898319769896850292378024893613995457327441999130190830870978356582899147423799355619767855067245096643473464701586178325923585425726271421741480551514926096523117924349746670151028098620905230914728051795560635901212002561619055749259101565259747926946209034333805639668817914344200311186732850176361275670935677185868703878416425954159439929595140071850122265369529188424306875872388415814229988724625561533624200236958380672766401964755895480894016711730227798247887325281652573538802364661248475208845649189486679380444301682829413059449819058925821691003386308735710331656523974200716003*t^36 + 9763506102027843278456103203959880766657420445920334131522714775056081116139404990778750101875209960240914706566152127607942830363197503414318756810530546798470779668649020018325998248213962535006322116070987276092087714449415934206493555853016156095094006926247790727567039498458184733865365402142653341684364639681448021642524151000325301058153961331963683037132485521970118126641829096674652309705274544701894799280998562214887317082500522198933886612851120884218458722230382429108308060720135895600758274137481480652062538798064292741799402346595973981346862722411339112341046150872159127600865796241973348339684394744424162387523729599771515588496762667964894618555158309770765100621034407212665596242468121532822566845534412395932474182169447475611897378479481699625773570971928918972703201678325736317911040/7387761769445944149361884331763128739309720985401052286329505309390737780575252749833918338406294621581212850356457825997926657859720509086199166727501740177716735370101898319769896850292378024893613995457327441999130190830870978356582899147423799355619767855067245096643473464701586178325923585425726271421741480551514926096523117924349746670151028098620905230914728051795560635901212002561619055749259101565259747926946209034333805639668817914344200311186732850176361275670935677185868703878416425954159439929595140071850122265369529188424306875872388415814229988724625561533624200236958380672766401964755895480894016711730227798247887325281652573538802364661248475208845649189486679380444301682829413059449819058925821691003386308735710331656523974200716003*t^35 - 380260836692215758027235227058020138096350024180197434414236514490527442121412004722373002250387273725838011394754064510455448462224556149208705928763629111606315337080619696204286351352978564232735573437305958776126605694762794234235909709728210464635252418793510054288568641940573414162885658277120947760336805593586165752372312679030272550208081453915770122390880237222312068856309647719403162475072034546647949517397660305608673546007597672587868741507354046731828930684251725707515070932576291015519070164472139953376079064152620228598321350294576743431202413249799054814935442014123642409871945348295872970796276040751706211985722925541971306909725444896319441961650249500236900574526780156497257797167301547203411913180666323404909047396199071483141749153577407807734167899675042229845824341037128940362137600/7387761769445944149361884331763128739309720985401052286329505309390737780575252749833918338406294621581212850356457825997926657859720509086199166727501740177716735370101898319769896850292378024893613995457327441999130190830870978356582899147423799355619767855067245096643473464701586178325923585425726271421741480551514926096523117924349746670151028098620905230914728051795560635901212002561619055749259101565259747926946209034333805639668817914344200311186732850176361275670935677185868703878416425954159439929595140071850122265369529188424306875872388415814229988724625561533624200236958380672766401964755895480894016711730227798247887325281652573538802364661248475208845649189486679380444301682829413059449819058925821691003386308735710331656523974200716003*t^34 + 788098074888454135493890428219335934326739053351123822463600061627570890895386025008418543827825590486078591593100323604040980794712250422787515613371725627522790870387617938988453286484332130033234519005441828485907567723883710904356022305677518774839448495883904787602633303328943404124146310514279366622509738083716549302878183309085154567057338638331640827874679735599570293721278527150397655812142173814683448154249679643277339447327261221563669709934880548088601955199954661815684908436724602311895953741020503071316075980759642528564331879989963525257715256262616716061373379620612401631949886225868313692170395332180959291551153645089410163996485225923375265642936876622902518054438261416682709100617851341383600965680741783256338042521438441612347907938021641407430518924259938745111789313709607580126412800/434574221732114361727169666574301690547630646200061899195853253493572810622073691166701078729782036563600755903321048588113332815277677005070539219264808245748043257064817548221758638252492824993741999732783967176419422990051234020975464655730811726801162815003955593920204321453034481077995505025042721848337734150089113299795477524961749804126531064624759131230278120693856507994188941327154062102897594209721161642761541707901988567039342230255541194775690167657433016215937392775639335522259789762009378819387949415991183662668795834613194522110140495047895881689683856560801423543350492980750964821456229145934942159513542811661640430898920739619929550862426380894637979364087451728261429510754671356438224650525048334764905076984453548920971998482395059*t^33 - 25111746535709153598344881640457275717689170469095523329045853112472531078770331660027195987019055018967008039118146689076443732008759535295998396986412908186845537672753638809699809304668687613047525250497258546776933954458928690820135525415714007356505911105794675710121628741530642652438997001499394189291193033912553245847434423224796079907479223856840371641820690422191619733532218718121503228247702504397760187924269124501746419813080982259835364385065369290269192519978714874994979436067368566121657245831422043598032328587244187435217306329346185418605162959603513885258705350398119856669739915390648784711581075934654836289563136059153853258445454690598495445058994492826294379119590951071560273968658717215131584124449177530118875300763773408480845819387912108811696889507332792740220398018434483440687513600/434574221732114361727169666574301690547630646200061899195853253493572810622073691166701078729782036563600755903321048588113332815277677005070539219264808245748043257064817548221758638252492824993741999732783967176419422990051234020975464655730811726801162815003955593920204321453034481077995505025042721848337734150089113299795477524961749804126531064624759131230278120693856507994188941327154062102897594209721161642761541707901988567039342230255541194775690167657433016215937392775639335522259789762009378819387949415991183662668795834613194522110140495047895881689683856560801423543350492980750964821456229145934942159513542811661640430898920739619929550862426380894637979364087451728261429510754671356438224650525048334764905076984453548920971998482395059*t^32 + 23331690895947767449338213201807130926372120375679222781134774841316526057566201624719182781561993178118421238204249485115473584385141250497189081922934955070068182780506509235803407106335125341515240565141516395356771618961384364497873759345180177739080491289964196426974968728509977229919154086162750228106878872037115461569860456227777195280976827140860728511500022116930563509290080087279791446946758094271552083408289023420056814368765303607113914243510653184402646063061250956043875701357026801306138453094874991584027668018924165919092350242463540876552622126874096300717320128746918793291626131279186734675131723670969607075001985402641285792705622122423370970497301975319065754394417727867502496743333684825816929610509576019312119186965933484694724612789650101247430787308946613299544827975605529952963788800/14018523281681108442811924728203280340246149877421351586963008177212026149099151327958099313863936663341959867849066083487526865008957322744210942556929298249936879260155404781347052846854607257862645152670450554078045902904878516805660150184864894412940735967869535287748526498484983260580500162098152317688314004841584299993402500805217735616984873052411584878396068409479242193360933591198518132351535297087779407831017474448451244098043297750178748218570650569594613426320561057278688242653541605226108994173804819870683343957057930148812726519681951453157931667409156663251658823979048160669385961982459004707578779339146542311665820351578088374836437124594399383697999334325401668653594500346924882465749182275001559185964679902724308029708774144593389*t^31 - 607023680354286969207041001236885031563841705412022012976272024550168136091701512475188237247248930627995286133839962251591927362102841519432418232842191771598102579084241664270801715887572832061367626826039389036516728486587724987589218072577370123016216346478892041112821003751844084062087608174549799624578017442456610327172643754543628351315455501063632232759589373625127243345164989842535060087506679597942147688731792522129145475135493791361427601870012289994085680990602160012064830706014076103587946720619317232970784632368062906573124326984342588445045308068714825387902537983355177875057576832563619127576477986954470979922401501555228515242494055969987586773186739779496020820189539603072836709939680771214192359124013980620053299572613863684733309803258138610150824162289223084490639732770020411309241139200/14018523281681108442811924728203280340246149877421351586963008177212026149099151327958099313863936663341959867849066083487526865008957322744210942556929298249936879260155404781347052846854607257862645152670450554078045902904878516805660150184864894412940735967869535287748526498484983260580500162098152317688314004841584299993402500805217735616984873052411584878396068409479242193360933591198518132351535297087779407831017474448451244098043297750178748218570650569594613426320561057278688242653541605226108994173804819870683343957057930148812726519681951453157931667409156663251658823979048160669385961982459004707578779339146542311665820351578088374836437124594399383697999334325401668653594500346924882465749182275001559185964679902724308029708774144593389*t^30 + 14252664246566073150206891081635440377955626698125331243842808357479527948607510172276541745303161142115402227737137839843206498414810764409236855089478100071804302315640017085328775426336655391083995281389265815445750191264068292778358808163793642175723230062349693901436745582558397954474119715626552606203298413905537334287871802793952906382673747104474595399718151455365077151490021059578120158799900094468742400529876237608540873347066996689046086059485652774766687180687738415637712499855053277369839561374865455611036267612635386729750857270011236445403058862673250378994654799763190783732649971043363274820585887634654040532042852659730321804378245050737360680503683058381303927816293497493108991697968444071151308212590244571026833376631270004695261747740009091337558433035519138509183983741448722627589832704000/14018523281681108442811924728203280340246149877421351586963008177212026149099151327958099313863936663341959867849066083487526865008957322744210942556929298249936879260155404781347052846854607257862645152670450554078045902904878516805660150184864894412940735967869535287748526498484983260580500162098152317688314004841584299993402500805217735616984873052411584878396068409479242193360933591198518132351535297087779407831017474448451244098043297750178748218570650569594613426320561057278688242653541605226108994173804819870683343957057930148812726519681951453157931667409156663251658823979048160669385961982459004707578779339146542311665820351578088374836437124594399383697999334325401668653594500346924882465749182275001559185964679902724308029708774144593389*t^29 - 17745086452602802414893789244199201619535205006349127407583826384182386417685424343726793382841013972606117494753883068029257358975097007331939765482220026586277292147056697633885122515331690674813406080761994880674964029257758983313032845963817545693645938562417452997619600659804596258757977228731416875707840006205695755757199040672240085440213473441686539544679271430944087584325508707263277318867723140803356159781250197122611712399273062235838307256977678782559920092188549316035429237270843453806811993370226074497207367433270016217986851470070652563641763646483551166272433776425225596180602087457063237737109343045137989437856821024133790191686463368743142623900461660601763140937882125598694031188625502100013730962194159588384556784475672179672118142923291549979086697439346657315945322745891160380535734272000/824619016569476967224230866364898843543891169260079505115471069247766244064655960468123489050819803725997639285239181381619227353468077808482996620995841073525698780009141457726297226285565132815449714862967679651649758994404618635627067657933229083114160939286443252220501558734410780034147068358714842216959647343622605881964852988542219742175580767788916757552709906439955423138878446541089301903031488063987023990059851438144190829296664573539926365798273562917330201548268297486981661332561270895653470245517930580628431997473995891106630971745997144303407745141715097838332871998767538862905056587203470865151692902302737783039165903034005198519790419093788199041058784372082451097270264726289698968573481310294209363880275288395547531159339655564317*t^28 + 5747943838169801915483923673358442838525419374517538259349949111384776016321288798971083262143961720763817052400166673326352265428402258163759414447613168798462167875273153268273212133863552876252174294379286781829728874129706059540317807766225019960275202044162929988961447394884387311314044361783973289653818758363659690624574814587689065406042433300796591690228286143866554607060105449703629556623197025781132212688695852731837026311108703448140328904113228376206140615413527626636623149162545832916067409714260402542181799071713019169073209074735196442224532013942274068423818468451357817003774809876035140492323786172053046161914052463922380073769825391714535092667319477722130438028982645538690719884566691678289128896695510722297844056153663249673721150930426719169715282432269691659357968402616500442593501380608000/14018523281681108442811924728203280340246149877421351586963008177212026149099151327958099313863936663341959867849066083487526865008957322744210942556929298249936879260155404781347052846854607257862645152670450554078045902904878516805660150184864894412940735967869535287748526498484983260580500162098152317688314004841584299993402500805217735616984873052411584878396068409479242193360933591198518132351535297087779407831017474448451244098043297750178748218570650569594613426320561057278688242653541605226108994173804819870683343957057930148812726519681951453157931667409156663251658823979048160669385961982459004707578779339146542311665820351578088374836437124594399383697999334325401668653594500346924882465749182275001559185964679902724308029708774144593389*t^27 - 98438940884213862987257709718344013518592250269816489070008002744935503679339068076437184120315664317958537982947237635727044713401675862168771881013503903589997623773042634142896232435770215482557726145962050501746728472475587277177676668310196623000207968915457839570055514132028308374392402355791890804130596676270050758126523876748815646986589156572089381611215599987412918013374625281265372268127477544973670138000155258052779229803362130165682260481781613837965409473710175654622999975402330560961690230331968116047662678185005561355465433171188321722600710640541128583121169119736624403390193539558162605234382530426711711169691528294669006367443324365849617567396684685388679876655460028132866110876965524076950732517074007940360417887775587129052876485315368187239831599224292335822903427629704873275705392103424000/14018523281681108442811924728203280340246149877421351586963008177212026149099151327958099313863936663341959867849066083487526865008957322744210942556929298249936879260155404781347052846854607257862645152670450554078045902904878516805660150184864894412940735967869535287748526498484983260580500162098152317688314004841584299993402500805217735616984873052411584878396068409479242193360933591198518132351535297087779407831017474448451244098043297750178748218570650569594613426320561057278688242653541605226108994173804819870683343957057930148812726519681951453157931667409156663251658823979048160669385961982459004707578779339146542311665820351578088374836437124594399383697999334325401668653594500346924882465749182275001559185964679902724308029708774144593389*t^26 + 1512516618409140222084863529845345493920493020611025532076770772567721800988619069058303302396675765930383258972536251934519974795715626528623346303914333676681849525806673649742026830809567615572303147976956197028468824851298990655413349153250695951337055717494737389545722646128796859355415492392097999865382193521034424831762411133424144026787474548143125019132718786873001578045765445369813841294558653734800755135710890991076131547933924461037012566198201076573096604479808928926596931078151152655816268513409280421600683079804082268121997409065266655769122056007374697916449080246819080179200856588290349711151748357013017365096679419978612831997348967377720516377593320392853380299199337141922835929982194248801890773742419656372350071475180326140617871223636661875292938790562344936102136886981039021732277870657536000/14018523281681108442811924728203280340246149877421351586963008177212026149099151327958099313863936663341959867849066083487526865008957322744210942556929298249936879260155404781347052846854607257862645152670450554078045902904878516805660150184864894412940735967869535287748526498484983260580500162098152317688314004841584299993402500805217735616984873052411584878396068409479242193360933591198518132351535297087779407831017474448451244098043297750178748218570650569594613426320561057278688242653541605226108994173804819870683343957057930148812726519681951453157931667409156663251658823979048160669385961982459004707578779339146542311665820351578088374836437124594399383697999334325401668653594500346924882465749182275001559185964679902724308029708774144593389*t^25 - 20807069859643205128334362168420009386097311497112996880627597359327718957950612757547359609088617454039469117509617113448240703807621196209813495772364476223142559960275916148823045562367009337878151976568119324099444001892957254842048314277326922129668864364221513601511628927724427623235681672455907701232077704395030387426012552398401235870714137551441073792964854635908635763912010351274360106207176281450032092042486948976733701187762811668214777366631251525039869875051520804614679470845608582465793901282247437914485033918374318367017164505494168788342759128012794977198471142813495698754431680706483582708050757317647848702094670838712788185301957983345487270547509190731698549599017349682788302006089625192311290525822653638420854917233052281138082894454352152195630157883346875197197848428233931655732068247142400000/14018523281681108442811924728203280340246149877421351586963008177212026149099151327958099313863936663341959867849066083487526865008957322744210942556929298249936879260155404781347052846854607257862645152670450554078045902904878516805660150184864894412940735967869535287748526498484983260580500162098152317688314004841584299993402500805217735616984873052411584878396068409479242193360933591198518132351535297087779407831017474448451244098043297750178748218570650569594613426320561057278688242653541605226108994173804819870683343957057930148812726519681951453157931667409156663251658823979048160669385961982459004707578779339146542311665820351578088374836437124594399383697999334325401668653594500346924882465749182275001559185964679902724308029708774144593389*t^24 + 255669379654658377966304210525193417999258748103401116346660212523906504017315600860356037992292803368737802504031341080409379939864597646363726316138515099187388509289673805754897029580772374864351099734781523566238389074486996870872522522695849682161428161737185512864382603812665500959234609690260134784034903179253999044928082372529532577997510158613354829055039675818425644806537436818071139947602288309343909901755647721366569949912035120089570900552510519127980116616460428679835848086324925224843579850283290017665283948839161037731629260762858915382560010434624223435661306766162978226642980571816866805952926873936162026044730054455514659137696800286202392577776071488647200295770600207869290827665924742514285226419712527166355037678473240050787189295387934905201501248906009782285875726928979317155465051661926400000/14018523281681108442811924728203280340246149877421351586963008177212026149099151327958099313863936663341959867849066083487526865008957322744210942556929298249936879260155404781347052846854607257862645152670450554078045902904878516805660150184864894412940735967869535287748526498484983260580500162098152317688314004841584299993402500805217735616984873052411584878396068409479242193360933591198518132351535297087779407831017474448451244098043297750178748218570650569594613426320561057278688242653541605226108994173804819870683343957057930148812726519681951453157931667409156663251658823979048160669385961982459004707578779339146542311665820351578088374836437124594399383697999334325401668653594500346924882465749182275001559185964679902724308029708774144593389*t^23 - 2798683196293654015171831542943796231082673525447121239481776273494419118297082272434245629305709617157555393241941199951744255289593974903883083460381732057194491059724293501831108517915116652836282010451411457094368617996032007288813104038466096202231464594268684677160857267076250373873214834627577501523444922252817564154647163686691513307626102336976364157506811235611891870382987418905505090633089161896937504365068470133075053870459394191845380037304243403133672362052846158500587037020146999979565652542232150920359553422822836951022110041699330321285113281385803602075109774342227547204967591107274896094732188648116116948030207653433341528437570747798090711902735120564120265103671855756363034683524482561792018061508680433989303439281271086188332551839532719699275441004234038837322694635838778749028019617975500800000/14018523281681108442811924728203280340246149877421351586963008177212026149099151327958099313863936663341959867849066083487526865008957322744210942556929298249936879260155404781347052846854607257862645152670450554078045902904878516805660150184864894412940735967869535287748526498484983260580500162098152317688314004841584299993402500805217735616984873052411584878396068409479242193360933591198518132351535297087779407831017474448451244098043297750178748218570650569594613426320561057278688242653541605226108994173804819870683343957057930148812726519681951453157931667409156663251658823979048160669385961982459004707578779339146542311665820351578088374836437124594399383697999334325401668653594500346924882465749182275001559185964679902724308029708774144593389*t^22 + 27211015554193178311085798781741863673815635753749536809303995959213470178577476717881510811311240368923926477622554479317173454300338636249998698106523390589336300204566136048595964750871369803137936903012137651677244575097063218357331247607791913213941969008020973613234307055007099354936548265836227328158211881499817860249084253138263808238972008038287038604546767272715843997138667587322155514649930539192736481233713263430580184677793136202458896930023114447242685740050068329340599835072404828183589639604313316614981341784657058719402331279428522657359728987282595254825408857603146210829726545318429440772240630480470343924282488688252890892652707911862712856920884186352471416056790600512186822434383829166714634919409747186607097874675913821989295852848704659993817265383269425373166022560481025719502419259713126400000/14018523281681108442811924728203280340246149877421351586963008177212026149099151327958099313863936663341959867849066083487526865008957322744210942556929298249936879260155404781347052846854607257862645152670450554078045902904878516805660150184864894412940735967869535287748526498484983260580500162098152317688314004841584299993402500805217735616984873052411584878396068409479242193360933591198518132351535297087779407831017474448451244098043297750178748218570650569594613426320561057278688242653541605226108994173804819870683343957057930148812726519681951453157931667409156663251658823979048160669385961982459004707578779339146542311665820351578088374836437124594399383697999334325401668653594500346924882465749182275001559185964679902724308029708774144593389*t^21 - 13777021584315979185451905667576426174604724017013587044060446437567450375675451218563324180662441083376939807337070972901601069849126874615201041925896375911472281907645687548668163432000686328247561981703369439433077081289002186701517667835962372664427143161252755144055523589239234794291320436218409373916527042739228804065821023732595467695883406550963773944067134118353975794185710118099017774994897385488658183535338674487696222865279457762815657992288195079913218435918416926053268248904623645392249936241651582717214284118927862101200394435925578792893050952326503959561100019723923467340332786848955040586206952561076138743861040059525670858731027964945857816140189409528986222491430933910974453396384655665812547926005926356268899662887884122268771950079616477341646960149633037305321068965420865996542172447165644800000/824619016569476967224230866364898843543891169260079505115471069247766244064655960468123489050819803725997639285239181381619227353468077808482996620995841073525698780009141457726297226285565132815449714862967679651649758994404618635627067657933229083114160939286443252220501558734410780034147068358714842216959647343622605881964852988542219742175580767788916757552709906439955423138878446541089301903031488063987023990059851438144190829296664573539926365798273562917330201548268297486981661332561270895653470245517930580628431997473995891106630971745997144303407745141715097838332871998767538862905056587203470865151692902302737783039165903034005198519790419093788199041058784372082451097270264726289698968573481310294209363880275288395547531159339655564317*t^20 + 1777913269208665785101506609069976168941585994057415101629681126163229258067970446780767200630706889146188217463921455565605422234305166664481996238512657779121632656688664182878965348219629837951576904931127479634355765616618612556185066817005136158150333445072471770522533071556763246393852575794038813787972727228362872205162126575392018475727330766398063669043088789369059774302590309771374483696585617797776796935757457123759055819268642407022232094487986695611379541352141252055552977878268423550267116437686127808870250468667061281274548446450391651196964147677160341775573415944513556553957053193725520193284251051322176607905014420325130694028152064064472519808985710751264429755450032453350718761705601305527957689066531154245602142606364312689303397828170059925205654433382514892902561684553542877655580826526547968000000/14018523281681108442811924728203280340246149877421351586963008177212026149099151327958099313863936663341959867849066083487526865008957322744210942556929298249936879260155404781347052846854607257862645152670450554078045902904878516805660150184864894412940735967869535287748526498484983260580500162098152317688314004841584299993402500805217735616984873052411584878396068409479242193360933591198518132351535297087779407831017474448451244098043297750178748218570650569594613426320561057278688242653541605226108994173804819870683343957057930148812726519681951453157931667409156663251658823979048160669385961982459004707578779339146542311665820351578088374836437124594399383697999334325401668653594500346924882465749182275001559185964679902724308029708774144593389*t^19 - 11853481318363144124179841461892109085529891563512159928625719289818822145813285157647094154035782341149172547406176891458328726619214278223264779672492559881077836069286071412558822912847060823989825656071244903596817716046442485052540199695714881332717208089265327287891758851743698991138419362953209096728463772647969852429761729720538282662943192998259049050490005394046353424839312656458042608524619525933857838035843611895626796528807641444106559031353740873590693550362843288450482860074517722087025722845179469288530288471229476062729040735305225886840110860680494131163275130489084778971682390811920122183446026651104414139826171806564764234518399525216299089769274090792906379184498030676553150323773824427301733872233998552304348222957703111003073136332592506451614841231177554565105979228275704475819941247307481088000000/14018523281681108442811924728203280340246149877421351586963008177212026149099151327958099313863936663341959867849066083487526865008957322744210942556929298249936879260155404781347052846854607257862645152670450554078045902904878516805660150184864894412940735967869535287748526498484983260580500162098152317688314004841584299993402500805217735616984873052411584878396068409479242193360933591198518132351535297087779407831017474448451244098043297750178748218570650569594613426320561057278688242653541605226108994173804819870683343957057930148812726519681951453157931667409156663251658823979048160669385961982459004707578779339146542311665820351578088374836437124594399383697999334325401668653594500346924882465749182275001559185964679902724308029708774144593389*t^18 + 69082773522272364313549053911555932261920452401485445668874428329752144241259511586809639743837192886254390624438331736232180705310835160287680855820024376977093969853508013704328349513469805314641956558800440455356943698822533621180828370320222833740937728097742727292438578952944890007674697886740611143585784411808639796282748285393459687132126612115505276733648261432829157059507922327066619257898173016620782360152240664569279794072728053919047895264360661595731861086043282556688229909442806461371307122082321327952837118971521300521777909967422438415502823793432388372739808246187643407952041221987237939465540916877822761771146076676861053504506536275372651759557556225246968472697952368272366781971813023173953661666056272741601012885302736258980982803757385662302355621892497305336945650757291122241849624768781746176000000/14018523281681108442811924728203280340246149877421351586963008177212026149099151327958099313863936663341959867849066083487526865008957322744210942556929298249936879260155404781347052846854607257862645152670450554078045902904878516805660150184864894412940735967869535287748526498484983260580500162098152317688314004841584299993402500805217735616984873052411584878396068409479242193360933591198518132351535297087779407831017474448451244098043297750178748218570650569594613426320561057278688242653541605226108994173804819870683343957057930148812726519681951453157931667409156663251658823979048160669385961982459004707578779339146542311665820351578088374836437124594399383697999334325401668653594500346924882465749182275001559185964679902724308029708774144593389*t^17 - 20593825361465716826097252352931025740201971040888914646607749923870704386190168976635118855639310125974443982037539132576641778780281781686086183274833402476886648052736315535259256368493725208579476406578168433419550048686991038755071695555052842252273922170920660722329199806662606969465395701715981970393990847727170419761213370119013019095947821024869095051472959008942103553859124142585745874048913839528773909233387514288053035564716064067262283078370943097915331815563420300593804344497987535989345464686203266267693886301795788393181642792268425815396445937327935126580940528175678716728485337172031058279130428670532506499535665802748682017437909637548054843381550564807023859259005138801954442954015967432386406189765228493730345903811618399644951798877028220010318952371277603925588440806856715540441218633133195264000000/824619016569476967224230866364898843543891169260079505115471069247766244064655960468123489050819803725997639285239181381619227353468077808482996620995841073525698780009141457726297226285565132815449714862967679651649758994404618635627067657933229083114160939286443252220501558734410780034147068358714842216959647343622605881964852988542219742175580767788916757552709906439955423138878446541089301903031488063987023990059851438144190829296664573539926365798273562917330201548268297486981661332561270895653470245517930580628431997473995891106630971745997144303407745141715097838332871998767538862905056587203470865151692902302737783039165903034005198519790419093788199041058784372082451097270264726289698968573481310294209363880275288395547531159339655564317*t^16 + 90209655750650734502351146217468813618970712553463673425010386289618783507963380939077378226878695556414567241552158934147758619978080028219906460260898040388572690203148933041942329856009592717028138397125496682823105685102431410251681290714314152505457130934070135799001357495187195415570720658311516986068898745655802386007284000746584257930353415359241263267055685243360683849339642042524507997403838856785797270278324696078907621084775837376426677747785794682034532787793875655386374573151797461625070930993828917657459788230804673723321891902649772034207801592406005230891228520098214818476555411247107354839861434664801669203594670621217723357983106188567632883756515415385945407561689590212367265376187440610105557652805838518530729558096524603491023958875519607158485247542941540860235958078030067437496482108733915136000000/824619016569476967224230866364898843543891169260079505115471069247766244064655960468123489050819803725997639285239181381619227353468077808482996620995841073525698780009141457726297226285565132815449714862967679651649758994404618635627067657933229083114160939286443252220501558734410780034147068358714842216959647343622605881964852988542219742175580767788916757552709906439955423138878446541089301903031488063987023990059851438144190829296664573539926365798273562917330201548268297486981661332561270895653470245517930580628431997473995891106630971745997144303407745141715097838332871998767538862905056587203470865151692902302737783039165903034005198519790419093788199041058784372082451097270264726289698968573481310294209363880275288395547531159339655564317*t^15 - 339257055393660651029268854855699414602436659411226371955847182161776980906460635307417018573518546684375374190535997695438853695371925869165220818256433983512469767216905098069493933847365627809220401097653485526356299190244607008821544009157849795288467096793177325969912886190654249050463173085629439218826541074526240439087708291133411991524770723904944565830255694054405814908738176706061227218164693771501249042457639440879511463429708304091439957932649922283071741083918191029203765461831936465435779167456757824133900662665700563628332600933114263393021440115186291218097995367132695248083066978391163194824895629728823644296867320801127410769699955604801548310551309107203743304388243738084544989646618081542685504893138253123843081004238569337680057157507318884630078830880444896333526506853757405420011560246192373760000000/824619016569476967224230866364898843543891169260079505115471069247766244064655960468123489050819803725997639285239181381619227353468077808482996620995841073525698780009141457726297226285565132815449714862967679651649758994404618635627067657933229083114160939286443252220501558734410780034147068358714842216959647343622605881964852988542219742175580767788916757552709906439955423138878446541089301903031488063987023990059851438144190829296664573539926365798273562917330201548268297486981661332561270895653470245517930580628431997473995891106630971745997144303407745141715097838332871998767538862905056587203470865151692902302737783039165903034005198519790419093788199041058784372082451097270264726289698968573481310294209363880275288395547531159339655564317*t^14 + 1086956715369765335890345415642456628732876134029549554299328303807990923446411472023652464808336187648371684499492334166503533056603410192919799975754260582656858443020152390229487334069739924412655833015560900590555824813149644245881947746009151727064302437271284175329821316196287248820919499419910266850238975672924894967061071348776056623976261734364435188688619483045733453128903430283286740493375168261236339425161218405884757243370750180813480119711010378370414364368199114512344942265073659302017667901638068649466807012864106915401782029204734052467217848671178001884656735059482250477612504476586708026969727589238977969274849918635995630096585446185128803467213094714212037307833595889642177745878710118391368755971987578897757569091271545687571631307660811038304721148527766004857589775522556020097724186683726888960000000/824619016569476967224230866364898843543891169260079505115471069247766244064655960468123489050819803725997639285239181381619227353468077808482996620995841073525698780009141457726297226285565132815449714862967679651649758994404618635627067657933229083114160939286443252220501558734410780034147068358714842216959647343622605881964852988542219742175580767788916757552709906439955423138878446541089301903031488063987023990059851438144190829296664573539926365798273562917330201548268297486981661332561270895653470245517930580628431997473995891106630971745997144303407745141715097838332871998767538862905056587203470865151692902302737783039165903034005198519790419093788199041058784372082451097270264726289698968573481310294209363880275288395547531159339655564317*t^13 - 2940723547262843495129161906697812219035172909428560932942982344696364100750817617582608418915547607429352254518338195588687816945762124385055441451916158461912872143321958977560694221322233621656093625635774770683249404798629090429027755909160836146731701519442594328670271313014059413885242301965958326270783605756498563001938789062479903825317029919931683121401488668906152270829404362258484739317570607041882151364067370466492809419452613321740869034687366562007455593652846264197009079234183949632304663948045277088211489467450689678059647200006899425669665135815604132510839167484827440311372308426237598269731765550986402840215693924154383500047832268905412004615315612736981439372470381910557282040934040826019369344695918423582622535946161485639908899996674502666443359355297423563241851776315860672927981113407407390720000000/824619016569476967224230866364898843543891169260079505115471069247766244064655960468123489050819803725997639285239181381619227353468077808482996620995841073525698780009141457726297226285565132815449714862967679651649758994404618635627067657933229083114160939286443252220501558734410780034147068358714842216959647343622605881964852988542219742175580767788916757552709906439955423138878446541089301903031488063987023990059851438144190829296664573539926365798273562917330201548268297486981661332561270895653470245517930580628431997473995891106630971745997144303407745141715097838332871998767538862905056587203470865151692902302737783039165903034005198519790419093788199041058784372082451097270264726289698968573481310294209363880275288395547531159339655564317*t^12 + 6649635535645803298478363285888880231327864907949735057904450244914820063003177482685324534937726582052944453259788392523033694081611011966496034617005719752729320490749268227648184002102450562869051480768475543394532140715028114108186027406484730990214880971326376274833563363768984069829711854959497373753524373151823999901775207305306698806326815597528527271807943005750914872190507162157868762534684124004360392094161787994895116182125769446411061831274147096986969370815882342064544860270114473813651613519079022587999453022607299792057704006641444788365265923255736806628521172795236566917821663977378265860400745359155667352640040624592438479991014755418867990120377204077774288377608726106934065723561210865214586067359861943561259856625171336244323070952455208400250523528161239766395731686325488619137346293004721192960000000/824619016569476967224230866364898843543891169260079505115471069247766244064655960468123489050819803725997639285239181381619227353468077808482996620995841073525698780009141457726297226285565132815449714862967679651649758994404618635627067657933229083114160939286443252220501558734410780034147068358714842216959647343622605881964852988542219742175580767788916757552709906439955423138878446541089301903031488063987023990059851438144190829296664573539926365798273562917330201548268297486981661332561270895653470245517930580628431997473995891106630971745997144303407745141715097838332871998767538862905056587203470865151692902302737783039165903034005198519790419093788199041058784372082451097270264726289698968573481310294209363880275288395547531159339655564317*t^11 - 12417285973113624393342577915381830993488452352401808845479198108654693735777345162609128964272982004568205814198801351680111080155925538352585174967862905886693845921483386791936608732683434939222131378117239735983965174870105359670516158973832463843424434571894719722197785563497206178336482228529579875406412986180133460977908632693593192703219656246617460398516640187343488095728043269999174662354368767199285965544690150739679429822369864703401569672011857297263394243651348472581660125253360976480818822627914506953067725731631044920889133486318810610343214120484763127207082047967889596155743246886178813968576137084634519142494345165674802301193208150915430731725442803803735216437027110351811180607746998295636557849667227903399727480529990204260690478896353476780006867113684695898362153999753717468713974061730721955840000000/824619016569476967224230866364898843543891169260079505115471069247766244064655960468123489050819803725997639285239181381619227353468077808482996620995841073525698780009141457726297226285565132815449714862967679651649758994404618635627067657933229083114160939286443252220501558734410780034147068358714842216959647343622605881964852988542219742175580767788916757552709906439955423138878446541089301903031488063987023990059851438144190829296664573539926365798273562917330201548268297486981661332561270895653470245517930580628431997473995891106630971745997144303407745141715097838332871998767538862905056587203470865151692902302737783039165903034005198519790419093788199041058784372082451097270264726289698968573481310294209363880275288395547531159339655564317*t^10 + 18877816529246726401821437747689549942543114874102120926713279341518358579757131618277358479429702451692324050295806904764893195472188930838064255596408218849349522008878761216504351267500299758924153129895735333325869058911066822332101082529690040556948557102797689355912187434769832916592270994759990680292273276432409124676533793844387051386881013639687986548982269967331411403905900866523432116963350882405134830467238932546635657790558666608665959133282863031113404260342896583636636461359480696514067129805669867451538349591813056928996637459769889485157635428699452289947417928439433040262722779812309209475958983895815166864251622015845410849620950336206251811686506518717570107814080153090500654809331843838900991029975137329317592750928520454157675279638433814906793754270833505036882516086898066346363739905285790105600000000/824619016569476967224230866364898843543891169260079505115471069247766244064655960468123489050819803725997639285239181381619227353468077808482996620995841073525698780009141457726297226285565132815449714862967679651649758994404618635627067657933229083114160939286443252220501558734410780034147068358714842216959647343622605881964852988542219742175580767788916757552709906439955423138878446541089301903031488063987023990059851438144190829296664573539926365798273562917330201548268297486981661332561270895653470245517930580628431997473995891106630971745997144303407745141715097838332871998767538862905056587203470865151692902302737783039165903034005198519790419093788199041058784372082451097270264726289698968573481310294209363880275288395547531159339655564317*t^9 - 22966891470427967861853248118613782448857671044469148899151474182355979556625084637349331584180932561553273842185551380901287740674509274477290217081128372916693972741810726883387754432540978438489990935154811306247999785322355071646688813957843990537390431462317015220997285884361932219109284780942563319084739111995996658081789979045076510555247220237747860693028031219766880004653407980587744375347942373988625924966525506015095963479138011244391412435064339821085694905050866083963439824559083404938376301664358479699982790291974389656994952625404925199974111987707984412488833674685967190108962156187255805422611970701748982161281850850022025397481269811458945447120642831770716642017572008360140456755865523167833709757664585397399162838710151724604016251668981801995503540603528532147448127018924767745939518608276822425600000000/824619016569476967224230866364898843543891169260079505115471069247766244064655960468123489050819803725997639285239181381619227353468077808482996620995841073525698780009141457726297226285565132815449714862967679651649758994404618635627067657933229083114160939286443252220501558734410780034147068358714842216959647343622605881964852988542219742175580767788916757552709906439955423138878446541089301903031488063987023990059851438144190829296664573539926365798273562917330201548268297486981661332561270895653470245517930580628431997473995891106630971745997144303407745141715097838332871998767538862905056587203470865151692902302737783039165903034005198519790419093788199041058784372082451097270264726289698968573481310294209363880275288395547531159339655564317*t^8 + 21890612807485248881846950678814096864505479795654250390817458696647476170858641394798350692201020947837037808509526356356426326162326341971120271556559935419362742241408420008497143911098038559382818828237396113605445201486612193374594706997582503827375768668356737424490873109460009475269329612769897656981772377865396521424578146630342364095823794559733254656659452775253731244450868249932125357730541151335948394612065976813784464273782543679216965402872611680833975294136230649460073827771114047374652298382905505953420409134572239296911685212629800496200832995931622519000783249685290248066763336291911272211766155789948797481818186684285139516252396184971805943339157348025503476764659404109476814339966727279882989257626722101049445818957184475596851964148638519925571679478629520528587609760158274285621812030107497267200000000/824619016569476967224230866364898843543891169260079505115471069247766244064655960468123489050819803725997639285239181381619227353468077808482996620995841073525698780009141457726297226285565132815449714862967679651649758994404618635627067657933229083114160939286443252220501558734410780034147068358714842216959647343622605881964852988542219742175580767788916757552709906439955423138878446541089301903031488063987023990059851438144190829296664573539926365798273562917330201548268297486981661332561270895653470245517930580628431997473995891106630971745997144303407745141715097838332871998767538862905056587203470865151692902302737783039165903034005198519790419093788199041058784372082451097270264726289698968573481310294209363880275288395547531159339655564317*t^7 - 15911539436079530781848979456958010916421284690641048424918674752489328868135450892218876951631012264551699598246215085376110961633287629891397901005029987543564779832716252970383561391939165012444386730899046315389230522640251339501736104502278976933218843779053389090028082890791065804718133526853895757811782091703732605922499028704162503145265776552858092960201840662236909630383644299094420370568321356395814754191711607358687247959739467823727677681702260505732109254156604342453626146422839128418064717670769980221152614132549836546479971919484024029003867252669548055129016923468602644077081360186782040781083359739974998474001571360526933093827899930173174101553689118944593102295548166487452931544518155345004054923040475575634540948026935154335994533231862828490920008177397035323905027858883348060303414636456810905600000000/824619016569476967224230866364898843543891169260079505115471069247766244064655960468123489050819803725997639285239181381619227353468077808482996620995841073525698780009141457726297226285565132815449714862967679651649758994404618635627067657933229083114160939286443252220501558734410780034147068358714842216959647343622605881964852988542219742175580767788916757552709906439955423138878446541089301903031488063987023990059851438144190829296664573539926365798273562917330201548268297486981661332561270895653470245517930580628431997473995891106630971745997144303407745141715097838332871998767538862905056587203470865151692902302737783039165903034005198519790419093788199041058784372082451097270264726289698968573481310294209363880275288395547531159339655564317*t^6 + 8512271299368384142336856730818169515187006107210620427609168362192624097814421551768796841991664341302486262063979240496008662017857792489968712352421063548939036821761987273650369828933763375810328516753924359832620420746021127092474925334182186809035054747073251391819322340851077848803528647273356977103075726873827205931591228401507961281218881032083348811963135675782919632913829278232702832157488374086683654568465347832185991188741353167615952893088345910784611418789149673663627555707335616012312854631482645935297873087118982388660231148692595993337665297919819172240158937011091303428907712259431540748102425374655774495855851812486166464958557761963197299001298165550427187780266813309266034822743327273863726437949349221704592555532574754716140734799377339742636392467608848957091080245744964860745134966298797670400000000/824619016569476967224230866364898843543891169260079505115471069247766244064655960468123489050819803725997639285239181381619227353468077808482996620995841073525698780009141457726297226285565132815449714862967679651649758994404618635627067657933229083114160939286443252220501558734410780034147068358714842216959647343622605881964852988542219742175580767788916757552709906439955423138878446541089301903031488063987023990059851438144190829296664573539926365798273562917330201548268297486981661332561270895653470245517930580628431997473995891106630971745997144303407745141715097838332871998767538862905056587203470865151692902302737783039165903034005198519790419093788199041058784372082451097270264726289698968573481310294209363880275288395547531159339655564317*t^5 - 3191074076754704494091214744885658227265041659003860543016971269790959071597372297245481745744590553533562395402362869765500164044877097569384663475752075659133935989356366749809013559815796922732735051223636392391677186952347697507442043839902276823045139738195057544602692979515593645157047098642577993357207244920756921220278125618622592260741639478331524313318609568206648433201497801538041910992760899308223469863410791287600231028548659153861465081971727804164565947289178935094417723879837979831441199536056705735231513678883748242705201061558967180611465980513342007304913074371464346057780763362374142941361238912600272348962362116982710523993429823670182487354308868670119537578804199774835894249724117676637982928689387185282687201526273338986048249969587262586100178892118529205786950575724403956084345149805559808000000000/824619016569476967224230866364898843543891169260079505115471069247766244064655960468123489050819803725997639285239181381619227353468077808482996620995841073525698780009141457726297226285565132815449714862967679651649758994404618635627067657933229083114160939286443252220501558734410780034147068358714842216959647343622605881964852988542219742175580767788916757552709906439955423138878446541089301903031488063987023990059851438144190829296664573539926365798273562917330201548268297486981661332561270895653470245517930580628431997473995891106630971745997144303407745141715097838332871998767538862905056587203470865151692902302737783039165903034005198519790419093788199041058784372082451097270264726289698968573481310294209363880275288395547531159339655564317*t^4 + 779599094838562904753086997540482695197752399242276735989471025662619468790859870471014069310510537363447545186333149476356160360275197466497743746285869890338386123228824154664249762801951610804456660938132894239207577185943383967324868757521592856270703738345337651210351720006925967807452303470435812363293476538860144476224994534893439603367455103611276723195974160918354412574067759329370019130980872099848803482920574210360513662527098066184661217917711123346143021254177877600779139823038940546309886790772000979454675467723945338801845156251398121607484053917254254549258780797935711373456754007185698157398063668900115240539100855345740540021195385690860716202811868048109921452515236069804378575259554996675473416212329697471035019371468529204954782535539580952445544834729584123223256792119313635819081088366542848000000000/824619016569476967224230866364898843543891169260079505115471069247766244064655960468123489050819803725997639285239181381619227353468077808482996620995841073525698780009141457726297226285565132815449714862967679651649758994404618635627067657933229083114160939286443252220501558734410780034147068358714842216959647343622605881964852988542219742175580767788916757552709906439955423138878446541089301903031488063987023990059851438144190829296664573539926365798273562917330201548268297486981661332561270895653470245517930580628431997473995891106630971745997144303407745141715097838332871998767538862905056587203470865151692902302737783039165903034005198519790419093788199041058784372082451097270264726289698968573481310294209363880275288395547531159339655564317*t^3 - 110294457309196441525776157260984009705406731062127618093266582320465499823012236004767148276944536026285099222480547886952978477278016207593599097799397562532230111750197622776559605538094834748739703235625665414859630688278589920671045430106827023158579671238386831017442234917569726906721621173641080597312625275002643447634036792417959472009195355551717076201103907915955790567352882760974344966509037197003398156980988928263303477353771964036677346218638409801839874832391325446993029793145290628945463553670273505642559314569999274222784601228629238012278927615933159612517848136726670417579543678563779477269717380310887571636889529581094621212943861752642044382661458610387175480009862711566559799214232786713478164553664508532396712975070104704423330627290796856575454155621427024966927436101429729538915028084719616000000000/824619016569476967224230866364898843543891169260079505115471069247766244064655960468123489050819803725997639285239181381619227353468077808482996620995841073525698780009141457726297226285565132815449714862967679651649758994404618635627067657933229083114160939286443252220501558734410780034147068358714842216959647343622605881964852988542219742175580767788916757552709906439955423138878446541089301903031488063987023990059851438144190829296664573539926365798273562917330201548268297486981661332561270895653470245517930580628431997473995891106630971745997144303407745141715097838332871998767538862905056587203470865151692902302737783039165903034005198519790419093788199041058784372082451097270264726289698968573481310294209363880275288395547531159339655564317*t^2 + 7226735390191825612964765491313736702585682296403199264813336648601867028789472359429968902518245311002107592641365877485980994035491280332152607706174691888230153157274478697125607310468215068527866776776979201469652082157415203962562071459746912668277988469772929533369271060391515248877986529759374716799823870930797910764090348742879854250721976352504523401155515209977321657065505955156757231734211361242107389463398882417811610495352450695562611954479073056706924787158613360841640586314289730599336108846421442211610084389233138067631463880704253660798156882533790142730922095842191087318113676007417863994886045128996852233779045734518360921230124607956359295010487619067566809233630914110210314201872646904725840246300859970458184834898137398352510346350786471386076890104287527790294768033283571124934075794587648000000000/824619016569476967224230866364898843543891169260079505115471069247766244064655960468123489050819803725997639285239181381619227353468077808482996620995841073525698780009141457726297226285565132815449714862967679651649758994404618635627067657933229083114160939286443252220501558734410780034147068358714842216959647343622605881964852988542219742175580767788916757552709906439955423138878446541089301903031488063987023990059851438144190829296664573539926365798273562917330201548268297486981661332561270895653470245517930580628431997473995891106630971745997144303407745141715097838332871998767538862905056587203470865151692902302737783039165903034005198519790419093788199041058784372082451097270264726289698968573481310294209363880275288395547531159339655564317*t - 124731863357199111793846014207660405407100665364137440639525337809199023395947834683328948883538251798669233743708200439704089146109129411816778081439683928798567801285233521933484890149523546159331869854866623075773611199049130839711292382180337268773878581457687172771530825107609481620845071316644911405288337230559023883865324743813517377975502119485949846715849969612750041011276287681592650834875407336743000886141650070460413803764730700186112624955152275059800939758531858105495846832430893342241960375224217977776175068794157976952679485952055361780823321563295133007582479153178387967307103988074263924240035575722344652398151767876588784946023927761352219982967196936305777915267199003233879012963995959670357378439233877730607695210011224866174463267070080512133609901823946703822070607463842047431720956854272000000000/824619016569476967224230866364898843543891169260079505115471069247766244064655960468123489050819803725997639285239181381619227353468077808482996620995841073525698780009141457726297226285565132815449714862967679651649758994404618635627067657933229083114160939286443252220501558734410780034147068358714842216959647343622605881964852988542219742175580767788916757552709906439955423138878446541089301903031488063987023990059851438144190829296664573539926365798273562917330201548268297486981661332561270895653470245517930580628431997473995891106630971745997144303407745141715097838332871998767538862905056587203470865151692902302737783039165903034005198519790419093788199041058784372082451097270264726289698968573481310294209363880275288395547531159339655564317
-------------------------------------------------
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 roots: 424
 current precision for weights: 106
Linear system for weights solvable: 0
  current precision for roots: 212
  current precision for roots: 424
  current precision for roots: 848
 current precision for weights: 212
Linear system for weights solvable: 0
  current precision for roots: 424
  current precision for roots: 848
  current precision for roots: 1696
 current precision for weights: 424
Linear system for weights solvable: 1
  current precision for roots: 848
  current precision for roots: 1696
  current precision for roots: 3392
 current precision for weights: 848
Linear system for weights solvable: 1
Sufficient bits for target precision reached
Positive weights:   56 out of 59
Indefinite weights: 0 out of 59
Negative weights:   3 out of 59
Extension rule has valid weights: 0
**************************************
*** EXTENSION WITH INVALID WEIGHTS ***
**************************************
