Starting with polynomial:
P : -1/6*t^3 + 3/2*t^2 - 3*t + 1
Extension levels are: 3 7 58
-------------------------------------------------
Trying to find an order 7 Kronrod extension for:
P1 : -1/6*t^3 + 3/2*t^2 - 3*t + 1
Solvable: 1
-------------------------------------------------
Trying to find an order 58 Kronrod extension for:
P2 : -1/6*t^10 + 13125919/971340*t^9 - 141392943/323780*t^8 + 4724634611/647560*t^7 - 44335180547/647560*t^6 + 119048783931/323780*t^5 - 71613183117/64756*t^4 + 28343232813/16189*t^3 - 20923244433/16189*t^2 + 5665869846/16189*t - 309371706/16189
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : -1/6*t^68 + 1403719935696190953168588704043542299797881300810867993242510206193756515867703621079427832108952656601451995243172393847653493625628474600996328670996348015621098133919837187914118842223522645427165932104314436963487711743689873164874328056535475120261176119588018753688570436854750408725706374903048467087795684901881137811244639296771481683104426921423008555308249110645631080992158133145391572921891706369873295027852264831970810426591959346579204983167159899099944331117308431306695986017457217560115474090898104277889724426483719001604380235335790816567657609866467209554118430404583546991214264553698322299891384821756763562959106623600425670610996864363903958596993939577278893539619012185856214319520426115768937288610900938698540176724696208316161371376091276579169160717674391951874036134548420192904047180213007974181426671034935883676647847550874775663622254427/2030075691218916526406063822188357739687381497042140430638599884011756669883898487941250219385698990161146507332591066418416621648885908903566525379333161474825230018856694009906448735958224868818024133387725583458259566556642627237414344355877297306977076017340364164123280374821648505114143564412531665946826061606031066920200957261701003473431429991718376956402365237341686633231145125709288158839825970450457839332717401031870651935046156618005043443272735239295130389835908666466338178245954904710745420252685626888730393488479413955110619080192556001196502031831787040552084523557860101544683377634530862969470974552453655442403479700439708124377041342263676418025074680677530391082299635689839551002793256025487291470695709281854341340173569214147173638018270395795369925327562684563113564615119584406819456082744271803973200118804524626725858389016305470572445420*t^67 - 564187023515676897647169131399688252381289209428009391019815577652754956477072662779317147698641832631737179312498804572648361172820371905687361020521681315532222176403788306346192012078168278197706037647745338374973898952373721695619543338770490522264193293172262759724159899048139035538103340535111756670700934362763730784365538124196839265750561664794681531285894499010761300068150934355132303010392674318267417217446359054906701310844917748721718689464579126276010754254954235824002734306836645537919923624643377828071253062638003884221747081294670134410593289157265894850095842744933778428997617240089061023546240972603599473706337876513322302952962692900512838754833919709978996607248488888885996956875379714829300009470738058694701848590271195677977936003929975930266035805344094886229143946969088998892259797178052513171444528293263656689787695395389342610541567330413/406015138243783305281212764437671547937476299408428086127719976802351333976779697588250043877139798032229301466518213283683324329777181780713305075866632294965046003771338801981289747191644973763604826677545116691651913311328525447482868871175459461395415203468072832824656074964329701022828712882506333189365212321206213384040191452340200694686285998343675391280473047468337326646229025141857631767965194090091567866543480206374130387009231323601008688654547047859026077967181733293267635649190980942149084050537125377746078697695882791022123816038511200239300406366357408110416904711572020308936675526906172593894194910490731088480695940087941624875408268452735283605014936135506078216459927137967910200558651205097458294139141856370868268034713842829434727603654079159073985065512536912622712923023916881363891216548854360794640023760904925345171677803261094114489084*t^66 + 917064443018713964831799894072713945398623109433097532719737904758567270456835767840214905428136197341566214418137259786436577293810691624705294305689578866066067309640605770670973415415195527605634162924742387201075421025856339434535962268054628461193251946406791086849087139468635972244103537350631646759915923088774945637528942775466339036045461309004229935414252221657823984754531598774083199368794893085967246707321264187030846760444399138751287409475454629786751386076525825819300389135100708302069420765155798514803217552908880036980737587183167022818038447593624766555186429031421161063534263278497471810151496930240754022226769741696174820830878864445965918200988269700582115777098703926187462165409690289466416112372210906509388949141968243477234572063552332849695378289183275740531246042242359015170348350514720030813066011205577766340518909255364098132433166885780157/508718731132872699288517175300155840205348554814342519261682240437934295526461559625939771288142063728325129497055917353078396914378029181508396430754882071705613196214679822813436326268491338285367749737822486634930293274241414863276407805491710436263759001981273289354770023004952107664537157985173419835374852317350574689222934916643750279394164489650467984346691998009973482559104925118639585903124238458034352173210507114369477789869722462195117269472600320012491303363135505071942900458797210163922020205164719740438349195694604915465072393617992756801014693555956090540238674934120971072662974064445086228756319864208244626228767962757941042988100194515247518464912331328175464431971067099581542331669232006386886278708617455972955513140421599762648713073136316676853929278301760197848789241613891127950029183855538560806522961213426975018773024197939432342031240*t^65 - 121767484266538695351641092087023445158201034021881896940635725572806108873407071515733447945575623851026033693148929157100078777614576088465524056370761179671884263615286570662931215130442583694499632090179247286860840533429015186421233972405249205942604545620552245277331382100122622495611753968851631722302466875178112068321776703007996242413936698333387182610474052893671142466273586818425138847934883211962937773672835204188679645891622502204592651244695338960093558485774993076909856767407981702394936610467662618114276536747979335710078936593139457345652499037829145606256448167939765948126407226320375336475978556803629124341085147771575515592632411565245378827789899279593247121365188490899127738772121879684483053321395389979237365860855471801929314808162434904937029089556273494314064245591346468850049634286190278337006931176897309486876408594101318402129534331971303752991/71729341089735050599680921717321973468954146228822295215897195901748735669231079907257507751628030985693843259084884346784053964927302114592683896736438372110491460666269855016694522003857278698236852713032970615525171351668039495721973500574331171513190019279359533799022573243698247180699739275909452196787854176746431031180433823246768789394577193040715985792883571719406261040833794441728181612340517622582843656422681503126096368371630867169511534995636645121761273774202106215143948964690406633113004848928225483401807236592939293080575207500136978708943071791389808766173653165711056921245479343086757158254641100853362492298256282748869687061322127426649900103552638717272740484907920461040997468765361712900550965297915061292186727352799445566533468543312220651436404028240548187896679283067558649040954114923630937073719737531093203477646996411909459960226404840*t^64 + 230727720655524195789138244223328410763143016228813795857877215438724161200758008475108841672331239747887258280170875286563492121213879837269601814359663364058647691903295881906302013675739101133561020881736079131614527318287453281981588252130063980273715913617054973585568207622970564949691420027745865382761948903187439291481079936332517171568656930316122080217892471314141547478143188191230503873250667218311615631864725177721893050960922110453695758152411574805095416633721301949924151783779670136678724722394582801657242805461095487317078449875792770568790920573967953411113940299317742835411317461096110291294411217799444036739348878383735887677766080262770275039376232230704799051607726186567442073496925698354545636842727706056460890195781302422167700853033526311221952604689416235346177166947978925087100311641535645385882360678327843155088476452727721783378754458835618380421025/186496286833311131559170396465037131019280780194937967561332709344546712740000807758869520154232880562803992473620699301638540308810985497940978131514739767487277797732301623043405757210028924615415817053885723600365445514336902688877131101493261045934294050126334787877458690433615442669819322117364575711648420859540720681069127940441598852425900701905861563061497286470456278706167865548493272192085345818715393506698971908127850557766240254640729990988655277316579311812925476159374267308195057246093812607213386256844698815141642162009495539500356144643251986657613502792051498230848747995238246292025568611462066862218742479975466335147061186359437531309289740269236860664909125260760593198706593418789940453541432509774579159359685491117278558472987018212611773693734650473425425288531366135975652487506480698801440436391671317580842329041882190670964595896588652584*t^63 - 5017855705706300625481945966794186256047879351811594789389157741814360762001868057464835795937370429318113928734468713249112486821830682323295853828058221844838384107716447182401920892433414430618680045905883851334966082515316710201466516956839142183611038554814346059685074337771086096392358764877244743688370394361781613030396252239460985064622321396201798782950519634372610081594010418043840772025825303111390812805045837779865980354708645108279481653958060929374955713223529783098757157465438703247243277220644000717729232416976944370035056018571671358980311174232492314216025360676487008359681919258242305934040626367946436252714821732784109729843655907631518066479061278628044657717298915678465227049445874526542268708110654307015808530986687456609719329729066355847864300592200162216207047304559377215398499570219988370959909775297100492739943964130621927614215754050421433959048313/6907269882715227094784088757964338185899288155368072872641952197946174545925955842921093339045662243066814536060025900060686678104110573997814004870916287684713992508603763816422435452223293504274659890884656429643164648679144544032486337092343001701270150004679066217683655201245016395178493411754243544875867439242248914113671405201540698237996322292809687520796195795202084396524735761055306377484642437730199759507369329930661131769120009431138147814394639900614048585663906524421269159562779898003474541007903194697951807968208968963314649611124301653453777283615314918224129564105509185008823936741687726350446920822916388147239493894335599494793982641084805195156920765367004639287429377729873830325553350131164167028688117013321684856195502165666185859726361988656838906423163899575235782813913055092832618474127423570061900651142308483032673728554244292466246392*t^62 + 933514831358374111511415907691158814960176126726629807335639046234748770139022124220680323385955355101473026741490132428863433701716188743272323781849813001830764865224911656481566257509758890020416019593668164376575926193228379732569372018978103682961532641459104108901999147680469612952098118983520370852968555199262225722512465383514584465236031173999288791779540301789393029155335101847156766516617613592125986529425293636416832554833439960628487542753351461505031036770839350353181367693963450573558157304989049384321756133618594796980338854115485623090002919917766463048154627630920884321165549125524826344091769901925575814433765358740657842690493591328108024668484710847219437805518460146770560919362280068929951703685039558657448959865769102170154368704853218741484472403464501723035632776281360809421569475007932840677493312879289177687863827896199450801598573661904789685418608634813/2642030730138574363754913949921359356106477719428287873785546715714411763816678109917318202184965807973056560042959906773212654374822294554163856863125480039403102134540939659781581560475409765385057408263381084338510478119772788092426023937821198150735832376789742828263998114476218771155773729995998155915019295510160209648479312489589317076033593276999705476704544891664797281670711428603654689387875732431801408011568768698477882901688403607410341539005949761984873584016444245591135453532763310986329011935522971971966566547839930628467853476255045382446069810982857956220729558270357263265875155803695555329045947214765518466319106414583366806758698360214937987147522192752879274527441736981676740099524156425170293888473204757595544457494779578367316091345333460661240881706860191587527686926321743573008476566353739515548676999061932994759997701171998441868339244940*t^61 - 54814957915332051073638183329045563356404420910118931530858911354356979457325347516992169732510721748330897271257598973108430783099139526092043835357241136380445118726038507114287804204819162233819497821985998490576699118518554563197208191782340687635011355477591591202160331565388990025545055797653204828617012393657560047473856187704184466380944144752152011634441694191379649493470718443877804663360973416727403794972644814518425491903566667721131552401972871122412298549134246192400662786550201278535374875314674780911071835145663504270166343790057391338917097729824025051991073407904941156349414697460635309326557186249134297838883596044378559791089910436949427623211254785172174685608122123665259739321076851361264475159760625846954819705519104253591430601046370327200710984677373403182846137915963455870730958527946249306548610116256421297563594220443668175654988318151890684777378086084667/377432961448367766250701992845908479443782531346898267683649530816344537688096872845331171740709401139008080006137129539030379196403184936309122409017925719914728876362991379968797365782201395055008201180483012048358639731396112584632289133974456878676547482398534689751999730639459824450824818570856879416431327930022887092639901784227045296576227610999957925243506413094971040238673061229093527055410818918828772573081252671211126128812629086772905934143707108854981940573777749370162207647537615855189858847931853138852366649691418661209693353750720768920867115854693993745818508324336751895125022257670793618435135316395074066617015202083338115251242622887848283878217456107554182075348819568810962871360593775024327698353314965370792065356397082623902298763619065808748697386694313083932526703760249081858353795193391359364096714151704713537142528738856920266905606420*t^60 + 3758944684254790276908855558825710603578028864288103575965682554097412963353387596992710854716056286156629045476864418827056647869039919094867030575396970724373759941525455599594118307827331004471483757185671712825263235146923552663229356236581478653019118217936815310677785538876884732012288352898406855226387220660089316019441881860259194735015385531455848522360213308533213567993854615364517198624635351400119878553029742076496693562444243836580023292968558762403411024491979263175926405047823055474122090021000383690563848665112483617758917278309505540042949877508132582044317130085487038686007762115231720341469830608849362535557125230670124497782949203670925760280297017843796140249237997999743553418490263755898284244484527859305783390794802344657120867564642805107788686508973742689898221972965014445643848424461788799063067895197927509692760563015870992629449910084676745775188757313260293/73389742503849287882080943053371093225179936650785774271820742103178104550463280831036616727360161332584904445637775188144795954856174848726773801753485556650086170403914990549488376679872493482918261340649474564958624392215910780345167331606144393075995343799715078562888836513228299198771492499888837664306091541948894712457758680266369918778710924361102929908459580324022146713075317461212630260774325900883372444765799130513274525046900100205842820527943048944024266222679006821975984820354536416286916998208971443665737959662220295235218152118195705067946383638412721006131376618621035090718754327880432092473498533743486624064419622627315744632186065561526055198542283132024424292428937138379909447209004345143619274679811243266542901597077210510203224759592596129478913380746116432986880192397826210361346571287603875431907694418387027632222158365888845607453867915*t^59 - 203115492210618861556396830329134420604735814012220479002556653303994736450579367524168252809192238200505437107703454809339277794534491172181179661914406387414042136570968608227358528474317621616159007950043618416920213413041893247036280595058583906506868714422370360587728329076017470733531139214581999742081952377145582073772049970709163204949490926007021650194825483130535487717759132021259052469478106435062519303799102508990311579795476725595133965570543314966202402539090764673717031286494318895661940178060058378357629227751222421776057042151154833895477914814193219529185773555964488308352518259577697708756548669567085200280733255331239293081326435161104588282745518657142904299981407300239074761520289131384575391137305102998954534395145802826567843891119742882994783610876383655600359342755076910287540022554481435008205267222778074600612459239061648865241791706296993610229250666947765233/12951131030091050802720166421183134098561165291315136636203660371149077273611167205477050010710616705750277255112548562613787521445207326245901259132968039408838735953632057155792066472918675320514987295408730805580933716273396020060911882048143128189881531258773249158156853502334405740959675147039206646642251448579216713963133884752888809196243104299018164101492867116003908243483879551978699457783704570744124549076317493619989622067100017683384027151989949813651341098119824733289879674180212308756514764389818490058659639940391816806214968020858065600225832406778715471670242932697829721891544881390664486907087976542968227776074051051879249052738717452034009740919226435063133698663930083243513431860412531495932813178790219399978159105366566560624098486986928728731572949543432311703567092776086978299061159638988919193866063720891828405686263241039208048374211985*t^58 + 926678313734008137563866861003420366648631545181455060468398949236505396776789317441077504127143125545331015983254125962143638613249596921854055868611549930734666137252065180834380812053302692434454946815438904970764323119172519917764597810280057033944288173981119187929821244153642523455693175089973609168017548910408343348810270703133192838400934510976518581838776669717733607662751153419332701395841739287673427262769693226665168279133884407171879084922694140920614385177412473952156738998959969423504169904630135993579517049333076997907015618066015713699241529675050377400564771687893207080320731138793196408846154418337840848856849258702820701963770307685063953789820033471222885752164997660230492580607840864267363682014686813774773126410619757113324214672928914358677381790526312016738596742480689445217236368148197006656745398506721512755385792415698111332952139193510048619545322899477908638566/220169227511547863646242829160113279675539809952357322815462226309534313651389842493109850182080483997754713336913325564434387864568524546180321405260456669950258511211744971648465130039617480448754784021948423694875873176647732341035501994818433179227986031399145235688666509539684897596314477499666512992918274625846684137373276040799109756336132773083308789725378740972066440139225952383637890782322977702650117334297397391539823575140700300617528461583829146832072798668037020465927954461063609248860750994626914330997213878986660885705654456354587115203839150915238163018394129855863105272156262983641296277420495601230459872193258867881947233896558196684578165595626849396073272877286811415139728341627013035430857824039433729799628704791231631530609674278777788388436740142238349298960640577193478631084039713862811626295723083255161082896666475097666536822361603745*t^57 - 861363975101396421857040653525663950352345934442615347399083176846732860970291526942600478189452308573986331042780264670666851370719284221429260964815241019967037218477256823769181381000726115571659300831917988141559068726667724198144911364006082157973237004777240238037709503436264038796820685564771763743981113768832427402750347762529485621813178201642587985216141817190605463504127601387310702446488311343011572614416454135100354463017657156424992569561791034118443467537496929040782372078424976837736834250374828393694979209202581957064317678314603544136814960936509739362277975849956676370819366689466030113854423353024291030704007634859753261395431492492657915432070489304848406576833354825115789431935995210636331449535871997246354110121048499274776188190036711807862067480630522590942848184567970556693366491279735494565460465576229818382908874205125375860540282477000565971909865452772445871762/863408735339403386848011094745542273237411019421009109080244024743271818240744480365136667380707780383351817007503237507585834763013821749726750608864535960589249063575470477052804431527911688034332486360582053705395581084893068004060792136542875212658768750584883277210456900155627049397311676469280443109483429905281114264208925650192587279749540286601210940099524474400260549565591970131913297185580304716274969938421166241332641471140001178892268476799329987576756073207988315552658644945347487250434317625987899337243975996026121120414331201390537706681722160451914364778016195513188648126102992092710965793805865102864548518404936736791949936849247830135600649394615095670875579910928672216234228790694168766395520878586014626665210607024437770708273232465795248582104863302895487446904472851739131886604077309265927946257737581392788560379084216069280536558280799*t^56 + 2203470936132816589149401711376097214374008117382247967739092032718519709664634434027368018525651410132501906704471575895699816073849270371630119162073117847719290354384261699597525658075326560266418527693809279497164396208914993146160419169941852958760107079837511656460211248891678980751299669087007981357094782565316748004228965320721942535612986745974886715663313320417726237271357659596241097620259208469028015528054765812503092735738520655876574319038806414082760117703253609134266307881623935179890644481779180337275123492793163249794715350387174368946780572939421563946716133893857396445469738196415701121549388196161771639852749808210047353234938064101240831436054990880081485492361119603364895630259099720518873268936573115144116455790992811889532496285596431897742556829331575023653377824083334023800413099729955198230709576305803702846172088439226091167359598706611992428949070558711837327665968/10484248929121326840297277579053013317882848092969396324545820300454014935780468690148088103908594476083557777948253598306399422122310692675253400250497936664298024343416427221355482382838927640416894477235639223565517770316558682906452475943734913296570763399959296937555548073318328456967356071412691094900870220278413530351108382895195702682672989194443275701208511474860306673296473923030375751539189414411910349252257018644753503578128585743691831503991864134860609460382715260282283545764933773755273856886995920523676851380317185033602593159742243581135197662630388715161625231231576441531250618268633156067642647677640946294917088946759392090312295080218007885506040447432060613204133876911415635315572049306231324954258749038077557371011030072886174965656085161354130482963730918998125741771118030051620938755371982204558242059769575376031736909412692229636266845*t^55 - 375342864932159517909259775531616394674991017720446049549933156165114139169187991055647508445901591575397991824049648118064980445982028403139666693201660755667034576212068899607010235177387894642575264534018479591504266994080300176700596052762452493369424523328924286866898372859371461722849402217945126862239654709679320780976184874280724088654068505357736476413711331542732901751452448344530351119672241885081808977925192366189636708438463076184880458534208040002722224068463577308927720310568780543155022613876197559911863565559032537701924536037536926296597157914889320214113444878369092495321322402704164336444229468612453812592115398338185653654653649734336638365805713232665829576080860707009670258227911995909122307205541370827712819365967074661086683351842385621460613382372230852508963120116655776557493316970880516929178279056574856545264408053237030411022024638747752329698611928337927493861136/9488008080652784470857264777423541464147373839791308890991692579596393607041148135880622718469316267948921066016519093489954228164987052194799457240269625940541198500829345901679169577229798769608049300665736853905445945987835912132536177324646980358887568687745970079235790111600297246124304137025059814389927801156935321584713468683435025052192750402211109231862906312090775269951560111339706562478904447431593076246386442212446609572967045921893060184608021841502813991296574896183062032366455903850926567318548344365318417538748583740816826388907007765733210554416641371186991159485589539847285627392428195536328187943566467235219085019691757547793932199292314828512253798581050328691523870508068448249386469960390339325121039853463852824444371106684321235887859874528624871460389971944005196172957493259385464936988219189645467927393280883286639737025060841299789*t^54 + 264378214377876568802848074963752869101987603413676986721726253168668192821130216475693243213144133041099936121858764267323069927880557582261416502178770177245154000793764029554073923969172182989285185544062045354573904228618378768053180559999474929761424603464390614535272340143139705029119007701698519917946726812822269207800850805045675310343830539604294730844018727172200899984597847921116582175286073404213353904266497453426988353715714419832568588842195127312189953121878371982113728316157564460327511448173350903348894521085291793615111135908878765646308938268691542711131554020125667232444260980170030524100426248927978154489647238316846671383063235012356669615528191590919507601144942242455917759785513084401692727477194409082803131418560418712066336033161092251168606884118450222498962412241441060251865610915197434716844230568168298810456549332327061932107989289847908275983551203700301583908597408/39563203506118214491687839920954767237293766388563759715267246416807603531247051660936181524183375381447387841314164521910941215555889406321710944341501647789803865446854442344737669369203500529875073499002412164398180265345504463797933871485792125647436843018714328066247351220069163988556060646840343754342906491616654831513616539227153595028954676205446323400786835754189836503005561973699531137883733639290227733027384976017937749351428625447893703788648543905134375322198925510499183191565787825491599459950928001976139061812517679372085257206574504079755462877850523453440095212194628081250002333089181721009972255387324325641196562063242989020046396529124558058513360178988907974355222177024209944587064337004646509261353769955009650456645396501457264021343717590015586728165022335841983931211766151138192221718384838507766951168941793871817875129859215960891573*t^53 - 40227296727155530829997398143494344079348283097431064057062802298755000268353170150754496263393991736490992750516003850675691845410284331777174669892509793656034709366223285340803626992347976242490770382705473451651957111150734735212889521375846344057875919350999741472084615798274670499884569980734107800057466554965158215792525313067093354457875452680388141861344661168236055000984550899992795796438938441307614961574857275171888079652332527740124132584088879579560532286162970551206527953849754650669171956620730287189779257916402183864479992965107895262948242880398115766132344362589513609455735015198356835449242129499620962568056835232376999781768152714455353949065802962733652067486842981598865908920775679377781371606159978453969698070259764724063655983099810088687806637615987431936218885074350568238276748704835233958098896922333097130961499997469518331752377484044645051377428701597121311259945951648/39563203506118214491687839920954767237293766388563759715267246416807603531247051660936181524183375381447387841314164521910941215555889406321710944341501647789803865446854442344737669369203500529875073499002412164398180265345504463797933871485792125647436843018714328066247351220069163988556060646840343754342906491616654831513616539227153595028954676205446323400786835754189836503005561973699531137883733639290227733027384976017937749351428625447893703788648543905134375322198925510499183191565787825491599459950928001976139061812517679372085257206574504079755462877850523453440095212194628081250002333089181721009972255387324325641196562063242989020046396529124558058513360178988907974355222177024209944587064337004646509261353769955009650456645396501457264021343717590015586728165022335841983931211766151138192221718384838507766951168941793871817875129859215960891573*t^52 + 425457334244596099689611093847288783929006869395850694775696524584664289951093532764831946136270812209265018849560445318790031004363860024260513522307766072736072197516884917698599479343691614452815365571957275720154487117343625754746427805284611221237527577662693528402257156268355038375537608312255164154576299541592219917487269214400359609999074185799329316041990849527004281417533303552150596531413570055807465939146244309656125803240823315628048792608233354995101144791091041896734204827387489144553377366266691009208688332983778204761623162023710378426766147146979853019286864881051653070644858864932041169694526751070280478088948079372020867815667129163867403447741198866268605422779366036204273779900133353036349656077482447909178929154079380035390258827542752280767618673983409672982767055208152710504999930531786300994619715420286695901402304406852020140511732024134759340306096027461035507539318604160/3043323346624478037822141532381135941330289722197212285789788185908277194711311666225860117244875029342106757024166501685457016581222262024746995718577049829984912726681110949595205336092576963836544115307877858799860020411192651061379528575830163511341295616824179082019027016928397229888927742064641827257146653201281140885662810709781045771458052015803563338522064288783833577154273997976887010606441049176171364079029613539841365334725278880607207983742195685010336563246071193115321783966599063499353804611609846305856850908655206105545019785121115698442727913680809496418468862476509852403846333314552440077690173491332640433938197081787922232311261271471119850654873859922223690335017090540323841891312641308049731481642597688846896188972722807804404924718747506924275902166540179680152610093212780856784017055260372192905150089918599528601375009989170458530121*t^51 - 3117675821523775840602670487977728145721192134253550070627619598166515296841550557334128191024384338901761438566935971672791550421509016848982846260764971818309854561879041973807044039905887834675200372320018877618454759762427451707103287817810515636079722646180290991301178984800288342154798148849347830743142331907095690848684134647456008926851168250564740278683949535952915898567481080756751595490839023517978035525694191793178101063221280625462511673414698377311901259487577055515191251843664450947857282959380805864392722346869248151050970052791066798448840272793816122388847053405863408221239045474483557529314121308180922137981235233029585597345069653363972298995351580759991408697628697182610859975524693609911121581664922393582224853592852187696754790770034661118192475025996440523092395717624509041428336335184764283096156833239328502243798341070885910402813260493416813232588436414462632212436762231424/179019020389675178695420090140066820078252336599836016811164010935781011453606568601521183367345589961300397472009794216791589210660133060279235042269238225293230160393006526446776784476033939049208477371051638752932942377128979474198795798578244912431840918636716416589354530407552778228760455415567166309243920776545949463862518277045943868909297177400209608148356722869637269244369058704522765329790649951539492004648800796461256784395604640035718116690717393235902150779180658418548340233329356676432576741859402723873932406391482712090883516771830335202513406687106440965792286028029991317873313724385437651628833734784272966702246887163995425430074192439477638273816109407189628843236299443548461287724273018120572440096623393461582128763101341635553230865808676877898582480384716451773682946659575344516706885603551305465008828818741148741257353528774732854713*t^50 + 352684020078041543492422517070441776307999146742455668531889173344095835277030015599149095436130160557781883381905915374372294119126167289745279082001112837714896751697101987220934189195491321511182330744597727914990563557168333354910610913354646057465567139645222064874359239469909347248401331692638326313863137914708889748216800682647740108923987235224348638445137411376557704184813160284894586852056208913371425580672361218403663203121932063729937926988336822118945710078638055628944199739621651886685143998573499401688468819990846235577831823115514374785617206157405584368788623664945944754074981842788729621929814325188363718611425602978729962245798389071884597058382410579813961397284677365442405994492932945321322936661679270201801194559917431849458497271425568652676554046198570493969109635614419036146757362010226562970937189104432893477629498180667046651534017863417755440695363468628688957603744676832000/179019020389675178695420090140066820078252336599836016811164010935781011453606568601521183367345589961300397472009794216791589210660133060279235042269238225293230160393006526446776784476033939049208477371051638752932942377128979474198795798578244912431840918636716416589354530407552778228760455415567166309243920776545949463862518277045943868909297177400209608148356722869637269244369058704522765329790649951539492004648800796461256784395604640035718116690717393235902150779180658418548340233329356676432576741859402723873932406391482712090883516771830335202513406687106440965792286028029991317873313724385437651628833734784272966702246887163995425430074192439477638273816109407189628843236299443548461287724273018120572440096623393461582128763101341635553230865808676877898582480384716451773682946659575344516706885603551305465008828818741148741257353528774732854713*t^49 - 36299874188803707050214863063275485307484530629341365878899307569422934757371821942133362358984762856875010692210127839612327524320963207397358907705641772081404664654754011734236084458049408010100212356677110562820314468711749585062961924163630168153115908789740722203368290362395448505702635483097583548983258921019895230443614428900227210412998644551725727606908254473208392588292905092888712019829103179304556042507712111540850221490134773267298293946653574218673945572050349249643099859431631619721026033360368363165517219126429508313696318627203700186984342962526558941327697773255129615910028098409796368196440995984710329037714118244372348983771281256549269606345730946966843030411629354169520996135092740131203906533765090230376995999097161513633715086162202441226356205029470414751900640344360855471488801863319590096624108159625221918163274957059158093943216991633186566613249573410251505115393054163808000/179019020389675178695420090140066820078252336599836016811164010935781011453606568601521183367345589961300397472009794216791589210660133060279235042269238225293230160393006526446776784476033939049208477371051638752932942377128979474198795798578244912431840918636716416589354530407552778228760455415567166309243920776545949463862518277045943868909297177400209608148356722869637269244369058704522765329790649951539492004648800796461256784395604640035718116690717393235902150779180658418548340233329356676432576741859402723873932406391482712090883516771830335202513406687106440965792286028029991317873313724385437651628833734784272966702246887163995425430074192439477638273816109407189628843236299443548461287724273018120572440096623393461582128763101341635553230865808676877898582480384716451773682946659575344516706885603551305465008828818741148741257353528774732854713*t^48 + 3404785671867088246787427859595597387657319008383294499385134802321924914785835836681135088633927880579262239616499623506977317589505102693712862308749235950855937181720402294101073765855618136256528199153817386005964325060463314698226367772863689684776168206831642629116847102413193287087735347120694461679862639347201351183666272910786196512519739477729773340893753976748611466430135684633608027436038304747594407861682470888626544971433235254361890202958025745382746606430726992730486596056946206443846933983516945331024200617533847508243392948735409128115129089967830552603701821076826625327858318131239223959905973838548180174493576024834891193547719315059497768635352527633587403145560686323795487053784111257553279923150685994488989859632651543856286280438075259096581982861653429350847196469053680432313320400331099518354491726753412609863266443615269409028720445125769138583269490961565296224103942869390848000/179019020389675178695420090140066820078252336599836016811164010935781011453606568601521183367345589961300397472009794216791589210660133060279235042269238225293230160393006526446776784476033939049208477371051638752932942377128979474198795798578244912431840918636716416589354530407552778228760455415567166309243920776545949463862518277045943868909297177400209608148356722869637269244369058704522765329790649951539492004648800796461256784395604640035718116690717393235902150779180658418548340233329356676432576741859402723873932406391482712090883516771830335202513406687106440965792286028029991317873313724385437651628833734784272966702246887163995425430074192439477638273816109407189628843236299443548461287724273018120572440096623393461582128763101341635553230865808676877898582480384716451773682946659575344516706885603551305465008828818741148741257353528774732854713*t^47 - 6200482668746446110705977164655226625946578792467374782492386114938232660079186794664052126635039798560211109982522374779021375783874228974117702208380328512096662848986020078785015241224221213709479466684731046275683838548418170206642029964760478206772527819025638109440847143676226925364207798576139022898551549196946955148890394151199159199799040433285878369995793478635103496905997023445059121391607917203955095366681915634562194601653140405829301197521209057593197880680461426920481627025939433266141813945994655671142690026307644939766188305197685767823868778267672009060148221962459605905198715313489515422157952637357611843034679664262250917553417734774076926726549329892283035982881091151849405807410394323958668525977668112663827973086762141537164122546078195936814594514009254926002772035525268097575996812842652462754864598226079613934200961835700721480927836092232919117853905097938520110345088822771200000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^46 + 484827105972963741147785367184047585863229137990328863345814340005885498532802379836549779238428043026950296608106322105011168524727098426096735950377773650712062239447022636438070071073637350621713011736247555386472968020099712187004359259812219108324381122110621774990863669048663832426618257925735392461233037046437927092674170957184723338966692807821486695514635323348206195804316546618279864713367419023416408838836108112217117435276112425762642280491120627471705713909640137803592422815207913256284991777326683818704435127208390712346637851150655638247563016195078592098227147156624237879219224333083764935613735060821077866953451653538564140491448532711235290012667613793152715673141897012271009292625300320227493802487119145741861939424919476805269571067088740057311414278168633210774180734184270879755141472509105927552628954853658289403225547824279423073827185630156929261249446586347859133878478628437507072000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^45 - 34662544254716796979896066443172393350283621621346207030632894811387461757453338331933499024730908697057176720225601577397771412649502621730479859495767690464683975646081617086047763589109887731143316446768909743305053637047975998459065706849199986742475209449157807362623517224848214627812139334868920245188164019557935076988696483411324014781225692926074315642365195438456798456287715017771912364169069711834703792131035444672936249857517375980810328671769042697620841058112559607868722547304579314452175851354589973248523398914725361732101138150064323655925397792964816683455196286488942665238210170828053813849436577898950236203357549210252247016962573380400423582013260836933192116486669875987896983862252653616537266971075674139629669179138976876052025849985515565348794334938841865688468975533253884427893189498352827185886185821154405283314721964227115534629166109707962978634719942288992977597918181377984035840000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^44 + 2267483321391902195647595769107462087453811353015119558292097097950573202846879329705834717643281630483237990101208958511396916126096439709222790693371398948246187856828399558740941084906839215571623820722654727466993548414525732417106161968425613272569208127478451820286324625190488002279712134525559198874913587851015926912842440166735459670552929246607383924551653945444220323930135207345018034280518188279538729168178562371480015135233593638208070367544719367687478195730112558008093036121007237369325625080684066775176531001295344511757138510178544548565701349926257372948818970865325351996956562111228042097417722040440727931095475890750312626146664247557716437285016820964169525618919246838606308605176989965802045534407171420982658134139588921293469557251753678721142015183760520471053688482378952033146893167069131775753541161007582140643104405215234185409609206640969551854292441255546515431630425170954974965760000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^43 - 135786351552704522793872257192367427276361319484098745823242362963612758116079183511324891700689774602736902477067439196916380532847504966537032462652362241393687307444899340177341017273510671708333859313423070326536889150372340729073339531159998049284460537395586325651297619662549369928548652987028065489678323662124586648876526480695646050929030513761786168743094217576231573338111212750883733820082635003482568319787420863747760711288542569794779778301105297003208270154436546648886976378107621342129190094317296259072401146747843588183144704259160210570699424032873860955914340925529357484548744051076226780172570121979441275049412091412003157635703749124271279229636356740583634950940213157768699766908480531645793507246598456572591365512039874303017295479446961892387023545967934663457590515951870685611268066084714559924553050408496416539813953329550188369988608026540196871838762247010889363304708039702352350760960000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^42 + 7446296130840813088145905166667066863114362324351493655942530721977222966304271341248021868851436138159704316788641849561327227068579135490031175924950588699356077027293157473856733258432433402312020248866071410672100795154783157976553638614143023300373249569667900019493784387490696711171097294699693098100515470929280309425421702223896915373669508842256720089404738386423594205115065373989531221218673036958202651270596643354284888685420215540746674080804657749325027399575873685342939059339927217942477688054703854285194130067182231195870699228030247104964986649567882861006276421727621384927521220819099537690848096605224423923717895031618886324290406705150403156249025115214716072832518954025366303824598968401207867872508323451392015697627306021300097109830307265905686869531417960807326554674030376202973288786228554121076330400257788492977959310200557143578540218024694221632376886164185971308627836652706583743488000000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^41 - 373998833674092446180375225058241972922325501202695758464083268376953575864118100671824439545457793945021966540372558809220601820531153755491578953197648505891388742583867686754162160284476241431622325357632503911617923710261473950502810296666641527446643039459238844445443638912206049429772220034719884032761031243073042585443367455099979396523567734446681901137717807542055535997655056444844047109421232072154016953406581102033463805341038238980806084742305696283895560143900802992169734181976302332554623473899750883429497929267680734247871833241717660035756109967536436442724479445836854976444910726225241218949136319982558874581444255349067321987469113079115616298539726387537740297992929637105588429024786888699079852845375611590873545320689747202091557971801183131281744697324733277508441446891070154636316547097537861083406940634000604893090850911754395498060250256337543700192081680342324584371723213613654228837294080000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^40 + 17204916797512654224845723696774125177011161333816245105357925978310488583218236620940583038965450846172049649102618996480155471319613962487590181525031307978941175018839571097238410255563150420057480932593753812577902268750396517236672493096211090003663848477219566585782852495063429055284370714257607378399188340166452122041158949603918886706823739692567210537591755681116509574220669290579094416355413206874517858424896711226610619813263440833423191838405543582502537831142178599271579021956944414866170742604786395740832949404517004261388421271543904923749823079753413255656427628372016351805693743503572147716205049666455053122841625956049029678777887502659233282726788278300388962659088265875866122207949215236291274534141868254603627327191569861277185533508763834293235700336357438768580306825226899558924303126581383774991208693105756448414676456300365753214936455974875316006138238453019597873741585390336657714316902400000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^39 - 724818647457248432839985260147371991285057708281251727721776723413128791046367856789564675599913008537236862337727699553131103779520930514952339560621570749080164156353236382020175701007955700317806977442916321717638953181993118925125856172115320028762545926453248654197527987054289668542368648042615691393363022377103890116101070417141637302711728179372151962031112266446091371804896878816925764018182727829003489438354111608722352018702730500853225652639061322681653102887348275767085431974156715942957532188423104067847633048006361514272500898905689540059922599034424558318158959721495162067574276113243525467079499184175173951659222721585072619665699303078218175287699316364479261354243933043592354028731347690307616883954440856516679523434622963730435338251625730304153164255101376411553013185834506310815853188733057440448038898248530745995696276145377581454038322038827019833399724583985541847850481305915922161632351027200000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^38 + 27956304740329318888615739075417969710507397652802482342396993190073704626366001949649296241263042946614146973143291185662271225601324895561461740904051575793600133100717495143764600269794370225297214565084595643050742875950563612293618551032465467490565354831105444276238066250615535421806543100922747132314856575530717189399754992777551619172500028283183322153220017729971794775517660900899688842974967629804387940604887206600279833092868124207696776899417194255183962050546000984801778119853511694973345473290271410380570652066753708218834984200167688430216805727691985115921313097153915491073772205064068077708238436949117738384023958532585093355927831374680712728118846702995961839548195322806336422519577270931368888975665294663285960431268279382807047135345141741697158046892130568037154221766514682041934948997041602699055608774563546334123792773962564304281711238016579214870257020584633533826786049537949227748530975539200000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^37 - 986781642743609069601348424901788183600886583896467225141991288271058084472609110521423375972370204452362894500143552824671987063106643947407046552972292460182254270869991084330251258002751544632783326502347046163187545309294308478555384644667006822709322491469960822392548922212057813828305861892569559287307906037811319261594269944457160552073481344451646204903904994298636085261319932952735994077311967361558624760017262750706548996393112050149418248588171500790514043749804244758373701526219404063134943536435236425965628082596810933476666096687669941743116636534297738231163567515575012722633187500585770914280471330076612366514377712024733749514752076206456217163885366186161394398900857123616081164134929606011544381047174455286040510871101536094342373208976259384534864540933585825542490617417487198979379504864988268189889513181088218044965935379264087413329934301070188696920952013917830476702787919819822347876218801356800000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^36 + 31857297643637340055170483517623453363029022813793290869392396016072291428190964891009606230300773878377254178737063825136265400475731824362044431450083894092747398844581924328847999999399452683861933304115497809434928739947385094736061779274573364069508543740639499297228962178292268772734615567009302159595535553081590420157519016136770500920879335101189283688068624114115954549872116349401297835847627057044741873354875993649834369691888436592946130789987139164780450763113433272324437467850131057929612094797538370972171178988073273919357123645332100399840917007341838834035285878880301037885052445139959165276985548714755210224598872693922291319465057185085771734047248762609189567133497940004323827446626804934599346035769177400055119939518564391329863276022591468886466283368729283031646174222277960320121164918482660265988567123523403229772267830998745879460690002009459237661578777197560109907207543354876294490218000875520000000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^35 - 940020280719185649499141862918942013090579822139183140816413343230278388416992139286938524997705368011868513314460000519595953799529066697354516080105627615932878813650142190944705675341229528139273635463557368238312134348611816737957214706813203520458816325800652476569865176765491087397949797639974376669161199224689807938754887262914836473496421235712223673213183553354466388288159350710306974315773690363619939889410682389130580153309891770661224058684695094688728455148112355151157835092263472424728178251937141073500260200196425764405040994102918758136827894024281110218968093583810908018733478325250682913210380763161281231852340809140147093522586211629859950695764527246254226448659554126491179680767278380245572080465382058610186607176464581718599487723935144375349848312610969608023108953654961745754534845893135345271465216382799260359134879990874978456128709352724093388222868120864436987516704448680603198875837739814092800000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^34 + 25330108997377333399335893430986257952340025525899855343914725956230354907096500193163206792864378221652789098816615272893853311284706380637461210542687426357135145517797122656464213654886418053486053286604881042457297046676500960387528486508894395286091081820609914757027651546707648275846290427470431667741738442081004178716532970215551524998642116512518910325191389694462738949131182357693745942164421677293638577722893556518535002224244646099159442327456244424864893242726159067668480240248110672526604139452572332033242425851563997059357676090874890621269410492146087639993934320777383291960553508986544770054246617111853601582935898567928113468583284516346991215828199180321085773511940444048254448445570506988867670178861193795097472854742709682825431953822225108276203424974533708021087126104639187609387004775597820176036306529805507737475829434931539671654333752682725360921259678254874013035439928799063442015449614522331955200000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^33 - 622694991568108349582415626167122938094671544701280212441561792800566659189294082526484953541508520354636918112380762955380234804912900436292036974945550039545320411972925253063454631830959255935092123182233556192372536396369656723330991802497202619941021836514532267656177049157152073684425869726918753495925609452039092664327936468465318347372412800272560483306761646835113282776220090818231320677879450576244802572947496183856650380226152369418862874172265825322225190933719352240720755522289536837041416210663774314996916017313175593469893729957717899940398173797686826526225016647047085771454614735455081714374007646895161148310167862144115303756286553360356493120018936490999100131651314499797919246888686660602006208186352935408338783139433694777016716819524188423987675045034910088412153801570417738668430444139358199082605791755072766227776241412890273799292036805118957231088963410465828448864856475632362748804546674954679091200000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^32 + 13949312862412161450189710843116719179075397638118839638095920708378544300505147282745760020852220309673462588238200812186933635674383179187914846138515144927736838543014102904203447897055145950008235124151101885482390628445263484214231763164893780917379837741189844975274138384405774701401478480038332681559158559428043819027034295524433745834000543432375301027487738790558394686204577453259552016532401094389100525031756742479757169282234307377500588735293834104603487065828313917036179868089079027281903428899543488692750278270325272457410744241361913544893797575687831381708453182455719375897933753175219597133127977920620514300313339203801580397046264649599919886900168813821278099272562045375408900631269893066151015877280243954966337997076407405619776081276489300754906774443851213742634266075558389306869417776753835458116871898502585703249920537130319604974469224867549931680803456558399246307159944150207663574702724156523282432000000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^31 - 284381282537782877421756528233461781310710364536505059230088304412165391053994652152675860402640223765211666554443420880563284819715135055561208152779533923352885533822901630426032160658221852106196914888532370966872789760637576106852216133717647684485697562819110426680157132045661041585027382579554966580088204961954436686158831676173419464730051926716875788822630328830756135934467337535216438512452857765907550712143336348394240816794822722831269629628574146445650602783698280529085009935031745271488243717861276175701498501240786218064947212611049914009378878311478371432860528992727773659180725470290478540123041895931164469215729458222726572252214313925422461510333591747966331579698115677580760402367946582565502236317488479346453609474177758508321565727847897588981999970523420893623843930799543429956720855565874593734618394691008812596557862230533823300107447236079572618715936720348578578940307079382326348234942095651220593049600000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^30 + 5268404537008510788555530562868537100612208850331191455680635161018256275655396994651093803906863877430710213464060884015569774121728937533542605522938908177549801929683321568003634444455886767236618441623903314795543540486619505754926416091367256105861504585598992618651806988211846167852842109578729192688321835669391707267901868325968430669606554112639221701057917609870972007350083371178659135602265679594640121056280060248981786133018206691855712945123744355560580573267169919358257572622749047100619290799948689580682858628191853305831266830590470163313351309900016187767807741569634487164158595881828093217303917593522810527939056347775004314893137046190326681099136347872115763992263279501883891972840817744656429838746716740281052688391729178369332881630847086782899490851277378910730853817099176319833181104577367595101924809517705995465257810274932775909997040957690415965279414535394286784647538743794048369489040859053451902976000000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^29 - 88546142482227074152691009382047197912954222490628564954594445394997042107540237073442138743569254262207166101968717844639793586878927385988374134008902445094914116926321986476630538469203681813600609761843590401164164723406262509424061566522713286162981383586979061827290064949413987435317873956736364021372219814520779834709715607277274990465221733532545541497975392804244519613071747706901258185324145297089141709888284755203065157071404225178924689347039865426953523845021344100228967649568344885676706342877409160593075984364306928200717851089651596443243409224383354289741326455962713581285886901232482850539170836187909718904014862521700863058928325842004866461472754932790702824746730439579844067061740375211206451638375833254662317784799223220060320187377060757369315818262556912422708374721588456307444375978863370448333373443918138271050503940116300880979505045676448092066436279321886935307856417571567409924999720494939036975104000000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^28 + 1347638585283089985052368487831182434552162316100185897434322268643782176795004336984553348155110468967650478458030784843470100403155992422587351584327361265555524166729691777391230691132747231558234317546303516914071855195651537800394815603910043098386633551534618424537244224523381789260838773049413432832529020113096231747107302633246313879233493986942963503422565285009794441457476954150171256417892992586310486012700098534144304688065361040845299786912698852729140209872204474866614871801291578057161594957006154490211354817806735431850858193756943489963180071509026723229524812320491676191563708705205167035922428991235874857111580304375517944875150368471695715451021526138922584344097482416118132798544418672112431505905288713700712220450010708525586483525356875883135835684365915349604896528015212358108442006474948191517077622711429405285736151709253527589930656222382531794620936739001938543974264449853612044653390442209635387572224000000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^27 - 18535473598386103083895257660471449144523075943380800687487377975630127222956753442168523271713278357052617191103928743175620133035991726028147347713136395387731540358214110349453561203195274593868776389398762428958157464878762531794339228952578498189286741000046058641007732257130260042958725480759508228768000796293907439201488533455977188074934802995071832794272808418990727353876024212870875183334555538970627296450757371803457886275643877382892812540997260632693176798323012666825948007045965025958998642469198262747069705868073542487074430612100817091537734111393262561045067195568743041667834216562388019948267090098861488854301547841062088895850376895495420021803501205866285363121927887955616642410408648217681668912847294964939482820430980387832998081380573814307488787837525962808780347782560525078983230914625729695506838018102448722026892446299325171257668840390455452439770055853188268600095342065168011699588096618185099984240640000000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^26 + 229868215084249829632630953119655076429407112879324092773425535292855928123391832996833307462701638763149071051365664193773648468690993076211205850158151225568814216582836059558732709019863918213639018991931196224534283961525645847370224437226882613006206534473763465178031616512604153013810277225325570896461761783521329985424230347570070182112018429000874723135810561919654141928467051333039469634715091244314301391902754495760333438012840953453996552763024570416452587101843925695317696236180969518069682723647716204838273332998043167834829040969854697923036786802183372443463735319311393602505582203304121897993893512045622596627670398936468542765808122684562545024707513763664103774057037388148942581044943509833373379702484912092982146881979611159386166706148839243322999250357951164171625881524259954278805822616273030869187805304691773844119774879530150297451551018414402618721157703412612179793378868463916591082117366675162675284017152000000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^25 - 2563980590427330931824502896206736177795126367384565022341567211939088862916212893288013412960450385310695249679235567121358331923959348185598029206767141692682176281018866018427321117018058057938716066448418145720790216495917194901948323777486983470496854845146067547729363736067723255465442660138782673284320749744461052312812544922942661362382266845594153402291788896470118403270560851715921362136026928329167700243708947308869082540315762031501743236949311883230965912043425123640599790036755917014496949096332199989076900096245940852705892658041809151911660737509047781522019639169915542321538218825009549098004387296610430947346570470925082613089887361860906196612739965817093908720572245219641377904423642199983917173768112013648419697273858569609601435080747064816687947997298672729680047795402110197176848291375375304705014355269640375849101772587898046342037453410167933988725767139588961133086068033943115993041738755165478163841024000000000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^24 + 25651575325807731180302919380002033603551988454086923856308632780281537689032958866323531470159283296079258581831699955662726822029809430914107678166732241456918653997649876368865425392170573930886042333363324225320536733559952777569062413781992647095661348607899599089483595381376387436088454851476150705580039947274163568046625674323371743260234142751714764656487265331684038412297274855813666319493308439777383686569913443123294113193621413291639133036943614415614679838012126812133317752861025020867172686722294671422695573832361496219502458619812433977019704036801328862982503746086108699842270131955172634230774513140115526384584558719444009432642180245330792027561867428042293882625675367306243365932384855660842842909925376400239228530860098450779695524672028494843093672480855155676274439391546575040124484786616091049744500771303277411189542626881203863612026768020333315642774387245356887653220644189998387776144787805679396539334656000000000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^23 - 229485720026780628344260016313198812091117009687170960766452230968249345527124439589484965392003142791293000029587910051066926265529015025209023982089808247260876270459139360087320897888103174396283695880298271192097634226181899842441808937963762158870016579808818437961329128051952213108527879150805896142425141957439348328660545700422008761941356653483166822323177853529835661860344049133367058200440420846292418284781827102177206460013546698854749915150868523701843009341870848463437490274562491389014870143633752994758288839597636729470395673832753948888114380350408972924867973434928581000447633233353322217055171089191757884302612283493856283668230193876899172733216472869297217295679977555623494734170064151680694354934831697280917837080707914554984496203643289424157485860777422550434692074944474801947728355504028490300187151737392670352839679900338404556608312112604167661415260120626493646134740807447164069624081560426872067311271936000000000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^22 + 1829703816596760120627343691260290662828204538954873702029085846660400552494216604521266962515183322756864092176450623981530443567402461241171342394878591583113101787165700765732633889571168610840882012843285646958160554231664018416919040155072244189202860174049771325859874820530006770856768271764922059678034372379670547054893317206137499787667645936017702904882767548229086478172477322138592547299957571381587178428448813101694861163712636071242919584471603726258863605046619420853201059608495237801482548283982808268157281983362432273543915931937450907380999266218809784692552609355115080019824295176681135017833615488378592030000919190043251075578206509969098154200878961538487180309261966879113103665530730651523068961135317087740187255434833493792998061209755945820978734634358463802112961216334301751784772288448810647793209856276443953113575558766423428575244573894168438517558054875919805803586357991957244459791545954453272615138099200000000000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^21 - 12953195079897019227514786372746766782644462012475916649598500393917107179451383107104260488686692418236911765479688125696043704650518633826040834200864751056715862284886517551832800059092281555050935487604722347787865026514373835019643076839233506255281602522987455161420056870175326644319017603248898873014506589685606999689074664976612267743939626167775138595928918485980298035970112290259823086399312257134933357052081187857505115030316635172335870062917608759160026316715700856000177898492488367170675784602243817018272587153215771863508825316080774434261867876801110395980265579275861904878821268189926589947631142245242038719726674547823244524538414082287294087887936664373762810192198780522513650839254169171154332178285355868388675218982798257824887186125253926422529963459019368513291247255631651567141350921082438324802208815177372076641172657331769403896870311992627574989367289837412351545884206900637231621659959422477475327233753088000000000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^20 + 81088365183573539034316851113578298037747122995834595709540537012361256447284176051721538307242290115361616428088241054504454269054111835830543344980638081016062935810396948726526130552963482164630032853823053747746082108757425653872166972042136115884700255262607755046251172295472557865085871985173185078658301522983808330367485376005795574742322081513884968422594971297846183937775617794025685951026694971420801825559533247423894140299640799864259105939032176277609456766998218185265497266904119798856901176491800088900897698946784080250474648511890015547215765631068117890023911571041099570399587910360381590940904761886886018201428040284035864283413120965180962229548064681777277731128602568311438723069627572551800599960697132418845931442849881920950378957172832770944460090408800027736922285171492756586992484135355190738590592476087676831917857681423015590379182510221531771922354929534015459796995519181038308144674217723477997166903951360000000000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^19 - 446831804551688464502855179457726580826420709283198231240771231076481197307435403836478386822182010561477687301878505559070066812127577315123626122872540015877000694303180444708800275377553965007533028594402215602764253282058941422395776368886108871170634153093671078885347434867013091633603558845766147993817335894722407592718561466055861316389814667211576146328159876222569835148580763108960085592180699739828187420766807328718684111244986703974299429940215108755401328046335722025968330198956351455468621436646951446386575252644371802770479360068002083980994446808154175400281796835826997188097213552310805158507206214628931761485378035193388425216025237961790596991718062837438226147128366863658162448925368197553464102551730911565849461906842327463114810572551088777995550791646366348158847225137809704588271805144670649117171193340066979496322935862362226713397469423986926889919038962555953535629814347054772913949124241263734415279825879040000000000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^18 + 2156390113543659748075974419678089944375139535745612491640304179801216168602167381847309689627787027142582711449994170391985422410224232812178736942821848981271880077882452806468308849668807031510566654158295205324477128871440774139009728595887501655644631344024493471895370629367866862048026652127241553813264454981066631132275942560109018951569242322363836748063501691600578702699912072552090698123280056690641504620425569328014062430342066118899780248240572925989185003638680095066209836124148316240822433669693856222273929880870820352992527208005773383177973182506862051438686640484457088362832776679902294325545242135769882686893559126066289447318657529690272226991945745446740208940611642670541903040022805351982745969597127771042647584198890217021152781628281046479825810020909448714344893809029878315988670464391048131632724287672697704994229307215484130703930767136462668568259848690294274557676420111808021049177003289925060897929208791040000000000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^17 - 9062385101519349316316290255600078816041357912741196663157024252597578120291483238667033255602330520982559232086500020179518237357471689635536840664867778715607752017199507607455950505036237867319416322834550740712784161983632454644537477216094401494654425675207443410382940053577956077548455147543337319977013104170185977346091417281996941547163229003955982607700943627716495917104486322044612912975819492173758219614127600781266020322117017787351007609101948468868367561410112402453073604771325699458967115670588083776397797876626101127875751915177008257455203326021142827754068305241337427368483881533180275810113578904862501276768871028431354469850684503263463656925933743111626005937573323478629002839075103014209677886531173949679035266452497457034017707101501490507675592410597413915893891964913291722497833986318714211533394628736192696950141361025491254593127995816579840534372865598688372813753959092083745533376372752948202833365172224000000000000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^16 + 32954914485596122954865931084376741609072267157090735131411803261922709649177997228439843364365071731942777363035513583777419835393697006476958048984296957378637289313468582979976084500175788960261073008972662907861593274136263994878804605628334985373577852165891834529551609475845743995049117415847604668659210513922780925398623066311919634827475159750851756981208906842864003680705682605712460126084554771051567581680543850588365231830184842162091391796933471221153693410564072838624347023435204318460529346969566305903138891657623836455740954760957918169705056868684983540196119169495745902520167878512054586354796867595833962827163737116475308030872186922010602067552003653120989803906655519389231217166956894713867846064946465932594046804181445764467786523419900940513149587954655688943181257749730082394452629799759144388905733476818893175582302188324636523605165511511966742530185993423529989858891791038415772372828832396343641135210477649920000000000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^15 - 102951135531491701681271000143843271983771132957241277256198495310608892116588532032412953763384178763856814619680704556769103554118797726160140668365565738060471594554548652537967551897974438219251820197627877333300500934714891741086795957232598117369042511952765012824769925481136669245071641097821895499517680140192142952110242755187972992464653158612551944881610500986645615565237150226499235634790003434188066865579203530010151295340897243765907641977243151358514656436445595024865635340488391035914104782603343529387708698561339452139016613889229150036556045113188399256095220031250486761788552094413663691590260390077817323454345713904336592772651013908403381231071617950054729346137465953483523581617945946540024850343468204182912454236821511339496344757181056609927888122563470359058450814743638690881972902500400883738858312495717188365872801891811608718838870157823929371093625412813423442756059603857537637511344769756405520294325151334400000000000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^14 + 274039663236593653234276179374922391305476031461538109189357364256992724995581275737149410939229479350997301992680784156201918780165628969317180456577727932077917856133707851431706676543186032135408761055604047256535457219836284577934596379067223917207549468090405360003345640017445946271465667514089561625306667339266525729681839475266450615105332348099881299232736572055825523317909939923550374697109855857592737997510560345144370896778594608873032313721962217594586264125335368679055722252600588010640183389616052108619124396152751089967746090118483149956971367412202135714463875738378498522232617004310537013155454317123122826306027133204505330697019575952707164915291535400688854843270410698003013146980068796068566757706430559468327598970482480554549055546044338134393074774859272759905871596941439150967593325202707191787302282721936791999993394756613867719226490846226204462598433839741090472110996370258959033165461917426957071425813138636800000000000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^13 - 615709257997550818365103542411492035488914182679879964189505489802681892401066799266194075006991551830149804590827873782138002557418922898177117113469057806472623982742940390175700963220615626238476099803770584163949516983802484269698491516506347718125045351889507335279982540353587004095318753571668789691807030268144500407928284424229308078429650260829819714173370473169004654373922048764382929705395950819492895125429927294083897711145085913533300706686938333884346436368396286693023055705800937998909155981076753746632626613485954570391062647662468522592617558763652775256232584091636488707931746025676497389733400857414881230279746927994386509061178979675565458122021993159689453417528083196933650178289359826238183752945646283928401304991483591050346172330985091186940441504328576465546619095308609665715969501612114143030908560540036756974654970913414453111433459693250845241894413401124121330031763211287151493955693528606828913934228835532800000000000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^12 + 1154957852916721441224253611369599550032887731289743878678476406470173757235652888506524905009568656801139177681369523329430543803623731382817591343358665549052309077189654748209658031358686995442481117850420154887550511981107586315574395036492976256136623786983853218670641868166688573267638215923062674938217381830537394997545882023674756406064354764293875380874521642549634247008187272863013066429213554337625042174842452685879363101019758913432531092827450734725347789482736273390105371667038709801823790392844869343122184392091549793420413205038497286232828942006997231625929957235231665644769130502695752438072913157288778012621970460418720251207012466921090204732902307140932332093904035493613389889202197854115931981544904576452834466230440635121670699778855716310588905068759189802560555460200022885854356594912054972876944804758120399836790746222432581821280476321659083114291414540346233630053296515293714891849932066941842004937750976921600000000000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^11 - 1785626872085879226643367165043185541124341124658145988276134495402471386308582415379491491805533610750001483707961926154141554235112078812599701202950597881979938681660356956497864213469382460909207723077667709229735444860043469638835390740718062358610739095341304293551317933037968873891824374952836561903797142398572180447786411082836118178823106041563468218723348603418920847200061645634155995075328352730791807850155733202404088119714560938503817283052731980844402446405015544641419551771862452762184985582298018141977618563524625205149190591602965431176612810724635512919002740960719237214946524346519721888801003191984872841630772306852719401475820922070057688038226593277067100763362055851912116188169504705615465275132881127953708087554206724198584022850425286529435076249926851947988769546707194563063877246005440923586168108960882355071453003439671479007050398755695110673884994199837145085171222443146335855486835254663560645271713166131200000000000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^10 + 2240545190326958530412691623033471656784891149376254460594782836025152356300775720652929030822055463058910158029549517770594785078866984845180818261278834336747883731892695586875056324529675722080957707934879142874905939823768925822144954461345718486366059471924534966079629066189315953173643794868976217407406496827890600707751313641798660947800072629964656200826640036088001790175773735005218184781151254087047706847498201343491373588997117450731908615777246450957550326848686124041163806503000740994625664139713578569262135258612700155829213615750602730068032800552853932377261765758931205926143764041517071163155636865275961625748028714876371736199757795057919475636933562557262936870781892786370726837149103516340974979216564446524942174769742208182504821838456877001736709322827192258097378193950858206569855208416395934923483273496155664353346879421246899931063906807513961370602234948014179267160692298512546900428063400535600658286372297113600000000000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^9 - 2239114540590565553109777053023236674543071520661173716341828911724300917954359966736951745324608172661539875692523957105086475614468907091805050322741338443335783578907507855203301590951009879838953713390683048295722052681949962966350439073506157448351807128049652836430482435240346478317231417761621685929511716741394555177240915402338293864747644012201043223631858304594313991641008801143564911151221233929761726490797987683354708056579565513905022170482339153804583757462069149756644023178797643319441693531816866590911587798842114939949253424189726935669680036192530942461899349386120263881245341708819471208169799282552353771174665408948721797571267162524251153696576004279271942400253000421393019789578212293459143462333570231425885512493072077832990937950278704571243149725910980562673234392883570349654337217962467758460715016850536280981181693054648396631108702866237756905404352282460917432012727918132387357006925649373629165587453601382400000000000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^8 + 1740662569124358574303193771716359819991757233063026372451580177569870403964456908458483065573686013033113146046223968226539320140444717023017809986503268607188615880657220172849445509465262773797470761925238409181410390992025967604974545965990043491186640249494022701072603912614124728367412547894533934179519305533651206123904127016185861476128514442879169016976095116828854862131779641639654793996909085538249901522971661790277550475272868293477622103675218311949519784777862880195425499563249424723159355509216298306021101075750410795652433592854790560706809390092861582644836709320189337184516252966408235869496949260539478879370475579292151297213760310152722768038491189606679336089403047404418589737827705864951827908407201721237097298878867043236226756493905453335619267590215638881547909207167827106935570175734715457151238272650443805585625185653721547500897931932153182765436304012147800172574544778918188340154509301800595021208102528614400000000000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^7 - 1021012652210864119525339569125526658180649970538113279954378872559062942487510559434944090441743457483195417851397017872676461946985645447154524476760594844674076053234240758442874829371400518409841388477191724682248845853579409403431742239784686555215724994213310014296909010902598263138587495507140226853302060892139708991394621370756509366233067109905599642313373989087867389456277387190893336926132063632356455485055103716901642048091435017647292902710731189659331794948345210907885130463870170558206151208912396403234462072803525922782800336295068859018403587896614062554704460048648464144062941423481503688012404252230453775601729300155793798331854349053955776276632395113788473074659908180620533234956862214514771646123934033958954001526402934456128208204095515616356019922127153377159821540578890739540754182005561070728659168661443468365545326955006885725806112896020711531507589527546069595066210816504546397090839036826203069855368740864000000000000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^6 + 433741691479196201265122990370523777453227576566038182878604449084326272843415091289126069630282566577740098658307564691009689495684600427027344349798139586963273740362890275652833501978676292692240322231933229871469749216702220135005249572351380781142037043764055354512032762352275237819600766893303017669229611071934458657970873483925307664598668570388207968774291374071830937161070779764334018982116516340058089624572675371543129991538343904958505020680942032108060148683890697400664299633572414727063603997697173934491810032973414107893927010257273803940586586193033834315438006755908717783749721269881035548517741719318059016017247432285701359776054571101916850624241974426515581202224363222307736923381426752537504425792743511583718152999017386527571529692622274574857347818612514483372615287264226150340848030530362927951732011064678010811607471318916690158936725360147671548489781183786649003630242108570489006729895052478337131849014522675200000000000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^5 - 125934337106036880175917653294202505794788814692324565071705572842315157514279183142261272059628076474444629783002220806081345505166224095543044872046008005407233076483961470120818822424866046033909022265098046347464286591651006774366300553603783743865913621441846318465913522290588013863069657432674245358059369366198481428409909830098916409746500848791685992926237363562764257099654476101056430367776225205340542984775424067574099502053012783515181636534590190114598787326871548033607792257919119346448083284778446374608879243754243587283718535530266279397140493097381141663341072881575154701671819548919101425856471503956459611653249490430210047116539495818592081294863038973972496080400195106690359939446912220085957841748630117209937290899970901003000613560454943943986058446186676700471889684006118414761866424682728592605094013524647520705402865658559725908549163465752307457719259289793362066331343201140505042940762973488239799758678392832000000000000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^4 + 22891744528177284782882904238610601420127001163111175047953831061535657017252148015253198912623354435053776204182284593165907340563701248998468413043083976448985687504371313397264888179874494500632639674205243830074422888622108323981907254277838958873362400125456518916676202927691110230152051415352787206717419322622968511485579384456867042182715768117454532130446088643011806517796102400639191258403953964384753679805080248655858690832894932100629735866904317822200502837619639222622199669485027510322506071520564586428663894737067241829357185041284273171240976619367196885197916064328372096682593165063829569712121356059554290805436455188536135867381897922899394077538623994264825360472212454032845959031706272081178760480637813840123251176946111621417985749166044998704813414322341418894657493380388632124823115686248460141819016884057890249234868055790720080238782187173097892002613135486466502075514762804891784930400895060034436837647843328000000000000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^3 - 2251450376097038179144599789346891991295910893368630380535063857456018344420419898861039238873023852027990424743316629278440055848209523878800083141964620584167586058711469997348915051226564841153802931169515477242446464982335233324601902028099596211236682116646800344702670053315031985323663988811577708932773093217836401084532969539240858436679229655612421981448590801810811564163585105561655972269029856220989889351426569773186405720860426090188647572874691065203967922348323544177425583197039653953040634688679074822000792676007434146599853138457464524955491271188039192533130373120938297753837892898876281747797546792272098897927804354417763402421802034815805179363656782230130257813458069203438671126489313162428434637653250439042327715976213791677516561874249325029127439443207305616624353954746366473215151038641353483385775470074785093322509333629924154900084336663656004192030406693137005714752851734681768723208286546008025293461127168000000000000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^2 + 90372496342992808744684012714531789117782892419210797754949288335493693326608089495414503963951981761422439638385268234451275829873998155428402811407666224091227694194759019761625164742076926560042094814655755836920076611540420408258006380701435035583728638350597282527319507066772481063179313752752900792110096828641599294456858495997878895754190334043887810412293801116522655065080527144293015610314663226117570427932052532275257215377563021968474740489354091635083657765141998473932334089033683861973662546040912579983453073143465699718293104953397261382227462246654498713630291284481018955219400965095790385303442293998189019289755258919639399253957482199588464679671875853091637113565372679448591962153113367906469012380111578371736686454472898023412897344596621247375799476664794777526928969851604531144188491306460386388162488980688930080164478132720631995369134987537893446321996548737670341174877200395260502744107527285240892154183680000000000000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t - 709471498507335240669355677838099084144507077451444023242907619614092507063607485090051090813254233629060768628562430786040967194905129849143794674368715341120313400522309075759361313262817732085238476306981861215795694203350733152112836695818273389324288333973489100075011741930916308296815580494957158974363956124138768075639816655395120868858444826634968769868264435970216381278366481928352054456840871217895212832464530770495008072201282284124535597759773200663313609119236475052268673384024638816876030508587542095975727763205296787967018233865677781044771806575729630475997168012118252056864958476495896686331865907378987520635110081817179691287875960763620031863590058654523261797142486140400999419037188795946505691915818388092244858737909720276341588125980302080436993412817794146993855959802070975383864586695653059710718256180779572705154521696267422843300538908447812799654244292066132851901998720741025845625697627049756473688064000000000000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079
-------------------------------------------------
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 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:   67 out of 68
Indefinite weights: 0 out of 68
Negative weights:   1 out of 68
Extension rule has valid weights: 0
**************************************
*** EXTENSION WITH INVALID WEIGHTS ***
**************************************
Starting with polynomial:
P : -1/6*t^3 + 3/2*t^2 - 3*t + 1
Extension levels are: 3 7 58
-------------------------------------------------
Trying to find an order 7 Kronrod extension for:
P1 : -1/6*t^3 + 3/2*t^2 - 3*t + 1
Solvable: 1
-------------------------------------------------
Trying to find an order 58 Kronrod extension for:
P2 : -1/6*t^10 + 13125919/971340*t^9 - 141392943/323780*t^8 + 4724634611/647560*t^7 - 44335180547/647560*t^6 + 119048783931/323780*t^5 - 71613183117/64756*t^4 + 28343232813/16189*t^3 - 20923244433/16189*t^2 + 5665869846/16189*t - 309371706/16189
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : -1/6*t^68 + 1403719935696190953168588704043542299797881300810867993242510206193756515867703621079427832108952656601451995243172393847653493625628474600996328670996348015621098133919837187914118842223522645427165932104314436963487711743689873164874328056535475120261176119588018753688570436854750408725706374903048467087795684901881137811244639296771481683104426921423008555308249110645631080992158133145391572921891706369873295027852264831970810426591959346579204983167159899099944331117308431306695986017457217560115474090898104277889724426483719001604380235335790816567657609866467209554118430404583546991214264553698322299891384821756763562959106623600425670610996864363903958596993939577278893539619012185856214319520426115768937288610900938698540176724696208316161371376091276579169160717674391951874036134548420192904047180213007974181426671034935883676647847550874775663622254427/2030075691218916526406063822188357739687381497042140430638599884011756669883898487941250219385698990161146507332591066418416621648885908903566525379333161474825230018856694009906448735958224868818024133387725583458259566556642627237414344355877297306977076017340364164123280374821648505114143564412531665946826061606031066920200957261701003473431429991718376956402365237341686633231145125709288158839825970450457839332717401031870651935046156618005043443272735239295130389835908666466338178245954904710745420252685626888730393488479413955110619080192556001196502031831787040552084523557860101544683377634530862969470974552453655442403479700439708124377041342263676418025074680677530391082299635689839551002793256025487291470695709281854341340173569214147173638018270395795369925327562684563113564615119584406819456082744271803973200118804524626725858389016305470572445420*t^67 - 564187023515676897647169131399688252381289209428009391019815577652754956477072662779317147698641832631737179312498804572648361172820371905687361020521681315532222176403788306346192012078168278197706037647745338374973898952373721695619543338770490522264193293172262759724159899048139035538103340535111756670700934362763730784365538124196839265750561664794681531285894499010761300068150934355132303010392674318267417217446359054906701310844917748721718689464579126276010754254954235824002734306836645537919923624643377828071253062638003884221747081294670134410593289157265894850095842744933778428997617240089061023546240972603599473706337876513322302952962692900512838754833919709978996607248488888885996956875379714829300009470738058694701848590271195677977936003929975930266035805344094886229143946969088998892259797178052513171444528293263656689787695395389342610541567330413/406015138243783305281212764437671547937476299408428086127719976802351333976779697588250043877139798032229301466518213283683324329777181780713305075866632294965046003771338801981289747191644973763604826677545116691651913311328525447482868871175459461395415203468072832824656074964329701022828712882506333189365212321206213384040191452340200694686285998343675391280473047468337326646229025141857631767965194090091567866543480206374130387009231323601008688654547047859026077967181733293267635649190980942149084050537125377746078697695882791022123816038511200239300406366357408110416904711572020308936675526906172593894194910490731088480695940087941624875408268452735283605014936135506078216459927137967910200558651205097458294139141856370868268034713842829434727603654079159073985065512536912622712923023916881363891216548854360794640023760904925345171677803261094114489084*t^66 + 917064443018713964831799894072713945398623109433097532719737904758567270456835767840214905428136197341566214418137259786436577293810691624705294305689578866066067309640605770670973415415195527605634162924742387201075421025856339434535962268054628461193251946406791086849087139468635972244103537350631646759915923088774945637528942775466339036045461309004229935414252221657823984754531598774083199368794893085967246707321264187030846760444399138751287409475454629786751386076525825819300389135100708302069420765155798514803217552908880036980737587183167022818038447593624766555186429031421161063534263278497471810151496930240754022226769741696174820830878864445965918200988269700582115777098703926187462165409690289466416112372210906509388949141968243477234572063552332849695378289183275740531246042242359015170348350514720030813066011205577766340518909255364098132433166885780157/508718731132872699288517175300155840205348554814342519261682240437934295526461559625939771288142063728325129497055917353078396914378029181508396430754882071705613196214679822813436326268491338285367749737822486634930293274241414863276407805491710436263759001981273289354770023004952107664537157985173419835374852317350574689222934916643750279394164489650467984346691998009973482559104925118639585903124238458034352173210507114369477789869722462195117269472600320012491303363135505071942900458797210163922020205164719740438349195694604915465072393617992756801014693555956090540238674934120971072662974064445086228756319864208244626228767962757941042988100194515247518464912331328175464431971067099581542331669232006386886278708617455972955513140421599762648713073136316676853929278301760197848789241613891127950029183855538560806522961213426975018773024197939432342031240*t^65 - 121767484266538695351641092087023445158201034021881896940635725572806108873407071515733447945575623851026033693148929157100078777614576088465524056370761179671884263615286570662931215130442583694499632090179247286860840533429015186421233972405249205942604545620552245277331382100122622495611753968851631722302466875178112068321776703007996242413936698333387182610474052893671142466273586818425138847934883211962937773672835204188679645891622502204592651244695338960093558485774993076909856767407981702394936610467662618114276536747979335710078936593139457345652499037829145606256448167939765948126407226320375336475978556803629124341085147771575515592632411565245378827789899279593247121365188490899127738772121879684483053321395389979237365860855471801929314808162434904937029089556273494314064245591346468850049634286190278337006931176897309486876408594101318402129534331971303752991/71729341089735050599680921717321973468954146228822295215897195901748735669231079907257507751628030985693843259084884346784053964927302114592683896736438372110491460666269855016694522003857278698236852713032970615525171351668039495721973500574331171513190019279359533799022573243698247180699739275909452196787854176746431031180433823246768789394577193040715985792883571719406261040833794441728181612340517622582843656422681503126096368371630867169511534995636645121761273774202106215143948964690406633113004848928225483401807236592939293080575207500136978708943071791389808766173653165711056921245479343086757158254641100853362492298256282748869687061322127426649900103552638717272740484907920461040997468765361712900550965297915061292186727352799445566533468543312220651436404028240548187896679283067558649040954114923630937073719737531093203477646996411909459960226404840*t^64 + 230727720655524195789138244223328410763143016228813795857877215438724161200758008475108841672331239747887258280170875286563492121213879837269601814359663364058647691903295881906302013675739101133561020881736079131614527318287453281981588252130063980273715913617054973585568207622970564949691420027745865382761948903187439291481079936332517171568656930316122080217892471314141547478143188191230503873250667218311615631864725177721893050960922110453695758152411574805095416633721301949924151783779670136678724722394582801657242805461095487317078449875792770568790920573967953411113940299317742835411317461096110291294411217799444036739348878383735887677766080262770275039376232230704799051607726186567442073496925698354545636842727706056460890195781302422167700853033526311221952604689416235346177166947978925087100311641535645385882360678327843155088476452727721783378754458835618380421025/186496286833311131559170396465037131019280780194937967561332709344546712740000807758869520154232880562803992473620699301638540308810985497940978131514739767487277797732301623043405757210028924615415817053885723600365445514336902688877131101493261045934294050126334787877458690433615442669819322117364575711648420859540720681069127940441598852425900701905861563061497286470456278706167865548493272192085345818715393506698971908127850557766240254640729990988655277316579311812925476159374267308195057246093812607213386256844698815141642162009495539500356144643251986657613502792051498230848747995238246292025568611462066862218742479975466335147061186359437531309289740269236860664909125260760593198706593418789940453541432509774579159359685491117278558472987018212611773693734650473425425288531366135975652487506480698801440436391671317580842329041882190670964595896588652584*t^63 - 5017855705706300625481945966794186256047879351811594789389157741814360762001868057464835795937370429318113928734468713249112486821830682323295853828058221844838384107716447182401920892433414430618680045905883851334966082515316710201466516956839142183611038554814346059685074337771086096392358764877244743688370394361781613030396252239460985064622321396201798782950519634372610081594010418043840772025825303111390812805045837779865980354708645108279481653958060929374955713223529783098757157465438703247243277220644000717729232416976944370035056018571671358980311174232492314216025360676487008359681919258242305934040626367946436252714821732784109729843655907631518066479061278628044657717298915678465227049445874526542268708110654307015808530986687456609719329729066355847864300592200162216207047304559377215398499570219988370959909775297100492739943964130621927614215754050421433959048313/6907269882715227094784088757964338185899288155368072872641952197946174545925955842921093339045662243066814536060025900060686678104110573997814004870916287684713992508603763816422435452223293504274659890884656429643164648679144544032486337092343001701270150004679066217683655201245016395178493411754243544875867439242248914113671405201540698237996322292809687520796195795202084396524735761055306377484642437730199759507369329930661131769120009431138147814394639900614048585663906524421269159562779898003474541007903194697951807968208968963314649611124301653453777283615314918224129564105509185008823936741687726350446920822916388147239493894335599494793982641084805195156920765367004639287429377729873830325553350131164167028688117013321684856195502165666185859726361988656838906423163899575235782813913055092832618474127423570061900651142308483032673728554244292466246392*t^62 + 933514831358374111511415907691158814960176126726629807335639046234748770139022124220680323385955355101473026741490132428863433701716188743272323781849813001830764865224911656481566257509758890020416019593668164376575926193228379732569372018978103682961532641459104108901999147680469612952098118983520370852968555199262225722512465383514584465236031173999288791779540301789393029155335101847156766516617613592125986529425293636416832554833439960628487542753351461505031036770839350353181367693963450573558157304989049384321756133618594796980338854115485623090002919917766463048154627630920884321165549125524826344091769901925575814433765358740657842690493591328108024668484710847219437805518460146770560919362280068929951703685039558657448959865769102170154368704853218741484472403464501723035632776281360809421569475007932840677493312879289177687863827896199450801598573661904789685418608634813/2642030730138574363754913949921359356106477719428287873785546715714411763816678109917318202184965807973056560042959906773212654374822294554163856863125480039403102134540939659781581560475409765385057408263381084338510478119772788092426023937821198150735832376789742828263998114476218771155773729995998155915019295510160209648479312489589317076033593276999705476704544891664797281670711428603654689387875732431801408011568768698477882901688403607410341539005949761984873584016444245591135453532763310986329011935522971971966566547839930628467853476255045382446069810982857956220729558270357263265875155803695555329045947214765518466319106414583366806758698360214937987147522192752879274527441736981676740099524156425170293888473204757595544457494779578367316091345333460661240881706860191587527686926321743573008476566353739515548676999061932994759997701171998441868339244940*t^61 - 54814957915332051073638183329045563356404420910118931530858911354356979457325347516992169732510721748330897271257598973108430783099139526092043835357241136380445118726038507114287804204819162233819497821985998490576699118518554563197208191782340687635011355477591591202160331565388990025545055797653204828617012393657560047473856187704184466380944144752152011634441694191379649493470718443877804663360973416727403794972644814518425491903566667721131552401972871122412298549134246192400662786550201278535374875314674780911071835145663504270166343790057391338917097729824025051991073407904941156349414697460635309326557186249134297838883596044378559791089910436949427623211254785172174685608122123665259739321076851361264475159760625846954819705519104253591430601046370327200710984677373403182846137915963455870730958527946249306548610116256421297563594220443668175654988318151890684777378086084667/377432961448367766250701992845908479443782531346898267683649530816344537688096872845331171740709401139008080006137129539030379196403184936309122409017925719914728876362991379968797365782201395055008201180483012048358639731396112584632289133974456878676547482398534689751999730639459824450824818570856879416431327930022887092639901784227045296576227610999957925243506413094971040238673061229093527055410818918828772573081252671211126128812629086772905934143707108854981940573777749370162207647537615855189858847931853138852366649691418661209693353750720768920867115854693993745818508324336751895125022257670793618435135316395074066617015202083338115251242622887848283878217456107554182075348819568810962871360593775024327698353314965370792065356397082623902298763619065808748697386694313083932526703760249081858353795193391359364096714151704713537142528738856920266905606420*t^60 + 3758944684254790276908855558825710603578028864288103575965682554097412963353387596992710854716056286156629045476864418827056647869039919094867030575396970724373759941525455599594118307827331004471483757185671712825263235146923552663229356236581478653019118217936815310677785538876884732012288352898406855226387220660089316019441881860259194735015385531455848522360213308533213567993854615364517198624635351400119878553029742076496693562444243836580023292968558762403411024491979263175926405047823055474122090021000383690563848665112483617758917278309505540042949877508132582044317130085487038686007762115231720341469830608849362535557125230670124497782949203670925760280297017843796140249237997999743553418490263755898284244484527859305783390794802344657120867564642805107788686508973742689898221972965014445643848424461788799063067895197927509692760563015870992629449910084676745775188757313260293/73389742503849287882080943053371093225179936650785774271820742103178104550463280831036616727360161332584904445637775188144795954856174848726773801753485556650086170403914990549488376679872493482918261340649474564958624392215910780345167331606144393075995343799715078562888836513228299198771492499888837664306091541948894712457758680266369918778710924361102929908459580324022146713075317461212630260774325900883372444765799130513274525046900100205842820527943048944024266222679006821975984820354536416286916998208971443665737959662220295235218152118195705067946383638412721006131376618621035090718754327880432092473498533743486624064419622627315744632186065561526055198542283132024424292428937138379909447209004345143619274679811243266542901597077210510203224759592596129478913380746116432986880192397826210361346571287603875431907694418387027632222158365888845607453867915*t^59 - 203115492210618861556396830329134420604735814012220479002556653303994736450579367524168252809192238200505437107703454809339277794534491172181179661914406387414042136570968608227358528474317621616159007950043618416920213413041893247036280595058583906506868714422370360587728329076017470733531139214581999742081952377145582073772049970709163204949490926007021650194825483130535487717759132021259052469478106435062519303799102508990311579795476725595133965570543314966202402539090764673717031286494318895661940178060058378357629227751222421776057042151154833895477914814193219529185773555964488308352518259577697708756548669567085200280733255331239293081326435161104588282745518657142904299981407300239074761520289131384575391137305102998954534395145802826567843891119742882994783610876383655600359342755076910287540022554481435008205267222778074600612459239061648865241791706296993610229250666947765233/12951131030091050802720166421183134098561165291315136636203660371149077273611167205477050010710616705750277255112548562613787521445207326245901259132968039408838735953632057155792066472918675320514987295408730805580933716273396020060911882048143128189881531258773249158156853502334405740959675147039206646642251448579216713963133884752888809196243104299018164101492867116003908243483879551978699457783704570744124549076317493619989622067100017683384027151989949813651341098119824733289879674180212308756514764389818490058659639940391816806214968020858065600225832406778715471670242932697829721891544881390664486907087976542968227776074051051879249052738717452034009740919226435063133698663930083243513431860412531495932813178790219399978159105366566560624098486986928728731572949543432311703567092776086978299061159638988919193866063720891828405686263241039208048374211985*t^58 + 926678313734008137563866861003420366648631545181455060468398949236505396776789317441077504127143125545331015983254125962143638613249596921854055868611549930734666137252065180834380812053302692434454946815438904970764323119172519917764597810280057033944288173981119187929821244153642523455693175089973609168017548910408343348810270703133192838400934510976518581838776669717733607662751153419332701395841739287673427262769693226665168279133884407171879084922694140920614385177412473952156738998959969423504169904630135993579517049333076997907015618066015713699241529675050377400564771687893207080320731138793196408846154418337840848856849258702820701963770307685063953789820033471222885752164997660230492580607840864267363682014686813774773126410619757113324214672928914358677381790526312016738596742480689445217236368148197006656745398506721512755385792415698111332952139193510048619545322899477908638566/220169227511547863646242829160113279675539809952357322815462226309534313651389842493109850182080483997754713336913325564434387864568524546180321405260456669950258511211744971648465130039617480448754784021948423694875873176647732341035501994818433179227986031399145235688666509539684897596314477499666512992918274625846684137373276040799109756336132773083308789725378740972066440139225952383637890782322977702650117334297397391539823575140700300617528461583829146832072798668037020465927954461063609248860750994626914330997213878986660885705654456354587115203839150915238163018394129855863105272156262983641296277420495601230459872193258867881947233896558196684578165595626849396073272877286811415139728341627013035430857824039433729799628704791231631530609674278777788388436740142238349298960640577193478631084039713862811626295723083255161082896666475097666536822361603745*t^57 - 861363975101396421857040653525663950352345934442615347399083176846732860970291526942600478189452308573986331042780264670666851370719284221429260964815241019967037218477256823769181381000726115571659300831917988141559068726667724198144911364006082157973237004777240238037709503436264038796820685564771763743981113768832427402750347762529485621813178201642587985216141817190605463504127601387310702446488311343011572614416454135100354463017657156424992569561791034118443467537496929040782372078424976837736834250374828393694979209202581957064317678314603544136814960936509739362277975849956676370819366689466030113854423353024291030704007634859753261395431492492657915432070489304848406576833354825115789431935995210636331449535871997246354110121048499274776188190036711807862067480630522590942848184567970556693366491279735494565460465576229818382908874205125375860540282477000565971909865452772445871762/863408735339403386848011094745542273237411019421009109080244024743271818240744480365136667380707780383351817007503237507585834763013821749726750608864535960589249063575470477052804431527911688034332486360582053705395581084893068004060792136542875212658768750584883277210456900155627049397311676469280443109483429905281114264208925650192587279749540286601210940099524474400260549565591970131913297185580304716274969938421166241332641471140001178892268476799329987576756073207988315552658644945347487250434317625987899337243975996026121120414331201390537706681722160451914364778016195513188648126102992092710965793805865102864548518404936736791949936849247830135600649394615095670875579910928672216234228790694168766395520878586014626665210607024437770708273232465795248582104863302895487446904472851739131886604077309265927946257737581392788560379084216069280536558280799*t^56 + 2203470936132816589149401711376097214374008117382247967739092032718519709664634434027368018525651410132501906704471575895699816073849270371630119162073117847719290354384261699597525658075326560266418527693809279497164396208914993146160419169941852958760107079837511656460211248891678980751299669087007981357094782565316748004228965320721942535612986745974886715663313320417726237271357659596241097620259208469028015528054765812503092735738520655876574319038806414082760117703253609134266307881623935179890644481779180337275123492793163249794715350387174368946780572939421563946716133893857396445469738196415701121549388196161771639852749808210047353234938064101240831436054990880081485492361119603364895630259099720518873268936573115144116455790992811889532496285596431897742556829331575023653377824083334023800413099729955198230709576305803702846172088439226091167359598706611992428949070558711837327665968/10484248929121326840297277579053013317882848092969396324545820300454014935780468690148088103908594476083557777948253598306399422122310692675253400250497936664298024343416427221355482382838927640416894477235639223565517770316558682906452475943734913296570763399959296937555548073318328456967356071412691094900870220278413530351108382895195702682672989194443275701208511474860306673296473923030375751539189414411910349252257018644753503578128585743691831503991864134860609460382715260282283545764933773755273856886995920523676851380317185033602593159742243581135197662630388715161625231231576441531250618268633156067642647677640946294917088946759392090312295080218007885506040447432060613204133876911415635315572049306231324954258749038077557371011030072886174965656085161354130482963730918998125741771118030051620938755371982204558242059769575376031736909412692229636266845*t^55 - 375342864932159517909259775531616394674991017720446049549933156165114139169187991055647508445901591575397991824049648118064980445982028403139666693201660755667034576212068899607010235177387894642575264534018479591504266994080300176700596052762452493369424523328924286866898372859371461722849402217945126862239654709679320780976184874280724088654068505357736476413711331542732901751452448344530351119672241885081808977925192366189636708438463076184880458534208040002722224068463577308927720310568780543155022613876197559911863565559032537701924536037536926296597157914889320214113444878369092495321322402704164336444229468612453812592115398338185653654653649734336638365805713232665829576080860707009670258227911995909122307205541370827712819365967074661086683351842385621460613382372230852508963120116655776557493316970880516929178279056574856545264408053237030411022024638747752329698611928337927493861136/9488008080652784470857264777423541464147373839791308890991692579596393607041148135880622718469316267948921066016519093489954228164987052194799457240269625940541198500829345901679169577229798769608049300665736853905445945987835912132536177324646980358887568687745970079235790111600297246124304137025059814389927801156935321584713468683435025052192750402211109231862906312090775269951560111339706562478904447431593076246386442212446609572967045921893060184608021841502813991296574896183062032366455903850926567318548344365318417538748583740816826388907007765733210554416641371186991159485589539847285627392428195536328187943566467235219085019691757547793932199292314828512253798581050328691523870508068448249386469960390339325121039853463852824444371106684321235887859874528624871460389971944005196172957493259385464936988219189645467927393280883286639737025060841299789*t^54 + 264378214377876568802848074963752869101987603413676986721726253168668192821130216475693243213144133041099936121858764267323069927880557582261416502178770177245154000793764029554073923969172182989285185544062045354573904228618378768053180559999474929761424603464390614535272340143139705029119007701698519917946726812822269207800850805045675310343830539604294730844018727172200899984597847921116582175286073404213353904266497453426988353715714419832568588842195127312189953121878371982113728316157564460327511448173350903348894521085291793615111135908878765646308938268691542711131554020125667232444260980170030524100426248927978154489647238316846671383063235012356669615528191590919507601144942242455917759785513084401692727477194409082803131418560418712066336033161092251168606884118450222498962412241441060251865610915197434716844230568168298810456549332327061932107989289847908275983551203700301583908597408/39563203506118214491687839920954767237293766388563759715267246416807603531247051660936181524183375381447387841314164521910941215555889406321710944341501647789803865446854442344737669369203500529875073499002412164398180265345504463797933871485792125647436843018714328066247351220069163988556060646840343754342906491616654831513616539227153595028954676205446323400786835754189836503005561973699531137883733639290227733027384976017937749351428625447893703788648543905134375322198925510499183191565787825491599459950928001976139061812517679372085257206574504079755462877850523453440095212194628081250002333089181721009972255387324325641196562063242989020046396529124558058513360178988907974355222177024209944587064337004646509261353769955009650456645396501457264021343717590015586728165022335841983931211766151138192221718384838507766951168941793871817875129859215960891573*t^53 - 40227296727155530829997398143494344079348283097431064057062802298755000268353170150754496263393991736490992750516003850675691845410284331777174669892509793656034709366223285340803626992347976242490770382705473451651957111150734735212889521375846344057875919350999741472084615798274670499884569980734107800057466554965158215792525313067093354457875452680388141861344661168236055000984550899992795796438938441307614961574857275171888079652332527740124132584088879579560532286162970551206527953849754650669171956620730287189779257916402183864479992965107895262948242880398115766132344362589513609455735015198356835449242129499620962568056835232376999781768152714455353949065802962733652067486842981598865908920775679377781371606159978453969698070259764724063655983099810088687806637615987431936218885074350568238276748704835233958098896922333097130961499997469518331752377484044645051377428701597121311259945951648/39563203506118214491687839920954767237293766388563759715267246416807603531247051660936181524183375381447387841314164521910941215555889406321710944341501647789803865446854442344737669369203500529875073499002412164398180265345504463797933871485792125647436843018714328066247351220069163988556060646840343754342906491616654831513616539227153595028954676205446323400786835754189836503005561973699531137883733639290227733027384976017937749351428625447893703788648543905134375322198925510499183191565787825491599459950928001976139061812517679372085257206574504079755462877850523453440095212194628081250002333089181721009972255387324325641196562063242989020046396529124558058513360178988907974355222177024209944587064337004646509261353769955009650456645396501457264021343717590015586728165022335841983931211766151138192221718384838507766951168941793871817875129859215960891573*t^52 + 425457334244596099689611093847288783929006869395850694775696524584664289951093532764831946136270812209265018849560445318790031004363860024260513522307766072736072197516884917698599479343691614452815365571957275720154487117343625754746427805284611221237527577662693528402257156268355038375537608312255164154576299541592219917487269214400359609999074185799329316041990849527004281417533303552150596531413570055807465939146244309656125803240823315628048792608233354995101144791091041896734204827387489144553377366266691009208688332983778204761623162023710378426766147146979853019286864881051653070644858864932041169694526751070280478088948079372020867815667129163867403447741198866268605422779366036204273779900133353036349656077482447909178929154079380035390258827542752280767618673983409672982767055208152710504999930531786300994619715420286695901402304406852020140511732024134759340306096027461035507539318604160/3043323346624478037822141532381135941330289722197212285789788185908277194711311666225860117244875029342106757024166501685457016581222262024746995718577049829984912726681110949595205336092576963836544115307877858799860020411192651061379528575830163511341295616824179082019027016928397229888927742064641827257146653201281140885662810709781045771458052015803563338522064288783833577154273997976887010606441049176171364079029613539841365334725278880607207983742195685010336563246071193115321783966599063499353804611609846305856850908655206105545019785121115698442727913680809496418468862476509852403846333314552440077690173491332640433938197081787922232311261271471119850654873859922223690335017090540323841891312641308049731481642597688846896188972722807804404924718747506924275902166540179680152610093212780856784017055260372192905150089918599528601375009989170458530121*t^51 - 3117675821523775840602670487977728145721192134253550070627619598166515296841550557334128191024384338901761438566935971672791550421509016848982846260764971818309854561879041973807044039905887834675200372320018877618454759762427451707103287817810515636079722646180290991301178984800288342154798148849347830743142331907095690848684134647456008926851168250564740278683949535952915898567481080756751595490839023517978035525694191793178101063221280625462511673414698377311901259487577055515191251843664450947857282959380805864392722346869248151050970052791066798448840272793816122388847053405863408221239045474483557529314121308180922137981235233029585597345069653363972298995351580759991408697628697182610859975524693609911121581664922393582224853592852187696754790770034661118192475025996440523092395717624509041428336335184764283096156833239328502243798341070885910402813260493416813232588436414462632212436762231424/179019020389675178695420090140066820078252336599836016811164010935781011453606568601521183367345589961300397472009794216791589210660133060279235042269238225293230160393006526446776784476033939049208477371051638752932942377128979474198795798578244912431840918636716416589354530407552778228760455415567166309243920776545949463862518277045943868909297177400209608148356722869637269244369058704522765329790649951539492004648800796461256784395604640035718116690717393235902150779180658418548340233329356676432576741859402723873932406391482712090883516771830335202513406687106440965792286028029991317873313724385437651628833734784272966702246887163995425430074192439477638273816109407189628843236299443548461287724273018120572440096623393461582128763101341635553230865808676877898582480384716451773682946659575344516706885603551305465008828818741148741257353528774732854713*t^50 + 352684020078041543492422517070441776307999146742455668531889173344095835277030015599149095436130160557781883381905915374372294119126167289745279082001112837714896751697101987220934189195491321511182330744597727914990563557168333354910610913354646057465567139645222064874359239469909347248401331692638326313863137914708889748216800682647740108923987235224348638445137411376557704184813160284894586852056208913371425580672361218403663203121932063729937926988336822118945710078638055628944199739621651886685143998573499401688468819990846235577831823115514374785617206157405584368788623664945944754074981842788729621929814325188363718611425602978729962245798389071884597058382410579813961397284677365442405994492932945321322936661679270201801194559917431849458497271425568652676554046198570493969109635614419036146757362010226562970937189104432893477629498180667046651534017863417755440695363468628688957603744676832000/179019020389675178695420090140066820078252336599836016811164010935781011453606568601521183367345589961300397472009794216791589210660133060279235042269238225293230160393006526446776784476033939049208477371051638752932942377128979474198795798578244912431840918636716416589354530407552778228760455415567166309243920776545949463862518277045943868909297177400209608148356722869637269244369058704522765329790649951539492004648800796461256784395604640035718116690717393235902150779180658418548340233329356676432576741859402723873932406391482712090883516771830335202513406687106440965792286028029991317873313724385437651628833734784272966702246887163995425430074192439477638273816109407189628843236299443548461287724273018120572440096623393461582128763101341635553230865808676877898582480384716451773682946659575344516706885603551305465008828818741148741257353528774732854713*t^49 - 36299874188803707050214863063275485307484530629341365878899307569422934757371821942133362358984762856875010692210127839612327524320963207397358907705641772081404664654754011734236084458049408010100212356677110562820314468711749585062961924163630168153115908789740722203368290362395448505702635483097583548983258921019895230443614428900227210412998644551725727606908254473208392588292905092888712019829103179304556042507712111540850221490134773267298293946653574218673945572050349249643099859431631619721026033360368363165517219126429508313696318627203700186984342962526558941327697773255129615910028098409796368196440995984710329037714118244372348983771281256549269606345730946966843030411629354169520996135092740131203906533765090230376995999097161513633715086162202441226356205029470414751900640344360855471488801863319590096624108159625221918163274957059158093943216991633186566613249573410251505115393054163808000/179019020389675178695420090140066820078252336599836016811164010935781011453606568601521183367345589961300397472009794216791589210660133060279235042269238225293230160393006526446776784476033939049208477371051638752932942377128979474198795798578244912431840918636716416589354530407552778228760455415567166309243920776545949463862518277045943868909297177400209608148356722869637269244369058704522765329790649951539492004648800796461256784395604640035718116690717393235902150779180658418548340233329356676432576741859402723873932406391482712090883516771830335202513406687106440965792286028029991317873313724385437651628833734784272966702246887163995425430074192439477638273816109407189628843236299443548461287724273018120572440096623393461582128763101341635553230865808676877898582480384716451773682946659575344516706885603551305465008828818741148741257353528774732854713*t^48 + 3404785671867088246787427859595597387657319008383294499385134802321924914785835836681135088633927880579262239616499623506977317589505102693712862308749235950855937181720402294101073765855618136256528199153817386005964325060463314698226367772863689684776168206831642629116847102413193287087735347120694461679862639347201351183666272910786196512519739477729773340893753976748611466430135684633608027436038304747594407861682470888626544971433235254361890202958025745382746606430726992730486596056946206443846933983516945331024200617533847508243392948735409128115129089967830552603701821076826625327858318131239223959905973838548180174493576024834891193547719315059497768635352527633587403145560686323795487053784111257553279923150685994488989859632651543856286280438075259096581982861653429350847196469053680432313320400331099518354491726753412609863266443615269409028720445125769138583269490961565296224103942869390848000/179019020389675178695420090140066820078252336599836016811164010935781011453606568601521183367345589961300397472009794216791589210660133060279235042269238225293230160393006526446776784476033939049208477371051638752932942377128979474198795798578244912431840918636716416589354530407552778228760455415567166309243920776545949463862518277045943868909297177400209608148356722869637269244369058704522765329790649951539492004648800796461256784395604640035718116690717393235902150779180658418548340233329356676432576741859402723873932406391482712090883516771830335202513406687106440965792286028029991317873313724385437651628833734784272966702246887163995425430074192439477638273816109407189628843236299443548461287724273018120572440096623393461582128763101341635553230865808676877898582480384716451773682946659575344516706885603551305465008828818741148741257353528774732854713*t^47 - 6200482668746446110705977164655226625946578792467374782492386114938232660079186794664052126635039798560211109982522374779021375783874228974117702208380328512096662848986020078785015241224221213709479466684731046275683838548418170206642029964760478206772527819025638109440847143676226925364207798576139022898551549196946955148890394151199159199799040433285878369995793478635103496905997023445059121391607917203955095366681915634562194601653140405829301197521209057593197880680461426920481627025939433266141813945994655671142690026307644939766188305197685767823868778267672009060148221962459605905198715313489515422157952637357611843034679664262250917553417734774076926726549329892283035982881091151849405807410394323958668525977668112663827973086762141537164122546078195936814594514009254926002772035525268097575996812842652462754864598226079613934200961835700721480927836092232919117853905097938520110345088822771200000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^46 + 484827105972963741147785367184047585863229137990328863345814340005885498532802379836549779238428043026950296608106322105011168524727098426096735950377773650712062239447022636438070071073637350621713011736247555386472968020099712187004359259812219108324381122110621774990863669048663832426618257925735392461233037046437927092674170957184723338966692807821486695514635323348206195804316546618279864713367419023416408838836108112217117435276112425762642280491120627471705713909640137803592422815207913256284991777326683818704435127208390712346637851150655638247563016195078592098227147156624237879219224333083764935613735060821077866953451653538564140491448532711235290012667613793152715673141897012271009292625300320227493802487119145741861939424919476805269571067088740057311414278168633210774180734184270879755141472509105927552628954853658289403225547824279423073827185630156929261249446586347859133878478628437507072000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^45 - 34662544254716796979896066443172393350283621621346207030632894811387461757453338331933499024730908697057176720225601577397771412649502621730479859495767690464683975646081617086047763589109887731143316446768909743305053637047975998459065706849199986742475209449157807362623517224848214627812139334868920245188164019557935076988696483411324014781225692926074315642365195438456798456287715017771912364169069711834703792131035444672936249857517375980810328671769042697620841058112559607868722547304579314452175851354589973248523398914725361732101138150064323655925397792964816683455196286488942665238210170828053813849436577898950236203357549210252247016962573380400423582013260836933192116486669875987896983862252653616537266971075674139629669179138976876052025849985515565348794334938841865688468975533253884427893189498352827185886185821154405283314721964227115534629166109707962978634719942288992977597918181377984035840000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^44 + 2267483321391902195647595769107462087453811353015119558292097097950573202846879329705834717643281630483237990101208958511396916126096439709222790693371398948246187856828399558740941084906839215571623820722654727466993548414525732417106161968425613272569208127478451820286324625190488002279712134525559198874913587851015926912842440166735459670552929246607383924551653945444220323930135207345018034280518188279538729168178562371480015135233593638208070367544719367687478195730112558008093036121007237369325625080684066775176531001295344511757138510178544548565701349926257372948818970865325351996956562111228042097417722040440727931095475890750312626146664247557716437285016820964169525618919246838606308605176989965802045534407171420982658134139588921293469557251753678721142015183760520471053688482378952033146893167069131775753541161007582140643104405215234185409609206640969551854292441255546515431630425170954974965760000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^43 - 135786351552704522793872257192367427276361319484098745823242362963612758116079183511324891700689774602736902477067439196916380532847504966537032462652362241393687307444899340177341017273510671708333859313423070326536889150372340729073339531159998049284460537395586325651297619662549369928548652987028065489678323662124586648876526480695646050929030513761786168743094217576231573338111212750883733820082635003482568319787420863747760711288542569794779778301105297003208270154436546648886976378107621342129190094317296259072401146747843588183144704259160210570699424032873860955914340925529357484548744051076226780172570121979441275049412091412003157635703749124271279229636356740583634950940213157768699766908480531645793507246598456572591365512039874303017295479446961892387023545967934663457590515951870685611268066084714559924553050408496416539813953329550188369988608026540196871838762247010889363304708039702352350760960000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^42 + 7446296130840813088145905166667066863114362324351493655942530721977222966304271341248021868851436138159704316788641849561327227068579135490031175924950588699356077027293157473856733258432433402312020248866071410672100795154783157976553638614143023300373249569667900019493784387490696711171097294699693098100515470929280309425421702223896915373669508842256720089404738386423594205115065373989531221218673036958202651270596643354284888685420215540746674080804657749325027399575873685342939059339927217942477688054703854285194130067182231195870699228030247104964986649567882861006276421727621384927521220819099537690848096605224423923717895031618886324290406705150403156249025115214716072832518954025366303824598968401207867872508323451392015697627306021300097109830307265905686869531417960807326554674030376202973288786228554121076330400257788492977959310200557143578540218024694221632376886164185971308627836652706583743488000000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^41 - 373998833674092446180375225058241972922325501202695758464083268376953575864118100671824439545457793945021966540372558809220601820531153755491578953197648505891388742583867686754162160284476241431622325357632503911617923710261473950502810296666641527446643039459238844445443638912206049429772220034719884032761031243073042585443367455099979396523567734446681901137717807542055535997655056444844047109421232072154016953406581102033463805341038238980806084742305696283895560143900802992169734181976302332554623473899750883429497929267680734247871833241717660035756109967536436442724479445836854976444910726225241218949136319982558874581444255349067321987469113079115616298539726387537740297992929637105588429024786888699079852845375611590873545320689747202091557971801183131281744697324733277508441446891070154636316547097537861083406940634000604893090850911754395498060250256337543700192081680342324584371723213613654228837294080000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^40 + 17204916797512654224845723696774125177011161333816245105357925978310488583218236620940583038965450846172049649102618996480155471319613962487590181525031307978941175018839571097238410255563150420057480932593753812577902268750396517236672493096211090003663848477219566585782852495063429055284370714257607378399188340166452122041158949603918886706823739692567210537591755681116509574220669290579094416355413206874517858424896711226610619813263440833423191838405543582502537831142178599271579021956944414866170742604786395740832949404517004261388421271543904923749823079753413255656427628372016351805693743503572147716205049666455053122841625956049029678777887502659233282726788278300388962659088265875866122207949215236291274534141868254603627327191569861277185533508763834293235700336357438768580306825226899558924303126581383774991208693105756448414676456300365753214936455974875316006138238453019597873741585390336657714316902400000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^39 - 724818647457248432839985260147371991285057708281251727721776723413128791046367856789564675599913008537236862337727699553131103779520930514952339560621570749080164156353236382020175701007955700317806977442916321717638953181993118925125856172115320028762545926453248654197527987054289668542368648042615691393363022377103890116101070417141637302711728179372151962031112266446091371804896878816925764018182727829003489438354111608722352018702730500853225652639061322681653102887348275767085431974156715942957532188423104067847633048006361514272500898905689540059922599034424558318158959721495162067574276113243525467079499184175173951659222721585072619665699303078218175287699316364479261354243933043592354028731347690307616883954440856516679523434622963730435338251625730304153164255101376411553013185834506310815853188733057440448038898248530745995696276145377581454038322038827019833399724583985541847850481305915922161632351027200000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^38 + 27956304740329318888615739075417969710507397652802482342396993190073704626366001949649296241263042946614146973143291185662271225601324895561461740904051575793600133100717495143764600269794370225297214565084595643050742875950563612293618551032465467490565354831105444276238066250615535421806543100922747132314856575530717189399754992777551619172500028283183322153220017729971794775517660900899688842974967629804387940604887206600279833092868124207696776899417194255183962050546000984801778119853511694973345473290271410380570652066753708218834984200167688430216805727691985115921313097153915491073772205064068077708238436949117738384023958532585093355927831374680712728118846702995961839548195322806336422519577270931368888975665294663285960431268279382807047135345141741697158046892130568037154221766514682041934948997041602699055608774563546334123792773962564304281711238016579214870257020584633533826786049537949227748530975539200000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^37 - 986781642743609069601348424901788183600886583896467225141991288271058084472609110521423375972370204452362894500143552824671987063106643947407046552972292460182254270869991084330251258002751544632783326502347046163187545309294308478555384644667006822709322491469960822392548922212057813828305861892569559287307906037811319261594269944457160552073481344451646204903904994298636085261319932952735994077311967361558624760017262750706548996393112050149418248588171500790514043749804244758373701526219404063134943536435236425965628082596810933476666096687669941743116636534297738231163567515575012722633187500585770914280471330076612366514377712024733749514752076206456217163885366186161394398900857123616081164134929606011544381047174455286040510871101536094342373208976259384534864540933585825542490617417487198979379504864988268189889513181088218044965935379264087413329934301070188696920952013917830476702787919819822347876218801356800000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^36 + 31857297643637340055170483517623453363029022813793290869392396016072291428190964891009606230300773878377254178737063825136265400475731824362044431450083894092747398844581924328847999999399452683861933304115497809434928739947385094736061779274573364069508543740639499297228962178292268772734615567009302159595535553081590420157519016136770500920879335101189283688068624114115954549872116349401297835847627057044741873354875993649834369691888436592946130789987139164780450763113433272324437467850131057929612094797538370972171178988073273919357123645332100399840917007341838834035285878880301037885052445139959165276985548714755210224598872693922291319465057185085771734047248762609189567133497940004323827446626804934599346035769177400055119939518564391329863276022591468886466283368729283031646174222277960320121164918482660265988567123523403229772267830998745879460690002009459237661578777197560109907207543354876294490218000875520000000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^35 - 940020280719185649499141862918942013090579822139183140816413343230278388416992139286938524997705368011868513314460000519595953799529066697354516080105627615932878813650142190944705675341229528139273635463557368238312134348611816737957214706813203520458816325800652476569865176765491087397949797639974376669161199224689807938754887262914836473496421235712223673213183553354466388288159350710306974315773690363619939889410682389130580153309891770661224058684695094688728455148112355151157835092263472424728178251937141073500260200196425764405040994102918758136827894024281110218968093583810908018733478325250682913210380763161281231852340809140147093522586211629859950695764527246254226448659554126491179680767278380245572080465382058610186607176464581718599487723935144375349848312610969608023108953654961745754534845893135345271465216382799260359134879990874978456128709352724093388222868120864436987516704448680603198875837739814092800000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^34 + 25330108997377333399335893430986257952340025525899855343914725956230354907096500193163206792864378221652789098816615272893853311284706380637461210542687426357135145517797122656464213654886418053486053286604881042457297046676500960387528486508894395286091081820609914757027651546707648275846290427470431667741738442081004178716532970215551524998642116512518910325191389694462738949131182357693745942164421677293638577722893556518535002224244646099159442327456244424864893242726159067668480240248110672526604139452572332033242425851563997059357676090874890621269410492146087639993934320777383291960553508986544770054246617111853601582935898567928113468583284516346991215828199180321085773511940444048254448445570506988867670178861193795097472854742709682825431953822225108276203424974533708021087126104639187609387004775597820176036306529805507737475829434931539671654333752682725360921259678254874013035439928799063442015449614522331955200000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^33 - 622694991568108349582415626167122938094671544701280212441561792800566659189294082526484953541508520354636918112380762955380234804912900436292036974945550039545320411972925253063454631830959255935092123182233556192372536396369656723330991802497202619941021836514532267656177049157152073684425869726918753495925609452039092664327936468465318347372412800272560483306761646835113282776220090818231320677879450576244802572947496183856650380226152369418862874172265825322225190933719352240720755522289536837041416210663774314996916017313175593469893729957717899940398173797686826526225016647047085771454614735455081714374007646895161148310167862144115303756286553360356493120018936490999100131651314499797919246888686660602006208186352935408338783139433694777016716819524188423987675045034910088412153801570417738668430444139358199082605791755072766227776241412890273799292036805118957231088963410465828448864856475632362748804546674954679091200000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^32 + 13949312862412161450189710843116719179075397638118839638095920708378544300505147282745760020852220309673462588238200812186933635674383179187914846138515144927736838543014102904203447897055145950008235124151101885482390628445263484214231763164893780917379837741189844975274138384405774701401478480038332681559158559428043819027034295524433745834000543432375301027487738790558394686204577453259552016532401094389100525031756742479757169282234307377500588735293834104603487065828313917036179868089079027281903428899543488692750278270325272457410744241361913544893797575687831381708453182455719375897933753175219597133127977920620514300313339203801580397046264649599919886900168813821278099272562045375408900631269893066151015877280243954966337997076407405619776081276489300754906774443851213742634266075558389306869417776753835458116871898502585703249920537130319604974469224867549931680803456558399246307159944150207663574702724156523282432000000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^31 - 284381282537782877421756528233461781310710364536505059230088304412165391053994652152675860402640223765211666554443420880563284819715135055561208152779533923352885533822901630426032160658221852106196914888532370966872789760637576106852216133717647684485697562819110426680157132045661041585027382579554966580088204961954436686158831676173419464730051926716875788822630328830756135934467337535216438512452857765907550712143336348394240816794822722831269629628574146445650602783698280529085009935031745271488243717861276175701498501240786218064947212611049914009378878311478371432860528992727773659180725470290478540123041895931164469215729458222726572252214313925422461510333591747966331579698115677580760402367946582565502236317488479346453609474177758508321565727847897588981999970523420893623843930799543429956720855565874593734618394691008812596557862230533823300107447236079572618715936720348578578940307079382326348234942095651220593049600000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^30 + 5268404537008510788555530562868537100612208850331191455680635161018256275655396994651093803906863877430710213464060884015569774121728937533542605522938908177549801929683321568003634444455886767236618441623903314795543540486619505754926416091367256105861504585598992618651806988211846167852842109578729192688321835669391707267901868325968430669606554112639221701057917609870972007350083371178659135602265679594640121056280060248981786133018206691855712945123744355560580573267169919358257572622749047100619290799948689580682858628191853305831266830590470163313351309900016187767807741569634487164158595881828093217303917593522810527939056347775004314893137046190326681099136347872115763992263279501883891972840817744656429838746716740281052688391729178369332881630847086782899490851277378910730853817099176319833181104577367595101924809517705995465257810274932775909997040957690415965279414535394286784647538743794048369489040859053451902976000000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^29 - 88546142482227074152691009382047197912954222490628564954594445394997042107540237073442138743569254262207166101968717844639793586878927385988374134008902445094914116926321986476630538469203681813600609761843590401164164723406262509424061566522713286162981383586979061827290064949413987435317873956736364021372219814520779834709715607277274990465221733532545541497975392804244519613071747706901258185324145297089141709888284755203065157071404225178924689347039865426953523845021344100228967649568344885676706342877409160593075984364306928200717851089651596443243409224383354289741326455962713581285886901232482850539170836187909718904014862521700863058928325842004866461472754932790702824746730439579844067061740375211206451638375833254662317784799223220060320187377060757369315818262556912422708374721588456307444375978863370448333373443918138271050503940116300880979505045676448092066436279321886935307856417571567409924999720494939036975104000000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^28 + 1347638585283089985052368487831182434552162316100185897434322268643782176795004336984553348155110468967650478458030784843470100403155992422587351584327361265555524166729691777391230691132747231558234317546303516914071855195651537800394815603910043098386633551534618424537244224523381789260838773049413432832529020113096231747107302633246313879233493986942963503422565285009794441457476954150171256417892992586310486012700098534144304688065361040845299786912698852729140209872204474866614871801291578057161594957006154490211354817806735431850858193756943489963180071509026723229524812320491676191563708705205167035922428991235874857111580304375517944875150368471695715451021526138922584344097482416118132798544418672112431505905288713700712220450010708525586483525356875883135835684365915349604896528015212358108442006474948191517077622711429405285736151709253527589930656222382531794620936739001938543974264449853612044653390442209635387572224000000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^27 - 18535473598386103083895257660471449144523075943380800687487377975630127222956753442168523271713278357052617191103928743175620133035991726028147347713136395387731540358214110349453561203195274593868776389398762428958157464878762531794339228952578498189286741000046058641007732257130260042958725480759508228768000796293907439201488533455977188074934802995071832794272808418990727353876024212870875183334555538970627296450757371803457886275643877382892812540997260632693176798323012666825948007045965025958998642469198262747069705868073542487074430612100817091537734111393262561045067195568743041667834216562388019948267090098861488854301547841062088895850376895495420021803501205866285363121927887955616642410408648217681668912847294964939482820430980387832998081380573814307488787837525962808780347782560525078983230914625729695506838018102448722026892446299325171257668840390455452439770055853188268600095342065168011699588096618185099984240640000000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^26 + 229868215084249829632630953119655076429407112879324092773425535292855928123391832996833307462701638763149071051365664193773648468690993076211205850158151225568814216582836059558732709019863918213639018991931196224534283961525645847370224437226882613006206534473763465178031616512604153013810277225325570896461761783521329985424230347570070182112018429000874723135810561919654141928467051333039469634715091244314301391902754495760333438012840953453996552763024570416452587101843925695317696236180969518069682723647716204838273332998043167834829040969854697923036786802183372443463735319311393602505582203304121897993893512045622596627670398936468542765808122684562545024707513763664103774057037388148942581044943509833373379702484912092982146881979611159386166706148839243322999250357951164171625881524259954278805822616273030869187805304691773844119774879530150297451551018414402618721157703412612179793378868463916591082117366675162675284017152000000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^25 - 2563980590427330931824502896206736177795126367384565022341567211939088862916212893288013412960450385310695249679235567121358331923959348185598029206767141692682176281018866018427321117018058057938716066448418145720790216495917194901948323777486983470496854845146067547729363736067723255465442660138782673284320749744461052312812544922942661362382266845594153402291788896470118403270560851715921362136026928329167700243708947308869082540315762031501743236949311883230965912043425123640599790036755917014496949096332199989076900096245940852705892658041809151911660737509047781522019639169915542321538218825009549098004387296610430947346570470925082613089887361860906196612739965817093908720572245219641377904423642199983917173768112013648419697273858569609601435080747064816687947997298672729680047795402110197176848291375375304705014355269640375849101772587898046342037453410167933988725767139588961133086068033943115993041738755165478163841024000000000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^24 + 25651575325807731180302919380002033603551988454086923856308632780281537689032958866323531470159283296079258581831699955662726822029809430914107678166732241456918653997649876368865425392170573930886042333363324225320536733559952777569062413781992647095661348607899599089483595381376387436088454851476150705580039947274163568046625674323371743260234142751714764656487265331684038412297274855813666319493308439777383686569913443123294113193621413291639133036943614415614679838012126812133317752861025020867172686722294671422695573832361496219502458619812433977019704036801328862982503746086108699842270131955172634230774513140115526384584558719444009432642180245330792027561867428042293882625675367306243365932384855660842842909925376400239228530860098450779695524672028494843093672480855155676274439391546575040124484786616091049744500771303277411189542626881203863612026768020333315642774387245356887653220644189998387776144787805679396539334656000000000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^23 - 229485720026780628344260016313198812091117009687170960766452230968249345527124439589484965392003142791293000029587910051066926265529015025209023982089808247260876270459139360087320897888103174396283695880298271192097634226181899842441808937963762158870016579808818437961329128051952213108527879150805896142425141957439348328660545700422008761941356653483166822323177853529835661860344049133367058200440420846292418284781827102177206460013546698854749915150868523701843009341870848463437490274562491389014870143633752994758288839597636729470395673832753948888114380350408972924867973434928581000447633233353322217055171089191757884302612283493856283668230193876899172733216472869297217295679977555623494734170064151680694354934831697280917837080707914554984496203643289424157485860777422550434692074944474801947728355504028490300187151737392670352839679900338404556608312112604167661415260120626493646134740807447164069624081560426872067311271936000000000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^22 + 1829703816596760120627343691260290662828204538954873702029085846660400552494216604521266962515183322756864092176450623981530443567402461241171342394878591583113101787165700765732633889571168610840882012843285646958160554231664018416919040155072244189202860174049771325859874820530006770856768271764922059678034372379670547054893317206137499787667645936017702904882767548229086478172477322138592547299957571381587178428448813101694861163712636071242919584471603726258863605046619420853201059608495237801482548283982808268157281983362432273543915931937450907380999266218809784692552609355115080019824295176681135017833615488378592030000919190043251075578206509969098154200878961538487180309261966879113103665530730651523068961135317087740187255434833493792998061209755945820978734634358463802112961216334301751784772288448810647793209856276443953113575558766423428575244573894168438517558054875919805803586357991957244459791545954453272615138099200000000000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^21 - 12953195079897019227514786372746766782644462012475916649598500393917107179451383107104260488686692418236911765479688125696043704650518633826040834200864751056715862284886517551832800059092281555050935487604722347787865026514373835019643076839233506255281602522987455161420056870175326644319017603248898873014506589685606999689074664976612267743939626167775138595928918485980298035970112290259823086399312257134933357052081187857505115030316635172335870062917608759160026316715700856000177898492488367170675784602243817018272587153215771863508825316080774434261867876801110395980265579275861904878821268189926589947631142245242038719726674547823244524538414082287294087887936664373762810192198780522513650839254169171154332178285355868388675218982798257824887186125253926422529963459019368513291247255631651567141350921082438324802208815177372076641172657331769403896870311992627574989367289837412351545884206900637231621659959422477475327233753088000000000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^20 + 81088365183573539034316851113578298037747122995834595709540537012361256447284176051721538307242290115361616428088241054504454269054111835830543344980638081016062935810396948726526130552963482164630032853823053747746082108757425653872166972042136115884700255262607755046251172295472557865085871985173185078658301522983808330367485376005795574742322081513884968422594971297846183937775617794025685951026694971420801825559533247423894140299640799864259105939032176277609456766998218185265497266904119798856901176491800088900897698946784080250474648511890015547215765631068117890023911571041099570399587910360381590940904761886886018201428040284035864283413120965180962229548064681777277731128602568311438723069627572551800599960697132418845931442849881920950378957172832770944460090408800027736922285171492756586992484135355190738590592476087676831917857681423015590379182510221531771922354929534015459796995519181038308144674217723477997166903951360000000000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^19 - 446831804551688464502855179457726580826420709283198231240771231076481197307435403836478386822182010561477687301878505559070066812127577315123626122872540015877000694303180444708800275377553965007533028594402215602764253282058941422395776368886108871170634153093671078885347434867013091633603558845766147993817335894722407592718561466055861316389814667211576146328159876222569835148580763108960085592180699739828187420766807328718684111244986703974299429940215108755401328046335722025968330198956351455468621436646951446386575252644371802770479360068002083980994446808154175400281796835826997188097213552310805158507206214628931761485378035193388425216025237961790596991718062837438226147128366863658162448925368197553464102551730911565849461906842327463114810572551088777995550791646366348158847225137809704588271805144670649117171193340066979496322935862362226713397469423986926889919038962555953535629814347054772913949124241263734415279825879040000000000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^18 + 2156390113543659748075974419678089944375139535745612491640304179801216168602167381847309689627787027142582711449994170391985422410224232812178736942821848981271880077882452806468308849668807031510566654158295205324477128871440774139009728595887501655644631344024493471895370629367866862048026652127241553813264454981066631132275942560109018951569242322363836748063501691600578702699912072552090698123280056690641504620425569328014062430342066118899780248240572925989185003638680095066209836124148316240822433669693856222273929880870820352992527208005773383177973182506862051438686640484457088362832776679902294325545242135769882686893559126066289447318657529690272226991945745446740208940611642670541903040022805351982745969597127771042647584198890217021152781628281046479825810020909448714344893809029878315988670464391048131632724287672697704994229307215484130703930767136462668568259848690294274557676420111808021049177003289925060897929208791040000000000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^17 - 9062385101519349316316290255600078816041357912741196663157024252597578120291483238667033255602330520982559232086500020179518237357471689635536840664867778715607752017199507607455950505036237867319416322834550740712784161983632454644537477216094401494654425675207443410382940053577956077548455147543337319977013104170185977346091417281996941547163229003955982607700943627716495917104486322044612912975819492173758219614127600781266020322117017787351007609101948468868367561410112402453073604771325699458967115670588083776397797876626101127875751915177008257455203326021142827754068305241337427368483881533180275810113578904862501276768871028431354469850684503263463656925933743111626005937573323478629002839075103014209677886531173949679035266452497457034017707101501490507675592410597413915893891964913291722497833986318714211533394628736192696950141361025491254593127995816579840534372865598688372813753959092083745533376372752948202833365172224000000000000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^16 + 32954914485596122954865931084376741609072267157090735131411803261922709649177997228439843364365071731942777363035513583777419835393697006476958048984296957378637289313468582979976084500175788960261073008972662907861593274136263994878804605628334985373577852165891834529551609475845743995049117415847604668659210513922780925398623066311919634827475159750851756981208906842864003680705682605712460126084554771051567581680543850588365231830184842162091391796933471221153693410564072838624347023435204318460529346969566305903138891657623836455740954760957918169705056868684983540196119169495745902520167878512054586354796867595833962827163737116475308030872186922010602067552003653120989803906655519389231217166956894713867846064946465932594046804181445764467786523419900940513149587954655688943181257749730082394452629799759144388905733476818893175582302188324636523605165511511966742530185993423529989858891791038415772372828832396343641135210477649920000000000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^15 - 102951135531491701681271000143843271983771132957241277256198495310608892116588532032412953763384178763856814619680704556769103554118797726160140668365565738060471594554548652537967551897974438219251820197627877333300500934714891741086795957232598117369042511952765012824769925481136669245071641097821895499517680140192142952110242755187972992464653158612551944881610500986645615565237150226499235634790003434188066865579203530010151295340897243765907641977243151358514656436445595024865635340488391035914104782603343529387708698561339452139016613889229150036556045113188399256095220031250486761788552094413663691590260390077817323454345713904336592772651013908403381231071617950054729346137465953483523581617945946540024850343468204182912454236821511339496344757181056609927888122563470359058450814743638690881972902500400883738858312495717188365872801891811608718838870157823929371093625412813423442756059603857537637511344769756405520294325151334400000000000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^14 + 274039663236593653234276179374922391305476031461538109189357364256992724995581275737149410939229479350997301992680784156201918780165628969317180456577727932077917856133707851431706676543186032135408761055604047256535457219836284577934596379067223917207549468090405360003345640017445946271465667514089561625306667339266525729681839475266450615105332348099881299232736572055825523317909939923550374697109855857592737997510560345144370896778594608873032313721962217594586264125335368679055722252600588010640183389616052108619124396152751089967746090118483149956971367412202135714463875738378498522232617004310537013155454317123122826306027133204505330697019575952707164915291535400688854843270410698003013146980068796068566757706430559468327598970482480554549055546044338134393074774859272759905871596941439150967593325202707191787302282721936791999993394756613867719226490846226204462598433839741090472110996370258959033165461917426957071425813138636800000000000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^13 - 615709257997550818365103542411492035488914182679879964189505489802681892401066799266194075006991551830149804590827873782138002557418922898177117113469057806472623982742940390175700963220615626238476099803770584163949516983802484269698491516506347718125045351889507335279982540353587004095318753571668789691807030268144500407928284424229308078429650260829819714173370473169004654373922048764382929705395950819492895125429927294083897711145085913533300706686938333884346436368396286693023055705800937998909155981076753746632626613485954570391062647662468522592617558763652775256232584091636488707931746025676497389733400857414881230279746927994386509061178979675565458122021993159689453417528083196933650178289359826238183752945646283928401304991483591050346172330985091186940441504328576465546619095308609665715969501612114143030908560540036756974654970913414453111433459693250845241894413401124121330031763211287151493955693528606828913934228835532800000000000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^12 + 1154957852916721441224253611369599550032887731289743878678476406470173757235652888506524905009568656801139177681369523329430543803623731382817591343358665549052309077189654748209658031358686995442481117850420154887550511981107586315574395036492976256136623786983853218670641868166688573267638215923062674938217381830537394997545882023674756406064354764293875380874521642549634247008187272863013066429213554337625042174842452685879363101019758913432531092827450734725347789482736273390105371667038709801823790392844869343122184392091549793420413205038497286232828942006997231625929957235231665644769130502695752438072913157288778012621970460418720251207012466921090204732902307140932332093904035493613389889202197854115931981544904576452834466230440635121670699778855716310588905068759189802560555460200022885854356594912054972876944804758120399836790746222432581821280476321659083114291414540346233630053296515293714891849932066941842004937750976921600000000000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^11 - 1785626872085879226643367165043185541124341124658145988276134495402471386308582415379491491805533610750001483707961926154141554235112078812599701202950597881979938681660356956497864213469382460909207723077667709229735444860043469638835390740718062358610739095341304293551317933037968873891824374952836561903797142398572180447786411082836118178823106041563468218723348603418920847200061645634155995075328352730791807850155733202404088119714560938503817283052731980844402446405015544641419551771862452762184985582298018141977618563524625205149190591602965431176612810724635512919002740960719237214946524346519721888801003191984872841630772306852719401475820922070057688038226593277067100763362055851912116188169504705615465275132881127953708087554206724198584022850425286529435076249926851947988769546707194563063877246005440923586168108960882355071453003439671479007050398755695110673884994199837145085171222443146335855486835254663560645271713166131200000000000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^10 + 2240545190326958530412691623033471656784891149376254460594782836025152356300775720652929030822055463058910158029549517770594785078866984845180818261278834336747883731892695586875056324529675722080957707934879142874905939823768925822144954461345718486366059471924534966079629066189315953173643794868976217407406496827890600707751313641798660947800072629964656200826640036088001790175773735005218184781151254087047706847498201343491373588997117450731908615777246450957550326848686124041163806503000740994625664139713578569262135258612700155829213615750602730068032800552853932377261765758931205926143764041517071163155636865275961625748028714876371736199757795057919475636933562557262936870781892786370726837149103516340974979216564446524942174769742208182504821838456877001736709322827192258097378193950858206569855208416395934923483273496155664353346879421246899931063906807513961370602234948014179267160692298512546900428063400535600658286372297113600000000000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^9 - 2239114540590565553109777053023236674543071520661173716341828911724300917954359966736951745324608172661539875692523957105086475614468907091805050322741338443335783578907507855203301590951009879838953713390683048295722052681949962966350439073506157448351807128049652836430482435240346478317231417761621685929511716741394555177240915402338293864747644012201043223631858304594313991641008801143564911151221233929761726490797987683354708056579565513905022170482339153804583757462069149756644023178797643319441693531816866590911587798842114939949253424189726935669680036192530942461899349386120263881245341708819471208169799282552353771174665408948721797571267162524251153696576004279271942400253000421393019789578212293459143462333570231425885512493072077832990937950278704571243149725910980562673234392883570349654337217962467758460715016850536280981181693054648396631108702866237756905404352282460917432012727918132387357006925649373629165587453601382400000000000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^8 + 1740662569124358574303193771716359819991757233063026372451580177569870403964456908458483065573686013033113146046223968226539320140444717023017809986503268607188615880657220172849445509465262773797470761925238409181410390992025967604974545965990043491186640249494022701072603912614124728367412547894533934179519305533651206123904127016185861476128514442879169016976095116828854862131779641639654793996909085538249901522971661790277550475272868293477622103675218311949519784777862880195425499563249424723159355509216298306021101075750410795652433592854790560706809390092861582644836709320189337184516252966408235869496949260539478879370475579292151297213760310152722768038491189606679336089403047404418589737827705864951827908407201721237097298878867043236226756493905453335619267590215638881547909207167827106935570175734715457151238272650443805585625185653721547500897931932153182765436304012147800172574544778918188340154509301800595021208102528614400000000000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^7 - 1021012652210864119525339569125526658180649970538113279954378872559062942487510559434944090441743457483195417851397017872676461946985645447154524476760594844674076053234240758442874829371400518409841388477191724682248845853579409403431742239784686555215724994213310014296909010902598263138587495507140226853302060892139708991394621370756509366233067109905599642313373989087867389456277387190893336926132063632356455485055103716901642048091435017647292902710731189659331794948345210907885130463870170558206151208912396403234462072803525922782800336295068859018403587896614062554704460048648464144062941423481503688012404252230453775601729300155793798331854349053955776276632395113788473074659908180620533234956862214514771646123934033958954001526402934456128208204095515616356019922127153377159821540578890739540754182005561070728659168661443468365545326955006885725806112896020711531507589527546069595066210816504546397090839036826203069855368740864000000000000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^6 + 433741691479196201265122990370523777453227576566038182878604449084326272843415091289126069630282566577740098658307564691009689495684600427027344349798139586963273740362890275652833501978676292692240322231933229871469749216702220135005249572351380781142037043764055354512032762352275237819600766893303017669229611071934458657970873483925307664598668570388207968774291374071830937161070779764334018982116516340058089624572675371543129991538343904958505020680942032108060148683890697400664299633572414727063603997697173934491810032973414107893927010257273803940586586193033834315438006755908717783749721269881035548517741719318059016017247432285701359776054571101916850624241974426515581202224363222307736923381426752537504425792743511583718152999017386527571529692622274574857347818612514483372615287264226150340848030530362927951732011064678010811607471318916690158936725360147671548489781183786649003630242108570489006729895052478337131849014522675200000000000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^5 - 125934337106036880175917653294202505794788814692324565071705572842315157514279183142261272059628076474444629783002220806081345505166224095543044872046008005407233076483961470120818822424866046033909022265098046347464286591651006774366300553603783743865913621441846318465913522290588013863069657432674245358059369366198481428409909830098916409746500848791685992926237363562764257099654476101056430367776225205340542984775424067574099502053012783515181636534590190114598787326871548033607792257919119346448083284778446374608879243754243587283718535530266279397140493097381141663341072881575154701671819548919101425856471503956459611653249490430210047116539495818592081294863038973972496080400195106690359939446912220085957841748630117209937290899970901003000613560454943943986058446186676700471889684006118414761866424682728592605094013524647520705402865658559725908549163465752307457719259289793362066331343201140505042940762973488239799758678392832000000000000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^4 + 22891744528177284782882904238610601420127001163111175047953831061535657017252148015253198912623354435053776204182284593165907340563701248998468413043083976448985687504371313397264888179874494500632639674205243830074422888622108323981907254277838958873362400125456518916676202927691110230152051415352787206717419322622968511485579384456867042182715768117454532130446088643011806517796102400639191258403953964384753679805080248655858690832894932100629735866904317822200502837619639222622199669485027510322506071520564586428663894737067241829357185041284273171240976619367196885197916064328372096682593165063829569712121356059554290805436455188536135867381897922899394077538623994264825360472212454032845959031706272081178760480637813840123251176946111621417985749166044998704813414322341418894657493380388632124823115686248460141819016884057890249234868055790720080238782187173097892002613135486466502075514762804891784930400895060034436837647843328000000000000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^3 - 2251450376097038179144599789346891991295910893368630380535063857456018344420419898861039238873023852027990424743316629278440055848209523878800083141964620584167586058711469997348915051226564841153802931169515477242446464982335233324601902028099596211236682116646800344702670053315031985323663988811577708932773093217836401084532969539240858436679229655612421981448590801810811564163585105561655972269029856220989889351426569773186405720860426090188647572874691065203967922348323544177425583197039653953040634688679074822000792676007434146599853138457464524955491271188039192533130373120938297753837892898876281747797546792272098897927804354417763402421802034815805179363656782230130257813458069203438671126489313162428434637653250439042327715976213791677516561874249325029127439443207305616624353954746366473215151038641353483385775470074785093322509333629924154900084336663656004192030406693137005714752851734681768723208286546008025293461127168000000000000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t^2 + 90372496342992808744684012714531789117782892419210797754949288335493693326608089495414503963951981761422439638385268234451275829873998155428402811407666224091227694194759019761625164742076926560042094814655755836920076611540420408258006380701435035583728638350597282527319507066772481063179313752752900792110096828641599294456858495997878895754190334043887810412293801116522655065080527144293015610314663226117570427932052532275257215377563021968474740489354091635083657765141998473932334089033683861973662546040912579983453073143465699718293104953397261382227462246654498713630291284481018955219400965095790385303442293998189019289755258919639399253957482199588464679671875853091637113565372679448591962153113367906469012380111578371736686454472898023412897344596621247375799476664794777526928969851604531144188491306460386388162488980688930080164478132720631995369134987537893446321996548737670341174877200395260502744107527285240892154183680000000000000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079*t - 709471498507335240669355677838099084144507077451444023242907619614092507063607485090051090813254233629060768628562430786040967194905129849143794674368715341120313400522309075759361313262817732085238476306981861215795694203350733152112836695818273389324288333973489100075011741930916308296815580494957158974363956124138768075639816655395120868858444826634968769868264435970216381278366481928352054456840871217895212832464530770495008072201282284124535597759773200663313609119236475052268673384024638816876030508587542095975727763205296787967018233865677781044771806575729630475997168012118252056864958476495896686331865907378987520635110081817179691287875960763620031863590058654523261797142486140400999419037188795946505691915818388092244858737909720276341588125980302080436993412817794146993855959802070975383864586695653059710718256180779572705154521696267422843300538908447812799654244292066132851901998720741025845625697627049756473688064000000000000/3808915327439897419051491279575889788898985885102893974705617253952787477736309970245131561007352977900008456851272217378544451290641128942111383878068898410494258731766096307378229456936892320195925050447907207509211539938914456897846719118686061966634913162483328012539458093777718685718307562033343964026466399500977648167287622915871146147006322923408715066986313252545473813709979972436654581484907445777436000098910655243856527327566056170972725887036540281614939378280439540820177451772965035668778228550200057954764519284925164087040074824932560323457732057172477467357282681447446623784538589880541226630400717761367509929835040152425434583618599839137822090932257646961481464749708498798903431653707936555756860427587731775778343165172368970969217677995929295274437925114568435144120913758714369032270359268160666073723592102526407420026752202739887933079
-------------------------------------------------
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 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:   67 out of 68
Indefinite weights: 0 out of 68
Negative weights:   1 out of 68
Extension rule has valid weights: 0
**************************************
*** EXTENSION WITH INVALID WEIGHTS ***
**************************************
