Starting with polynomial:
P : -t+1
Extension levels are: 1 3 5 47
-------------------------------------------------
Trying to find an order 3 Kronrod extension for:
P1 : -t+1
Solvable: 1
-------------------------------------------------
Trying to find an order 5 Kronrod extension for:
P2 : -t^4 + 49/4*t^3 - 153/4*t^2 + 57/2*t - 3/2
Solvable: 1
-------------------------------------------------
Trying to find an order 47 Kronrod extension for:
P3 : -t^9 + 8913807221/174577516*t^8 - 346896933499/349155032*t^7 + 3329250396937/349155032*t^6 - 8538378231899/174577516*t^5 + 23551735187795/174577516*t^4 - 8100489458905/43644379*t^3 + 4370729197935/43644379*t^2 - 409117906830/43644379*t + 10559938470/43644379
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : -t^56 + 65629563746123098771588726517214830831852545648862718021041636487113413503402575745319277475888319438583835360117559497603411360122383273127670353507785253513069627508034813769298536413376188676148398419858803102637336895768008884138722634306633157971875377025752271053779184220953924429375973093615823386877925625133755472634612138343546816823208816300179298344285866778036075455845402264607573371813324019437835976051899678370360497152008777835341814753093934926810020646304159196757634697773154952424265801602442730139024263977068807939321641051624651393707247875574981631297934697674452779727840779184841424333887286961284636725381008011368874100245312639213229808457977163279466576968426411605209174452382585634889220757303801461841422071764568997674407686527811628125551219250812221820472770062088663769701312989545416365273198991512740477/23996537867083976814350172365903247241206815182449119115397683646129780315190463183552559552869857396699675696319843701828785994887970828414483222373635383415698378043539009196551678611387807005436882598348474133053697267557630637101065604470289828852003021650888853412716688750191323315102113768444181226747565395417739480222618890670639359516206410039560177977171930970188463888813022456648351596293700940206628882579875772882183343526994540123590151577531693351516104285927719965448160014976952324495530372279740368447973367421978801546250344032759344747949048005036858947868648563347026113579986256604161432728726410336264009350388416093058908254381003631389187378400750976956507220777270181006595116947229617964440273387025216919301242452376191954292087757458812567921850529104144600815261601492478905516509906462780304115751582826683376*t^55 - 1036520923217026157495946801136205941037330146089582763983671548865313061287068436068822540027745405456502645120676229819547535561010187224802901519928489459957634424624139747027655664558815851626484366799573053508866627730365251146843446608672919964995302083533215435227734260989013123510484908528146013220278268728438847287610568367199768498847095723783400341466882308710211567757238425270723734342316956592716957975563671795300350325148034084268401607974017523010331607066423404566615380415068185734878401464879571484550477009560779137182395725720488240717530859559349101913311711489955856239964225774517285892506025259109443434483805523353267146891533289625311979120574973215443336121631950459574439225076476107009008605698866161863821324454636791956635074237024514267561660554374252519336851666173646925720781561041375535821339578523111633596485/287958454405007721772202068390838966894481782189389429384772203753557363782285558202630714634438288760396108355838124421945431938655649940973798668483624600988380536522468110358620143336653684065242591180181689596644367210691567645212787253643477946224036259810666240952600265002295879781225365221330174720970784745012873762671426688047672314194476920474722135726063171642261566665756269479780219155524411282479546590958509274586200122323934481483081818930380320218193251431132639585377920179723427893946364467356884421375680409063745618555004128393112136975388576060442307374423782760164313362959835079249937192744716924035168112204660993116706899052572043576670248540809011723478086649327242172079141403366755415573283280644302603031614909428514303451505053089505750815062206349249735209783139217909746866198118877553363649389018993920200512*t^54 + 75221894000629215665778971711848821496062471320808424659239415533722238631164504366668481155569214296553618955421613341286452537159409712737437769927570653151370325176733184162222503734653944313479396864800470515008768522186476118739245418090598179005976040412648524561974723598208054747361584928319059407194620387013607041144007650640431508469408260785761853934630408676967362276897382862836777731019948195682303723107773304657524516181839993566164843640539440854006714235427934692767409253031411252542037607808990958974864125004400555758926359902397741791560410857409304354228338538307444353345138140274488691704237144562394073712862994178321435461104627439340232931388689838085162432136720938852256113029371948618210642534728429323598639580288733991771214928992707728494490647027055050717893685723935249079119549911468930452748862441714131047119923597/24764427078830664072409377881612151152925433268287490927090409522805933285276558005426241458561692833394065318602078700287307146724385894923746685489591715685000726140932257490841332326952216829610862841495625305311415580119474817488299703813339103375267118343717296721923622790197445661185381409034395026003487488071107143589742695172099819020725015160826103672441432761234494733255039175261098847375099370293241006822431797614413210519858365407545036428012707538764619623077407004342501135456214798879387344192692060238308515179482123195730355041807643779883417541198038434200445317374130949214545816815494598576045655467024457649600845408036793318521195747593641374509575008219115451842142826798806160689540965739302362135410023860718882210852230096829434565697494570095349746035477228041349972740238230493038223469589273847455633477137244032*t^53 - 320262889213836579517551010849584394841261277457403177573693282627037248134922549416437340595812583249211908265925893464082073569186298805469974744168563878731346386181616141411773082478373693240297975829564580162291764371680107648551061083179502736381621293921712409009183047434685568994793795654689056379867847272424702616759915784192029371369646069674221616457810344965211878853055710747557056859551256920161950978917315567728310195489765477526726032431342014398961055642292174899664228830877899057609894951767501329184260379442928085156756804884640984708660296048484479673032195112789447474232225501363032751973903058830227566279153198822314164188201407105931076169800470353742624112829997158795162768304775964295276327958795156459709916243628444516306056677847649963455984533732593573665824127212908876081030414723351582430122027817023839386492656626241/173350989551814648506865645171285058070478032878012436489632866659641532996935906037983690209931849833758457230214550902011150027070701264466226798427142009795005082986525802435889326288665517807276039890469377137179909060836323722418097926693373723626869828406021077053465359531382119628297669863240765182024412416497750005128198866204698733145075106125782725707090029328641463132785274226827691931625695592052687047757022583300892473639008557852815254996088952771352337361541849030397507948193503592155711409348844421668159606256374862370112485292653506459183922788386269039403117221618916644501820717708462190032319588269171203547205917856257553229648370233155489621567025057533808162894999787591643124826786760175116534947870167025032175475965610677806041959882461990667448222248340596289449809181667613451267564287124916932189434339960708224*t^52 + 748216910760030925902546629471987574411810184774551966542330979339545661405618897724357368578609049629956686569590377955591252822175217171899952285588880016310517805293518285874271770659709220420887943159583220775889681831597662985602104275909605946521759593364732488888943911076896721314744560964076207121751085152729114079046653192827569113991400640662426998223170516072043378094025017853681869438534780953602091667528473798721787370009896248411118016838818971815034252247209546000523291128538794652039420370791874048926879627341517665613155274270571341812066312982704011832657626966066943206430879438111490584068226873741325661043939638498288597906369833168667244167296684784132156963857078623343001523748837854446164210215121557023429299487718919661025690009945590634697853375551114329420403712508857760265301282319644119998959168794340394643501198221065873/866754947759073242534328225856425290352390164390062182448164333298207664984679530189918451049659249168792286151072754510055750135353506322331133992135710048975025414932629012179446631443327589036380199452346885685899545304181618612090489633466868618134349142030105385267326797656910598141488349316203825910122062082488750025640994331023493665725375530628913628535450146643207315663926371134138459658128477960263435238785112916504462368195042789264076274980444763856761686807709245151987539740967517960778557046744222108340798031281874311850562426463267532295919613941931345197015586108094583222509103588542310950161597941345856017736029589281287766148241851165777448107835125287669040814474998937958215624133933800875582674739350835125160877379828053389030209799412309953337241111241702981447249045908338067256337821435624584660947171699803541120*t^51 - 279538763416130022343583059827187043503562903610648489511536440085393988245146723966733864578426692887904522811720689386184052550090434504889779417609618064150980095487951470369222183593257641776097044887416169253506768703135462958079957542810615814700219815851445464136181297487411445028905969371014722489777132128160291161452855978649586135923925558486787617933156899807468240539656695242686579009156355666874305612852856115772540617169812928675185996244754403839266146858040338140382742238398131771370159320411296512144982090336219520801947769318681627909860755255025802930042202564608687824368012374973602147650088159501729606625450377670517474134274424503869624504743935032031494010401791736636930693636224432602910811541379390368679497655513078366154232919067400887767879584255404820350963891456213979300798680028277831912126826582360635467692964993116003317/866754947759073242534328225856425290352390164390062182448164333298207664984679530189918451049659249168792286151072754510055750135353506322331133992135710048975025414932629012179446631443327589036380199452346885685899545304181618612090489633466868618134349142030105385267326797656910598141488349316203825910122062082488750025640994331023493665725375530628913628535450146643207315663926371134138459658128477960263435238785112916504462368195042789264076274980444763856761686807709245151987539740967517960778557046744222108340798031281874311850562426463267532295919613941931345197015586108094583222509103588542310950161597941345856017736029589281287766148241851165777448107835125287669040814474998937958215624133933800875582674739350835125160877379828053389030209799412309953337241111241702981447249045908338067256337821435624584660947171699803541120*t^50 + 42910063524967750858494467363913254403343578296035267208355450225310199462412084339268825181324061000513581581057395751856408121951459573270999825161908834593277341434362646349591632461190316569862277326101918414251656738324499946233632724587656198338261396391071462412197835170971539035094835812850552423721606879721952109418083705839899033662233967184784088345072081208786891978701479807647734621808589741947163827157695993209139868299799449287775383065519822781900162481164468467446847270964078231915408559015444578127457036067374280147838547235138364248507459718389363447841389726761717825614775560781188298075516029223306798532237894383782336494577221645061785489269701361173098362850379546400418723124784491045523389741812917585841691578343254786179350096604910519646032988140322039868901143254763999146425753646286153681456745376832755345580591606419394683989/433377473879536621267164112928212645176195082195031091224082166649103832492339765094959225524829624584396143075536377255027875067676753161165566996067855024487512707466314506089723315721663794518190099726173442842949772652090809306045244816733434309067174571015052692633663398828455299070744174658101912955061031041244375012820497165511746832862687765314456814267725073321603657831963185567069229829064238980131717619392556458252231184097521394632038137490222381928380843403854622575993769870483758980389278523372111054170399015640937155925281213231633766147959806970965672598507793054047291611254551794271155475080798970672928008868014794640643883074120925582888724053917562643834520407237499468979107812066966900437791337369675417562580438689914026694515104899706154976668620555620851490723624522954169033628168910717812292330473585849901770560*t^49 - 11041133856015533555585158765177578205380059646318356428534794260605396526309141625146378916649689047844187373386210425403998519441090777906922790687236463000250404741434012098129521979175845362789582254680872673506266422603711344680232541962025644993846328037916685470406383469329389308312499854901178742299776399313303300878321179630780857176505782853475248408221172862806515401612536896014791455750012765477672694194745474836906590640304060358539293226935102678360463683560805790905807832215052270371456354818794168580689762212531549338914197464549177716499329965146263419786297515255811932189626068235672851900796189212942812663043804511845087704283609937716607772858650083182852667749143320342850489496875748918877951712983760475927199206226444616555848116903352022317540701800993356530384772302438164357793320800509686232716342342825864204395797575239075910407127/433377473879536621267164112928212645176195082195031091224082166649103832492339765094959225524829624584396143075536377255027875067676753161165566996067855024487512707466314506089723315721663794518190099726173442842949772652090809306045244816733434309067174571015052692633663398828455299070744174658101912955061031041244375012820497165511746832862687765314456814267725073321603657831963185567069229829064238980131717619392556458252231184097521394632038137490222381928380843403854622575993769870483758980389278523372111054170399015640937155925281213231633766147959806970965672598507793054047291611254551794271155475080798970672928008868014794640643883074120925582888724053917562643834520407237499468979107812066966900437791337369675417562580438689914026694515104899706154976668620555620851490723624522954169033628168910717812292330473585849901770560*t^48 + 805560818390965544561943917726013087617332331738047187623875779307234765059592515585395532970616375603429968298293063924189416944592368654425717624543673385043043816680053489419979747354025810441038756158926560764775380298339648852049144752853048117473652231194460327187083261729004868928740836091833364680763599996730731176142823565799636476642499542956004919321218199174493912663690040531083497177891219389712857556063417719027944196149300477555851805134551829594086654841316845780137805692896497747708257401035383503598016545157859585084971666514976149111448967465223798614592837027777825255696284061487843051659606204888895453681594142403160933383402704722625509002841019343596934159925469076970103030786504433734096120619995298136490415306001027191234763347112826963874476555168887490537197123789715323837916473952158354570466718411668963097136198696729689731919507/144459157959845540422388037642737548392065027398343697074694055549701277497446588364986408508276541528132047691845459085009291689225584387055188998689285008162504235822104835363241105240554598172730033242057814280983257550696936435348414938911144769689058190338350897544554466276151766356914724886033970985020343680414791670940165721837248944287562588438152271422575024440534552610654395189023076609688079660043905873130852152750743728032507131544012712496740793976126947801284874191997923290161252993463092841124037018056799671880312385308427071077211255382653268990321890866169264351349097203751517264757051825026932990224309336289338264880214627691373641860962908017972520881278173469079166489659702604022322300145930445789891805854193479563304675564838368299902051658889540185206950496907874840984723011209389636905937430776824528616633923520*t^47 - 21674090625965314095639857819706903417256698630266564114383642404127213889634046806200830170989092336370000926429574622603864705044487047946148056593976676893689807881653973675228873471178155209380844975928059331597193884155447995330307984662810290489764433158388129590351604676909869350655036037095049947840193519257973784924879775737704881341608294054760954318202191873145197849272973857756294723261511530163421645460661061319636569010007616080193026319902256741279059671879357135851355385487308103121454185662880313258921748630868953815147690075457738210856550423231755293292323890870053456316901379874290024966312872891302619439037367712852237573135737710553757094411623050920221203674181870807436532313792003469468421717803926466254856396665544986649788364211867886033533487890212485879638905920464161899362738853021866236359304657056104822722406598963548308261670197/20637022565692220060341148234676792627437861056906242439242007935671611071063798337855201215468077361161721098835065583572755955603654912436455571241326429737500605117443547909034443605793514024675719034579687754426179650099562347906916419844449252812722598619764413934936352325164538050987817840861995855002906240059255952991452245976749849183937512634021753060367860634362078944379199312717582372812582808577700839018693164678677675433215304506287530356677256282303849685897839170285417612880178999066156120160576716865257095982901769329775295868173036483236181284331698695167037764478442457678788180679578832146704712889187048041334037840030661098767663122994701145424645840182596209868452355665671800574617471449418635112841686550599068509043525080691195471414578808412791455029564356701124977283531858744198519557991061539546361230947703360*t^46 + 12405661755490102410339466741342572447121630012497050223912880987688098320722375094647002626095671936319844240155043853913889957900189587930039394750741397873680214520782599347687274604699227190489711013165371767164048340014918945120281843569999439785743000842481585163840569136606312770204121426965255959640572807413362178014558196485480277584433604859829414226920481394260427382331272096865857619951062061926313981413017117157888630177049604532153504074905328341315371116039257244679648466525997288412656526685430381321655565102349196878473264432191762705175224498514598739963334375771244940076715113564677083499266213904348408479602044309990791020944220201021623192832425196456781370616140900367554683971972886970637726721756765499042124039270861606567842735168066108570258706149486985337613517802481276876594115710127031169097297055898250741403102686791310551332691847331/72229578979922770211194018821368774196032513699171848537347027774850638748723294182493204254138270764066023845922729542504645844612792193527594499344642504081252117911052417681620552620277299086365016621028907140491628775348468217674207469455572384844529095169175448772277233138075883178457362443016985492510171840207395835470082860918624472143781294219076135711287512220267276305327197594511538304844039830021952936565426076375371864016253565772006356248370396988063473900642437095998961645080626496731546420562018509028399835940156192654213535538605627691326634495160945433084632175674548601875758632378525912513466495112154668144669132440107313845686820930481454008986260440639086734539583244829851302011161150072965222894945902927096739781652337782419184149951025829444770092603475248453937420492361505604694818452968715388412264308316961760*t^45 - 354885310519024095415527426191325369148057821119352136863378664258217562448262473226692886635400643289447958237810192145909899496357953077746108855808961230000542514574908551615315968328705189670146403746676340625668885618611437204226450123396527544403045796099608552759903156915602022237539609260099637246366023207645434938813913348444127607710598829908954008325386477531248834388491457307584654501989697282677726114089275838287241487906211424575207215735318419063495348915538117948118300437004266761215113895542846124011098544188061542321899843757543460686465087409198384252324141188480793796733362769534146020393678279860767120452213483480232208635854825638407438840289605733676071983463033169322504853295152434390987492440087825830842465674285597659772326512807135228202559248490370872418054920289022706521295426057282182288419798278657320825714574607913710311464787255541/14445915795984554042238803764273754839206502739834369707469405554970127749744658836498640850827654152813204769184545908500929168922558438705518899868928500816250423582210483536324110524055459817273003324205781428098325755069693643534841493891114476968905819033835089754455446627615176635691472488603397098502034368041479167094016572183724894428756258843815227142257502444053455261065439518902307660968807966004390587313085215275074372803250713154401271249674079397612694780128487419199792329016125299346309284112403701805679967188031238530842707107721125538265326899032189086616926435134909720375151726475705182502693299022430933628933826488021462769137364186096290801797252088127817346907916648965970260402232230014593044578989180585419347956330467556483836829990205165888954018520695049690787484098472301120938963690593743077682452861663392352*t^44 + 1014985805990418356460997434124262921927090943025516431717763731108217475104845794057443667296621967237714227845361597361758370624845465558987079898978155506801841409382503965902062698473782206136574580901457670407417676661831934823271497733262045761494308724869703630237260308049096320103695131926469562360532978365024158154185510934906338289491907571072995168092692233759884599022000354614369587983770345029475338635982509606891578618594889510741413497702699700258326656606698584504244684222322961463518961864075029320034338029264418252181670687959821204458794482019220907177638677399371127524751847602163380121249769328267924993709401066365005303785482407130466318477190667179366393427158274318804211287193392495283609325296246170691846610557688202341567451312935881883500484782910205425041047687824545558265693440293431456454916880930497527619403125703961886892485845902887/328316268090558046414518267369858064527420516814417493351577398976593812494196791738605473882446685291209199299648770647748390202785419061489065906112011382187509626868420080371002511910351359483477348277404123365871039887947582807610033952070783567475132250768979312601260150627617650811169829286440843147773508364579071979409467549630111237017187700995800616869488691910305801387850898156870628658381999227372513348024663983524417563710243480781847073856229077218470335912011077709086189295821029530597938275281902313765453799727982693882788797902752853142393793159822479241293782616702493644889811965356935965970302250509793946112132420182305972025849186047642972768119365639268576066089014749226596827323459773058932831340663195123166999007510626283723564317959208315658045875470342038426988274965279570930430992968039615401873928674168008*t^43 - 2625985101381627686249942695179825858284035456741397818301379295720567042657145083332074990389177971724677801643615772733377179682288373132437573198493525580271007342964326918274656564589023246578613834802464649277800027497828860126437869863157227302835909264598363922092565100366910549744587007704000430651990527201759564905085096991732410733865011884296741980717630357354932194410269341813891286190422061359628486517397473964126493436842577681696386818837834154681014150836838725336610761688054372585279935624261032787383864500579439565808487640987845276415461294409069652087941238369860779083209024449643124778554005410053197955892033466031385368894722109999697694518224618664395817338077802056030958953604393865358549977330050462219980238691355967232007977106068699659815353772433544106801289708227151507086104655830284911117966407897660735068948744587942118747223587993577/7635262048617628986384145752787396849474895739870174263990172069223111918469692831130359857731318262586260448829041177854613725646172536313699207118883985632267665741126048380720988649077938592639008099474514496880721857859246111804884510513274036452910052343464635176773491875060875600259763471777694026692407171269280743707196919758839796209702039558041874810918341672332693055531416236206293689729813935520291008093596836826149245667680080948415048229214629702755124090977001807188050913856303012339486936634462844506173344179720527764716018555877973328892878910693546028867297270155871945229995627101324092231867494197902184793305405120518743535484864791805650529491148038122525024792767784865734809937754878443230996077689841747050395325756061076365664286464167635247861531987682372986674145929425106300707697510884642218648230899399256*t^42 + 18520491961161160962499544516358791653629984223499851510240318738618757698760017456792861335714767613396490261423844592916396328991399471555675324623008509192476455417884801322928501847590484003054321121057905992909955011585732554995802464151705684983270397350345411955601711917438097597398882942740120457827567502874904404652079205824624156291784344077114653504895815327504444757675582559682465664090616625273750267210077990562132057747573202104162712284447037825106287470594773540987909473757058694135511146809502900355577637622109571001931943418097437409332723086425372458230927059263119309889246101907810195620090696908468986331750173766167619454229151923341471734500517953912323154289425846608560187873099343135716655121713265453534941892798850343139916011842678193368464727121774394959549958863033284175748666877685261617123450880427380585975939496667811723274206112071901/545375860615544927598867553770528346391063981419298161713583719230222279890692345080739989837951304470447174916360084132472408974726609736692800508491713259447690410080432027194356332076995613759929149962465321205765846989946150843206036465233859746636432310247473941198106562504348257161411676555549573335171940804948624550514065697059985443550145682717276772208452976595192361109386874014735263552129566822877929149542631201867803261977148639172503444943902121625366006498357271942003636704021643738534781188175917464726667441408609126051144182562712380635205636478110430633378376439705138944999687650094578016561963871278727485236100365751338823963204627986117894963653431294466073199483413204695343566982491317373642576977845839075028237554004362597547449033154831089132966570548740927619581852101793307193406965063188729903445064242804*t^41 - 1628280170677485171978094069517129638724929809260141054209861645546558985391800919639266802835681496912170257776340872109850219834309399479463689616785017374959403147586182098187142973915349697523201662178284657706221227329792124977856306205474338360539446038880510353738344928297077209596748594138046583238586219289141385964076499158364250968291503789439386624759576885460044848378842133663322143259399115276779055474469746925349741420445094940559723730252595685213946329246042280406938290720795625410247400046893566451537931114529265112375773548569634977548834731700455518945672496592818223376426326329672527726700996445897188347936242076276172960133875603576031965427951526027221210483772088386475748308543006009844216938071119355126554719824977054293334728946122701292437831542705434431020181105771263768674477587269306774330546367518559978993169073888203548217736908243912363/545375860615544927598867553770528346391063981419298161713583719230222279890692345080739989837951304470447174916360084132472408974726609736692800508491713259447690410080432027194356332076995613759929149962465321205765846989946150843206036465233859746636432310247473941198106562504348257161411676555549573335171940804948624550514065697059985443550145682717276772208452976595192361109386874014735263552129566822877929149542631201867803261977148639172503444943902121625366006498357271942003636704021643738534781188175917464726667441408609126051144182562712380635205636478110430633378376439705138944999687650094578016561963871278727485236100365751338823963204627986117894963653431294466073199483413204695343566982491317373642576977845839075028237554004362597547449033154831089132966570548740927619581852101793307193406965063188729903445064242804*t^40 + 31950288275973633650377204231444668923248622146457328844198959249257821031774775056509960275994508789587614566713494486259752105297792707099229899929121260723029825761313459863384268834061654026215048791414734939991144763190463768257423198580950022487624185421571864438488583784736779899731679652819276198269530194448031548218589509369798259111224721072754739321343821248899709602698795999408144162683676653609171291282891412128068257978111624785947588000118968932029997188513419777178087918590195601048044082232559970190399183692692218213350334124325652261140032038578763001042011936510280768516522495797189926392586582350712629462035808923278460099794409391194137562493568193662070877434537604995931522505532244707785099773587574863174923745442008660793113213406004203347158317770343340745295298962704747845320085566615092053347166826925865242230898707045278106116253605010748070/136343965153886231899716888442632086597765995354824540428395929807555569972673086270184997459487826117611793729090021033118102243681652434173200127122928314861922602520108006798589083019248903439982287490616330301441461747486537710801509116308464936659108077561868485299526640626087064290352919138887393333792985201237156137628516424264996360887536420679319193052113244148798090277346718503683815888032391705719482287385657800466950815494287159793125861235975530406341501624589317985500909176005410934633695297043979366181666860352152281512786045640678095158801409119527607658344594109926284736249921912523644504140490967819681871309025091437834705990801156996529473740913357823616518299870853301173835891745622829343410644244461459768757059388501090649386862258288707772283241642637185231904895463025448326798351741265797182475861266060701*t^39 - 2243512874089250435689546748349841811880966332458499070163020414676267883827134706359570102200318859126121665984003882751973109575391090406670097996816407749254053999328969681267500091847078193469406318800309188780399766232185844941419008131725184734448698267801427403273075754199396303054328352397775217920217103541186570299358121586424105607510801939964515014488067271019326964872209123499411984982809749786205161448092015394222892229924942336287117373004356387926532839416928246731264179876849843364145116637410674960954421100218869110497823417373810406895122736649897341614189749016415450309069870881627591951006370251926334323262098393269694450756143342175465505388091948031304492385741308242088327872155373889178750030011807767529140916137498174855194589025260293197937607307023895851163403590759128376128254612515400376053610366507864086955083619789777513075201843312328265110/136343965153886231899716888442632086597765995354824540428395929807555569972673086270184997459487826117611793729090021033118102243681652434173200127122928314861922602520108006798589083019248903439982287490616330301441461747486537710801509116308464936659108077561868485299526640626087064290352919138887393333792985201237156137628516424264996360887536420679319193052113244148798090277346718503683815888032391705719482287385657800466950815494287159793125861235975530406341501624589317985500909176005410934633695297043979366181666860352152281512786045640678095158801409119527607658344594109926284736249921912523644504140490967819681871309025091437834705990801156996529473740913357823616518299870853301173835891745622829343410644244461459768757059388501090649386862258288707772283241642637185231904895463025448326798351741265797182475861266060701*t^38 + 141174943110065876803907889881185126297223483025492397266132488172430364244500789491926027103792739969984987092687620837616971979252824982518092716365157124648679813673020280344306633011185166811838648518326811740354284893923144207456205354523652066949879768486998562683921274257443463277371485112417990329628116958609574267833099098166321934870248396167378534225826530711823481023090676465436012821562439309169853388510955059466752513245294270317179774389182306960557528403336189219735733782601868245902511906514987707378743207651460219164700912659724530315231595231358508851923263393075723675188181712842079359007338240000435814347426877950331659637559912550002761557503809238102193730042524044404349480150481123895869663613558882368638948395535518045421667263654914455356445208977267929890712561172011470709117753207626823374301255382220255160253968501160320112257884993397988436380/136343965153886231899716888442632086597765995354824540428395929807555569972673086270184997459487826117611793729090021033118102243681652434173200127122928314861922602520108006798589083019248903439982287490616330301441461747486537710801509116308464936659108077561868485299526640626087064290352919138887393333792985201237156137628516424264996360887536420679319193052113244148798090277346718503683815888032391705719482287385657800466950815494287159793125861235975530406341501624589317985500909176005410934633695297043979366181666860352152281512786045640678095158801409119527607658344594109926284736249921912523644504140490967819681871309025091437834705990801156996529473740913357823616518299870853301173835891745622829343410644244461459768757059388501090649386862258288707772283241642637185231904895463025448326798351741265797182475861266060701*t^37 - 7971131333358939622056047181668423583081546018118997976985140618443689920778558367658293179508389151257870511025854963390886786402430029316163445526773243176101377001163589675598603245379930601701272989371258600412998283221477257544826003391406648459494280360058101184083903575622371881614991918753051020754339514615501588103752732222346752283650578320282430912269342913646484054665996670652426680904367657400464317485013838150472760090352424580507018060091708830605017586191432697001478061430623764215655676567971714931986874213388497018594591915762495940855654086274811693403636737630670401061400104261986639076289128970292257930174280707628350109466952300115066451044743621635972184229388464363510383379745163115771358994208788952896563102282898371567642186067681338388364188310331545528966813660771288054424569065879417639652157220113264611961708168360352429955474838032681914609460/136343965153886231899716888442632086597765995354824540428395929807555569972673086270184997459487826117611793729090021033118102243681652434173200127122928314861922602520108006798589083019248903439982287490616330301441461747486537710801509116308464936659108077561868485299526640626087064290352919138887393333792985201237156137628516424264996360887536420679319193052113244148798090277346718503683815888032391705719482287385657800466950815494287159793125861235975530406341501624589317985500909176005410934633695297043979366181666860352152281512786045640678095158801409119527607658344594109926284736249921912523644504140490967819681871309025091437834705990801156996529473740913357823616518299870853301173835891745622829343410644244461459768757059388501090649386862258288707772283241642637185231904895463025448326798351741265797182475861266060701*t^36 + 404224162314708445643164061888396446976950453726466256386261809167060264713454908970950579606879272652383607184321981001788693329458042484530365154370163597121072220405045456050049793779849792305464880565593247201557786307110100383159978238836633849269704049181777269607647701555426189418496725313587808540521308767524130960562682588474026276738614107565648588965181509410515087654011124885301740721036935064571523877705858465947438562168233835482267239625674442998239655293308607036348692718396063329462986642048744637224280475269802105501121966508349697860212888162897413930810848899470885716028713676478410115161384568288042959124789500904704599571873642303232055069930257657623761808035344706651558881125983150915050577596521250686585589883780740422912315155554170231504890255826481819470518704381445811815908863917488813438035327201858136444710280344633452061924762444020671109668080/136343965153886231899716888442632086597765995354824540428395929807555569972673086270184997459487826117611793729090021033118102243681652434173200127122928314861922602520108006798589083019248903439982287490616330301441461747486537710801509116308464936659108077561868485299526640626087064290352919138887393333792985201237156137628516424264996360887536420679319193052113244148798090277346718503683815888032391705719482287385657800466950815494287159793125861235975530406341501624589317985500909176005410934633695297043979366181666860352152281512786045640678095158801409119527607658344594109926284736249921912523644504140490967819681871309025091437834705990801156996529473740913357823616518299870853301173835891745622829343410644244461459768757059388501090649386862258288707772283241642637185231904895463025448326798351741265797182475861266060701*t^35 - 18421865380722373599211482132785604324024919244214491631073189533399887559328478289382368697252978731072150290468027103316255578261699605114914107073709546005534297229954299728814828745668778850397048781295813558225803934648732717416424655908638000353585321653110522629884478403086860778731877167304533180953711599871791404548894220067536000064246054294936856213456234532066979537492115471142762331086151893176479787613784789519205427617999006559266918324114349656311756234817521957588078531640896657332230262855937015273047254078475568088985626616371696270187976030254298056292952815444967013064018414167855442160411820277841640615555135618965332209217311788941889280265205998822328534231174619281138843591247156394664037529986900036749655364625864203515230319737420301023621167637528080839259925941871347457755587704371105698750477937124443453264640685197686468429209228588978970636273200/136343965153886231899716888442632086597765995354824540428395929807555569972673086270184997459487826117611793729090021033118102243681652434173200127122928314861922602520108006798589083019248903439982287490616330301441461747486537710801509116308464936659108077561868485299526640626087064290352919138887393333792985201237156137628516424264996360887536420679319193052113244148798090277346718503683815888032391705719482287385657800466950815494287159793125861235975530406341501624589317985500909176005410934633695297043979366181666860352152281512786045640678095158801409119527607658344594109926284736249921912523644504140490967819681871309025091437834705990801156996529473740913357823616518299870853301173835891745622829343410644244461459768757059388501090649386862258288707772283241642637185231904895463025448326798351741265797182475861266060701*t^34 + 754737517990061079512340974489230404872549346746049974831345588892097088242159660544277565865525354229105790528349330755618276052087120701492562626231013790219358616803168526842515710661329159441483797795480869699611569948028832143420903611572530206830082887608005301287501445373847583256030072591287715295663309394173602965133475987049689370378654412908732725462909413878404838835712863039833260622940216050490440368750791672200590815901871006678354636487537757016634512784554880829539304108673694042571359813946409747013748032881868622502830670899004546033948663289138830258135858745652598801977674835441242232599761663689813820576188703735425737662018782114418126891745439429473215022307462874555057719746278520091105790611213016599066581909500245625438421397858233879036204710637418723469747082868755419907462670653466965529771963961192499764302090303673269341646350137305570683948861600/136343965153886231899716888442632086597765995354824540428395929807555569972673086270184997459487826117611793729090021033118102243681652434173200127122928314861922602520108006798589083019248903439982287490616330301441461747486537710801509116308464936659108077561868485299526640626087064290352919138887393333792985201237156137628516424264996360887536420679319193052113244148798090277346718503683815888032391705719482287385657800466950815494287159793125861235975530406341501624589317985500909176005410934633695297043979366181666860352152281512786045640678095158801409119527607658344594109926284736249921912523644504140490967819681871309025091437834705990801156996529473740913357823616518299870853301173835891745622829343410644244461459768757059388501090649386862258288707772283241642637185231904895463025448326798351741265797182475861266060701*t^33 - 27799181107235073326681547203826309091193067459055280396614175000316898356867702322756800155779804519492310405066175230575367714415831889529451136976693406393362174508399623729236046452393264423037186000456558040061914300266774929508776360587547979856493460108896342277288868369778403308590455901104146659832709963008433963496228666612496480753666966719851603257709479203355605979270662062737590284483224121743417624124825096055557702331205137805082058475343299120426646774272535175578276765519277474251870453508833819018597225024016299569744503885431744822963435289518322983837348056649476305477992009080991933266590907986406716288722962219027555589343427477230260565387646090703914571687394375065034133582393589066469144959035950906715390852081664692758775007101821671098075833494422744527488323597299557621203531230599453105161030441056146500425898356888880157203465506059190211268257000800/136343965153886231899716888442632086597765995354824540428395929807555569972673086270184997459487826117611793729090021033118102243681652434173200127122928314861922602520108006798589083019248903439982287490616330301441461747486537710801509116308464936659108077561868485299526640626087064290352919138887393333792985201237156137628516424264996360887536420679319193052113244148798090277346718503683815888032391705719482287385657800466950815494287159793125861235975530406341501624589317985500909176005410934633695297043979366181666860352152281512786045640678095158801409119527607658344594109926284736249921912523644504140490967819681871309025091437834705990801156996529473740913357823616518299870853301173835891745622829343410644244461459768757059388501090649386862258288707772283241642637185231904895463025448326798351741265797182475861266060701*t^32 + 920345501778189616101809490273833374291608477821044772668631382514370093422213136226006535117363984257172972801968919894992724208133686801828466198565017358401669051115391847854208821858776798276486517217776575109478301172543609713472344391535588715946592238571018278823282815245663603348159973650885633303793675468978711112772661067760913781223680973499659714461989988086005381708015873854099651274003723695492759086999430799252531646524252222397130856224397652547628129233588246606446061335405358713030241919340997806812127228811959016704023611347307726455708824812043997882950662920326941672378770245616062121858474329491313349351861660602607878480505953084047790001804324724318672187550890063813430149044418463835444909995760791734420918090217622449168745998650397181912403183511079227095220976146483286922852113200529781382345102494576105719731253413486405504280031384338271169146605721600/136343965153886231899716888442632086597765995354824540428395929807555569972673086270184997459487826117611793729090021033118102243681652434173200127122928314861922602520108006798589083019248903439982287490616330301441461747486537710801509116308464936659108077561868485299526640626087064290352919138887393333792985201237156137628516424264996360887536420679319193052113244148798090277346718503683815888032391705719482287385657800466950815494287159793125861235975530406341501624589317985500909176005410934633695297043979366181666860352152281512786045640678095158801409119527607658344594109926284736249921912523644504140490967819681871309025091437834705990801156996529473740913357823616518299870853301173835891745622829343410644244461459768757059388501090649386862258288707772283241642637185231904895463025448326798351741265797182475861266060701*t^31 - 27374849726627117008444490284022192979684124628953922968294162981119292885911365822383878448868960810054417605576300897977407508362166880910169464165136683770345298932972407497859854621335632325567911989043047883838075624624497707350052109809603159379458888207344787930188684818485921342953390128817496151504290909468943899128149922566646706770606390361948192418591912762708269353893901456722642402022220748164542407985035709680726267646578654393938970712431456559180792206749110369560992974333571881963185888951683296017096994104050533147785662478135665280343281146754438315217928494984699721983898050565138373591483082926671218197882993283747132575326620284896112406166586832715727064492219127260435039138650756891225366824470721359160486017555205723549079356877419099097422291266239395185120630854048976148846446314480340789667685807071628389722754301393085910178842220881322098998020690892800/136343965153886231899716888442632086597765995354824540428395929807555569972673086270184997459487826117611793729090021033118102243681652434173200127122928314861922602520108006798589083019248903439982287490616330301441461747486537710801509116308464936659108077561868485299526640626087064290352919138887393333792985201237156137628516424264996360887536420679319193052113244148798090277346718503683815888032391705719482287385657800466950815494287159793125861235975530406341501624589317985500909176005410934633695297043979366181666860352152281512786045640678095158801409119527607658344594109926284736249921912523644504140490967819681871309025091437834705990801156996529473740913357823616518299870853301173835891745622829343410644244461459768757059388501090649386862258288707772283241642637185231904895463025448326798351741265797182475861266060701*t^30 + 731013875679604714961326602526062698546181885913848654222224045746619179978261983182747660068876526913108452759147789957269179608176571017593222503922958469332129779898977021366383541066535924754387004034519057462781313647247792453584422242587024663679129466764689800505133486992355096576999374025551314934825293442503219070672792037556956505367312464783308395843371238317988429205228578855796796149233102601193730027867370238323744021229144860015616472131038766977846323607792259138669318360359620766224910621464934290245465426326908011775016432278674822104079039325487341972134930401684927470831424159114802654268759167933775084643234007158469610999524823553305789266539399821838834457758205762018271714330682629394676379859156283008743092665675141588060392940484547172313562302037971663371847699805132506731233413494771689776736782260274252103540112919559522660621922333902839836308894670336000/136343965153886231899716888442632086597765995354824540428395929807555569972673086270184997459487826117611793729090021033118102243681652434173200127122928314861922602520108006798589083019248903439982287490616330301441461747486537710801509116308464936659108077561868485299526640626087064290352919138887393333792985201237156137628516424264996360887536420679319193052113244148798090277346718503683815888032391705719482287385657800466950815494287159793125861235975530406341501624589317985500909176005410934633695297043979366181666860352152281512786045640678095158801409119527607658344594109926284736249921912523644504140490967819681871309025091437834705990801156996529473740913357823616518299870853301173835891745622829343410644244461459768757059388501090649386862258288707772283241642637185231904895463025448326798351741265797182475861266060701*t^29 - 17508776303468048822815624197329108501230066425441125773184995934600485092159539674412292260485112945517892039594019012128774363320155388340663953541578888280426949288314675086772386523022852456376563737406572085300930181725467263287785139547619881171819197710980463855730174547347898329624008944354114647117477370491342848504137662771091850389984497402610755265361329813052412450677901764116402422828021982542589179035314012244890683270996190811039380756384484126333302173704941895098349942903580351447979958085502000820417140391643397708590492957688032554957592345338914326730225402070549926367523453459047843194963436969669908408822537670684753606370880039430091774832556818506831959940215199810056211660540683146960732116627059528218381408354198263950498315953050945919912364735588988674120271242987100389906899598393892973669413841421455923326961398706699796874784460165257594341206500817408000/136343965153886231899716888442632086597765995354824540428395929807555569972673086270184997459487826117611793729090021033118102243681652434173200127122928314861922602520108006798589083019248903439982287490616330301441461747486537710801509116308464936659108077561868485299526640626087064290352919138887393333792985201237156137628516424264996360887536420679319193052113244148798090277346718503683815888032391705719482287385657800466950815494287159793125861235975530406341501624589317985500909176005410934633695297043979366181666860352152281512786045640678095158801409119527607658344594109926284736249921912523644504140490967819681871309025091437834705990801156996529473740913357823616518299870853301173835891745622829343410644244461459768757059388501090649386862258288707772283241642637185231904895463025448326798351741265797182475861266060701*t^28 + 375678557281157061573872368325568951028134314239358940491656547050376452157776167036265811257814825873513291231928180308181706543616283017027744308410745301023299417399032541790610370149320626117256077003287293737370510748315168725595025387297084785851816775902907088770774742954725300933356416928419146430949264810215207748106683622758093097861812716231484512270023684123388809913121299543497616179230650110371625023618111597646150477218861203506856581856276080600957664186513171559793436371087373107188555413064879518867354198002051593095575160178686200695199889309948530939131563098862481012270536681102362047049341230020760682984840079972311347411269064283298911654988471664127880398740541813705219210439168764865411426635865063488301120006317952812858770478909387502393715010206086338993040776883274417053532639292214158975877093416180932059953543052210623388246662166227651314189467834271744000/136343965153886231899716888442632086597765995354824540428395929807555569972673086270184997459487826117611793729090021033118102243681652434173200127122928314861922602520108006798589083019248903439982287490616330301441461747486537710801509116308464936659108077561868485299526640626087064290352919138887393333792985201237156137628516424264996360887536420679319193052113244148798090277346718503683815888032391705719482287385657800466950815494287159793125861235975530406341501624589317985500909176005410934633695297043979366181666860352152281512786045640678095158801409119527607658344594109926284736249921912523644504140490967819681871309025091437834705990801156996529473740913357823616518299870853301173835891745622829343410644244461459768757059388501090649386862258288707772283241642637185231904895463025448326798351741265797182475861266060701*t^27 - 7210569054444299259199212836043355883749515965493663538139824955785629458271791262532000014684775706168554241609861360963255662748541347969105085413106525911144451984358499271408493966352636150076352803987338990947045079033722308230809265246867686281004626821371173502317257245979983430939804106877345985575208375367385177240954431611424827679216635950400761564774438314097928685882191108242519498932157362309480395271885998198487297009484671203223077159301327541501935054947543703560039360664331540331654623370395556297176960117905735116668075334535393490939158196802052009442020550279984155301045705103247782234368239528134682627660129555727785498882065969652476596357692382697485586077535006091336211675566899121355699306883097069791002155389690755877174995619437759668907093667181684540368409248447538274068753270732586722568370270389918165469697501690851162079199972734424353335398537289852928000/136343965153886231899716888442632086597765995354824540428395929807555569972673086270184997459487826117611793729090021033118102243681652434173200127122928314861922602520108006798589083019248903439982287490616330301441461747486537710801509116308464936659108077561868485299526640626087064290352919138887393333792985201237156137628516424264996360887536420679319193052113244148798090277346718503683815888032391705719482287385657800466950815494287159793125861235975530406341501624589317985500909176005410934633695297043979366181666860352152281512786045640678095158801409119527607658344594109926284736249921912523644504140490967819681871309025091437834705990801156996529473740913357823616518299870853301173835891745622829343410644244461459768757059388501090649386862258288707772283241642637185231904895463025448326798351741265797182475861266060701*t^26 + 123583527393746256516758184460176767815651907315165118327078164147568699052173675871270436699976360840714638827124235652803569704670330212378307989840222707099599288852090138588547215817149399313798228727608142772472565564021369142856877316253888384989319463081138324263397529386322894051254834556881682879770755579716794727729352488594700388904846474556204641186460598483319780383555958370444556539817170919557397292266073763379566556288265990253656280887152153260716379426922836866180021321630965234567484358208469949906920530494057801266658109663752237177684102370204187328868631867835168563761698925261971661568682364053315087408431346718486418709910025249696640577615318119371541140026588370656678717559144802031288536673051944904412941176623391332473687915065889097799516209802497400904847536380841679392839946493841862544382468900225277544905796346398863213233360385428634853595505284594069504000/136343965153886231899716888442632086597765995354824540428395929807555569972673086270184997459487826117611793729090021033118102243681652434173200127122928314861922602520108006798589083019248903439982287490616330301441461747486537710801509116308464936659108077561868485299526640626087064290352919138887393333792985201237156137628516424264996360887536420679319193052113244148798090277346718503683815888032391705719482287385657800466950815494287159793125861235975530406341501624589317985500909176005410934633695297043979366181666860352152281512786045640678095158801409119527607658344594109926284736249921912523644504140490967819681871309025091437834705990801156996529473740913357823616518299870853301173835891745622829343410644244461459768757059388501090649386862258288707772283241642637185231904895463025448326798351741265797182475861266060701*t^25 - 1887607956231930757035341214463393099419380540414921486917285445077664907017404981413987369712043074248511577820473039571668629002370460356717252512936552392316342571657004222881486126279535306346066541314624349636829016509105726890265524920514697947116458826062995624279945523791873366241045589754747345479639388026448026700940909179160850859173850805817434017897078375937944313814390236062438258735438563206558869191279935930511816137730096891532943517750675330732801630130430671987630114415758920633961307711804855408405932848272199247150115069341998766096706294827217011563430820898152574913141980994720760837376263166395165015097927160732593758075627982762006196126770861263874703324689596699440500335323224060392148847077716471909242479889847707580721115980425239931687055946638661018396174035203483311331124776438184702466919528993732992532778738118997430130885287166102452480729751326487449600000/136343965153886231899716888442632086597765995354824540428395929807555569972673086270184997459487826117611793729090021033118102243681652434173200127122928314861922602520108006798589083019248903439982287490616330301441461747486537710801509116308464936659108077561868485299526640626087064290352919138887393333792985201237156137628516424264996360887536420679319193052113244148798090277346718503683815888032391705719482287385657800466950815494287159793125861235975530406341501624589317985500909176005410934633695297043979366181666860352152281512786045640678095158801409119527607658344594109926284736249921912523644504140490967819681871309025091437834705990801156996529473740913357823616518299870853301173835891745622829343410644244461459768757059388501090649386862258288707772283241642637185231904895463025448326798351741265797182475861266060701*t^24 + 25633846127567228892872015933405353996105755805375270033523177621326572202590336671888423806877423467889591955462581911579168578575462386563651973150594405272156541348676768268388306850829617056791529761112358692474176319166957633807947248593314266653484777024402394977559199840715446950110940816031705308236484493099488669182135079033246918385731668951405201919880000255438294357360153530313515458504670079814064194725614989042089927457946622042608862826576726565637779302459615607467725939359119437615266904001397507847877959405742654496096784807930346278233204759860411836243303230558137780167259747812847403338862628741185701207395104707604286622693973645953663693853334736620949561835476695688801654456881893601939493931691769041886072527459326525070255330923727892327755800344290854436458390134756625234845418440502553111885563407272010130681361148899198553374357668522684924416303408802905292800000/136343965153886231899716888442632086597765995354824540428395929807555569972673086270184997459487826117611793729090021033118102243681652434173200127122928314861922602520108006798589083019248903439982287490616330301441461747486537710801509116308464936659108077561868485299526640626087064290352919138887393333792985201237156137628516424264996360887536420679319193052113244148798090277346718503683815888032391705719482287385657800466950815494287159793125861235975530406341501624589317985500909176005410934633695297043979366181666860352152281512786045640678095158801409119527607658344594109926284736249921912523644504140490967819681871309025091437834705990801156996529473740913357823616518299870853301173835891745622829343410644244461459768757059388501090649386862258288707772283241642637185231904895463025448326798351741265797182475861266060701*t^23 - 308684309100502473607750164345512482313790884816961026324681615929708257816393366697030290244401719843972541855416414497346563321892346590072305386111683869415105894871681896935478428481833711197584727733678712019272460709799225840937143027789364425096887924790914881751216889875365452588531494985921227512777305712213460029128038326312592004611311519138524344124601499188998723750541424976309052340732618637410343998922841158183407506026796716790723739465081726478986337055518504017153396064889010073492945751092008316677656438746462262732186177234618386119366960770389375765862047111115554982470668002599837120852273786322167876362061474449280306625893263864787595902789687663607884195457857553209717529755554701670682797493864256394897669735601639503620464845592609180212524741558836031102044248250931366595068936284222313020635976491584428675214328751626346821337597518139890433417531059322312294400000/136343965153886231899716888442632086597765995354824540428395929807555569972673086270184997459487826117611793729090021033118102243681652434173200127122928314861922602520108006798589083019248903439982287490616330301441461747486537710801509116308464936659108077561868485299526640626087064290352919138887393333792985201237156137628516424264996360887536420679319193052113244148798090277346718503683815888032391705719482287385657800466950815494287159793125861235975530406341501624589317985500909176005410934633695297043979366181666860352152281512786045640678095158801409119527607658344594109926284736249921912523644504140490967819681871309025091437834705990801156996529473740913357823616518299870853301173835891745622829343410644244461459768757059388501090649386862258288707772283241642637185231904895463025448326798351741265797182475861266060701*t^22 + 3286290270400774086437587591313139478048361116365068700879345542898895682370158639617679630856750719901197262227942977723160429768750730238570239578138795553342690529996268658766435932456396232000305898471966332734591669316102537705313727328314271221554818852306207657209742701776393720775657627727760087658785130164719454784245236031581375121611202299570572348854496299765913522437705488110305590670801007866667076599893417209434463936484926038172721241001051397907488072897690254849213547821351119336886507013521724148800859958570687734063498208274843896275141240611833133404815100566115507985810240178849668763342488252660734178381942640233392027598949216970097363173908328661292707879117830709299775815146962682286445188024140482698971040116549192251237323990184354480405975106553922156807601774526310907930043322650418449937116260708617468911366872346927264442408927577266698402285999064419085516800000/136343965153886231899716888442632086597765995354824540428395929807555569972673086270184997459487826117611793729090021033118102243681652434173200127122928314861922602520108006798589083019248903439982287490616330301441461747486537710801509116308464936659108077561868485299526640626087064290352919138887393333792985201237156137628516424264996360887536420679319193052113244148798090277346718503683815888032391705719482287385657800466950815494287159793125861235975530406341501624589317985500909176005410934633695297043979366181666860352152281512786045640678095158801409119527607658344594109926284736249921912523644504140490967819681871309025091437834705990801156996529473740913357823616518299870853301173835891745622829343410644244461459768757059388501090649386862258288707772283241642637185231904895463025448326798351741265797182475861266060701*t^21 - 30825223703744037539268438630174980314792900759096492370963288922655012365440405746970232697813754170731659738797235928956284302279855014235822171063479345025117234245114095259063064978222890059382456635677189725015109842494678127469230068917305601918809938364157875711062928064419643553417646308166977387491235479558528174810631347483121527306839259735888407013454489113184417698559483243022121489235445545908141565982885724140743836969683113685257077272527471338885170808452657242915931180327998534591139670240397038671381996589432684914723568067779621056952719536767022249303594884076796610811439624336811048188424757631288889323927140299660708798618476412933859647161054825930745611731903007328823183026139713614985160398011864784477653033486658653033962356245956001616749970906571559189443561597961714394013742665438618859532266220287827909868437781773317862178676380888473695455855841323317626470400000/136343965153886231899716888442632086597765995354824540428395929807555569972673086270184997459487826117611793729090021033118102243681652434173200127122928314861922602520108006798589083019248903439982287490616330301441461747486537710801509116308464936659108077561868485299526640626087064290352919138887393333792985201237156137628516424264996360887536420679319193052113244148798090277346718503683815888032391705719482287385657800466950815494287159793125861235975530406341501624589317985500909176005410934633695297043979366181666860352152281512786045640678095158801409119527607658344594109926284736249921912523644504140490967819681871309025091437834705990801156996529473740913357823616518299870853301173835891745622829343410644244461459768757059388501090649386862258288707772283241642637185231904895463025448326798351741265797182475861266060701*t^20 + 253769277943914579516335722244718105589474470070959234835357141698851119856748923903653050315168801424163096444203213572255937493113615087701183867597582533423479432775841105246653938323609646663591923263864953892597202886897578139351143494834936070537618520411810582892261690427022217007465290394803988199724977886492229829624370532164414802317754046266756030299470533109755115635120807331448007333809488461495090000220528566141502169771217997474099049360336104261804982976284157357212973777181681200871707053840016265944212821993663074136055751813627431364517690337502512688021266277938833017338480270817062327693033199652237862581605292783774512465118858725833779465673260678100498098447584884961828625231346287757172130189212053067242259735849500682963753416166530972775180735634162492491227203496789676080300445535223967239339363796394487205833032575149191673999640369451928593976732517148727672832000000/136343965153886231899716888442632086597765995354824540428395929807555569972673086270184997459487826117611793729090021033118102243681652434173200127122928314861922602520108006798589083019248903439982287490616330301441461747486537710801509116308464936659108077561868485299526640626087064290352919138887393333792985201237156137628516424264996360887536420679319193052113244148798090277346718503683815888032391705719482287385657800466950815494287159793125861235975530406341501624589317985500909176005410934633695297043979366181666860352152281512786045640678095158801409119527607658344594109926284736249921912523644504140490967819681871309025091437834705990801156996529473740913357823616518299870853301173835891745622829343410644244461459768757059388501090649386862258288707772283241642637185231904895463025448326798351741265797182475861266060701*t^19 - 1825602649721003176064877054205938740184237183823919632498327933108926063933087968101353971443033268796653443544908791994917358976119410846329958734909524137435076870150651535818526753600639534474443305191421484265648337009958282823245843344619885932046576342447724818301232109070461495202472299257089856322082531886962439506662758310626015613889779181554114148040402287817468669671296394987732832032835168636114057984036908648921145087187775593787362519426347844432600671302040626906185548064652204734285432003303967183007206623955703677770815173522611095654429508211541933517377224841983633582948936617313824506975531360673624169616558088213881907946766539546551715734666326086593236471154651828090530475105465886111476308945962772320690693642570542178087956111048144998878389747984038508804779201715918412633713252401947423869261284790886620061831776698543548656564411204282151658234726139589396627456000000/136343965153886231899716888442632086597765995354824540428395929807555569972673086270184997459487826117611793729090021033118102243681652434173200127122928314861922602520108006798589083019248903439982287490616330301441461747486537710801509116308464936659108077561868485299526640626087064290352919138887393333792985201237156137628516424264996360887536420679319193052113244148798090277346718503683815888032391705719482287385657800466950815494287159793125861235975530406341501624589317985500909176005410934633695297043979366181666860352152281512786045640678095158801409119527607658344594109926284736249921912523644504140490967819681871309025091437834705990801156996529473740913357823616518299870853301173835891745622829343410644244461459768757059388501090649386862258288707772283241642637185231904895463025448326798351741265797182475861266060701*t^18 + 11419691949468009322524100134676507220972946466572925994756252787194974172196092654499722439808605848603115476679784343648795014291195055989423095612940387113773396473030384181641279771149973239710261071778793006659758591580833288411954241362963369294852696274806417610309192968990827414732444648679763781474991610037709142910314599623990569408850555289753138802224616898883878790473564567839860077650669839003836302687214909798337390082941761047926518018559752918202229590307534252767919267581585636470577592092566331108523069711383483908570190986405760750270303871516214151144902095519515029465306396249528630642105720885250322765051302143995285081804527311848699554742526334089044587856248461215453585099788481547607012243637258384054856160097522624494327422590494558018639385031247851458431777521372355261448113975584872398680836487631202583101706746245720087628171644615993108444329049529475990355968000000/136343965153886231899716888442632086597765995354824540428395929807555569972673086270184997459487826117611793729090021033118102243681652434173200127122928314861922602520108006798589083019248903439982287490616330301441461747486537710801509116308464936659108077561868485299526640626087064290352919138887393333792985201237156137628516424264996360887536420679319193052113244148798090277346718503683815888032391705719482287385657800466950815494287159793125861235975530406341501624589317985500909176005410934633695297043979366181666860352152281512786045640678095158801409119527607658344594109926284736249921912523644504140490967819681871309025091437834705990801156996529473740913357823616518299870853301173835891745622829343410644244461459768757059388501090649386862258288707772283241642637185231904895463025448326798351741265797182475861266060701*t^17 - 61763456470998331218729438513097701402245273526924588590846293712910684976149715285323833659172924893079264216281228730771413327807457633624432051048266432130529788708991795535220275874260996636493034937369405755224262182816898438449609728763413668195895204483047193715124169334037295403817933311213641277408980306506833299030646679367245922071414086329291938734704638868163039755907353262910597674277049374401895807572259985232279996332093273397149207498728093848057718874278730440949742959071741552369559857360902845640193250994471511783402152241281764311323320669516456601349466207784752319687627335788286650018172465257619649819370320281601853691627045261512258762542076409806561286549064254658484807280222816110485599912324009230961185939380722271145031445442996125709745549739444767358543162615134153607646810637060776136813355019644861539634415250110537151827467202086968863261030419569965091454976000000/136343965153886231899716888442632086597765995354824540428395929807555569972673086270184997459487826117611793729090021033118102243681652434173200127122928314861922602520108006798589083019248903439982287490616330301441461747486537710801509116308464936659108077561868485299526640626087064290352919138887393333792985201237156137628516424264996360887536420679319193052113244148798090277346718503683815888032391705719482287385657800466950815494287159793125861235975530406341501624589317985500909176005410934633695297043979366181666860352152281512786045640678095158801409119527607658344594109926284736249921912523644504140490967819681871309025091437834705990801156996529473740913357823616518299870853301173835891745622829343410644244461459768757059388501090649386862258288707772283241642637185231904895463025448326798351741265797182475861266060701*t^16 + 286967312990571651692504578141461423104787624634536233473459827618989817327461654177123656695395555392414820438188558392644566059039044950996169405584570676369621866042062151482221313439325854159900336076818004192028392079935018751109428260159138576954506941331005480735234771150272195338907044749012903253363041698213045533105326000332052996867754087059258855618633427727802308122332136992921651928063211557892002790547115591199349982062889985714576212028582292486366036961849884528809732001776971760581119115509366517321320742405564820731181648794793311786949616565272558352558172244688095325391245833444083635374280512716304021481515263625238581268889780099932511578698006274894971680760368246861260689502817479346233880322857283278019516130418003536635445986076047658883299055010618934375525278635193189937729289137274744695029420679040948452180786173618771246009889563628074217578471998767847676837888000000/136343965153886231899716888442632086597765995354824540428395929807555569972673086270184997459487826117611793729090021033118102243681652434173200127122928314861922602520108006798589083019248903439982287490616330301441461747486537710801509116308464936659108077561868485299526640626087064290352919138887393333792985201237156137628516424264996360887536420679319193052113244148798090277346718503683815888032391705719482287385657800466950815494287159793125861235975530406341501624589317985500909176005410934633695297043979366181666860352152281512786045640678095158801409119527607658344594109926284736249921912523644504140490967819681871309025091437834705990801156996529473740913357823616518299870853301173835891745622829343410644244461459768757059388501090649386862258288707772283241642637185231904895463025448326798351741265797182475861266060701*t^15 - 1136909604049339490769936741129212965260854419251622410099579281477958059834657724019215482478637650116644920021903693886059026529562177822416200018328755416783295074999592597297412548280974632381696126949426926340997590138135711602070606656163946407538549297361584002054697790881288646176918435019962271302883854859257721349722686255858654691681303055143932887644244184764592720199759421832047642882055713294957835245365056695387497279376566535519440687681345579621173207766220469848500594696304746231019177970167643700922858241424466540142556400201975554328205275668449718447613518615409998952449370817383062440613813582678353230672608835454225883832741510682181373897667258038286034336286211955190206692053345874946288049935865527300440316989753320721318578552239303941494105362741648874969993098558548172532346461257062072539502271085828774401170164884803834418819509407295795333662337664837149437460480000000/136343965153886231899716888442632086597765995354824540428395929807555569972673086270184997459487826117611793729090021033118102243681652434173200127122928314861922602520108006798589083019248903439982287490616330301441461747486537710801509116308464936659108077561868485299526640626087064290352919138887393333792985201237156137628516424264996360887536420679319193052113244148798090277346718503683815888032391705719482287385657800466950815494287159793125861235975530406341501624589317985500909176005410934633695297043979366181666860352152281512786045640678095158801409119527607658344594109926284736249921912523644504140490967819681871309025091437834705990801156996529473740913357823616518299870853301173835891745622829343410644244461459768757059388501090649386862258288707772283241642637185231904895463025448326798351741265797182475861266060701*t^14 + 3807681202174333073848404181722015940679948538631048270260987425923041361030327656932620928310252633448686538819431561630230972500123087125620948668929608633824200360676143356989272916334955201972922232767831719267714835848981466897690566780741637372238551424734891398291329900254994626481641687352365086806382133155532359345993496171367274878026257125691589184052626866751794691829307383440738104120353193022661149697598817416742296237081410829407178839455764159052114976857733015490440858292048595947192387206571090238291858458732865954367361404576003477201584173693302841501499342802690812579298636249586894600682979207004200447184344045982690492571995280430352460475108428739616519907103485029610701485191235263155125953728923617246591617059843121219131370024796992133450337253443598055762377040061354833520111380045835824365980758435983816158168404142698361599358624900952020372561003058911750562775040000000/136343965153886231899716888442632086597765995354824540428395929807555569972673086270184997459487826117611793729090021033118102243681652434173200127122928314861922602520108006798589083019248903439982287490616330301441461747486537710801509116308464936659108077561868485299526640626087064290352919138887393333792985201237156137628516424264996360887536420679319193052113244148798090277346718503683815888032391705719482287385657800466950815494287159793125861235975530406341501624589317985500909176005410934633695297043979366181666860352152281512786045640678095158801409119527607658344594109926284736249921912523644504140490967819681871309025091437834705990801156996529473740913357823616518299870853301173835891745622829343410644244461459768757059388501090649386862258288707772283241642637185231904895463025448326798351741265797182475861266060701*t^13 - 10671780890530200630104496299756512004194192433196345758981386734442723768353562865505597173760122981191149770276799127728007549472736109206765402961484505750166894221313463492566710694825362443828632860169154000032103079793101376862619237834046490699930843646406387091872905223582582783223613991089227943011795007919103491457604290784358126162321535089277576859011539001902324462610598207502140551631727198079971386818068532785050896841730512902932136977222926628421202411485914560450885724311151961475724125465256676543291357900393541888841609986430534878461967804448891922130497999392940403298449549789553579814852428491737229549460435952464614505991307022645519190789047314256283721601133022564910234212407309007438074559098525558528547313916928898449782533346883912046810811373771943275275708533425200479326457144742294143825517399155524052017901851280223282045029967949224154733852332678005150129848320000000/136343965153886231899716888442632086597765995354824540428395929807555569972673086270184997459487826117611793729090021033118102243681652434173200127122928314861922602520108006798589083019248903439982287490616330301441461747486537710801509116308464936659108077561868485299526640626087064290352919138887393333792985201237156137628516424264996360887536420679319193052113244148798090277346718503683815888032391705719482287385657800466950815494287159793125861235975530406341501624589317985500909176005410934633695297043979366181666860352152281512786045640678095158801409119527607658344594109926284736249921912523644504140490967819681871309025091437834705990801156996529473740913357823616518299870853301173835891745622829343410644244461459768757059388501090649386862258288707772283241642637185231904895463025448326798351741265797182475861266060701*t^12 + 24730563477292499401838845526170122691787457771571586339631466295377556208963172492034368971956455930336514494100424798758652954225674032273559086954604896399285570630318609462725661410590628712478829077843455085695195516130102111433755820501786086293052316576191512277062158193522690339338763092120690798861784610124511228129048050115676690248426940152772218750937219449122597833770197828201316322832502002443185026166743018362949254213382883151924839759974545133265523593754440454600100247407619035353046233342587525011112102514487389310853095635403936621823638249954116185069979637754174384328751666425396912395996519791799685337104157769253993871071461443600833491420436898475005433212805576046711058761826269327527156853261785878187596678524302671545652858045134781817218421263499469608372601334322819628257245127658256491199696210598572960025203389732178766638610973528200676500858325299668342213181440000000/136343965153886231899716888442632086597765995354824540428395929807555569972673086270184997459487826117611793729090021033118102243681652434173200127122928314861922602520108006798589083019248903439982287490616330301441461747486537710801509116308464936659108077561868485299526640626087064290352919138887393333792985201237156137628516424264996360887536420679319193052113244148798090277346718503683815888032391705719482287385657800466950815494287159793125861235975530406341501624589317985500909176005410934633695297043979366181666860352152281512786045640678095158801409119527607658344594109926284736249921912523644504140490967819681871309025091437834705990801156996529473740913357823616518299870853301173835891745622829343410644244461459768757059388501090649386862258288707772283241642637185231904895463025448326798351741265797182475861266060701*t^11 - 46705648014754884943892193215468970856556562599065984346399422619734106392768567758573027378646842407361127087264327835470448027840135996665808432096184951338573691253162288801519897609829210002351725901573772016076652954608770254867560662375697908929294340268052628863185740122261055442141901748103547256174452717490602556061917942703359158363655364605880233434154669993590761490790409025542428607872360290970951677234004168239611000086822704792336211531831705959813468812771229933861252431269014355397927533841445978777386640594152727967416984480014203309024182779841406283397914251060388168971526420455439079886354367644686309174390015877826810042752230255327989504950036235208014865130985333384936433323976794924445660217168492424593947997373126604017028678735111601050581552614740967832524076868346617861559289278053360979567000477502140066985692929203800009431949550677634453662524777780476406000517120000000/136343965153886231899716888442632086597765995354824540428395929807555569972673086270184997459487826117611793729090021033118102243681652434173200127122928314861922602520108006798589083019248903439982287490616330301441461747486537710801509116308464936659108077561868485299526640626087064290352919138887393333792985201237156137628516424264996360887536420679319193052113244148798090277346718503683815888032391705719482287385657800466950815494287159793125861235975530406341501624589317985500909176005410934633695297043979366181666860352152281512786045640678095158801409119527607658344594109926284736249921912523644504140490967819681871309025091437834705990801156996529473740913357823616518299870853301173835891745622829343410644244461459768757059388501090649386862258288707772283241642637185231904895463025448326798351741265797182475861266060701*t^10 + 70625291338416768444681000414540422827079533534424573480593090236391121500768629561537166398281077601161116676467225610121637215713359491891703773554971802154720994350628788386169945754311301884026784464797319090690868095528714792651561747120471128299942691778870269337445970136660394176915956613578315520283295224877054211144823689538688672316028964250427487503012022033528041126137579153419695874281923904889313851065000125667008001657858434197314344972101627203430355465675004822455033480448375679276475778768406125762261457101224285642578616243485278745123618324858816495759595265275943435319066672337775292023674959363049897862226582319479812183747318928780299871594410351168599000294943399478486728552530249561232410685706255469648870327752368081000249327584362058171006089152489933629301128092938794624639789559465108419070006190911718327889643050930069281357033491125101648474370180604152373890252800000000/136343965153886231899716888442632086597765995354824540428395929807555569972673086270184997459487826117611793729090021033118102243681652434173200127122928314861922602520108006798589083019248903439982287490616330301441461747486537710801509116308464936659108077561868485299526640626087064290352919138887393333792985201237156137628516424264996360887536420679319193052113244148798090277346718503683815888032391705719482287385657800466950815494287159793125861235975530406341501624589317985500909176005410934633695297043979366181666860352152281512786045640678095158801409119527607658344594109926284736249921912523644504140490967819681871309025091437834705990801156996529473740913357823616518299870853301173835891745622829343410644244461459768757059388501090649386862258288707772283241642637185231904895463025448326798351741265797182475861266060701*t^9 - 83644316251828678915296499244926010753563486939641475417114416952198997979437340433117760419207380731832654336147199432391868437855788653995735011124878709322471636559634456373817014010445722034255939218695927120014227295548603386995800002283795928051281489479005481458508612438265607193326958311080404338551686217095682372871604238150698750498517841478993270378144573892474690285705191043767101899149441688117390422723390034979457395750026516946221698097980438886789100043108411535304267712450920019321442559907508957015130708577490434831132079936639580562816775284979785962695093043998957848512939670186257366541553119171782054569596847805432489076742607677952992198116057755238561347927988068866269497486740681850722069848300354341676904101919081507480022076573661153763165353582245339657162320828820855959563712566470564362071552604808586462704311676283722909617743932675926643318173643327916454864486400000000/136343965153886231899716888442632086597765995354824540428395929807555569972673086270184997459487826117611793729090021033118102243681652434173200127122928314861922602520108006798589083019248903439982287490616330301441461747486537710801509116308464936659108077561868485299526640626087064290352919138887393333792985201237156137628516424264996360887536420679319193052113244148798090277346718503683815888032391705719482287385657800466950815494287159793125861235975530406341501624589317985500909176005410934633695297043979366181666860352152281512786045640678095158801409119527607658344594109926284736249921912523644504140490967819681871309025091437834705990801156996529473740913357823616518299870853301173835891745622829343410644244461459768757059388501090649386862258288707772283241642637185231904895463025448326798351741265797182475861266060701*t^8 + 75444112284100993154040101168626858621120179217972940971125028192953959165875228846056092137532768593361760778917153982113543752761291395681141973134616642724319799394680810303036364067189939683451007100300932217047632593139896807813784197087493810780668007718033850927234861949032348613173171416863816144961195715503449398011284147948573073656060640223639601517958727194193154254499631866900839797138901189807502726507041466924608905860313855705881417030107290574777939466836771995190066222258288606959988353022883560481291070693432451505488535865003143530488419557219522590335968164675109795742897084077396594523181830595764127841806401703734519342455172333960602282643800977064140947887520300285990427730113512215627664519963252880352477724156750356762337233915164369256718151303189602518577546204365563389598121513510242121762759752732428851851667640909042424021308023748373194821663363632362415141683200000000/136343965153886231899716888442632086597765995354824540428395929807555569972673086270184997459487826117611793729090021033118102243681652434173200127122928314861922602520108006798589083019248903439982287490616330301441461747486537710801509116308464936659108077561868485299526640626087064290352919138887393333792985201237156137628516424264996360887536420679319193052113244148798090277346718503683815888032391705719482287385657800466950815494287159793125861235975530406341501624589317985500909176005410934633695297043979366181666860352152281512786045640678095158801409119527607658344594109926284736249921912523644504140490967819681871309025091437834705990801156996529473740913357823616518299870853301173835891745622829343410644244461459768757059388501090649386862258288707772283241642637185231904895463025448326798351741265797182475861266060701*t^7 - 49966730964340670767622833253806792647119656101930587003989645182313159615363424210897726925987989017094029573622564523875033981106510583804093448189485571195103090028776384573595666463902938554952454807226544487348105417259402064848723096751913934762243912451259575492736541085833585052513949851830160679424521864097555411258763851180028251179361248655157330139871992741294833633853312245818351199967056152872423306367207701369367309127186955240593195277374946232339195375261789416114837200199833517605483333063324266036572400117944441550289771646259488602119216508331171469923833869990164692865949433175616637981993822415930584148924080727858545935549533263911243295620851171274071417694249017122751133951713775432792865990949691234892826827373747568239134328288084715714900182045392057020352709235534355058587706364764566051869408178318877438807671111878987054699446406701958088872409741882249106056806400000000/136343965153886231899716888442632086597765995354824540428395929807555569972673086270184997459487826117611793729090021033118102243681652434173200127122928314861922602520108006798589083019248903439982287490616330301441461747486537710801509116308464936659108077561868485299526640626087064290352919138887393333792985201237156137628516424264996360887536420679319193052113244148798090277346718503683815888032391705719482287385657800466950815494287159793125861235975530406341501624589317985500909176005410934633695297043979366181666860352152281512786045640678095158801409119527607658344594109926284736249921912523644504140490967819681871309025091437834705990801156996529473740913357823616518299870853301173835891745622829343410644244461459768757059388501090649386862258288707772283241642637185231904895463025448326798351741265797182475861266060701*t^6 + 23145447475211015605867538205280591597030243190095942085869063039732573482429713300927127425999139181453737770077414378483583263085290427585052036217878768250435244507459664426748899670179031323031439002445652126522718292013878446585432944333738721528343937237025515455260154698900432544541838540982354455960281776375478042738465490067082460006750171010745424005046318444997297245358221977457383360321372977947766342849400504886944630479937116123585255092896689561396074614855510664779905479481845305718869561944986443318174356442813908469679649360152790332542208620736657062733282302621805160904929907827964451805347714297287121580171389773000806847880157959412437719005073210410474872450426623943776285208796062851949734912652944601435514537804986336698893262865564618614078880816095080421618793112858469442196961952594306239890469118528226126201763137842532624123963739124126293133508841947665332908851200000000/136343965153886231899716888442632086597765995354824540428395929807555569972673086270184997459487826117611793729090021033118102243681652434173200127122928314861922602520108006798589083019248903439982287490616330301441461747486537710801509116308464936659108077561868485299526640626087064290352919138887393333792985201237156137628516424264996360887536420679319193052113244148798090277346718503683815888032391705719482287385657800466950815494287159793125861235975530406341501624589317985500909176005410934633695297043979366181666860352152281512786045640678095158801409119527607658344594109926284736249921912523644504140490967819681871309025091437834705990801156996529473740913357823616518299870853301173835891745622829343410644244461459768757059388501090649386862258288707772283241642637185231904895463025448326798351741265797182475861266060701*t^5 - 7017565994799406776166472943714283790761186461346212732300517540571990558460376310805406628818457133037656373871088041819592228227428056215924793374273498047398552978630128934948362185691540292116396027642630108481995345180125993192142548915324508059752120232564137606891237450768087372770114594469775768019580189738419187898571859379445725818191264496943711307335250188272119080196880158893544847991317877290123450524430870813194633471956305203847061692135672276320390468026006455102816573044939912277945574386300553388130614968009023986323728005088145145563828336408045123204370984511511357701584722597379301969343196211168247153704187861996021084835174694082630316391912865004624499652763341496133806661890916306919901926320910281586865018632489580653972862624281574835800318593197656338057295705954516934494101360679151206689984388865849778191939839678586672431708044377424355654512147074234370228224000000000/136343965153886231899716888442632086597765995354824540428395929807555569972673086270184997459487826117611793729090021033118102243681652434173200127122928314861922602520108006798589083019248903439982287490616330301441461747486537710801509116308464936659108077561868485299526640626087064290352919138887393333792985201237156137628516424264996360887536420679319193052113244148798090277346718503683815888032391705719482287385657800466950815494287159793125861235975530406341501624589317985500909176005410934633695297043979366181666860352152281512786045640678095158801409119527607658344594109926284736249921912523644504140490967819681871309025091437834705990801156996529473740913357823616518299870853301173835891745622829343410644244461459768757059388501090649386862258288707772283241642637185231904895463025448326798351741265797182475861266060701*t^4 + 1272377577471067223954069349577491758798247559937563476507488243273669333808020687903310119792526762627133404294073710464326311132369931213709790469749056710637816173774023429113646186542028070583123743354458969091772705845670031666871870201243142825665835400564278128397269108111461401115684217353169867155602568696142021094495809358258312198208407610283237834491757661339749317140553367136586449210769710772563321809230390609504815129026559075145268366442750270005535547598362930122947783074801755304218012583974700278104542189161447063884668749812651213604548928729198509862871186811606253140671930708951039301874416508268921373684314515676304793686900472226406406927676631645520672627075121133707451895541014316030759073909651187481768944988645370794654285130714785872858509213146090492413659295634479489293951182942919645523698611131009391844818025123895264770747484719246703497244477297108107395072000000000/136343965153886231899716888442632086597765995354824540428395929807555569972673086270184997459487826117611793729090021033118102243681652434173200127122928314861922602520108006798589083019248903439982287490616330301441461747486537710801509116308464936659108077561868485299526640626087064290352919138887393333792985201237156137628516424264996360887536420679319193052113244148798090277346718503683815888032391705719482287385657800466950815494287159793125861235975530406341501624589317985500909176005410934633695297043979366181666860352152281512786045640678095158801409119527607658344594109926284736249921912523644504140490967819681871309025091437834705990801156996529473740913357823616518299870853301173835891745622829343410644244461459768757059388501090649386862258288707772283241642637185231904895463025448326798351741265797182475861266060701*t^3 - 123190331511112429095056533962196150297463687547167584483745924598228801341668573742340875923643463282203781545781880148127509590515465152128578389253388968189608922935278352979978332635854699548844431969873528255655609684876139016911384402167739787746026452790782875765714648084379558063803236903439615196863815594257703861947968975668772306875920978631433544553170450617833237681494990152049727764535282482190782951648149357206202695900720846804659070796704848231056143508062646316272355537334261049993338614180837742926307297975376237374676465466168695850000532653241599552573513173138186805315324596098453238455759032587625187405928716366080832111615877096329047422120545543881838392407681886116604798419540870600622644208914799921593904680432946468929245871639191665702457103300436871215806338791455974404840106619922526688565041439224666023611369868712720650724662874054902137073341712401166237696000000000/136343965153886231899716888442632086597765995354824540428395929807555569972673086270184997459487826117611793729090021033118102243681652434173200127122928314861922602520108006798589083019248903439982287490616330301441461747486537710801509116308464936659108077561868485299526640626087064290352919138887393333792985201237156137628516424264996360887536420679319193052113244148798090277346718503683815888032391705719482287385657800466950815494287159793125861235975530406341501624589317985500909176005410934633695297043979366181666860352152281512786045640678095158801409119527607658344594109926284736249921912523644504140490967819681871309025091437834705990801156996529473740913357823616518299870853301173835891745622829343410644244461459768757059388501090649386862258288707772283241642637185231904895463025448326798351741265797182475861266060701*t^2 + 5745995105840101915234730203348742242926828243099113637587288294174485384238984600482880654406230292397431033787889288354296112887602848607887005442406829288587158083924885059892029544810510789879833072497718988918123288487352172827840248144507468222300039802355441177538606446391178011467206531661065535528182158922538269681152601506314140200899354307835726286905769493913815452070303561141958081454927030404122056027082915275736766060730738855249439609468786241182575911868483323748926040568080629743957036637851318345354417288504653911736863414746106389175216634913036378311339920505445916120113895229454806170570743184391624702150523833827773626837556418471157775414242559880116179626609386658014279277839005449997290959438546669782257860865911182161228057449146903274568125277362124399461890541255372382861120295814777779410926781284325408889552237552760557914916944514689935633876400142760804352000000000/136343965153886231899716888442632086597765995354824540428395929807555569972673086270184997459487826117611793729090021033118102243681652434173200127122928314861922602520108006798589083019248903439982287490616330301441461747486537710801509116308464936659108077561868485299526640626087064290352919138887393333792985201237156137628516424264996360887536420679319193052113244148798090277346718503683815888032391705719482287385657800466950815494287159793125861235975530406341501624589317985500909176005410934633695297043979366181666860352152281512786045640678095158801409119527607658344594109926284736249921912523644504140490967819681871309025091437834705990801156996529473740913357823616518299870853301173835891745622829343410644244461459768757059388501090649386862258288707772283241642637185231904895463025448326798351741265797182475861266060701*t - 101189300714854619416370986889352981475868940797082815922652675688206562933352500782531067667157890869187809886066984481829773157812311052964756573135234831687392524741020047253527255469980568268614920325128303730828073454145243166636412146717949940495472967117610456434511383405165364261524024256227193559632033920961318521507306878070306216629869698291288722482928476795427263612631969422514286568838621961854488726076565693768264450839262589587935704971672228440708887580805778666128175947276940056192155352447614500103375608738218441838708281212252058790797501611030342137078916259390732557933877763011424155483072275057186084705964818594990088988200721012414569255278682706632661057115816486512298179283303206481390491191386921248876141673726897011869129055392433262293129774343955406510389494131406635962837637557095487493514953686696924775704309278823524447964394393182870380615123596356878336000000000/136343965153886231899716888442632086597765995354824540428395929807555569972673086270184997459487826117611793729090021033118102243681652434173200127122928314861922602520108006798589083019248903439982287490616330301441461747486537710801509116308464936659108077561868485299526640626087064290352919138887393333792985201237156137628516424264996360887536420679319193052113244148798090277346718503683815888032391705719482287385657800466950815494287159793125861235975530406341501624589317985500909176005410934633695297043979366181666860352152281512786045640678095158801409119527607658344594109926284736249921912523644504140490967819681871309025091437834705990801156996529473740913357823616518299870853301173835891745622829343410644244461459768757059388501090649386862258288707772283241642637185231904895463025448326798351741265797182475861266060701
-------------------------------------------------
Computing nodes and weights
  current precision for roots: 53
  current precision for roots: 106
  current precision for roots: 212
 current precision for weights: 53
Linear system for weights solvable: 0
  current precision for roots: 106
  current precision for roots: 212
 current precision for weights: 106
Linear system for weights solvable: 0
  current precision for roots: 212
  current precision for roots: 424
  current precision for 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 weights: 848
Linear system for weights solvable: 1
Sufficient bits for target precision reached
Positive weights:   54 out of 56
Indefinite weights: 0 out of 56
Negative weights:   2 out of 56
Extension rule has valid weights: 0
**************************************
*** EXTENSION WITH INVALID WEIGHTS ***
**************************************
Starting with polynomial:
P : -t+1
Extension levels are: 1 3 5 47
-------------------------------------------------
Trying to find an order 3 Kronrod extension for:
P1 : -t+1
Solvable: 1
-------------------------------------------------
Trying to find an order 5 Kronrod extension for:
P2 : -t^4 + 49/4*t^3 - 153/4*t^2 + 57/2*t - 3/2
Solvable: 1
-------------------------------------------------
Trying to find an order 47 Kronrod extension for:
P3 : -t^9 + 8913807221/174577516*t^8 - 346896933499/349155032*t^7 + 3329250396937/349155032*t^6 - 8538378231899/174577516*t^5 + 23551735187795/174577516*t^4 - 8100489458905/43644379*t^3 + 4370729197935/43644379*t^2 - 409117906830/43644379*t + 10559938470/43644379
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : -t^56 + 65629563746123098771588726517214830831852545648862718021041636487113413503402575745319277475888319438583835360117559497603411360122383273127670353507785253513069627508034813769298536413376188676148398419858803102637336895768008884138722634306633157971875377025752271053779184220953924429375973093615823386877925625133755472634612138343546816823208816300179298344285866778036075455845402264607573371813324019437835976051899678370360497152008777835341814753093934926810020646304159196757634697773154952424265801602442730139024263977068807939321641051624651393707247875574981631297934697674452779727840779184841424333887286961284636725381008011368874100245312639213229808457977163279466576968426411605209174452382585634889220757303801461841422071764568997674407686527811628125551219250812221820472770062088663769701312989545416365273198991512740477/23996537867083976814350172365903247241206815182449119115397683646129780315190463183552559552869857396699675696319843701828785994887970828414483222373635383415698378043539009196551678611387807005436882598348474133053697267557630637101065604470289828852003021650888853412716688750191323315102113768444181226747565395417739480222618890670639359516206410039560177977171930970188463888813022456648351596293700940206628882579875772882183343526994540123590151577531693351516104285927719965448160014976952324495530372279740368447973367421978801546250344032759344747949048005036858947868648563347026113579986256604161432728726410336264009350388416093058908254381003631389187378400750976956507220777270181006595116947229617964440273387025216919301242452376191954292087757458812567921850529104144600815261601492478905516509906462780304115751582826683376*t^55 - 1036520923217026157495946801136205941037330146089582763983671548865313061287068436068822540027745405456502645120676229819547535561010187224802901519928489459957634424624139747027655664558815851626484366799573053508866627730365251146843446608672919964995302083533215435227734260989013123510484908528146013220278268728438847287610568367199768498847095723783400341466882308710211567757238425270723734342316956592716957975563671795300350325148034084268401607974017523010331607066423404566615380415068185734878401464879571484550477009560779137182395725720488240717530859559349101913311711489955856239964225774517285892506025259109443434483805523353267146891533289625311979120574973215443336121631950459574439225076476107009008605698866161863821324454636791956635074237024514267561660554374252519336851666173646925720781561041375535821339578523111633596485/287958454405007721772202068390838966894481782189389429384772203753557363782285558202630714634438288760396108355838124421945431938655649940973798668483624600988380536522468110358620143336653684065242591180181689596644367210691567645212787253643477946224036259810666240952600265002295879781225365221330174720970784745012873762671426688047672314194476920474722135726063171642261566665756269479780219155524411282479546590958509274586200122323934481483081818930380320218193251431132639585377920179723427893946364467356884421375680409063745618555004128393112136975388576060442307374423782760164313362959835079249937192744716924035168112204660993116706899052572043576670248540809011723478086649327242172079141403366755415573283280644302603031614909428514303451505053089505750815062206349249735209783139217909746866198118877553363649389018993920200512*t^54 + 75221894000629215665778971711848821496062471320808424659239415533722238631164504366668481155569214296553618955421613341286452537159409712737437769927570653151370325176733184162222503734653944313479396864800470515008768522186476118739245418090598179005976040412648524561974723598208054747361584928319059407194620387013607041144007650640431508469408260785761853934630408676967362276897382862836777731019948195682303723107773304657524516181839993566164843640539440854006714235427934692767409253031411252542037607808990958974864125004400555758926359902397741791560410857409304354228338538307444353345138140274488691704237144562394073712862994178321435461104627439340232931388689838085162432136720938852256113029371948618210642534728429323598639580288733991771214928992707728494490647027055050717893685723935249079119549911468930452748862441714131047119923597/24764427078830664072409377881612151152925433268287490927090409522805933285276558005426241458561692833394065318602078700287307146724385894923746685489591715685000726140932257490841332326952216829610862841495625305311415580119474817488299703813339103375267118343717296721923622790197445661185381409034395026003487488071107143589742695172099819020725015160826103672441432761234494733255039175261098847375099370293241006822431797614413210519858365407545036428012707538764619623077407004342501135456214798879387344192692060238308515179482123195730355041807643779883417541198038434200445317374130949214545816815494598576045655467024457649600845408036793318521195747593641374509575008219115451842142826798806160689540965739302362135410023860718882210852230096829434565697494570095349746035477228041349972740238230493038223469589273847455633477137244032*t^53 - 320262889213836579517551010849584394841261277457403177573693282627037248134922549416437340595812583249211908265925893464082073569186298805469974744168563878731346386181616141411773082478373693240297975829564580162291764371680107648551061083179502736381621293921712409009183047434685568994793795654689056379867847272424702616759915784192029371369646069674221616457810344965211878853055710747557056859551256920161950978917315567728310195489765477526726032431342014398961055642292174899664228830877899057609894951767501329184260379442928085156756804884640984708660296048484479673032195112789447474232225501363032751973903058830227566279153198822314164188201407105931076169800470353742624112829997158795162768304775964295276327958795156459709916243628444516306056677847649963455984533732593573665824127212908876081030414723351582430122027817023839386492656626241/173350989551814648506865645171285058070478032878012436489632866659641532996935906037983690209931849833758457230214550902011150027070701264466226798427142009795005082986525802435889326288665517807276039890469377137179909060836323722418097926693373723626869828406021077053465359531382119628297669863240765182024412416497750005128198866204698733145075106125782725707090029328641463132785274226827691931625695592052687047757022583300892473639008557852815254996088952771352337361541849030397507948193503592155711409348844421668159606256374862370112485292653506459183922788386269039403117221618916644501820717708462190032319588269171203547205917856257553229648370233155489621567025057533808162894999787591643124826786760175116534947870167025032175475965610677806041959882461990667448222248340596289449809181667613451267564287124916932189434339960708224*t^52 + 748216910760030925902546629471987574411810184774551966542330979339545661405618897724357368578609049629956686569590377955591252822175217171899952285588880016310517805293518285874271770659709220420887943159583220775889681831597662985602104275909605946521759593364732488888943911076896721314744560964076207121751085152729114079046653192827569113991400640662426998223170516072043378094025017853681869438534780953602091667528473798721787370009896248411118016838818971815034252247209546000523291128538794652039420370791874048926879627341517665613155274270571341812066312982704011832657626966066943206430879438111490584068226873741325661043939638498288597906369833168667244167296684784132156963857078623343001523748837854446164210215121557023429299487718919661025690009945590634697853375551114329420403712508857760265301282319644119998959168794340394643501198221065873/866754947759073242534328225856425290352390164390062182448164333298207664984679530189918451049659249168792286151072754510055750135353506322331133992135710048975025414932629012179446631443327589036380199452346885685899545304181618612090489633466868618134349142030105385267326797656910598141488349316203825910122062082488750025640994331023493665725375530628913628535450146643207315663926371134138459658128477960263435238785112916504462368195042789264076274980444763856761686807709245151987539740967517960778557046744222108340798031281874311850562426463267532295919613941931345197015586108094583222509103588542310950161597941345856017736029589281287766148241851165777448107835125287669040814474998937958215624133933800875582674739350835125160877379828053389030209799412309953337241111241702981447249045908338067256337821435624584660947171699803541120*t^51 - 279538763416130022343583059827187043503562903610648489511536440085393988245146723966733864578426692887904522811720689386184052550090434504889779417609618064150980095487951470369222183593257641776097044887416169253506768703135462958079957542810615814700219815851445464136181297487411445028905969371014722489777132128160291161452855978649586135923925558486787617933156899807468240539656695242686579009156355666874305612852856115772540617169812928675185996244754403839266146858040338140382742238398131771370159320411296512144982090336219520801947769318681627909860755255025802930042202564608687824368012374973602147650088159501729606625450377670517474134274424503869624504743935032031494010401791736636930693636224432602910811541379390368679497655513078366154232919067400887767879584255404820350963891456213979300798680028277831912126826582360635467692964993116003317/866754947759073242534328225856425290352390164390062182448164333298207664984679530189918451049659249168792286151072754510055750135353506322331133992135710048975025414932629012179446631443327589036380199452346885685899545304181618612090489633466868618134349142030105385267326797656910598141488349316203825910122062082488750025640994331023493665725375530628913628535450146643207315663926371134138459658128477960263435238785112916504462368195042789264076274980444763856761686807709245151987539740967517960778557046744222108340798031281874311850562426463267532295919613941931345197015586108094583222509103588542310950161597941345856017736029589281287766148241851165777448107835125287669040814474998937958215624133933800875582674739350835125160877379828053389030209799412309953337241111241702981447249045908338067256337821435624584660947171699803541120*t^50 + 42910063524967750858494467363913254403343578296035267208355450225310199462412084339268825181324061000513581581057395751856408121951459573270999825161908834593277341434362646349591632461190316569862277326101918414251656738324499946233632724587656198338261396391071462412197835170971539035094835812850552423721606879721952109418083705839899033662233967184784088345072081208786891978701479807647734621808589741947163827157695993209139868299799449287775383065519822781900162481164468467446847270964078231915408559015444578127457036067374280147838547235138364248507459718389363447841389726761717825614775560781188298075516029223306798532237894383782336494577221645061785489269701361173098362850379546400418723124784491045523389741812917585841691578343254786179350096604910519646032988140322039868901143254763999146425753646286153681456745376832755345580591606419394683989/433377473879536621267164112928212645176195082195031091224082166649103832492339765094959225524829624584396143075536377255027875067676753161165566996067855024487512707466314506089723315721663794518190099726173442842949772652090809306045244816733434309067174571015052692633663398828455299070744174658101912955061031041244375012820497165511746832862687765314456814267725073321603657831963185567069229829064238980131717619392556458252231184097521394632038137490222381928380843403854622575993769870483758980389278523372111054170399015640937155925281213231633766147959806970965672598507793054047291611254551794271155475080798970672928008868014794640643883074120925582888724053917562643834520407237499468979107812066966900437791337369675417562580438689914026694515104899706154976668620555620851490723624522954169033628168910717812292330473585849901770560*t^49 - 11041133856015533555585158765177578205380059646318356428534794260605396526309141625146378916649689047844187373386210425403998519441090777906922790687236463000250404741434012098129521979175845362789582254680872673506266422603711344680232541962025644993846328037916685470406383469329389308312499854901178742299776399313303300878321179630780857176505782853475248408221172862806515401612536896014791455750012765477672694194745474836906590640304060358539293226935102678360463683560805790905807832215052270371456354818794168580689762212531549338914197464549177716499329965146263419786297515255811932189626068235672851900796189212942812663043804511845087704283609937716607772858650083182852667749143320342850489496875748918877951712983760475927199206226444616555848116903352022317540701800993356530384772302438164357793320800509686232716342342825864204395797575239075910407127/433377473879536621267164112928212645176195082195031091224082166649103832492339765094959225524829624584396143075536377255027875067676753161165566996067855024487512707466314506089723315721663794518190099726173442842949772652090809306045244816733434309067174571015052692633663398828455299070744174658101912955061031041244375012820497165511746832862687765314456814267725073321603657831963185567069229829064238980131717619392556458252231184097521394632038137490222381928380843403854622575993769870483758980389278523372111054170399015640937155925281213231633766147959806970965672598507793054047291611254551794271155475080798970672928008868014794640643883074120925582888724053917562643834520407237499468979107812066966900437791337369675417562580438689914026694515104899706154976668620555620851490723624522954169033628168910717812292330473585849901770560*t^48 + 805560818390965544561943917726013087617332331738047187623875779307234765059592515585395532970616375603429968298293063924189416944592368654425717624543673385043043816680053489419979747354025810441038756158926560764775380298339648852049144752853048117473652231194460327187083261729004868928740836091833364680763599996730731176142823565799636476642499542956004919321218199174493912663690040531083497177891219389712857556063417719027944196149300477555851805134551829594086654841316845780137805692896497747708257401035383503598016545157859585084971666514976149111448967465223798614592837027777825255696284061487843051659606204888895453681594142403160933383402704722625509002841019343596934159925469076970103030786504433734096120619995298136490415306001027191234763347112826963874476555168887490537197123789715323837916473952158354570466718411668963097136198696729689731919507/144459157959845540422388037642737548392065027398343697074694055549701277497446588364986408508276541528132047691845459085009291689225584387055188998689285008162504235822104835363241105240554598172730033242057814280983257550696936435348414938911144769689058190338350897544554466276151766356914724886033970985020343680414791670940165721837248944287562588438152271422575024440534552610654395189023076609688079660043905873130852152750743728032507131544012712496740793976126947801284874191997923290161252993463092841124037018056799671880312385308427071077211255382653268990321890866169264351349097203751517264757051825026932990224309336289338264880214627691373641860962908017972520881278173469079166489659702604022322300145930445789891805854193479563304675564838368299902051658889540185206950496907874840984723011209389636905937430776824528616633923520*t^47 - 21674090625965314095639857819706903417256698630266564114383642404127213889634046806200830170989092336370000926429574622603864705044487047946148056593976676893689807881653973675228873471178155209380844975928059331597193884155447995330307984662810290489764433158388129590351604676909869350655036037095049947840193519257973784924879775737704881341608294054760954318202191873145197849272973857756294723261511530163421645460661061319636569010007616080193026319902256741279059671879357135851355385487308103121454185662880313258921748630868953815147690075457738210856550423231755293292323890870053456316901379874290024966312872891302619439037367712852237573135737710553757094411623050920221203674181870807436532313792003469468421717803926466254856396665544986649788364211867886033533487890212485879638905920464161899362738853021866236359304657056104822722406598963548308261670197/20637022565692220060341148234676792627437861056906242439242007935671611071063798337855201215468077361161721098835065583572755955603654912436455571241326429737500605117443547909034443605793514024675719034579687754426179650099562347906916419844449252812722598619764413934936352325164538050987817840861995855002906240059255952991452245976749849183937512634021753060367860634362078944379199312717582372812582808577700839018693164678677675433215304506287530356677256282303849685897839170285417612880178999066156120160576716865257095982901769329775295868173036483236181284331698695167037764478442457678788180679578832146704712889187048041334037840030661098767663122994701145424645840182596209868452355665671800574617471449418635112841686550599068509043525080691195471414578808412791455029564356701124977283531858744198519557991061539546361230947703360*t^46 + 12405661755490102410339466741342572447121630012497050223912880987688098320722375094647002626095671936319844240155043853913889957900189587930039394750741397873680214520782599347687274604699227190489711013165371767164048340014918945120281843569999439785743000842481585163840569136606312770204121426965255959640572807413362178014558196485480277584433604859829414226920481394260427382331272096865857619951062061926313981413017117157888630177049604532153504074905328341315371116039257244679648466525997288412656526685430381321655565102349196878473264432191762705175224498514598739963334375771244940076715113564677083499266213904348408479602044309990791020944220201021623192832425196456781370616140900367554683971972886970637726721756765499042124039270861606567842735168066108570258706149486985337613517802481276876594115710127031169097297055898250741403102686791310551332691847331/72229578979922770211194018821368774196032513699171848537347027774850638748723294182493204254138270764066023845922729542504645844612792193527594499344642504081252117911052417681620552620277299086365016621028907140491628775348468217674207469455572384844529095169175448772277233138075883178457362443016985492510171840207395835470082860918624472143781294219076135711287512220267276305327197594511538304844039830021952936565426076375371864016253565772006356248370396988063473900642437095998961645080626496731546420562018509028399835940156192654213535538605627691326634495160945433084632175674548601875758632378525912513466495112154668144669132440107313845686820930481454008986260440639086734539583244829851302011161150072965222894945902927096739781652337782419184149951025829444770092603475248453937420492361505604694818452968715388412264308316961760*t^45 - 354885310519024095415527426191325369148057821119352136863378664258217562448262473226692886635400643289447958237810192145909899496357953077746108855808961230000542514574908551615315968328705189670146403746676340625668885618611437204226450123396527544403045796099608552759903156915602022237539609260099637246366023207645434938813913348444127607710598829908954008325386477531248834388491457307584654501989697282677726114089275838287241487906211424575207215735318419063495348915538117948118300437004266761215113895542846124011098544188061542321899843757543460686465087409198384252324141188480793796733362769534146020393678279860767120452213483480232208635854825638407438840289605733676071983463033169322504853295152434390987492440087825830842465674285597659772326512807135228202559248490370872418054920289022706521295426057282182288419798278657320825714574607913710311464787255541/14445915795984554042238803764273754839206502739834369707469405554970127749744658836498640850827654152813204769184545908500929168922558438705518899868928500816250423582210483536324110524055459817273003324205781428098325755069693643534841493891114476968905819033835089754455446627615176635691472488603397098502034368041479167094016572183724894428756258843815227142257502444053455261065439518902307660968807966004390587313085215275074372803250713154401271249674079397612694780128487419199792329016125299346309284112403701805679967188031238530842707107721125538265326899032189086616926435134909720375151726475705182502693299022430933628933826488021462769137364186096290801797252088127817346907916648965970260402232230014593044578989180585419347956330467556483836829990205165888954018520695049690787484098472301120938963690593743077682452861663392352*t^44 + 1014985805990418356460997434124262921927090943025516431717763731108217475104845794057443667296621967237714227845361597361758370624845465558987079898978155506801841409382503965902062698473782206136574580901457670407417676661831934823271497733262045761494308724869703630237260308049096320103695131926469562360532978365024158154185510934906338289491907571072995168092692233759884599022000354614369587983770345029475338635982509606891578618594889510741413497702699700258326656606698584504244684222322961463518961864075029320034338029264418252181670687959821204458794482019220907177638677399371127524751847602163380121249769328267924993709401066365005303785482407130466318477190667179366393427158274318804211287193392495283609325296246170691846610557688202341567451312935881883500484782910205425041047687824545558265693440293431456454916880930497527619403125703961886892485845902887/328316268090558046414518267369858064527420516814417493351577398976593812494196791738605473882446685291209199299648770647748390202785419061489065906112011382187509626868420080371002511910351359483477348277404123365871039887947582807610033952070783567475132250768979312601260150627617650811169829286440843147773508364579071979409467549630111237017187700995800616869488691910305801387850898156870628658381999227372513348024663983524417563710243480781847073856229077218470335912011077709086189295821029530597938275281902313765453799727982693882788797902752853142393793159822479241293782616702493644889811965356935965970302250509793946112132420182305972025849186047642972768119365639268576066089014749226596827323459773058932831340663195123166999007510626283723564317959208315658045875470342038426988274965279570930430992968039615401873928674168008*t^43 - 2625985101381627686249942695179825858284035456741397818301379295720567042657145083332074990389177971724677801643615772733377179682288373132437573198493525580271007342964326918274656564589023246578613834802464649277800027497828860126437869863157227302835909264598363922092565100366910549744587007704000430651990527201759564905085096991732410733865011884296741980717630357354932194410269341813891286190422061359628486517397473964126493436842577681696386818837834154681014150836838725336610761688054372585279935624261032787383864500579439565808487640987845276415461294409069652087941238369860779083209024449643124778554005410053197955892033466031385368894722109999697694518224618664395817338077802056030958953604393865358549977330050462219980238691355967232007977106068699659815353772433544106801289708227151507086104655830284911117966407897660735068948744587942118747223587993577/7635262048617628986384145752787396849474895739870174263990172069223111918469692831130359857731318262586260448829041177854613725646172536313699207118883985632267665741126048380720988649077938592639008099474514496880721857859246111804884510513274036452910052343464635176773491875060875600259763471777694026692407171269280743707196919758839796209702039558041874810918341672332693055531416236206293689729813935520291008093596836826149245667680080948415048229214629702755124090977001807188050913856303012339486936634462844506173344179720527764716018555877973328892878910693546028867297270155871945229995627101324092231867494197902184793305405120518743535484864791805650529491148038122525024792767784865734809937754878443230996077689841747050395325756061076365664286464167635247861531987682372986674145929425106300707697510884642218648230899399256*t^42 + 18520491961161160962499544516358791653629984223499851510240318738618757698760017456792861335714767613396490261423844592916396328991399471555675324623008509192476455417884801322928501847590484003054321121057905992909955011585732554995802464151705684983270397350345411955601711917438097597398882942740120457827567502874904404652079205824624156291784344077114653504895815327504444757675582559682465664090616625273750267210077990562132057747573202104162712284447037825106287470594773540987909473757058694135511146809502900355577637622109571001931943418097437409332723086425372458230927059263119309889246101907810195620090696908468986331750173766167619454229151923341471734500517953912323154289425846608560187873099343135716655121713265453534941892798850343139916011842678193368464727121774394959549958863033284175748666877685261617123450880427380585975939496667811723274206112071901/545375860615544927598867553770528346391063981419298161713583719230222279890692345080739989837951304470447174916360084132472408974726609736692800508491713259447690410080432027194356332076995613759929149962465321205765846989946150843206036465233859746636432310247473941198106562504348257161411676555549573335171940804948624550514065697059985443550145682717276772208452976595192361109386874014735263552129566822877929149542631201867803261977148639172503444943902121625366006498357271942003636704021643738534781188175917464726667441408609126051144182562712380635205636478110430633378376439705138944999687650094578016561963871278727485236100365751338823963204627986117894963653431294466073199483413204695343566982491317373642576977845839075028237554004362597547449033154831089132966570548740927619581852101793307193406965063188729903445064242804*t^41 - 1628280170677485171978094069517129638724929809260141054209861645546558985391800919639266802835681496912170257776340872109850219834309399479463689616785017374959403147586182098187142973915349697523201662178284657706221227329792124977856306205474338360539446038880510353738344928297077209596748594138046583238586219289141385964076499158364250968291503789439386624759576885460044848378842133663322143259399115276779055474469746925349741420445094940559723730252595685213946329246042280406938290720795625410247400046893566451537931114529265112375773548569634977548834731700455518945672496592818223376426326329672527726700996445897188347936242076276172960133875603576031965427951526027221210483772088386475748308543006009844216938071119355126554719824977054293334728946122701292437831542705434431020181105771263768674477587269306774330546367518559978993169073888203548217736908243912363/545375860615544927598867553770528346391063981419298161713583719230222279890692345080739989837951304470447174916360084132472408974726609736692800508491713259447690410080432027194356332076995613759929149962465321205765846989946150843206036465233859746636432310247473941198106562504348257161411676555549573335171940804948624550514065697059985443550145682717276772208452976595192361109386874014735263552129566822877929149542631201867803261977148639172503444943902121625366006498357271942003636704021643738534781188175917464726667441408609126051144182562712380635205636478110430633378376439705138944999687650094578016561963871278727485236100365751338823963204627986117894963653431294466073199483413204695343566982491317373642576977845839075028237554004362597547449033154831089132966570548740927619581852101793307193406965063188729903445064242804*t^40 + 31950288275973633650377204231444668923248622146457328844198959249257821031774775056509960275994508789587614566713494486259752105297792707099229899929121260723029825761313459863384268834061654026215048791414734939991144763190463768257423198580950022487624185421571864438488583784736779899731679652819276198269530194448031548218589509369798259111224721072754739321343821248899709602698795999408144162683676653609171291282891412128068257978111624785947588000118968932029997188513419777178087918590195601048044082232559970190399183692692218213350334124325652261140032038578763001042011936510280768516522495797189926392586582350712629462035808923278460099794409391194137562493568193662070877434537604995931522505532244707785099773587574863174923745442008660793113213406004203347158317770343340745295298962704747845320085566615092053347166826925865242230898707045278106116253605010748070/136343965153886231899716888442632086597765995354824540428395929807555569972673086270184997459487826117611793729090021033118102243681652434173200127122928314861922602520108006798589083019248903439982287490616330301441461747486537710801509116308464936659108077561868485299526640626087064290352919138887393333792985201237156137628516424264996360887536420679319193052113244148798090277346718503683815888032391705719482287385657800466950815494287159793125861235975530406341501624589317985500909176005410934633695297043979366181666860352152281512786045640678095158801409119527607658344594109926284736249921912523644504140490967819681871309025091437834705990801156996529473740913357823616518299870853301173835891745622829343410644244461459768757059388501090649386862258288707772283241642637185231904895463025448326798351741265797182475861266060701*t^39 - 2243512874089250435689546748349841811880966332458499070163020414676267883827134706359570102200318859126121665984003882751973109575391090406670097996816407749254053999328969681267500091847078193469406318800309188780399766232185844941419008131725184734448698267801427403273075754199396303054328352397775217920217103541186570299358121586424105607510801939964515014488067271019326964872209123499411984982809749786205161448092015394222892229924942336287117373004356387926532839416928246731264179876849843364145116637410674960954421100218869110497823417373810406895122736649897341614189749016415450309069870881627591951006370251926334323262098393269694450756143342175465505388091948031304492385741308242088327872155373889178750030011807767529140916137498174855194589025260293197937607307023895851163403590759128376128254612515400376053610366507864086955083619789777513075201843312328265110/136343965153886231899716888442632086597765995354824540428395929807555569972673086270184997459487826117611793729090021033118102243681652434173200127122928314861922602520108006798589083019248903439982287490616330301441461747486537710801509116308464936659108077561868485299526640626087064290352919138887393333792985201237156137628516424264996360887536420679319193052113244148798090277346718503683815888032391705719482287385657800466950815494287159793125861235975530406341501624589317985500909176005410934633695297043979366181666860352152281512786045640678095158801409119527607658344594109926284736249921912523644504140490967819681871309025091437834705990801156996529473740913357823616518299870853301173835891745622829343410644244461459768757059388501090649386862258288707772283241642637185231904895463025448326798351741265797182475861266060701*t^38 + 141174943110065876803907889881185126297223483025492397266132488172430364244500789491926027103792739969984987092687620837616971979252824982518092716365157124648679813673020280344306633011185166811838648518326811740354284893923144207456205354523652066949879768486998562683921274257443463277371485112417990329628116958609574267833099098166321934870248396167378534225826530711823481023090676465436012821562439309169853388510955059466752513245294270317179774389182306960557528403336189219735733782601868245902511906514987707378743207651460219164700912659724530315231595231358508851923263393075723675188181712842079359007338240000435814347426877950331659637559912550002761557503809238102193730042524044404349480150481123895869663613558882368638948395535518045421667263654914455356445208977267929890712561172011470709117753207626823374301255382220255160253968501160320112257884993397988436380/136343965153886231899716888442632086597765995354824540428395929807555569972673086270184997459487826117611793729090021033118102243681652434173200127122928314861922602520108006798589083019248903439982287490616330301441461747486537710801509116308464936659108077561868485299526640626087064290352919138887393333792985201237156137628516424264996360887536420679319193052113244148798090277346718503683815888032391705719482287385657800466950815494287159793125861235975530406341501624589317985500909176005410934633695297043979366181666860352152281512786045640678095158801409119527607658344594109926284736249921912523644504140490967819681871309025091437834705990801156996529473740913357823616518299870853301173835891745622829343410644244461459768757059388501090649386862258288707772283241642637185231904895463025448326798351741265797182475861266060701*t^37 - 7971131333358939622056047181668423583081546018118997976985140618443689920778558367658293179508389151257870511025854963390886786402430029316163445526773243176101377001163589675598603245379930601701272989371258600412998283221477257544826003391406648459494280360058101184083903575622371881614991918753051020754339514615501588103752732222346752283650578320282430912269342913646484054665996670652426680904367657400464317485013838150472760090352424580507018060091708830605017586191432697001478061430623764215655676567971714931986874213388497018594591915762495940855654086274811693403636737630670401061400104261986639076289128970292257930174280707628350109466952300115066451044743621635972184229388464363510383379745163115771358994208788952896563102282898371567642186067681338388364188310331545528966813660771288054424569065879417639652157220113264611961708168360352429955474838032681914609460/136343965153886231899716888442632086597765995354824540428395929807555569972673086270184997459487826117611793729090021033118102243681652434173200127122928314861922602520108006798589083019248903439982287490616330301441461747486537710801509116308464936659108077561868485299526640626087064290352919138887393333792985201237156137628516424264996360887536420679319193052113244148798090277346718503683815888032391705719482287385657800466950815494287159793125861235975530406341501624589317985500909176005410934633695297043979366181666860352152281512786045640678095158801409119527607658344594109926284736249921912523644504140490967819681871309025091437834705990801156996529473740913357823616518299870853301173835891745622829343410644244461459768757059388501090649386862258288707772283241642637185231904895463025448326798351741265797182475861266060701*t^36 + 404224162314708445643164061888396446976950453726466256386261809167060264713454908970950579606879272652383607184321981001788693329458042484530365154370163597121072220405045456050049793779849792305464880565593247201557786307110100383159978238836633849269704049181777269607647701555426189418496725313587808540521308767524130960562682588474026276738614107565648588965181509410515087654011124885301740721036935064571523877705858465947438562168233835482267239625674442998239655293308607036348692718396063329462986642048744637224280475269802105501121966508349697860212888162897413930810848899470885716028713676478410115161384568288042959124789500904704599571873642303232055069930257657623761808035344706651558881125983150915050577596521250686585589883780740422912315155554170231504890255826481819470518704381445811815908863917488813438035327201858136444710280344633452061924762444020671109668080/136343965153886231899716888442632086597765995354824540428395929807555569972673086270184997459487826117611793729090021033118102243681652434173200127122928314861922602520108006798589083019248903439982287490616330301441461747486537710801509116308464936659108077561868485299526640626087064290352919138887393333792985201237156137628516424264996360887536420679319193052113244148798090277346718503683815888032391705719482287385657800466950815494287159793125861235975530406341501624589317985500909176005410934633695297043979366181666860352152281512786045640678095158801409119527607658344594109926284736249921912523644504140490967819681871309025091437834705990801156996529473740913357823616518299870853301173835891745622829343410644244461459768757059388501090649386862258288707772283241642637185231904895463025448326798351741265797182475861266060701*t^35 - 18421865380722373599211482132785604324024919244214491631073189533399887559328478289382368697252978731072150290468027103316255578261699605114914107073709546005534297229954299728814828745668778850397048781295813558225803934648732717416424655908638000353585321653110522629884478403086860778731877167304533180953711599871791404548894220067536000064246054294936856213456234532066979537492115471142762331086151893176479787613784789519205427617999006559266918324114349656311756234817521957588078531640896657332230262855937015273047254078475568088985626616371696270187976030254298056292952815444967013064018414167855442160411820277841640615555135618965332209217311788941889280265205998822328534231174619281138843591247156394664037529986900036749655364625864203515230319737420301023621167637528080839259925941871347457755587704371105698750477937124443453264640685197686468429209228588978970636273200/136343965153886231899716888442632086597765995354824540428395929807555569972673086270184997459487826117611793729090021033118102243681652434173200127122928314861922602520108006798589083019248903439982287490616330301441461747486537710801509116308464936659108077561868485299526640626087064290352919138887393333792985201237156137628516424264996360887536420679319193052113244148798090277346718503683815888032391705719482287385657800466950815494287159793125861235975530406341501624589317985500909176005410934633695297043979366181666860352152281512786045640678095158801409119527607658344594109926284736249921912523644504140490967819681871309025091437834705990801156996529473740913357823616518299870853301173835891745622829343410644244461459768757059388501090649386862258288707772283241642637185231904895463025448326798351741265797182475861266060701*t^34 + 754737517990061079512340974489230404872549346746049974831345588892097088242159660544277565865525354229105790528349330755618276052087120701492562626231013790219358616803168526842515710661329159441483797795480869699611569948028832143420903611572530206830082887608005301287501445373847583256030072591287715295663309394173602965133475987049689370378654412908732725462909413878404838835712863039833260622940216050490440368750791672200590815901871006678354636487537757016634512784554880829539304108673694042571359813946409747013748032881868622502830670899004546033948663289138830258135858745652598801977674835441242232599761663689813820576188703735425737662018782114418126891745439429473215022307462874555057719746278520091105790611213016599066581909500245625438421397858233879036204710637418723469747082868755419907462670653466965529771963961192499764302090303673269341646350137305570683948861600/136343965153886231899716888442632086597765995354824540428395929807555569972673086270184997459487826117611793729090021033118102243681652434173200127122928314861922602520108006798589083019248903439982287490616330301441461747486537710801509116308464936659108077561868485299526640626087064290352919138887393333792985201237156137628516424264996360887536420679319193052113244148798090277346718503683815888032391705719482287385657800466950815494287159793125861235975530406341501624589317985500909176005410934633695297043979366181666860352152281512786045640678095158801409119527607658344594109926284736249921912523644504140490967819681871309025091437834705990801156996529473740913357823616518299870853301173835891745622829343410644244461459768757059388501090649386862258288707772283241642637185231904895463025448326798351741265797182475861266060701*t^33 - 27799181107235073326681547203826309091193067459055280396614175000316898356867702322756800155779804519492310405066175230575367714415831889529451136976693406393362174508399623729236046452393264423037186000456558040061914300266774929508776360587547979856493460108896342277288868369778403308590455901104146659832709963008433963496228666612496480753666966719851603257709479203355605979270662062737590284483224121743417624124825096055557702331205137805082058475343299120426646774272535175578276765519277474251870453508833819018597225024016299569744503885431744822963435289518322983837348056649476305477992009080991933266590907986406716288722962219027555589343427477230260565387646090703914571687394375065034133582393589066469144959035950906715390852081664692758775007101821671098075833494422744527488323597299557621203531230599453105161030441056146500425898356888880157203465506059190211268257000800/136343965153886231899716888442632086597765995354824540428395929807555569972673086270184997459487826117611793729090021033118102243681652434173200127122928314861922602520108006798589083019248903439982287490616330301441461747486537710801509116308464936659108077561868485299526640626087064290352919138887393333792985201237156137628516424264996360887536420679319193052113244148798090277346718503683815888032391705719482287385657800466950815494287159793125861235975530406341501624589317985500909176005410934633695297043979366181666860352152281512786045640678095158801409119527607658344594109926284736249921912523644504140490967819681871309025091437834705990801156996529473740913357823616518299870853301173835891745622829343410644244461459768757059388501090649386862258288707772283241642637185231904895463025448326798351741265797182475861266060701*t^32 + 920345501778189616101809490273833374291608477821044772668631382514370093422213136226006535117363984257172972801968919894992724208133686801828466198565017358401669051115391847854208821858776798276486517217776575109478301172543609713472344391535588715946592238571018278823282815245663603348159973650885633303793675468978711112772661067760913781223680973499659714461989988086005381708015873854099651274003723695492759086999430799252531646524252222397130856224397652547628129233588246606446061335405358713030241919340997806812127228811959016704023611347307726455708824812043997882950662920326941672378770245616062121858474329491313349351861660602607878480505953084047790001804324724318672187550890063813430149044418463835444909995760791734420918090217622449168745998650397181912403183511079227095220976146483286922852113200529781382345102494576105719731253413486405504280031384338271169146605721600/136343965153886231899716888442632086597765995354824540428395929807555569972673086270184997459487826117611793729090021033118102243681652434173200127122928314861922602520108006798589083019248903439982287490616330301441461747486537710801509116308464936659108077561868485299526640626087064290352919138887393333792985201237156137628516424264996360887536420679319193052113244148798090277346718503683815888032391705719482287385657800466950815494287159793125861235975530406341501624589317985500909176005410934633695297043979366181666860352152281512786045640678095158801409119527607658344594109926284736249921912523644504140490967819681871309025091437834705990801156996529473740913357823616518299870853301173835891745622829343410644244461459768757059388501090649386862258288707772283241642637185231904895463025448326798351741265797182475861266060701*t^31 - 27374849726627117008444490284022192979684124628953922968294162981119292885911365822383878448868960810054417605576300897977407508362166880910169464165136683770345298932972407497859854621335632325567911989043047883838075624624497707350052109809603159379458888207344787930188684818485921342953390128817496151504290909468943899128149922566646706770606390361948192418591912762708269353893901456722642402022220748164542407985035709680726267646578654393938970712431456559180792206749110369560992974333571881963185888951683296017096994104050533147785662478135665280343281146754438315217928494984699721983898050565138373591483082926671218197882993283747132575326620284896112406166586832715727064492219127260435039138650756891225366824470721359160486017555205723549079356877419099097422291266239395185120630854048976148846446314480340789667685807071628389722754301393085910178842220881322098998020690892800/136343965153886231899716888442632086597765995354824540428395929807555569972673086270184997459487826117611793729090021033118102243681652434173200127122928314861922602520108006798589083019248903439982287490616330301441461747486537710801509116308464936659108077561868485299526640626087064290352919138887393333792985201237156137628516424264996360887536420679319193052113244148798090277346718503683815888032391705719482287385657800466950815494287159793125861235975530406341501624589317985500909176005410934633695297043979366181666860352152281512786045640678095158801409119527607658344594109926284736249921912523644504140490967819681871309025091437834705990801156996529473740913357823616518299870853301173835891745622829343410644244461459768757059388501090649386862258288707772283241642637185231904895463025448326798351741265797182475861266060701*t^30 + 731013875679604714961326602526062698546181885913848654222224045746619179978261983182747660068876526913108452759147789957269179608176571017593222503922958469332129779898977021366383541066535924754387004034519057462781313647247792453584422242587024663679129466764689800505133486992355096576999374025551314934825293442503219070672792037556956505367312464783308395843371238317988429205228578855796796149233102601193730027867370238323744021229144860015616472131038766977846323607792259138669318360359620766224910621464934290245465426326908011775016432278674822104079039325487341972134930401684927470831424159114802654268759167933775084643234007158469610999524823553305789266539399821838834457758205762018271714330682629394676379859156283008743092665675141588060392940484547172313562302037971663371847699805132506731233413494771689776736782260274252103540112919559522660621922333902839836308894670336000/136343965153886231899716888442632086597765995354824540428395929807555569972673086270184997459487826117611793729090021033118102243681652434173200127122928314861922602520108006798589083019248903439982287490616330301441461747486537710801509116308464936659108077561868485299526640626087064290352919138887393333792985201237156137628516424264996360887536420679319193052113244148798090277346718503683815888032391705719482287385657800466950815494287159793125861235975530406341501624589317985500909176005410934633695297043979366181666860352152281512786045640678095158801409119527607658344594109926284736249921912523644504140490967819681871309025091437834705990801156996529473740913357823616518299870853301173835891745622829343410644244461459768757059388501090649386862258288707772283241642637185231904895463025448326798351741265797182475861266060701*t^29 - 17508776303468048822815624197329108501230066425441125773184995934600485092159539674412292260485112945517892039594019012128774363320155388340663953541578888280426949288314675086772386523022852456376563737406572085300930181725467263287785139547619881171819197710980463855730174547347898329624008944354114647117477370491342848504137662771091850389984497402610755265361329813052412450677901764116402422828021982542589179035314012244890683270996190811039380756384484126333302173704941895098349942903580351447979958085502000820417140391643397708590492957688032554957592345338914326730225402070549926367523453459047843194963436969669908408822537670684753606370880039430091774832556818506831959940215199810056211660540683146960732116627059528218381408354198263950498315953050945919912364735588988674120271242987100389906899598393892973669413841421455923326961398706699796874784460165257594341206500817408000/136343965153886231899716888442632086597765995354824540428395929807555569972673086270184997459487826117611793729090021033118102243681652434173200127122928314861922602520108006798589083019248903439982287490616330301441461747486537710801509116308464936659108077561868485299526640626087064290352919138887393333792985201237156137628516424264996360887536420679319193052113244148798090277346718503683815888032391705719482287385657800466950815494287159793125861235975530406341501624589317985500909176005410934633695297043979366181666860352152281512786045640678095158801409119527607658344594109926284736249921912523644504140490967819681871309025091437834705990801156996529473740913357823616518299870853301173835891745622829343410644244461459768757059388501090649386862258288707772283241642637185231904895463025448326798351741265797182475861266060701*t^28 + 375678557281157061573872368325568951028134314239358940491656547050376452157776167036265811257814825873513291231928180308181706543616283017027744308410745301023299417399032541790610370149320626117256077003287293737370510748315168725595025387297084785851816775902907088770774742954725300933356416928419146430949264810215207748106683622758093097861812716231484512270023684123388809913121299543497616179230650110371625023618111597646150477218861203506856581856276080600957664186513171559793436371087373107188555413064879518867354198002051593095575160178686200695199889309948530939131563098862481012270536681102362047049341230020760682984840079972311347411269064283298911654988471664127880398740541813705219210439168764865411426635865063488301120006317952812858770478909387502393715010206086338993040776883274417053532639292214158975877093416180932059953543052210623388246662166227651314189467834271744000/136343965153886231899716888442632086597765995354824540428395929807555569972673086270184997459487826117611793729090021033118102243681652434173200127122928314861922602520108006798589083019248903439982287490616330301441461747486537710801509116308464936659108077561868485299526640626087064290352919138887393333792985201237156137628516424264996360887536420679319193052113244148798090277346718503683815888032391705719482287385657800466950815494287159793125861235975530406341501624589317985500909176005410934633695297043979366181666860352152281512786045640678095158801409119527607658344594109926284736249921912523644504140490967819681871309025091437834705990801156996529473740913357823616518299870853301173835891745622829343410644244461459768757059388501090649386862258288707772283241642637185231904895463025448326798351741265797182475861266060701*t^27 - 7210569054444299259199212836043355883749515965493663538139824955785629458271791262532000014684775706168554241609861360963255662748541347969105085413106525911144451984358499271408493966352636150076352803987338990947045079033722308230809265246867686281004626821371173502317257245979983430939804106877345985575208375367385177240954431611424827679216635950400761564774438314097928685882191108242519498932157362309480395271885998198487297009484671203223077159301327541501935054947543703560039360664331540331654623370395556297176960117905735116668075334535393490939158196802052009442020550279984155301045705103247782234368239528134682627660129555727785498882065969652476596357692382697485586077535006091336211675566899121355699306883097069791002155389690755877174995619437759668907093667181684540368409248447538274068753270732586722568370270389918165469697501690851162079199972734424353335398537289852928000/136343965153886231899716888442632086597765995354824540428395929807555569972673086270184997459487826117611793729090021033118102243681652434173200127122928314861922602520108006798589083019248903439982287490616330301441461747486537710801509116308464936659108077561868485299526640626087064290352919138887393333792985201237156137628516424264996360887536420679319193052113244148798090277346718503683815888032391705719482287385657800466950815494287159793125861235975530406341501624589317985500909176005410934633695297043979366181666860352152281512786045640678095158801409119527607658344594109926284736249921912523644504140490967819681871309025091437834705990801156996529473740913357823616518299870853301173835891745622829343410644244461459768757059388501090649386862258288707772283241642637185231904895463025448326798351741265797182475861266060701*t^26 + 123583527393746256516758184460176767815651907315165118327078164147568699052173675871270436699976360840714638827124235652803569704670330212378307989840222707099599288852090138588547215817149399313798228727608142772472565564021369142856877316253888384989319463081138324263397529386322894051254834556881682879770755579716794727729352488594700388904846474556204641186460598483319780383555958370444556539817170919557397292266073763379566556288265990253656280887152153260716379426922836866180021321630965234567484358208469949906920530494057801266658109663752237177684102370204187328868631867835168563761698925261971661568682364053315087408431346718486418709910025249696640577615318119371541140026588370656678717559144802031288536673051944904412941176623391332473687915065889097799516209802497400904847536380841679392839946493841862544382468900225277544905796346398863213233360385428634853595505284594069504000/136343965153886231899716888442632086597765995354824540428395929807555569972673086270184997459487826117611793729090021033118102243681652434173200127122928314861922602520108006798589083019248903439982287490616330301441461747486537710801509116308464936659108077561868485299526640626087064290352919138887393333792985201237156137628516424264996360887536420679319193052113244148798090277346718503683815888032391705719482287385657800466950815494287159793125861235975530406341501624589317985500909176005410934633695297043979366181666860352152281512786045640678095158801409119527607658344594109926284736249921912523644504140490967819681871309025091437834705990801156996529473740913357823616518299870853301173835891745622829343410644244461459768757059388501090649386862258288707772283241642637185231904895463025448326798351741265797182475861266060701*t^25 - 1887607956231930757035341214463393099419380540414921486917285445077664907017404981413987369712043074248511577820473039571668629002370460356717252512936552392316342571657004222881486126279535306346066541314624349636829016509105726890265524920514697947116458826062995624279945523791873366241045589754747345479639388026448026700940909179160850859173850805817434017897078375937944313814390236062438258735438563206558869191279935930511816137730096891532943517750675330732801630130430671987630114415758920633961307711804855408405932848272199247150115069341998766096706294827217011563430820898152574913141980994720760837376263166395165015097927160732593758075627982762006196126770861263874703324689596699440500335323224060392148847077716471909242479889847707580721115980425239931687055946638661018396174035203483311331124776438184702466919528993732992532778738118997430130885287166102452480729751326487449600000/136343965153886231899716888442632086597765995354824540428395929807555569972673086270184997459487826117611793729090021033118102243681652434173200127122928314861922602520108006798589083019248903439982287490616330301441461747486537710801509116308464936659108077561868485299526640626087064290352919138887393333792985201237156137628516424264996360887536420679319193052113244148798090277346718503683815888032391705719482287385657800466950815494287159793125861235975530406341501624589317985500909176005410934633695297043979366181666860352152281512786045640678095158801409119527607658344594109926284736249921912523644504140490967819681871309025091437834705990801156996529473740913357823616518299870853301173835891745622829343410644244461459768757059388501090649386862258288707772283241642637185231904895463025448326798351741265797182475861266060701*t^24 + 25633846127567228892872015933405353996105755805375270033523177621326572202590336671888423806877423467889591955462581911579168578575462386563651973150594405272156541348676768268388306850829617056791529761112358692474176319166957633807947248593314266653484777024402394977559199840715446950110940816031705308236484493099488669182135079033246918385731668951405201919880000255438294357360153530313515458504670079814064194725614989042089927457946622042608862826576726565637779302459615607467725939359119437615266904001397507847877959405742654496096784807930346278233204759860411836243303230558137780167259747812847403338862628741185701207395104707604286622693973645953663693853334736620949561835476695688801654456881893601939493931691769041886072527459326525070255330923727892327755800344290854436458390134756625234845418440502553111885563407272010130681361148899198553374357668522684924416303408802905292800000/136343965153886231899716888442632086597765995354824540428395929807555569972673086270184997459487826117611793729090021033118102243681652434173200127122928314861922602520108006798589083019248903439982287490616330301441461747486537710801509116308464936659108077561868485299526640626087064290352919138887393333792985201237156137628516424264996360887536420679319193052113244148798090277346718503683815888032391705719482287385657800466950815494287159793125861235975530406341501624589317985500909176005410934633695297043979366181666860352152281512786045640678095158801409119527607658344594109926284736249921912523644504140490967819681871309025091437834705990801156996529473740913357823616518299870853301173835891745622829343410644244461459768757059388501090649386862258288707772283241642637185231904895463025448326798351741265797182475861266060701*t^23 - 308684309100502473607750164345512482313790884816961026324681615929708257816393366697030290244401719843972541855416414497346563321892346590072305386111683869415105894871681896935478428481833711197584727733678712019272460709799225840937143027789364425096887924790914881751216889875365452588531494985921227512777305712213460029128038326312592004611311519138524344124601499188998723750541424976309052340732618637410343998922841158183407506026796716790723739465081726478986337055518504017153396064889010073492945751092008316677656438746462262732186177234618386119366960770389375765862047111115554982470668002599837120852273786322167876362061474449280306625893263864787595902789687663607884195457857553209717529755554701670682797493864256394897669735601639503620464845592609180212524741558836031102044248250931366595068936284222313020635976491584428675214328751626346821337597518139890433417531059322312294400000/136343965153886231899716888442632086597765995354824540428395929807555569972673086270184997459487826117611793729090021033118102243681652434173200127122928314861922602520108006798589083019248903439982287490616330301441461747486537710801509116308464936659108077561868485299526640626087064290352919138887393333792985201237156137628516424264996360887536420679319193052113244148798090277346718503683815888032391705719482287385657800466950815494287159793125861235975530406341501624589317985500909176005410934633695297043979366181666860352152281512786045640678095158801409119527607658344594109926284736249921912523644504140490967819681871309025091437834705990801156996529473740913357823616518299870853301173835891745622829343410644244461459768757059388501090649386862258288707772283241642637185231904895463025448326798351741265797182475861266060701*t^22 + 3286290270400774086437587591313139478048361116365068700879345542898895682370158639617679630856750719901197262227942977723160429768750730238570239578138795553342690529996268658766435932456396232000305898471966332734591669316102537705313727328314271221554818852306207657209742701776393720775657627727760087658785130164719454784245236031581375121611202299570572348854496299765913522437705488110305590670801007866667076599893417209434463936484926038172721241001051397907488072897690254849213547821351119336886507013521724148800859958570687734063498208274843896275141240611833133404815100566115507985810240178849668763342488252660734178381942640233392027598949216970097363173908328661292707879117830709299775815146962682286445188024140482698971040116549192251237323990184354480405975106553922156807601774526310907930043322650418449937116260708617468911366872346927264442408927577266698402285999064419085516800000/136343965153886231899716888442632086597765995354824540428395929807555569972673086270184997459487826117611793729090021033118102243681652434173200127122928314861922602520108006798589083019248903439982287490616330301441461747486537710801509116308464936659108077561868485299526640626087064290352919138887393333792985201237156137628516424264996360887536420679319193052113244148798090277346718503683815888032391705719482287385657800466950815494287159793125861235975530406341501624589317985500909176005410934633695297043979366181666860352152281512786045640678095158801409119527607658344594109926284736249921912523644504140490967819681871309025091437834705990801156996529473740913357823616518299870853301173835891745622829343410644244461459768757059388501090649386862258288707772283241642637185231904895463025448326798351741265797182475861266060701*t^21 - 30825223703744037539268438630174980314792900759096492370963288922655012365440405746970232697813754170731659738797235928956284302279855014235822171063479345025117234245114095259063064978222890059382456635677189725015109842494678127469230068917305601918809938364157875711062928064419643553417646308166977387491235479558528174810631347483121527306839259735888407013454489113184417698559483243022121489235445545908141565982885724140743836969683113685257077272527471338885170808452657242915931180327998534591139670240397038671381996589432684914723568067779621056952719536767022249303594884076796610811439624336811048188424757631288889323927140299660708798618476412933859647161054825930745611731903007328823183026139713614985160398011864784477653033486658653033962356245956001616749970906571559189443561597961714394013742665438618859532266220287827909868437781773317862178676380888473695455855841323317626470400000/136343965153886231899716888442632086597765995354824540428395929807555569972673086270184997459487826117611793729090021033118102243681652434173200127122928314861922602520108006798589083019248903439982287490616330301441461747486537710801509116308464936659108077561868485299526640626087064290352919138887393333792985201237156137628516424264996360887536420679319193052113244148798090277346718503683815888032391705719482287385657800466950815494287159793125861235975530406341501624589317985500909176005410934633695297043979366181666860352152281512786045640678095158801409119527607658344594109926284736249921912523644504140490967819681871309025091437834705990801156996529473740913357823616518299870853301173835891745622829343410644244461459768757059388501090649386862258288707772283241642637185231904895463025448326798351741265797182475861266060701*t^20 + 253769277943914579516335722244718105589474470070959234835357141698851119856748923903653050315168801424163096444203213572255937493113615087701183867597582533423479432775841105246653938323609646663591923263864953892597202886897578139351143494834936070537618520411810582892261690427022217007465290394803988199724977886492229829624370532164414802317754046266756030299470533109755115635120807331448007333809488461495090000220528566141502169771217997474099049360336104261804982976284157357212973777181681200871707053840016265944212821993663074136055751813627431364517690337502512688021266277938833017338480270817062327693033199652237862581605292783774512465118858725833779465673260678100498098447584884961828625231346287757172130189212053067242259735849500682963753416166530972775180735634162492491227203496789676080300445535223967239339363796394487205833032575149191673999640369451928593976732517148727672832000000/136343965153886231899716888442632086597765995354824540428395929807555569972673086270184997459487826117611793729090021033118102243681652434173200127122928314861922602520108006798589083019248903439982287490616330301441461747486537710801509116308464936659108077561868485299526640626087064290352919138887393333792985201237156137628516424264996360887536420679319193052113244148798090277346718503683815888032391705719482287385657800466950815494287159793125861235975530406341501624589317985500909176005410934633695297043979366181666860352152281512786045640678095158801409119527607658344594109926284736249921912523644504140490967819681871309025091437834705990801156996529473740913357823616518299870853301173835891745622829343410644244461459768757059388501090649386862258288707772283241642637185231904895463025448326798351741265797182475861266060701*t^19 - 1825602649721003176064877054205938740184237183823919632498327933108926063933087968101353971443033268796653443544908791994917358976119410846329958734909524137435076870150651535818526753600639534474443305191421484265648337009958282823245843344619885932046576342447724818301232109070461495202472299257089856322082531886962439506662758310626015613889779181554114148040402287817468669671296394987732832032835168636114057984036908648921145087187775593787362519426347844432600671302040626906185548064652204734285432003303967183007206623955703677770815173522611095654429508211541933517377224841983633582948936617313824506975531360673624169616558088213881907946766539546551715734666326086593236471154651828090530475105465886111476308945962772320690693642570542178087956111048144998878389747984038508804779201715918412633713252401947423869261284790886620061831776698543548656564411204282151658234726139589396627456000000/136343965153886231899716888442632086597765995354824540428395929807555569972673086270184997459487826117611793729090021033118102243681652434173200127122928314861922602520108006798589083019248903439982287490616330301441461747486537710801509116308464936659108077561868485299526640626087064290352919138887393333792985201237156137628516424264996360887536420679319193052113244148798090277346718503683815888032391705719482287385657800466950815494287159793125861235975530406341501624589317985500909176005410934633695297043979366181666860352152281512786045640678095158801409119527607658344594109926284736249921912523644504140490967819681871309025091437834705990801156996529473740913357823616518299870853301173835891745622829343410644244461459768757059388501090649386862258288707772283241642637185231904895463025448326798351741265797182475861266060701*t^18 + 11419691949468009322524100134676507220972946466572925994756252787194974172196092654499722439808605848603115476679784343648795014291195055989423095612940387113773396473030384181641279771149973239710261071778793006659758591580833288411954241362963369294852696274806417610309192968990827414732444648679763781474991610037709142910314599623990569408850555289753138802224616898883878790473564567839860077650669839003836302687214909798337390082941761047926518018559752918202229590307534252767919267581585636470577592092566331108523069711383483908570190986405760750270303871516214151144902095519515029465306396249528630642105720885250322765051302143995285081804527311848699554742526334089044587856248461215453585099788481547607012243637258384054856160097522624494327422590494558018639385031247851458431777521372355261448113975584872398680836487631202583101706746245720087628171644615993108444329049529475990355968000000/136343965153886231899716888442632086597765995354824540428395929807555569972673086270184997459487826117611793729090021033118102243681652434173200127122928314861922602520108006798589083019248903439982287490616330301441461747486537710801509116308464936659108077561868485299526640626087064290352919138887393333792985201237156137628516424264996360887536420679319193052113244148798090277346718503683815888032391705719482287385657800466950815494287159793125861235975530406341501624589317985500909176005410934633695297043979366181666860352152281512786045640678095158801409119527607658344594109926284736249921912523644504140490967819681871309025091437834705990801156996529473740913357823616518299870853301173835891745622829343410644244461459768757059388501090649386862258288707772283241642637185231904895463025448326798351741265797182475861266060701*t^17 - 61763456470998331218729438513097701402245273526924588590846293712910684976149715285323833659172924893079264216281228730771413327807457633624432051048266432130529788708991795535220275874260996636493034937369405755224262182816898438449609728763413668195895204483047193715124169334037295403817933311213641277408980306506833299030646679367245922071414086329291938734704638868163039755907353262910597674277049374401895807572259985232279996332093273397149207498728093848057718874278730440949742959071741552369559857360902845640193250994471511783402152241281764311323320669516456601349466207784752319687627335788286650018172465257619649819370320281601853691627045261512258762542076409806561286549064254658484807280222816110485599912324009230961185939380722271145031445442996125709745549739444767358543162615134153607646810637060776136813355019644861539634415250110537151827467202086968863261030419569965091454976000000/136343965153886231899716888442632086597765995354824540428395929807555569972673086270184997459487826117611793729090021033118102243681652434173200127122928314861922602520108006798589083019248903439982287490616330301441461747486537710801509116308464936659108077561868485299526640626087064290352919138887393333792985201237156137628516424264996360887536420679319193052113244148798090277346718503683815888032391705719482287385657800466950815494287159793125861235975530406341501624589317985500909176005410934633695297043979366181666860352152281512786045640678095158801409119527607658344594109926284736249921912523644504140490967819681871309025091437834705990801156996529473740913357823616518299870853301173835891745622829343410644244461459768757059388501090649386862258288707772283241642637185231904895463025448326798351741265797182475861266060701*t^16 + 286967312990571651692504578141461423104787624634536233473459827618989817327461654177123656695395555392414820438188558392644566059039044950996169405584570676369621866042062151482221313439325854159900336076818004192028392079935018751109428260159138576954506941331005480735234771150272195338907044749012903253363041698213045533105326000332052996867754087059258855618633427727802308122332136992921651928063211557892002790547115591199349982062889985714576212028582292486366036961849884528809732001776971760581119115509366517321320742405564820731181648794793311786949616565272558352558172244688095325391245833444083635374280512716304021481515263625238581268889780099932511578698006274894971680760368246861260689502817479346233880322857283278019516130418003536635445986076047658883299055010618934375525278635193189937729289137274744695029420679040948452180786173618771246009889563628074217578471998767847676837888000000/136343965153886231899716888442632086597765995354824540428395929807555569972673086270184997459487826117611793729090021033118102243681652434173200127122928314861922602520108006798589083019248903439982287490616330301441461747486537710801509116308464936659108077561868485299526640626087064290352919138887393333792985201237156137628516424264996360887536420679319193052113244148798090277346718503683815888032391705719482287385657800466950815494287159793125861235975530406341501624589317985500909176005410934633695297043979366181666860352152281512786045640678095158801409119527607658344594109926284736249921912523644504140490967819681871309025091437834705990801156996529473740913357823616518299870853301173835891745622829343410644244461459768757059388501090649386862258288707772283241642637185231904895463025448326798351741265797182475861266060701*t^15 - 1136909604049339490769936741129212965260854419251622410099579281477958059834657724019215482478637650116644920021903693886059026529562177822416200018328755416783295074999592597297412548280974632381696126949426926340997590138135711602070606656163946407538549297361584002054697790881288646176918435019962271302883854859257721349722686255858654691681303055143932887644244184764592720199759421832047642882055713294957835245365056695387497279376566535519440687681345579621173207766220469848500594696304746231019177970167643700922858241424466540142556400201975554328205275668449718447613518615409998952449370817383062440613813582678353230672608835454225883832741510682181373897667258038286034336286211955190206692053345874946288049935865527300440316989753320721318578552239303941494105362741648874969993098558548172532346461257062072539502271085828774401170164884803834418819509407295795333662337664837149437460480000000/136343965153886231899716888442632086597765995354824540428395929807555569972673086270184997459487826117611793729090021033118102243681652434173200127122928314861922602520108006798589083019248903439982287490616330301441461747486537710801509116308464936659108077561868485299526640626087064290352919138887393333792985201237156137628516424264996360887536420679319193052113244148798090277346718503683815888032391705719482287385657800466950815494287159793125861235975530406341501624589317985500909176005410934633695297043979366181666860352152281512786045640678095158801409119527607658344594109926284736249921912523644504140490967819681871309025091437834705990801156996529473740913357823616518299870853301173835891745622829343410644244461459768757059388501090649386862258288707772283241642637185231904895463025448326798351741265797182475861266060701*t^14 + 3807681202174333073848404181722015940679948538631048270260987425923041361030327656932620928310252633448686538819431561630230972500123087125620948668929608633824200360676143356989272916334955201972922232767831719267714835848981466897690566780741637372238551424734891398291329900254994626481641687352365086806382133155532359345993496171367274878026257125691589184052626866751794691829307383440738104120353193022661149697598817416742296237081410829407178839455764159052114976857733015490440858292048595947192387206571090238291858458732865954367361404576003477201584173693302841501499342802690812579298636249586894600682979207004200447184344045982690492571995280430352460475108428739616519907103485029610701485191235263155125953728923617246591617059843121219131370024796992133450337253443598055762377040061354833520111380045835824365980758435983816158168404142698361599358624900952020372561003058911750562775040000000/136343965153886231899716888442632086597765995354824540428395929807555569972673086270184997459487826117611793729090021033118102243681652434173200127122928314861922602520108006798589083019248903439982287490616330301441461747486537710801509116308464936659108077561868485299526640626087064290352919138887393333792985201237156137628516424264996360887536420679319193052113244148798090277346718503683815888032391705719482287385657800466950815494287159793125861235975530406341501624589317985500909176005410934633695297043979366181666860352152281512786045640678095158801409119527607658344594109926284736249921912523644504140490967819681871309025091437834705990801156996529473740913357823616518299870853301173835891745622829343410644244461459768757059388501090649386862258288707772283241642637185231904895463025448326798351741265797182475861266060701*t^13 - 10671780890530200630104496299756512004194192433196345758981386734442723768353562865505597173760122981191149770276799127728007549472736109206765402961484505750166894221313463492566710694825362443828632860169154000032103079793101376862619237834046490699930843646406387091872905223582582783223613991089227943011795007919103491457604290784358126162321535089277576859011539001902324462610598207502140551631727198079971386818068532785050896841730512902932136977222926628421202411485914560450885724311151961475724125465256676543291357900393541888841609986430534878461967804448891922130497999392940403298449549789553579814852428491737229549460435952464614505991307022645519190789047314256283721601133022564910234212407309007438074559098525558528547313916928898449782533346883912046810811373771943275275708533425200479326457144742294143825517399155524052017901851280223282045029967949224154733852332678005150129848320000000/136343965153886231899716888442632086597765995354824540428395929807555569972673086270184997459487826117611793729090021033118102243681652434173200127122928314861922602520108006798589083019248903439982287490616330301441461747486537710801509116308464936659108077561868485299526640626087064290352919138887393333792985201237156137628516424264996360887536420679319193052113244148798090277346718503683815888032391705719482287385657800466950815494287159793125861235975530406341501624589317985500909176005410934633695297043979366181666860352152281512786045640678095158801409119527607658344594109926284736249921912523644504140490967819681871309025091437834705990801156996529473740913357823616518299870853301173835891745622829343410644244461459768757059388501090649386862258288707772283241642637185231904895463025448326798351741265797182475861266060701*t^12 + 24730563477292499401838845526170122691787457771571586339631466295377556208963172492034368971956455930336514494100424798758652954225674032273559086954604896399285570630318609462725661410590628712478829077843455085695195516130102111433755820501786086293052316576191512277062158193522690339338763092120690798861784610124511228129048050115676690248426940152772218750937219449122597833770197828201316322832502002443185026166743018362949254213382883151924839759974545133265523593754440454600100247407619035353046233342587525011112102514487389310853095635403936621823638249954116185069979637754174384328751666425396912395996519791799685337104157769253993871071461443600833491420436898475005433212805576046711058761826269327527156853261785878187596678524302671545652858045134781817218421263499469608372601334322819628257245127658256491199696210598572960025203389732178766638610973528200676500858325299668342213181440000000/136343965153886231899716888442632086597765995354824540428395929807555569972673086270184997459487826117611793729090021033118102243681652434173200127122928314861922602520108006798589083019248903439982287490616330301441461747486537710801509116308464936659108077561868485299526640626087064290352919138887393333792985201237156137628516424264996360887536420679319193052113244148798090277346718503683815888032391705719482287385657800466950815494287159793125861235975530406341501624589317985500909176005410934633695297043979366181666860352152281512786045640678095158801409119527607658344594109926284736249921912523644504140490967819681871309025091437834705990801156996529473740913357823616518299870853301173835891745622829343410644244461459768757059388501090649386862258288707772283241642637185231904895463025448326798351741265797182475861266060701*t^11 - 46705648014754884943892193215468970856556562599065984346399422619734106392768567758573027378646842407361127087264327835470448027840135996665808432096184951338573691253162288801519897609829210002351725901573772016076652954608770254867560662375697908929294340268052628863185740122261055442141901748103547256174452717490602556061917942703359158363655364605880233434154669993590761490790409025542428607872360290970951677234004168239611000086822704792336211531831705959813468812771229933861252431269014355397927533841445978777386640594152727967416984480014203309024182779841406283397914251060388168971526420455439079886354367644686309174390015877826810042752230255327989504950036235208014865130985333384936433323976794924445660217168492424593947997373126604017028678735111601050581552614740967832524076868346617861559289278053360979567000477502140066985692929203800009431949550677634453662524777780476406000517120000000/136343965153886231899716888442632086597765995354824540428395929807555569972673086270184997459487826117611793729090021033118102243681652434173200127122928314861922602520108006798589083019248903439982287490616330301441461747486537710801509116308464936659108077561868485299526640626087064290352919138887393333792985201237156137628516424264996360887536420679319193052113244148798090277346718503683815888032391705719482287385657800466950815494287159793125861235975530406341501624589317985500909176005410934633695297043979366181666860352152281512786045640678095158801409119527607658344594109926284736249921912523644504140490967819681871309025091437834705990801156996529473740913357823616518299870853301173835891745622829343410644244461459768757059388501090649386862258288707772283241642637185231904895463025448326798351741265797182475861266060701*t^10 + 70625291338416768444681000414540422827079533534424573480593090236391121500768629561537166398281077601161116676467225610121637215713359491891703773554971802154720994350628788386169945754311301884026784464797319090690868095528714792651561747120471128299942691778870269337445970136660394176915956613578315520283295224877054211144823689538688672316028964250427487503012022033528041126137579153419695874281923904889313851065000125667008001657858434197314344972101627203430355465675004822455033480448375679276475778768406125762261457101224285642578616243485278745123618324858816495759595265275943435319066672337775292023674959363049897862226582319479812183747318928780299871594410351168599000294943399478486728552530249561232410685706255469648870327752368081000249327584362058171006089152489933629301128092938794624639789559465108419070006190911718327889643050930069281357033491125101648474370180604152373890252800000000/136343965153886231899716888442632086597765995354824540428395929807555569972673086270184997459487826117611793729090021033118102243681652434173200127122928314861922602520108006798589083019248903439982287490616330301441461747486537710801509116308464936659108077561868485299526640626087064290352919138887393333792985201237156137628516424264996360887536420679319193052113244148798090277346718503683815888032391705719482287385657800466950815494287159793125861235975530406341501624589317985500909176005410934633695297043979366181666860352152281512786045640678095158801409119527607658344594109926284736249921912523644504140490967819681871309025091437834705990801156996529473740913357823616518299870853301173835891745622829343410644244461459768757059388501090649386862258288707772283241642637185231904895463025448326798351741265797182475861266060701*t^9 - 83644316251828678915296499244926010753563486939641475417114416952198997979437340433117760419207380731832654336147199432391868437855788653995735011124878709322471636559634456373817014010445722034255939218695927120014227295548603386995800002283795928051281489479005481458508612438265607193326958311080404338551686217095682372871604238150698750498517841478993270378144573892474690285705191043767101899149441688117390422723390034979457395750026516946221698097980438886789100043108411535304267712450920019321442559907508957015130708577490434831132079936639580562816775284979785962695093043998957848512939670186257366541553119171782054569596847805432489076742607677952992198116057755238561347927988068866269497486740681850722069848300354341676904101919081507480022076573661153763165353582245339657162320828820855959563712566470564362071552604808586462704311676283722909617743932675926643318173643327916454864486400000000/136343965153886231899716888442632086597765995354824540428395929807555569972673086270184997459487826117611793729090021033118102243681652434173200127122928314861922602520108006798589083019248903439982287490616330301441461747486537710801509116308464936659108077561868485299526640626087064290352919138887393333792985201237156137628516424264996360887536420679319193052113244148798090277346718503683815888032391705719482287385657800466950815494287159793125861235975530406341501624589317985500909176005410934633695297043979366181666860352152281512786045640678095158801409119527607658344594109926284736249921912523644504140490967819681871309025091437834705990801156996529473740913357823616518299870853301173835891745622829343410644244461459768757059388501090649386862258288707772283241642637185231904895463025448326798351741265797182475861266060701*t^8 + 75444112284100993154040101168626858621120179217972940971125028192953959165875228846056092137532768593361760778917153982113543752761291395681141973134616642724319799394680810303036364067189939683451007100300932217047632593139896807813784197087493810780668007718033850927234861949032348613173171416863816144961195715503449398011284147948573073656060640223639601517958727194193154254499631866900839797138901189807502726507041466924608905860313855705881417030107290574777939466836771995190066222258288606959988353022883560481291070693432451505488535865003143530488419557219522590335968164675109795742897084077396594523181830595764127841806401703734519342455172333960602282643800977064140947887520300285990427730113512215627664519963252880352477724156750356762337233915164369256718151303189602518577546204365563389598121513510242121762759752732428851851667640909042424021308023748373194821663363632362415141683200000000/136343965153886231899716888442632086597765995354824540428395929807555569972673086270184997459487826117611793729090021033118102243681652434173200127122928314861922602520108006798589083019248903439982287490616330301441461747486537710801509116308464936659108077561868485299526640626087064290352919138887393333792985201237156137628516424264996360887536420679319193052113244148798090277346718503683815888032391705719482287385657800466950815494287159793125861235975530406341501624589317985500909176005410934633695297043979366181666860352152281512786045640678095158801409119527607658344594109926284736249921912523644504140490967819681871309025091437834705990801156996529473740913357823616518299870853301173835891745622829343410644244461459768757059388501090649386862258288707772283241642637185231904895463025448326798351741265797182475861266060701*t^7 - 49966730964340670767622833253806792647119656101930587003989645182313159615363424210897726925987989017094029573622564523875033981106510583804093448189485571195103090028776384573595666463902938554952454807226544487348105417259402064848723096751913934762243912451259575492736541085833585052513949851830160679424521864097555411258763851180028251179361248655157330139871992741294833633853312245818351199967056152872423306367207701369367309127186955240593195277374946232339195375261789416114837200199833517605483333063324266036572400117944441550289771646259488602119216508331171469923833869990164692865949433175616637981993822415930584148924080727858545935549533263911243295620851171274071417694249017122751133951713775432792865990949691234892826827373747568239134328288084715714900182045392057020352709235534355058587706364764566051869408178318877438807671111878987054699446406701958088872409741882249106056806400000000/136343965153886231899716888442632086597765995354824540428395929807555569972673086270184997459487826117611793729090021033118102243681652434173200127122928314861922602520108006798589083019248903439982287490616330301441461747486537710801509116308464936659108077561868485299526640626087064290352919138887393333792985201237156137628516424264996360887536420679319193052113244148798090277346718503683815888032391705719482287385657800466950815494287159793125861235975530406341501624589317985500909176005410934633695297043979366181666860352152281512786045640678095158801409119527607658344594109926284736249921912523644504140490967819681871309025091437834705990801156996529473740913357823616518299870853301173835891745622829343410644244461459768757059388501090649386862258288707772283241642637185231904895463025448326798351741265797182475861266060701*t^6 + 23145447475211015605867538205280591597030243190095942085869063039732573482429713300927127425999139181453737770077414378483583263085290427585052036217878768250435244507459664426748899670179031323031439002445652126522718292013878446585432944333738721528343937237025515455260154698900432544541838540982354455960281776375478042738465490067082460006750171010745424005046318444997297245358221977457383360321372977947766342849400504886944630479937116123585255092896689561396074614855510664779905479481845305718869561944986443318174356442813908469679649360152790332542208620736657062733282302621805160904929907827964451805347714297287121580171389773000806847880157959412437719005073210410474872450426623943776285208796062851949734912652944601435514537804986336698893262865564618614078880816095080421618793112858469442196961952594306239890469118528226126201763137842532624123963739124126293133508841947665332908851200000000/136343965153886231899716888442632086597765995354824540428395929807555569972673086270184997459487826117611793729090021033118102243681652434173200127122928314861922602520108006798589083019248903439982287490616330301441461747486537710801509116308464936659108077561868485299526640626087064290352919138887393333792985201237156137628516424264996360887536420679319193052113244148798090277346718503683815888032391705719482287385657800466950815494287159793125861235975530406341501624589317985500909176005410934633695297043979366181666860352152281512786045640678095158801409119527607658344594109926284736249921912523644504140490967819681871309025091437834705990801156996529473740913357823616518299870853301173835891745622829343410644244461459768757059388501090649386862258288707772283241642637185231904895463025448326798351741265797182475861266060701*t^5 - 7017565994799406776166472943714283790761186461346212732300517540571990558460376310805406628818457133037656373871088041819592228227428056215924793374273498047398552978630128934948362185691540292116396027642630108481995345180125993192142548915324508059752120232564137606891237450768087372770114594469775768019580189738419187898571859379445725818191264496943711307335250188272119080196880158893544847991317877290123450524430870813194633471956305203847061692135672276320390468026006455102816573044939912277945574386300553388130614968009023986323728005088145145563828336408045123204370984511511357701584722597379301969343196211168247153704187861996021084835174694082630316391912865004624499652763341496133806661890916306919901926320910281586865018632489580653972862624281574835800318593197656338057295705954516934494101360679151206689984388865849778191939839678586672431708044377424355654512147074234370228224000000000/136343965153886231899716888442632086597765995354824540428395929807555569972673086270184997459487826117611793729090021033118102243681652434173200127122928314861922602520108006798589083019248903439982287490616330301441461747486537710801509116308464936659108077561868485299526640626087064290352919138887393333792985201237156137628516424264996360887536420679319193052113244148798090277346718503683815888032391705719482287385657800466950815494287159793125861235975530406341501624589317985500909176005410934633695297043979366181666860352152281512786045640678095158801409119527607658344594109926284736249921912523644504140490967819681871309025091437834705990801156996529473740913357823616518299870853301173835891745622829343410644244461459768757059388501090649386862258288707772283241642637185231904895463025448326798351741265797182475861266060701*t^4 + 1272377577471067223954069349577491758798247559937563476507488243273669333808020687903310119792526762627133404294073710464326311132369931213709790469749056710637816173774023429113646186542028070583123743354458969091772705845670031666871870201243142825665835400564278128397269108111461401115684217353169867155602568696142021094495809358258312198208407610283237834491757661339749317140553367136586449210769710772563321809230390609504815129026559075145268366442750270005535547598362930122947783074801755304218012583974700278104542189161447063884668749812651213604548928729198509862871186811606253140671930708951039301874416508268921373684314515676304793686900472226406406927676631645520672627075121133707451895541014316030759073909651187481768944988645370794654285130714785872858509213146090492413659295634479489293951182942919645523698611131009391844818025123895264770747484719246703497244477297108107395072000000000/136343965153886231899716888442632086597765995354824540428395929807555569972673086270184997459487826117611793729090021033118102243681652434173200127122928314861922602520108006798589083019248903439982287490616330301441461747486537710801509116308464936659108077561868485299526640626087064290352919138887393333792985201237156137628516424264996360887536420679319193052113244148798090277346718503683815888032391705719482287385657800466950815494287159793125861235975530406341501624589317985500909176005410934633695297043979366181666860352152281512786045640678095158801409119527607658344594109926284736249921912523644504140490967819681871309025091437834705990801156996529473740913357823616518299870853301173835891745622829343410644244461459768757059388501090649386862258288707772283241642637185231904895463025448326798351741265797182475861266060701*t^3 - 123190331511112429095056533962196150297463687547167584483745924598228801341668573742340875923643463282203781545781880148127509590515465152128578389253388968189608922935278352979978332635854699548844431969873528255655609684876139016911384402167739787746026452790782875765714648084379558063803236903439615196863815594257703861947968975668772306875920978631433544553170450617833237681494990152049727764535282482190782951648149357206202695900720846804659070796704848231056143508062646316272355537334261049993338614180837742926307297975376237374676465466168695850000532653241599552573513173138186805315324596098453238455759032587625187405928716366080832111615877096329047422120545543881838392407681886116604798419540870600622644208914799921593904680432946468929245871639191665702457103300436871215806338791455974404840106619922526688565041439224666023611369868712720650724662874054902137073341712401166237696000000000/136343965153886231899716888442632086597765995354824540428395929807555569972673086270184997459487826117611793729090021033118102243681652434173200127122928314861922602520108006798589083019248903439982287490616330301441461747486537710801509116308464936659108077561868485299526640626087064290352919138887393333792985201237156137628516424264996360887536420679319193052113244148798090277346718503683815888032391705719482287385657800466950815494287159793125861235975530406341501624589317985500909176005410934633695297043979366181666860352152281512786045640678095158801409119527607658344594109926284736249921912523644504140490967819681871309025091437834705990801156996529473740913357823616518299870853301173835891745622829343410644244461459768757059388501090649386862258288707772283241642637185231904895463025448326798351741265797182475861266060701*t^2 + 5745995105840101915234730203348742242926828243099113637587288294174485384238984600482880654406230292397431033787889288354296112887602848607887005442406829288587158083924885059892029544810510789879833072497718988918123288487352172827840248144507468222300039802355441177538606446391178011467206531661065535528182158922538269681152601506314140200899354307835726286905769493913815452070303561141958081454927030404122056027082915275736766060730738855249439609468786241182575911868483323748926040568080629743957036637851318345354417288504653911736863414746106389175216634913036378311339920505445916120113895229454806170570743184391624702150523833827773626837556418471157775414242559880116179626609386658014279277839005449997290959438546669782257860865911182161228057449146903274568125277362124399461890541255372382861120295814777779410926781284325408889552237552760557914916944514689935633876400142760804352000000000/136343965153886231899716888442632086597765995354824540428395929807555569972673086270184997459487826117611793729090021033118102243681652434173200127122928314861922602520108006798589083019248903439982287490616330301441461747486537710801509116308464936659108077561868485299526640626087064290352919138887393333792985201237156137628516424264996360887536420679319193052113244148798090277346718503683815888032391705719482287385657800466950815494287159793125861235975530406341501624589317985500909176005410934633695297043979366181666860352152281512786045640678095158801409119527607658344594109926284736249921912523644504140490967819681871309025091437834705990801156996529473740913357823616518299870853301173835891745622829343410644244461459768757059388501090649386862258288707772283241642637185231904895463025448326798351741265797182475861266060701*t - 101189300714854619416370986889352981475868940797082815922652675688206562933352500782531067667157890869187809886066984481829773157812311052964756573135234831687392524741020047253527255469980568268614920325128303730828073454145243166636412146717949940495472967117610456434511383405165364261524024256227193559632033920961318521507306878070306216629869698291288722482928476795427263612631969422514286568838621961854488726076565693768264450839262589587935704971672228440708887580805778666128175947276940056192155352447614500103375608738218441838708281212252058790797501611030342137078916259390732557933877763011424155483072275057186084705964818594990088988200721012414569255278682706632661057115816486512298179283303206481390491191386921248876141673726897011869129055392433262293129774343955406510389494131406635962837637557095487493514953686696924775704309278823524447964394393182870380615123596356878336000000000/136343965153886231899716888442632086597765995354824540428395929807555569972673086270184997459487826117611793729090021033118102243681652434173200127122928314861922602520108006798589083019248903439982287490616330301441461747486537710801509116308464936659108077561868485299526640626087064290352919138887393333792985201237156137628516424264996360887536420679319193052113244148798090277346718503683815888032391705719482287385657800466950815494287159793125861235975530406341501624589317985500909176005410934633695297043979366181666860352152281512786045640678095158801409119527607658344594109926284736249921912523644504140490967819681871309025091437834705990801156996529473740913357823616518299870853301173835891745622829343410644244461459768757059388501090649386862258288707772283241642637185231904895463025448326798351741265797182475861266060701
-------------------------------------------------
Computing nodes and weights
  current precision for roots: 53
  current precision for roots: 106
  current precision for roots: 212
 current precision for weights: 53
Linear system for weights solvable: 0
  current precision for roots: 106
  current precision for roots: 212
 current precision for weights: 106
Linear system for weights solvable: 0
  current precision for roots: 212
  current precision for roots: 424
  current precision for 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 weights: 848
Linear system for weights solvable: 1
Sufficient bits for target precision reached
Positive weights:   54 out of 56
Indefinite weights: 0 out of 56
Negative weights:   2 out of 56
Extension rule has valid weights: 0
**************************************
*** EXTENSION WITH INVALID WEIGHTS ***
**************************************
