Starting with polynomial:
P : 4*t^2 - 2
Extension levels are: 2 3 4 18 98
-------------------------------------------------
Trying to find an order 3 Kronrod extension for:
P1 : 4*t^2 - 2
Solvable: 1
-------------------------------------------------
Trying to find an order 4 Kronrod extension for:
P2 : 4*t^5 - 14*t^3 + 6*t
Solvable: 1
-------------------------------------------------
Trying to find an order 18 Kronrod extension for:
P3 : 4*t^9 - 142/3*t^7 + 1399/9*t^5 - 2965/18*t^3 + 295/6*t
Solvable: 1
-------------------------------------------------
Trying to find an order 98 Kronrod extension for:
P4 : 4*t^27 - 8054880965040595537504108712022329/1308210241253142446361111433731*t^25 + 38318532686490862474726678493408987389/54944830132631982747166680216702*t^23 - 3709235259758805845518111914465376906699/109889660265263965494333360433404*t^21 + 65453924789021995893651495904258813923893/73259773510175976996222240288936*t^19 - 43255743556930569928321216757676028801511/3052490562923999041509260012039*t^17 + 6823477816157005987362812950159827283444729/48839849006783984664148160192624*t^15 - 12043632963166837691018952653624243452039725/13954242573366852761185188626464*t^13 + 46042208177338761495372292691268263221146285/13954242573366852761185188626464*t^11 - 844353751622751312357970658347724980970739555/111633940586934822089481509011712*t^9 + 2195390217545643743067297557248776952554001455/223267881173869644178963018023424*t^7 - 2933303286161246373455525132291856194622316065/446535762347739288357926036046848*t^5 + 1644110385427518271189164617717505558924272025/893071524695478576715852072093696*t^3 - 111889442686943409393747161516766198799180725/893071524695478576715852072093696*t
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : 4*t^125 - 190960800886915204842388678156048232365619967814403116823204816357178564400442494073742046752558361729086385442862856343360005430474650371530555156597433243944165636444887228794024524028044504035108782838946554477282246044823078780868201980541073060362601919575482586745020793219208101647383226783458767429230744573735569767481157006559525436656194720582575993196993896412798281195726060347605505368851503343902228280563470785444961014545869548887382326956342963691280944147317019577101262987058376470897399605368687579325958573514119579743672020756039523638181643801483536558302906290636724494288863747530592826189860029460347023137365851055204340014613579204917696772987190528149858353932676817616738638922093791127481088074715288500637428771844934018859976673115838719510992455500242940409582419594063348469215995705047295835294903326457190847464437763557948515796573790274260110585330562858869410070009265259821232740971638473053855258285120237793114048108663370543745657198011395806672344150085925906497229297237843609447989474490379111820226442452416698230367378690809867269703913834145971403455709121790626886152659690594522717957738736541379260766175780484788446511095381449185424658334563036503904581220093880730925250152540354194572153978553736371244399721223662524146859510879145904956325518959142509366412828487059272935621436898149230533133340922089693436153213799432766853738997305855054338634208071773283774017633110626720388695182843857662365365805505038528954691326310098225573816065981765130912052665947545637251367990266964189174040747928302421268702546474726518886445523348598704060597366660339607997512490673035532128288643481813031562845546630225694606622755824582772813733627259111806299440601002737701000171929426937023393365652079352225879890337690640507088104258779314666238079729886254903060972868406708415990873824998560384811229709329168476639609688868407069892719034080269934028651985078736995249273601747275627052015553116403935563432446753765389043064720582609630429679242822068430129710785730499117337558899077676026934848370354902158866877414992370759536331417447880670656537521441307227320378027515574381088904309290898821669974909260897683409701974486176084912881996255943105379545908248971/10496175115449076853083190687274498647118896365398527385271926550402451996456589798745449008356010667120699299196382683544441915714787606919550803580793527899801770627954414649879648633008862490714400177220993818775778140762991782065342250813700834761203529267082689758449338205582585282733241961562363844050261834505584659758782633007550284248331598702744419079485521067813804556182618807958751571506767096362869763513879719407574739665592724727102464622867197739624612413892374839273371805017498321524129518008006237966355171708040044724087298418516196586353750055109992893232492686718804950087519050126232537806795751151582523991172501133202695768239083575808030380571049376689062709442669675223194245205047070781941020494613715242827910030250377825204438683068867283206432350219975051879236213094004849532697325424386070581567250437493279139361954226691785659479269363612957208215295977709341479696243592259580513341445810758224880359630834564514130784118302250833609790790016707217917464068979877553832482201281583254777189493068616020930864727357302167943967167291809239072997158607286823233401615788291986504359395957694547118702778330326062663085702467621853876758071559893206785156398392270012070310011719717046355969871994787869652030773344049462619781277495630845532273424243768310433861247476635105717015996458681266209282367258491936628655544646277256064764203202659988868103804857777948383480527047343216132836206520747889794476782317617200812810777209832229805120197315033874729677052134409217444747749503902502708816509926890477537874165648709844315274945314945878353024475274042759034114991821022167029484237168354749919852430055600194622800968259768509497316987244707849116921918618079488552595017230734850019904835049645645106456800104419169291927567234582667074023338689761354969014896825490082169736904556742211883187651521655867000162723779879475940766141537519704794895223766261808843606708180485375931106671918491296584112162442089802361936963828372676770686773717621998979754525862956594459760804882828076058539273347823483803476288180595197390135734854270711056065223368000444476766492821109594070979760716137593484351176032296657041927860785088243201491249434822945650828889814140438818756486044*t^123 + 32324972000885949966647704924405027034209920902737474933834389143130625478549979105921832556657379211192012988666580596029404206618678072133337248105708121797074547864875184631619660141186745155371122615230742312429967436992387074041164561101199144813079987528584937681129497020359362813568899877458691408378665945460037543033917345021804802691702111755723035543564724834920112480177382630731957946785799820475535650134218962909788741832729656559326427366604434361416516605038190944512304710188120743596773737927436228064509160622247828024842246660471418622679095232816556165031732662549673855135178656881940297573518491351273510993266037018256777171042970016284537774802356158501607594226693423586387045800320329665145530771708552038498471529090718099829289651112791193928825173220234300614933837494706582749538487305246003025080002039733199355745831794649866546943293299539749747462364748204744384523618675602036372624454950979599130535802010966610483595666480231517484090472710158875880948007008167869302490132915082297230864411235954329695907926463786147381031189287531499903242326956547906640528104485373828984700029242579838901201235925700946074217104499635381966835285393924433068641339190771930447177831949153102886879829175282555998365557113602651447882657903682161717968232397861071535717031364699715025111223264383332278423961423015411506988980038827903311234085221840185709356374340831499437658197310438370148522735638480725872314098201114493530571062466063396451648837739629132697323484107662485166537978997275883078102268161944624115828996272086389910308449444158857207290368800250573483801619196936987597084721170610254836113176822895984586154785299493310039230562294863300611621428853854751012230993252503352667289410097656248765303607092749073376831593956879432091153561748129609546278517740004790542817097924324049554242335531355039325320303280319935334556655468110551770861755358073204677880290329706266226844534386730631154187632339049068453559292384101839634403407985468897899045538303638793832681263082977516927619247262579924653579152223797813630867287615931096236390107626730901723337323218907823524777299892367755130566604448258405504495325195375413315390382911949062474318283800113338823111247929301959969/881678709697722455658988017731057886357987294693476300362841830233805967702353543094617716701904896038138741132496145417733120920042158981242267500786656343583348732748170830589890485172744449220009614886563480777165363824091309693488749068350870119941096458434945939709744409268937163749592324771238562900221994098469111419737741172634223876859854291030531202676783769696359582719339979868535132006568436094481060135165896430236278131909788877076607028320844610128467442766959486498963231621469859008026879512672523989173834423475363756823333067155360513253715004629239403031529385684379615807351600210603533175770843096732932015258490095189026444532083020367874551967968147641881267593184252718748316597223953945683045721547552080397544442541031737317172849377784851789340317418477904357855841899896407360746575335648429928851649036749435447706404155042109995396258626543488405490084862127584684294484461749804763120681448103690889950208990103419186985865937389070023222426361403406305066981794309714521928504907652993401283917417763745758192637098013382107293242052511976082131761323012093151605735726216526866366189260446341957971033379747389263699199007280235725647678011031029369953137464950681013906040984456231893901469247562181050770584960900154860061627309632991024710967636476538076444344788037348880229343702529226361579718849713322676807065750287289509440193069023439064920719608053347664212364271976830155158241347742822742736049714679844868276105285625907303630096574462845477292872379290374265358810958327810227540586833858800113181429914491626922483095406455453781654055923019591758865659312965862030476675922141798993267604124670416348315281333820554797774626928555459325821441163918677038417981447381727401672006144170234188942371208771210220521915647704944034217960449939953817397251333341166902257899982766345798187762727819092828013668797509875979024355889151655202771198796365991942862963487160771578212960441153268913065421645135543398402704961583304848737688992280247914299380172488353934619907610157558388917298961217172639492008207169996580771401727758739728709478762912037336048385396973205901962299900155557852685498786712919191521940305947412428925264952525127434669626744387796860775544827696*t^121 - 10277748183131065264998699981411839926413524890953667319821892974726780067574794858069056996023441348600006029347813283054000684749845273614720213490379905808339737105295807661948152057252535172754312329250352175545891271818820644721364410260935776869665327106892678499660366494646858679038935602379824459242325466456878120949538580325381429993087496622108934784131709281053782574988718834409480151724668964134818428448086770735451293934330050785067766558910813532207660857271345923186296376727328758888669885101979304772249889926429194047504286870455094508876538518222448766179210897807624268788059068670566969010940112012475934898288681239201446665629619552903978400950077148443257729863211275751580307755494654154335508172983509556472087552116134585315526103489527785235398436893473129826260153126038068557841927244988318741571997608569990392412165153877832417559093998840412019057275070543727856280930236269342907273953110982235311412599993209986351001781817908644962231056545349092916135291849965799315003936711639184376190473854085830655575313381288406144702332059165633686384791576663395270631227137675213338161823436985038403939104503896499100359775146021197095145220323033787861650750492126176495218613502659620344156055716937011344271137136365157947861974690404035372787276445335385253809762163903416732657978285716348604283391984416003896278299529440635140670956026213851585103631600125677094439445815072985193639754317436577901736950570386451843966923060480235992938974068948672759811790129705669064809250539602652958052944735667819719606304303880863988980225345725466394099778256381058278693386256052322848637124822546976580566545824954071332856271529817771007492920902636032278032898558830516999341732403986003922112058688695679413131997925116723377992978551549142935535301147502145501196948281004751780411844844659428886927236944656433016471105281039945338068922638116575857750493066318975246596646160176315997542549537932300155078841224625090714011609599112817427227364825722479670157610324139145717845191122838376985754723441565840032444200687117520031547545594252149012157997473971730541219808263910308482325175981370194374564811702827914538748301087733833385245724950831323047436725212448687716532672659155102604199841/227473107102012393560018908574612934680360722030916885493613192200321939667207214118411370909091463177839795212184005517775145197370877017160505015202957336644503973049028074292191745174568067898762480640733378040508663866615557900920097259634524490944802886276216052445114057591385788247394819790979549228257274477405030746292337222539629760229842407085877050290610212581660772341589714806082064057694656512376113514872801279000959758032725530285764613306777909413144600233875547516732513758339223624070934914269511189206849281256643849260419931326083012419458471194343765982134581506569940878296712854335711559348877518957096459936690444558768822689277419254911634407735782091605367039041537201437065682083780117986225796159268436742566466175586188227830595139468491761649801893967299324326807210173273099072616436597294921643725451481354345508252272000864378812234725648220008616441894428916848547976991131449628885135813610752249607153919446682150242353411846380065991386001242078826707281302931906346657554266174472297531250693783046405613700371287452583681656449548089829189994421337120033114279817363863931522476829195156225156526611974826430034393343878300817217100926846005577447909465957275701587758573989707828626579065871042711098810919912239953895899845885311684375429650210946823722640955313636011099170675252540401287567463226037250616222963574120693435569811808047278749545658877763697366789982170022180030826267717648267625900826387399976015235163691484084336564916211414133141561073856916560462573227248575038705471403135570429200808917938839746000638614865507075666746428139054673787340102745192403862982387912584140263041864164967417865342584125703137825853747567308506061931820291018675911839213424485669631377585195920420747131771862972236894654237107875560828233796084508084888490844002021060782538195553717215932442783777325949627526549757548002588283819401127042314969289462425921258644579687479067178943793817543379570878784444970196787897880088492650974323760008303961889240084501995315131936163420650064340663131994030540988938117449859117839021645761754850007045520831305632700483432419087122706273374240133925992858686971933151412660598934432406662718357751482878144763700052051590080090565545568*t^119 + 88606202559981658969070892284889266090020335656386515054087126973912344259409980529105411746840526885530706093133334937935333196091656261539760998370156298873109403453484915901156857510268722569553699718674448525813651871391921404979163424715311360281518218572502826374089718094395201532573603007360078753621351477185732617566180949401996764537167215267766498689858222481467713425460160552778430640082902158507862836276981242925908291843797248645718914209785257710408592760867298567188724640688437153718582801693647981238990626325159523048454679175828624690255740073597950164105307864296323558050538019741380254561487480133210846210072702084239470409822406583483471958863650106515801933866425362413311625087909421600212414933818363842064100225661724565820338327691152610531775591988714939006960368050961763364127052822855733813066860164932039081469573033119708016301599887638469566366256732350913907278588192937067439493543194149782078916546922556090329702420889352845129174065857827223359392056419401802367417495882844338760043579771781460722327197243873429390870298315989075724623270058571191986900000307686490286748438535298289711060857412107617530784013413055265923530072139931488923165555551248682562788697609687878898506076486698265193964880974261119741824600439612673505574111728513545211502457879611953958363888271113030812199235012441709050670265824429186008077406060538349503309516658496513847737313296842781467455319242332617860350206244124530150180180261000546954405368559689123529096665131164256499219488235109552230049996665134245216626794465661380379171290403052262319369012665922095627345801157775294435631790802492510522371569014590795145906566567863517009775708376805165157499718801648167221591229215834888422751438573436107292228236471797879902585115351871613645047338567949455539971115385246114380451967294601464879382427133873353224719612200377317285453870824229507678979096368505067270506240621412755237427829944822960421249245812906434682052505111338657359076447627624059906535345800284268773612576511981735120120273766127444485822310310179970401762095322636795421257384741209184740419231797864997587359271982463834374039288214565087884026815975161921429261444514566526130273350147224332270877469241143665841831180283/2274731071020123935600189085746129346803607220309168854936131922003219396672072141184113709090914631778397952121840055177751451973708770171605050152029573366445039730490280742921917451745680678987624806407333780405086638666155579009200972596345244909448028862762160524451140575913857882473948197909795492282572744774050307462923372225396297602298424070858770502906102125816607723415897148060820640576946565123761135148728012790009597580327255302857646133067779094131446002338755475167325137583392236240709349142695111892068492812566438492604199313260830124194584711943437659821345815065699408782967128543357115593488775189570964599366904445587688226892774192549116344077357820916053670390415372014370656820837801179862257961592684367425664661755861882278305951394684917616498018939672993243268072101732730990726164365972949216437254514813543455082522720008643788122347256482200086164418944289168485479769911314496288851358136107522496071539194466821502423534118463800659913860012420788267072813029319063466575542661744722975312506937830464056137003712874525836816564495480898291899944213371200331142798173638639315224768291951562251565266119748264300343933438783008172171009268460055774479094659572757015877585739897078286265790658710427110988109199122399538958998458853116843754296502109468237226409553136360110991706752525404012875674632260372506162229635741206934355698118080472787495456588777636973667899821700221800308262677176482676259008263873999760152351636914840843365649162114141331415610738569165604625732272485750387054714031355704292008089179388397460006386148655070756667464281390546737873401027451924038629823879125841402630418641649674178653425841257031378258537475673085060619318202910186759118392134244856696313775851959204207471317718629722368946542371078755608282337960845080848884908440020210607825381955537172159324427837773259496275265497575480025882838194011270423149692894624259212586445796874790671789437938175433795708787844449701967878978800884926509743237600083039618892400845019953151319361634206500643406631319940305409889381174498591178390216457617548500070455208313056327004834324190871227062733742401339259928586869719331514126605989344324066627183577514828781447637000520515900800905655455680*t^117 - 115053199727883588770968490733894826400190360685161023988799595360560364658239781945356022436268094815999044869870316161114040725908628764308511571182941829903494628203822286687792851955188637257410514201229106112173379040592273473816683973990324310186911748265770719605544560141629062125250556767946439686585164829354155994674750432728151340556640350417184632523922532892670742243318811747179409885278675779260751578831445158153706833242129291855893230698133971721459356762984217073325104724784151447500721562320331890501548059777034293272739115834508086095944576660305517853022180181192213905326033959307348558583119992108163396153759101640364505425577208673416163817472727192212487710805301961782868155129755444370659575472168497254510875764672792331152752429240884171752330897349246160880365866534895494263868063867263511778618898504623425894341894624792681268235834274612846797482665793568437724600275315648081654631053251928762907095671961848653063502760767541077693145832351754101934635435206219854994997307431492221626811809459711784445596174039005890111149455241183755221221431171139294242134116123195665872360587574843208901615793627560297407064928375951225041038619298790192750800675379273420581523076393202599930032143966880181600501046430202219265225755922983998128791388026223939893058542646883493105701708229517990524027772880762109988503085411188506394556710003476810863547330499316226660634824124376509711937882257942104021346209988942031104911581289783781453168681923070925794442218231245784215915455755399490450328411677505574877212180982274434592626304247265754628440127238143581508842935376293204702139827447663602916134972092746666082416038640298177894516364043901042760258786861032454572673909239880033983536266483740923308111536689904727573548733768084456866445886256295327916942586896751591428733061628231980026619015607084441883385202423032565478933541854913275366797271523266511325131091029747634248324879599032079721744486597465654887355033662500121047997234512122806537308899168648893095457321861346315467733628367133561611769491700777649649455164253852127471001658532963019759095125903193521217780000127585059380428740268251347245413946253945589102943198976033719399179119753631904968038400606250318663698640187871/4549462142040247871200378171492258693607214440618337709872263844006438793344144282368227418181829263556795904243680110355502903947417540343210100304059146732890079460980561485843834903491361357975249612814667560810173277332311158018401945192690489818896057725524321048902281151827715764947896395819590984565145489548100614925846744450792595204596848141717541005812204251633215446831794296121641281153893130247522270297456025580019195160654510605715292266135558188262892004677510950334650275166784472481418698285390223784136985625132876985208398626521660248389169423886875319642691630131398817565934257086714231186977550379141929198733808891175376453785548385098232688154715641832107340780830744028741313641675602359724515923185368734851329323511723764556611902789369835232996037879345986486536144203465461981452328731945898432874509029627086910165045440017287576244694512964400172328837888578336970959539822628992577702716272215044992143078388933643004847068236927601319827720024841576534145626058638126933151085323489445950625013875660928112274007425749051673633128990961796583799888426742400662285596347277278630449536583903124503130532239496528600687866877566016344342018536920111548958189319145514031755171479794156572531581317420854221976218398244799077917996917706233687508593004218936474452819106272720221983413505050808025751349264520745012324459271482413868711396236160945574990913177555273947335799643400443600616525354352965352518016527747999520304703273829681686731298324228282662831221477138331209251464544971500774109428062711408584016178358776794920012772297310141513334928562781093475746802054903848077259647758251682805260837283299348357306851682514062756517074951346170121238636405820373518236784268489713392627551703918408414942635437259444737893084742157511216564675921690161697769816880040421215650763911074344318648855675546518992550530995150960051765676388022540846299385789248518425172891593749581343578875876350867591417575688899403935757957601769853019486475200166079237784801690039906302638723268413001286813262639880610819778762348997182356780432915235097000140910416626112654009668648381742454125467484802678519857173739438663028253211978688648133254367155029657562895274001041031801601811310911360*t^115 + 7335111613336829098694093317033397947941787568732077270752299598850680240291862722476066468141035232061423533067462831293608618981151560235393666168964750564982744687298295079612013945652105566866369385125462236563192117988549325117848642470542889751010372381612518974570981766954215667065602455930532913650913586134862236668061274639205869600422688101045540996305945115741870180403482863574670250511450083085557326342835043536759488807437100467980526590324289287517213867328908706878282794808121532380617161975319913728556148353447198379189629944352815760746566965252118988752416920555911272946294821966118226438475259036337866124099940542186426597292768393482757219043332307445298470948672749303100543979240974032643103494270524595154793663801965274945625544588705013882871889004089477251903681697699224789913644711518704003124444995668254657403496604728460025266739973072839648082497279897163749394254786470006311305709167755178543070127977019107985764972191560454096991230705638111583632843877802198477217155980656266360483817043167531812753757036677485726733296961020553948968236869580322727145685205492768381745262649232183931198301540422303711148442892366367724662307768212897671138714721544774524446242484256579072460752373054072608055154808992161782696820183431368734860563238400238948107292450796892519943323200337158126745653163720713362392444189847091090992386608373688827169746249401594801648764266934852710267181031753740465151539382538103617984258766507840536128440774196248884129140854851561133322368264598435888927983466520721607313857259191013166890871147634869836710325781717487346751475041532115325423452462710430520591517424090090918788581412494166264370150540091811968459363704570174566812479161047390707513766860110315493567937347842712815374983508725020404680076025156768118075718855644061727052486255177336633932450364484990548185788222129228315633921803314551584686852927151360695147525222129313722112282915611464043648698475323017300893974103593911636850233792444661376290512206378041609784932642358781894367259022938403775370839041271078759082656798347826144476290794791101012243645639806329865518198275942940510715833218502956965700287901769967405969135475602542112635775236914045157913137654585970609243007626656484971/566408036684010859964447082350786207354098197856983044879096848578801629771345963154844313563637743312821090078338173739260111541453483772729657487855363768244814892892079904987557445484674489067918576795426111320866573027872739173291042176489965982452559186827777970588334003402550612736013101279539077578360613448738526558267919684123678102972307593643833855223619429328335323130558389867144339503659694715816522652033275184712389797501486570411553887133876994438730054582350113316663959258264666823936627936531082861125054710329043184658445629001946700924451593273915977295515107951359152786958815007295921782778705022203170185242359206951334368496300773944729969675262097408097363927213427631578293548388612493785702232436578407488990500777209608687298181897276544486508006715978575317573749953331450016690814927127264354892876374188572320315548157282152303242464466864067821454940317128002952884462707917309575923988175890773101521813259422238554103459995497486364318551143092776278501130444300446803177310122774436020852814227519785549978113924505756933367324559374743674683086109129428882454556745236021189490967304695939000639751263817317810785639426256969034870581307846553887845294570233616496953518849234372493280181874018896350636039190581477485200790616254426094094819829025257591069375978730953667636934981378825599206042983432832754034395179299560526654568831402037724086368690605631606443307055603355228276757406616944186388493057704625940277935557591795369998046641366421191522487073903722235551807335848951846376623793807570368710014205667710967541590151015112618410198606066246137730476855835529085618826145902334509254974241770768870484703034473000813186375831442598180094210232524636503020479641426969317382130187137841847660358111938800869867689050398610146462302152250425131372342201565032441348520106928755867671782531605541614572541108896294526444826710308806335364273530761440543934025003421822877275570046605683015131488173267975790001865721420346700926066162420676865104207810409968334678521046917418660208251198665136047062455912450149203419163897946769576517543346869951025424203746723526935538620701857933475722218130560113547017524891346736692590168710801192366580461613129608459299425508208464320*t^113 - 71635947501529918324723692960865755401125931566002964777795330311202924142470532937998636377172003809404821767485911652999475828505518887563750636298555897964106236738784425407788336838671058308580205264185758331677558074753309442428974461330962066575778170163207600206289590917592344592674753024387639579911382874947971567589182620832098156436968840416432200428175652895378770871648427429298509901198218117665934244378292182969442140887671075924969862609003703599712831745147982987151678204283458677635803105165492289002845389450383682406594720775062451497917411977589972987234719167266093306168205139812530645332981128154433640412069411019108775787316818144810567614913410415168160628391042262638983245536286889764629266893574651801980566873267100545025493929955811470862767491189186122298411378817329364832405877209869089623865240389361770448834630179582623726610674951663133029270255301884580549226560759597175207424002027017337170155988310836915679415541689851213067659567894709740542808393460097501008431520931765550524383268029480683533085533584921546807080796907596717279886509588475833434484782780019258551959459446950783974033251688494122393698131185755202691918789295355403846689805282463388381749423548292066499937130188199561797114935143204375771212619673140758490645326490190194014892606872023451552221214172330381172021229182138281443940312229798225243592178503714777368387503043425158709315077352167858080907250108387196499420669543348242619696540674400326940251345179381380430741017276902046307245411359712008235892727129897410005100635801870871763496253893939671096182060808686545163495114331834612721946147770805778826888590940829287665040060722295260221537514938342491171067314627610379592333878030468307045431515162888816977510789933423487829722856701222310704236807653553448994867013570203713210443692104013670850758843301664086144549966057042142263717854923742498415203587421647766566804834115749359717867321231306458527440271257025935378121894894837311153692189053695623369890673751019339584135800489973582252923303601033316625080724407341303399705440932555766664537499611360288913027031243064920516418974683066492210999293796991823673006322927030147382447947226012794550549218653800945179199136926617559948545502447044341435361/13270131145168254433452760215075562572296014921220745622881697595274781040357248279627781060633798557614665538978208641891236898971195905532523404001182808284592806062043014916851345865640945172448378084921411750946016853795875603488532988134907774446031386662822226739498110936859757212672306944263486960407305800799016907936562689742326172698208349336798393179524798058549570427630225134030238811228598561913415673561922447184690275255749113935356405355707975298278818421643631226276127045479343622732229568798728227032072710356280440326283583308045608421658580185274602896637782529146128722437320808742361596053672517663045701482820987134288405204770475275276530718106140567846852526294714590225548591705104635568693595159942694118313491732494625117816700261593336185112473300202926621726013570335193971819613378292695907743204532195275122933107128256324711104537738937958160388372887429856069181864554871205538635933437263726684092796767792178160410423919894512537678320341066745044239169341837896182245868408590715358202837361901892118599487240516992019581748746819636851806860874556746619531792472316958210725216948281447713729274172466577160138406409415163274531253619212404976800946901359759015071482441610633869842564261048442714500615775322194615367561380152246554204507207422877463562196808644553771641779619563732485467113007040426367380234401343589703767335612621419169535737780751331940493814622445564322491055459240739835223958980209079807743654490206436348668525664169156153629955411445744349518642343297032586115109471740634505781206047104214942668117254966639781345610367342123480941114029193860967148783926846854694216830825092915156394213042521938876194652233765226585933635782590577198070765523027717566864381335812943723288042675765423334665471572037910294859973936138438531649294874436666474340165328219473708899738905026186974969985248836998900333850225784377748428534408434982321315025728651596993124741926806190287783080580059421147080043711187562408421696407233855857982441440129604972412468207384922380039164742368726044531177538520260638480106125609038601506982444126667424024224202066094059632619113586385870002634824773122660244410583168694973940683952653056506874170814936179398189300826192312592640*t^111 + 16578505849339809317929594720071263658118187049603911959212057782246565703415580788078559715003840832799048475300703709446045961391807257165313570496861232532526271359840802816977984894347771847327793997824081847310802741614648540929542626158305733620520181762230451135164503427426370940548618774239239579983228545311603464173737675512925459424035251590986073907350146080300986535239036978672094430407228823162283535825939201705248488778165570064417650675649892720855909908303830677853245386493002768519287703909272319026667920196216649036222925187945574883908599527341843341523652942108592408680492981692446302451451253660720289889342404344197931847692645825248154111749721263514603442157719664920747446847317546678724796086765312262475921620058920494303857622600505747818108628056349186057441755429183675631940440141670534154835092037845720902931305197654391982982032293669993295356035757255144370211640801567176802868740105520600733874387008553871079900365942815861271881793494315298751513893319783402012079102829991457612241923484950529120849379984562351027058686039262338626561786830399971436943945697686104683396658197387261922956679674654391400692108564493770251588158024983875585251376627583304966387943645354978571584672093515346794026390668031529868184039103099946111649294164926645309125222677654025679866249912316215958775970558435095335285415426097518400031830465670974129550295431417743645563721953547057966035112367714668144710057912437444117295951641394587844594618923630478526372782784818508648805702555386409233065275334516012357953196626449935971337372398911870854226480500917809656686389008818937496059273813657813508492135103879999752975432185271126200305904480486976654269117740376630631211771300477593113694280319847355690038694448871093143409444005301055304146419454846309253046155577760957453688315190832379462090813321749561728951797466854543327903934472339970512185143335049943339753914304816322284653154662611818636346863492979658862594387423948377302288902044021253164770384607024563579974963061842911598191590898214741348713676965338672329827585525875909103301550877058404931345907307339827835269796251541064397570979288383584098996135860340425255411543944383994222270479260283682429996171216577748930468654798040237579338897/8846754096778836288968506810050375048197343280813830415254465063516520693571498853085187373755865705076443692652139094594157932647463937021682269334121872189728537374695343277900897243760630114965585389947607833964011235863917068992355325423271849630687591108548151159665407291239838141781537962842324640271537200532677938624375126494884115132138899557865595453016532039033046951753483422686825874152399041275610449041281631456460183503832742623570936903805316865519212281095754150850751363652895748488153045865818818021381806904186960217522388872030405614439053456849735264425188352764085814958213872494907730702448345108697134321880658089525603469846983516851020478737427045231235017529809726817032394470069757045795730106628462745542327821663083411877800174395557456741648866801951081150675713556795981213075585528463938495469688130183415288738085504216474069691825958638773592248591619904046121243036580803692423955624842484456061864511861452106940282613263008358452213560711163362826112894558597454830578939060476905468558241267928079066324827011328013054499164546424567871240583037831079687861648211305473816811298854298475819516114977718106758937606276775516354169079474936651200631267573172676714321627740422579895042840698961809667077183548129743578374253434831036136338138281918309041464539096369181094519746375821656978075338026950911586822934229059802511557075080946113023825187167554626995876414963709548327370306160493223482639320139386538495769660137624232445683776112770769086636940963829566345761562198021724076739647827089670520804031402809961778744836644426520897073578228082320627409352795907311432522617897903129477887216728610104262808695014625917463101489176817723955757188393718132047177015351811711242920890541962482192028450510282223110314381358606863239982624092292354432863249624444316226776885479649139266492603350791316646656832557999266889233483856251832285689605623321547543350485767731328749827951204126858522053720039614098053362474125041605614464271489237238654960960086403314941645471589948253359443161579150696354118359013507092320070750406025734337988296084444949349482801377396039755079409057590580001756549848748440162940388779129982627122635102037671249447209957452932126200550794875061760*t^109 - 1020419200132083896180332727941894836320988369230072649095995606102594182414669281572772567979443796489943784708847182444165887165200026711349622124103199312759034260686566930794611640671384216452311729714606095962498875864566791412055285756298105576770117867850875791365437453572997968987438993456847577483960178658649062903516261520860214605884987745151140824054248717867444133433061569398605001799316815026643620004907372417174674718412729489380743970282575868696728555600624533214916265234050397571920835099309790493910687327980603368622783159221004354696951950283455323510437542714418446351986651829789365919654842837712163925787217096574106115912221187495812829906866098450441085300451720153212821927361581487421845222803952818040740225392524690275838410044636559955225645824275796142429724153769648537086046445501600145628439576032603709010057793732254821511359787032465357623261157045049164605106541072957448001051710718216759767528104919668263690092468287508461347473605381021923858942275370256488973003981133266399054695000313655306742552147253592982086320903898143444846179514284592977591572783222536499145878250945552666926842855322237012142574532712896114406733455160261146608546923280811970009217681083176350914724086757503276968326437025583529638130072897431596911044690406359794735657075501004109877963148231960113562273632441957742872302479954600759590478974533992839723988731096498420915799793986602228904778972257828485788921574612463262774794268590614282158033514857455607124633542482893670585891065199442490166567163918854985700982912299147472770683809949978397976858796244945163286655676575045292285789135807576140364513205702502081515648384611589034507852464806959211217068898865883941862050122979101368823048891121536019594327512605942665737142095504978213181423393750290750015607735140803518884458186836041999592007490069980622099239365108573134029962876084793240227486788086845224689701572210531467685651831801738804328982470217454752704008987125177008874003097021070128769647536393360832424787162282016693182937940005049884289809193637270754178651831669279787426648501419051149464553275086608091703111662962539559519544498406937005930315685804549587201216186975858611291429207382109022248847093093242764666413372904542954171119503/1851646206302547130249222355591938963576188128542429621797446176084853168421941620413178752646576542922976586834168647705753985902957568213840474976909229062966438055168792779095536632415015605457913221151824895480839560994773340021655765786266201085492751627370543265976480595840896355256600968966998180521949646623118638316729677638464117120680234791181171141329041589565056338739101181492591462031897473755360326543524062397863759338011504270049730979866229111387742105345622961805971215648280505497520404948659752609126424700876340510644220926704038384417476304922037613484341748252948193828463368661724873867954304790192423462719207507110010028572624457015329867642717288536770119948099710264030036051875065428189803975805957318834440706859715132718609338826977142108717204679478133264094916790957298393434424878050591778121562631898854362759134175301122479702940316924394472796216850677591048632263470400772832920944734473490803646060622164394475873105101559888978370280148848145707791070954125048685470010501030049981791259800264016548765661467487258546290522812042351414910819705592551562575693811668587543053527667178750752921977553475882810010196662580922027616784076149531646643753678105909079741736038693098117567106192805960162876619812399248655938797230546030819233563826448018171469322136449363484899481799590579367504140517268795448404800187477633083814271528570116679405271732743991696811342666822928719682157103359046775436136773359973173533184679967862604910557791045044692551917876150374351438466506562686434666437917297838015982239130820689674621012320926481117992144280296299666201957561934088439365199094909957332581045361802114845704145468177517608556125641659523618646853384731702056385886934100125608983442206457263714610605920756744371926265865754924864182409693735609067343470851627880140488185332949819846475196050165624414416546349348683767513984993168988152818754665346370416050101672315859505777943275282365737174034426895974011168889933148243035585545195421747625456945134363484522669982425803122796162522190985029469466633281896833276293877991958874628881271273488477770821981683641031576644527477170121395716487177645022359685197651445810317304737579496256773140113712025032305483836212880826880*t^107 + 88613142095423363829559042245734870543634393116949660899069479426416026849413121815952271685061867760041360268758613726652003410528029161343060678760194898652950677827720947890364133729101020041197677781060079272846304768741073418878550999669793262177413698012734761780056039639255064072081757658212562115704938553641897143418249966247046078342754353725253675931881489577138551316260803360694825415113015506385073337792790795193404608869488031002357372193873010247818451268828024904509750410737159561334370608500320954693535508297221482412342958306841272101559700296568318310625623711276574088187904136734106866542986118525449100709072907789051345178432013590954239684181460917520117092771965292402698367883858776260442612215156328818529725296411274535527257857892091232479981169090658033901776836900881864411857997107986314707416204461954469810143575792465679805872669214037435387508734915563595651720064327116687217299382616508888149146693811506226399350443344217101558861746612276092973368391115705232968408960940079336442308689303427075506266858849024370923106260269492549153472543976113836976778446473014957170428080609064975273256093682414477364418466204006666403154303207528373534753272730456081295293283324720314551384077205973136384025282785912119899082156632295979466362343178723646680269592013675139426491378222983736186146451752279223723461808272704737084606639175375983298542438064178410974886121476023055894614620662679602862222242099067689482706290772838783341386519309132147251591859882870808507510785504746169735182479876331470222599371096159723398671051489220873979640807990223216157384785827759291853790547981170793616932386680226303739105059251803993569163733307647446784921579728738725057271534289131971592452013353093051670654149091216049088405419016361487486652026978660046653213853263650529532180442607841354446213722179306930012351175023959530845461060232041115708240130070525250753002569895448719265780318356967125342580222891104231583729060872327260564958436219038125486007444684403607371821689127275966004789892376501174135023147880420680012273188328442885571165566800640764124320014852719318547116204942992449088736603603831919059868482489254636296577725613165644177585018301476585626717663619089222038589656612557930062648218941443/636966294968076212805732490323627003470208716218595789898321484573189489937147917422133490910422330765503945870954014810779371150617403465561123392056774797660454690978064716008864601550765368277522148076227764045408808982202028967449583430475573173409506559815466883495909324969268346208270733324647374099550678438352811580955009107631656289514000768166322872617190306810379380526250806433451462938972730971843952330972277464865133212275957468897107457073982814317383284238894298861254098183008493891147019302338954897539490097101461135661611998786189204239611848893180939038613561399014178676991398819633356610576280847826193671175407382445843449828982813213273474469094747256648921262146300330826332401845022507297292567677249317679047603159742005655201612556480136885398718409740477842848651376089310647341442158049403571673817545373205900789142156303586133017811469021991698641898596633091320729498633817865854524804988658880836454244854024551699700348154936601808559376371203762123480128408219016747801683612354337193736193371290821692775387544815616939923939847342568886729321978723837737526038671213994114810413517509490259005160278395703686643507651927837177500173722195438886445451265268432723431157197310425752443084530325250296029557215465341537642946247307834601816345956298118250985446814938581038805421739059159302421424337940465634251251264492305780832109405828120137715413476063933143703101877387087479570662043555512090750031050035830771695415529908944736089231880119495374237859749395728776894832478257564133525254643550456277497890261002317248069628238398709504589297632421927085173473401305326423141628488649025322407879604459927506922226041053066057343307220730876124814517564347705507396745105330443209490304119021298717826048436740320063942635457819694153278748934645049519166153972959990768327935754534738027187467441256974798559291944175947216024810837650131924569651604879151423121234975276655669987612486697133813587867842852215059842098137002995604241427547225081183157189126221038675798473954476274241879907633698850137496521848972510647045094029233852872335157318080036353162761699172514862365717452146521760126471589109887691731707992097358749152829727346712329960199116936611113086439657231004446720*t^105 - 2587335191377467333208529348196787293398811309306371963595653964258247114593411015651720948840165462788106145467789375474021710387673767348768899639077143849824524520761453265573241963417959716424491765159772851793927890289829210623683390202264534215266559889046457666081423712029212548005756430344545250288846776364660727182653575091462890028412477771876202364261953440924045334501557925290397795738832888389201141826704812959532884877283450827567155376596669663243390015446607221059113804417644318773875041086023844722604271142064843312555255268181217520670048130564882081533230772477173258350091590874312411225463337994352920783532411352539193256857158457288883111424361626509478709417726252006475452946572639616082132479138797255485646996161401643075955765754302510909884459358941753988200316938279564249635376861483894012451146653689879185181976919862705574261314193569215442828673062209734440733833145297231047111332740240591487351382089491073335133036886705610936461344913223525880325566302345908139504501327315211239304343638548822841355021785380289345050900031800739671575771422399540727208672184085904755472489439025316268078774597467730804864578090733851765203218943498999104823239945197981853228118176692233688182021457824086372092655951815444367767406719914932182009345817579444538575530502386899039586800214779557732302887476888498129584866452879301392160699075740234437070082450022447354810957842584562206630186071436872540069161846344192107276159388593324942582246453030247828107951259403290837588815313751562656173051921906750901850124381041377461676421486955317392451231933796044383644560868163725366021661002965469087299813573909755375340841673537111717823392842948526141272155775908123797925741790228780434877340915270799722108329006055423158325438342072911300477376309659063688564923276500894759103442124857448802674418749221925156594495318805143298633499846914467055916438042197527518731937976010875600621294032945324942399327779125775645545261569667302251783784858088835829372337140828606594002991472758831052453072853942151835283068935353019105231233162458426832246591563829353846284476326434387103012937402032887470538224363850902698902490259409152863249109457790425286313098914981767840627182112451529180988842423155517017750003884698081/84928839329076828374097665376483600462694495495812771986442864609758598658286388989617798788056310768733859449460535308103916153415653795408149785607569973021393958797075295467848613540102049103669619743497035206054507864293603862326611124063409756454600874642062251132787909995902446161102764443286316546606757125113708210794001214350887505268533435755509716348958707574717250736833440857793528391863030796245860310796303661982017761636794329186280994276531041908984437898519239848167213091067799185486269240311860653005265346280194818088214933171491893898614913185757458538481808186535223823598853175951114214743504113043492489490054317659445793310531041761769796595879299634219856168286173377443510986912669667639639009023633242357206347087965600754026881674197351584719829121298730379046486850145241419645525621073253809556509006049760786771885620840478151069041529202932226485586479551078842763933151175715447269973998487850778193899313869940226626713087324880241141250182827168283130683787762535566373557814980578292498159116172109559036718339308748925323191979645675851563909597163178365003471822828532548641388469001265367867354703786093824885801020257044957000023162959391851526060168702457696457487626308056766992411270710033372803940962062045538352392832974377946908846127506415766798059575325144138507389565207887906989523245058728751233500168598974104110947920777082685028721796808524419160413583651611663942754939140734945433337473338110769559388737321192631478564250682599383231714633252763836919310997101008551136700619140060836999718701466975633075950431786494600611906350989590278023129786840710189752217131819870042987717280594657000922963472140408807645774296097450149975269008579694067652899347377392427932040549202839829043473124898709341859018061042625887103833191286006602555487196394665435777058100604631736958328992167596639807905592556792962136641445020017589942620213983886856416164663370220755998348331559617841811715712380295341312279751600399413898857006296677491087625216829471823439796527263503232250654351159846684999536246529668086272679203897847049644687642410671513755034893223001981648762326952869568016862878547985025564227732279647833220377296979561643994693215591548148411525287630800592896*t^103 + 10013561715291304065824220685517266775274064546608644697632595002114786037988402240461833919673511912362684321244870040526974539141685033606230899814359953037922026763400658636693925936845026735905191245607565970742446055001298507963879305972321458830331481842218752934843190029785247147725533593440266099069432772257338213480278343196941438969847879293725643845985734479158072736320091777184277039142690739435892159172395542172285543436303993169821015923880295945252579188207264964515433754701959962574115136845163935106295344826239882794947295944875989784675375974314895108797600412617797398954254531902309821623549437270546966365468059621578093885249865517243765956226291899383209876640631753054941066627398200467936108143614129128660838231696756416715500357780969730190679340981557268259271277930206772377349437856839172682410112155022938218385597526295419057280251205928056141376003209406225989191400778227495979983924155631635518884044197460506502377503402628785988197758108612454385089650935015906022293703640232882749258188814927925349689348993416408104128589075186884383889515109007021898564252395498626262523193046341255942413017658261503347964127123827305279272896285141254200567798343980332341951151096540097767049873691495162909841095451817003701704802865835463561616211642902893122785834136439842701142466348432935485450102103168718925926120044701117868464531623021107958273741305964246291967539551363866815654637604730927576162413986624484612108606316502604210639559683973385390702477442912416255787586415043981770843525347139371195205634796754620527996237733027636189253038760679517496830434915335794892823071359925439767754600097203537635414174554298660889484608802960257940149579887321302863047718113958903613719387694843614235931263297267019645072782873865565395384285140717819286252125260060567769306181672014532513911121179792543122006606740800390538619950391175016193838329277439723072910177343281122165356745741585441211877439890633960705744804823163460975603994932377776626951871862108532824785280680244323835502693022917230363229228729389917495537069565668308487196877135476881614805674515259349836954563994997034926264450617118220983136092414053192233929002323272744212197631209321315615234648016264483714467758500248002039225267330336205/1715734127860137946951467987403709100256454454460864080534199285045628255722957353325612096728410318560279988877990612284927599058902096876932318901163029758007958763577278696320174010911152507144840802898930004162717330591789977016699214627543631443527290396809338406722988080725301942648540695823965990840540547982095115369575782108098737480172392641525448815130478940903378802764311936521081381653798601944360814359521286100646823467409986448207696854071334179979483593909479592892266931132682811828005439198219407131419501945054440769458887538818018058557877034055706233100642589626974218658562690423254832621080891172595807868485945811301935218394566500237773668603622214832724367036084310655424464382074134699790687050982489744590027213898294964727815791397926294640804628713105664223161350507984675144354052950974824435485030425247692662058295370514710122606899579857216696678514738405633187150164670216473682221696939148500569573723512524044982357840147977378608914145107619561275367349247727991239869854848092490757538568003476960788620572511287857077236201609003552556846658528549057878858016622798637346290676141439704401360701086587754038096990308223130444444912383018017202546670074797125180959345986021348828129520620404714602099817415394859360654400666149049432501941969826581147435546976265538151664435660765412262414611011287449519868690274726749577998947894486518889469127208253018568897244114173973008944544225065352432996716633093146859785631056993790534920489912779785519832618853591188624632545395979970730034355942223451252519569726605568344968695591646355567917300019991722788346056299812327065701356198381212989650854153427414160059868124048662780722713052473740403540788052115031669755542371260453089536172711168481394817638886842612966848849718032846204117842248202153586979539321104352237920365668780439130471292771062558379957688738521069942154372626667022019042832605735088008407366936772136484815117809285208925489206310713037198227873769705038664623373864579343254295458925847915625046394490171782469710188912320135050495681748074102752983418260562566659488639240619626540505755418646504679772976302078173091249755122181515667964196611710057236775298928880033212014004355384811079020712881430315008*t^101 - 111531814525343342209481031961469913349314532847187750392470614644300310107161912820766520784975599395829241167278631400768164951020346507454239936048880430029271741948345211663158345833349182077386242484217169684876079809728422250343401958450952037999045170324288880546214725254874415324178552019373203012126145660992663369672277112012083652078453588285436911559690065838567370371416025448460820415976853328769630809969586003404039107629561581456955262265354717682053077641948452400943232961378248227711690925932495220310293806182835328064604815931565371150493131352213926551872980195121970396241356652410229869489514831044775138872663052997429998158595504549958330122986078154247683692726733513150292244768623151522460186980996095647558365784267447745671354308054233779117208629819591324042710888654564955184073188847498831860446848022015387167723523310703121485159135217791207424491095211038127197695195194221222313689240081049131268417816232194572809601841575933751674949320634117457076484223104277433990090979344801021604812881432642317374825439517733446210699638860916523920295529432293059679250018726438380192537840411080681849822745437986389609733503973836032890829289908370756450089753112914851253715309155545753759888467275860689322883888639071010699984332671685776657789915307604827523363867948311206704267072229845160790155712908488260052653403328533057251779621127910633034113637683664630708593882238149418664610706932115578528109125065535080475234079905107468514195824842197869474605300024130869754365382623047479503561432058555369685907043536277518369725187417203637118833663396221927984473462587430299860189581066856064941357351926423966688727311666875565544183975395197562033157436655183406746277103999190395070064180769423059476016991365774361820644343092837725892089933181086543072257763929217732860694951048912789434411457506103061834011337656066974127673254867745366274581391054715771642437603561994060291216317545885691644164862427875075438630061769417922054417567068297611912209901052090567713356161752922650748570774290830452351829555914324963648463188230767050827842854875166204336093621661530934705589041083464722177131027354706839266470183502953743729786808808906172594880757912721545388405406606221962194837081520460213657082677096543870133/113238452438769104498796887168644800616925993994417029315257152813011464877715185319490398384075081024978479265947380410805221537887538393877533047476759964028525278396100393957131484720136065471559492991329380274739343819058138483102148165417879675272801166189416334843717213327869928214803685924381755395475676166818277614392001619134516673691377914340679621798611610099623000982444587810391371189150707728327813747728404882642690348849059105581707992368708055878645917198025653130889617454757065580648358987082480870673687128373593090784286577561989191864819884247676611384642410915380298431465137567934818952991338817391323319320072423545927724414041389015693062127839066178959808224381564503258014649216892890186185345364844323142941796117287467672035842232263135446293105495064973838728649133526988559527367494764338412742012008066347715695847494453970868092055372270576301980781972734771790351910868234287263026631997983801037591865751826586968835617449766506988188333577102891044174245050350047421831410419974104389997545488229479412048957785744998567097589306194234468751879462884237820004629097104710064855184625335020490489806271714791766514401360342726609333364217279189135368080224936610261943316835077409022656548360946711163738587949416060717803190443965837262545128170008554355730746100433525518009852753610517209319364326744971668311333558131965472147930561036110246704962395744699225547218111535482218590339918854313260577783297784147692745851649761590175304752334243465844308952844337018449225747996134678068182267492186747782666291601955967510767933909048659467482541801319453704030839715787613586336289509093160057316956374126209334563951296187211743527699061463266866633692011439592090203865796503189903909387398937119772057964166531612455812024081390167849471777588381342136740649595192887247702744134139508982611105322890128853077207456742390616182188593360023453256826951978515808554886217826961007997797775412823789082287616507060455083039668800532551865142675062236654783500289105962431253062036351337643000872468213128913332714995372890781696905605197129399526250189880895351673379857630669308865016435937159424022483838063980034085636976372863777627169729306082191992924287455397531215367050174400790528*t^99 + 69977161642375929852581138745100966170450860335672689583908826080417818340394119449158955918716145484046741570732956111992243578776626650985311308456231401637707955397500635139080968637477554201695867509090289580706659690871139766193572927825641042578078305562869564349791102633826916055132832618801869574833174362491341925145082036186717132233747011927043532426122208709950051183948836491823495761122842289690533362598115319464931632467674946013497353660605218589545049385331517573663890241741407860336704787306763044312832829213728359803504603234173945296860690394609603834698028917810610153896714231053963374462067200858691206113918259989595509455992024150817480421388408922927209365515543959324093661163731983126267409214561421461012169294889433060861420573812000289899073323711485372306183249718695048894947808105034746774784697085371861031188097472169606621928439157603321844299419149521289541191608931385873611699427666312242681933591952929634992939603011872744225590179652358246943367594047971346838774574869267526896622714150751525486622397261380831630865869356099930209217186421628100621687266211342391507965554416601633781047502265415400251824307197912064007125672274117708102193309088134453639857385238188960760974842993457245892503996090967489129577241356269825422584636801209253050444368024319702435476928609638027447105457444184689730403864115685656572194579836023882708625423364422345013059463817820241495753745974186004663246635167213193427491040888235818929730716857686469545905406434095180622823666203496385860289103376024888323771489119273439843781009410283406858943906324311346356926939688845733283936565923021347207105004004508142567663552905707883760804778235665472927577647681846886482837793171938165763613236848504369600172661653165462944597110876220186622021446874045641672865752795056425841038835291004471761553413913906121575377525356485520401201279105720670744037685862101540450413910669484312869833751850041090281077910594738740089280748401217826850378639014762937027562445047047127438639007081701123051725401638026400288906487145228489820367644600248417304925669896797694537415919399164520749629047765164446383497043296475044866669529072179226013055871621501837345949663164213747161837041831792881163769584872025574704388042690262203/475206793480165613336509621216925384366834082387720282657304884377684048116038596683454395991804547447799470676634984707084226300762248130988040133267699697551020291809244895809492871045880766415964770225434151547629782742498262572136605630118718028950918265284403380895440543061986412587879987764566124038371568475860716069678931479877783542493392228645741258864555862319174297954386355496768143374546074489505834194577284614498497013546596440439744316319438908732719455452009304221649890910589339932974778894396733729793519441920631704600162730596321301359334450645535585957801575855691516038931641164175275618634784980638639487186247281900549845837021603721859484449140621751204643965125137974082388694661164575485580127678296564074235483699846271909102836559458882326770427562139776824030286804593456624942266431512207294137939461362053084630465412135358017617199717451105580024515922560762550103909339486628910738594914595901002513148736331268517478975252174872900959464092956532689479947167352995773402535617807087870804201081145813817648683703444912637373272845590237517475878279614750831978400948012363203514935920631409611234095301644579431684528544030779793503645584550067082826940887632495549358633426401149100714449694060300402188012024759689616577870285597299385819676490742717393002505740552704099616240315957737782139485115991538435083420654958246663342735879929793349804494449038365480929855730279455202588157935207132650047560347069144677963060810689320186932693508594318105479190930228829421031033207583429090163233885119360546328644156378775334432542747997882722037751009553170693351628943307665715469147264473400634164479754446036327395061106231453477557876485936501981315825523366578498755170300861502032830957682085163106167466801507440234551682514342292259830450698851171191519052574741546112150772931389125918978338947808491449925962813605060224942354972072295255239671127471288743500170872946167147158320955348347576648443791916088408316818659383752572946509864168215830022284704569426845325133496793181683897019502096699917046304320197785002903591818463527671925949104173833690764646286842959335209244232676408555947861825836176614863369785821924175813682018800729320596594475940953075480047882960896*t^97 - 67249107988090533039530231916242197070552190580831819730186251173761382907233318341041309409000726371932220779399749550305411246157487690310944872704619973674406204553495488243524661080052810489786793733937465725802160100279216185221084237698876106516429393309396581785655705963443725533043080851948010440890064212077433952399604590740307757300331324590526492020467176543901985817821641998068717944879065800344105144468659650104603623955314933163286347665438514239989624834315456109505421544497672303166681184592065802505043916940877912205344673525361333316306538396927553140912862040422394342445663250099693538699636726948363598389691782779231784716911227027702670384910814736675993308853566770083967751079372183512525190524860273017970236310650706528707590003201819278778916523282158876337731490648694382955238606057048098189571201113411386292180278483992644656915531417877607126577529472729829524672329120726532391572476190953361110282729709412197291827342114594536456619760016151570320716970770594035708022306025418058617600114799203904049794804322684829889196575652603852060774988467243456870318481106691107920835005432227936604534279395027357977938148433819442075152999227555344003368001921899799295641944543094365973550743463725492497569773918702701844395996270907722025079661004131385783548253933470890318350780063613121959224830198394857452427314541457601022785125269738263703629652745498657585078128951314703980034312119180698530029927222818613585657333792659371424990263366516559112921205469830997660963927241318496734932218867213231767209174113868145529532798920201052707687683652504271577299380001807466418057967587672097549263270109461557693567508613759238638205005214693805996789306152976483500693156406338902528912703890525520173790615527118505964422263817682658826887078765067254889245575132024864448579773617568116014765647485407209550785617983258204662118632233685835445063944532057688269800048320755113867593080915003714358066992738400296611484949393542002817694194590876407928155928527428371523960319526225097134876316622075344597030084647746226618255761224931870147382275105651274579918711908748740593671704956945296242212299949312285357865847326116388842996026737434791908513152755093073699242071804939619980511113969704418480367087516529319372807/3431468255720275893902935974807418200512908908921728161068398570091256511445914706651224193456820637120559977755981224569855198117804193753864637802326059516015917527154557392640348021822305014289681605797860008325434661183579954033398429255087262887054580793618676813445976161450603885297081391647931981681081095964190230739151564216197474960344785283050897630260957881806757605528623873042162763307597203888721628719042572201293646934819972896415393708142668359958967187818959185784533862265365623656010878396438814262839003890108881538917775077636036117115754068111412466201285179253948437317125380846509665242161782345191615736971891622603870436789133000475547337207244429665448734072168621310848928764148269399581374101964979489180054427796589929455631582795852589281609257426211328446322701015969350288708105901949648870970060850495385324116590741029420245213799159714433393357029476811266374300329340432947364443393878297001139147447025048089964715680295954757217828290215239122550734698495455982479739709696184981515077136006953921577241145022575714154472403218007105113693317057098115757716033245597274692581352282879408802721402173175508076193980616446260888889824766036034405093340149594250361918691972042697656259041240809429204199634830789718721308801332298098865003883939653162294871093952531076303328871321530824524829222022574899039737380549453499155997895788973037778938254416506037137794488228347946017889088450130704865993433266186293719571262113987581069840979825559571039665237707182377249265090791959941460068711884446902505039139453211136689937391183292711135834600039983445576692112599624654131402712396762425979301708306854828320119736248097325561445426104947480807081576104230063339511084742520906179072345422336962789635277773685225933697699436065692408235684496404307173959078642208704475840731337560878260942585542125116759915377477042139884308745253334044038085665211470176016814733873544272969630235618570417850978412621426074396455747539410077329246747729158686508590917851695831250092788980343564939420377824640270100991363496148205505966836521125133318977278481239253081011510837293009359545952604156346182499510244363031335928393223420114473550597857760066424028008710769622158041425762860630016*t^95 + 15996953239888418862405483978246666324982599306430186343487834868774190698055057937410146539140593830726130452631840213573271889370691779170416532266645819777193410387755656225954615377669994517619476962666625900866960423918273200334165435011573272914354710946773107122462730590748920421710897585915328009803280149454836160282420580415848187631469398086537291185876791328665446876253293490412190896331497367055552824255282915162885527636958261207829764851936630356000735838351040889797047891413365007336142873588633601336997355115259100761010541661891331938615123880742740215389026718689446890951586414404990607011617987326942992213027188472513502524551943918157303857465423691657316624216575964269783387460645729809864847507200812739963046429201529820779642527780386014171954241548100655053593486101162037542499813584934918915787850825106231083694375132282514109494918387072741170233867516340504419277602341292927713801579517481809625583464429311963434795965641739945780680425566455210874355455008643083297047882791829694318225224865871466325890893414019522950624902006658017919836255945948437805675073734781369270907060342996547410315102452744330888678857717099649715283424045973675057013209574651348720004160988678813893627187645151802947120839352151605751995172609828132843587251970508756105541533540834841699379311023885185560474960448657863576961343904951302010034817819842069586058031682170390246428892040973184585470142089342594931974072494493982702480710392654424153013703731448146425881929197728067375193628261564326675294732947051982534934425069380436840401417051230792775621281522702709655065191474668238693651348019297237167692043517649362654894672309267989369265895618400653221655350141574006932989837707143619788548802578796841321057779006105359993542728478933480148417033896756901104636831274047554771525409452843304816989449139670561218605531269305486394375544971288587318166279469990246046224391206496006146224636427845817144208317552569499630975864953918036573988999284448905202942455933032688385734733084841338568937229208710192428455759868185738964468013021585507086038702443201405083375820066372594709488529601354251093483364408880474768481760301681246765022465570135588114881700701536899422256960554234938437974110126790544608945159312066165753119985/6862936511440551787805871949614836401025817817843456322136797140182513022891829413302448386913641274241119955511962449139710396235608387507729275604652119032031835054309114785280696043644610028579363211595720016650869322367159908066796858510174525774109161587237353626891952322901207770594162783295863963362162191928380461478303128432394949920689570566101795260521915763613515211057247746084325526615194407777443257438085144402587293869639945792830787416285336719917934375637918371569067724530731247312021756792877628525678007780217763077835550155272072234231508136222824932402570358507896874634250761693019330484323564690383231473943783245207740873578266000951094674414488859330897468144337242621697857528296538799162748203929958978360108855593179858911263165591705178563218514852422656892645402031938700577416211803899297741940121700990770648233181482058840490427598319428866786714058953622532748600658680865894728886787756594002278294894050096179929431360591909514435656580430478245101469396990911964959479419392369963030154272013907843154482290045151428308944806436014210227386634114196231515432066491194549385162704565758817605442804346351016152387961232892521777779649532072068810186680299188500723837383944085395312518082481618858408399269661579437442617602664596197730007767879306324589742187905062152606657742643061649049658444045149798079474761098906998311995791577946075557876508833012074275588976456695892035778176900261409731986866532372587439142524227975162139681959651119142079330475414364754498530181583919882920137423768893805010078278906422273379874782366585422271669200079966891153384225199249308262805424793524851958603416613709656640239472496194651122890852209894961614163152208460126679022169485041812358144690844673925579270555547370451867395398872131384816471368992808614347918157284417408951681462675121756521885171084250233519830754954084279768617490506668088076171330422940352033629467747088545939260471237140835701956825242852148792911495078820154658493495458317373017181835703391662500185577960687129878840755649280540201982726992296411011933673042250266637954556962478506162023021674586018719091905208312692364999020488726062671856786446840228947101195715520132848056017421539244316082851525721260032*t^93 - 2274729949820228331444204710413014408643833974757956009612683801602782810012352397149749830556316340221134083020266060817828360172661068937585282812842743901881703746574082612076874319917901062703647484227037141110657610947613709140903960313743792634476315664251623715263312050215158998798517912835703949276883547699694396806084224905788902938043988861712707537316663982750950663101896089270362565164527688266542383112095472302501909465684394301921865054965515981058702256107373267570139187313746759475183431612530464447466796578431362145282519201252909207223456469838272163258370509068736209730141462883970332536480288369150357992256370195011220093143872825718895762897687736583316734667595149134785814731043278297538558469643340568002225825637853369467543747699472292081969638911015654411880966136245945195962634037909629099912248693173888219594817703869689185468951761920069142310739661453592699190249544803229917484029116361702767904061906612507363857695577187941497987090698270337300221930256533782009119575857793081008021489134428647799471096085593644225342315894938180184864045248181844816128770566356858609483863313778985952967195382032749363779987265479902762031364392674168652870460587501910011962537985737810467053504155161586913092785863082961634260171923286599436536316884313406628540670871536786349237241832836024950856725691303934156712610127786258619789824455408356475059739509484642842598471184276409913202592504715881979193720123790659127135957310293916549625646020154875347593880605762478449491357708855778953562374387512625714348847155403217329360798783706771685133707743691650269384509730521857974095240576296931849635306774691740494981793564076848579202481101589611372794259484900813815350993350550490953861953389836442252916008784241138156740555350685736906010398697812926520551896355873585662143573617277208108729634075783947713257292456739903765869321990642051660080398974213740191843958796764968489677856235861101451958444792658529330175059182651726868804738703403958258873601946064819834046237413949515148588825140306993325547527107572114603713607035639158450132729315869811492454970540129160007690185129192482511758819853800314321692862606003657232170127779422249323599658300811338167296530766971434080082773396951512528577368847350868495398734455/9150582015254069050407829266153115201367757090457941762849062853576684030522439217736597849218188365654826607349283265519613861647477850010305700806202825376042446739078819713707594724859480038105817615460960022201159096489546544089062478013566034365478882116316471502522603097201610360792217044394485284482882922571173948637737504576526599894252760754802393680695887684818020281409663661445767368820259210369924343250780192536783058492853261057107716555047115626557245834183891162092090299374308329749362342390503504700904010373623684103780733540362762978975344181630433243203427144677195832845667682257359107312431419587177641965258377660276987831437688001268126232552651812441196624192449656828930476704395385065550330938573278637813478474124239811881684220788940238084291353136563542523527202709251600769888282405199063655920162267987694197644241976078453987236797759238489048952078604830043664800878241154526305182383675458669704393192066794906572575147455879352580875440573970993468625862654549286612639225856493284040205696018543790872643053393535237745259741914685613636515512152261642020576088654926065846883606087678423473923739128468021536517281643856695703706199376096091746915573732251334298449845258780527083357443308825144544532359548772583256823470219461596973343690505741766119656250540082870142210323524082198732877925393533064105966348131875997749327722103928100743835345110682765700785301942261189381037569200348546309315822043163449918856698970633549519575946201492189439107300552486339331373575445226510560183231691858406680104371875229697839833043155447229695558933439955854871178966932332411017073899724699802611471222151612875520319296661592868163854469613193282152217536277946835572029559313389083144192921126231900772360740729827269156527198496175179755295158657078152463890876379223211935575283566829008695846894779000311359774339938779039691489987342224117434895107230587136044839290329451394585680628316187780935942433657136198390548660105093539544657993944423164022909114271188883333580770614249506505121007532374053602643635989728548015911564056333688850606075949971341549364028899448024958789206944416923153332027318301416895809048595786971929468260954026843797408023228718992421443802034295013376*t^91 + 872545757573319656401573162845622297387163548660510135162263875311452025804601694946048308835849441860320672175774215340031097720861210621340639245576769465093368715197407144282904740269713653135959503197933958915859416668959482095777992786479423695874310358848200215692872994255371814545282661351695252204204895275666571204861252901819847621548257279908633133820319188314665471985520734183313758892829264927162190015178816599866636491569635024733158848697987115740002348525285728682724525380578338183005303320741475537447048382472498712556496973006730728319274859981459318677233637875277554668789227928091045248627437482796764346623115142863766309045528281952199578910073003873853475264477013763109286124556810978981685936016473026058671181540916963400458657711008937056617320844174657764069324702116777593893720117704057075480553163438023873746178119828380979466527083419279733779041300319621441606578336667980619740388666592102494881152611069810280340041263877354446728285928076452126094846558906505096428658669510841628074308620262644126559372668880394886733956540159703304150486587652662862869809109332315708150646210900809693004414367816602289849787490349280125164649783955388223987957746891934721671403747621518752935733513987998059405112295595672605531143553331940234435690155037945639528913227246539025189013383904789215232917633383194413721176728959214120209708194222227647765070968483482007082187887463218425415462622531876583464133378639197520861420708510509454096274856643481571586748429294486971934233935272130462972934954455054563327301820332624756363359329745643026646968209958463004231376438747091954490302292040739328948116213910576078467231896118950900905682351420240471501845336402238263123488158380797136105652073888703967718805539537103337701537237199280155383683882082709779847464060338209417752512429824927951643835960125269356828071790972964017181852007252035390691986912998417771184576737927224460541779916794174256403380416830198432703084531097672572294067194930172429552977552011859880103354453438198227377416380155350289955921594244800785779006331340992931377523319914844001082104874077243441508048511002250008094259197589564573811844346143738536731898829115789413716460193954397717738528880418087853063263722236758282330838711055277013741595070215/36602328061016276201631317064612460805471028361831767051396251414306736122089756870946391396872753462619306429397133062078455446589911400041222803224811301504169786956315278854830378899437920152423270461843840088804636385958186176356249912054264137461915528465265886010090412388806441443168868177577941137931531690284695794550950018306106399577011043019209574722783550739272081125638654645783069475281036841479697373003120770147132233971413044228430866220188462506228983336735564648368361197497233318997449369562014018803616041494494736415122934161451051915901376726521732972813708578708783331382670729029436429249725678348710567861033510641107951325750752005072504930210607249764786496769798627315721906817581540262201323754293114551253913896496959247526736883155760952337165412546254170094108810837006403079553129620796254623680649071950776790576967904313815948947191036953956195808314419320174659203512964618105220729534701834678817572768267179626290300589823517410323501762295883973874503450618197146450556903425973136160822784074175163490572213574140950981038967658742454546062048609046568082304354619704263387534424350713693895694956513872086146069126575426782814824797504384366987662294929005337193799381035122108333429773235300578178129438195090333027293880877846387893374762022967064478625002160331480568841294096328794931511701574132256423865392527503990997310888415712402975341380442731062803141207769044757524150276801394185237263288172653799675426795882534198078303784805968757756429202209945357325494301780906042240732926767433626720417487500918791359332172621788918782235733759823419484715867729329644068295598898799210445884888606451502081277186646371472655417878452773128608870145111787342288118237253556332576771684504927603089442962919309076626108793984700719021180634628312609855563505516892847742301134267316034783387579116001245439097359755116158765959949368896469739580428922348544179357161317805578342722513264751123743769734628544793562194640420374158178631975777692656091636457084755533334323082456998026020484030129496214410574543958914192063646256225334755402424303799885366197456115597792099835156827777667692613328109273205667583236194383147887717873043816107375189632092914875969685775208137180053504*t^89 - 5200865662976336890105732291624418920754062566385947513489156088255271327704768193001326423249534151212360850211091513280875329418217115321793856324474063479335121029128804066471597985373127061262502635529974313247215922338151991265761002897342968979484105267698806885721671607032115042930397567091785065924233119453384435361579301009984671722659343958044004841017441968599547684039943290900691347742928950719029071374099724186867019780898082802844542106339742418640855688855408053457565154591128633989158479415729182834185185266200257390952122225253781924364920218751086710683001701389250365752126476130671878671344249346122234486182607954262665806614027604273447200656345943332929073851948938709519933255444312320865277284749976661786213862592244991626881097146564721656014129934115857804006410702577039521606270772717458002450156979630969746678964242925199072051465778829748060470868415022590956102252384449509557347346059348244249031057885845615299350082941442423948121203649303014430341280057076687688306839096181486806313984523456785044646556964049801247672560218861345519564062086172206994596245035086906552081820631415422289802656803693001316219989446704695706609584641701978236873036231443840195122197766243528461500519104127118945082817291871735424985791500770977161370636739743358996120557513446486628467445433641074834598785330915665997905262698645415002398599109345174214417070394382536511704006539660624764535589738010735583697173330942260031351913932322551214411900229424863377740537411308417343037650767745228373604209106565872545524278929976001464964875683194208060437646875501068644156792505072565186748092543578972967272324903942642215641756601706721846789609515705767719057348672205528275383987100557483233446499746158872518776085334698086180882838354232037013494413725954556570516063218422997238960478378152506209141101404375128293651507791376253060947878688351550984293963579922173740717756078351432102422887518849714244031227004807653078663148445913073351791444116455448249542058982526512586872065104144102605260285471362590533314721309096837939119423213571217098452763917107410679889167356721779955472101202783803610357057826223963691976520049117074493365517929315308587562904624018402158881340112280602659539595061961892004294644034220753837640931181435/2524298486966639738043539107904307641756622645643570141475603545814257663592397025582509751508465756042710788234285038764031410109649062071808469187918020793391019790090708886540026130995718631201604859437506213021009405928150770783189649107190630169787277825190750759316580164745271823666818495005375250891829771743772123762134484021110786177724899518566177567088520740639453870733700320398832377605588747688254991241594535872216016135959520291615921808288859483188205747361073424025404220517050573723962025487035449572663175275482395614836064424927658752820784601829085032607841970945433333198804877864099064086187977817152452955933345561455720781086258758970517581393834982742399068742744732918325648746040106224979401638227111348362338889413583396381154267803845582919804511210086494489248883506000441591693319284192845146460734418755225985557032269263021789582564899100272841090228580642770666151966411352972773843416186333426125349846087391698364848316539552924849896673261785101646517479352979113548314269201791250769711916143046562999349807832699375929726825355775341692831865421313556419469265835841673337071339610394047854875514242336005941108215625891502263091365345129956343976709995103816358193060761042904022995156774848315736422719875523471243261646957092854337474121518825314791629310493815964177161468558367503098724944936147052167163130519138206275676612994187062274161474513291797434699393639244466036148294951820288637052640563631296529339779026381668832986467917653017776305462221375541884516848398683175326947098397754043222097757758684054576505667077364753019464533362746442723083852946850320280572110268882704168681716455617344971122564596301480872787439893294698524749665180123264985387464638176298798398047207236386419961583649607522525938537516186256484219354112297421369349207277027092947744905811539036881612936490758706582006714465870079914893789611648032395833133029127485805472907677090039885705000914810422327156533422658261624978940718646493667491860398461562489078376350672795402367109134965381104860967595137669959349968548890633935423879739678258993270641641371404565341801075709799988631505363977082249195042018841770178154220302286061221922278883869474151009109856198342736950014354288279552*t^87 + 153491855655078560744266840062465778789469440868785621086142393013523839596258146822656128225144552478414247126958815200852705394458508257346243218395758126213452241598812544179994547395228530405440684086561114096486341845571364703384535102624816758103704810104654116032406978512751282635384147565054616616162820120668505807390314102116365311215855322090477687174334789995391111029107297260445676051741515816494055283105283996848643876809802148810166714205017786080968975680464242603916442900751288579206237383128961087699486224427465678229235552189717075485828048477364304140670937065298785994835347360634999274146265485185296631009152105366241265897382448483852065597634049940711541463847841346511914029910325019481102987603657054710169583962967046200553935948426972619601190220037121554657493720138228782083809476588613872319002660574595793663899889508122611216221101596615349375453719033914739498463778954263279728431382142223668313167490936340261771450745119154592774064323683627474949541693236803324576831164670614835595369767101683194217553000020068069811897957090551085290885041571542194314246701423325767966280405580332580407421707940635877431800486921938556085180815863771367674809345870881283491108416874441660136339822722401520489072951603902259553755149129409039361623396457370149756443707615270254052714838592655042244171357678504642506123995750998999239278211647109437613980618400069747980635046140430137329224871483358785456988712706726604776727847241001455114155440332961425634338131790605151255736015288166869814713092799240333492590231264348055968705392373568937377447020816978971427737382511810653676698044383777859254713172049341454665357588442481307653818899216339160514213372292418507614492779448954151348328012846915736473953504380168744777430297134560836903786324201477151084986084278700587755880977793700437667704663528148459244314596406009804363850656301681533947624469156470953663150860105393197331715315256443008373984970337549580319943969319807552215155617613929848336103747729660328110261939178538661371544690774751764717631783857274097148434519516548276139324204692622304275172724799860240396520740703894346301810174034555737551806075486399407469965131384315889977629427033460814604848748456757898583867329967634254729997073467939452920573725645/954546601235257983756301421026397293158110283850848985243185307549350600715597287041977595578924468157576399407935352151269204049782212921840979084105887991450565244882098274358111601813468947325242903927966047654002422358915020148682037854865052058909917876797410005413719101813299990042283416526895538246106928244950699097044614869015233948846624888850889607520711189502535023911401142143631074912304309959635088387821718991195317124582915595241414939795371330379355548255274503318360453967498798912445462464373397456102543117974057710280228559246609473556734581897933459106765729228751496766422718042767655165886926760125714863275986221008024496534792497247312377157812434389260377667893640732964888918903424550947022740868637303218884057256034560930669036794798859111289283876001699561069723390433141082130202035996538153322266749387493282494623660148618562897547702439127563278588988709688283664952320420863215671550836200955237417222948531555441424963713198307751898912180671242823413680980517721137573934279368973631957616238626040082945663767328181482218500796284871126047217024508813166749580576986830530183906073130666611788812343481189616603598270331443472524622932550560160323959158670378656907945078859105321609059094289399030600385659112675834094024184947193926063195885356519111979319528763835952793143716531481602845507633256589966785074879613615532492574397499361797754386278423822058876685059271872201228321025456717200624934983411342987082540754918384886740959696597851305088093106967495513146851351364407383984533332484039789032995938243166790132602411557857069186815414160122035577180165192028844988508326293327346826135925739211560265670106372274862086383018829532435148294641755819620112484264766987634107788696251233284160175326000197589691260168722350721958538140403638256513218860664432954337268221417673239407425407736323154474083745838563023215651205009654904833856316554163662496845406349041363473246706300027350030831318834661230848531184967477280201119454891874641360701966599657932451166245023778069525796027656521066118346964980387194336880219201459252513004969321763874207525458767177155844774197004001606804704866266504132408478087459278208327577570001691870300287334542765262601631444238336*t^85 - 10704410997388699142991631675535819509250742060622145936136711522595129440253452580608610473828323564063595965510292343150520701719434136273910990352138040216406743621019481345568585464258044921491794651259919393040193523706570194348827177886219683605275314399022039134881892933888950633241810683866322926827631799910374214455558784526244958763919699456199205357361956615953826744004881159058140464005049620101129707209211654645653874780839894354031169180771845514878661675134705080097378581891492843697371350681543451214085218341436465503347536657114074857215856388311927634695624444080359371272557821033567704989032820121666750497572216670156745433254170992189811110196269184091974668280340740406418846494556363221124323969417403309634539718391380830766254764585930331542573968379649694961302108710263702171662229697678245579653379534632162968583830120304658408855011166636654607619252809411081890306570875074419856397745756852560038621523526259237890396048678743858577031983778622683344066252004893069032279756600088673992785167973082464456831976372391292612591881525666765412527810848624572298862741199358223796609749937529270884926676448701945871233181449692587793154187461106061645927992731902206239581141617866944959545013995509437034537235969930532818687104539577780518542927866038456479694008584381669262794313671271407798462658197956678436764027598565034191014417339335040492095902334100466789225085240996278529997335238892919826782869133094353167914184977796676061752597714241136384506933713848010529855825974933898678952045512644937442891558108676945815502103290812513655712161043944571101776820574264060902712263709726258563469199043025675318883171055581742185617500374840656710036670861338668264762058386137626706736334878099664183680946760590023223759476168177515387006652190900221160533471316138905142466455709923416644026376602230977009120093280941180626345133888161855531009644897625680330054853202860694093960759482520911933761517560724579809018473571474141121188597655187877311001303278312371015924189940191612679346145470274520251537393579038716120718420060976685392244144737095519319751413357516334934264463682418491589242650948329571853925564506519566604624550716139518619083182687060341643818332125195292883539149445775992114520976109636787109112874213475/943046039774592224915864054508006964324880039467103816746279460470442762152758765511351359487612125167726081342779504534988852193760740476999521504779311027698148796148579018040543992153065706996023109904737541055761429318446164484240085591553424925670039348161296631854517666851693966065870363315728122122659856820312738866959739991075291371149677601033409009839738765532624963382348116334671664371192209839639484913269650087686939809828904563973446085099041555314544035625692882796452496690781945913500336410585766161450705249082804002927454721183397311224725731513621007792226383093465334154779070837433105103647325232895284563718444218345277213444011864750356806348682164095413867093581669157868926401808202568405492346400340468240343285481865469835118807435825378881032786479905293542261654433921898418490079119900194320149709318671981315235652290749237616356613392771186267335473458725234207958145665957961249217676729740702764677256406982982484299361740750135369345913238735444717107492053041604015434489288051275154464150982738979359054752155673625078818277895124812437781587903731598550282718160396627752711810819237526050200995327294669259777048893580462225867699764688505218633309048324952408029536102005381161107745129297960488063031615026980944526626303200842192014241718063067074485592787453428290711298611513030017269055734060727437064772772630318959811940971023465872480237046153655528046845480244500246996654507077720607846321308912411143864678818112139285695887893024383217074983551461863037084841094119053078153394376670979068683200806457104539649077081298123851485769445314819360449744259587305605892261238024733041442688504947172866768493358102729381820282018602670598580242899084062757219562767601120313214923772200013606037763575084532558490160648617262159043375030278293217278119838246789183803084266942761513631432330534680706829817676611592384381727696515562677064773710330619521984835220730378214515737709838581237379857447523400252163609122497989602126407172302815910741898328447854824831272675806624116880906918889575029177162061787852408862941903307465767542968764872104068494181778541066587702066074148531707927539747395823359728857869538082085335679045061912450176187487138635560642575643705344*t^83 + 521574595064932417451206286088127593618477100087652974089187148844095250963169408970880952976755307082756644492405922188894357126577828195532200617067417959252131177979752967295742986254486071495662144932100873429461253720879156054724049581561512320025294376589824777277897516352009024922778673634794329737272078257713607587215173696701621537740764397381805749611906839688859202040731454932074790662686404597985479812534447855405836331773471341352982219535842612267152188185996525847606314859152914741210850247212573137477386735556420166315888687080304571408694184304747352615432673078180317773315057115010294509195506326688395673630275781132327058383659177272367565834574502693976166053731863510824895498932293230838282043876034547898912365811048345013940803667667130237255589005337041797910437764191177975694151326070653758331048122687911403493013114299675457139779249281610237517182957077415085003346953680800769501451604321361717325664902124021900216346627258028210967998936546353347008755885616318229584681899635183494442866500227804442313306525098096858430043955435882076365254910854440251129544059312006511426936113402167711488717351463002040181523516771910651252727423921321334201830548651374069055075043523195572604805744638965921562936463671600775922537309766276616575847249270366990365287616801102247783263322921498577228887177927046702620974196136296677112189044836515011963753969536951515263846171094044543124410726069965636299166993183651492667218179730204966298034140202862394317239558139288434926808589078378207431155601127687480804153415578568058636192338938216134333236459575451279134541586462181600802353179990895956240750498710071960040456198257505571214672428698234625925385070181947056080440111861648907217295398403456064552025852822857328619263284358706647375076909779796702161103969375208909485440683606488322197095239069976757467090893204872393559031880228753383437927025678829865779866321737627644842632409207768052636910710253377106662135609419031739077040202340126458888431929476671053065194729830617506837126468731159868956373168467881917159802001142680718932860370933086740514725132218791741198149621980587641019165245330331108377697718082543178146101956565236087588344719706792662031268087211252746125652252679119543321077335262768065923552897175/718785091291609927527335407399395552076890273984073031056615442431739910177407595664139755707021436865644879072240476017521991001342027802591098707911060234526028045844953519847975603775202520576237126451781662390062065029303479027622016456976695827492408039757085847450089685100376498525815825697963507715441964039872514380304679871246411106059205488592537355060776498119378783065814113059963158819506257499725217159504306469273582172125689454248053418520610941550719539348851282619247329794803312434070378361726955915739866805703356709548364878950760145750553149019528207158709133455385163227727950333409378889975095451901893722346375166421705193173789531059723175570641893365406910894498223443497657318451373908845649654268552186158798235885568193471889334935842514391031087256025376175504309781952666477507682256021489573284839419719497953685710587461309158808394354246330996444720624028379731675415903931372903367131653765779546247908846785809820350123278010773909562433870987381644136807967257320133715311957356154843341578492941295243181975728409775212513931322503668016601820048575913529178901036887673592005953368321285099238563511657522301659336046936327916057697991378433855665631896589140554900561053357760031332122811964908908584627755355930597962367609146983378059635455840752343357921331900478880115319063653224098528243699741408107518881686456035792539589154743495329634327016885408176864973689210747139479157398687287048663354656183240201116371050390350065316987723341755500819347219102029753875641077834644114446184738316295021862195736628890655220333141233326106315373052831417195464744100295202443515443016787144086465463799502418343573546766846592516631312514178864785503233916984803930807593572866707555804057753201229882650734432229064450068720006568035182197694382834064952193688901102735658386497154681982860999567325102652977766629326685664927120219280880764235567662888971508782000636601166446809844312278840382040685866956953811167807628904342979879669517661816170663675227384487694226243348076072122040305569297934127308824056449533424092121144743374592810627262778103737857083980014131910508919257678466868679822819929417548292476263620074757686993657808736213757756240462758106372440987533312*t^81 - 1934494700261086166938583741198030145491279204562447849428731688134063780324060177873446958424503357843346851255588886188681124459270113875366623390881127813828597135829160428348085170432350660167959328459100369177278431348741957432913391595378205915627495039393117129150684035544039000942361003568292259226758102957154966296966397827342050435857985968985376176870444919753892074193848720555561605826827174203638903382716833283852989751834969427431824469279268992633538669573416675883262431874331664856515695779458623616943545403144987016191440719876221900753311773446901287107818678009839103862786837504806072318260533369704652586192723832166047547754002324235332653520506368422940807111798466768190510803989650666895071967702567532103432037424242538733256939951319934998226169241687759506197566869924268109842714501661085410897068921618982028123937268891878804974395586520676058118487674213271393564123053205677968898392677118215815158629408744377371457231215188894263081912612981376716502997086991221471394291225455354110255973820259452226271982566129135070536291661114766043682360986001071730848919394755019451124374256784110692542065133172445924459561620686993012440598671450198204557387837047229016828527736488811632574377927745727444115843556991946146867965456965930845231191071668479271931464099440764864126091171770190911455729390820057409117780774465694629844668782331053534408447065274951502561754762697823598701759925917420192669037058862925433377421334643460648068819676696524794241980369650013876141124436300794429542988417184305679628307247492015997187454428752074054726217093648521723074361977023609062505926483845106471461540781345161577196442350401497938402197784422328438754668072141611167844346263840725486693848423507156194898633958951557401662042818909338565396611791174386581536806462710060243307458525821727320724466135770898984508129225430853973007825871999540242514270854871565532820883907151965218272135026489187555317832193602737359152640278730295528908203018704830740745304052850477457556478489013236380683708656049304725197576641610787325775315128317052744041273178417366294028602949247051056137546416137426737324826979365321994140246595875632555382729816657378092879999984988971606269806170655039472178097278086330332734918079373271693397464602000525/46002245842663035361749466073561315332920977534980673987623388315631354251354086122504944365249371959401272260623390465121407424085889779365830317306307855009665794934077025270270438641612961316879176092914026392963972161875422657767809053246508532959514114544453494236805739846424095905652212844669664493788285698551840920339499511759770310787789151269922390723889695879640242116212103235837642164448400479982413898208275614033509259016044125071875418785319100259246050518326482087631829106867411995780504215150525178607351475565014829411095352252848649328035401537249805258157384541144650446574588821338200248958406108921721198230168010650989132363122529987822283236521081175386042297247886300383850068380887930166121577873187339914163087096676364382200917435893920921025989584385624075232275826044970654560491664385375332690229722862047869035885477597523786163737238671765183772462119937816302827226617851607865815496425841009890959866166194291828502407889792689530211995767743192425224755709904468488557779965270793909973861023548242895563646446618225613600891604640234753062516483108858465867449666360811109888381015572562246351268064746081427306197507003924986627692671448219766762600441381704995513635907414896642005255859965754170149416176342779558269591526985406936195816669173808149974906965241630648327380420073806342305807596783450118881208427933186290722533705903583701096596929080666123319358316109487816926666073515986371114454697995727372871447747224982404180287214293872352052438222022529904248041028981417223324555823252242881399180527144249001934101321038932870804183875381210700509743622418892956384988353074377221533789683168154773988706993078181921064404000907447346272206970687027451571685988663469283571459696204878712489647003662660124804398080420354251660652440501380156940396089670575082136735817899646903103972308806569790577064276907882555335694033976368911076330424894176562048040742474652595830035985845784450603895485245043914739688249877950712298849130356234922475214552607212430479574276868615810579556435067784147764739612770139141895753263575973939880144817798639222853374720904442272570832491421879595508660475482723090718480871684784491967594099759117680496399389616518807836223202131968*t^79 + 203414282045236865112757799532951041927702799161729492702092571867719207765118107002486843378117323481932544927804651241015899234047184525035856893046811938564052816686073573782920762405991773378375836890467231509110756008025263440372227848692104599682654020706555733443812720803410979664109853254532871662794166441031545120840354459748303222378271693959474721383843341087407228937486877269303396351100910263893511991050031416855844208930974629100737603561135469343204934630397861859682080184433690450110811794849828511139574533353095109086341273450981720776568745675597925983370642295077749066439072066834503734153115123481163381736503017954467221689990785171961933162105578097522215377044410158081717240280250948391627037743263873876833272704994355035067567663242863930303973292138912930055559519077899985553915621697143962018973976728219747886149251754259840632667037626484701132270782207856759205202296996922536864812023116452039624447468863900373040313574905617835371406900453822844073458278914115051341011304151492830756369822722418280934904949558501768947067321992737598460794523067467650851719567746094177104450929258113222896830599211925032759266366249622742874553277306124014708749171475268662006824839916498247265875330034450136888954484592376002957383023430055410471745936880350988483494959370238866755910887000033233452055969639397064786853482808197698361262423731700699295194556794164190778719834121926782029259498913376780046063989031030909344071865676267805348406901771978577563151205402268428545798532354002568471258208116982265600303223216674498779036592215863009283613951561529314102996881519812302213546068981064321476999337492219189183782820657214028266723362390914923946134384910574474016053421820890429506511660772839556926955135551903406567840811294913624600080591796564117201184545842561519172090241769062844301231541314945424900465679589276511395601151620152125424086454097395477878352918476129513020131985807824324153470844676935687791602399536440955511336627694665860895406245453606644741733670214560308053094024940403644508175220215632472062016032540053611951245478609055184497957810475167655252249406287875610631696844843280611189835062978574667034627609002668436804328464624604169455313439756002094362489735107252117796763597624888955577899027733914775/92004491685326070723498932147122630665841955069961347975246776631262708502708172245009888730498743918802544521246780930242814848171779558731660634612615710019331589868154050540540877283225922633758352185828052785927944323750845315535618106493017065919028229088906988473611479692848191811304425689339328987576571397103681840678999023519540621575578302539844781447779391759280484232424206471675284328896800959964827796416551228067018518032088250143750837570638200518492101036652964175263658213734823991561008430301050357214702951130029658822190704505697298656070803074499610516314769082289300893149177642676400497916812217843442396460336021301978264726245059975644566473042162350772084594495772600767700136761775860332243155746374679828326174193352728764401834871787841842051979168771248150464551652089941309120983328770750665380459445724095738071770955195047572327474477343530367544924239875632605654453235703215731630992851682019781919732332388583657004815779585379060423991535486384850449511419808936977115559930541587819947722047096485791127292893236451227201783209280469506125032966217716931734899332721622219776762031145124492702536129492162854612395014007849973255385342896439533525200882763409991027271814829793284010511719931508340298832352685559116539183053970813872391633338347616299949813930483261296654760840147612684611615193566900237762416855866372581445067411807167402193193858161332246638716632218975633853332147031972742228909395991454745742895494449964808360574428587744704104876444045059808496082057962834446649111646504485762798361054288498003868202642077865741608367750762421401019487244837785912769976706148754443067579366336309547977413986156363842128808001814894692544413941374054903143371977326938567142919392409757424979294007325320249608796160840708503321304881002760313880792179341150164273471635799293806207944617613139581154128553815765110671388067952737822152660849788353124096081484949305191660071971691568901207790970490087829479376499755901424597698260712469844950429105214424860959148553737231621159112870135568295529479225540278283791506527151947879760289635597278445706749441808884545141664982843759191017320950965446181436961743369568983935188199518235360992798779233037615672446404263936*t^77 - 2426873137418354016697785402997858058914020254890877676681056191362874998402903202593609992260718216801017890845821641928513151840078194963905097038154427963452946300487666788694320327389040636934266062820044818239008091629443613333041530127915693223651255231116416450894680556796161946068613735377879156444543658486264521763909712901861999632862715202994137157707673626860266804366376693045642573518039574138359331324719800651090606952687211912939529142551239940635791821946321775270187778396085719770691734985282259335372118886772913702486735013782638907029199787077445240664936640817985299490622339801181497724054549391860229818195550966410466452776642855841330873026952681551419062859322561074227986765558233063228223699625756428952603433644637777541347597059270779640376613316887857687623879696870973138908279035780761294357779628504395959152940020494709216305988446584255145617840765928603371759937575215018114669155907299122488842681920036411979900111980628726106065075005683801708677673527844300248696363984703087000902182120772383261712116458973401586732006075389357283153001236107589279403034579092059632117161450611729149053319814366215065296935342107101235462104806140375529902091160232520625069724641922466974254750764913387280441278448544914209255176136352676708849858767432680809803473659408263576448907711468622653647373510261488400188271647085035481006032048522854004242766770067531704016323915681183640591220227039896045063542462593508148429925908458568970476213837530947348051274365883408928132535286986208436907149351554867499037712796585724281291562722573984335923607158804450625754907378710762724753142747173180124844646013432850836247464287600313626438969479976314802260871898930306083586212416986828543232637092418812836360369298260374668236341419032271650009149319186866419401570287433413603915579913202917746324446578005390680104353277090277662153639689289519619610444398942649655403975814168800599155713604591945916079382451214574975016993899007752309324103708176028963344324436126737760305937247874172712000423076323409584769577802888665629751957834848455199987641403168971595393808280658660133003975289820295537528929289298265045568217137268822438036965729516862093117071967567854142249981274143679183611420647394445483128376118674149405497720582012934275/23001122921331517680874733036780657666460488767490336993811694157815677125677043061252472182624685979700636130311695232560703712042944889682915158653153927504832897467038512635135219320806480658439588046457013196481986080937711328883904526623254266479757057272226747118402869923212047952826106422334832246894142849275920460169749755879885155393894575634961195361944847939820121058106051617918821082224200239991206949104137807016754629508022062535937709392659550129623025259163241043815914553433705997890252107575262589303675737782507414705547676126424324664017700768624902629078692270572325223287294410669100124479203054460860599115084005325494566181561264993911141618260540587693021148623943150191925034190443965083060788936593669957081543548338182191100458717946960460512994792192812037616137913022485327280245832192687666345114861431023934517942738798761893081868619335882591886231059968908151413613308925803932907748212920504945479933083097145914251203944896344765105997883871596212612377854952234244278889982635396954986930511774121447781823223309112806800445802320117376531258241554429232933724833180405554944190507786281123175634032373040713653098753501962493313846335724109883381300220690852497756817953707448321002627929982877085074708088171389779134795763492703468097908334586904074987453482620815324163690210036903171152903798391725059440604213966593145361266852951791850548298464540333061659679158054743908463333036757993185557227348997863686435723873612491202090143607146936176026219111011264952124020514490708611662277911626121440699590263572124500967050660519466435402091937690605350254871811209446478192494176537188610766894841584077386994353496539090960532202000453723673136103485343513725785842994331734641785729848102439356244823501831330062402199040210177125830326220250690078470198044835287541068367908949823451551986154403284895288532138453941277667847016988184455538165212447088281024020371237326297915017992922892225301947742622521957369844124938975356149424565178117461237607276303606215239787138434307905289778217533892073882369806385069570947876631787986969940072408899319611426687360452221136285416245710939797754330237741361545359240435842392245983797049879558840248199694808259403918111601065984*t^75 + 3365115169313431033928550149503314568808703864619561866438538189931827272249264427321078172015711887233649026027548910784032557146083776563733409691230611918254318362846013723340539846978928364322715451643282653390175862200312669684220866077100459788794529420981662963934297765107888335104899080664515786033043953135481708057890140240970634327982888129720288636718461951445167513598413245308419450219343508806582947306070029124994784754143790804073850386327691927271132207951330404500888748291724553303676668325114740640891073884288532097173315616516138838324041466146551635913967351474298999346500818084783787497732389250315335612989758131281411495170604145770897000499228317344951914559424523977895799368293685614619543710856642690701763430214099320427374850844174126511223120392121650125776873125206208114212741175565780545754485742019926412421327844129475596198006836575426160754980134044245440615760953892177302047204073809441268492197194999490511095113986888608852778371083413351569907358214494546086605725837430793507977343842378378273210970672799329957479319875863502899855895965936945430915907672757864036751357165001402949916827364339112410190589142934696469083934336417096338228384925818483926202736351582570393453490890108167663382587333901393721374823771172450462796990221361464161357229789804492765765868458574778678113750456666568758985882196737658153767101341614270051781072551855182225927305452334822185692588312351048703102551727996191532183387368420416690601130810259968092939468644467009244623780418180395927069835514040787083442913699663315386271236945044804549462397217704808597871381492903856432107722812206576198932132702267615534212743727557041915861870834347291131741035867308464290036266104398356420254060179173033236159923879592291875021973799790975835783537673104346693763102002404398366998827085525952054187115563311119889310147475992478904718196554924748623347786163053822045001110828668688583033606202824902201609530814252381593498712369092609883120638345114209797189112443559015774912641520993292576998474091703508916308233619571077668270855995086501405183555382252963692610010303678605620393202439878586301364526828059562655630691444406511548983220332859174866968291767839619482869928340621236210714254885286981208499277957205865682538866382592270616875/736035933482608565787991457176981045326735640559690783801974213050101668021665377960079109843989951350420356169974247441942518785374236469853285076900925680154652718945232404324327018265807381070066817486624422287423554590006762524284944851944136527352225832711255907788891837542785534490435405514714631900612571176829454725431992188156324972604626420318758251582235134074243873859393651773402274631174407679718622371332409824536148144256706001150006700565105604147936808293223713402109265709878591932488067442408402857717623609040237270577525636045578389248566424595996884130518152658314407145193421141411203983334497742747539171682688170415826117809960479805156531784337298806176676755966180806141601094094206882657945245970997438626609393546821830115214678974302734736415833350169985203716413216719530472967866630166005323043675565792765904574167641560380578619795818748242940359393919005060845235625885625725853047942813456158255357858659108669256038526236683032483391932283891078803596091358471495816924479444332702559581776376771886329018343145891609817614265674243756049000263729741735453879194661772977758214096249160995941620289035937302836899160112062799786043082743171516268201607062107279928218174518638346272084093759452066722390658821484472932313464431766510979133066706780930399598511443866090373238086721180901476892921548535201902099334846930980651560539294457339217545550865290657973109733057751805070826657176255781937831275167931637965943163955599718466884595428701957632839011552360478467968656463702675573192893172035886102386888434307984030945621136622925932866942006099371208155897958702287302159813649190035544540634930690476383819311889250910737030464014519157540355311530992439225146975818615508537143355139278059399834352058602561996870369286725668026570439048022082511046337434729201314187773086394350449663556940905116649233028430526120885371104543621902577221286798306824992768651879594441533280575773532551209662327763920702635835011998047211396781586085699758759603432841715398887673188429897852969272902961084546364235833804322226270332052217215583038082317084778227565653995534471076361133319862750073528138567607723569451495693946956551871481505596145882887942390233864300925379571234111488*t^73 - 264823993167172826262264484325436146224406843241117316235794671119854996022985592389015413605706888217217686744374636741676207931136472191065693666736302262722298986261343752005559441368402536069085873521215239027834831206906394599921665257502474512817513077396575041069481177079136746491509706117360000807249428228434717511896375252565820803926365032238083807665509528526599564855229204004105423625005856353514640570428383624198097924147655096442085673532203392220407009655022540978360957666319894450864652229115255847260825028215083248497506577949601847149480146461021792835221839067064564493077483933606603907987792653588541604964689292442568421532847836285027433880551565429707937429730307342863638684305436325802164830266971319169267502825332685278042660782192110588088061796068789771036552221923363534259155207087444243866483759359826750428782614749510608174252796169212595273166877649355148912117460009670169212014254298296032932357229942795081456574397997885290302915075224112561084276238846120095029533673435469687329797832123296097397878981386479334351783559946214426760207391901560530145275043998506392274402599017131525191338238305328315308623879632215846017948131348391687287027452360597519760629390931867442654358705861280780299674313386310142668820808239563469518372552670676549163674463425520035830184751501629688124469973007224041316210877362532710080173953371235910880047885817541733811629510111127345244573946509674541134285223722513757892745192873296132973845381215022019953203159342583328935956830289608090082697991189502161365497642568461875350873208777339067447535620445212440402871414250145777961173231845190684138770467653533924168241630631855884258893364366068390785551792833843321224531473580548224735765261796638656996466731108170663741379355618269182800531701949493929614976449370012906009893252281621843308848400356624853131671070761957299782170540661558260190363225610943479560434406542770076259873575589876746375655681096772972125503754228763380692728290018111000390725294203812496055620159594536822751429660013778108278994065721811776549233662094881587805048960246352043605905712713892695084705734086878833533408190517403775871685309582636605984639607923657296555133480448631357748284216987939082607379246875191205190577886118471898235234499314928206549375/1472071866965217131575982914353962090653471281119381567603948426100203336043330755920158219687979902700840712339948494883885037570748472939706570153801851360309305437890464808648654036531614762140133634973248844574847109180013525048569889703888273054704451665422511815577783675085571068980870811029429263801225142353658909450863984376312649945209252840637516503164470268148487747718787303546804549262348815359437244742664819649072296288513412002300013401130211208295873616586447426804218531419757183864976134884816805715435247218080474541155051272091156778497132849191993768261036305316628814290386842282822407966668995485495078343365376340831652235619920959610313063568674597612353353511932361612283202188188413765315890491941994877253218787093643660230429357948605469472831666700339970407432826433439060945935733260332010646087351131585531809148335283120761157239591637496485880718787838010121690471251771251451706095885626912316510715717318217338512077052473366064966783864567782157607192182716942991633848958888665405119163552753543772658036686291783219635228531348487512098000527459483470907758389323545955516428192498321991883240578071874605673798320224125599572086165486343032536403214124214559856436349037276692544168187518904133444781317642968945864626928863533021958266133413561860799197022887732180746476173442361802953785843097070403804198669693861961303121078588914678435091101730581315946219466115503610141653314352511563875662550335863275931886327911199436933769190857403915265678023104720956935937312927405351146385786344071772204773776868615968061891242273245851865733884012198742416311795917404574604319627298380071089081269861380952767638623778501821474060928029038315080710623061984878450293951637231017074286710278556118799668704117205123993740738573451336053140878096044165022092674869458402628375546172788700899327113881810233298466056861052241770742209087243805154442573596613649985537303759188883066561151547065102419324655527841405271670023996094422793563172171399517519206865683430797775346376859795705938545805922169092728471667608644452540664104434431166076164634169556455131307991068942152722266639725500147056277135215447138902991387893913103742963011192291765775884780467728601850759142468222976*t^71 + 18923525889801144345695868487563616281017442142945352369634928331773285414365117621208703842985609246081070504701960653698094846434984314192015511639714534232248227322441933350300093474256924678574910813337732095539561961080269303521552995183786848858684466452142092395877138979783877498335052994339224706014872012865305874755019843912690893857080172805660669241094275319877248974351716438929441129421140617391377289379493671088270188463933979441515212441518743808652627651794978723411095329264658213261853652145247015462050375845620156349223358801421208786562651452146705828661093536474670588960411295441236819520759503350324625191827671062132917919963370859295103876874914672782967279017386557987325953862449071734028269442174840687514600256705574640712183935481090265112637965826129540159666838904156701133112439440207631230034504708382870866949746314337677791444833486668671147181209808355303186861015442675496311030112550247056825453594353038933738061507496507816269636765925103834237632860818910652150746789949108051400017755640891061530721381565026631080801563580883722409075208187021952284236701202880863094972915660397408530126828091794131504575799967642319815829830884863935166837062140761029749471184260915146228426069121285499484295639292521477685342797248587718706358191766895493897065233140654597465035152851569624315685831998380743464127306651365108280542849529323766441494786524434540599772320830500829983521208805917256876371553277508626887632451253480113864751288507489680665903800969643983648009415526830147482809663852255406363471546256393084481579445194740589427480320917191333472182931356583642252015964112843676578172542505513304832408390107208026919661159951933104959046064809051621470748002457320169183485958862845097085592930216560267420468647018330788090546815781470810669363127113455247725352571516164381016739858281837293345496560038523310106836288284205146258952410171215234609167951565757644450959645867221774670839072887438545274687637344713733223048461908196733075349983896453601012832605179200927230025466971751230702339691472240341616709301084259749944688351510962600166618249235734201978262509557880701949399758243886290649117896765827395977096235940836619051451466117193462667836389807155375938304298433619204093827868957131056550707792987813679476175625/2944143733930434263151965828707924181306942562238763135207896852200406672086661511840316439375959805401681424679896989767770075141496945879413140307603702720618610875780929617297308073063229524280267269946497689149694218360027050097139779407776546109408903330845023631155567350171142137961741622058858527602450284707317818901727968752625299890418505681275033006328940536296975495437574607093609098524697630718874489485329639298144592577026824004600026802260422416591747233172894853608437062839514367729952269769633611430870494436160949082310102544182313556994265698383987536522072610633257628580773684565644815933337990970990156686730752681663304471239841919220626127137349195224706707023864723224566404376376827530631780983883989754506437574187287320460858715897210938945663333400679940814865652866878121891871466520664021292174702263171063618296670566241522314479183274992971761437575676020243380942503542502903412191771253824633021431434636434677024154104946732129933567729135564315214384365433885983267697917777330810238327105507087545316073372583566439270457062696975024196001054918966941815516778647091911032856384996643983766481156143749211347596640448251199144172330972686065072806428248429119712872698074553385088336375037808266889562635285937891729253857727066043916532266827123721598394045775464361492952346884723605907571686194140807608397339387723922606242157177829356870182203461162631892438932231007220283306628705023127751325100671726551863772655822398873867538381714807830531356046209441913871874625854810702292771572688143544409547553737231936123782484546491703731467768024397484832623591834809149208639254596760142178162539722761905535277247557003642948121856058076630161421246123969756900587903274462034148573420557112237599337408234410247987481477146902672106281756192088330044185349738916805256751092345577401798654227763620466596932113722104483541484418174487610308885147193227299971074607518377766133122303094130204838649311055682810543340047992188845587126344342799035038413731366861595550692753719591411877091611844338185456943335217288905081328208868862332152329268339112910262615982137884305444533279451000294112554270430894277805982775787826207485926022384583531551769560935457203701518284936445952*t^69 - 1227481880873884272833822168427446570611568293603571419221013204269681838334337725682484739063065275716119268182070694117014262537577237198224744854975270801473069131668681556569155501369628572733330151886683078943027638585871967424999039730980926522229074757361060713328945316844501790011699352798877914807647789573402536955202641320484491610422631551790521385781305633697434888963397081121160066431159901660806048206100052861190640241512705466409959548402158001189179798381407038567994140175575538080890789800136878049090810232283715951191103887450802967597963201266168116008650779373760962580631022870472205275476773508351877753604422646953425502128640715947153678999792780772530055857460124272950658185805117891245035166926574266485402051528785073712684534445768364312670857569157988559908820285601162819820110581109101738822984992814946503088136509258312739677018137390326565620447480093322908996051808537940287291144165277409113992781957568174959618793470189600755696625828894011313291431775062968709848630189093551862398296741894157137721614999814882317596079759809153722674402654185460414922340338263252651139494865454719280960383743057899162330827313260844465430808796921814965119545617912288355031961518175201234922765672932610440251986296987706353874415605741971899597258245415227714968228286548397278228130845329572103926705181864986653018449345466886885096380514325585957314605405085562533395194832453272209454351324177154114152590764330123404016077552354800770016406691789871290689155810629337292226371958163443848741654901601397254461071709838304860248528751845188229793470901884981720486029716162595918913431653614622453914867434664256160531069755647277645890835734468387846882753525339771901956809189061736578690706430658873489194710047021102414612512692907201896825105198414591868959684256807716274400702650427878885118624972188043999313846561501247263105630072498973304625152960114829888926573621040615439673118104513154560224613846921567301396833649331699573075639232180633325273329066153958333008698498688530696784160085741906973569412779743894574794735002113730126987454183772807290776484337182143045071397916596191755978510964267021585605463959823474935818908487445753452681683219468032252844908355649553778963561590159845029613363951216774553417404930947308395496525625/5888287467860868526303931657415848362613885124477526270415793704400813344173323023680632878751919610803362849359793979535540150282993891758826280615207405441237221751561859234594616146126459048560534539892995378299388436720054100194279558815553092218817806661690047262311134700342284275923483244117717055204900569414635637803455937505250599780837011362550066012657881072593950990875149214187218197049395261437748978970659278596289185154053648009200053604520844833183494466345789707216874125679028735459904539539267222861740988872321898164620205088364627113988531396767975073044145221266515257161547369131289631866675981941980313373461505363326608942479683838441252254274698390449413414047729446449132808752753655061263561967767979509012875148374574640921717431794421877891326666801359881629731305733756243783742933041328042584349404526342127236593341132483044628958366549985943522875151352040486761885007085005806824383542507649266042862869272869354048308209893464259867135458271128630428768730867771966535395835554661620476654211014175090632146745167132878540914125393950048392002109837933883631033557294183822065712769993287967532962312287498422695193280896502398288344661945372130145612856496858239425745396149106770176672750075616533779125270571875783458507715454132087833064533654247443196788091550928722985904693769447211815143372388281615216794678775447845212484314355658713740364406922325263784877864462014440566613257410046255502650201343453103727545311644797747735076763429615661062712092418883827743749251709621404585543145376287088819095107474463872247564969092983407462935536048794969665247183669618298417278509193520284356325079445523811070554495114007285896243712116153260322842492247939513801175806548924068297146841114224475198674816468820495974962954293805344212563512384176660088370699477833610513502184691154803597308455527240933193864227444208967082968836348975220617770294386454599942149215036755532266244606188260409677298622111365621086680095984377691174252688685598070076827462733723191101385507439182823754183223688676370913886670434577810162656417737724664304658536678225820525231964275768610889066558902000588225108540861788555611965551575652414971852044769167063103539121870914407403036569872891904*t^67 + 36121610375551251623711628148248341939856935080256069459188800989478743757262946818108650081101504039803375317894378419414585820914645078637750699848921293674468800229205627974146273075343852083099968394486224586975259804878577381046584143439624438158579468131433660394891341761497922000496530725426196571384228666102884447389852439037045848087859043789111099627920049670638882253425401585020142327775066928825216482890085047225998401199932086670404450549303488637666811590890135382239625725192268264544688951485616588435594253520525818999153744663905730298505645566793196657312649582191747148436289594602815078888798360392670226325187757348309260010230141855396314751679465102173975626029261485896513054192810520790920023193370589809354934570356598814589957480625558229837232663871082396325107488673291615896041775082821333940560115905109598909918188307487169327516109544423129861913007550222966783712052892468354667882127575960355567193693056022951860714558014801561406155011766491264156666533505387926613733400233459131554428189301547564809939740527229762229282723782286834717851239547249811051326935766155615082663728152818215230475929679051356651521127051025012393332859149255359672382066853122240225749812042733473233714746215725413555841339749054272857824105236061782929808553987916889829350473543441310854592459340630370722238700885039656392365402562045929862982280567993343739841644791313474874528129526361728022324027722275306995175329539293348541912246848451929149000727455325152506616307652926751629780932230329379139628517193884803905231105911210457068895111035251573776701001128512509817349925918829529478254750377701416698406387111241365305274147164400320022891611646570511380360533473760803476733299504876856705206800894386257210883976033757073907344243612701751622588124121905797801042511622131777952025521059958079328918912125976321172609067626316715636921657177271526220655555163820202573369452599407446899725339633900891179007646775987993111210666759835570655987210920905713953609611311506120093167883437921127475453995836781385270035726719179206807539908322823808322866585765996559115692838863015638981339357685363006081779231141846529310406971531811751528561125734543002780980758743108253433811992049516751507679845866058024460346949977403488593696760309252901750761155625/5888287467860868526303931657415848362613885124477526270415793704400813344173323023680632878751919610803362849359793979535540150282993891758826280615207405441237221751561859234594616146126459048560534539892995378299388436720054100194279558815553092218817806661690047262311134700342284275923483244117717055204900569414635637803455937505250599780837011362550066012657881072593950990875149214187218197049395261437748978970659278596289185154053648009200053604520844833183494466345789707216874125679028735459904539539267222861740988872321898164620205088364627113988531396767975073044145221266515257161547369131289631866675981941980313373461505363326608942479683838441252254274698390449413414047729446449132808752753655061263561967767979509012875148374574640921717431794421877891326666801359881629731305733756243783742933041328042584349404526342127236593341132483044628958366549985943522875151352040486761885007085005806824383542507649266042862869272869354048308209893464259867135458271128630428768730867771966535395835554661620476654211014175090632146745167132878540914125393950048392002109837933883631033557294183822065712769993287967532962312287498422695193280896502398288344661945372130145612856496858239425745396149106770176672750075616533779125270571875783458507715454132087833064533654247443196788091550928722985904693769447211815143372388281615216794678775447845212484314355658713740364406922325263784877864462014440566613257410046255502650201343453103727545311644797747735076763429615661062712092418883827743749251709621404585543145376287088819095107474463872247564969092983407462935536048794969665247183669618298417278509193520284356325079445523811070554495114007285896243712116153260322842492247939513801175806548924068297146841114224475198674816468820495974962954293805344212563512384176660088370699477833610513502184691154803597308455527240933193864227444208967082968836348975220617770294386454599942149215036755532266244606188260409677298622111365621086680095984377691174252688685598070076827462733723191101385507439182823754183223688676370913886670434577810162656417737724664304658536678225820525231964275768610889066558902000588225108540861788555611965551575652414971852044769167063103539121870914407403036569872891904*t^65 - 481924511190695799284519040250317183715732594914870720645973796869711735527222725127797783338023570057354220329306278666258989433025565574432068393500422071729563632208652193772369901020940745306594843881718954812724173172443547391474835117083364723692636065812998543923203096024219591562497441960527929441350450898350894646759197349249129050478790721166757161368354683275505601748418558696833916282586527900293323067724437700003584038160457099281246787176595183793702967959532854740337265286378546508554278079364181075454222035056521278003867684618526633734803439714950572718534526471132278879122433487310896152605823002046144605165829107667860985176149121438705632157484842449006775827775155493686522432874892151189455047580966844961918882623974077197101804438546473931431252080275028613541778187670320031126159793907616357388016764481234467719362120079143396279896708543701711476849629601092110908196457751364023709635887260023558443393323949030176055247755087955376689621116402114763346799782615024055791955570498910872638216399267324798538540531312501138136310482720469569507516730561261763790464071614634172823844038416992340126617094808284623416050523046345481344081063992356662789938036414749455977693399210089275196702790954520234375073324094373533610414700746130596340199465613857300548551204718425918257644175519045772475630126696307809018653501771345075679059477222912541749585670820387813237296953514602244019968303303507880138726369406967478773670662587241759985916882946833456162617246152380674371813298573781821165369650420287217508480116821560539374488999733381142307238970194361418687354083634586431579930873790959046538355832611709082334163279588386917275004803805443380874924910570662501268260084668968532669704041510232627202215185352399647549872716716099323792907606554069640124454065055359962237253929971316903796630640023386982431449810634865820208158061852858490340799501347950384203578407768806972003309021473571311278006032676991060431321272295096453223254703059137355458459795465517038286937606209133301162749029577538055130721182905111101697704270095947480465309777008127037463563571640713231168142421181855325925142597171355595674417225601419351101055153284631919492676866068520684729657791205373999111092894094662174926503895352730552320466224767021145661171378125/2944143733930434263151965828707924181306942562238763135207896852200406672086661511840316439375959805401681424679896989767770075141496945879413140307603702720618610875780929617297308073063229524280267269946497689149694218360027050097139779407776546109408903330845023631155567350171142137961741622058858527602450284707317818901727968752625299890418505681275033006328940536296975495437574607093609098524697630718874489485329639298144592577026824004600026802260422416591747233172894853608437062839514367729952269769633611430870494436160949082310102544182313556994265698383987536522072610633257628580773684565644815933337990970990156686730752681663304471239841919220626127137349195224706707023864723224566404376376827530631780983883989754506437574187287320460858715897210938945663333400679940814865652866878121891871466520664021292174702263171063618296670566241522314479183274992971761437575676020243380942503542502903412191771253824633021431434636434677024154104946732129933567729135564315214384365433885983267697917777330810238327105507087545316073372583566439270457062696975024196001054918966941815516778647091911032856384996643983766481156143749211347596640448251199144172330972686065072806428248429119712872698074553385088336375037808266889562635285937891729253857727066043916532266827123721598394045775464361492952346884723605907571686194140807608397339387723922606242157177829356870182203461162631892438932231007220283306628705023127751325100671726551863772655822398873867538381714807830531356046209441913871874625854810702292771572688143544409547553737231936123782484546491703731467768024397484832623591834809149208639254596760142178162539722761905535277247557003642948121856058076630161421246123969756900587903274462034148573420557112237599337408234410247987481477146902672106281756192088330044185349738916805256751092345577401798654227763620466596932113722104483541484418174487610308885147193227299971074607518377766133122303094130204838649311055682810543340047992188845587126344342799035038413731366861595550692753719591411877091611844338185456943335217288905081328208868862332152329268339112910262615982137884305444533279451000294112554270430894277805982775787826207485926022384583531551769560935457203701518284936445952*t^63 + 23301374324715568141311904684484102357602218079208042270925938752596202224883542320845424484759269125688847277018131491462073578161228987106218982882934456625127938544457471857942532297539244917524976685569518695847670615668614619539458854389052220842603532221382346028998533630908231974593912772980958239449453057739132520209835003547131674016310982527915583163889529937027691825177351780569917010393440950246665719864958682546884030452027733920014584460966352508156042619984530030448669702066592311952540206124915418136341809938911890337856641720804928098831069109953119336268392004507959893294024517974316720447718970102177595656635775600598146584418157577418217818548696718950410470940614367795291879474924380613308669692144705413253112838367472086094097534041978867693059536335770260143079862612713929735350305354027810764658863636129465061590541506087937010872572721435134692691091247022708843335265380892176399098170237014679281980693676017904354535683087819558377611907945098914920551684744482375152223403104430820818756682247772284854640426395378807271905902065719799152422303529786101254222540498007753352976642620711997565449014762514060876985906329141686569362074007191803326953835444955621626514550998324832597617718841377458875910099308691475664654659667489813377348031598266711976040593585973213710442663244517779064266408398295848614269846272164496683160304383302352297310710951094677340867731683314471884489048323824660715761225994373072096387641399985710186311276485923549530137724887042864503610140628373773906778606912294452019826010864649248640145261065141833797873585601800778046477079626356311255390439396621320663274990754794391937642550585495189795334725168469249078734164791257207334209108130667021109338541323255164891242609465145559231510969544470566590322118184049978504356720807004949173538304804808097089626009954234409280907696592050199529772029154500360684004894464379538374559528635913223911571165352490669458565759322032463438570424401501197173977659780693129288401968740488437565112299263823331906956648265855147806974495382458857594168784668951468420400714436241266288607194735253821517040420586958305759166905073589535857541836962524401933457470194285737905483360533762935589706381277840033588122784870465826598106907219966698553260838946718944948805577665625/5888287467860868526303931657415848362613885124477526270415793704400813344173323023680632878751919610803362849359793979535540150282993891758826280615207405441237221751561859234594616146126459048560534539892995378299388436720054100194279558815553092218817806661690047262311134700342284275923483244117717055204900569414635637803455937505250599780837011362550066012657881072593950990875149214187218197049395261437748978970659278596289185154053648009200053604520844833183494466345789707216874125679028735459904539539267222861740988872321898164620205088364627113988531396767975073044145221266515257161547369131289631866675981941980313373461505363326608942479683838441252254274698390449413414047729446449132808752753655061263561967767979509012875148374574640921717431794421877891326666801359881629731305733756243783742933041328042584349404526342127236593341132483044628958366549985943522875151352040486761885007085005806824383542507649266042862869272869354048308209893464259867135458271128630428768730867771966535395835554661620476654211014175090632146745167132878540914125393950048392002109837933883631033557294183822065712769993287967532962312287498422695193280896502398288344661945372130145612856496858239425745396149106770176672750075616533779125270571875783458507715454132087833064533654247443196788091550928722985904693769447211815143372388281615216794678775447845212484314355658713740364406922325263784877864462014440566613257410046255502650201343453103727545311644797747735076763429615661062712092418883827743749251709621404585543145376287088819095107474463872247564969092983407462935536048794969665247183669618298417278509193520284356325079445523811070554495114007285896243712116153260322842492247939513801175806548924068297146841114224475198674816468820495974962954293805344212563512384176660088370699477833610513502184691154803597308455527240933193864227444208967082968836348975220617770294386454599942149215036755532266244606188260409677298622111365621086680095984377691174252688685598070076827462733723191101385507439182823754183223688676370913886670434577810162656417737724664304658536678225820525231964275768610889066558902000588225108540861788555611965551575652414971852044769167063103539121870914407403036569872891904*t^61 - 4078813102008784338964365749977167328970707455863420626466885687513003708103897329724050691750332483593216635000291199055584388170076776162901096232478793380192009150639158934779681401049989301507403692472885008532524113468253320080415016793990617973340070930959933199506201021873537027876910151381230497293131726370599758540843524443506861863518919332409968411195266122561817083490718072030914962976884319102428239144615662384517122487795878436077604890888707713691771538620252684988750310155152661835935596695345459074821169051724441514133012583277514586812140339476290044276919163268908115366592763468211013278202272610546920913909542935364859153263613023653092501457975296511362537511168602666667407829007058058456433429468252919028336070295727953880354437348278600195201442658349204572888296808441713809007784472729606172924270508833550496954295044220414595852470888723329075595399926219224329504357550399400643134484578532421840944198957938360570329551323053441423889230242369321852299062796243595368239005189238020458793423589654956311943488118897223755543217596292996581613142838267745550087267130526133569559590823829128392648511531065035907910739906725216861893576840265836031030679951348673107739610523678354313600458979505107274264761388802241883860286807076647904601335292456144316810231295373608975687065073068691851615997556499399277883634370294349782608783382058772707628130235601446577636549152354178453535328312472837499782095882696085909192280553229308777359741913177824816351312635566274675224935532457701329092115538556267006201854051359907995643376110773747103802531480404346350573257078728901596976713176961618444913944553449457596859862978343180055538753864834005685281359363735208318283689103450318827708637858776643196987184838429320591918802639675561898623597933013302255972944743036048844506169342633477979266694498582260158819381293469096400292006102465723162716936990696587605062236113819800366261048369201538112239835769309403328188362587706942126548576640623894237594711586365516227302298375497845968903020616877624377753787914410439226915377578413362417914645410590628723617619143133264793137607375913554813949366248885836312184082566347846328721611497431623015480328759943028801362531809440834408208305762830204382705694391823601170474684391434241557130934806515625/47106299742886948210431453259326786900911080995820210163326349635206506753386584189445063030015356886426902794878351836284321202263951134070610244921659243529897774012494873876756929169011672388484276319143963026395107493760432801554236470524424737750542453293520378098489077602738274207387865952941736441639204555317085102427647500042004798246696090900400528101263048580751607927001193713497745576395162091501991831765274228770313481232429184073600428836166758665467955730766317657734993005432229883679236316314137782893927910978575185316961640706917016911908251174143800584353161770132122057292378953050317054933407855535842506987692042906612871539837470707530018034197587123595307312381835571593062470022029240490108495742143836072103001186996597127373739454355375023130613334410879053037850445870049950269943464330624340674795236210737017892746729059864357031666932399887548183001210816323894095080056680046454595068340061194128342902954182954832386465679147714078937083666169029043430149846942175732283166684437292963813233688113400725057173961337063028327313003151600387136016878703471069048268458353470576525702159946303740263698498299987381561546247172019186306757295562977041164902851974865915405963169192854161413382000604932270233002164575006267668061723633056702664516269233979545574304732407429783887237550155577694521146979106252921734357430203582761699874514845269709922915255378602110279022915696115524532906059280370044021201610747624829820362493158381981880614107436925288501696739351070621949994013676971236684345163010296710552760859795710977980519752743867259703484288390359757321977469356946387338228073548162274850600635564190488564435960912058287169949696929226082582739937983516110409406452391392546377174728913795801589398531750563967799703634350442753700508099073413280706965595822668884108017477529238428778467644217927465550913819553671736663750690791801764942162355091636799537193720294044258129956849506083277418388976890924968693440767875021529394021509484784560614619701869785528811084059513462590033465789509410967311093363476622481301251341901797314437268293425806564201855714206148887112532471216004705800868326894308444895724412605219319774816358153336504828312974967315259224292558983135232*t^59 + 322716377337597292001571324684348629057456104667403423422297184102654827505065339929144068570878153496200493386587370235169173827931111834812045107627740503649430445708687936330015409032792559018727757626149434984660181779551608184338251634005819098117546927026901505611855257377825551990322803569698565828194157695752920072173820346967694358201106817105082810393171737257748743620418443124427819764391593562023512377184596570620042748104611100515918022210000836783245581675406215456255339232011855904025889875432806607251389774650648533074866018504182109677517112471012423392020908588049967685492847555458813956295427119691552173373287738459852881714371387291609284142075074228228526521457543358186605050083854907438894364259950281259217716112133267786668197237173395907783181524116741609916331821273445635321280474352638879892067827944211688874159183039433174152891985456760288221037205453844149535274884939515592840719037468959087029986446306069521464693162210547334751554637668987987390745602151523231787293700688559037653035218208517966910027676750056051441174250739979860883712478596847086823246461627599025250476412191778748059542986198332341598251819190033545162289287444641781280317402578523111888920879786649412826805642375188765835346736029612216067023854683025508340323483434380966503133908898006722207512769095617322468976532952925587974473745524057928304005418855360481651076282388413745484508645869500538815208195394274917354839753275636817903673306296412320358739264468865717949229133553984389452756605218985799997866176874767487087646664033071661384182188010386529609759476944659269050080263078812142094845885551916256096290348065028089418490182603138899104262416068456488035215476017271166346857394347386740021914655348960556349417239864143102342157537049564939036080757928087224887131682547274306621887268988718484234768389333320488872837012837445737600625252761519377188712043417867704650713795252241302774770591026022890391988638743919495471058476814150348214416478537983654688802982631718047257325993804673721507641041033530543967997219169577906151330082113869504797008586482220675456053517817965821227284461469179927836955943488123484338885780219861167910660685138103752538369602377148597081472134366368745103187060555530260680036049314079902916762248301598871116475194939546875/188425198971547792841725813037307147603644323983280840653305398540826027013546336757780252120061427545707611179513407345137284809055804536282440979686636974119591096049979495507027716676046689553937105276575852105580429975041731206216945882097698951002169813174081512393956310410953096829551463811766945766556818221268340409710590000168019192986784363601602112405052194323006431708004774853990982305580648366007967327061096915081253924929716736294401715344667034661871822923065270630939972021728919534716945265256551131575711643914300741267846562827668067647633004696575202337412647080528488229169515812201268219733631422143370027950768171626451486159349882830120072136790348494381229249527342286372249880088116961960433982968575344288412004747986388509494957817421500092522453337643516212151401783480199801079773857322497362699180944842948071570986916239457428126667729599550192732004843265295576380320226720185818380273360244776513371611816731819329545862716590856315748334664676116173720599387768702929132666737749171855252934752453602900228695845348252113309252012606401548544067514813884276193073833413882306102808639785214961054793993199949526246184988688076745227029182251908164659611407899463661623852676771416645653528002419729080932008658300025070672246894532226810658065076935918182297218929629719135548950200622310778084587916425011686937429720814331046799498059381078839691661021514408441116091662784462098131624237121480176084806442990499319281449972633527927522456429747701154006786957404282487799976054707884946737380652041186842211043439182843911922079010975469038813937153561439029287909877427785549352912294192649099402402542256761954257743843648233148679798787716904330330959751934064441637625809565570185508698915655183206357594127002255871198814537401771014802032396293653122827862383290675536432069910116953715113870576871709862203655278214686946655002763167207059768649420366547198148774881176177032519827398024333109673555907563699874773763071500086117576086037939138242458478807479142115244336238053850360133863158037643869244373453906489925205005367607189257749073173703226256807422856824595548450129884864018823203473307577233779582897650420877279099265432613346019313251899869261036897170235932540928*t^57 - 11524733969938445767076494031009845296296564933032070346769861953339818743866880910845469390840751537363271328831627905660838426310268643083900738640371009127203202844510484650387081830543637250465973618112534638024961781426394717121085256947570912921335370330395275162410055804524049156109599201972318352274122110076154696533597165419500627296890470599022992464776396249147892674061375629198666385539143613114890920205474222048597714345980055592827993855728618165315645041979247677093823839916089128993828792556976253965834262277133370329930370944863440367976715602611177208205547726233154030157782275138250233412103677811573936210545743503675705204742672302598986272591269252201278945802465688380431149892231781316678462431451227891879531232884372303956272060118978517035931176660335357079967838268242481060448780230675488791457916317661766019425596164778791565740669500230349319763516649123513783528693216168786750363306476617847323707432020349813039293638627829397205254915802529354965798726372946987279921592195813981872769363421229045794507022691432551753747850382855380426632734967935368702222021149333797859206823511469782122076024912305143347314378062835683522664590272868645149806687942875307017187856804123439964493092191404684255696588605690561455486000290211145154517380067611790439771262345651824039712825173550219344277665233326696086351162288511848973423676103909712622512550812515999725492471041572750780363679729191773967327381378131015447409136949903477991046468191754106399761996708088292724179670937874260296272721943165970491738158720263182315706704071763866105787403946655274072364542467124925715274263317903473165934374878460390048768166580354015887108468225015743210311277792351149662085363242771536939028288574770709399777815753340563653932600254463665408317712135815753701413658116426826680984269760972355339688452495119051879756705928737099160209861838747324771036977035402942909719532956293666384860552829353905263046845144237956382064510764607747947227291398571209953897703026957286818613315798302813933239091744404604236069560494051450787661757562083229729891687780011321771310531073966065302296007960412679961592159906102297491513743654862652328973491273555694592684809396045571235321236040872897687636709117949929637221991437808840153464943681236821218838370046956796875/376850397943095585683451626074614295207288647966561681306610797081652054027092673515560504240122855091415222359026814690274569618111609072564881959373273948239182192099958991014055433352093379107874210553151704211160859950083462412433891764195397902004339626348163024787912620821906193659102927623533891533113636442536680819421180000336038385973568727203204224810104388646012863416009549707981964611161296732015934654122193830162507849859433472588803430689334069323743645846130541261879944043457839069433890530513102263151423287828601482535693125655336135295266009393150404674825294161056976458339031624402536439467262844286740055901536343252902972318699765660240144273580696988762458499054684572744499760176233923920867965937150688576824009495972777018989915634843000185044906675287032424302803566960399602159547714644994725398361889685896143141973832478914856253335459199100385464009686530591152760640453440371636760546720489553026743223633463638659091725433181712631496669329352232347441198775537405858265333475498343710505869504907205800457391690696504226618504025212803097088135029627768552386147666827764612205617279570429922109587986399899052492369977376153490454058364503816329319222815798927323247705353542833291307056004839458161864017316600050141344493789064453621316130153871836364594437859259438271097900401244621556169175832850023373874859441628662093598996118762157679383322043028816882232183325568924196263248474242960352169612885980998638562899945267055855044912859495402308013573914808564975599952109415769893474761304082373684422086878365687823844158021950938077627874307122878058575819754855571098705824588385298198804805084513523908515487687296466297359597575433808660661919503868128883275251619131140371017397831310366412715188254004511742397629074803542029604064792587306245655724766581351072864139820233907430227741153743419724407310556429373893310005526334414119537298840733094396297549762352354065039654796048666219347111815127399749547526143000172235152172075878276484916957614958284230488672476107700720267726316075287738488746907812979850410010735214378515498146347406452513614845713649191096900259769728037646406946615154467559165795300841754558198530865226692038626503799738522073794340471865081856*t^55 + 370927743133316609296053527087668459701215162086981029106403409476003275959818028841160421972974241237389080577350793753871935660507159190629474766924730044182176491021826700003077359145368292232094610157704164955637216050608219130567865412309354834317751108046877595994979933314205001495296653416204579295424957246122705596726817220382226129678611940718054700791386438571150849033537625644568688934392406463378298187583870729804251271860835164999944453710014645481270571027885954635869746279888829874644530950553914897633554033915203894220232948755937426557630167857478206873715780739092529441540949242337469154974035929249366045477849678364407377109310556324702762649381763552381954316624976110345941444152910877669740269907193688562512469991158544286240728888530454817014598700399558237549535902163529601489178260923480513162475149009611870187894415319591487335229431694568173938093534440491979153821044629085794357452618985445296122674741240562583445991712129397358381117092170323296862911513378188187641249380390529405707836588409024645333935377167666897720521184573181471013334613143158756908687873823666743237318887047602469397302775842307094472255567116941347372677498011216131603750152947497130913637359319916613870957064912232725786598824985939337351019091490496576252401893309945597880651763996862252226833383265748620450365996299413521514510425118719173254907753423205019754150859801803121080017260887045440790261954722469711606912368317157283301270376082580423619869725087690988488571374242506766553588652906081131929535424880940174129893766189021309488877108996767908798743403462057441989785972137847870344725131500487216655898841675497481243512267396705426622547741978436821796935574112388845108135046848706255847401166293407989979362038869860551106339626431753157634894244567964982743522210146167429777677358693437472667076020138668588365451615506229963691993385344907303593070403389572327439233927865549723111194501855418937631628192980254637006282914670933818504970796745568372275282456360817953809674596570496949164952772222847940335002847518695473024546096368112327312912119917534218461406974098523210503798792296127679375370466225379364770567982216866763911104952412396977178106118199029705793145695802947406817025117492699098365919652249440690612133316302830282213702879848566203125/753700795886191171366903252149228590414577295933123362613221594163304108054185347031121008480245710182830444718053629380549139236223218145129763918746547896478364384199917982028110866704186758215748421106303408422321719900166924824867783528390795804008679252696326049575825241643812387318205855247067783066227272885073361638842360000672076771947137454406408449620208777292025726832019099415963929222322593464031869308244387660325015699718866945177606861378668138647487291692261082523759888086915678138867781061026204526302846575657202965071386251310672270590532018786300809349650588322113952916678063248805072878934525688573480111803072686505805944637399531320480288547161393977524916998109369145488999520352467847841735931874301377153648018991945554037979831269686000370089813350574064848605607133920799204319095429289989450796723779371792286283947664957829712506670918398200770928019373061182305521280906880743273521093440979106053486447266927277318183450866363425262993338658704464694882397551074811716530666950996687421011739009814411600914783381393008453237008050425606194176270059255537104772295333655529224411234559140859844219175972799798104984739954752306980908116729007632658638445631597854646495410707085666582614112009678916323728034633200100282688987578128907242632260307743672729188875718518876542195800802489243112338351665700046747749718883257324187197992237524315358766644086057633764464366651137848392526496948485920704339225771961997277125799890534111710089825718990804616027147829617129951199904218831539786949522608164747368844173756731375647688316043901876155255748614245756117151639509711142197411649176770596397609610169027047817030975374592932594719195150867617321323839007736257766550503238262280742034795662620732825430376508009023484795258149607084059208129585174612491311449533162702145728279640467814860455482307486839448814621112858747786620011052668828239074597681466188792595099524704708130079309592097332438694223630254799499095052286000344470304344151756552969833915229916568460977344952215401440535452632150575476977493815625959700820021470428757030996292694812905027229691427298382193800519539456075292813893230308935118331590601683509116397061730453384077253007599477044147588680943730163712*t^53 - 10739751284811035133484393087559468024942630199091735695923151015536827934898071614293496837169201466028141634475495336293400201002063411185052896438875861668429827445184905360976325991248159047394188862216280909323886134634045771019551634632378312446719713599383498282326694189603149524236567418860622482797130572357019109241372574198378405766431260534261864037095005504988873924800526138791944914325264499896177922067870874692693937850643565322837113704352059920878583344651827150257889370005817078664788861331897848832858144462981906393239646329684329878577743131394150763824611822742054490489185027834786575686617702481425639261970907427522415068341404940434610926324289964066146317580723466947587419651846418133957294103916016932977488187720732162298089123533838057347640727554302876056273293024778406259525327005118575289810322047334140442396239726095869391675032668647667438550981592284290541703719174095893755922938714602393371034390082778622737406176430940174610675852899856656807790326339486437225074864350434082964744181678590285553510640808988970847537455947004747751771008037130824321528615863660302136576740484377425971560622915759554550375558682817964880383005369851296558695253460387260749481662309806813078904492700618486147790435976933885100900323593028797113391706082812127025713114223020465208264356751193520407995928189012383336838071677725962357425697403712725868251832711836298858093043770602148307079022778385582924382997223542510504578978770926482479555622577153169919008908960079558932194667876543025318159501973712006162408820880411490278888723849769874871475282828188822406894649480525013394908398438656756490697955952202600306360769084418422055846217730771160892474603000459489982468753723531998691545982743451973343332866864225294171280680121569555400007935186186172316907893208676850686897166055905443144590386889598495716464679139819544364315405921093137138924686466785043048137370786879597287199538717733304574713554427496566471945989471242358824313747470477289041531253588391775151372627336230588422504428300430914524949756855007343438781752853331863935520287280473090512120557354778974019074864305977474195625096573785872243092566003263370175562322084597270859132722669500429809152627148542859079968015514392217153352920472173890737530000394233100837804225404010248390625/1507401591772382342733806504298457180829154591866246725226443188326608216108370694062242016960491420365660889436107258761098278472446436290259527837493095792956728768399835964056221733408373516431496842212606816844643439800333849649735567056781591608017358505392652099151650483287624774636411710494135566132454545770146723277684720001344153543894274908812816899240417554584051453664038198831927858444645186928063738616488775320650031399437733890355213722757336277294974583384522165047519776173831356277735562122052409052605693151314405930142772502621344541181064037572601618699301176644227905833356126497610145757869051377146960223606145373011611889274799062640960577094322787955049833996218738290977999040704935695683471863748602754307296037983891108075959662539372000740179626701148129697211214267841598408638190858579978901593447558743584572567895329915659425013341836796401541856038746122364611042561813761486547042186881958212106972894533854554636366901732726850525986677317408929389764795102149623433061333901993374842023478019628823201829566762786016906474016100851212388352540118511074209544590667311058448822469118281719688438351945599596209969479909504613961816233458015265317276891263195709292990821414171333165228224019357832647456069266400200565377975156257814485264520615487345458377751437037753084391601604978486224676703331400093495499437766514648374395984475048630717533288172115267528928733302275696785052993896971841408678451543923994554251599781068223420179651437981609232054295659234259902399808437663079573899045216329494737688347513462751295376632087803752310511497228491512234303279019422284394823298353541192795219220338054095634061950749185865189438390301735234642647678015472515533101006476524561484069591325241465650860753016018046969590516299214168118416259170349224982622899066325404291456559280935629720910964614973678897629242225717495573240022105337656478149195362932377585190199049409416260158619184194664877388447260509598998190104572000688940608688303513105939667830459833136921954689904430802881070905264301150953954987631251919401640042940857514061992585389625810054459382854596764387601039078912150585627786460617870236663181203367018232794123460906768154506015198954088295177361887460327424*t^51 + 69787641482597623580139584234347822016525165815468748344050975182833721073583502327047036271999234226167803339565163852391063599170364237920586135623102652481078676653182508575370897314393146464782910793793338209803629886440876810573002212955749818568013667851415565928865467624053239521396036306628658667496049352664803866675396658705148342091882682469685564502969591038930005106491139505882520703869437425608248874278047759369864547232106747387556381956810175443741401901680530959739848018838547490273633946126359888679773327355513533271248621799226741423371566526280440653350546794905496708866367405042258060008504256808675312796448716230566325497782057324947615824987988914086080649793603036095294779930840665389937525062866688304959587205740120738957191345864612779972794124120701598673458281359343499547527824077694044130078524222544924747568410224713615390885529091297661602966639240308472312200200581350294129161276449148979751256686443672178603403277402058334061747190704698372882706183828695137522364151992342485302077158407811315645923111246648451333112031272737801995800607267913892653549137404778209535108829917381591197383703409501459864323358818895694045454724651721672437103055523667191564850314264442289459096077218420971359543151743596652220066882110861331065890855140261484489896151147124260823326549708939286993824651364964860629330278000442777095936100553092167042984060592456601986118541815266752637338395952138140932865140644653546096642572351291467165886785237412752203402311027296579341564667279673497979932661845422996571932485847119628736780364496771126673176377023437767570630265611233333879539644063595703154135827446344339239874482484067984672578992378495451238129868853700597077405813592718552298047483966386595422404992019352367312609476848370231890891285336138275694616448536150156290581017680608162465201720194200607582489704371344852392334471557318185405949027795863840483507960365679128427852049277336085710104304686489594994325150453092932427066543849940502587157178014535041354787995679335638749127369792907001121798475893393403092420073172810539323267997400362698049949070152726989163269563326506575043984668493133597541755336127073386397733928611678759405709800580666635614189591513229545817029347043497205954474838242862683622764025719679430748886274517632720046875/753700795886191171366903252149228590414577295933123362613221594163304108054185347031121008480245710182830444718053629380549139236223218145129763918746547896478364384199917982028110866704186758215748421106303408422321719900166924824867783528390795804008679252696326049575825241643812387318205855247067783066227272885073361638842360000672076771947137454406408449620208777292025726832019099415963929222322593464031869308244387660325015699718866945177606861378668138647487291692261082523759888086915678138867781061026204526302846575657202965071386251310672270590532018786300809349650588322113952916678063248805072878934525688573480111803072686505805944637399531320480288547161393977524916998109369145488999520352467847841735931874301377153648018991945554037979831269686000370089813350574064848605607133920799204319095429289989450796723779371792286283947664957829712506670918398200770928019373061182305521280906880743273521093440979106053486447266927277318183450866363425262993338658704464694882397551074811716530666950996687421011739009814411600914783381393008453237008050425606194176270059255537104772295333655529224411234559140859844219175972799798104984739954752306980908116729007632658638445631597854646495410707085666582614112009678916323728034633200100282688987578128907242632260307743672729188875718518876542195800802489243112338351665700046747749718883257324187197992237524315358766644086057633764464366651137848392526496948485920704339225771961997277125799890534111710089825718990804616027147829617129951199904218831539786949522608164747368844173756731375647688316043901876155255748614245756117151639509711142197411649176770596397609610169027047817030975374592932594719195150867617321323839007736257766550503238262280742034795662620732825430376508009023484795258149607084059208129585174612491311449533162702145728279640467814860455482307486839448814621112858747786620011052668828239074597681466188792595099524704708130079309592097332438694223630254799499095052286000344470304344151756552969833915229916568460977344952215401440535452632150575476977493815625959700820021470428757030996292694812905027229691427298382193800519539456075292813893230308935118331590601683509116397061730453384077253007599477044147588680943730163712*t^49 - 3249158982723643505406300037086913246335543211670707205400931010276939244218466189025536976465637521918758593587100765127854664075649508008232318124802689258176278001232292261093315336839656634145246996881773078071201234171898404444411906878619926491506349816619118680160625859615679112800948427292843544288731991116634314472774156056597272403999550901399560922254072918325073844228401846468262043525198084718697289455447692731006210076125532999034138115336218096834663517212143223945696656158085028458203882362853815060105622736995015891491222926393894821658376582600657580111942863694238417723957251197692921340546598271700611963031293971872306672222999119619130657895487554079838596296979511294124724937619273777835672525997031582723535131047276016613565743838075445641827299486190820600103187251647592943369237349392696807280512483704445816967847953756899478036093033239260646874068107065195169785553330557489302912340530894727805695593914968369088842034202517135549317378933877515211317527237211108443228705922285741785881466469130961309499003353307453041351108991832636540224018004958688845265579607653173210688635968106835150908348942993394368622737534783141595188899941901429604470267281250956359042312850588293054770176701018664983603169112177336962188212119519155207842275340349639565483458125899955897314230455917702875534942338539506624369460830757528680824647518104397094823204876151400136196626785045594714830635912816328221603917184269415549888814413028865162683267703646097236753753850642760413698897662812242235405515136440671373408827369178984500194496145022564237644795066194387518145364576346844922642192208423211861197371110303014808010953523284980064514303529151651788216144594857768887983257538073225387437399814472264224139837004189975065577297929260097074507656198916058018346648050159643916078249930526639600711802094260463781831006800548588590281799030672396804807684994711318900182276419604445158058241209272756214928142851303864451878707757170007038446937111196931003521803262040613234194360070048846869266705458961016596877885485288324476719132436753554824903904806580417618536265817614868131511356191958883041544844645287866819349680440789348198625020409861006986687207958252870754306309863043512552494658735841565289598028816309954545693113048926502226741231322324875058453125/3014803183544764685467613008596914361658309183732493450452886376653216432216741388124484033920982840731321778872214517522196556944892872580519055674986191585913457536799671928112443466816747032862993684425213633689286879600667699299471134113563183216034717010785304198303300966575249549272823420988271132264909091540293446555369440002688307087788549817625633798480835109168102907328076397663855716889290373856127477232977550641300062798875467780710427445514672554589949166769044330095039552347662712555471124244104818105211386302628811860285545005242689082362128075145203237398602353288455811666712252995220291515738102754293920447212290746023223778549598125281921154188645575910099667992437476581955998081409871391366943727497205508614592075967782216151919325078744001480359253402296259394422428535683196817276381717159957803186895117487169145135790659831318850026683673592803083712077492244729222085123627522973094084373763916424213945789067709109272733803465453701051973354634817858779529590204299246866122667803986749684046956039257646403659133525572033812948032201702424776705080237022148419089181334622116897644938236563439376876703891199192419938959819009227923632466916030530634553782526391418585981642828342666330456448038715665294912138532800401130755950312515628970529041230974690916755502874075506168783203209956972449353406662800186990998875533029296748791968950097261435066576344230535057857466604551393570105987793943682817356903087847989108503199562136446840359302875963218464108591318468519804799616875326159147798090432658989475376695026925502590753264175607504621022994456983024468606558038844568789646596707082385590438440676108191268123901498371730378876780603470469285295356030945031066202012953049122968139182650482931301721506032036093939181032598428336236832518340698449965245798132650808582913118561871259441821929229947357795258484451434991146480044210675312956298390725864755170380398098818832520317238368389329754776894521019197996380209144001377881217376607026211879335660919666273843909379808861605762141810528602301907909975262503838803280085881715028123985170779251620108918765709193528775202078157824301171255572921235740473326362406734036465588246921813536309012030397908176590354723774920654848*t^47 + 67562423912323371561984294102018291250214601550715899973462874436910713263766485905046509453605178055489686443782417527032825423292965661091131856430164350778198170313515463992959027305689847027556223456814128741051093471284082771827312411438480410343225717647952535593449694229165346408463726878045077244914005117390130782030579167855968886462969465302666323863272824117135097070386576769574954222753417163608820928878894811017447044539685405791040209155908796292555517837325538347797903067707115787165693412206462129325299326782950624884943778382259615446368702400884423868535035757460325109870399652426559834709076167573065733269696782213803495581443837124755764931482590020748551974597601684027320537468774717024927169808158037600504997903450685742842443719470393816414942677173415430642027038142414292906137445223638774205493489014313791243612978331199696447295787949175868498004082727066668686126217283698507595638406174637777074957246649849187107131966142113947569648784734131264600831948786300542967881873728973661086429460081941672874017237477718508008672710997640382558157846346287596676149577380728087952063546829694569267842259203472894133485131722082430371603360848143083777427267241928517225261851320943952403770505870099745950540177085601655183219245787540682120449297739635543500302904109934530779177424065241379888271872960134472538871789914728025409253297843315212748271430333659731196883083074044169800665248094699526017754990610653208906974190578811109540954372131153323423373315275965562591760659217256009683743940788086963856039901089004024199276436854998103640751842189898503308647648488986724940612026607557013097321911796525741326061547400731231193224711680500138196383146836716247608126686143893147995018298385111571714522025130619076803678446792266006373590531849203845778825737192848454376998821759475818756826338616351394762635935889961443146755930683784890787918129757711850711253439616684313879798869998339882157807702051384791189752305746305913132879884487050668777037438937719073008021136956521803072064275454348721301675303645024660974983531631304181506246189480286880160021551444230103446142503708568326434064087923612240826734897686615162661193331387438512613032399324629710997048125254595966394501182959783193078390410531781248236383407442656942050569539463446085106609375/6029606367089529370935226017193828723316618367464986900905772753306432864433482776248968067841965681462643557744429035044393113889785745161038111349972383171826915073599343856224886933633494065725987368850427267378573759201335398598942268227126366432069434021570608396606601933150499098545646841976542264529818183080586893110738880005376614175577099635251267596961670218336205814656152795327711433778580747712254954465955101282600125597750935561420854891029345109179898333538088660190079104695325425110942248488209636210422772605257623720571090010485378164724256150290406474797204706576911623333424505990440583031476205508587840894424581492046447557099196250563842308377291151820199335984874953163911996162819742782733887454994411017229184151935564432303838650157488002960718506804592518788844857071366393634552763434319915606373790234974338290271581319662637700053367347185606167424154984489458444170247255045946188168747527832848427891578135418218545467606930907402103946709269635717559059180408598493732245335607973499368093912078515292807318267051144067625896064403404849553410160474044296838178362669244233795289876473126878753753407782398384839877919638018455847264933832061061269107565052782837171963285656685332660912896077431330589824277065600802261511900625031257941058082461949381833511005748151012337566406419913944898706813325600373981997751066058593497583937900194522870133152688461070115714933209102787140211975587887365634713806175695978217006399124272893680718605751926436928217182636937039609599233750652318295596180865317978950753390053851005181506528351215009242045988913966048937213116077689137579293193414164771180876881352216382536247802996743460757753561206940938570590712061890062132404025906098245936278365300965862603443012064072187878362065196856672473665036681396899930491596265301617165826237123742518883643858459894715590516968902869982292960088421350625912596781451729510340760796197637665040634476736778659509553789042038395992760418288002755762434753214052423758671321839332547687818759617723211524283621057204603815819950525007677606560171763430056247970341558503240217837531418387057550404156315648602342511145842471480946652724813468072931176493843627072618024060795816353180709447549841309696*t^45 - 625599541439499585027469554133462575217741227344269947138107410098818411713934083941137716926941118433579677843557181995151163283843715509496304889146447194669640059830512038044697600474887947231197024934638611290336730016396139219920747011207560780503777091416200548304886735633502354264749858423674021966992814745257303720477912894296904707677896735330590856725488478336674360249869700830148419641764302564261555274097936197501084311961767122562192271600138580885035713909712449057468555104801513352826329715461954510372572582694682058500675389402721606873571450175271406476468506981027835990402413817216184880265630239300461025657913950855417057937294520933954769026002337773104961040652906190381788170504122615526502122356587142861992897224076488351465466736354480663848695703437905767820447883524286236963952937971046364817895400804667611463345292409198517147187528568001657130477952530830266608255867171531046528080869612126261286846691992407552414689436992887926097170410634848362893706984775148514033889155575121328554839440060638288336000786676941583901511934098086215227632097159771688195768950706501776003791124103178619790753116216546241275162347335074430870204039531314720906851815667336869843922054186885174696498415251104016234860629809106961903161335854888812749117866131426286468152015089545046801819957010689146796879009510998232974634288562696083557127017840180472689413099232336634579709916134245666537299613006306117741821379356614597209442055595240825721693054170723525324220062206207905033286946998948528425393777497380389690459550127309166464281826683458048294518392303580162852367790558674389071721696765499330663925362205581838057036042043116052620263746597290810090256745157192051513426461127243011793904391890250488525134724574925065089960849597819303174035012561508787688166625998615331176980309484128129496079438032911913732385934471995150119125647221012128718871069470802084641496787972933751836128091534235464424060393638466928043511975819267566018752520823759764437231724115689697806612978880625123659502931913450723564646308547282338046061496464059305175331219134822079230446974195364450778976568898614603938279858205804250272594267344450898139657448530000866812181374299699971231208082740134833644004655274066502712226096441520226298441462144800312100128385686776090099140625/6029606367089529370935226017193828723316618367464986900905772753306432864433482776248968067841965681462643557744429035044393113889785745161038111349972383171826915073599343856224886933633494065725987368850427267378573759201335398598942268227126366432069434021570608396606601933150499098545646841976542264529818183080586893110738880005376614175577099635251267596961670218336205814656152795327711433778580747712254954465955101282600125597750935561420854891029345109179898333538088660190079104695325425110942248488209636210422772605257623720571090010485378164724256150290406474797204706576911623333424505990440583031476205508587840894424581492046447557099196250563842308377291151820199335984874953163911996162819742782733887454994411017229184151935564432303838650157488002960718506804592518788844857071366393634552763434319915606373790234974338290271581319662637700053367347185606167424154984489458444170247255045946188168747527832848427891578135418218545467606930907402103946709269635717559059180408598493732245335607973499368093912078515292807318267051144067625896064403404849553410160474044296838178362669244233795289876473126878753753407782398384839877919638018455847264933832061061269107565052782837171963285656685332660912896077431330589824277065600802261511900625031257941058082461949381833511005748151012337566406419913944898706813325600373981997751066058593497583937900194522870133152688461070115714933209102787140211975587887365634713806175695978217006399124272893680718605751926436928217182636937039609599233750652318295596180865317978950753390053851005181506528351215009242045988913966048937213116077689137579293193414164771180876881352216382536247802996743460757753561206940938570590712061890062132404025906098245936278365300965862603443012064072187878362065196856672473665036681396899930491596265301617165826237123742518883643858459894715590516968902869982292960088421350625912596781451729510340760796197637665040634476736778659509553789042038395992760418288002755762434753214052423758671321839332547687818759617723211524283621057204603815819950525007677606560171763430056247970341558503240217837531418387057550404156315648602342511145842471480946652724813468072931176493843627072618024060795816353180709447549841309696*t^43 + 41136255871769042885704597877986875077949938987762390906590043877674809458095148921903859550411068524062723565056074385888250706174958186899857719504986506459711051151880965190799023216025869913326108670829213471654546335391427605860144591809173802775054281194703371750464074069446578143244201379830499148010257872784482779543076739775579657793783503594772861262123190860537902230548600756078538587426512208651037753004734802913933000771899940338384362372283597381459915061475729589458566145885278508322296375813705055333982821646904838312076991358555818690642205327890138440781697532588192727781728378210615446032535516466967727138909337525054188428326716372129763182563443959355424821704793681092382331323825196384575621669747741775275616390366645666014307455794378075498238786973328126339821768345970825734396538995674321121587831696196806945178112505388299938374640939449706022816279246749231134252766048795300792810797805128353881573787101627322027020269538418064623805369858112671902057708455008432185582295085153489839875128916563136439947914949647058768214926126764504458877897093183116442600079566973956702946348735618584551298453621149846038834239253947367938937264205928161851741682743382702363848450850884384435262383292030308228176151784763097093062952186792330817168447110723752938302574747020510711408596289762357976061353035056827765066058081373605068624185700939931382769177557257658166013873505739015732986105539784579335278706143269731397020821305179405475816425005609984603523356266821899782771595622469292907683647897857673523611867866960315990652877464378153563012049296058665709049552054545632230945328479454235144420038548752111931626222080608466169471348940858240363821480769322450821376282110516625360246512357998331679525474281978487784227573129089024515684286164980054886131115781663331863155659702964664621275858345558629145558953535483683104597646612482637303997623503714364961259582384928384453374557071205709869868789561553162059394202576088883007921821597383536656344769576964278627554498181415250284490844486410779788306415802362941166063171490607858343759985038446775383289327572893031618760703236627618816926847422726108081152098949481060849258915338030268419798228761309115946963062132434159720416538904391040442865978836901353979619158621832233055491565208866669635493515625/48236850936716234967481808137550629786532946939719895207246182026451462915467862209991744542735725451701148461955432280355144911118285961288304890799779065374615320588794750849799095469067952525807898950803418139028590073610683188791538145817010931456555472172564867172852815465203992788365174735812338116238545464644695144885911040043012913404616797082010140775693361746689646517249222362621691470228645981698039635727640810260801004782007484491366839128234760873439186668304709281520632837562603400887537987905677089683382180842060989764568720083883025317794049202323251798377637652615292986667396047923524664251809644068702727155396651936371580456793570004510738467018329214561594687878999625311295969302557942261871099639955288137833473215484515458430709201259904023685748054436740150310758856570931149076422107474559324850990321879794706322172650557301101600426938777484849339393239875915667553361978040367569505349980222662787423132625083345748363740855447259216831573674157085740472473443268787949857962684863787994944751296628122342458546136409152541007168515227238796427281283792354374705426901353953870362319011785015030030027262259187078719023357104147646778119470656488490152860520422262697375706285253482661287303168619450644718594216524806418092095205000250063528464659695595054668088045985208098700531251359311559189654506604802991855982008528468747980671503201556182961065221507688560925719465672822297121695804703098925077710449405567825736051192994183149445748846015411495425737461095496316876793870005218546364769446922543831606027120430808041452052226809720073936367911311728391497704928621513100634345547313318169447015050817731060289982423973947686062028489655527508564725696495120497059232207248785967490226922407726900827544096512577503026896521574853379789320293451175199443932770122412937326609896989940151069150867679157724724135751222959858343680707370805007300774251613836082726086369581101320325075813894229276076430312336307167942083346304022046099478025712419390069370574714660381502550076941785692194268968457636830526559604200061420852481374107440449983762732468025921742700251347096460403233250525188818740089166739771847573221798507744583449411950749016580944192486366530825445675580398730477568*t^41 - 598033602007290675135883598122973329525735523996324375402330637325958962351031358409815244660285271247095688225269794562342154695554632938275188364574484856783294414075983196379873188089045331637221444677328309328975000324306509027681824769974653360541796454880408819308351492107945706319280057332491418351893186581396214718209172072459967482806820435695394038225011310838778431523794491079224906709265852335624611397484758098014604001833892799558657216735775521521771676232167425054189731949783865985960235776258001110643125581898692032165107147743642618168361210113410178773014636139981959024464284802759921939647853449514585778810042195778193496620936386941871563317922809594601694950695930098899132244401611414947680116135130738636928213084054562944969925426809167745114940672136324059390521417661323346431452994724050316635890270427493073962251118830021730044199976853358381686607807560324565850378028403562752001270931357907475045000277777503671949081511772109332899036205389648738625968078702201349213095633028546159436432908606037660788296035564780636684365871694076319095380957437955595033191917505585416212015560813194112621764781742672550146348341487724650935723853528368058987253366397845592069305133261680688555848153683833436117912654211248158517660028357958969787294878589639057007991593081448441267307962609538976914772075260394925584599316903062595266724109066148312980346074631511493723110932868678008523505154694900639161435852225217764820821688686033892192793969923927326499232655389557414337198087684786170098215116937297585027564502122456377502460722918087998468277751525943334099407972353605900562137496575086883372030006826178762266070806191295821337184311508074314380699378432230529265857876806769643939617878844491590008918766682933943535796939093714697284302403375520546335228011527679729193702688551827116674360944735857249544917512064997653133728409816345878396700646110763819613090299620901404723014140710203790438054311597529980430442384687944207902518429548388603995063062470993003444849141427235727606145209429597158427576838086317273724818903844638846492906438427853390203859394181273514797801869669603595471300224366234536158671976992419242160436659544091719799344004558411695401297561119791265456595588696996244148010793369700824790644883295167134848204943983358799649158828125/96473701873432469934963616275101259573065893879439790414492364052902925830935724419983489085471450903402296923910864560710289822236571922576609781599558130749230641177589501699598190938135905051615797901606836278057180147221366377583076291634021862913110944345129734345705630930407985576730349471624676232477090929289390289771822080086025826809233594164020281551386723493379293034498444725243382940457291963396079271455281620521602009564014968982733678256469521746878373336609418563041265675125206801775075975811354179366764361684121979529137440167766050635588098404646503596755275305230585973334792095847049328503619288137405454310793303872743160913587140009021476934036658429123189375757999250622591938605115884523742199279910576275666946430969030916861418402519808047371496108873480300621517713141862298152844214949118649701980643759589412644345301114602203200853877554969698678786479751831335106723956080735139010699960445325574846265250166691496727481710894518433663147348314171480944946886537575899715925369727575989889502593256244684917092272818305082014337030454477592854562567584708749410853802707907740724638023570030060060054524518374157438046714208295293556238941312976980305721040844525394751412570506965322574606337238901289437188433049612836184190410000500127056929319391190109336176091970416197401062502718623118379309013209605983711964017056937495961343006403112365922130443015377121851438931345644594243391609406197850155420898811135651472102385988366298891497692030822990851474922190992633753587740010437092729538893845087663212054240861616082904104453619440147872735822623456782995409857243026201268691094626636338894030101635462120579964847947895372124056979311055017129451392990240994118464414497571934980453844815453801655088193025155006053793043149706759578640586902350398887865540244825874653219793979880302138301735358315449448271502445919716687361414741610014601548503227672165452172739162202640650151627788458552152860624672614335884166692608044092198956051424838780138741149429320763005100153883571384388537936915273661053119208400122841704962748214880899967525464936051843485400502694192920806466501050377637480178333479543695146443597015489166898823901498033161888384972733061650891351160797460955136*t^39 + 7656756140708688473176052378136908169324420615055446426887879314828714549735059281329849746266992272444877964392725798149852274292236221396886834848522923754315496278260742953198354801146183052376770782424196466812922022796645804668503373914670026216359583340090719975813567203570821762421780253603368208918208758824249621182252045138087771916199062099606428708061345701863466352711639411937111874804802315377962375675832337417066008287926064596280814894955044062041816794552126080755945232056972972931313791599779695674867508153086200729837692219903247174032091393236975499046996519594427822186071559318266205411036876637359910133634649224228553325512597966686153445658712403838232572642327321672365760666366391606485160153233429918447908153057787856760992961796345444315902479451973920166717879747668633207451487907515994116986562517548046448368332490469921104869268592911907610208365661052574200926797778188250836625477948030859563088572783257142022222961036561008191145156197805715784905713415855769160736681680579144206274676892506410613205796904163651083133678306561361393261866817423297058402291040153625066552197177981187506044347579837469481362591791097887782991598125082720869518659630462997488430483216614190193868920302790701129278469270185938622289715827473701475478122017241820943974547369208040123727381799406955240333234621181318976457795983294620983991344106907734434781120461928043314591378085590572571833536002404095936301550206224375592089533678218616871423341405206589079327850449565424137307440030036907556129052201640675178084771249538153455338514272614604296619075087405279984609606811596546228369277013525383801441016950706259913081046048298578637824838100834010601289128900720226105545240188716811972217144867993183225165932798241380503960341369175038487737136154391237793166335332769036649713509967541103519756481074670129821043536779242438309587420636306265462327964074701036815855807377388347190724419062591654255301625253233029076105557459361753402229167315076200953509951924228582060490982139745071998179849325684675170784381308658299567896139999389970065510847584154734848701141110059366816682271179238405187171954207057955389285607191876167261483177220562191934740369587189311015487357694665296115874678825893511546835128893382406621285336479165816301324121352845907709774926796875/192947403746864939869927232550202519146131787758879580828984728105805851661871448839966978170942901806804593847821729121420579644473143845153219563199116261498461282355179003399196381876271810103231595803213672556114360294442732755166152583268043725826221888690259468691411261860815971153460698943249352464954181858578780579543644160172051653618467188328040563102773446986758586068996889450486765880914583926792158542910563241043204019128029937965467356512939043493756746673218837126082531350250413603550151951622708358733528723368243959058274880335532101271176196809293007193510550610461171946669584191694098657007238576274810908621586607745486321827174280018042953868073316858246378751515998501245183877210231769047484398559821152551333892861938061833722836805039616094742992217746960601243035426283724596305688429898237299403961287519178825288690602229204406401707755109939397357572959503662670213447912161470278021399920890651149692530500333382993454963421789036867326294696628342961889893773075151799431850739455151979779005186512489369834184545636610164028674060908955185709125135169417498821707605415815481449276047140060120120109049036748314876093428416590587112477882625953960611442081689050789502825141013930645149212674477802578874376866099225672368380820001000254113858638782380218672352183940832394802125005437246236758618026419211967423928034113874991922686012806224731844260886030754243702877862691289188486783218812395700310841797622271302944204771976732597782995384061645981702949844381985267507175480020874185459077787690175326424108481723232165808208907238880295745471645246913565990819714486052402537382189253272677788060203270924241159929695895790744248113958622110034258902785980481988236928828995143869960907689630907603310176386050310012107586086299413519157281173804700797775731080489651749306439587959760604276603470716630898896543004891839433374722829483220029203097006455344330904345478324405281300303255576917104305721249345228671768333385216088184397912102849677560277482298858641526010200307767142768777075873830547322106238416800245683409925496429761799935050929872103686970801005388385841612933002100755274960356666959087390292887194030978333797647802996066323776769945466123301782702321594921910272*t^37 - 85928801456610556933343152652290333116321938317352913973668759665011128245376822529057489791524190176512848592268111329254779436369467240701983802860399710457029871505644899793062621599042187425318424690342651252562683755919151937963192259595971512985390835109742686308419928426119316089450883911723982673844992470948392991783943988028372931703448504031758082750744442339521354634655272403684298853744360727272910061042466840158811822255940504445309877376086753137956324303274324742254750627665230516882694554381062012968339082450521633557599449543236535811719509425999389640423765699771157317452230608412686489583358974580834736693375412106952129400629219746788795591913755120793508425529667822497392952444105299765550468566381424497941961859922706050527428700188386073726972253789439025894404625029580888947276373316774219890717855535214709839679512530088352105159071662531926271227204033838803413792802610852660545826856056315094552682836412238277911752097949228968610191342089099634573457484384375876260926154320210575702220215908495141783609137168574547140592133819367314961818487143961574086285448718564055238948831764004790714771012890458001927314989934041783216138553409935065830925478240090820337747575349163023724494588658355398029996067271590331122154098576539478530179705446839369603941784432356432470487314819116140144909182495700011697208773522429816556916812885913420282349528250493794917588112834626559834516424248569789973540116082544321442523450833439493581518852425473290258544214465991617442230240569123359399656823158530280273303282119153284604317200834907569081430794097405478226621517315953026575835150832623037639559859132075707289377541345910336402293936347521893812977952283877620768750706961104035165219483566866950398040041977895481867064219870309212299596216800234345382929666469703640225551829290537176957232905003418572192109601504751930028655507726683148475906575085795881686026438744992722278015591638139725018086801932894390134894468682382286473097123751291108318986600437926994572313928214326502285490771304295679971021519029373002719405629315971559263889833832094059796372545248675810356457559935593456027433632222257749315614267103377667743542560429167000691605284395951307011251323977866785695761032577206072263380189652794698583623026772850715709346946204609750363716087421875/385894807493729879739854465100405038292263575517759161657969456211611703323742897679933956341885803613609187695643458242841159288946287690306439126398232522996922564710358006798392763752543620206463191606427345112228720588885465510332305166536087451652443777380518937382822523721631942306921397886498704929908363717157561159087288320344103307236934376656081126205546893973517172137993778900973531761829167853584317085821126482086408038256059875930934713025878086987513493346437674252165062700500827207100303903245416717467057446736487918116549760671064202542352393618586014387021101220922343893339168383388197314014477152549621817243173215490972643654348560036085907736146633716492757503031997002490367754420463538094968797119642305102667785723876123667445673610079232189485984435493921202486070852567449192611376859796474598807922575038357650577381204458408812803415510219878794715145919007325340426895824322940556042799841781302299385061000666765986909926843578073734652589393256685923779787546150303598863701478910303959558010373024978739668369091273220328057348121817910371418250270338834997643415210831630962898552094280120240240218098073496629752186856833181174224955765251907921222884163378101579005650282027861290298425348955605157748753732198451344736761640002000508227717277564760437344704367881664789604250010874492473517236052838423934847856068227749983845372025612449463688521772061508487405755725382578376973566437624791400621683595244542605888409543953465195565990768123291963405899688763970535014350960041748370918155575380350652848216963446464331616417814477760591490943290493827131981639428972104805074764378506545355576120406541848482319859391791581488496227917244220068517805571960963976473857657990287739921815379261815206620352772100620024215172172598827038314562347609401595551462160979303498612879175919521208553206941433261797793086009783678866749445658966440058406194012910688661808690956648810562600606511153834208611442498690457343536666770432176368795824205699355120554964597717283052020400615534285537554151747661094644212476833600491366819850992859523599870101859744207373941602010776771683225866004201510549920713333918174780585774388061956667595295605992132647553539890932246603565404643189843820544*t^35 + 420403749411304488032711849754720020809841725519757997893605629373893254328718216898925565897910507684544791898393795779113727704472350019035011298265947876290752422820733155531763867147014934144676316023417508236283279343107410831571332538591876225140719797328757006710098726560064383523143546549728816803901148109668016616970480188173618356038534710968141100776514466721264126719322353317091261676829321961156039006614968083054488864495286363103794867129462171755786734471137317115416829792843226944706597435961527209740313211372054649284663103582183991016454550234608271402636947426148967945424489401181967847460503872851337471155912046846407971804037390556862372914270332193276067650232567929609538692600522072790277589136370920644974772070894520022058031087646468335482520615019076379224827179511517339407001610074345530691109455595065954565704218625775189236116131150820551073863160182667080029189536425816482344994479514736379625317783462514556588885975625271628578752665891576704426656203495026121666908222434734211249709880666580930435949569896220407032095659368675696457769645920583863907582255490900640681151232381425969305164539519674263970618062726491536504174780562328940851162972834497779676179377842059465655118606821773805202717881498212423842288057569344209183946930533971737648387093543734459532830593005161775810540381817560228459697243328839751040636514486966671677205661099441264514732437519986371223064813761283940477827289805046656931468417540992907394418502560638614326005094741818748122910603200234566434926964420672475531613413074573613134410041513516839049953572852223134645541636342498855869156267550650217899930693072389869600244412626827608706567260735396487450506658792505350642243230914466916519945260581733933810247030087695362144824686694452533012335132093559791248551374537527924732762749758426030664837952148908815268108270907120385209293927793665224414577719543737475549969467186773317377330400831967905901243611737162161058127662758604230008581617710932019297430201083563080774668215692202645336286751143695739951294046927612027283992150893271562920139631157140429787778085493215167630721250935470698826744677597714311494857684987647078243755066641255616963212043410733982365228399836816763246968025818067581217735203991791187929215131397469142972716186359822712790967195703125/385894807493729879739854465100405038292263575517759161657969456211611703323742897679933956341885803613609187695643458242841159288946287690306439126398232522996922564710358006798392763752543620206463191606427345112228720588885465510332305166536087451652443777380518937382822523721631942306921397886498704929908363717157561159087288320344103307236934376656081126205546893973517172137993778900973531761829167853584317085821126482086408038256059875930934713025878086987513493346437674252165062700500827207100303903245416717467057446736487918116549760671064202542352393618586014387021101220922343893339168383388197314014477152549621817243173215490972643654348560036085907736146633716492757503031997002490367754420463538094968797119642305102667785723876123667445673610079232189485984435493921202486070852567449192611376859796474598807922575038357650577381204458408812803415510219878794715145919007325340426895824322940556042799841781302299385061000666765986909926843578073734652589393256685923779787546150303598863701478910303959558010373024978739668369091273220328057348121817910371418250270338834997643415210831630962898552094280120240240218098073496629752186856833181174224955765251907921222884163378101579005650282027861290298425348955605157748753732198451344736761640002000508227717277564760437344704367881664789604250010874492473517236052838423934847856068227749983845372025612449463688521772061508487405755725382578376973566437624791400621683595244542605888409543953465195565990768123291963405899688763970535014350960041748370918155575380350652848216963446464331616417814477760591490943290493827131981639428972104805074764378506545355576120406541848482319859391791581488496227917244220068517805571960963976473857657990287739921815379261815206620352772100620024215172172598827038314562347609401595551462160979303498612879175919521208553206941433261797793086009783678866749445658966440058406194012910688661808690956648810562600606511153834208611442498690457343536666770432176368795824205699355120554964597717283052020400615534285537554151747661094644212476833600491366819850992859523599870101859744207373941602010776771683225866004201510549920713333918174780585774388061956667595295605992132647553539890932246603565404643189843820544*t^33 - 1782515622875082913535747457140628264391777997203318364259152579473490931885769831248489616222118834464177603071204398795038592312740964045563683412167738929805808529538226829225168183891207219023237597060590231615389602216571493491451590660728317285941115067043005234884312336575967135369340385652073644838319163040314276771032715316535972480315949399534795570252497205072455715802081785249400409390821747752804687347369861735132192153620930693618486892046922061038239476001474485998620207569144623947323227841538058603807475833309185125514829576895216660770643337916768717989248098954180477933295148634268722503121656732657831712993260466629902412630089258231810466919990666386544049761051229939033626251282147425054619165690443769323573484007040976664733800701577604653644568617519762553013056665659139030910437203594855908027032442225068622810010555841715057366875165736492679139925778136031354259950091332845595265582602580645012817247093082052319717284669396049928172662154925365796005663885216543047139694003429834937578721363325659517013898245013202502935239125304857961835029529752486294075105214073567362653332211506928856821727243363507063516374204530191910340769873873468965179588406394290045991329011031149550817124526072539783312142435850865271043162855180985803692337180443541633826542076860007898149446345787573149053086877649271859790785246043997767709729888431462011552060969337956221981654471483697512517327680327125284759395208662205335174415489756405512150877497992637289455428005129198537528461248528282205196362970778794615839170862229568530554394864524059306217902837590390285060246924804133518585745767876633458885527915156005756002225452114854383278605657035231700238257694237781819405890944677089913933437262759062087272125858238584509235476576157361732360344701451747814285777116628764248598482117457765769427659344983528948327202768403868333147072820690823266400566660698248819316240139914802414426930781923536792313807739869968078285871693298784933350224346893639311085485768155728220676308700600030418526435275118486632077693447269418656595918079145615248533736754547583789092733800909711730161075558504272576600922287886042420340162030215987508826177860485893060205061002191450326182784641054914297884667001290871475362407898393419178254740925925457697146678233944433186876406051171875/385894807493729879739854465100405038292263575517759161657969456211611703323742897679933956341885803613609187695643458242841159288946287690306439126398232522996922564710358006798392763752543620206463191606427345112228720588885465510332305166536087451652443777380518937382822523721631942306921397886498704929908363717157561159087288320344103307236934376656081126205546893973517172137993778900973531761829167853584317085821126482086408038256059875930934713025878086987513493346437674252165062700500827207100303903245416717467057446736487918116549760671064202542352393618586014387021101220922343893339168383388197314014477152549621817243173215490972643654348560036085907736146633716492757503031997002490367754420463538094968797119642305102667785723876123667445673610079232189485984435493921202486070852567449192611376859796474598807922575038357650577381204458408812803415510219878794715145919007325340426895824322940556042799841781302299385061000666765986909926843578073734652589393256685923779787546150303598863701478910303959558010373024978739668369091273220328057348121817910371418250270338834997643415210831630962898552094280120240240218098073496629752186856833181174224955765251907921222884163378101579005650282027861290298425348955605157748753732198451344736761640002000508227717277564760437344704367881664789604250010874492473517236052838423934847856068227749983845372025612449463688521772061508487405755725382578376973566437624791400621683595244542605888409543953465195565990768123291963405899688763970535014350960041748370918155575380350652848216963446464331616417814477760591490943290493827131981639428972104805074764378506545355576120406541848482319859391791581488496227917244220068517805571960963976473857657990287739921815379261815206620352772100620024215172172598827038314562347609401595551462160979303498612879175919521208553206941433261797793086009783678866749445658966440058406194012910688661808690956648810562600606511153834208611442498690457343536666770432176368795824205699355120554964597717283052020400615534285537554151747661094644212476833600491366819850992859523599870101859744207373941602010776771683225866004201510549920713333918174780585774388061956667595295605992132647553539890932246603565404643189843820544*t^31 + 13009796417627480765636233586386543097135185965101528549350990014528043812982598439599296613038460422077288158852746625766222573555077651899543185598381963877857850610960960959553105746050470138732318656256720646787766609239916647260357468566085521954490114677145930150503193553843326593397370297730320863377019851815671740772365566399568844916229278014034015772810244465093360101016099462308318512966092854309148371675200789274884003080400138364570936347277232831602782462127811488402046046559299503381984096475509810079498243642917921991406205955698299341077916405865431263494015334938717089970084256034531451351620508333786108052195815012329218208169545863352408238261486490785460085999238699311981849284756226898250518971689458619067261681902277521463385600315642466886712430057228852240365904899962296801340880762829356055808457069279579623415357122961318785039094249137996111320824756834813865227947896640239781907829580611709839080901129486945063272671855463437017320542421110748505102602537045118300740921404590025370654902324274891155647921169379428408415740679859494768497563397586267239733005963220453722369787381662670396435630590529334968216858112229309948047530595908041793718131829985525115452402077393032516821228314777060383533208814414380287808592801996098666176243852794508614242059610043657455824329949491177918254054909362894288598740591175390806360652755195925632766713883921739583100524264500219717083732415551167457830119709358217339351865897838669258082244238414741999841271880435264846024902928529098429562310283647936517916071891631078851867182998200990870993186615716511373109301607885566164979864056032710333953948975037595827296688372824662335173167823923242109902881862558063337995658276440072474231572664759783470851217532180752835879711406530624643900166732591981695994687114021617951690572958945168404529743893332774999887850679636104905603642655556267752752442514776353418236748359704180980942368424826229331822359686603724858781728467252981877176334734268586630609820059272493265574538263927046374821737996842982380829975099872324826770158407910557296666396305361955552091564658009965676097390744481128544125534448236032846999116641206738442063183839894194435787103896369509851585600826603299178680790036738674633576038215012188094245182779203450371372256353496958630941484230078125/771789614987459759479708930200810076584527151035518323315938912423223406647485795359867912683771607227218375391286916485682318577892575380612878252796465045993845129420716013596785527505087240412926383212854690224457441177770931020664610333072174903304887554761037874765645047443263884613842795772997409859816727434315122318174576640688206614473868753312162252411093787947034344275987557801947063523658335707168634171642252964172816076512119751861869426051756173975026986692875348504330125401001654414200607806490833434934114893472975836233099521342128405084704787237172028774042202441844687786678336766776394628028954305099243634486346430981945287308697120072171815472293267432985515006063994004980735508840927076189937594239284610205335571447752247334891347220158464378971968870987842404972141705134898385222753719592949197615845150076715301154762408916817625606831020439757589430291838014650680853791648645881112085599683562604598770122001333531973819853687156147469305178786513371847559575092300607197727402957820607919116020746049957479336738182546440656114696243635820742836500540677669995286830421663261925797104188560240480480436196146993259504373713666362348449911530503815842445768326756203158011300564055722580596850697911210315497507464396902689473523280004001016455434555129520874689408735763329579208500021748984947034472105676847869695712136455499967690744051224898927377043544123016974811511450765156753947132875249582801243367190489085211776819087906930391131981536246583926811799377527941070028701920083496741836311150760701305696433926892928663232835628955521182981886580987654263963278857944209610149528757013090711152240813083696964639718783583162976992455834488440137035611143921927952947715315980575479843630758523630413240705544201240048430344345197654076629124695218803191102924321958606997225758351839042417106413882866523595586172019567357733498891317932880116812388025821377323617381913297621125201213022307668417222884997380914687073333540864352737591648411398710241109929195434566104040801231068571075108303495322189288424953667200982733639701985719047199740203719488414747883204021553543366451732008403021099841426667836349561171548776123913335190591211984265295107079781864493207130809286379687641088*t^29 - 162154735610265706296614199413301001988676703986220641275576838032632857661756611601845087973138710851878606436231687002806732400999821303314893257824091049541865344096381127667889764459783494241273130107927028881774659117216697178820123507977317582334793082797803201550292857281033107127913336135104304841874504437504171861231859330874960052653561413414772677255395985381584815557951548411026775992673185058782892965907335236877873987656682280330091622781080162403612943145666191021182625240679518149142347519252854417571709036546764065345363374601706121058749947551761826715887689569857464942436864681490478384449799984401239738978276217764542438708913384461618039679544017206571969667698728220986687820901838771118459103270786522107773552446085842196927701584977015467228593617467898464409547189847057092303188801519033265313015965550021111678995624034658941036256149029258611957309694543663397284300281878071726126358342984374602325297060611873935977744704804342717642787104889911438051679830211991050528436546137961601039637540164157591111734490415671896540838614292687923277318814205933533354586448867966978681512494528035105896489312613900505672694717431427833924265861660336312871752539727799452585708616891041934185218203503972524205674346427282606394028425639027683232535991419393442318228078308152943133239832956766639364831295516674974196591704457357637568431474424250918196664183843506250746393681452882646657995225551726725551581883358816617660415767908715577794610785189159149125073752326835072559874624241982306168428289606868893806453145247647494652776672515281483536388256749175129868963012422730716697206733688174747005281389110193028104429516146870114220510751596404810932339893184671635513299501893787766570866337593519233011367548306640579173713528669445647523757761375614280571056468629622780967338760335178879625742223956147467431607166942396879016884050019715254881362966922856106342516386004545166234371069137270185466600651433940444468853374028621029941474862080221370798095554739334720089085467344145500514267855683222071894311671168842355038341577925948168407483312094904170283336528036428770577531348850369934591032102351676258425596307428326353388026940747720573433280890874488251811879834608428191728642666085634707142186078667905433997978350269619232838205278668367082343942574665234375/3087158459949839037918835720803240306338108604142073293263755649692893626589943181439471650735086428908873501565147665942729274311570301522451513011185860183975380517682864054387142110020348961651705532851418760897829764711083724082658441332288699613219550219044151499062580189773055538455371183091989639439266909737260489272698306562752826457895475013248649009644375151788137377103950231207788254094633342828674536686569011856691264306048479007447477704207024695900107946771501394017320501604006617656802431225963333739736459573891903344932398085368513620338819148948688115096168809767378751146713347067105578512115817220396974537945385723927781149234788480288687261889173069731942060024255976019922942035363708304759750376957138440821342285791008989339565388880633857515887875483951369619888566820539593540891014878371796790463380600306861204619049635667270502427324081759030357721167352058602723415166594583524448342398734250418395080488005334127895279414748624589877220715146053487390238300369202428790909611831282431676464082984199829917346952730185762624458784974543282971346002162710679981147321686653047703188416754240961921921744784587973038017494854665449393799646122015263369783073307024812632045202256222890322387402791644841261990029857587610757894093120016004065821738220518083498757634943053318316834000086995939788137888422707391478782848545821999870762976204899595709508174176492067899246045803060627015788531500998331204973468761956340847107276351627721564527926144986335707247197510111764280114807680333986967345244603042805222785735707571714652931342515822084731927546323950617055853115431776838440598115028052362844608963252334787858558875134332651907969823337953760548142444575687711811790861263922301919374523034094521652962822176804960193721377380790616306516498780875212764411697287834427988903033407356169668425655531466094382344688078269430933995565271731520467249552103285509294469527653190484500804852089230673668891539989523658748293334163457410950366593645594840964439716781738264416163204924274284300433213981288757153699814668803930934558807942876188798960814877953658991532816086214173465806928033612084399365706671345398244686195104495653340762364847937061180428319127457972828523237145518750564352*t^27 + 1709948820598634903078652553451711932499697235578904967401617508181452725373524966585100843494708604624119936833572964475293576421411684678516440872623817544290059236554192566706864036316104627264469887068636572235825851483666414211470122561904516262200558019480919478055408915672145163313738612341115554554301244406966705499235371135161537819049973224926294135112787245561883849529045079709906596979163500433088835444121690335495267143327708379277793170946553343583200594127646477010263595245539477174993068686139091524928293973084453085266537749280452438126127498977863961992464739658114544580304643903902535119515770780406285237962977794612714087026669435747214683349295929842753171387114341607109764845867241288159747229014750558813801047579450642254618010460822548344524638285683446094372572517020292556342188418710700876214241970674067149784528345652068292797706791062206221431794489512642113076333436628690384493548888921115709596025964970802931871413235328841674030169588120229280676289663836150294267278745547945577000447075481792977211586434007532404416782018306326978960255246287413137158051221196423113681925604555948927023976081095288422937784654356481438570946152253001767679924910728667548833243846205190283908248864309824461470138534318011805786845415397641962634617665188497798449561227317877084707039110468891542931333324894213670663673363950886469285186819998892246465824274659363144814421971552368656135809132121656296463373384425775992641800183902124061421811576646607679750616356105654344690445204004772017819609807140743635373399029697645854566135216521196867211080001037764571789893876452316994864707452151369571622643846636022051581761727957416576954889995716923936528016316544591590062671970679497756313167063570897745440363901349926312782194813827833977130481976027282149183296796002820371733596041798863448382223378647166431832419977195321298071875881900333321579678950563127243838947355640210099975934575928178881732996464456836781903799078279692961950955127202725849209455190906362401864233553613378655234830540068735433556400747425768907621809443180289037546424408446621439363441524709540959021787710705930791650670468723743528169204428601051512294966970701756861563967577145179377727601411732082338823281526442553726285697729741474911897704123383627777202669704927557932319773880079296875/12348633839799356151675342883212961225352434416568293173055022598771574506359772725757886602940345715635494006260590663770917097246281206089806052044743440735901522070731456217548568440081395846606822131405675043591319058844334896330633765329154798452878200876176605996250320759092222153821484732367958557757067638949041957090793226251011305831581900052994596038577500607152549508415800924831153016378533371314698146746276047426765057224193916029789910816828098783600431787086005576069282006416026470627209724903853334958945838295567613379729592341474054481355276595794752460384675239069515004586853388268422314048463268881587898151781542895711124596939153921154749047556692278927768240097023904079691768141454833219039001507828553763285369143164035957358261555522535430063551501935805478479554267282158374163564059513487187161853522401227444818476198542669082009709296327036121430884669408234410893660666378334097793369594937001673580321952021336511581117658994498359508882860584213949560953201476809715163638447325129726705856331936799319669387810920743050497835139898173131885384008650842719924589286746612190812753667016963847687686979138351892152069979418661797575198584488061053479132293228099250528180809024891561289549611166579365047960119430350443031576372480064016263286952882072333995030539772213273267336000347983759152551553690829565915131394183287999483051904819598382838032696705968271596984183212242508063154126003993324819893875047825363388429105406510886258111704579945342828988790040447057120459230721335947869380978412171220891142942830286858611725370063288338927710185295802468223412461727107353762392460112209451378435853009339151434235500537330607631879293351815042192569778302750847247163445055689207677498092136378086611851288707219840774885509523162465226065995123500851057646789151337711955612133629424678673702622125864377529378752313077723735982261086926081868998208413142037177878110612761938003219408356922694675566159958094634993173336653829643801466374582379363857758867126953057664652819697097137201732855925155028614799258675215723738235231771504755195843259511814635966131264344856693863227712134448337597462826685381592978744780417982613363049459391748244721713276509831891314092948582075002257408*t^25 - 7546092028901355563225882808149075412214034461605258874264285174396327258761875194966239930287297653321996809515130051718193677721364186877487122135118870207939259417201748816070759969453467150500813867093264926938967735022914854347540405350710262694565698226748771570055647161590684000965061533458412683585332733140330824757925567174593192764901591562870145982094849489073353446993570742761488531730015041599412312366135042300684092585583390064785074816432532364438830305337820008698546017328320174206107769513241557517926844906612160625932528346176897886451816609104798425979451706314517945592169667322264140289682041599456254399407246310956114486106629481490304516527783232172426049653453526841131207902222176840920887706459700778682438538170586882600231441852449206445099416692076561131560839114145107298255082074270780657021399083632926160682091425145243792300661463896173842234385613496059767651145955030097369067720393555175684999143445990743742091385661943377436781039751721320771328523303503393673461205043748068192963233352337238469424655349735701432440101217236364576117494576743755161086607011230440676375691901591171682447461885270766988182572982332817918123759727396061244088846186692721098474298465905226845182348462128990258328672759373626364493081625550171155663246935539025672390203701086814026327047284842440206834333880824526790416006859553250529731068495247469670230824168738866449050598506017074058003062336977071888995797943653093167959661257372817389405713362699469423093166040855087955064121247810076179371029969773285167231994986951388415832614380398449658548081186283445739155834749480015236044529484077036942084523276149926403926336183940102876122407073932750219967865789682589310660495015485034415214133943537189376118067552802183349513202745890552340460360495585142251149690483464355585548933709845278064636092804767106452351917569880808301004128287653337261504389385172387593823362940868385924221491486776501755241094515759269406875820769304651200474914556797481409905444614450271049788562493192570179695663509670206233336782768514574202052505420007276265996268912307315782114282647859081635076937191845318639816833468007902393503310677830900362011727377907801050107953090791800611730005251966147667867335054725445701780049267215802218027288290599421749033233114536170375462768772138671875/24697267679598712303350685766425922450704868833136586346110045197543149012719545451515773205880691431270988012521181327541834194492562412179612104089486881471803044141462912435097136880162791693213644262811350087182638117688669792661267530658309596905756401752353211992500641518184444307642969464735917115514135277898083914181586452502022611663163800105989192077155001214305099016831601849662306032757066742629396293492552094853530114448387832059579821633656197567200863574172011152138564012832052941254419449807706669917891676591135226759459184682948108962710553191589504920769350478139030009173706776536844628096926537763175796303563085791422249193878307842309498095113384557855536480194047808159383536282909666438078003015657107526570738286328071914716523111045070860127103003871610956959108534564316748327128119026974374323707044802454889636952397085338164019418592654072242861769338816468821787321332756668195586739189874003347160643904042673023162235317988996719017765721168427899121906402953619430327276894650259453411712663873598639338775621841486100995670279796346263770768017301685439849178573493224381625507334033927695375373958276703784304139958837323595150397168976122106958264586456198501056361618049783122579099222333158730095920238860700886063152744960128032526573905764144667990061079544426546534672000695967518305103107381659131830262788366575998966103809639196765676065393411936543193968366424485016126308252007986649639787750095650726776858210813021772516223409159890685657977580080894114240918461442671895738761956824342441782285885660573717223450740126576677855420370591604936446824923454214707524784920224418902756871706018678302868471001074661215263758586703630084385139556605501694494326890111378415354996184272756173223702577414439681549771019046324930452131990247001702115293578302675423911224267258849357347405244251728755058757504626155447471964522173852163737996416826284074355756221225523876006438816713845389351132319916189269986346673307659287602932749164758727715517734253906115329305639394194274403465711850310057229598517350431447476470463543009510391686519023629271932262528689713387726455424268896675194925653370763185957489560835965226726098918783496489443426553019663782628185897164150004514816*t^23 + 27519287150631775392219806660591079378435274459288862735494465979085339125540459129360584145577619784591111355132145163116592525336398512731985447582887450713815016113689570243102468556928376511198051966817754134156788481955113694100573024014076612257123810193069474208654750572539863431374822245538610548120004735109384930868602584047775513312676725815503948634916339900756551719721732301986521487430045544715772718640837108483528423806101635764229632082772459789030125338066837164759456907526335269459020326639510652323696005800423292821994019891361430126423030173459734955255068909458341096333404461706967974710640083335676644904329378471179932438375492044884273238037350705641825539048092894828762345246801092639992845029927540606519550980635125378492070087833093733671275822390377389036253589444309593268953899545858340088722006343976801642445528622013748554474394277822893933073693947843546652123473173721931247462255421308722082758546262246808545252377678056218688552404577092164256182763564640579614583751050143449673099684392461986716046719635895577442560926053537665782747230564303077763727557909256222896998330798517684454444477237049570647437215038736361029890044819760837564942790262105801017465755636260856021315848055684210053309494399174760748241029057572358635100422602864855967905567441831120834928650836360607139380418095776629058898577885771276295096780157428076992459797706040685948034522935386102316431034054643890892582608420329500438868953150512896481947835419209015679912906847257456722481394650346177145453476729821817752427412010495496261915750756725195618704486124100711204727824903723944407498714942822414104094958973138371484599484320080931620986305663332552807001565665403258921900311396123316949507121125998592148520806068862699768223120875173025255169588034866491131605039456142244869421317957907531255085194150451600464915465594667965170932828170014067840330095581618663237123910659068157711874143459104173927111665535441283086533519778089897216107646973861454916762177225706524642701577137954087429934852917894529251323784275178902966831143289339399515865057485404889510908398750369280813920891096823160721369397846846026590025315232682297667655207227459815413603536955054533799844488956920351834213403022448511334027256974089113721843360706339145296951347362518461624534888804580078125/49394535359197424606701371532851844901409737666273172692220090395086298025439090903031546411761382862541976025042362655083668388985124824359224208178973762943606088282925824870194273760325583386427288525622700174365276235377339585322535061316619193811512803504706423985001283036368888615285938929471834231028270555796167828363172905004045223326327600211978384154310002428610198033663203699324612065514133485258792586985104189707060228896775664119159643267312395134401727148344022304277128025664105882508838899615413339835783353182270453518918369365896217925421106383179009841538700956278060018347413553073689256193853075526351592607126171582844498387756615684618996190226769115711072960388095616318767072565819332876156006031314215053141476572656143829433046222090141720254206007743221913918217069128633496654256238053948748647414089604909779273904794170676328038837185308144485723538677632937643574642665513336391173478379748006694321287808085346046324470635977993438035531442336855798243812805907238860654553789300518906823425327747197278677551243682972201991340559592692527541536034603370879698357146986448763251014668067855390750747916553407568608279917674647190300794337952244213916529172912397002112723236099566245158198444666317460191840477721401772126305489920256065053147811528289335980122159088853093069344001391935036610206214763318263660525576733151997932207619278393531352130786823873086387936732848970032252616504015973299279575500191301453553716421626043545032446818319781371315955160161788228481836922885343791477523913648684883564571771321147434446901480253153355710840741183209872893649846908429415049569840448837805513743412037356605736942002149322430527517173407260168770279113211003388988653780222756830709992368545512346447405154828879363099542038092649860904263980494003404230587156605350847822448534517698714694810488503457510117515009252310894943929044347704327475992833652568148711512442451047752012877633427690778702264639832378539972693346615318575205865498329517455431035468507812230658611278788388548806931423700620114459197034700862894952940927086019020783373038047258543864525057379426775452910848537793350389851306741526371914979121671930453452197837566992978886853106039327565256371794328300009029632*t^21 - 81672808668975772273509549301453007426290499037686912890099887551341805537370260734719615857381208109355604643827826079641316874734631981962451860562831522646504468875843761455881696345671607108931984403243955906723193596997557124782491635416436277493365127883286644818697379428605287823391867149510561156963054014633422250955612985108291951161913199326477273603435423144756926120069750298297181351025334501044985363089460416833048948130503226956407061962535434461730294478312220365303349415327864289905374131592058660002130243652981518237876768588284109435722250870289428972670714651781847558431668515146075956183074424896281266832819190620795016975902885398771605556100119506637900006274029247633168223140113162791857327517643752282636761179950989742288317751778944690905064929856329523406907814498535151143317371445242149486553058728707803588462344301979705856437062696447525549974962230163035558135875228213844973663409617997954342453001121122095364968748899165919349715520626290733429685450936574297253802463306396554901112543086998921967096791542464442676289962377008636164303220694562498385810984955001760300772883472976253414122299614503754828655241858113352169797352194742373530993487392215860009789123477354475255593624725282815861112999840181757064381112730394236339640690725290679026046746301392824307982069525638759672336782359030017661153874425880801244830620610328414238992940467658460736543689246678144699852599180011962772818747684486374448020595662007603516004503367139191602537319632742822767594101135290337511802607209134024069949785975351706286859340065355899790203708844438049029516105173933356947851209798238961811059643352580755982239363920561024978704461318826791067601395528642056986098456918138496709761937214362067182164075816335585523999726760071028295930297507213717449401342742102338309498480433797872841829298032428071743689161406574112034045930740229326364154464601098048723951333799875495706512770369678806105968166673787582810763382532181724346719837210217797838103603436242014690282361858662185115587008965669306377078471364952733314568335678178059632725960252968373685644090614926618462804677099764906708790822737981237238706526084647678766631486358953879526166320250630765495426560998499502012502807886313988696310418109939531079361452502045144812008157867789949598635586575400390625/98789070718394849213402743065703689802819475332546345384440180790172596050878181806063092823522765725083952050084725310167336777970249648718448416357947525887212176565851649740388547520651166772854577051245400348730552470754679170645070122633238387623025607009412847970002566072737777230571877858943668462056541111592335656726345810008090446652655200423956768308620004857220396067326407398649224131028266970517585173970208379414120457793551328238319286534624790268803454296688044608554256051328211765017677799230826679671566706364540907037836738731792435850842212766358019683077401912556120036694827106147378512387706151052703185214252343165688996775513231369237992380453538231422145920776191232637534145131638665752312012062628430106282953145312287658866092444180283440508412015486443827836434138257266993308512476107897497294828179209819558547809588341352656077674370616288971447077355265875287149285331026672782346956759496013388642575616170692092648941271955986876071062884673711596487625611814477721309107578601037813646850655494394557355102487365944403982681119185385055083072069206741759396714293972897526502029336135710781501495833106815137216559835349294380601588675904488427833058345824794004225446472199132490316396889332634920383680955442803544252610979840512130106295623056578671960244318177706186138688002783870073220412429526636527321051153466303995864415238556787062704261573647746172775873465697940064505233008031946598559151000382602907107432843252087090064893636639562742631910320323576456963673845770687582955047827297369767129143542642294868893802960506306711421681482366419745787299693816858830099139680897675611027486824074713211473884004298644861055034346814520337540558226422006777977307560445513661419984737091024692894810309657758726199084076185299721808527960988006808461174313210701695644897069035397429389620977006915020235030018504621789887858088695408654951985667305136297423024884902095504025755266855381557404529279664757079945386693230637150411730996659034910862070937015624461317222557576777097613862847401240228918394069401725789905881854172038041566746076094517087729050114758853550905821697075586700779702613483052743829958243343860906904395675133985957773706212078655130512743588656600018059264*t^19 + 24200682760365893014890371767891263470631630093843824472849761225649652910098399787437180302717559511065136893558364887679661056902735848140373048554049620543737054577085613698995459357378335459580623830259707262461364358256015132553680308613158528720242963524940543594005762551430372076278572933360149747807987471392230834798411804887763399214536259440101701524734461065022347367282853384935452105064035886733927569218605970145904993374736301903920502857667853260425961490056694716164658488675103964543591065697040383690583609868918497951894729492710618293147352881495956074112622590603690185107096660725511099588906166962126980130400476780575714521776123816125676707081137751900718050975743564967202291855393794072000334155062612101764615520866742608941364479040746804951673371747939508099723163695415673477558024104848278389027184397218265629102246396883584118962760306023763231954075772256019975755648802508348123789170358382688398571767452302186626509517616794051551499643547076165091543099131914044951864504872934908592788605203113667500391625803383905978050514655078343594785781199279951041271586613889927395680326509572456311474242751183810322042791894916648213153335667777397516157942664632302784105052250235060835415502780580846408535649242491472401930376878900922223123832571835189059772567657648599581768395198868672673697415276053643618102679343654892064314121039409416658499785746214052269347267122704778624811723078252857775746582716920310978315746700470334341961180342139822336470676203257294096248878779950544901933221390627105461295204240285827904328090095702671160253839520352053604619707869159139505351497239441510234533046777170203911263218766900663415907421974392427076737946848892902827932561595177665656341127354522871724685644091562472052148503728620023490384148642438877147022945656872630834750350283748145202769897696036512954478361358187132513652390813421083385084695854861955001308235886328886133713189845073096888918490964197563687464901333151545506327561832228318758407217127092186464525011733913444381527057747678870279616455147073890475242270148589473116706522829272629561849828580950046108577054388263801947930386896499057234933805534056120599071823327084786636443794104713753209908836380072478263082137099248022088774697667001389194575699761101099354418424358225199041218482225849609375/24697267679598712303350685766425922450704868833136586346110045197543149012719545451515773205880691431270988012521181327541834194492562412179612104089486881471803044141462912435097136880162791693213644262811350087182638117688669792661267530658309596905756401752353211992500641518184444307642969464735917115514135277898083914181586452502022611663163800105989192077155001214305099016831601849662306032757066742629396293492552094853530114448387832059579821633656197567200863574172011152138564012832052941254419449807706669917891676591135226759459184682948108962710553191589504920769350478139030009173706776536844628096926537763175796303563085791422249193878307842309498095113384557855536480194047808159383536282909666438078003015657107526570738286328071914716523111045070860127103003871610956959108534564316748327128119026974374323707044802454889636952397085338164019418592654072242861769338816468821787321332756668195586739189874003347160643904042673023162235317988996719017765721168427899121906402953619430327276894650259453411712663873598639338775621841486100995670279796346263770768017301685439849178573493224381625507334033927695375373958276703784304139958837323595150397168976122106958264586456198501056361618049783122579099222333158730095920238860700886063152744960128032526573905764144667990061079544426546534672000695967518305103107381659131830262788366575998966103809639196765676065393411936543193968366424485016126308252007986649639787750095650726776858210813021772516223409159890685657977580080894114240918461442671895738761956824342441782285885660573717223450740126576677855420370591604936446824923454214707524784920224418902756871706018678302868471001074661215263758586703630084385139556605501694494326890111378415354996184272756173223702577414439681549771019046324930452131990247001702115293578302675423911224267258849357347405244251728755058757504626155447471964522173852163737996416826284074355756221225523876006438816713845389351132319916189269986346673307659287602932749164758727715517734253906115329305639394194274403465711850310057229598517350431447476470463543009510391686519023629271932262528689713387726455424268896675194925653370763185957489560835965226726098918783496489443426553019663782628185897164150004514816*t^17 - 179052448728037078593325571819964784841391433403162954924020321527481981809914887728944838890074445896862147626166653905443231994741859838524380087106195306015809816095097358856272419374892540877675087012383067547362887225124625854727223239145622062094385660112608628112385587112350403086387472716032196013137126860908029674057059228659589680218899746963023316233067821476544487648916382110718282357949995624696818126507868498110585286305440172733055065814611904547219337449429535964080190115977768330729385644302788727683122293916874970573499992890686231239806704851978505205664321503748332737387331629861061720693645597021040881092137859479362601077346184156263621725349652138169545449393809525690631419100731126259243053372785958750357383005367596657108447958878632538693772641245134612205919346534670009886201549491629448081116085082353961825753303557716912842396079224220850114903370892686469490046261543728308264014823650851832167032797192753868768986606917026498349894736690485999497943908183281083681641768215745252075820953875394357579611039868637173322218447627413357552646276563781964181756031065396386417389822681029716611734819972942103292166450876759203065582305273129412134599941515970950005810110166841722385719815623212521692026846475295073334325845106688599011689152076069918179741925932903054768202527382521425718927848878479485158680274542032627062721185399551082331693633643528837727537788199918590132248738027960965213127376110965432171962730128992641954999838785488511235806844545926029807291083709306428915622877683387822063222142251668034337457747813553756581380058705594587637439674093172369193988040693894159565129432872397551843531673479327607335932445419605026014695091345707980047486490903237747148335059930077130950925444879924324973805551484838019070846853702792749798491449117524221856284693489076088952522850178425383986824988721037703493895100960817010414420777425140712163407740083312524316817480006296147080505750684080962655202588860294938592890118399756677190414597041404092840318810203030369791829201744292362000903790446744877917391792897468329436963161342315454671159695737862320685527242979167122929188104153127420824018178735499458367231686436744771489080860762490492921907123728652499764004883264769014325760457614568628653984984702998469162452475078954845448752843138857421875/197578141436789698426805486131407379605638950665092690768880361580345192101756363612126185647045531450167904100169450620334673555940499297436896832715895051774424353131703299480777095041302333545709154102490800697461104941509358341290140245266476775246051214018825695940005132145475554461143755717887336924113082223184671313452691620016180893305310400847913536617240009714440792134652814797298448262056533941035170347940416758828240915587102656476638573069249580537606908593376089217108512102656423530035355598461653359343133412729081814075673477463584871701684425532716039366154803825112240073389654212294757024775412302105406370428504686331377993551026462738475984760907076462844291841552382465275068290263277331504624024125256860212565906290624575317732184888360566881016824030972887655672868276514533986617024952215794994589656358419639117095619176682705312155348741232577942894154710531750574298570662053345564693913518992026777285151232341384185297882543911973752142125769347423192975251223628955442618215157202075627293701310988789114710204974731888807965362238370770110166144138413483518793428587945795053004058672271421563002991666213630274433119670698588761203177351808976855666116691649588008450892944398264980632793778665269840767361910885607088505221959681024260212591246113157343920488636355412372277376005567740146440824859053273054642102306932607991728830477113574125408523147295492345551746931395880129010466016063893197118302000765205814214865686504174180129787273279125485263820640647152913927347691541375165910095654594739534258287085284589737787605921012613422843362964732839491574599387633717660198279361795351222054973648149426422947768008597289722110068693629040675081116452844013555954615120891027322839969474182049385789620619315517452398168152370599443617055921976013616922348626421403391289794138070794858779241954013830040470060037009243579775716177390817309903971334610272594846049769804191008051510533710763114809058559329514159890773386461274300823461993318069821724141874031248922634445115153554195227725694802480457836788138803451579811763708344076083133492152189034175458100229517707101811643394151173401559405226966105487659916486687721813808791350267971915547412424157310261025487177313200036118528*t^15 + 250779039669436193618454838768381562464581988637217886026738079738746746568357333793704334312205871703033015485647141036723339762628533045803197161140914743407699360433335000710388643902459792844505734151273680175337606248806597730802306439183434047234522685711450608278536220760696021741511413275569594221360467314037090380080233228673313723955677879548729935840674029088155117148183947407077185126426334453025508091057233143003302534133606023854631591966050264099166244209319499913132203034089468287668287505005515983632619674873946580400936752757654869678707324890479031596661637283689564366301593152523497815603419408719645702069895352161945522534510208989860472983519598658391456372009130345088363481834649407286316085149975417967325250288932531548366158024141294617523453323072560526090062654927767048670375689139333691147799991397052876254823393705742853834770782501242062092701041142050988176167025738768539655204704599825511332675534254442656811946690329284079164896445016795977002539221716315894559793970181723439619672009366545228687216154467171182531462836266167214626097608211048066330916251899169993177045739046491579274617682003528608034438991323335117042409187762866872304732832204106383873254380082644346621063093588161279541906320506357491546682138117390812004726975243109494540365169778723619836616566341619381198511639631746192681833805259807279208094968692624259337659116638773621606808197951327989954290221883276824720710378020976554458630626898030336952649043570902389524374294423615580559061054085167168814084492624015925284101319013415674839375955888078269515668536192560630516437683915414208768097013356831212384824595149651000911048325225523518329148847808834848027834455588249748184465973109270197451205231801635668048341662959605436797181006542490568530965558364174924269347824384338927577072927514807600111897804678082851904135364882594791534147242220619523306505070370647317660873106962251254898180975906481888193754713881488448638502596609462984795120019676404823178585618378665447230241226764781437433860631782712526883893627663138562174545168991940243305242948276488014024121049785976964369370594483209265030812058228139102339768786093678248178461065799070667089884692084991223014897963274517894769038928884750687808451138859656176527834474856793912585062385671848731190645774877978515625/395156282873579396853610972262814759211277901330185381537760723160690384203512727224252371294091062900335808200338901240669347111880998594873793665431790103548848706263406598961554190082604667091418308204981601394922209883018716682580280490532953550492102428037651391880010264290951108922287511435774673848226164446369342626905383240032361786610620801695827073234480019428881584269305629594596896524113067882070340695880833517656481831174205312953277146138499161075213817186752178434217024205312847060070711196923306718686266825458163628151346954927169743403368851065432078732309607650224480146779308424589514049550824604210812740857009372662755987102052925476951969521814152925688583683104764930550136580526554663009248048250513720425131812581249150635464369776721133762033648061945775311345736553029067973234049904431589989179312716839278234191238353365410624310697482465155885788309421063501148597141324106691129387827037984053554570302464682768370595765087823947504284251538694846385950502447257910885236430314404151254587402621977578229420409949463777615930724476741540220332288276826967037586857175891590106008117344542843126005983332427260548866239341397177522406354703617953711332233383299176016901785888796529961265587557330539681534723821771214177010443919362048520425182492226314687840977272710824744554752011135480292881649718106546109284204613865215983457660954227148250817046294590984691103493862791760258020932032127786394236604001530411628429731373008348360259574546558250970527641281294305827854695383082750331820191309189479068516574170569179475575211842025226845686725929465678983149198775267435320396558723590702444109947296298852845895536017194579444220137387258081350162232905688027111909230241782054645679938948364098771579241238631034904796336304741198887234111843952027233844697252842806782579588276141589717558483908027660080940120074018487159551432354781634619807942669220545189692099539608382016103021067421526229618117118659028319781546772922548601646923986636139643448283748062497845268890230307108390455451389604960915673576277606903159623527416688152166266984304378068350916200459035414203623286788302346803118810453932210975319832973375443627617582700535943831094824848314620522050974354626400072237056*t^13 - 63884218091379067030747573244473572425654580422450066821216298281504538344313756210989305037146132447456799236358454657356290347401325686845907825017325416041842853859792002542101510945129822907009566783660447215927127320775811317392299227679720650337830434947804706149438055495600599284747847050133330674610381880289389292539409867152328836763384787491849166653129641472263671808600117556598705744167003863872311065676826131468206893147827652193078663782315284046949418091545700407093869867197378107609813839868569839313120599986078279801788251150926907467623007222389210559581786231518261847487185562750951015619932032652585801374337082763070804658789781947590791856724497449570764152779895922057980314672078967579044198994325570623747093908769415616590261666490267337103677742494649909639137467721360529496891760546130587229770718070708563529890997592110193418332596054291383929181419574366710136525780465470636762686831346000260523237757007795828153331641477974232745462677025886750134683269160226481936393050125857034359627922568852204136794126884272670172656148853856289187759100761628941895930793089999543120103161268189918599037200023064976985689618343204224173471783605904425214678456700157537851399668885290788280237787473911205959296730485473540256060602910290984235806491665560331324408384082005544665996049380889602379855303986777779490607301830652535245769246638935298415694950933817607402431971902203927085440438315596632569927801044094631479989766738512910662186528968267428157763062878148330310576955288183711368209834465243087231549671282792527760222438846584188950595443849252289028420323340299997236114764719005886060637184480137666371456555116322688844143322595203265203698164821406911033641895105558372967038522268806487896865717823597541339506799461354930172668993723762737318244674021029382520968236206220992180754656453876504162396273435139547545920923332785477919138610338751037151039320127277366421248801026091123138813320848813800608955507439939189403978002041384265657083136534119088170596787786002708414904734735823205824684448369442433152338358151053120688298310100174008563838270050089003674976116263807948185260275823648534151170427013440682279025067625092955906213771955572345875263183862256456753422289745884143588792839278174675768935809717820143329914870395245048278538285614794921875/197578141436789698426805486131407379605638950665092690768880361580345192101756363612126185647045531450167904100169450620334673555940499297436896832715895051774424353131703299480777095041302333545709154102490800697461104941509358341290140245266476775246051214018825695940005132145475554461143755717887336924113082223184671313452691620016180893305310400847913536617240009714440792134652814797298448262056533941035170347940416758828240915587102656476638573069249580537606908593376089217108512102656423530035355598461653359343133412729081814075673477463584871701684425532716039366154803825112240073389654212294757024775412302105406370428504686331377993551026462738475984760907076462844291841552382465275068290263277331504624024125256860212565906290624575317732184888360566881016824030972887655672868276514533986617024952215794994589656358419639117095619176682705312155348741232577942894154710531750574298570662053345564693913518992026777285151232341384185297882543911973752142125769347423192975251223628955442618215157202075627293701310988789114710204974731888807965362238370770110166144138413483518793428587945795053004058672271421563002991666213630274433119670698588761203177351808976855666116691649588008450892944398264980632793778665269840767361910885607088505221959681024260212591246113157343920488636355412372277376005567740146440824859053273054642102306932607991728830477113574125408523147295492345551746931395880129010466016063893197118302000765205814214865686504174180129787273279125485263820640647152913927347691541375165910095654594739534258287085284589737787605921012613422843362964732839491574599387633717660198279361795351222054973648149426422947768008597289722110068693629040675081116452844013555954615120891027322839969474182049385789620619315517452398168152370599443617055921976013616922348626421403391289794138070794858779241954013830040470060037009243579775716177390817309903971334610272594846049769804191008051510533710763114809058559329514159890773386461274300823461993318069821724141874031248922634445115153554195227725694802480457836788138803451579811763708344076083133492152189034175458100229517707101811643394151173401559405226966105487659916486687721813808791350267971915547412424157310261025487177313200036118528*t^11 + 358273476871456129339663857769972034939234236119478448390067519928904846528113619963700231623919185096903642221128190743673550848804530413803254704259054451758280648491286529161436660284119781916540850138762818498003308485533971771456982736032600641012970128108554925145771444681416561397115656754705657128227549067983615428681231119241391967531397434274867153743923380350615866160769896921741011230151423308584624731683310461911777022685724207751147009217229958756107442591939778051280910065187328821374792759038936183763507330880454990544479801748444592826316422083039505570125841823705853887921375351841905735958213932142419493512291865665498731696819915897697957603764943714268596677706646245214344513329384374455995707936015866740303187959133474804445462235906266513320360219858879705366199858586084847070025188491763370161840523312891984149603215846878836494180121554162762099925860941840197045633104355697627448942504729288077342832490091362363571521199147397336038127044255353590609187403901669515393540592146513815133356039354084321056646114151148006559580405363447082634351187073273700772083850650331518301412008119959325676836300315245986323983738164126802718503431355526172219242332246159802068591828946316184540598741177629714885570909629435265386186223544103772569822998597964323327014001788683892068443859609851809255104521068023619426946633801472116788632961004345624292734475431518853419743038687718245229730000839465937418383371169921272495751116418148689412612018872292676339767683403660149232233776527673832023179230545102715740989919659078057556954731201016548453769570490021029577740101571660576028789024102513805269720175193761542450494094855474965711692955354312518213067843575232460707169506127357849245648686366381114971053659475970903740212974651563485123703392601848283314639399841925558533319119639130687185501563139460541765780506866991010129251118552788315874831461053082785247762761934896759747873076684610524091678890624634480056096183542257214656493606174436505316492573098212017515505848568693903590024091872529578811190322042816216617558576913059501762436771556194966411531561487757125731369304014229993018797042306030603506326532963789737170226203671770600605285348872736145879083882489850843050902259495806657009914257781272236614626902307611734135400540438666763354194828183056640625/3161250262988635174828887778102518073690223210641483052302085785285523073628101817794018970352728503202686465602711209925354776895047988758990349323454320828390789650107252791692433520660837336731346465639852811159377679064149733460642243924263628403936819424301211135040082114327608871378300091486197390785809315570954741015243065920258894292884966413566616585875840155431052674154445036756775172192904543056562725567046668141251854649393642503626217169107993288601710537494017427473736193642502776480565689575386453749490134603665309025210775639417357947226950808523456629858476861201795841174234467396716112396406596833686501926856074981302047896816423403815615756174513223405508669464838119444401092644212437304073984386004109763401054500649993205083714958213769070096269184495566202490765892424232543785872399235452719913434501734714225873529906826923284994485579859721247086306475368508009188777130592853529035102616303872428436562419717462146964766120702591580034274012309558771087604019578063287081891442515233210036699220975820625835363279595710220927445795813932321762658306214615736300694857407132720848064938756342745008047866659418084390929914731177420179250837628943629690657867066393408135214287110372239690124700458644317452277790574169713416083551354896388163401459937810517502727818181686597956438016089083842343053197744852368874273636910921727867661287633817186006536370356727877528827950902334082064167456257022291153892832012243293027437850984066786882076596372466007764221130250354446622837563064662002654561530473515832548132593364553435804601694736201814765493807435725431865193590202139482563172469788725619552879578370390822767164288137556635553761099098064650801297863245504216895273841934256437165439511586912790172633929909048279238370690437929591097872894751616217870757578022742454260636706209132717740467871264221280647520960592147897276411458838253076958463541353764361517536796316867056128824168539372209836944936949272226558252374183380388813175391893089117147586269984499982762151121842456867123643611116839687325388610220855225276988219333505217330135874435024546807329603672283313628986294306418774424950483631457687802558663787003549020940661604287550648758598786516964176407794837011200577896448*t^9 - 158959018069147438385913375549528622600937347678129729513802297974091584561318394419078564819032251503855818060265987374155551340893663256637233671365895598204357260532810312102936224365395481053034729624428867508207715467359339225394099411772101884292279816740292343555679165925162470507593141417939599566399758441308869714589645637487168206407120116938730193140263955836154952241034358049516890004084494502291932936744650964787007764626613444398454084499079353765306002723146982843641797617407326092096239563587129077549397635670106011768479781167629867962713469164216732962749145116078335967188862388526606321121809870650139670912682103090475178462389852144214147540449509644502494045778937041034006078332005664816823856170635137448454993890120352280495750104179961117145116498711999619354739004904861622530026067879010106480975899035958605583620965397554701716601964735509535558810366541601304586127702599320274064213752537513492631818087897222662118988827952848286743251024033943285582035391241591904844876906292968368579206527733226520846540397372755357192452681280346623678090169851229736145728254437642353225530327529623433394683286851095575615509139600999683528105215597517933615831028981578246301757747045158679789590005885100685035463685899114113669333165110684222285535882648336231747219547538350848693325532873585120108332515807474978157303829217226483426489915628488227856594479806089929876923214393104487254744160350491156912630085405508421672435904166448018672334579681597230123244387709026288688994706063947257101209025723378103943102665063884885435091767310481312453585482205736095319125752902353892706571967073418483971149927080644745242233921129675703370253318878910007269162971602020363098715093972968760511673263799629018583193850468979407692827874730242213915396208900020690323839516015338174262565111723096885910540498755494571345915523852029017041730077447372903016553042559961334726428377927503648494757798034120169555540196043353297172526543167357811923374850660718552339415087831295635828912733534997959086076690138400704082551395329709293290133215361030662410653430924037698378472810995787787730710770009465410536572393200018005336751044359793671886888779829562057879441248726640310313197316814460550023882370736601712318185161876497051940209258939968713836482219331527286090366418521923828125/6322500525977270349657775556205036147380446421282966104604171570571046147256203635588037940705457006405372931205422419850709553790095977517980698646908641656781579300214505583384867041321674673462692931279705622318755358128299466921284487848527256807873638848602422270080164228655217742756600182972394781571618631141909482030486131840517788585769932827133233171751680310862105348308890073513550344385809086113125451134093336282503709298787285007252434338215986577203421074988034854947472387285005552961131379150772907498980269207330618050421551278834715894453901617046913259716953722403591682348468934793432224792813193667373003853712149962604095793632846807631231512349026446811017338929676238888802185288424874608147968772008219526802109001299986410167429916427538140192538368991132404981531784848465087571744798470905439826869003469428451747059813653846569988971159719442494172612950737016018377554261185707058070205232607744856873124839434924293929532241405183160068548024619117542175208039156126574163782885030466420073398441951641251670726559191420441854891591627864643525316612429231472601389714814265441696129877512685490016095733318836168781859829462354840358501675257887259381315734132786816270428574220744479380249400917288634904555581148339426832167102709792776326802919875621035005455636363373195912876032178167684686106395489704737748547273821843455735322575267634372013072740713455755057655901804668164128334912514044582307785664024486586054875701968133573764153192744932015528442260500708893245675126129324005309123060947031665096265186729106871609203389472403629530987614871450863730387180404278965126344939577451239105759156740781645534328576275113271107522198196129301602595726491008433790547683868512874330879023173825580345267859818096558476741380875859182195745789503232435741515156045484908521273412418265435480935742528442561295041921184295794552822917676506153916927082707528723035073592633734112257648337078744419673889873898544453116504748366760777626350783786178234295172539968999965524302243684913734247287222233679374650777220441710450553976438667010434660271748870049093614659207344566627257972588612837548849900967262915375605117327574007098041881323208575101297517197573033928352815589674022401155792896*t^7 + 38941482336823624396806430474709991986435518106137473645026658166984223501644769992196564449638279768986942577415005489963525008167872427293621068149734860279172735489699111831499692269561136304702329410042515553816046330483722251032942484162005749051333911667947148798653359608108653723919688791571038583451101159151186438216138048536154900303691324828393413732830973733071868738732215271957332690725242601004970004252601475861834601164685158761821762376740147052038665008135434190394241733895740118880505077808900518271678971588511401310002950874692221819822118432156351583923871000049043454889180025452083980224228252138213576474627634305079714647136595517000275672195326684258621456272678100352318992664016349420007072675407769959765458184113014131635970885880015631667447340731776742478800476374605311788269664258910257024620334076066531051971125937658105000170955902925064537317191455455963115387087468490632759914764554525101255401350609456358991139787623128735521234915791404750335859903251683475070255142374638192630661607122404789605981059997679774533847645536490561216668589455012590940978524782738300373706683225633062712394875338226847022421205626106831801750942772342845975086526817762515680390110857380822497185610120879186870777485367462581545295118015041164767646275338773903536688677060513294726170034692031755374623093783735602196844111514449632582676267421606967779093801150878369284036590489436376969061204569305690765527332812452027983620195452458862378994902826092178877034442448869012211640117392383363009341226765819249392259280056326893364205772154424661420036774285715054076711425436255527470933445732366702678694251148880396531575333715057777164178713242934470630237382741192881031696807469407675876797230293590604339474480647509653679492022562414699294854621071630022996595133213855056527586190575683219069170107086542494345669934696406556975788808160566930810100374871872755216928680555132603089283317033946611431986123017590105834990280679751337833701523116368921220800201074363442071703481161804447695951066782697987578188076790950959175671452131909247080066652292230082615743855078625943351639287796014654413219739278633250388592307297409775661388851996789694078767751988817013414812157281233853356259125970950257883709782048178081765457651088507744863838673134817132265679470816748046875/12645001051954540699315551112410072294760892842565932209208343141142092294512407271176075881410914012810745862410844839701419107580191955035961397293817283313563158600429011166769734082643349346925385862559411244637510716256598933842568975697054513615747277697204844540160328457310435485513200365944789563143237262283818964060972263681035577171539865654266466343503360621724210696617780147027100688771618172226250902268186672565007418597574570014504868676431973154406842149976069709894944774570011105922262758301545814997960538414661236100843102557669431788907803234093826519433907444807183364696937869586864449585626387334746007707424299925208191587265693615262463024698052893622034677859352477777604370576849749216295937544016439053604218002599972820334859832855076280385076737982264809963063569696930175143489596941810879653738006938856903494119627307693139977942319438884988345225901474032036755108522371414116140410465215489713746249678869848587859064482810366320137096049238235084350416078312253148327565770060932840146796883903282503341453118382840883709783183255729287050633224858462945202779429628530883392259755025370980032191466637672337563719658924709680717003350515774518762631468265573632540857148441488958760498801834577269809111162296678853664334205419585552653605839751242070010911272726746391825752064356335369372212790979409475497094547643686911470645150535268744026145481426911510115311803609336328256669825028089164615571328048973172109751403936267147528306385489864031056884521001417786491350252258648010618246121894063330192530373458213743218406778944807259061975229742901727460774360808557930252689879154902478211518313481563291068657152550226542215044396392258603205191452982016867581095367737025748661758046347651160690535719636193116953482761751718364391491579006464871483030312090969817042546824836530870961871485056885122590083842368591589105645835353012307833854165415057446070147185267468224515296674157488839347779747797088906233009496733521555252701567572356468590345079937999931048604487369827468494574444467358749301554440883420901107952877334020869320543497740098187229318414689133254515945177225675097699801934525830751210234655148014196083762646417150202595034395146067856705631179348044802311585792*t^5 - 4065535983671604859240470736388776954117214722292389355530781730357202100406270118996370055776322511869452782428743580950196115368930997245161199650651847925608229167927547318948620259064691927952210065840841412005837183802033776358592201943248064408273206026627606975738998736211220442516042920365513638808877052506414553482736731138811445986151798861332653513135402661390065127041381390182267161874283805632458647559293730327988092396796888707766996418810053090725173709138287914395668422925573194243734249343684411186343642882000876926717084887925180966617622880913910444507668782560427718933203557429341078425975170123923736191966623812943820206270950072198363977194365850436213292157291666112717478035593793206857212146730603521171131793444436276226460970866182539634263294624945373422205918736995522620938860253259044015490196431771038467884237754457564525832270298295743442285146544577967819287182253607063599079035199275221410279182950014922171828269649627545543793833307662151582719019801863992721702193951414824675132052008871224316214691291598890676984762674640181689772726997367723399375841047679208406242958562876780979970071633647140669845630400402388631894177481079985764813495439763985306335670970723630814112460162627988828127940373536700189633831265829669166929823163940252455448736038266044005212269219423517271798363736052000487714372383093710098885911478112058244232829832202957791023560919845497739818815243957158555064507803034599904309218017469802151714679411235573427952389651214142321375961990785872749508525183555777715672058731553583404259101824928073430686556878569003571605855009217856525468226456608799384691959900550422783518006698196958382308645293103901223452338918126292721784764416597541616645709448624499957987278235338346159375270778516786857693266672178324326524219534364797818587661730297276127143503325146941214692722110556725860726551831304096218551681027217477622761863498017904825956308367314054559319421358639324911613450535661451354777590181065164539057511600297406857929824715936860863730089548928009361805387401949814339823748135283100094684398281097713837561672792229483131551859070276623715072536294318995335926587037047494248415259485549660647327903402877266727225047017028847325657120472380303215459698202372701817694447783997499881498818857599524201328403666748046875/25290002103909081398631102224820144589521785685131864418416686282284184589024814542352151762821828025621491724821689679402838215160383910071922794587634566627126317200858022333539468165286698693850771725118822489275021432513197867685137951394109027231494555394409689080320656914620870971026400731889579126286474524567637928121944527362071154343079731308532932687006721243448421393235560294054201377543236344452501804536373345130014837195149140029009737352863946308813684299952139419789889549140022211844525516603091629995921076829322472201686205115338863577815606468187653038867814889614366729393875739173728899171252774669492015414848599850416383174531387230524926049396105787244069355718704955555208741153699498432591875088032878107208436005199945640669719665710152560770153475964529619926127139393860350286979193883621759307476013877713806988239254615386279955884638877769976690451802948064073510217044742828232280820930430979427492499357739697175718128965620732640274192098476470168700832156624506296655131540121865680293593767806565006682906236765681767419566366511458574101266449716925890405558859257061766784519510050741960064382933275344675127439317849419361434006701031549037525262936531147265081714296882977917520997603669154539618222324593357707328668410839171105307211679502484140021822545453492783651504128712670738744425581958818950994189095287373822941290301070537488052290962853823020230623607218672656513339650056178329231142656097946344219502807872534295056612770979728062113769042002835572982700504517296021236492243788126660385060746916427486436813557889614518123950459485803454921548721617115860505379758309804956423036626963126582137314305100453084430088792784517206410382905964033735162190735474051497323516092695302321381071439272386233906965523503436728782983158012929742966060624181939634085093649673061741923742970113770245180167684737183178211291670706024615667708330830114892140294370534936449030593348314977678695559495594177812466018993467043110505403135144712937180690159875999862097208974739654936989148888934717498603108881766841802215905754668041738641086995480196374458636829378266509031890354451350195399603869051661502420469310296028392167525292834300405190068790292135713411262358696089604623171584*t^3 + 46499354176016620842432531950923329070152382487089250717918580797067888334190014018740847067689473515945671994369115660183504931593775025112618005855806914689397866403490193607254898600351837318085078010646509919930149224592513810376853541154791666994081095833288204060419428230627407880530140057249752845892118538514816744968423619201528695682834488404092067008067885192022582356194976031553516465504366529918074399741730079789615520775512561967763785344849336281269537721367830702146338422184648834952421169494081797415607810235274837709736989495177536516434489263538242466037192378489150642299603415809651343481189463756035032543544716429839310488523055607903195944314054967435783346433996396348140511876402555237081276146619296061744448494514765127567223374717052145889253166663228392392501384398931792439340053072823264829134725909968464543949304776838581650587046162604805977813264105117379781962546425948028014520462383796640625450402205943728803279403939299544516194322713589556735039776395136119372874786722742833982131275280274556703039591335521648171174082957953765476712053936201214694072905455966672286409203349890612013366524863780766895452647688644615116883614094284306575871076048669837762623942722697171205645352228113864098415409744215216625642879866156187060538052825200277521954416015769736644996701462037612620018112853462832847140224926993137114798296129016327287829928330879609291337633594196955398106425858085817886592513104532432645310053376945835835868246104248903531824144397171604225331089184731234029857865005953582331070551809232504873123901163271680148706653573006582296393494531737898449357954293016617669156133203217007635809704575057613086759847761912325899166895687029674425239724841824520806606250627169243011855728807146175262832832468997228095551023267296096975939810032841651548270953530720588798809260861240077570264343706439322297956433208841345395767161819634390018716873242972958798493308231412351734661648646409720435237530370243409527034700391951183059117836066298456592652903790541870293425819343374246552118075267834589286026256065885231773482682337350884794838246773637155560777577491509809565278005474720209765610940648778993169607091323197356490661859916270699265749489043676681273551597281145384909260586907649163525931388715787915985703147053953229058003855224609375/25290002103909081398631102224820144589521785685131864418416686282284184589024814542352151762821828025621491724821689679402838215160383910071922794587634566627126317200858022333539468165286698693850771725118822489275021432513197867685137951394109027231494555394409689080320656914620870971026400731889579126286474524567637928121944527362071154343079731308532932687006721243448421393235560294054201377543236344452501804536373345130014837195149140029009737352863946308813684299952139419789889549140022211844525516603091629995921076829322472201686205115338863577815606468187653038867814889614366729393875739173728899171252774669492015414848599850416383174531387230524926049396105787244069355718704955555208741153699498432591875088032878107208436005199945640669719665710152560770153475964529619926127139393860350286979193883621759307476013877713806988239254615386279955884638877769976690451802948064073510217044742828232280820930430979427492499357739697175718128965620732640274192098476470168700832156624506296655131540121865680293593767806565006682906236765681767419566366511458574101266449716925890405558859257061766784519510050741960064382933275344675127439317849419361434006701031549037525262936531147265081714296882977917520997603669154539618222324593357707328668410839171105307211679502484140021822545453492783651504128712670738744425581958818950994189095287373822941290301070537488052290962853823020230623607218672656513339650056178329231142656097946344219502807872534295056612770979728062113769042002835572982700504517296021236492243788126660385060746916427486436813557889614518123950459485803454921548721617115860505379758309804956423036626963126582137314305100453084430088792784517206410382905964033735162190735474051497323516092695302321381071439272386233906965523503436728782983158012929742966060624181939634085093649673061741923742970113770245180167684737183178211291670706024615667708330830114892140294370534936449030593348314977678695559495594177812466018993467043110505403135144712937180690159875999862097208974739654936989148888934717498603108881766841802215905754668041738641086995480196374458636829378266509031890354451350195399603869051661502420469310296028392167525292834300405190068790292135713411262358696089604623171584*t
-------------------------------------------------
Computing nodes and weights
  current precision for roots: 53
  current precision for roots: 106
  current precision for roots: 212
 current precision for weights: 53
Linear system for weights solvable: 0
  current precision for roots: 106
  current precision for roots: 212
 current precision for weights: 106
Linear system for weights solvable: 0
  current precision for roots: 212
  current precision for roots: 424
 current precision for weights: 212
Linear system for weights solvable: 0
  current precision for roots: 424
  current precision for roots: 848
 current precision for weights: 424
Linear system for weights solvable: 0
  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:   121 out of 125
Indefinite weights: 2 out of 125
Negative weights:   2 out of 125
Extension rule has valid weights: 0
**************************************
*** EXTENSION WITH INVALID WEIGHTS ***
**************************************
