Starting with polynomial:
P : t^2 - 1
Extension levels are: 2 3 4 16 98
-------------------------------------------------
Trying to find an order 3 Kronrod extension for:
P1 : t^2 - 1
Solvable: 1
-------------------------------------------------
Trying to find an order 4 Kronrod extension for:
P2 : t^5 - 7*t^3 + 6*t
Solvable: 1
-------------------------------------------------
Trying to find an order 16 Kronrod extension for:
P3 : t^9 - 71/3*t^7 + 1399/9*t^5 - 2965/9*t^3 + 590/3*t
Solvable: 1
-------------------------------------------------
Trying to find an order 98 Kronrod extension for:
P4 : t^25 - 174007375964576309435136638373/733464270055645672977186689*t^23 + 153951172651106060050334095501747/6601178430500811056794680201*t^21 - 24632777273882457889865235837261211/19803535291502433170384040603*t^19 + 2354053015318629102743582121494602924/59410605874507299511152121809*t^17 - 46538604634608219310868929659510737410/59410605874507299511152121809*t^15 + 14767899455653971947839679012960762410/1523348868577110243875695431*t^13 - 113035766929709626151596261583095747070/1523348868577110243875695431*t^11 + 518594847574714663638285824411403957695/1523348868577110243875695431*t^9 - 149887996532323417856644169086966276615/169260985397456693763966159*t^7 + 200323274179145436469215778597849666625/169260985397456693763966159*t^5 - 112297857423043112018826691186454021075/169260985397456693763966159*t^3 + 5095223509927489689014550324111477250/56420328465818897921322053*t
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : t^123 - 584686313095531649455166169117001574727218622121773204616546032424574440594287952376630177101933802675786586454661302044613201305371123491282806491282609542721227755848489989451444764911990180277889641278494629631201486760464084716059975325874913560874904317039244926657362823161709150363126284310049968183185165796395685767986128511909627218709018307014379810297915790135891459004120691812552548287052340703303415904851425564024546008256494751926923579255235131954073972312683671357486452289190502619115779502165430894412100652280217629523304179429216084429399596823268312499909507937561148770794876096954824373099693683317575524438016447576678170823720869669907975906964122861663607227791233798038550759793575041553119175091683284798409292876446167570664720728902386369723957184482701745747767067052408395017263612642965484791013879963438255668056946951006497915841786421108681217158860665469073880337026149009489071375757938822151091135565653067541940212064302241004623964439287588102729831250282244706934285485157296884656604099614023566567312417415009543753260201688371013675899623882175954596231395232029704083757871307152140507956057041027167998256213812775184422357145589403909948748799104641754104280272289783262884042650887486290482966731859981762205871539919007753175869245380336707401106073502592269948869835940275672668473418018094157687315445889786068610940298603841616057801383745519162930043431054462142677288450125851911492738417529377069739388866156039620549873610058901508079532783318169625839097267973234511334593135184601768361220169992040369688913199881260372115344601888898627124783700841431218605183747108636782437179622002674728196563844890333079360667228624164604993260628582965316711278372517144654174346544906124774973978414946234044787120151337966484804942899139542442963404503522395592770753289101693188298083375018892990269951152789591201428166755409451165188483766200095846812198079881590054449338213571453307839906048718406366408878268133/93409984535743727707580237121093075492308699424275100526985505500117983268003365552956749463112801599382087357035279905510391522175309274127902845066415298327310321341416934533667649406278068325310679067232313620531161890328093279339697214529255575418994399024427590700117741429883180688608059416155992766272337410773754467115091583823950276504299094633704065109502334933438767038796676335521528708730775943625874182607655780721598783371009772166740800635083678064801674314003549820140731228712151204186512330663116267482962417293925118315561607515737118241592404181243765750397987483629177788364884908764069870103006893622040996869382297225564002434283494712583975485835165503968364602720056246110123651579145930049667923492249752061696834951798451736793953859104833542191853934548870916458069587011086401641160840266473072989121946155246824105375668482203310124357994340030966686305697212589410985646948558349110806628104623846026246242740525679011797348149819790029147303595214727234581201537850137116647390006081366506856031385524303821233442358275175927592164673938289169677824738904682137044306273671399459089502577366834396404108718873567610100707758954549240978379749855784157743061530564734349477942259654163192482397079513029689488032628830620759231670281293395601780586218933966589794670007532151397869025520556450524397173623335341618583824913884419603772174034997002191980704739888154487631528762440449008821936743057240610057293180060635548460306672648546233965690938955877936429817821577688516105223634204722915057669810642564541143506091987133373005611768713699127822889010329658384623375953311758214250442097038288097326364253943189503729007970302787651792559375700823154641028832629678639282793347803571772507152589735493174392563966179175338897675736550855180341637108434666677802117772813364278192130913498559859677650139361043134355638891906122727116025843317563003327813020183245021589408159423349214526600707064531757130917193401439778030843414*t^121 + 58301619388128692981303816751467206073293246430666349630438701194289747233221659246849432354526191271224765896611688370216415756238002387163017261371990667890222626836048300522289530943329667235881955732379551686780675190816905414310297278607598565311015552561096687481227178937181490898356970085239213331371224487457939983325222853449619653104621230245488061705607424372107850690684307001539960679926463461249957331616496544155330559584129348096086993739251870845777395921168525518291869262838978761236351221887503914227538005981415658686673028673436171200577886132653167360157314629337537879553717720543133446673888080194435981279677016527655381064838055358996003430073533916205485982118292412804147595113294781225537298433428288547160638269176556504560206151236560474894189739663427366697601992974687319124781418276212930942294880715786319842326721219271589461371634668550921815490833508477323874340547631404248932192918547570447157061085883805819342446998843770902607977377083014141823778372750266217028933333093637867095210179209191508342866495392289982963606874545210401418414631729093197951855884130347010942476216872519258620262155178502037348835566648134909300909929491604291310089726868992117964185287767975957046781430810484248342947108982219177538373477937156655525897002998277679112334402781106861999170781766596378023495229529784287601491462889580840272622203709081718289307482482170480179987930601000451629817599772292950812340920551127093865149632155458958758336159746743163355771985375044381931631972360961480490971760936067790519217002728208471051096567346444763863809880256796157941985224500249613881638201129245488499610576733653121334572647619915402055627078998461218111322199174666595792222285776398099515060373144875833442704429503624371803474981195598809026906677331632255963287295363561277341258965229546370379781110508427643355466267073072158351260133493284561835733508167991132476805885364443586532931808307353643191155317320610044650862070738928549/3082529489679543014350147824996071491246187081001078317390521681503893447844111063247572732282722452779608882782164236881842920231785206046220793887191704844801240604266758839611032430407176254735252409218666349477528342380827078218210008079465433988826815167806110493103885467186144962724065960733147761286987134555533897414798022266190359124641870122912234148613577052803479312280290319072210447388115606139653848026052640763812759851243322481502446420957761376138455252362117144064644130547500989738154906911882836826937759770699528904413533048019324901972549337981044269763133586959762867016041201989214305713399227489527352896689615808443612080331355325515271191032560461630956031889761856121634080502111815691639041475244241818035995553409348907314200477350459506892331179840112740243116296371365851254158307728793611408641024223123145195477397059912709234103813813221021900648088008015450562526349302425520656618727452586918866126010437347407389312488944053070961861018642085998741179650749054524849363870200685094726249035722302026100703597823080805610541434239963542599368216383854510522462107031156182149953585053105535081335587722827731133323356045500124952286531745240877205521030508636233532772094568587385351919103623929979753105076751410485054645119282682054858759345224820897463224110248560996129677842178362867305106729570066273413266222158185846924481743154901072335363256416309098091840449160534817291123912520888940131890674942000973099190120197402025720867800985543971902183988112063721031472379928755856196903103751204629857735701035575401309185188367552071218155337340878726692571406459288021070264589202263507211770020380125253623057263019991992509154459398127164103153951476779395096332180477517868492736035461271274754954610883912786183623299306178220951274024578344000367469886502841021180340320145452475369362454598914423433736083432902049994828852829479579109817829666047085712450469260970524079377823333129547985320267382247512675017832662*t^119 - 9859182134540062355230895644940743002976499373339398439738389461000227246644084246048714866000407130541436988173175376947593747400397902869727039805897283546419653490447659096362473725599795005275279429656982619808267232002653449563434071166111829871522837159522532493095509704985691129829433886201181045970931267654659968859694325678170606053272353128546536649739106956903301819507932971039857248068065540466696045277905621030000321230539847421083067520583693158381487035390798456352802309963947914197953031018125336063794370731650084045849771868932717900645010578339374602292292660244634933711106540214328441593188230158777250544362152422324601432895449377485283284658435707506370928207753971276286724678770614078468889330272056593037734191718251709361957253849144811756704143336333221902559854281191808292329079371262999144234871759387231013296176154533372919078415207665655349623858603032111333668575636489316581874919523244261662822375224951352150492853143775545540323405098540688611750172597610469508965482144077529500116125291059947057649444687545531590535998771612757464269801754940966535435652000044233366447746242178209354993017059187974884985834606899504785114774111536205234166023215716524232473542066997464025898003136685653443300313258701886416460083054430148829713774459883250928129674010821998665704297999455037737139160505349479839070579665229770187726907518873672103185239133415082592774729795557367904357693021118811350618623445066655588118863668124528443850986618819173909369111980517680312708918406813417977998612972727285241292565190730225016672548041148192817752906303966452874983943747125349848783944657211333172419998322631635257859455290811203274175535588246018451713296550501425119103933938734659082103020462080503423709172772497955342563185749604158992495833767108075495666503957100153293405545562460625269949668648499866948734577205154538262714673916986484057613225724783895998182514420086729497468212187467826777491660913168346752435589071828048797373/268180065602120242248462860774658219738418276047093813612975386290838729962437662502538827708596853391825972802048288608720334060165312926021209068185678321497707932571208019046159821445424334161966959602023972404544965787131955804984270702913492757027932919599131612900038035645194611756993738583783855231967880706331449075087427937158561243843842700693364370929381203593902700168385257759282308922766057734149884778266579746451710107058169055890712838623325239724045606955504191533624039357632586107219476901333806803943585100050859014683977375177681266471611792404350851469392622065499369430395584573061644597065732791588879702011996575334594250988827913319828593619832760161893174774409281482582165003683727965172596608346249038169131613146613354936335441529489977099632812646089808401151117784308829059111772772405044192551769107411713632006533544212405703367031801750228905356383656697344198939792389311020297125829288375061941352962908049224442870186538132617173681908621861481890482629615167743661894656707459603241183666107840276270761213010608030088117104778876828206145034825395342415454203311710587847045961899620181552076196131886012608599131975958510870848928261835956316880329654251352317351172227467102525616962015281908238520141677372712199754125377593338772712063034559418079300497591624806663281972269517569455544285472595765786954161327762168682429911654476393293176603308218891533990119076966529104327780389317337791474488719954084659629540457173976237715498685742325555490006965749543729738097053801759489130570026354802797623005990095059913899111387977030195979514348656449222253712361958057833113019260596925127423991773070897065205981882739303348296437967637063276974393778479807373380899701544054558868035085130600903681051146900412397975227039637505222760840138315928031969880125747168842689607852654365357134533550105554838735039258662478349550110196164723382554151180946096456983190825704435594905870629982270674722863262255533602726551441594*t^117 + 162541728397170816288392973747054046089413537257562488812711915400994930678141337534338799959296264515521878496636939280525137008960387528553973609006058568605037038772490778765174628478680321218142081197941404369392800227594669584501924831342106198076474770347293922258111699480677475302124163741866235329056053946772453957407981955979936982352730949497716871994338826234059494555687502466839148751887232699148896460423715444011378377873864794360904723389697450199148838756499651291536995324381963439769338589657076728432028121693804590717318504962784148849543099990555888020913397783156407559424893288981647434976677865860162284617454827706761279756598928644443811847456296665879157308690006096310856402120123598683000630593122753226472035113875555154208379939999768100594000384409068070086792380371360218867281115381613615841586603457367388259276299464223183270619028408195458007686282808241447570297841352952214857503726091109963040986329393683075841255258735058505491878565452976949586666016221630837493935750403408757572910162296227569245100166101420225271408291589815841623987495550421885285580473335193432104136539155701351220062272980721228523410304600160423977484852971547684070203320914864992230159358267208586061335292344430562860389640928684139786264286148465561633529979129181253980310113959918005582114813080041928625490268604687489739184006872990399785237853068052129583317647118302580638452079863738525852472637523585805814324456605985663555832886348548483150468472373941838427869463603928181451745601320936274661233069608493443944099035348960979279303540070088919841501011400565771538899568455356031445366204469503916994847959679438483109959891398954955549047158795585618817938365970360381572255426009729180282813293552721262136620091955724229523369551226287724537201377634018864247420353302725450310416809542423536276552443011478450647335509641924036505150461722515509946561966835368255566306953151815624171770754447283382815439645109065401237229437674212039134326731/3145020769333955568186519003630082758750541600915918359643074984683472378650405314802500797673544917049595499224020839138629372160120487950612360890541136679382211209244166768814056087859976282444885253514644767289663689685456572622088265515985505968782122420753452551282264236202736810604744752482556120447623328283341539153298018535768581859623246217222182168171834114873949847429245295540674350094256495245939557854217162481115509437318528019081996016582632356763807572478185518894318279739509418893755683661096461609883861627869164808566643763447353034076174656378296349050149840586310786956457309993177468456498139101360498323595232565287514397959890983477989870632584187353110867808981573750281753225018264318842269316060556902165270735992102071526115632482200640532057530122325934886226744925076268056856244330931881894470746805101005320803893382127303248577009311434502617361226519450672878475747111011056211748361654580271857684746830759086648204914856282510491360564747284651261114474577876266580400974114753528919335720719217785357108770760766898306100592406828258053882681134181742872144747928242348388084462277363947292529936455754147864480729536240718394501067797894396807051138672584040812572837940296020527689827270124196615372570580098170342571106700867336516350557405287721111796744483600005414852220251615132705928438724077616956098801025574523639405327584314066801798347887294273444065941902607477678025788201994234100019004079461538281110065361403903151390848223705454241655536234699194648746774540038815827076684854524505535760706611114793535725942640821535934668850088789268151884444972053587315598134965182121948881358066013247401051969352124557448203681620471014793608799765808650106012369227198458008543320543804319688623236177286654485345844373930743066922579803886792374919503292853161882450855726583011915486802542146961290620005851587246099269474118659028759044136576549676631893783319624744703896119206155719730840850984633075886520466905966*t^115 - 2906818545053971908162251161757767674992265867907987091840596683173640894847202825931916353166440477330042992947373499992930102836329308479652732716421248873104715748550320052897723060796974663517497322399231229029256000810102136024678125023876352506658048331844962934245615039412983461452661121369777031159887004096185985636605823888499350574866247796131868815410564486335757144931665776296678098795641916146453251645989761945789618597484927293488341930563742606519888491896478530529873129057304489214444570364041150177284284109303248076137848463823806858360779760278071213649607292781281177985407771186320891691698288740801785347865992616395132860845624209832829453325064944392767146914516310384166388629282446097429220836096156591755098952674273320109342072249291870827332378762177443587393338495358101469533918378267154543105377945635120444345511288264473126339982871638210306251448329092748373367605699303972387951735659378153918704355131761032189795343776460436896935073895215181914946126665286341735484448794791200303809691661278292860049769880951550055091307303457505256546346169025128396453792076930760630037717748436254013102980869135747686593978555338148866374005853754101862457131323120208645632984080209949859929570846907510061543006864814403659021398025809260850222039967398188783099648248971035310775389566089498022996083251374313152265976233197617721550663774208425042508629986484773081991747990753244635060058515732423801130621844881964073595662080729697250743657406733480386101569959303537232429779259180508244697594171377763585815487201769939671350401997316597690398464713356413346006206184446580112665220330168726759817536931174390894683511958928859965240956980520805166350104267286361072390487199951012722174167012832292697647260687629911751308701532378968319436194614655964164858819076349870498639247395587452168037588620659259648350721019013399334229445677359834507367009805079724375633190723049641640454732993846493500722393294204383241268922835876087868024577027310/51892842694010266875077563559896365519383936415112652934110737247277294247731687694241263161613491131318325737196343845787384640641988051185103954693928755209806484952528751685431925449689608660340606682991638660279450879810033448264456381013760848484905019942431967096157359897345157374978288415962175987385784916675135396029417305840181600683783562584166005774835262895420172482582547376421126776555232171558002704594583180938405905715755712314852934273613433886602824945890061061756251615701905411746968780408091616563083716859841219341349622096881325062256881830241889759327472369674127984781545614887428229532219295172448222339321337327243987566338201227386832865437639091326329318848195966879648928212801361260897443714999188885726967143869684180180907935956310568778949247018377925622741291263758422938128031460376051258767322284166587793264240805100503601520653638669293186460237570936102494849827331682427493847967300574485651798322707524929695381095128661423107449318330196745808388830534958398576616072893433227169039391867093458392294717552653822050659774712666257889064238713998757390388340815998748403393627576505130326743951519943439763932037347971853509267618665257547316343788097636673407451826014884338706882149957049244153647414571619810652423260564311052519784197187247398344646283979400089345061634151649689647819238947280679775630216921979640050187905141182102229672740140355511827088041393023381687425505332904862650313567311115381638316078463164401997948995691139994987316347872536711704321779910640461146765300099654341340051659083394093339478053573555342922036026465022924506093342038884190707369226925505012156542408089218582117357494310055197895360746737771744094545196135842726749204092248774557140964788972771274862283396925229799008206432169857260604222566764132074186171804332077171060439119488619696605532241945424861295230096551189560637946322957873974524228253513069664426247424773808287614285966901569375558874041246445752127587703948439*t^113 + 2528577811832858265321985807226667172810312093285485651659569957745071588603190048683546791554111972338669876395472268456316848384613996661992024999188880380285375490932239603720058266793264106337613965216003733961913080019680872415485665709782746779273725881618591980275141277745063544245024609000739776862587797527964116731319956555858830371736997112311770343265912728363627586590527248909653894003963810237946460070932964026799067546215925363507145881261840074200884003708635132576686600345172143339757897970868031083437007361716087926606656573402771160964076372497768174441724570903552831990216275318791421404203405586007991993031979011853823708598960204659723564123172477340772890609292495489526350702248071796678951562277916190989665240013337673514853662932975483408251248679989576954913153623979019856560327563971080434536605194026537114185209005388089388569941952234242263850278322079906573449495548639342565226315993593634619290994003146103611715315035259808695062172701209377153332074639555870813579030808747089394210303210773301575173716257817088650755601428705464268911079841586847170635931836157091604131602175143968710605352115014114859032866121307423431585658820624056782621996006594373902633538947092668216837969067338012257275007628588679505543836701101564259734604414548563507602920357182392536867459443037750747266062978733118435508339270227850699529185614015993645616103303409728564852731148706089088575898657364048067801400617638047825217551945529281588053560922344253808539437685005084998288740555224485181570052633613207015559783255736516557453229068279137133700363603817728043611134857539039029025796699298890643666572115492310411101905269035695823173019666115364808908930767568030821076500071888546486618800492759856614881945907484808044772537386045952078565888878170437536728106793429356125980876305442030082101143419770332950970763126903194387344392728124909474840666580560850220063504560299821298662673842280112373434993116858402285105938064565509778866472894365795/51892842694010266875077563559896365519383936415112652934110737247277294247731687694241263161613491131318325737196343845787384640641988051185103954693928755209806484952528751685431925449689608660340606682991638660279450879810033448264456381013760848484905019942431967096157359897345157374978288415962175987385784916675135396029417305840181600683783562584166005774835262895420172482582547376421126776555232171558002704594583180938405905715755712314852934273613433886602824945890061061756251615701905411746968780408091616563083716859841219341349622096881325062256881830241889759327472369674127984781545614887428229532219295172448222339321337327243987566338201227386832865437639091326329318848195966879648928212801361260897443714999188885726967143869684180180907935956310568778949247018377925622741291263758422938128031460376051258767322284166587793264240805100503601520653638669293186460237570936102494849827331682427493847967300574485651798322707524929695381095128661423107449318330196745808388830534958398576616072893433227169039391867093458392294717552653822050659774712666257889064238713998757390388340815998748403393627576505130326743951519943439763932037347971853509267618665257547316343788097636673407451826014884338706882149957049244153647414571619810652423260564311052519784197187247398344646283979400089345061634151649689647819238947280679775630216921979640050187905141182102229672740140355511827088041393023381687425505332904862650313567311115381638316078463164401997948995691139994987316347872536711704321779910640461146765300099654341340051659083394093339478053573555342922036026465022924506093342038884190707369226925505012156542408089218582117357494310055197895360746737771744094545196135842726749204092248774557140964788972771274862283396925229799008206432169857260604222566764132074186171804332077171060439119488619696605532241945424861295230096551189560637946322957873974524228253513069664426247424773808287614285966901569375558874041246445752127587703948439*t^111 - 50202359867328484143103889187433493833460836647297181241316376439711878626329561617277969380141359635719780792821952825910791925248621095898148710742670377229290287468849746020157806780939362826572369794838726393245358109739037512315843651375453658463328977452498530107598488547963902655863695329533808388234696556955851257205335373567355724461936518009476432871407093712164501934253283549603513990521033761171485537545672189394929787272650038709419297583936920516905200416060415225499182872387316121488101234022432578627909547137920025873188877170387238252025106699260542635742414497496519455038430950399521756065247448532110886972987939454146579035509632885688216134906353763447072375095998542776115392339050260066273511108006664117161486134912125278283096372687538138117227926326277835083221216750114259997618309654809596541329587447777793697367563833646824086073282043638749994108485514487917616434121888371466058884631955952985326393993596604307633550319100935181974163687235901435644265004074608693615478526746249362406655324919385218113293056991229932978573133450441078286479718771783467364740468711396744860351874461709578711854678423962266552990985815360678325263771072069868480258460630224381591976568918460045899744697109047024041070824343688607575443288253730095682404524436196237372230239976918700040585381877190197774056124767064169379718052032279524552178384541786409682225122316815486097076434735987509667574213285290669495496421221904786230019270147344407003365291511229077244435683929644792385683517419606518945316145439593491295727749872381762394314741134427685016306251412902373841732326122344216661505650546339404241558973991217058416108868766999199285005322052045911894757487302713506916250355264337385332560952919372961337561620777694023315712037086743584120643966837185804208493917856045017528075539295287658674238218418953785259381919591820880768236558110698922539332344698653395834352830969190564607478894227242575878388063653531272250664565481048294960667435466817246385/1435701981200950716877145925157132779369622240818116731177063730508005140853910026207341614137973254633140345395765513066784308391095002749454542746532028894137979417019962129963616604108079172936090118229435336267731474341410925401983293208047383474749038885073951089660353623826549354041065979508286868984340049361345412623480545461578357618918011898161926159770442273439958105351450477414317840818028090079771408160450134672629230058135908040710931181569971670862678156836291689375256294701086049724999469591290534724911982833122273735110672878013716660055773730636692283341393402227650874245622762011885514350391400499771067484721223666053750322668690233957702375943774681526695111154800088417003620347220837661551495942781644225838446090980394595651671786228124592402884262500841789275562509058297316367954875537070404084825895916528608928946977328941113932975404750669850444825399906129232169024178556176547160663127095315894103033086928241523054905543631892966039306097807135443300698757644800515693953044683384985951676756508322919015520153852290089076734920433717099801597443937753965621134077429242632039160557029616641939039915992051768500135453033293887947089737449738792142418844804034614630939500519745133370890406148811695754917578469814814761383710208945939119714029455513844687535213856763402471880038544862308080256332277541432140459102668174770041388532042239371495020945810549835827216102478540313560018772314210367866658675362274192225326744837480881788609922214121539861315752291140182357152902577527719425060506636090436777074762567973903249058892815535031154176330065532300911335249129742462609570548611605638669664339957135047438580224009244860475104980659745018253282417093091648773394646552216096080900025828246671937856507314931357772560377956699384210050157680474320719150753253187468399338815639185144939419725360490087829168032671249577844316514935167846628503648347194927382459512085408695957328578417610086057128848474484999142196593142573479*t^109 + 3729120251557001445097539536867089990375462129731564512321952777468742521668406556068721899118151224640542358635144703302945032104960070408734247321332930266638097648418904393958474546221284851288961886701357155134456626853998069941498030000968295572437386579455120286946720525979166520972308336146814432402705121795512532674849670817686156943286308977272324618637804275151537863198946818899838195144324010223052506473093421584527913842595961120548369810002699288851910041759922731338686397012215538794644845323203901717559928455598980426482007632531240931927888314378263051218416180791588290555774356674156422933197092796170417606215088994753142415023965527611489485298650396463866803405183378510422431294321020794402350602505124769050179130662572630113783799601605497067562858803856649258583505878583701870211054309922737253492698332405096414724389982681973775721394942493483669160145857949501098989339995557402335221369108869716110110857579867264660871908525011175602046972210767205039512762289028709228561672941786888589648900498145305492247532592047681134372266713167910670750440642981926068977650264995992696009909373930393173963096909442437801690448095916692686231391041801287342102857612094928116103967928982296780969077258360372778483534573104161219262629591894952998830270001728068252105735371757018963361972269505432822355589924760684008327618157458999853403985879887314807746802756177881046782332436136769218672738638959575714092636221531772095396591857221131501019837958527371640760714271631259758942976496919370579153269375550727651702884341785708801685508409214209101514555896102268685420060124656836633520376508973193516664297834615204292624551211051021929215400653378401690815172873900225174716944386990896911003915293976651989466393427367454670803985963424941807484342763186208202807353256303650312177747380972491494705853677451503308703493675395443125415019801041897467136245109345680258465080242385029908100712757182643287150828065383270937284895748653335715898633248750617082737030/176591343687716938175888948794327331862463535620628357934778838852484632325030933223503018538970710319876262483679158107214469932104685338182908757823439553978971468293455341985524842305293738271139084542220546360930971343993543824443945064589828167394131782864095984028223495730665570547051115479519284885073826071445485752688107091774137987126915463473916917651764399633114846958228408721961094420617455079811883203735366564733395297150716689007444535333106515516109413290863877793156524248233584116174934759728735771164173888474039669418612763995687149186860168868313150850991388474001057532211599727461918265098142261471841300620710510924611289688248898776797392241084285827783498672040410875291445302708163032370834000962142239778128869190588535265155629706059324865554764287603540080894188614170569913258449691059659702433585197733018898260478211459757013755974784332391604713524188453895556789973962409715300761564632723854974673069692173707335753381866722834822834650030277659525985947190310463430356224496056353272056241050523719038908978923831680956438395213347203275596485604343737771399491523796843740816748514642846958501909667022367525516660723095148217492037706317871433517517910896257599605558563928651404619519956303838577854862151787222215650196355700350511724825623028202896566831304381898504041244741018063893871528870137596153276469628185496715090789441195442693887576334697629806747580604860458567882308994647875247599017069559725643715189615010148459999020432336949402941837531810242429929807017035909489282442316239123723580195795860790099634243816310808831963688598060473012094235642958322900977177479227493556368713814727610834945367553137117838437912621148637245153737302450272799127541525922579817950703176874340648356350399736557006024926488674024257836169394698341448455542650142058613118674323619772827548626219340280802987668018563698074850931337025645135305948746704976068042519986505269602751415145366040585026848362361654894490180956536537917*t^107 - 3847931082521888772600932567609795193124197659117127604178069166055027731563644514900477890774548618133649998732181659985022623747337286902889467558264396104312981213010267547289823289650853585872442309947774347859835890202125760955595374776258269776878383853355604382601692639878954598144287471564170648731461738639258126388565756814514421818012193763554425785361082897484023980333153973607534792833579328775884092851066570887548853734313804936541876892845381768132647154374020632098315998129924850253611729879639477787097622106160913104377752177738549701845673093275526050097236740029091823967318290366587545766100129298356102075995321818905234678009183133934086194400388757207280929248918327149239485983140286600385306213491559397768835142964247061420379952404764053881066190453540930007669813879114644717054934386012747643274902265288424762891324525676303405518281395376863922207302787058064184311871538723739821979270688833956429981942102742338458743297261371743838104799880019083701703694630442656555199474019857715237224051974641154074533960143308644561632456412958874177748389913490742997221276800928745102481223918363954012214300628449516077017973651301400069818284266234290011972811113593788783078263531393460370909874930038063726767981831781434161021653787105498363744649948338064883692905688588541988260954977677072392260113259925018744025842504363178257041353104251169633755502446723174186717791630326653582891027729397851836757201619426125065655838145214707532261920849188632964905159671849871175964041925105404495977748466423692924793126030385347043148795471618923528791074242635302802242457976743134272863369959709805101999483882876792532285377896571035643058696800451835164759170539701423580160611785969324208544364555228564902198994195856438195816553708074296547896131015700075701865227793703772269322926726283032654670113461121575815404126079393722615235581759253748018092336707097791939992825113057139976600881187552099957157576088997125295920434537628254616751018515528742288861637505/353182687375433876351777897588654663724927071241256715869557677704969264650061866447006037077941420639752524967358316214428939864209370676365817515646879107957942936586910683971049684610587476542278169084441092721861942687987087648887890129179656334788263565728191968056446991461331141094102230959038569770147652142890971505376214183548275974253830926947833835303528799266229693916456817443922188841234910159623766407470733129466790594301433378014889070666213031032218826581727755586313048496467168232349869519457471542328347776948079338837225527991374298373720337736626301701982776948002115064423199454923836530196284522943682601241421021849222579376497797553594784482168571655566997344080821750582890605416326064741668001924284479556257738381177070530311259412118649731109528575207080161788377228341139826516899382119319404867170395466037796520956422919514027511949568664783209427048376907791113579947924819430601523129265447709949346139384347414671506763733445669645669300060555319051971894380620926860712448992112706544112482101047438077817957847663361912876790426694406551192971208687475542798983047593687481633497029285693917003819334044735051033321446190296434984075412635742867035035821792515199211117127857302809239039912607677155709724303574444431300392711400701023449651246056405793133662608763797008082489482036127787743057740275192306552939256370993430181578882390885387775152669395259613495161209720917135764617989295750495198034139119451287430379230020296919998040864673898805883675063620484859859614034071818978564884632478247447160391591721580199268487632621617663927377196120946024188471285916645801954354958454987112737427629455221669890735106274235676875825242297274490307474604900545598255083051845159635901406353748681296712700799473114012049852977348048515672338789396682896911085300284117226237348647239545655097252438680561605975336037127396149701862674051290270611897493409952136085039973010539205502830290732081170053696724723309788980361913073075834*t^105 + 571982457441994225332285268607367072696526488261898092078582246271804182292177948331207538885163979523687274011530567690723487353965934234425337187523329149892508847628234683181357918258565010702970840129696058079243415663202537105565422001108540826686333976712570638419930875322225837148901612179786159719045944077585874394896543985626084199238898745720511888616330775230573475847691437622739460275921581386132619463382834215818529751808967832137190026879900499161378061308503947191744084920556007536375055665365343895654779511181982781128846107766453087029466436659955820081774440988413694964505049916236027903270922174488540729175022731795979353988121508745705916497655900347779892333998235518748842288067628764074758257166467165624999062429142104050681457748014194245405947118561409770732636860727694828694525597871747831457234523528988284847324980814895714183536292443685769603588601844216181567569703186927683041718440067777502503490306265400783318114594110186700558766513208988206308255706858500567871116377055781192871329000560115775688260510245932299363278849203452032591726605963338220881408199465742189594289481725045223815188414146575234257108741502739108085063858616050931156367517169583541483878553974561743864756247783125545003739751557527026218097294655872611209951568639646560749418975974968193932934057316750191369867665656408035451356288594712537051309853333958891832881717330386285159934627647289893151289083508507190383908982355512353899072901459788940669759441824116217805970191533664061673736668760715472185657709406106977077456177351128840516099228227435509893656392471117522031059147767208371321691515415912779181713814608157756081662774627991974249013016250367673295867248145461727120298249514629495650606305418141673654097429984789217680416557967448485951492804707278833122865737787858162747854451201224184633287028888015076492737730626696371314435865158252656089036497389921634146794939518760807223659415072369937811906652432526378313918423380271846267963706557555594499651751575/117727562458477958783925965862884887908309023747085571956519225901656421550020622149002012359313806879917508322452772071476313288069790225455272505215626369319314312195636894657016561536862492180759389694813697573953980895995695882962630043059885444929421188576063989352148997153777047031367410319679523256715884047630323835125404727849425324751276975649277945101176266422076564638818939147974062947078303386541255469156911043155596864767144459338296356888737677010739608860575918528771016165489056077449956506485823847442782592316026446279075175997124766124573445912208767233994258982667371688141066484974612176732094840981227533747140340616407526458832599184531594827389523885188999114693607250194296868472108688247222667308094826518752579460392356843437086470706216577036509525069026720596125742780379942172299794039773134955723465155345932173652140973171342503983189554927736475682792302597037859982641606476867174376421815903316448713128115804890502254577815223215223100020185106350657298126873642286904149664037568848037494033682479359272652615887787304292263475564802183730990402895825180932994349197895827211165676428564639001273111348245017011107148730098811661358470878580955678345273930838399737039042619100936413013304202559051903241434524814810433464237133567007816550415352135264377887536254599002694163160678709262581019246758397435517646418790331143393859627463628462591717556465086537831720403240305711921539329765250165066011379706483762476793076673432306666013621557966268627891687873494953286538011357272992854961544159415815720130530573860066422829210873872554642459065373648674729490428638881933984784986151662370912475876485073889963578368758078558958608414099091496769158201633515199418361017281719878633802117916227098904233599824371337349950992449349505224112929798894298970361766761372408745782882413181885032417479560187201991778679042465383233954224683763423537299164469984045361679991003513068500943430244027056684565574907769929660120637691025278*t^103 - 17117164149853234915408872587916932852885594918753283940075768368394169276934768496294925125866174769533230374409879149278754071936337520340015302327563326941227191887502559026745288815015502952715500733952009392004884383054973852807918179902915972140060284609827254773427765727946603010871340582540884296874219872637048364918569631031678027629980630272432798700178653812750122821601749051871010318372713798340791002343820554540634349565803261542215843198187121854649363610455086863778155401556157590891527710982586744046173839550009401810821341702353984767769215818633559758150629220067737673742240234524731642862212736402664788395071510221526129989874764645937393564114562276380890935404912296042242552073137051200824420877911544925390033911661679728777606147305472975249920061904393882858327414739905389851941969692913964930161974803204112798088318357124235571666748385377170755239585332526305461045984964205041005550564685416627411047109473540696847141936525280254458216379345817287363651943585898102418364550224519333860642397584543176363454398966499706763321897017411209364403162286344754262922060734404594698415475605654986275701591509598017563682454334612157640683858970455162259252723022802803658254635330398208393278029900576794823516446683012836156963100844222951531488732762970871489397309356677140905349894510200503461620164122094968828085431120764834489225849683425551913087347151096717937350318949542273472708824006356805643123500452850979065954663651692266343320866720373232064861228046562879615986841578191587467198997855467104296681688599894377932316051233966594624872328131228720045393232113213883877950378064913918725247246308507345366007816864035760316880663780854833402003460054552831775988628381727923541749060765146955087764502009625169034242588500978536329862847337898178796942361473620790292012193891047724576198206363167742980500735957955146233681125491833690250273125655851345492299869598000792400650131476077297678387448356256012319839650310949928627203792504046149117450357267925/9055966342959842983378920450991145223716078749775813227424555838588955503847740165307847104562600529224423717111751697805870252928445401958097885016586643793793408630433607281308966272066345552366106899601053659534921607384284298689433080235375803456109322198158768411703769011829003617797493101513809481285837234433101833471184979065340409596252075049944457315475097417082812664524533780613389457467561798964711959165916234088892066520549573795253565914518282846979969912351993732982385858883773544419227423575832603649444814793540495867621167384394212778813341993246828248768789152512874745241620498844200936671699603152402117980549256970492886650679430706502430371337655683476076854976431326938022836036316052942094051331391909732211736881568642834110545113131247429002808425005309747738163518675413841705561522618444087304286420396565071705665549305628564807998706888840595113514060946353618296921741662036682090336647831992562803747163701215760807865736755017170401776924629623565435176778990280175915703820310582219079807233360190719944050201222137484945558728889600167979306954068909629302538026861376602093166590494504972230867162411403462847008242210007600897027574682967765821411174917756799979772234047623148954847177246350696300249341117293446956420325933351308293580801180933481875222118173430692514935627744516097121616865135261341193665109137717780261066125189509881737824427420391272140901569480023516301656871520403858851231644592806443267445621282571715897385663196766636048299360605653457945118308565944076373458580319955062747702348505681543570986862374913273434035312721049898056114648356837071844983460473204797762498144345005683843352182212159889150662185699930115136089092433347323032181616713978452202600162916632853761864123063413179796150076342257654248008686907607253766950905135490185288137144801013991156339806120014400153213744541728106402611863437212571041330704959229541950898460846424082192380263864925158206505044223674609973855433668540406*t^101 + 76092222008630480936114041774106303129370530445175518970862494010075915845038184919922576340411614504777394895803458752722426979586547736760868879013988663865416312235069792480471198745575481631594527278904089553360948008068126888351869482116501101225184608386663944090302406818470161817581919853051973809615616471462057593809659352963356843077061434426773632720351936440342122197612082403250364456452021381699724446648690925325328876589254777128998140053430609092483557965669664060770933030731150837265078523570693289690228775305277912378972737691928799791898367895682326853253727915017317249982796369566448922319491339818808924328478259975077477174250186950839902420274438488534868348008893749022610568439253995380006813990781234368208230525295126322465103042859192972950455540107123640306338154961366606364348305772678251072634157889151960835591996452909950155393575562955471774082419826757167441676255647581166084542318908154111894892173620100783794768942552625052036421830127470380303792503976852639464931859396653123379410624578541756897288126825173901873049868590775977958097089633696380862749512428325755479591516935848875781541852087655347923400638503944482291612420832591875681856008597255347029532973164812796487446474897272256678482266998814869968678143494361230346695040325661573541645290729634005742520119173372034644973682560687089075526309047886564591683945438738065787920634139333566628277042048235090574327179855053801070126314811723674579191855203585252531054525378826411318778620112270906918747879805752652269914783912266090198769699399576145781479156109316103740760130986814278825074827181211719687884415125205657088259877603430786213696702120289604152081681117637029190294545939907983051410328525702412522555565000605254921696329948900388616618086749127247520873921435788367000557953554926783290973463320421302346848359188728085495445168311519359131893356992894852226248783060171860380681107726048584931593130478555915354530893025613442390287145129935077298342688567835096471180135863223225/117727562458477958783925965862884887908309023747085571956519225901656421550020622149002012359313806879917508322452772071476313288069790225455272505215626369319314312195636894657016561536862492180759389694813697573953980895995695882962630043059885444929421188576063989352148997153777047031367410319679523256715884047630323835125404727849425324751276975649277945101176266422076564638818939147974062947078303386541255469156911043155596864767144459338296356888737677010739608860575918528771016165489056077449956506485823847442782592316026446279075175997124766124573445912208767233994258982667371688141066484974612176732094840981227533747140340616407526458832599184531594827389523885188999114693607250194296868472108688247222667308094826518752579460392356843437086470706216577036509525069026720596125742780379942172299794039773134955723465155345932173652140973171342503983189554927736475682792302597037859982641606476867174376421815903316448713128115804890502254577815223215223100020185106350657298126873642286904149664037568848037494033682479359272652615887787304292263475564802183730990402895825180932994349197895827211165676428564639001273111348245017011107148730098811661358470878580955678345273930838399737039042619100936413013304202559051903241434524814810433464237133567007816550415352135264377887536254599002694163160678709262581019246758397435517646418790331143393859627463628462591717556465086537831720403240305711921539329765250165066011379706483762476793076673432306666013621557966268627891687873494953286538011357272992854961544159415815720130530573860066422829210873872554642459065373648674729490428638881933984784986151662370912475876485073889963578368758078558958608414099091496769158201633515199418361017281719878633802117916227098904233599824371337349950992449349505224112929798894298970361766761372408745782882413181885032417479560187201991778679042465383233954224683763423537299164469984045361679991003513068500943430244027056684565574907769929660120637691025278*t^99 - 116219451972068613526515755661795328337879176147049544340752459955349213185022933912928922070630980239555944395748976418752995603406486186913595489726476667819695423662824252460109489220884574785538638699947448236617102140297394212556341346884672242114671146442103151850983042301322858024504758444860563116769210721801956345620614785798917562703340577435123157244877212667674476061802257130917724756449006057161515460940815703770657965028779255250195419720574536802427819224592428778807532131404955477572148776792172474597648433097987819915132442198147655494180432668413416140555314046616590292027210858202578168371902421861586310814967409820073758935087072446788695776745191450455763960639863978643107510359919949695692215126841946104245553389783616420670297344593665457488146489798054322319090309454189935829800239098849940606478929110528177573897140308452443993769465852715097314487867392256794282284781731342069136841484093501208178887715889996211297790857005728809645047232983363997528340100904117866596339725980464456472206024853165448121911852570850243347730696504004791839107366990426666897123008562101346201598285230050573988721539800543253638492532738605081778356413944205728041895253819350648898682989653457901809705940968718146064333699182694517137671686489466594899286608426737575065495260928671701455464534133805470090127711360615460365036015850504249684550411588223081477144967667059139827675842472713502576117340241787222418983022271145320286570591660534573768655088526892444613469890740765601319359556044035213427655511898029399798957778547579935683657781423283162070550748924042243085977589446269879328654564682198484277075624601028673101661837700332904500839121751091425972743093830353388786398577795134753301362248341539012729312876387199918182998009690151836429893440813420131717989644273482302487720007164406520068596053959457437424467979004004899029247719602315389034983336540400650588603627111678182903423738302234489165485712405539471287780344215768518064502765696012791417095315625341825/594583648780191711029929120519620646001560725995381676548076898493214250252629404792939456360170741817765193547741273088264208525605001138662992450583971562218759152503216639681901825943749960508885806539463119060373640888867150924053687086161037600653642366545777724000752510877661853693774799594341026549070121452678403207704064282067804670460994826511504773238263971828669518377873430040273045187264158517885128632105611329068671034177497269385335135801705439448179842730181406710964728108530586249747255083261736603246376728868820435752904929278407909720067908647519026434314439306400867111823568105932384730970175964551654210844143134426300638680972723154199973875704666086813126841886905304011600345818730748723346804586337507670467573032284630522409527629829376651699543055904175356546089610001918899860099969897844115937997298764373394816424954409956275272642371489534022604458546982813322525164856598368016032204150585370285094510748059620659102295847551632400116666768611648235642919832695163065172473050694792161805525422638784642791174827716097496425573108913142342075709105534470610772698733322706198036190284992750702026631875496186954601551256212620260915951873124146240799723605711305049176964861712630991984915677790702282339603204670781870876082005725085898063385936121895274635795637649489912596783639791460922126359832113118361200234438335005774716462764967820518139987658914578473897577794142958141017875402854798813464703937911534153923197356936526801343503139181647821352988322593408854982515208875116125530108808885938463232982477645757911226410155928649265871005380674993306714598124438797646387802960361931166224625638813504494765547316959992722013173808581270185702819200169268683931116248897575144615162211698116661132492928405915845201772689138128814263196615145930802880614983643294993665570113197888308244532725051450515109993328497299915323001134766481937057066487222141643240808035371278123742138536585995235780634216705908735657174937833461*t^97 + 761974391130197876219272253225867513085786988254496096242168711152836500695816356722718316348216712095049332474650118370952593043713238271082652075731803994648519881391927772919024614245814456543682369398137849790253760678830080753968990613873299799496492419941020167941340316976430335729243537858586825962266494369002536861563217396149700448959713908192087759628410476202010212413512515887050419068489986651481087422784232127227141251499666653116481635963385765901992540181511640677802682647420455370061505166951930968615255280369324221141052913272325263635842736270315239587259261832663628748142589608869737714537749453473322513892189306241735488347532520506346734323569806095533986078126562790183093468873852046677449440119746250694881167454433182625896659370460731391939080740787221851155969561713998716303288661227461486315942361772840092951739344218904275093551264252202024321899038347674760476777253824910794151013726541576468449691018053326706087066383803877726770597234916416552048890871686466025964995316215192813536754615245715059465714603924907767701327236736308064051790040746733346305833064791637647962308510064972768137485506229957786164396703598340391354860687999315151044636004664204733860255238256374426661700784249804186901691561413402763399533802795745733269761438642116118971765260815306725104123797238408644511446773839935810770933513710170923053283143257540504487057580053727528794985839576295050858427281370669713519271967660202246417160653942908499307098677060269283692333013140966306495745210723664528003688286912294722586804397452295254179599079707709410389740716643001016587894364633334067939909924626040051483409719904371317273372051138809473026345612740741395557764386865622575824766313886623071921708247158872001121778351577553490389954078300277212202698846485603093992076031710661512902496828526183489397881404559203573689666613904677695528668369823025276904148958023286355098513160432636785634199986701453146052024704402981422885219261506292370744539885129298336124846909954380850/14502040214151017342193393183405381609794164048667845769465290207151567079332424507144864789272457117506468135310762758250346549405000027772268108550828574688262418353736991211753703071798779524606970891206417538057893680216271973757407002101488721967162008940140920097579329533601508626677434136447342110952929791528741541651318641026044016352707190890524506664347901751918768740923742196104220614323516061411832405661112471440699293516524323643544759409797693645077557139760522114901578734354404542676762319103944795201131139728507815506168412909229461212684583137744366498397913153814655295410330929412984993438296974745162297825466905717714649723926163979370731070139138197239344557119192812292965862093139774359106019624057012382206526171519137329814866527556814064675598611119614033086489990487851680484392682192630344291170665823521302312595730595364787201771765158281317624498988950800324939638167234106536976395223185009031343768554830722455100055996281747131710162604112479225259583410553540562565182269529141272239159156649726454702223776285758475522574953875930301026236807452060258799334115446895273122833909390067090293332484768199681819550030639332201485754923734735274165846917212470854857974752724698316877680870190017128837551297674897118801855658676221607269838681368826714015507210674377802746263015604669778588447800783246789297566693617926970115035677194337085808292381924745816436526287662023369293118912264751190572309852144183759851785301388695775642524466809308483447633861526668508658110127045734539647075824606974108859341036040140436859180735510454860143195253187194958700356051815580430399702511228339784542064039971061085238184080901463237122272531916616345992751687809006553266612591436526223039394200285319918564207144595266240126872504613125093030809673540144653728795487405934024235745612517021666054744700611010988173414471426763412568853686213816632611147963102979064469288000862714100579076549672829152092210590651363627698955486288621*t^95 - 7496241068622936922215400033138051077819947697329992429239599490594470112277651905175249797470199279778999874182075221540294379199424848360367474698062869445366724078221991466557089914182310878844283232115656026025303347212701655977529088743957437658293037246017153374918203173331718465887267586175288491090625719966190415359654177659133156056539893196267320821238413489713525867068567403020096614417444918113073777995517984586253086597630958362859822712010705487456611891145307772429048925617220919725176383065915232440184197115927816004925390893524298487251932628861071263869154770195988562503354216258845917816480271830243531320040635865733579282994739717147474715358790014418985039559443908350244513127248674396178856325426876864252980807184889262479190063564162355022355714399063298833117700399519470006621269664189748511044560723810151800416949860298459093691219671393583166249758918801872338671556430661098276705976817909224138647433523007464785769211355413202415205944483422899658381024580645550595054494695056304293876765528902553925743613747089679757764650401428118861763279030439775771229166242859509204082298641063059060194399540245868811907909649345001159180995365427196230358417666329950213459630456509233416260673135884317973165973743397588265150727089890224972798417221182414916999124149856526175801954210610829625474036770046062041323897756651210245636861833531206433948108478693688012750276235180682572694760850884692179167649560899580500595074570389748408398764973428643271707943936812765867340466114376942621868009422526387475160458839020935955097763854418659777973750251811772897530688031912118820781173692665382318635316282245114946800453611843829684146181176118385239816351112107672169150629816459640730187416952154857728939777765715919837556227473936707849585631779272651333402194232262161661397023383889188825835906930339888199838452489962836565513504041084165934754517579336973033229866646322629259470079854479273458545906106292497552028896175822903198841598801514632546332281400384149131750/594583648780191711029929120519620646001560725995381676548076898493214250252629404792939456360170741817765193547741273088264208525605001138662992450583971562218759152503216639681901825943749960508885806539463119060373640888867150924053687086161037600653642366545777724000752510877661853693774799594341026549070121452678403207704064282067804670460994826511504773238263971828669518377873430040273045187264158517885128632105611329068671034177497269385335135801705439448179842730181406710964728108530586249747255083261736603246376728868820435752904929278407909720067908647519026434314439306400867111823568105932384730970175964551654210844143134426300638680972723154199973875704666086813126841886905304011600345818730748723346804586337507670467573032284630522409527629829376651699543055904175356546089610001918899860099969897844115937997298764373394816424954409956275272642371489534022604458546982813322525164856598368016032204150585370285094510748059620659102295847551632400116666768611648235642919832695163065172473050694792161805525422638784642791174827716097496425573108913142342075709105534470610772698733322706198036190284992750702026631875496186954601551256212620260915951873124146240799723605711305049176964861712630991984915677790702282339603204670781870876082005725085898063385936121895274635795637649489912596783639791460922126359832113118361200234438335005774716462764967820518139987658914578473897577794142958141017875402854798813464703937911534153923197356936526801343503139181647821352988322593408854982515208875116125530108808885938463232982477645757911226410155928649265871005380674993306714598124438797646387802960361931166224625638813504494765547316959992722013173808581270185702819200169268683931116248897575144615162211698116661132492928405915845201772689138128814263196615145930802880614983643294993665570113197888308244532725051450515109993328497299915323001134766481937057066487222141643240808035371278123742138536585995235780634216705908735657174937833461*t^93 + 41314424369762047529628964002933039960633959986145854043436980166067367902316492392686562227599804640003718604930639509526422841665040991509074687861580582772771888727915152188794588758605235954640729985882559983176378420650168787704387463886618561401778424408115343044609462575849642413553285864292222926323898969501871606705123707559434040215642740316001759727648023345682803032443616642831077772693838992330094474235680069191903745583883967536600815962734024237560868005899129314700423645153363525916870384854122707967997622632020732420134331584493670462210483572228418772599653619636585491568294122585946960739470691817227367499685574308751244572892755782978492333010393644934542562712969293840720141579124604433230993482651547655694148115630647187077951456134171186950285976885223720497720419673562701823621258744792159340256668082012564009824601185803124258541868061396237767809673838088367467365911910491685925701672085161973007446098747987183801892341710262014885471531446699618550169276206360538227815735281919434978367650548085646165996038523729039177240903571628978197513039206550467849679978741754644788082844316571406520446835558199594179695182123442883880079833979487273544499610408045728100632642705738350346123340621376634550995853211493428597087636472671041058233208449706102796306863628963922787659088688177220099683594424544364010805039263970301107521897941814080163923344287185422008982542121457194394290794417299041528081466642345967345450094327292122441833565524325850091149963671641472220613349713090850746985026972409537391160274829692368499441125658025961533697529042871409641182899570097299808545013800091127937281771738739923879001457862824763596593213136565531296016851497514834426213938388202716470836932135462255028718295491454646153561858037248944980603045893801867649123136234782829287415942214898508093998934141515041827035997208007513322772173394889261313732011716745528045966901839318786676198866177871645983587985527473271457773738623629091500431603344959026888926091813588279572125/15245734584107479769998182577426170410296428871676453244822484576749083339811010379306139906671044661993979321736955720211902782707820542016999806425230040056891260320595298453382098101121793859202200167678541514368554894586337203180863771440026605144965188885789172410275705407119534710096789733188231449976156960325087261736001648258148837704128072474653968544570871072529987650714703334365975517622157910715003298259118239206889000876346083830393208610300139473030252377696959146434993028423861185890955258545172733416573762278687703480843716135343792556924818170449205806008062546317970951585219695023907300794107076014144979765234439344264118940537762132158973689120632463764439149791971930872092316559454634582649918066316346350524809564930375141600244298200753247479475462971901932219130502820562023073335896664047285024051212788830087046574998831024519878785701833064974938575860179046495449363201451240205539287285912445391925500275591272324592366560193631600002991455605426877836997944428081104235191616684481850302705780067661144686953200710669166575014695100336983130146387321396682327505095726223235847081802179301300051964919884517614220552596313144109254255176233952467712813425787469360235306791325964897230382453276684673906143671914635432586566205275002202514445793233894750631687067632038202887097016404909254413496405951618419517954729188077071146575968332508218413845837408066114715322507542127131820971164175764072140120613792603439844184547613757097470346234337990969778281751861369457820064492535259387834105354073998422134179037888352766954523337331503827330025778991666495043964054472789683240712896419536696569862195867012935763219161973333146718286507912340261171867158978699197023874775612758337041414415684567093875192126369382457569276222798413559340081964490921302637964486760084487017065900338407392519090582693626936284871623807623074751871823968371331719411961210824144698482257317212259583131757348358852199503441453997659888645511226499*t^91 - 179285858330878859534036246225695139450244313990391126373964900417555174611394930350515907420064796740796987656700973297463203068304902046358510096615066430297838564748017177273792698166160417080531705916582580429949594603447312900450830033604449217550474519815431084323480886622653159728432930134558127777813432048235890942223377244805782446356675732143248406481797710032019062556654028472716349965219030890150680712158977570549985210738759032159929202133614941180407671437649106680898208567903363243301372566059071386605541287448114698236536463817972045028130532757502248604785854069535976565191425024577295005515639403518797661307462722030168783544684905132641610646756995421142921399312693775499734671374308437733979125413699720323626797729796108547429474340609398328805048031660590045222965070594864606579113498921981766612889679555369076439778911898089851117526465502891582748301042527470501389206359535554164997890838787118906544661671685498266601372315574049244662927852135251880583924112434120936692987635569890797277193165206610776298879756001526397114025765623354226918865299021813656670229845798226620107042488029247698590587029053195044923642668361226960146981259601182183960056079964073652107614272747993234850684735643198499631950231415126000877574156886799899835524567242410438457580896228925478895360245031726919721763363832080820611695184141628636817198001891002729770302898410309123265804213942095898845018021907142225450622953032276850924246646921347061707988654453107401509681000484055695043004993987677642962931448392933180011878848811311425044766794712765125426299162235089619316747306940088466583047380338202248052796241545157497935104648458135763793498477237618237263992817648798395513882955836780652078369985546438846963119080846359011657580470928087905209289804909983433045281938283495501268698095472149007617814355769887889394131050391140053874128792527915794489131041278261692588898188683813700111933827477966207007820748380959532846226012694610680173950282984048678475919424584006305846125/342600777170954601572992866908453267647110761161268612243201900601102996400247424254070559700472913752673692623302375735098938937254394202629209133151236855211039557766186482098474114631950423802296632981540258749855166170479487711929522953708463036965509862602003874388218099036394038429141342318836661797217010344383983409797789848497726689980406123025931877406086990393932306757633782794741022867913660914943894342901533465323348334299911996188611429444946954450118030959482228009775124234244071593055174349329724346439859826487364123165027328884130169818535239785375411370967697670066762956971229101660838220092293843014493927308639086387957729000848587239527498631924325028414362916673526536451512731673137855789885799243063962933141787975963486328095377487657376347853381190379818701553494445405888158951368464360613146607892422220900832507303344517404941096307906361010672776985622001044841558723628117757427849152492414503189337084844747692687468911465025429213550369788885997254763998751192833803038013858078243827027096181295756060380970802486947563483476294389595126520143535312284996123710016319623277462512408523624720268874604146463240911294299171777736050678117616909386804796085111671016523748119684604432143425916329992672048172402576077136776768657865218034032489735593140463633417250158161862631393627076612458730256313519515045347297285125327441496089176011420638513389604675643027310618147014092849909464363500316227867878961631537974026619047500159493715645715460471230972623637334145119552011068208076131103491102786481396273686244682084650663445782730423086067995033520595394246383246579543443611525762236779698199150468921639005915037347715351611646887818254837329704879977049420157839882598039513191941896981675665030903193850997358597062387029177832794159145269458905677257628915956954764428447198615896461103159161654537894042058961969057859592625257716209701559819353052227970752410276791286732205208030300198925831538010202194604239224971382*t^89 + 1075226158775527090252821609638445690829046260494183364910148593171612509654138298011394783962998084970958316551997254004550056538345354898107844320320010492358165267991727007034156203371660845695740451973722566154655265887903032435720921057963865726787946686904338645239438246469323676993691644051959723128603642946577906791045890395446858547949086320495523122465373435800732887552403519039544571892347738165803529982620361885968356538152148475139927687981049386961200879501961749242166064409088203464748228997756139236800573417584998103681797159622052511241965136927582349269905290999718201365031679665904629287754783641889678704743547472949025669637379614251863921051783364179508964605002930596884872165663550748533601196929494954171552852698964778878033297586173496874557051896095914604899524691000675866493872900585421437689448971857775448490917188942506664252053073165524023700830329274041655126610418756474507396800460511082348155318625127109454652250285279524284292074741406877879201549387361407820959250134347258630106310881440023192786790768049936464387196223006093978588833205591557778291613843595431201869988641825724979821655820363180040674829046860046384658045892389244817578009121019134595654326321789774899057025979170314400472553335099622575172507221234731253537526216375894286838529936727800948675107308824514431840247387861076320370643791633628000978692856066978792725595325975828178873656928474662406165474611275544542751509996215377104665960303139072783018617867454807551092954311411710896370001317627690682846742894993947159170025358524605464465576721226129953936047138569173051101148958292965127929490895302293081605559241317170030473667148241674981990965187813667334063159551307449212576100378863357690400179489740416101282997793998121436439041422390627115506685629526502890121058324258551845458595169952288562503398632907418105428096202691942478814374509479505792956812013433414649026229459350225767519895612351085263366136429968507176498356812300961285510575037549466879158026106921139581327625/11813819902446710399068719548567354056796922798664434904937996572451827462077497388071398610361134956988748021493185370175825480594979110435489970108663339834863433026420223520637038435584497372492987344191043405167419523119982334894121481162360794378121029744896685323731658587461863394108322148925402130938517598082206324475785856844749196206220900793997650945037482427376976095090820096370380098893574514308410149755225291907701666699996965385814187222239550153452345895154559586543969801180830054932937046528611184359995166430598762867759563064970005855811559992599152116240265436898853895067973417298649593796285994586706687148573761599584749275891330594466465470066356035462564238505983673670741818333556477785858131008381515963211785792274602976830875085781288839581151075530338575915637739496754764101771326357262522296823876628306925258872529121289825555045100219345195612999504206932580743404263038543359581005258359120799632313270508541127154100395345704455639667923754689560509103405213545993208207374416491166449210213148129519323481751809894743568395734289296383673108397769389137797369310907573216464224565811159473112719813936084939341768768936957852967264762676445151269130899486609345397370624816710497660118135045861816277523186295726797819888574409145449449396197779073809090807491384764202159703228519883188232077803914466036046458527073287153155037557793497263397013434643987690596917867138416994824464288396562628547168240056259930138848932672419292886746403981395559688711159908073969639724519593381935555292796647809703319782284299382229333222268370014589174758449431744668767116663675156670469362957318509644765487947204194448479828874059150055574030614422580597576030344036186901994478710277224592825582654540540173479420477620598572312496104454408027384798112739962264733021686757136371187187834435030912451833074539811651518691688343760615848021560610903782812407563898352688646634837130734025248455449320696514683846138282834296697904309358*t^87 - 1308257869718315300138706145244474426784381321435060662893124988086366875251719666635761337854222907303924785240598603142050065227739874013281540550614587595524918492820968855692152807730752228045516309995637423661128637384120510554419044994898608891717415311180442774331210432747358965437955567570927459553773325092188808836045012893048981545745061932833685477968461950928027257790733652328656840939217807201867945825044429500874181567516685605376555624175598056522725575003146351670446547833494588407626114426601904048514880470615399392929094252180683632459650502145244107536042234078037574892551967152843762615996366549820280508937336803517297711316597579542559996580007166821365768768225818261069086440190438651050948129195227519533185256708367755906397033966962518419569779652324481475835804099459619135975573941573523800502907818168889863276876095477779319281707487975518160403424454453128115722361320618621362881485805174773388505180236091172082258512418138324562205992966195633613681288223273627849077007967967378252830544520684531659813114579939488686560519356449630568965507642969160955001538024975174638916110148879214689797581963820733613904462586508624895257084029226912532954115084916767803000608249119814982824306771955412103881720624495476322202408198860368873521753736940037557358171464836705032265626614019055863751369156855556029375642745214849050218399927496445456457705822677608722704367884332592143581925471065936205032352628747039614514939381454858292904483016483330413987048794264917783194204114308706660175015781125324620601009429519192966794815839525876660938397311157536969269792946016184282027081279137051949061892432319545075349055986899277759587739369714466403805765071633700005671635538467639180348653572314600365930993948514684364741777306724507404546168354513929103967244874729707461709601204555160970185594053200732986235714187696152621120596938586371229168038844903121691733169521145612880503044250274142180734248516805883658137910046409398024044281051942321302595456803323569374048375/91579999243772948829990074019901969432534285260964611666186019941487034589748041767995338064814999666579442027078956357952135508488210158414650931074909611122972349042017236594085569268096878856534785613884057404398600954418467712357530861723727088202488602673617715687842314631487313132622652317251179309600911613040359104463456254610458885319541866620136829031298313390519194535587752685041706192973445847352016664769188309362028424030984227797009203273174807391103456551585733229023021714580077945216566252159776622945698964578284983471004364844728727564430697617047690823567949123246929419131576878284105378265782903772920055415300477516160847099932795305941592791212062290407474717100648633106525723515941688262466131847918728396990587537012426176983527796754177051016675004111151751284013484470967163579622684940019552688557183165169963247073869157285469418954265266241826457360497728159540646544674717390384348877971776130229707854810143729667861243374772902756896650571741779538830258955143767389210909879197605941466745838357593173050246138061199562545703366583692896690762773406117347266428766725373771040500510164026923354417162295232087920688131294246922226858625398799622241324802221777871297446704005507733799365387952417180445916172835091455968128483791825189530203083558711698378352646393520946974443631937078978543238790034620434468670752506101962442151610802304367418708795689827058890836179367573603290420840283431229047815814389611861541464594359839479742220185902291160377605890760263330540500151886681670971261989517904676897537087592110304908699754806314644765569375439881153233462509109741631545449281538834455546418195381352313797123054722093454062252824981244942449847628187495364298284575792438704074284143725117623871476570702314514050357398871380057246496997984203602581563463233615280520835925852952809704132360773733732703036343750082293395515973727936300871376464328315415865386334346775389522910459850360578944543707618870517038017902*t^85 + 2236433099676211717244582653520573731463148421913943802435631123142410536364633772543438010957495866077763562281389946991276202865081418047730632190208861802992580363396768323263636231934989934527302801324322995054946711908381767491273129364316610439466475167329557766055500486138613322280439491096271494328581973061988678110951216203985133994466384938548859740679263335049750132634219403596282892684748170332101336008644021770174488352002029847980782903044542060958196173581102035170577711356533516557034265287603807584569497292396588143635843674287860445715595832859458357944119726860328532129068648363071865353481428285556985647791018302649200215323712252537591157938683876594070195236496395928887155850552737796644990204220958945236241552638926896241322000030587984058286754741427502899192357480586057633757396182250698358587605174503851467660670591816612924285233645937368311763234872620206019056277583598022865677236818388327891327394182334139222660110716522727896146526184505334522133827146668743232586065277423965520170807485835228409550441781762117689050532217612307705324122023619169225658934165178925973967864477693716055852830814874300027184568111670749570965026981411508112719292541217053253857271643981518358418549125903439568212207314988259389145687260180722607771890592709316654196922991970616824602197887989378879373701820399980689238187806909700162929692259959864487640010207938221698890461755297008118837942365398297559854965615580201414232689384269829644724677652067287639273974776643898387513700507934214295289399151356959027162913191184691913592446540585662990200754154951982125221691694398117510449664094554415795294099413598917424225056810525224063697508557724685168362285554641797982987164354607696624123776686068046246219458392233933307695265251344959961191431887291989932966914470972029303776251893406263641104825679510417902894011391913856358120990181508960293882408996635483150120719202236993600633652510865239270670995483847688898661040145679274777126428841146263767326949368091528077160625/1103373484864734323252892458071108065452220304348971224893807469174542585418651105638498048973674694778065566591312727204242596487809760944754830494878429049674365651108641404748018906844540709114876935107036836197573505474921297739247359779803940821716730152694189345636654393150449555814730750810255172404830260398076615716427183790487456449633034537592009988328895342054448126934792201024598869794860793341590562226134798907976246072662460575867580762327407317965101886163683532879795442344338288496585135568190079794526493549135963656277161022225647320053381899000574588235758423171649752037729841907037414195973287997264097053196391295375431892770274642240260154110988702294065960446995766663934044861637851665812844962023117209602296235385691881650403949358484060855622590410977731943180885355071893537103887770361681357693460038134577870446673122376933366493424882725805138040487924435657116223429815872173305408168334652171442263310965587104432063173190034972974658440623394934202774204278840570954348311797561517367069226968163773169280073952544573042719317669683046948081479197664064424896732129221370735427716989928035221137556172231711902658893148123456894299501510828911111341262677370817726475261494042261853004402264486953981276098467892668144194319081829219150966302211550743353956055980644830686439079902856373235460708313670125716490009066338577860748814587979570691791672237226832034829351558645465099884588437149773843949588125176046524595958968190837105327954047015556149127781816388714825789158456466044228569421560456682854187193826410967529020478973570055961030956330600977749800753121804116042716256404082342837908652956401835105989434394242089807978949698569216174094549737198739328894994889065526555111857153314670167126223743401379687353703600860000689716831301014501235922451364260425066516095492204250719326895912936550996422124623494967390307421370216100010498511618413438745366100413816570958107354937956151553548719368902054422144794*t^83 - 3502892027017228703413208343004857161421403271939545526633038669961353435095921092261507183570799632973301825752533271436230384999131922329989414711275849562800085060197232585585123059581915516543868885101425168716486180756550832037714082787597063454792282264571226077291826669185197326949827250662336247458684936297930766141991891537938347230541187649751071293284050952292197912850309047325133763871942450057698841618298791167257622339388315622098129695320319680602636745618840989150998510653075462788936659263177677449304207662943715829744560932832696639772347507662341819862804978785128872869221697647992522743637352216371197909045111367569725250004163138741548307862441595899879760478755152927690004142028849020177740957589360910268504668807818431385934640785192470521313901757872543341323611791684653394461077986929364136698131489875213127708444069907904067862083705718713963536377812612649092203843329996366165539078729013641820785054621519140115239225068323239456466568533074415886866238993819101758731064872868610469002094974739429055415578295975587902357920808677338520135761562617202059734362178755824529711186126314064755520997866689992287640039271927023757300574441374678809097167677817529982366299202730231286954327286105220486267760032287463184976019748791998690344461493250357924875981823738807857301933761707958660477113175024662107221823174203079860040878506924005016174179167062933370426466266446673553638452564222299909181083912169979311389673689724687330834312735346522045476003052664213662219756457018564117774547648584466286811681716461955721619750139921925819985596280259404386410732648256208488988731786458048219700167055337705969688585461570625270919196507998440981934342155474128920082356275246433378439572772200027942575364472172622460804971491777583717448483254985766777769856852949336379824084165460164484892806100050323226834117293539277100112988679244459644238163387028343995443124104361404220747946604421408301752915464688540332122389202392722103687604572952434689935968203356486758370000/13455774205667491746986493391111073968929515906694771035290334989933446163642086654128024987483837741195921543796496673222470688875728792009205249937541817678955678672056602496927059839567569623352157745207766295092359822864893874868870241217121229533130855520660845678495785282322555558716228668417746004936954395098495313614965655981554346946744323629170853516206040756761562523595026841763400851156838943190128807635790230585076171617834885071555862955212284365428071782483945522924334662735832786543721165465732680421054799379706873857038549051532284390894901207324080344338517355751826244362559047646797734097235219478830451868248674333846730399637495637076343342816935393830072688377997154438220059288266483729424938561257526946369466285191364410370779870225415376288080370865582096868059577500876750452486436223922943386505610221153388663983818565572358127968596130802501683420584444337281905163778242343576895221565056733798076381841043745176000770404756524060666566349065791880521636637546836231150589168262945333744746670343460648405854560396885037106333142313207889610749746312976395425569904014894765066191670608878478306555563075996486617791379855164108467067091595474525748064178992327045444820262122466607963468320298621390015562176437715465173101452217429501841052465994521260414098243666400374224866828083614307749520833093538118493780598369982656838400177902189886485264295575936976034504287300554452437616932160363095657921806404585933226779987416961428113755537158726294501558314834008717387672664103244441811822214151910766514477973492816677183176572848415316597938491836597289631716501485416049301417761025394424852544548248802867146212614563927924487548167055722148464567679721935845474329205964213738476973867723349636184466143212211947406752482937317081581912576841640258974664041027566159347757262100051838040571901377275012151489324676767895003749041100196341591445263639188277382513419680689889733016523633611604311569748401244566123717*t^81 + 407678398419077677895480633006306168447590747474797315311121910189022331856934405718816061130326567158264101310480845027208525646010770469696723576977944369875451468403787959957705366699964855182324236187529506384639318836022161263917342057709804806897131232886362613895655969504395050280532092563763190722189102550590423393552867941751465579631534228521864369766177103547928612809191388771289870506377193229523252996028475371344715511087660756861830870998312020670776096394969731623216809916281767333053578464772278989629271653837453972736425426683802767253284874537905937853517068077580747576791623735578207985731073633347080104320405779394315911233580867147906593629495378352856696244495837563416086738572347500328116568897753270480441873631981235942229783852912114991135945125080415319527167328581765672047426621892107019523188100687031236197696524977060506663542079519504305698566108098383124520258491361999832654514134782351001122107737317562372513122388177722758492786446825619114207997238531375042859887636457779631917587504206567054274020554347812387333625794188972454208608266482351225255550012837917053864351067229486782297517094783303770993073175264980958717931730787946943267670053613520669137673428358454969412375699519196475378179927372968618579188316711629651635513914001183890997279411576461040248840598045801822492495220502139553477579862705911663426931582312272681619308107788202588943174913805042996063331292433142690039253809233323516582297743658223217188494097808083968750274790139139157675473818159628691237263385086742281573069281074488060241831677058536941536822857773889804691205041809072435788271063950909778641865766487575144660599124662957509729969879833547880351546086349287076060528664165805202271128016183379415637308988227214427327999808831520748832867626922588944916664963264419928825437891253651465134967649743177789239233835167242819141311897519854174847977623937693581892074360917259875202451358288459823038876064009871715022998728148094456520390290869553277857467706270629141263039375/13455774205667491746986493391111073968929515906694771035290334989933446163642086654128024987483837741195921543796496673222470688875728792009205249937541817678955678672056602496927059839567569623352157745207766295092359822864893874868870241217121229533130855520660845678495785282322555558716228668417746004936954395098495313614965655981554346946744323629170853516206040756761562523595026841763400851156838943190128807635790230585076171617834885071555862955212284365428071782483945522924334662735832786543721165465732680421054799379706873857038549051532284390894901207324080344338517355751826244362559047646797734097235219478830451868248674333846730399637495637076343342816935393830072688377997154438220059288266483729424938561257526946369466285191364410370779870225415376288080370865582096868059577500876750452486436223922943386505610221153388663983818565572358127968596130802501683420584444337281905163778242343576895221565056733798076381841043745176000770404756524060666566349065791880521636637546836231150589168262945333744746670343460648405854560396885037106333142313207889610749746312976395425569904014894765066191670608878478306555563075996486617791379855164108467067091595474525748064178992327045444820262122466607963468320298621390015562176437715465173101452217429501841052465994521260414098243666400374224866828083614307749520833093538118493780598369982656838400177902189886485264295575936976034504287300554452437616932160363095657921806404585933226779987416961428113755537158726294501558314834008717387672664103244441811822214151910766514477973492816677183176572848415316597938491836597289631716501485416049301417761025394424852544548248802867146212614563927924487548167055722148464567679721935845474329205964213738476973867723349636184466143212211947406752482937317081581912576841640258974664041027566159347757262100051838040571901377275012151489324676767895003749041100196341591445263639188277382513419680689889733016523633611604311569748401244566123717*t^79 - 43029320996018690397248086803069553231314646381030266697870686284405769294953981734045048913214044723785617745990456930261924169661617022089826583218840641493800121554425478005684303641975397490489410516543832986945546201424083753200407996636618060818417713494364002235292625621329134838287840894497866501089198914015465623751800207147447864606516255856536943205957410103057972397221718343364367831097041230049723954578659717823530105854417272390113503468269834921367326705789633693938736032119775622291105363228129093105552275213434232531712449260190873838887033289407092660343778586422840764923972556147253736378820982297297245413396262218068759846159833585331790897146330375323465034411551380000802896036056154308175399966998207092912211341699849796630673330285010107915668448253150179316257039573534284622987528470381536191114700332260333039333493398172808685036030169996140840874275005145820708010138287850500260998073058491104197029092555174415061596590883458420662486597939232986428834379258836032615047935807761138894039770749642799277091909600057508353207850107075985271096926231631253217410583610503777037092318716776936615632756139996347010737331447809408862678470778018520274799941627205028682423296624338100327062365744513418468336158349077580937880731754183096591622978555298255935841039107697503162251136690402456466611766182359544994636040889718421743708772415369020425529948811901450883528062310729962417065272070935857137108622157060099037277880064154558770056291028362134176808319559607525129082924355527381213773805960836300619030600359270816885539281581486155794432562472710314166256638932087961585337050851224936130147867798687476228093527483686963001459026971181791620702340277347374392720201072676766681944552508741955781491054538820702426299929818060680216002061854651619992066338302256966562646826973691993370176684469567458874780716563243967995733752247316483668056872479790254494832525144212413230917939030585920739790994386192867112286405785547250939522541745026902425266739737514642885937983125/13455774205667491746986493391111073968929515906694771035290334989933446163642086654128024987483837741195921543796496673222470688875728792009205249937541817678955678672056602496927059839567569623352157745207766295092359822864893874868870241217121229533130855520660845678495785282322555558716228668417746004936954395098495313614965655981554346946744323629170853516206040756761562523595026841763400851156838943190128807635790230585076171617834885071555862955212284365428071782483945522924334662735832786543721165465732680421054799379706873857038549051532284390894901207324080344338517355751826244362559047646797734097235219478830451868248674333846730399637495637076343342816935393830072688377997154438220059288266483729424938561257526946369466285191364410370779870225415376288080370865582096868059577500876750452486436223922943386505610221153388663983818565572358127968596130802501683420584444337281905163778242343576895221565056733798076381841043745176000770404756524060666566349065791880521636637546836231150589168262945333744746670343460648405854560396885037106333142313207889610749746312976395425569904014894765066191670608878478306555563075996486617791379855164108467067091595474525748064178992327045444820262122466607963468320298621390015562176437715465173101452217429501841052465994521260414098243666400374224866828083614307749520833093538118493780598369982656838400177902189886485264295575936976034504287300554452437616932160363095657921806404585933226779987416961428113755537158726294501558314834008717387672664103244441811822214151910766514477973492816677183176572848415316597938491836597289631716501485416049301417761025394424852544548248802867146212614563927924487548167055722148464567679721935845474329205964213738476973867723349636184466143212211947406752482937317081581912576841640258974664041027566159347757262100051838040571901377275012151489324676767895003749041100196341591445263639188277382513419680689889733016523633611604311569748401244566123717*t^77 + 4121102514521827591178223169738603010500047237163584209886849937908211174033001774760521742714834973033616613125411849673125174855410925622240522422198684934848564008952123357526578946390086467674380272358905855079818067292884427646903532756375764019545202887653327366900633324912192437073388885087413674697550580974974156813416317617749789079038258737841451551664368135546286262483572351860997985338077029709685268426148374725321748050078816025837087816945413306137530145802858285338789135461135979500471654208639340122101895219112282309670299894494423168903952413593505565034079564072099791973922614897193136918571277327423034486695235161064540244705381478151543278417774557197720598742027864791029889269298808760944547146347339712112913610511630349629180008352035051733713427394964936581354935730069770926427161319756755059008931543161766570208946075134838475377617703205419053577845386446425790321102143678974351771205394215785172011686139958681816847217806952443411951690605336709687729117666081102326130958849610101290279648296209546372411211445058472511332824311720672464420999301914084791452707535018604018633831400172652503498937249474478155723907236178474605248864563212413395025604560901585690822903035260884877024602015172430621417992504155420876614452142465316589239403293324605981167727228971976047444703417023796108954784365694897054033640580743814562585081531346306045066222111063373618310993707180357028314819397352591185046186789022105654827240952472358338107843061288226356544035909183354061936693034709188733482775189328093687112667348144743096840379297258898793350189052148336196022476188317813956830362140236185795913150034301335429509951726461176836774507166931790414677269700592665912689031435759720837345099890712149288727001970590697690976991289907006021110883852481814998820977366499908525715426198199998866813766355982755309676151614955375109386968424781283875019566155879736137860932746235488868438758695097777517028780052195358197662782037853599316854019476809845087254068742500333068778876440000/13455774205667491746986493391111073968929515906694771035290334989933446163642086654128024987483837741195921543796496673222470688875728792009205249937541817678955678672056602496927059839567569623352157745207766295092359822864893874868870241217121229533130855520660845678495785282322555558716228668417746004936954395098495313614965655981554346946744323629170853516206040756761562523595026841763400851156838943190128807635790230585076171617834885071555862955212284365428071782483945522924334662735832786543721165465732680421054799379706873857038549051532284390894901207324080344338517355751826244362559047646797734097235219478830451868248674333846730399637495637076343342816935393830072688377997154438220059288266483729424938561257526946369466285191364410370779870225415376288080370865582096868059577500876750452486436223922943386505610221153388663983818565572358127968596130802501683420584444337281905163778242343576895221565056733798076381841043745176000770404756524060666566349065791880521636637546836231150589168262945333744746670343460648405854560396885037106333142313207889610749746312976395425569904014894765066191670608878478306555563075996486617791379855164108467067091595474525748064178992327045444820262122466607963468320298621390015562176437715465173101452217429501841052465994521260414098243666400374224866828083614307749520833093538118493780598369982656838400177902189886485264295575936976034504287300554452437616932160363095657921806404585933226779987416961428113755537158726294501558314834008717387672664103244441811822214151910766514477973492816677183176572848415316597938491836597289631716501485416049301417761025394424852544548248802867146212614563927924487548167055722148464567679721935845474329205964213738476973867723349636184466143212211947406752482937317081581912576841640258974664041027566159347757262100051838040571901377275012151489324676767895003749041100196341591445263639188277382513419680689889733016523633611604311569748401244566123717*t^75 - 716547143385073181277213827558212112040649412530586612395078921371253353406622222804858971845893831396093370296774255628329439744993291423795727846492897389329006939838178908507108734437136408197705961070187191836423113698947516385075652015740145440508172103420556469406274888987875678340192531202426270452176287879964467338698139190971212448640866007413951592663051369326285969449539909214836558499833317511731106691356464582471879942364383973708638359843181563709891034158941760744829817958701191452920804492166714417265280611125016138815168715888828413837884638601466362709098855213630014943604631765506793365751685430653323125782984750058840817984074577544356142281267638732638483021964865948715112956929124864373268940754714999484874579572262066556636670675112766762044528246089032018129220724743639088413558144902768897955985479745066434372768644451221215829095105578501107056375015190487262271264365493628197136228523057991898159404842726627374453125889960849550859113299006280874702296453399338160152515217482433455528498892521049133924934182039416311678245565350184958524361819369324990454916199640471938473774559895463091223028392059390102960407211753081241602816166573956117127722315445589685551640677795180268618128680797897920248572055339566468535132720630124743620021520151849272164463346006149661432833160478125702519257310145396134428087789955640088731019496864195374620835049435498017296991325832795264753489283370669310914033680851136321713842192621014615968987588061106562252060148791034290010905491523671595548301158101618859381071835785689931492672557630087393709419123818162013972062832665692398664627416312334023022181936694102226219946337060630258810959274935244433281038263157153772664507669176951503746679677801887110685459580979169136438567514668544626785048276661893229860931226101123504521283085546700817008565540191619825064749029160866674713311645348411420182259690190650853569690203903729593853665003858476048630274801671567904211825482575781917041866083591520989041255851702933019249463834765625/26911548411334983493972986782222147937859031813389542070580669979866892327284173308256049974967675482391843087592993346444941377751457584018410499875083635357911357344113204993854119679135139246704315490415532590184719645729787749737740482434242459066261711041321691356991570564645111117432457336835492009873908790196990627229931311963108693893488647258341707032412081513523125047190053683526801702313677886380257615271580461170152343235669770143111725910424568730856143564967891045848669325471665573087442330931465360842109598759413747714077098103064568781789802414648160688677034711503652488725118095293595468194470438957660903736497348667693460799274991274152686685633870787660145376755994308876440118576532967458849877122515053892738932570382728820741559740450830752576160741731164193736119155001753500904972872447845886773011220442306777327967637131144716255937192261605003366841168888674563810327556484687153790443130113467596152763682087490352001540809513048121333132698131583761043273275093672462301178336525890667489493340686921296811709120793770074212666284626415779221499492625952790851139808029789530132383341217756956613111126151992973235582759710328216934134183190949051496128357984654090889640524244933215926936640597242780031124352875430930346202904434859003682104931989042520828196487332800748449733656167228615499041666187076236987561196739965313676800355804379772970528591151873952069008574601108904875233864320726191315843612809171866453559974833922856227511074317452589003116629668017434775345328206488883623644428303821533028955946985633354366353145696830633195876983673194579263433002970832098602835522050788849705089096497605734292425229127855848975096334111444296929135359443871690948658411928427476953947735446699272368932286424423894813504965874634163163825153683280517949328082055132318695514524200103676081143802754550024302978649353535790007498082200392683182890527278376554765026839361379779466033047267223208623139496802489132247434*t^73 + 56553368600930294500158262913493710294729611954758404164476501884914799611448328770419439462158394617471154331893604717132049105909955195637615072022811486990102235555505310032081709077203269808589485714741214210703040233753667386039986481398738834290844682406962042215186692525326871666995801670438890641061419181387412499378423244850989853819673400800394112442778929632076412602915989694376247995124678208923394806326355868079817851362419051123743082300772452065207572253413426941519408304418475922494743062004540445337890996897576072972299497718356211750922146268291443863586769391088896659731827821941915489713399627018607802458554175886240999337614669461591527032100415357508941497418644471060996224163039811903688067209636849627839671370203569373010024059370284590656030962312019019336881710358810439077594784738253366308433741294434719886602154587050651132675610526442609718285581657859097095289462615790307746458245620397494226181295423626312830622677189435580190653919331255029477764282601936294249813808066852577387760239008212784460905702512388924878032574401875913171116022912384525696896673376424126666144416351978386419213440813989694697469530343451945162404372032759112525170123207989099414111743062911925012559481980596569124347527114125088738314292137076122564092198973589910157661720960824772115191382163167438301333245021912790518334332362381223172704695734285682435584935818107492669625988314245075805041802520273984973072651735258292611899995081441409245211287936019849850665227313995432685349348559181867160928680310931155201931807358268539980194574495978583551136822295983043416947643947451126537077398077598801026948793288511314408844567134187787371645946749212013355611061464746208422997650981473083098652047715338825711736802048766626964978263946178432190467555820033516117282573933833902239486550383061790345776112769512698273604505556402557191800009414950402019577503613766691475784004209115142871787997128930905257507847998579704044282911094585737025302737381324898971972805666193356654521387053203125/26911548411334983493972986782222147937859031813389542070580669979866892327284173308256049974967675482391843087592993346444941377751457584018410499875083635357911357344113204993854119679135139246704315490415532590184719645729787749737740482434242459066261711041321691356991570564645111117432457336835492009873908790196990627229931311963108693893488647258341707032412081513523125047190053683526801702313677886380257615271580461170152343235669770143111725910424568730856143564967891045848669325471665573087442330931465360842109598759413747714077098103064568781789802414648160688677034711503652488725118095293595468194470438957660903736497348667693460799274991274152686685633870787660145376755994308876440118576532967458849877122515053892738932570382728820741559740450830752576160741731164193736119155001753500904972872447845886773011220442306777327967637131144716255937192261605003366841168888674563810327556484687153790443130113467596152763682087490352001540809513048121333132698131583761043273275093672462301178336525890667489493340686921296811709120793770074212666284626415779221499492625952790851139808029789530132383341217756956613111126151992973235582759710328216934134183190949051496128357984654090889640524244933215926936640597242780031124352875430930346202904434859003682104931989042520828196487332800748449733656167228615499041666187076236987561196739965313676800355804379772970528591151873952069008574601108904875233864320726191315843612809171866453559974833922856227511074317452589003116629668017434775345328206488883623644428303821533028955946985633354366353145696830633195876983673194579263433002970832098602835522050788849705089096497605734292425229127855848975096334111444296929135359443871690948658411928427476953947735446699272368932286424423894813504965874634163163825153683280517949328082055132318695514524200103676081143802754550024302978649353535790007498082200392683182890527278376554765026839361379779466033047267223208623139496802489132247434*t^71 - 4051895786098794826383933856224457134518103878463570332339843357507443060357172086654984044295910557506909737899274047560452690190373974110199179596134638482808510927513262526946047819385624538979622571708567452217459463939281427449193512532348008604910783294419293503221113034294812909173282614050260355475376817259764087530909403473373676014933987161413316895646898581343213335558924672406070856078682652468011570267395511226357024286496533451547014351617079814404275074423645357561077218051250096047514626748989313785902775188220257358520844277349101928875571975887084733024105958368076858835846142509502434696595259475123482148220854002450667633238256663170876624487112197722382464788220222945781731527518543247492214042104344738649767067019392962293413067510191420348742054336317800638506923266722939278421234517241425546183857959353545376281429139278795303477665850693069587142812330504811869269144905139219863872908520518167229752366723096896322255590395318083533237861572170811723510362055198133999278636384494578116899751051007996545774813764151380216821953340176620699877454323335818541719038252500326599110765708104825556730449450527472852675950511779708987864789246528830423042066261248365857146348839853429877570972417075879839144059914531202180171577332308630957628250155761226777232494513310498383221340282567376156627171027789579593054669445315053265401936353791376565082901467342195503973449123223735665260964554888970331623991793054699616698539981196475587160599681985596303234060527268767624999993335988413162187900230868061485313503674701093709928936884340087858357629061841010636678869473776581654883114395640122397063549047192843498051179890172876237043871036219106082882803234401753632568236608039485033828781908513816649414358965541011052687725307845305691080833638946852120202135853111485705615485592083359033581380725291030779755492863804807213725931590633244499361097327174798719297014025985947816928191690597248444915293563107956814401735536671586746490069153256207281985317927298411951514845762723921875/26911548411334983493972986782222147937859031813389542070580669979866892327284173308256049974967675482391843087592993346444941377751457584018410499875083635357911357344113204993854119679135139246704315490415532590184719645729787749737740482434242459066261711041321691356991570564645111117432457336835492009873908790196990627229931311963108693893488647258341707032412081513523125047190053683526801702313677886380257615271580461170152343235669770143111725910424568730856143564967891045848669325471665573087442330931465360842109598759413747714077098103064568781789802414648160688677034711503652488725118095293595468194470438957660903736497348667693460799274991274152686685633870787660145376755994308876440118576532967458849877122515053892738932570382728820741559740450830752576160741731164193736119155001753500904972872447845886773011220442306777327967637131144716255937192261605003366841168888674563810327556484687153790443130113467596152763682087490352001540809513048121333132698131583761043273275093672462301178336525890667489493340686921296811709120793770074212666284626415779221499492625952790851139808029789530132383341217756956613111126151992973235582759710328216934134183190949051496128357984654090889640524244933215926936640597242780031124352875430930346202904434859003682104931989042520828196487332800748449733656167228615499041666187076236987561196739965313676800355804379772970528591151873952069008574601108904875233864320726191315843612809171866453559974833922856227511074317452589003116629668017434775345328206488883623644428303821533028955946985633354366353145696830633195876983673194579263433002970832098602835522050788849705089096497605734292425229127855848975096334111444296929135359443871690948658411928427476953947735446699272368932286424423894813504965874634163163825153683280517949328082055132318695514524200103676081143802754550024302978649353535790007498082200392683182890527278376554765026839361379779466033047267223208623139496802489132247434*t^69 + 263472060753547661710728184617160923499710877980634453537161286120875528375912299825511442759941066893946509478712877599120395469888413159045418056525787091583411589540719984000890358515108604656761759077515020712865651346804248723960642912792268920133102446897540960597483142677478583358840504771128830047593331107325810270788651504228153213907240015419108769743512349158363645112580084486577147548138470371495957841356103245064318095781317039158378111530384503450505608382934016417312997266315835250564252142791608891718840309740284734212043363664484014346225953822383945438283800913782815706355139136337330412863988918287126952344256041453117517000608762791903875973530333776698872906082306118777272774321958569790693638550425642705283457099645582083202266686780262721142478382387215245018640404230538043072991049799173013060621489485849461070247839218484163412726734289400176226085049636536832363635821476928520743716197092925539491020371939766167597920987026552359319761034035179702194904757404116317967798443807579247861501466863364466383353738866395604943315797449144738551404998064616983360756530743740319914794905706518199600503744907603384592934442431953142990875144350012005900079506988502000236472933521579180531665295568642177751064951887761433207350226444740105282935390459551323912013562672090016619128194118455636134052093546759217831425417127146835620742783773196639650929991747763547467561644290657457723705761019503576546623948329739794034729387071780909253945028797098242047194526973632467545305929203468123232745459238057529248752430123595916004532321161606415844218878787074353542870086397273828904854907725372131472906215331344270199722645989505215324242399540844952118871558376888184131582727102513679985313999050222996357886088046100108786779823190274812772669234744594969301167816287438018866989244273803269572037275617304408647497053639830013961723977383310214012815891335290364032552610228342287381653957733033404661298625497649824633489930475868865780792397144073541001414535866605773411371996695180171875/26911548411334983493972986782222147937859031813389542070580669979866892327284173308256049974967675482391843087592993346444941377751457584018410499875083635357911357344113204993854119679135139246704315490415532590184719645729787749737740482434242459066261711041321691356991570564645111117432457336835492009873908790196990627229931311963108693893488647258341707032412081513523125047190053683526801702313677886380257615271580461170152343235669770143111725910424568730856143564967891045848669325471665573087442330931465360842109598759413747714077098103064568781789802414648160688677034711503652488725118095293595468194470438957660903736497348667693460799274991274152686685633870787660145376755994308876440118576532967458849877122515053892738932570382728820741559740450830752576160741731164193736119155001753500904972872447845886773011220442306777327967637131144716255937192261605003366841168888674563810327556484687153790443130113467596152763682087490352001540809513048121333132698131583761043273275093672462301178336525890667489493340686921296811709120793770074212666284626415779221499492625952790851139808029789530132383341217756956613111126151992973235582759710328216934134183190949051496128357984654090889640524244933215926936640597242780031124352875430930346202904434859003682104931989042520828196487332800748449733656167228615499041666187076236987561196739965313676800355804379772970528591151873952069008574601108904875233864320726191315843612809171866453559974833922856227511074317452589003116629668017434775345328206488883623644428303821533028955946985633354366353145696830633195876983673194579263433002970832098602835522050788849705089096497605734292425229127855848975096334111444296929135359443871690948658411928427476953947735446699272368932286424423894813504965874634163163825153683280517949328082055132318695514524200103676081143802754550024302978649353535790007498082200392683182890527278376554765026839361379779466033047267223208623139496802489132247434*t^67 - 7770810370490227477539582668427011365616860671962539460132610481590453554292624479249032804968915629105414107487455496420232426435349948382425487623892475238548702851948232941250032353695625415727074087429016268729745991430419423556025643368170888549955838796771590702292515458483560260570973893084993413715049996661471974551508515980235555241282581219982232972334204202704900022516553513351593679187573045637777294975155104949857093832296369789055548811046593547542148333688697451881359893737601883517810009224893622220203988604211224881252134004589036536194880266832829758531202566498555205562114369244738190072668447086802002490518154242707499140964134356659090515549776552504060610218111207956717069900823883581942805411782217111424137160662820897870767812711080190655301288839714671514426847216678295163012539594529333125953799464095033284755917211028945126949021612330609296470352226759516810449699111996307096575963515104205827362052556253386382452213852143054309267081173014461253139249780140308326093718171989613214039075741574024246047289158961691935758125303703630307287992855827398076055923269114552649083357575048108087851967813569078345634106145273068745278450505968790579984304679784138955257788531637589883089653603473103199054354363183072881140986631257219449968322773318428153551172589284922588546450857832635011535201689475284723884972640609244082627783115174634049812962455262035692816294695539625376780778053421310796580890549364621618621185997399030403632773452301760828000436056566045611526950136349244225170312713281646809229259409482150358695666314734588986719466026164153809873637937201004861015218446281647421240641093965777301125284702422236856688755696314882355300901518603039783715116128308931442655002828967061173956096602266129908209219639681837679236133983668394967870401208437247457701182244740051702461416524897460314278305524967634237944430107043426316601274540629203731968879157375601986967537359256805990524628795945638054053082543268130602127175785358019608723912213723872265088737373212363421875/13455774205667491746986493391111073968929515906694771035290334989933446163642086654128024987483837741195921543796496673222470688875728792009205249937541817678955678672056602496927059839567569623352157745207766295092359822864893874868870241217121229533130855520660845678495785282322555558716228668417746004936954395098495313614965655981554346946744323629170853516206040756761562523595026841763400851156838943190128807635790230585076171617834885071555862955212284365428071782483945522924334662735832786543721165465732680421054799379706873857038549051532284390894901207324080344338517355751826244362559047646797734097235219478830451868248674333846730399637495637076343342816935393830072688377997154438220059288266483729424938561257526946369466285191364410370779870225415376288080370865582096868059577500876750452486436223922943386505610221153388663983818565572358127968596130802501683420584444337281905163778242343576895221565056733798076381841043745176000770404756524060666566349065791880521636637546836231150589168262945333744746670343460648405854560396885037106333142313207889610749746312976395425569904014894765066191670608878478306555563075996486617791379855164108467067091595474525748064178992327045444820262122466607963468320298621390015562176437715465173101452217429501841052465994521260414098243666400374224866828083614307749520833093538118493780598369982656838400177902189886485264295575936976034504287300554452437616932160363095657921806404585933226779987416961428113755537158726294501558314834008717387672664103244441811822214151910766514477973492816677183176572848415316597938491836597289631716501485416049301417761025394424852544548248802867146212614563927924487548167055722148464567679721935845474329205964213738476973867723349636184466143212211947406752482937317081581912576841640258974664041027566159347757262100051838040571901377275012151489324676767895003749041100196341591445263639188277382513419680689889733016523633611604311569748401244566123717*t^65 + 415567548685564406917148223690304789592183205586679602149689779323233860467429447873382798495415000824680315255877274817309659062784229171162175479873091967902995826531227524465532110077127433405123292167122441509757790654750685533538636586829628148631317413458623247883410213687376882739794164136569751077402664131504850323349074563709805528111064916326656095221045179332770088103940787806344684611525365432243087251805419837234768103588462537354246626923058412230341662532402510261474226121158447787163470280191237900775569233763961502753237353516983943168427970239237809203943890802940545590795933983470402244348676987524061080625184506022358613766639265051156759028550130235149593581906363505444344524946573551888403146974805634283605788321232557501270722522487105504988222324223292198564211955209613934940448718540627808370086987569731229079686204381225961460885239256384793565669387307149997103979433174383024746074499119593814690993434468407645257434980091211463010689576538534922950259365845476811181587772362102403245249082977759005550512556173512655451680076629145059590382592362418443962450182816876472741603050187878700665008556901251812358374793031865120623731060655543515980910984207918448282817237087027551205451658713443582982715878171008871045667341342737369515592945014947148569734585003204308832093057863294287217327786245803414667272351261996783043058080814409704567942851995210540661576800778702963869108775438755507898417666596282874112196517638899036922213508763516845621790745036407779491967903765231794992138008745961753537252760217088355447052309955180673812668096094210572969194855362228268109552468760420225501428583212081752916342843400374437539554153220075534482675220084788909010812180779979598986115490542721524981292336630396716641140371987027418677068509713206624251087441862984429373628140012784188500396713671901946659007155675897790564287988852970517297626428862932136958120563895428547780851758243648119981332698451860070076308491338079310365762458919345437900872885125506296979203700569053873437500/13455774205667491746986493391111073968929515906694771035290334989933446163642086654128024987483837741195921543796496673222470688875728792009205249937541817678955678672056602496927059839567569623352157745207766295092359822864893874868870241217121229533130855520660845678495785282322555558716228668417746004936954395098495313614965655981554346946744323629170853516206040756761562523595026841763400851156838943190128807635790230585076171617834885071555862955212284365428071782483945522924334662735832786543721165465732680421054799379706873857038549051532284390894901207324080344338517355751826244362559047646797734097235219478830451868248674333846730399637495637076343342816935393830072688377997154438220059288266483729424938561257526946369466285191364410370779870225415376288080370865582096868059577500876750452486436223922943386505610221153388663983818565572358127968596130802501683420584444337281905163778242343576895221565056733798076381841043745176000770404756524060666566349065791880521636637546836231150589168262945333744746670343460648405854560396885037106333142313207889610749746312976395425569904014894765066191670608878478306555563075996486617791379855164108467067091595474525748064178992327045444820262122466607963468320298621390015562176437715465173101452217429501841052465994521260414098243666400374224866828083614307749520833093538118493780598369982656838400177902189886485264295575936976034504287300554452437616932160363095657921806404585933226779987416961428113755537158726294501558314834008717387672664103244441811822214151910766514477973492816677183176572848415316597938491836597289631716501485416049301417761025394424852544548248802867146212614563927924487548167055722148464567679721935845474329205964213738476973867723349636184466143212211947406752482937317081581912576841640258974664041027566159347757262100051838040571901377275012151489324676767895003749041100196341591445263639188277382513419680689889733016523633611604311569748401244566123717*t^63 - 20131567889354282804275408240088510712785593254718677739025542914334544977046865692620865489041540839480228150529641044504976279580298358563887376277213173856906017882735903079971441264961371484430069881013030363627975895915093668185560708178494641124527100997352926296276343894383638580809933493169822988336950217379724753380533485703668435125745596596529287397881464709931802163757445792018420320240609196247621685187664489326580260764687237484143945529787833041468526177599166388845004789258887075159032611644080854706909528793429233709036853145540796913514602071904487020846423918192231224669482361817479487036596254037455758001919938803370336903349386792697128480500645692343553864341535744520897177862558538109913613796729853590708259692884312245593168970558292147376948290614789524429490974805925602043331161351409483457402696526060927020119785804885284106926668119934592078249204376117248028792354971721949966837105647949147248437979788671052631837629333232134207751435273532633193001213497132864475319912836895097468543330852555032147107774261130585432069199228849659203114055457075518706376188573776162994870749946588494122441228187658499182133507621771829930653968978158292766791440635907917543443422782707221196090863154513229647534156730389277955598001501638350942006444375964035017249933919476523210892922322938061188901873573151452169689624597884026571647798707674020329750845926935042619080528066122323149509280650730421371977476570154220090725069341554189184521213380148417409337357177197255446586187830038414406911992919383245461828422114089807064167283134340311186667241715525845214657443149183385222420451441282755299691237728927350993401026999374571092885240154401371155599531414101891193373225848505108684206683653469396782251831911619501792540538931408365437069455519588999249013346880336790994407726262252597899685067819862155825725804897732965970132532120545205027888854776959833980354713248380861761739503318831962828681752470230550183422686188188278976365084264152807417637437219891795248185507831892578420312500/13455774205667491746986493391111073968929515906694771035290334989933446163642086654128024987483837741195921543796496673222470688875728792009205249937541817678955678672056602496927059839567569623352157745207766295092359822864893874868870241217121229533130855520660845678495785282322555558716228668417746004936954395098495313614965655981554346946744323629170853516206040756761562523595026841763400851156838943190128807635790230585076171617834885071555862955212284365428071782483945522924334662735832786543721165465732680421054799379706873857038549051532284390894901207324080344338517355751826244362559047646797734097235219478830451868248674333846730399637495637076343342816935393830072688377997154438220059288266483729424938561257526946369466285191364410370779870225415376288080370865582096868059577500876750452486436223922943386505610221153388663983818565572358127968596130802501683420584444337281905163778242343576895221565056733798076381841043745176000770404756524060666566349065791880521636637546836231150589168262945333744746670343460648405854560396885037106333142313207889610749746312976395425569904014894765066191670608878478306555563075996486617791379855164108467067091595474525748064178992327045444820262122466607963468320298621390015562176437715465173101452217429501841052465994521260414098243666400374224866828083614307749520833093538118493780598369982656838400177902189886485264295575936976034504287300554452437616932160363095657921806404585933226779987416961428113755537158726294501558314834008717387672664103244441811822214151910766514477973492816677183176572848415316597938491836597289631716501485416049301417761025394424852544548248802867146212614563927924487548167055722148464567679721935845474329205964213738476973867723349636184466143212211947406752482937317081581912576841640258974664041027566159347757262100051838040571901377275012151489324676767895003749041100196341591445263639188277382513419680689889733016523633611604311569748401244566123717*t^61 + 882549327198248562732602678854771008799220274406089262931899628554768516729328294981421689147442042957724744906387439701072690823216011589267768050055509813823272744697554963998524450531735717828281002043293590135231502097062351034523220295611024539455501447930001864171632225078588506828004429257232812332642396773747496793785749832146409064787973506740034113855197072160366203721860587384741225499661479594243096695380290742945138390131097213259577348169394539372623379972808315424350932423897227917378586367363715269492449474926421745205007328932326517880504099578212703166899521926618373531703271758084807005013735760542575813156421730119492351094546099190123558048186025025590188288515727704928069934653830064797583664205883112707573377971943754665994187825645399435766752460093970681417664423614801158880154358566118888531664665931277097374798054241205103460240595119598514697327635143971592569783061563361304860706385070278504534662706329737002973239376477043402949791708215492838561573572756418422366589153413516859596607841125244182168899398911411751660166561853713639797109595368498958759459616707765418924005417753284077021588019695855327847880685642174987179128274497283954555856318264632827123229632762462196900793703420795771774681946417322893428685739285170199823150619678521530150734504428785682583843748791619012754328388887483915087018548189113900559674161056785534990097757583971280841462292643710117983046764587777829009081624653140572041369261192747741508342573292573658917178296640550292986327719032813997743472485709322374712032146517923846346287391023609050288747954230638022734026528164319506080960712789530758859282605613374349692242129845361964994656413238857880851712587896574824663637601798486804545700154932193255762346691433980373442081517713235148985933957970544395176930413272493860703006635236176797881142802045881701687784203480602939176921274862826355187746686112266594960536319368480720004513453998083091144423421378093290169396220633025608313143679919395108148663408013825433232219489798984905576796875/13455774205667491746986493391111073968929515906694771035290334989933446163642086654128024987483837741195921543796496673222470688875728792009205249937541817678955678672056602496927059839567569623352157745207766295092359822864893874868870241217121229533130855520660845678495785282322555558716228668417746004936954395098495313614965655981554346946744323629170853516206040756761562523595026841763400851156838943190128807635790230585076171617834885071555862955212284365428071782483945522924334662735832786543721165465732680421054799379706873857038549051532284390894901207324080344338517355751826244362559047646797734097235219478830451868248674333846730399637495637076343342816935393830072688377997154438220059288266483729424938561257526946369466285191364410370779870225415376288080370865582096868059577500876750452486436223922943386505610221153388663983818565572358127968596130802501683420584444337281905163778242343576895221565056733798076381841043745176000770404756524060666566349065791880521636637546836231150589168262945333744746670343460648405854560396885037106333142313207889610749746312976395425569904014894765066191670608878478306555563075996486617791379855164108467067091595474525748064178992327045444820262122466607963468320298621390015562176437715465173101452217429501841052465994521260414098243666400374224866828083614307749520833093538118493780598369982656838400177902189886485264295575936976034504287300554452437616932160363095657921806404585933226779987416961428113755537158726294501558314834008717387672664103244441811822214151910766514477973492816677183176572848415316597938491836597289631716501485416049301417761025394424852544548248802867146212614563927924487548167055722148464567679721935845474329205964213738476973867723349636184466143212211947406752482937317081581912576841640258974664041027566159347757262100051838040571901377275012151489324676767895003749041100196341591445263639188277382513419680689889733016523633611604311569748401244566123717*t^59 - 69941661239228300276604726063808250198962382123929596724980066863591346779097497362454241654405467189601640991783215160293050660405288304066515311595456724290558175701752197795051538689151261717821065891327634044421965167543989482790630363295078240902921329856255486941091330015275457919765898691503924517278519130176960417878745275158996410832984611925340653503847078644782138941493967689646150991265768269074523016760168702737446077041773726155010659304361309414724426154746671259867400272528057401623986337817046611022453742144102097823768698196819570753717145393841614948970493807891847109110910555253838827541013664513854499321947287187160828269513900911651967878325577586042032449833229369821187651443482469303000823890774852005821910662882505872083684014713301396296233318233102808466566441267127875684289652093776855333216148933533924079241084105171292347224514292413833153600399784176087461460111496530127812089697721037001865571267589975291235918114887116901590986813393212441071624799400118237289099683959795077556670728528181898565416064823080524262540929503166149746256799845850054016997307682493490668541542093284083017944514988543917373384787663695536453583634572250044346027243586030280146747946940565364647429079859633612988707807158892055275450604815172096860965795753802711942859939106560910385227207913213468423497871767264068056116072310180978624589530308695374058197871387660133114096006576322374464521683877366916042313152099830450387863388453163224949369902175597179070600589715614281758516731190857305102688415247437804585677537414360722041665854936412839161023980625406265206636670579712786276723515800523423962809965498783172793225633300226186516862721454209127931498567976201675054093228674343223607866579125525946249986779014198070159415749248304196892472057584311539546656508971439578437280706436911201657687962612518830561599219559198123724470034579741469538327543776045959685452868514888780133984570258166884749948555457664002700610081391465191772420877112912660409019584778631736854630592948761316309923515625/26911548411334983493972986782222147937859031813389542070580669979866892327284173308256049974967675482391843087592993346444941377751457584018410499875083635357911357344113204993854119679135139246704315490415532590184719645729787749737740482434242459066261711041321691356991570564645111117432457336835492009873908790196990627229931311963108693893488647258341707032412081513523125047190053683526801702313677886380257615271580461170152343235669770143111725910424568730856143564967891045848669325471665573087442330931465360842109598759413747714077098103064568781789802414648160688677034711503652488725118095293595468194470438957660903736497348667693460799274991274152686685633870787660145376755994308876440118576532967458849877122515053892738932570382728820741559740450830752576160741731164193736119155001753500904972872447845886773011220442306777327967637131144716255937192261605003366841168888674563810327556484687153790443130113467596152763682087490352001540809513048121333132698131583761043273275093672462301178336525890667489493340686921296811709120793770074212666284626415779221499492625952790851139808029789530132383341217756956613111126151992973235582759710328216934134183190949051496128357984654090889640524244933215926936640597242780031124352875430930346202904434859003682104931989042520828196487332800748449733656167228615499041666187076236987561196739965313676800355804379772970528591151873952069008574601108904875233864320726191315843612809171866453559974833922856227511074317452589003116629668017434775345328206488883623644428303821533028955946985633354366353145696830633195876983673194579263433002970832098602835522050788849705089096497605734292425229127855848975096334111444296929135359443871690948658411928427476953947735446699272368932286424423894813504965874634163163825153683280517949328082055132318695514524200103676081143802754550024302978649353535790007498082200392683182890527278376554765026839361379779466033047267223208623139496802489132247434*t^57 + 2501501052795128286535372366735978623513167904736527832575690449626741350068686657171017399715760421109528751263714287695075274768584770130351220932621427941118015417397521112753593531070463194322249442822328236064034087319904674358154642465268990022889194204180179587571905151549990469592958383778109400544574599978287291251147901459632718320707999097871827905417785237970628857971868424518858266317987732410906914276008743581851115527943904398872150312615920281271927574365638194942102271229271409316263948585424296121429651928063870732053707011047635175992921153668951734765378565276940117627958738021831721163120274994372358175641770737337582154436631629860178898115373185307268805337978591342641531181993748153005105132805569978772492901304118219353928415177562752575809626154621985372771804984379710644025317642458217922258587178446658932466757108283081402232971603837446770568710051598564409312793478800535921529870170019511150726856764712196244672964070534453660455520593283748554089170499247201999999788844104939798357552229676321379037591949521419034901927441633313549270383172005278762532302870539712424557688962601214017398826056694219053417607783978878314963212054435918227819487921453178487047436305884254111256334884953877304143697436911345562611336032794817356541619088077176885165027958070047286776737548105734479120948422766020690262406584925052323361144232852344061196264663887034986380715304384674195042416338206017024701784927300139919135175396811193725872744047878752510901220419229237184575420392036333458863200892917779219525743990836771694639325140267177810757198194708913236449514868918543472082037996006958169209971450559907650063411967377272467239651127365864995401038001959068317665448064856026672953093150455439870699833543071137470567531264572533919519447178876580990726735840579332706583832929481497289437061880494404184974982983369489646445157525237607150617406120720712686880559081393365983234260937156548612469145717774953821064922400377247532109949189621928540099382321916795349655691913919751917477219765625/26911548411334983493972986782222147937859031813389542070580669979866892327284173308256049974967675482391843087592993346444941377751457584018410499875083635357911357344113204993854119679135139246704315490415532590184719645729787749737740482434242459066261711041321691356991570564645111117432457336835492009873908790196990627229931311963108693893488647258341707032412081513523125047190053683526801702313677886380257615271580461170152343235669770143111725910424568730856143564967891045848669325471665573087442330931465360842109598759413747714077098103064568781789802414648160688677034711503652488725118095293595468194470438957660903736497348667693460799274991274152686685633870787660145376755994308876440118576532967458849877122515053892738932570382728820741559740450830752576160741731164193736119155001753500904972872447845886773011220442306777327967637131144716255937192261605003366841168888674563810327556484687153790443130113467596152763682087490352001540809513048121333132698131583761043273275093672462301178336525890667489493340686921296811709120793770074212666284626415779221499492625952790851139808029789530132383341217756956613111126151992973235582759710328216934134183190949051496128357984654090889640524244933215926936640597242780031124352875430930346202904434859003682104931989042520828196487332800748449733656167228615499041666187076236987561196739965313676800355804379772970528591151873952069008574601108904875233864320726191315843612809171866453559974833922856227511074317452589003116629668017434775345328206488883623644428303821533028955946985633354366353145696830633195876983673194579263433002970832098602835522050788849705089096497605734292425229127855848975096334111444296929135359443871690948658411928427476953947735446699272368932286424423894813504965874634163163825153683280517949328082055132318695514524200103676081143802754550024302978649353535790007498082200392683182890527278376554765026839361379779466033047267223208623139496802489132247434*t^55 - 80623751714185267609213820388355690709527188989508599728127304374680945211627474782445998284443919819231017632917439907842050894242402762597196605990358909076177933270632632493369119816318006701964035991641003144772013426478651540080746090823287409371948811084302877641060116807400019980491028826748924307898786627572831248076385525634752387600466775740471657755587856664190151198476861644806113374025289165931769885654094271481328993817444490883724916915744599291957736201100584737691285844730153489066246829249915907105369758548863839836819248352933328307143798333204973168699706174475836230217738938289991606592694267422227680964535450054461795732153916805044016548342712078346065763446614417943467097549864795599118197280949261518937215199630186105358681780732330469970990467895665274058857411064958422542765858001273624801972706488352265732280439913966425947980303768516079384370144759124238524371005813582751028734656798131836857376573635887461134792933947508420096531090848157250071093090390296290805241237344755157252977642765588619738812291623794042242128487338412882603925837300376677647547150806479263232192928762869125179197053038440228728310021492933089998192698402649845983906662147262197349352239332337107910715135479118188201556365563986072581306913457124909237576871380459567431115764080765377122886251375529577829462825229590677857071884080951612628023828412858107104891623561047788305167586266960875370313600388998465952988924953470725049671364284688357087845004618040196029659823513699132866989771609468221031616259945804964970624063091213087351537345167692006495695000633168462273531991188969283584536837972421115082149404707733304921081093509804399872599254497118675630712386426704087818621944250962073014054462336527327737452134860666422180314741758984587302124840202963680884607127399217543811732560060734936153565253929888881265336642407745348197091377462432319543486951147123387054837697322463897599937206356943918643509942267740895065144423457605815891331303086510320808402124304586834684656757035405606413067096484375/26911548411334983493972986782222147937859031813389542070580669979866892327284173308256049974967675482391843087592993346444941377751457584018410499875083635357911357344113204993854119679135139246704315490415532590184719645729787749737740482434242459066261711041321691356991570564645111117432457336835492009873908790196990627229931311963108693893488647258341707032412081513523125047190053683526801702313677886380257615271580461170152343235669770143111725910424568730856143564967891045848669325471665573087442330931465360842109598759413747714077098103064568781789802414648160688677034711503652488725118095293595468194470438957660903736497348667693460799274991274152686685633870787660145376755994308876440118576532967458849877122515053892738932570382728820741559740450830752576160741731164193736119155001753500904972872447845886773011220442306777327967637131144716255937192261605003366841168888674563810327556484687153790443130113467596152763682087490352001540809513048121333132698131583761043273275093672462301178336525890667489493340686921296811709120793770074212666284626415779221499492625952790851139808029789530132383341217756956613111126151992973235582759710328216934134183190949051496128357984654090889640524244933215926936640597242780031124352875430930346202904434859003682104931989042520828196487332800748449733656167228615499041666187076236987561196739965313676800355804379772970528591151873952069008574601108904875233864320726191315843612809171866453559974833922856227511074317452589003116629668017434775345328206488883623644428303821533028955946985633354366353145696830633195876983673194579263433002970832098602835522050788849705089096497605734292425229127855848975096334111444296929135359443871690948658411928427476953947735446699272368932286424423894813504965874634163163825153683280517949328082055132318695514524200103676081143802754550024302978649353535790007498082200392683182890527278376554765026839361379779466033047267223208623139496802489132247434*t^53 + 2337353748480286361958601158468061138035182327667111632422836036765114705989058236969291157061443118781343354316259395168848010802371548339226091922677161690284666854347125910732285749539137651408564616035825119105123500306148296787030580437629903993978910094226531413148545272403768917601188016776228829495355303808291392462666389346571439647170705781869795961631024372475239007198542251796049249732333824179898797613843088119612705050197618543329686314266202820125295637209523815622516509281018931766371279466499912348723708452556463187121966380852966937015016896581617781615416922197005824676355679931725943395098720470517535647773648850045934151231464934134532192186833533611536135124645764825660857471335864379489751421081365394053788795932145481553424899271201384578615577531359641506859025192589877196082197685519200922305054151511475588008890735212709724199091562939143841190678629396667475712255633145246155470094544855237814065317751654454784816310062564939713243286535872413675602458969573900825333027683338761804805353446368521507583696575927595311342136200958137724392343071993454688105329299648057255315379739258443812442956176008797723188778184648123901425854056986426621738475127406228755806445528064677253450175649405937325193807143448866586188248154706996510374616410313830921930075836840595731930181716759902719002961260271678270567865762943796335303267834132592937079100661426982712011898917987556029256731993656868447470297362767568121864425881952384966222256736199892994458313657975648867286179666070392814785526521264627178680997053176101915635352325417069076582902022471002652713388647816349171610800501004786407404536499320504917769804211544897227028566890943690393248129133179364828279683020133214021814992254408798017152693281020820698156549710626428018088922391015553651563005644677496212824667232159807852221736951658332261561795450164867579864767510275422443243899561567066082380930585341259788617895217645476156475489252125597543129680073532413157266198785278781240754058151447538251682437685264346706524225460546875/26911548411334983493972986782222147937859031813389542070580669979866892327284173308256049974967675482391843087592993346444941377751457584018410499875083635357911357344113204993854119679135139246704315490415532590184719645729787749737740482434242459066261711041321691356991570564645111117432457336835492009873908790196990627229931311963108693893488647258341707032412081513523125047190053683526801702313677886380257615271580461170152343235669770143111725910424568730856143564967891045848669325471665573087442330931465360842109598759413747714077098103064568781789802414648160688677034711503652488725118095293595468194470438957660903736497348667693460799274991274152686685633870787660145376755994308876440118576532967458849877122515053892738932570382728820741559740450830752576160741731164193736119155001753500904972872447845886773011220442306777327967637131144716255937192261605003366841168888674563810327556484687153790443130113467596152763682087490352001540809513048121333132698131583761043273275093672462301178336525890667489493340686921296811709120793770074212666284626415779221499492625952790851139808029789530132383341217756956613111126151992973235582759710328216934134183190949051496128357984654090889640524244933215926936640597242780031124352875430930346202904434859003682104931989042520828196487332800748449733656167228615499041666187076236987561196739965313676800355804379772970528591151873952069008574601108904875233864320726191315843612809171866453559974833922856227511074317452589003116629668017434775345328206488883623644428303821533028955946985633354366353145696830633195876983673194579263433002970832098602835522050788849705089096497605734292425229127855848975096334111444296929135359443871690948658411928427476953947735446699272368932286424423894813504965874634163163825153683280517949328082055132318695514524200103676081143802754550024302978649353535790007498082200392683182890527278376554765026839361379779466033047267223208623139496802489132247434*t^51 - 30412429639845173675920177186265570412640935996127786639198180897357642494617407987135350015823501634038387269159636044969323293047901133121531337302277453082668996535147097352574129937108853967601414012970675226119936059733200293236346236478442019412617623232966965908575391331300980183346660358588492649566717421877945538624174416213204199067801371664153717689420859783911471117323520305398609089585524034189061390221829696102324759898724498060496954532447566670352390744518782741475686037746364167486853039503205790392302199809578008103757161890418911827455834896791030370966011325560777428413891190589556306429931705325176063661373229924961960125416687037189054032642582258278794731666526342673268282942810536414791024719171831325044399373119016492045101437913650167235354924542513505888261566580960747858768449224936843781671318717028319892354595593548648040004548578480590399124085250563413029792611511680287129010078274288439287382249494241938836864627952428990209097563643901533741796313929884425363235924049032785929065358865076833553263910537429345236846962183916041509735564087350161449962563060557089989302649681201634104583476907564374090534469912737575801966117065558804517233498975996286607530240323797761085794135710709432461265497924129294137603367201742477594420287700800574216432285263419828661770742977364075332916900968012314207888221226843488719621184843058942573746707361743478920746507535833445118878539046955498199152233488197125718778467638123585180030737352183867089456253212892488550839554669951775837745060402923765349941560115184959438058995923671488057494471271528802441628108207935474240401856128523611041768473729974832508181599235535751521377142889080205700564825727830039385959330710295850829460454135405380236706446783359243832908651461258914725620863570572667764394900798364902072750061078455210526845936262883919308524579251229401972252978381342577277052831121483056038410034259135743011974564344434336074251614214033291262523949073170539206191675535303702116901060820204376156316259404438127064779755038281250/13455774205667491746986493391111073968929515906694771035290334989933446163642086654128024987483837741195921543796496673222470688875728792009205249937541817678955678672056602496927059839567569623352157745207766295092359822864893874868870241217121229533130855520660845678495785282322555558716228668417746004936954395098495313614965655981554346946744323629170853516206040756761562523595026841763400851156838943190128807635790230585076171617834885071555862955212284365428071782483945522924334662735832786543721165465732680421054799379706873857038549051532284390894901207324080344338517355751826244362559047646797734097235219478830451868248674333846730399637495637076343342816935393830072688377997154438220059288266483729424938561257526946369466285191364410370779870225415376288080370865582096868059577500876750452486436223922943386505610221153388663983818565572358127968596130802501683420584444337281905163778242343576895221565056733798076381841043745176000770404756524060666566349065791880521636637546836231150589168262945333744746670343460648405854560396885037106333142313207889610749746312976395425569904014894765066191670608878478306555563075996486617791379855164108467067091595474525748064178992327045444820262122466607963468320298621390015562176437715465173101452217429501841052465994521260414098243666400374224866828083614307749520833093538118493780598369982656838400177902189886485264295575936976034504287300554452437616932160363095657921806404585933226779987416961428113755537158726294501558314834008717387672664103244441811822214151910766514477973492816677183176572848415316597938491836597289631716501485416049301417761025394424852544548248802867146212614563927924487548167055722148464567679721935845474329205964213738476973867723349636184466143212211947406752482937317081581912576841640258974664041027566159347757262100051838040571901377275012151489324676767895003749041100196341591445263639188277382513419680689889733016523633611604311569748401244566123717*t^49 + 708736312442050178632703560982964576801938283851580833346376461327572387525681885575351058373687551432292370070996993889378736063480998233216663516818927173426452702619545357888055583012003608237255053092574984196628756730975894787901069068850690605348426704995309957022137404641460443741143312394022670604471389140532206483053369312773396997904162100095976605043972577694761246902366538548114982334006639846142891127862831284577103151264198866393154381865224429286583427139434404080373562356983238792527263631145448596332352021492833803463276687856586170823493208572853277378679605348644602154924996517506508222117012448858356994550568610334001144622882545736009664156574675607480231016371649879635632390319098918995876560317919633747870636465670163997258532444699878602286322712444294054256798529012003473656328191541407619387970612457461256977861189938100972314752313941232666365023252435462388481185562751465061147526176622115948650359394577628324743300113800711663079997953190349620144186148146760734985552856199456450812653815000237564549405376988675234192329778501534364425952782775037216441368877787842917010456857959601600278024839013276094167119580105912799983725333462646413817600317103500196093687305973074718867004533846666814621625447331797492179776527015457835176828507018449237417485102952639260725797415764773590423723364227017461105833846574992124200934953944725929396069107707388963383799810065354063275114602337198886817331769414898756761789329791421730572319803878252452979641367432768371311561030854351148961531666460188012161978711359114817151283665979000459091413072779147699172929522832897812659862386771288291960956896462988010778495095502679158445215558944862682039384858174374889762731413364461085388861348919352862431000090897914297260462270357090324791659634401906066779578677009168679874455780063071435384192109634558970097297837848995526536642617863003455517169234998785633437659647937211258136566374622707344397147348993032855121115605005413397823243276388477264404330677761868108101364343356556887236951592508984375/13455774205667491746986493391111073968929515906694771035290334989933446163642086654128024987483837741195921543796496673222470688875728792009205249937541817678955678672056602496927059839567569623352157745207766295092359822864893874868870241217121229533130855520660845678495785282322555558716228668417746004936954395098495313614965655981554346946744323629170853516206040756761562523595026841763400851156838943190128807635790230585076171617834885071555862955212284365428071782483945522924334662735832786543721165465732680421054799379706873857038549051532284390894901207324080344338517355751826244362559047646797734097235219478830451868248674333846730399637495637076343342816935393830072688377997154438220059288266483729424938561257526946369466285191364410370779870225415376288080370865582096868059577500876750452486436223922943386505610221153388663983818565572358127968596130802501683420584444337281905163778242343576895221565056733798076381841043745176000770404756524060666566349065791880521636637546836231150589168262945333744746670343460648405854560396885037106333142313207889610749746312976395425569904014894765066191670608878478306555563075996486617791379855164108467067091595474525748064178992327045444820262122466607963468320298621390015562176437715465173101452217429501841052465994521260414098243666400374224866828083614307749520833093538118493780598369982656838400177902189886485264295575936976034504287300554452437616932160363095657921806404585933226779987416961428113755537158726294501558314834008717387672664103244441811822214151910766514477973492816677183176572848415316597938491836597289631716501485416049301417761025394424852544548248802867146212614563927924487548167055722148464567679721935845474329205964213738476973867723349636184466143212211947406752482937317081581912576841640258974664041027566159347757262100051838040571901377275012151489324676767895003749041100196341591445263639188277382513419680689889733016523633611604311569748401244566123717*t^47 - 14752018186025207826257239756186408502486300483993202644815504239158947259002588259380812285535093175088470669968636439762717047782276215111905564873892530951513944324595685466960673997359221998361013389266073216934774806557819638547926035628725102398916793178618922635321033256803842619368884424301277526450424497041087052074236960400606178773953173879282057968845259750961512164058993136684669768888902585099248280554290107332743126903077754303718891339560413488396808699878051779430209926089581292315614052202863587451883784652300413150959587612677454499078929488731475830729763265679079275743266271247125497858621329535396452826008770758975964779030474148190090468966423622331744456559731254139095468834143889617452433605558176659397388860560232895386636773149161945628658839941204305005711681557879136969469227960818744700851569467938188088212067947706407417472352277793099831798356849194983074491585445439442893293166336828350760790629150116375756795597883718442651530360558173497486999851202392269349319546244836774564667661951357492052702586863353763795161708003803865356378316496723681263191999746488842247220423185271820817549136575214685231381468463651593847853445314438531537820645744804688544810165890701484355905094471172533026502140081418424586557054167177155798033485034610067427212545664644638510254760690351205667179841687296172122787835081190296285381316443031491044069859903620250244500606904890397744070542273407520619894887729514056939980922046931618226296474466996909361505895077763405790833211473943302442628462047090898417371631498483364035440342890681474999712410776007261377877188745007067872706354278167222580895582847292939000923173051257154880379975645914417065551341457724023369095217621334008308108588867374092531752994415720019317337860905606637847955725870413294299839963928728020754997390433578289865951414765357624509505208621409482985381963697698136190896859859107172425015882831683214886286746956592037595899742465892363330691746554967637833959581118715046009187805903502794645137402569057246467889904393386328125/13455774205667491746986493391111073968929515906694771035290334989933446163642086654128024987483837741195921543796496673222470688875728792009205249937541817678955678672056602496927059839567569623352157745207766295092359822864893874868870241217121229533130855520660845678495785282322555558716228668417746004936954395098495313614965655981554346946744323629170853516206040756761562523595026841763400851156838943190128807635790230585076171617834885071555862955212284365428071782483945522924334662735832786543721165465732680421054799379706873857038549051532284390894901207324080344338517355751826244362559047646797734097235219478830451868248674333846730399637495637076343342816935393830072688377997154438220059288266483729424938561257526946369466285191364410370779870225415376288080370865582096868059577500876750452486436223922943386505610221153388663983818565572358127968596130802501683420584444337281905163778242343576895221565056733798076381841043745176000770404756524060666566349065791880521636637546836231150589168262945333744746670343460648405854560396885037106333142313207889610749746312976395425569904014894765066191670608878478306555563075996486617791379855164108467067091595474525748064178992327045444820262122466607963468320298621390015562176437715465173101452217429501841052465994521260414098243666400374224866828083614307749520833093538118493780598369982656838400177902189886485264295575936976034504287300554452437616932160363095657921806404585933226779987416961428113755537158726294501558314834008717387672664103244441811822214151910766514477973492816677183176572848415316597938491836597289631716501485416049301417761025394424852544548248802867146212614563927924487548167055722148464567679721935845474329205964213738476973867723349636184466143212211947406752482937317081581912576841640258974664041027566159347757262100051838040571901377275012151489324676767895003749041100196341591445263639188277382513419680689889733016523633611604311569748401244566123717*t^45 + 273444307322237970309042941060657557856003621832063710856383828663306435631593663419056724983797558639312973404838700865938158666145385006541766737019909012240017804105662484199587642814945912324908428164874624610303013592281066074861169419071685136013249885154563455719064459034633911406401750534983315557964554689887926588071778412169609614821381570533075675961117307248061497944536726258609243755351638575785769732098634732860996269118937225355137961542222798749012394191462294902618907239443412618480630327696200921616936550059537194496454943486933651275586713842761527591306820917447375751226143770779873111470741980289545809652220142906698204329942865784967677121281731161500869274436689669251996824979681595401791097518502814750367111041176183674781076288284404943345143805055687401528683836934576752387665079449858740931921357639047339564616005098984926553032658600269904687282864981743055593942314271039704246292071422240424453820798130507245708745482122739577464530315616424689895955906282906244958903519913044540415782560513109462461804809632173071766046604891798134682945507887666687112300558999357225262804893084863001984738633557767773215874157243357404434638477722451197421965841903797386305266920082986901306687115904972848033402310579059975437799856063875626258573018917366676515419121115161493482523178524425457511824044737106629361211226563967512955497433536898799901544603172344633562081158560005579231241244663701832949681870753193232756382031246027230840001811942745607034836563966577075722576690439852857226984513235097489115231142484887642741885161658565954361893495685897682575088795595167362942469922866967172365791996823332315014957907323914825567366772793760661475597995909177836410444009518831861100103885427997920587330676363646614414514355595517330657395499939706201499836206508471776536034251236668694321566787367648258182055301815341028690391559005789833965032648145602055801845469794688539061745881655787564264003757583253506642904941039921100193584964860671971914177181049234545107836419228108302173429062200574218750/13455774205667491746986493391111073968929515906694771035290334989933446163642086654128024987483837741195921543796496673222470688875728792009205249937541817678955678672056602496927059839567569623352157745207766295092359822864893874868870241217121229533130855520660845678495785282322555558716228668417746004936954395098495313614965655981554346946744323629170853516206040756761562523595026841763400851156838943190128807635790230585076171617834885071555862955212284365428071782483945522924334662735832786543721165465732680421054799379706873857038549051532284390894901207324080344338517355751826244362559047646797734097235219478830451868248674333846730399637495637076343342816935393830072688377997154438220059288266483729424938561257526946369466285191364410370779870225415376288080370865582096868059577500876750452486436223922943386505610221153388663983818565572358127968596130802501683420584444337281905163778242343576895221565056733798076381841043745176000770404756524060666566349065791880521636637546836231150589168262945333744746670343460648405854560396885037106333142313207889610749746312976395425569904014894765066191670608878478306555563075996486617791379855164108467067091595474525748064178992327045444820262122466607963468320298621390015562176437715465173101452217429501841052465994521260414098243666400374224866828083614307749520833093538118493780598369982656838400177902189886485264295575936976034504287300554452437616932160363095657921806404585933226779987416961428113755537158726294501558314834008717387672664103244441811822214151910766514477973492816677183176572848415316597938491836597289631716501485416049301417761025394424852544548248802867146212614563927924487548167055722148464567679721935845474329205964213738476973867723349636184466143212211947406752482937317081581912576841640258974664041027566159347757262100051838040571901377275012151489324676767895003749041100196341591445263639188277382513419680689889733016523633611604311569748401244566123717*t^43 - 8997656538144926803239185520787960446776370753264742271468862655132853144588262779525401062157139343371916773058341629161640943276731365244364872410322677948377900150882072269559459082161843415699457688719719403489397119698810677807285793191389686307339376076631037993500444827432832483781396605261339349329932963976779181448918795322135750098714764019513391943662791050889690415384031931234453610049355233313183830819915597492947408634697059148579561229781107226923899494413723362822129027890872903103866277457751673464712987449750706977564827845660554887694768358705433116370495198457827930734990273171982227667752631360988283455941949944711451943328882168224487328983311802981953361668128465228046389641622121282500269702853522736763079609057690519176576963719250228336298239633543629119891515152659580708270849695807498007442023079785712960759188778033811740835302452054864088352085514523216203474896446618275777798859102561748311069657130599559124088302818453243682888862409065543802457389287766053391675696317188852053516595534008908651395839202015335453097891311671269705276010673700599358534605499818142948280870136681290613323890583981485386992404744058920949261374300335272106171277619671486876425021643456432186637012637763499645383599982902614396059536445188912914868622017903654838114796235033622400834850421657068166749069092179241438358081367223969688436462906024281262613642068037332456473985970048639027207841718530906817311956077414414672470273260543387090131641627874308711318741867519459761658293571611046673383750213192842101565536442556976748288749171701721529640827814298234794846702865125615578922169396071733540432719826685012507234565904234178642584400140718579754691863136032125266166460258543394552987690948089688906564760092070377351484567320198162420833641487481491187929883594317163056188147694750862073581198092537985575776575389796083429366767972742740557314361881965489469828122904668715031682768623467029276699747367022547336416911823539173048254431235452357991289382158256804104817377504259100214735028941667951171875/26911548411334983493972986782222147937859031813389542070580669979866892327284173308256049974967675482391843087592993346444941377751457584018410499875083635357911357344113204993854119679135139246704315490415532590184719645729787749737740482434242459066261711041321691356991570564645111117432457336835492009873908790196990627229931311963108693893488647258341707032412081513523125047190053683526801702313677886380257615271580461170152343235669770143111725910424568730856143564967891045848669325471665573087442330931465360842109598759413747714077098103064568781789802414648160688677034711503652488725118095293595468194470438957660903736497348667693460799274991274152686685633870787660145376755994308876440118576532967458849877122515053892738932570382728820741559740450830752576160741731164193736119155001753500904972872447845886773011220442306777327967637131144716255937192261605003366841168888674563810327556484687153790443130113467596152763682087490352001540809513048121333132698131583761043273275093672462301178336525890667489493340686921296811709120793770074212666284626415779221499492625952790851139808029789530132383341217756956613111126151992973235582759710328216934134183190949051496128357984654090889640524244933215926936640597242780031124352875430930346202904434859003682104931989042520828196487332800748449733656167228615499041666187076236987561196739965313676800355804379772970528591151873952069008574601108904875233864320726191315843612809171866453559974833922856227511074317452589003116629668017434775345328206488883623644428303821533028955946985633354366353145696830633195876983673194579263433002970832098602835522050788849705089096497605734292425229127855848975096334111444296929135359443871690948658411928427476953947735446699272368932286424423894813504965874634163163825153683280517949328082055132318695514524200103676081143802754550024302978649353535790007498082200392683182890527278376554765026839361379779466033047267223208623139496802489132247434*t^41 + 130906233899772542438921964603654475692076536100756800056839259427208195800091597654658822165651270730412976487556562502583286077119972814741300976859526042296448246507892907439735194534649606182109428899831644618319918072442097844377651961388944586814182995896888899174739279437603343621253130787388718656439381804019911012391622917884164337236116560460814611286319452335790946349416629892845767303645430189144919578124995716905835962364962714993599838372527888034099136968169843366804030502955970918371152655802198006957739644262514325248246445522940243592157616033229943274367643326396686923533293433118671167481022900687566235345497108093008050567894334273906861538654294645855504817118716836952121592548553387483235031627338104952398906534658677924265882743223405531478262380392292586404195525089418108259133817293814894702184230851437994741941889415538424238219222981053636731111152093650488760472269681262282198818772815784167376683848153470698918575323082387267772336478558819900083385181646290051947151314484929597238855773692039303772015485464194399910582396545538821689412957852616820337294950489015461790378164492854103813346322977598063006643879488072831477060037762453639060311994871029151650216107140873751194012150076269138369929192639576725241363527189010976646634651344668742394106190061625010707457902119205452277953624412291243440135168239028563451273361165388341927830758859468680214452927780080770258881492186088537433369043977216961008555723209970574694592231753667191962850090550082138845504236238553142229932931431532633532298867666504073288996165197300001246188919514894249624559296650383429187082824928569876524671638125623533553913137489148245010398928784264402345483183164728407447182286692179297899152049738800598626090903285860320737854454317233065205847907060331281012921139617901673840152194777341830709697149702550576568717417008356049385758982495335345020585588738724614880589556023486045509506349712544688521148889723800046155180373828648377103812844373500205723473693982054105329279132335211376466169605663913162109375/26911548411334983493972986782222147937859031813389542070580669979866892327284173308256049974967675482391843087592993346444941377751457584018410499875083635357911357344113204993854119679135139246704315490415532590184719645729787749737740482434242459066261711041321691356991570564645111117432457336835492009873908790196990627229931311963108693893488647258341707032412081513523125047190053683526801702313677886380257615271580461170152343235669770143111725910424568730856143564967891045848669325471665573087442330931465360842109598759413747714077098103064568781789802414648160688677034711503652488725118095293595468194470438957660903736497348667693460799274991274152686685633870787660145376755994308876440118576532967458849877122515053892738932570382728820741559740450830752576160741731164193736119155001753500904972872447845886773011220442306777327967637131144716255937192261605003366841168888674563810327556484687153790443130113467596152763682087490352001540809513048121333132698131583761043273275093672462301178336525890667489493340686921296811709120793770074212666284626415779221499492625952790851139808029789530132383341217756956613111126151992973235582759710328216934134183190949051496128357984654090889640524244933215926936640597242780031124352875430930346202904434859003682104931989042520828196487332800748449733656167228615499041666187076236987561196739965313676800355804379772970528591151873952069008574601108904875233864320726191315843612809171866453559974833922856227511074317452589003116629668017434775345328206488883623644428303821533028955946985633354366353145696830633195876983673194579263433002970832098602835522050788849705089096497605734292425229127855848975096334111444296929135359443871690948658411928427476953947735446699272368932286424423894813504965874634163163825153683280517949328082055132318695514524200103676081143802754550024302978649353535790007498082200392683182890527278376554765026839361379779466033047267223208623139496802489132247434*t^39 - 1677178833457076007840811030514189649353214112945639136641143298244740165902870467711140526513730019278515878279831862001188533755826601752848711865802706964569101903893796663684153759822804649607833525265032174664690150629115952099628175711018643035927918598728664257312332559753271246031697770954370518847417516377177374449779053446547416990135986655069762720185298351613008797751107269899721835265997222612959054842535584674041313799417147581577825466040701207857149351381138943918895537733230615904236019392933168919843981368327950412732382625370959706458377534759743611558373668543952145613104131445423934448353616289947763770095295841062809936122129625473543053506721169685651762573619257142424522396266144140829848606644513319228049497835154436287003384275252211536826858086095643104815923280288953210145749745872315259276788100179494627206729206914256930461864887932072498691058595218219757482845735066926053928705275124587125657781950769825740895344129393699997527070109772134727656850793881426210236611904753711206942708618329403473201129542529114984470772654978776424083015257084525628832179763797764004025059255330448408780531927237943755615590378764603495294976702103485065147291976753958649017192107950247367125656141661344789789921919907178521782954993598502400406970737572215992226231191054417544418756863863827619794474774216165038799117783514771399619658183622817141159235430476680882873163081537245194130739724165444051176996881676084639037224158026470344381535610649814626037871648248795978636181447030595114833734995607930444658265593781952275533794196424162244071947287681200103595380560424166153903213421272226644150026190505477442597691149027226632897189877299689850694891405725892612023889507715536656702455808502325428478103352536281170329333611674217551977474681273115408526652352561280349234597786605830438477413837201266699539798716094851111132961828424732270321427746158407437223852797667354806378928900586871460032588307256703004311208028674124565083921612256216862675123760559653761379000368862673555401471158075846541015625/26911548411334983493972986782222147937859031813389542070580669979866892327284173308256049974967675482391843087592993346444941377751457584018410499875083635357911357344113204993854119679135139246704315490415532590184719645729787749737740482434242459066261711041321691356991570564645111117432457336835492009873908790196990627229931311963108693893488647258341707032412081513523125047190053683526801702313677886380257615271580461170152343235669770143111725910424568730856143564967891045848669325471665573087442330931465360842109598759413747714077098103064568781789802414648160688677034711503652488725118095293595468194470438957660903736497348667693460799274991274152686685633870787660145376755994308876440118576532967458849877122515053892738932570382728820741559740450830752576160741731164193736119155001753500904972872447845886773011220442306777327967637131144716255937192261605003366841168888674563810327556484687153790443130113467596152763682087490352001540809513048121333132698131583761043273275093672462301178336525890667489493340686921296811709120793770074212666284626415779221499492625952790851139808029789530132383341217756956613111126151992973235582759710328216934134183190949051496128357984654090889640524244933215926936640597242780031124352875430930346202904434859003682104931989042520828196487332800748449733656167228615499041666187076236987561196739965313676800355804379772970528591151873952069008574601108904875233864320726191315843612809171866453559974833922856227511074317452589003116629668017434775345328206488883623644428303821533028955946985633354366353145696830633195876983673194579263433002970832098602835522050788849705089096497605734292425229127855848975096334111444296929135359443871690948658411928427476953947735446699272368932286424423894813504965874634163163825153683280517949328082055132318695514524200103676081143802754550024302978649353535790007498082200392683182890527278376554765026839361379779466033047267223208623139496802489132247434*t^37 + 18834084643845231802706224763733681132230968478783282910599066982701908814645481375408302603930436625416717913949019103421505182469649638311338206980827808691732325557283963279191756260165248485796847566975045896705104658334434890831761779263338654745895486066216923175515861857028398765774115840013555569995164998274232582148108587366712276344828596541784544509946136168409433256955049358072253982998440392158764840585038941957790174503531156750473759021942423330407674671209354182017665303932111895651544598687461024516595189716483490441639062467993171434703714466485210281656397680324987294334914690969519736716985085405404619935437638668470521322853552423791692122760358908446421527363206263835136421861126473484767908542633766458167947622957292490756325013939535869380576167215333750840595576628077829944305520177519643765305137896869174796402145327293821838307917199526657898891553924901612410707025891862953375591047520324196222329518055628181685721903623729947269382500596216045430290220881460469326078069002698595391892768304027268923280391948782501537815388013735222197929571514388195962143248871437956877367235269854874846533655254919164327953002211754329267531056036110311491298269157081875526752796711432688808236602350475348278370867611995620780809249872527923310589342223448730035477347632030870338991272028058813569122701358988816950131489140893764832411564693387405638076277326950435948622160446789576725865966645605537238580023294275708862857623084359019952641621135302534260640675184389361605738698184027623254973873337436225122395869678381444665433625580414080214850582590533044507516710319803861380084116421148006399411032414674139200215766456719237959819054619865472545841587321532698871313611622239708531181107061674052106701125883328172710208905144687421306660634921030920063408704606435375157552909901253357093289193988325013374198470240995708518543387708687332154417800654752534856541893513607979790331157719020039785850972788989622855842196087927149985298446371260189254897234362047172213701569775171612311843798181986604837890625/26911548411334983493972986782222147937859031813389542070580669979866892327284173308256049974967675482391843087592993346444941377751457584018410499875083635357911357344113204993854119679135139246704315490415532590184719645729787749737740482434242459066261711041321691356991570564645111117432457336835492009873908790196990627229931311963108693893488647258341707032412081513523125047190053683526801702313677886380257615271580461170152343235669770143111725910424568730856143564967891045848669325471665573087442330931465360842109598759413747714077098103064568781789802414648160688677034711503652488725118095293595468194470438957660903736497348667693460799274991274152686685633870787660145376755994308876440118576532967458849877122515053892738932570382728820741559740450830752576160741731164193736119155001753500904972872447845886773011220442306777327967637131144716255937192261605003366841168888674563810327556484687153790443130113467596152763682087490352001540809513048121333132698131583761043273275093672462301178336525890667489493340686921296811709120793770074212666284626415779221499492625952790851139808029789530132383341217756956613111126151992973235582759710328216934134183190949051496128357984654090889640524244933215926936640597242780031124352875430930346202904434859003682104931989042520828196487332800748449733656167228615499041666187076236987561196739965313676800355804379772970528591151873952069008574601108904875233864320726191315843612809171866453559974833922856227511074317452589003116629668017434775345328206488883623644428303821533028955946985633354366353145696830633195876983673194579263433002970832098602835522050788849705089096497605734292425229127855848975096334111444296929135359443871690948658411928427476953947735446699272368932286424423894813504965874634163163825153683280517949328082055132318695514524200103676081143802754550024302978649353535790007498082200392683182890527278376554765026839361379779466033047267223208623139496802489132247434*t^35 - 92196935335075743369561836784728962965601949216974502083215133751127017573637777733531629646284511091065190277941617674815872729191556059127029175151124470417908586382281730951129604243106593161106631885694726522211087254276500972963626209713428678219831649095566763284980548946133490980019776926050241071045383135576578813800937817598848417255196629821928058983179473138301968033207422884083921444113240311321941226305260701899973980542317868546769496610807462736821834562315670592632573488877754547382371248869275256595080899727669729080364991958349807352686048792119323702154815276502431516128473355155687727254101467711462156800241682836313251150701438468860985878612191260007243669921040182249622826365968909596460600105948707143405662952307308080111058664557200361664907525807017955571291826233383007449659873597528187263769810493940516355103075709490601605848081807759644194976668034367029392751932719050892319382667158615165811708654055058500692424292795021337937678577626953476549894176198397217406393513167322671861987443304401257611671248576700310654891692994470264160616815473944675846871661771826684425808387756717868865360492370688376304016366047922272438508597807928144528494848660602800321297517557507664438365413457068436694396573954387471835801572858266650809613360012388218139806023219544217750251689600973996040179849770386338993535856476575728587675844292566653117718130490930515208625615496200390026647445079987817566923974454501917279085854266600119829112884629031681296848951559856906928783613745754401074754171880001148034349064076027944470079697782033783824400873319243978432323407737934406017279414918939350504109650768422559304223336220998496581127626440444504051260349518291646986236352599573220072731558515912676967659464806988774543557832698780226988793260605398551641054674182548147546109103603333873156508979960788552379799238565141778361684138394729821376582000302556390950376748395019879776497645992811416269080059310476805952907161184408041511645199625728720676651396528754968462824286772363058124833085416442615458984375/13455774205667491746986493391111073968929515906694771035290334989933446163642086654128024987483837741195921543796496673222470688875728792009205249937541817678955678672056602496927059839567569623352157745207766295092359822864893874868870241217121229533130855520660845678495785282322555558716228668417746004936954395098495313614965655981554346946744323629170853516206040756761562523595026841763400851156838943190128807635790230585076171617834885071555862955212284365428071782483945522924334662735832786543721165465732680421054799379706873857038549051532284390894901207324080344338517355751826244362559047646797734097235219478830451868248674333846730399637495637076343342816935393830072688377997154438220059288266483729424938561257526946369466285191364410370779870225415376288080370865582096868059577500876750452486436223922943386505610221153388663983818565572358127968596130802501683420584444337281905163778242343576895221565056733798076381841043745176000770404756524060666566349065791880521636637546836231150589168262945333744746670343460648405854560396885037106333142313207889610749746312976395425569904014894765066191670608878478306555563075996486617791379855164108467067091595474525748064178992327045444820262122466607963468320298621390015562176437715465173101452217429501841052465994521260414098243666400374224866828083614307749520833093538118493780598369982656838400177902189886485264295575936976034504287300554452437616932160363095657921806404585933226779987416961428113755537158726294501558314834008717387672664103244441811822214151910766514477973492816677183176572848415316597938491836597289631716501485416049301417761025394424852544548248802867146212614563927924487548167055722148464567679721935845474329205964213738476973867723349636184466143212211947406752482937317081581912576841640258974664041027566159347757262100051838040571901377275012151489324676767895003749041100196341591445263639188277382513419680689889733016523633611604311569748401244566123717*t^33 + 782225129907415989192698130069887784540321628763130354051145034863540741435002048570248372467092783029613459631767583433496302180711575665701583621196708965419783222464633291619131968104894096056039032122900754302678049167405586576936018864981512201568036022690886529291979891016997777348697832742561608528971394615843699656904072067796573945570893476213057545543639754430471708558091584270814637267768863460988115824799765430801136342448208805154389965943002377912221255152289769009712689974306509387971743068714986622680159800239565661257991352031523684491742669013538516600354856115760698979506200651691343318926331489318505698681857582776778697465544529424151272239260705322472586545083134944734950242075894331275936781277224280573291521984054540817989952456617379355398871758007220860869152601783129007840909985853903427800885766101955916452590940595566256975414651358191234153001978466107006251190754525797755656181350692825862028752840998156613656315998306037313501669567364466721382519010453231819651142742456445047501789180990270199870974472719768380268300333260545528081202520007688804302234520388661932194246543415285029472789298003383985925189949309595326985947154205053916486782832723361382234681891230771821686919885253174275108974741338715599457460784309511581617191501583967996490656045908311363057282661419075464569359494933195496152914537945425616990869699318379384898851856096728096880940154092923746647701109127220912075845740287162765414949582872609235368332999060124196131640044996915664743631068725528029690130310941537436497599161071746448983081754169250682317071977133062523799499951227196796974115669598998401377882923545598801528725550887557985651369049278523612492068500107665572046412490265959976526711264333954393320671580297780980271237462921857601739339340791086298626477489506488013524426363675017453258777693242239435186672189250464332477412552225819618686324921239144489780755561783768295912751152607531989936282876207037228648567977964218099185023540476640220909785977425346624205197370171435727226039054813666613925781250/13455774205667491746986493391111073968929515906694771035290334989933446163642086654128024987483837741195921543796496673222470688875728792009205249937541817678955678672056602496927059839567569623352157745207766295092359822864893874868870241217121229533130855520660845678495785282322555558716228668417746004936954395098495313614965655981554346946744323629170853516206040756761562523595026841763400851156838943190128807635790230585076171617834885071555862955212284365428071782483945522924334662735832786543721165465732680421054799379706873857038549051532284390894901207324080344338517355751826244362559047646797734097235219478830451868248674333846730399637495637076343342816935393830072688377997154438220059288266483729424938561257526946369466285191364410370779870225415376288080370865582096868059577500876750452486436223922943386505610221153388663983818565572358127968596130802501683420584444337281905163778242343576895221565056733798076381841043745176000770404756524060666566349065791880521636637546836231150589168262945333744746670343460648405854560396885037106333142313207889610749746312976395425569904014894765066191670608878478306555563075996486617791379855164108467067091595474525748064178992327045444820262122466607963468320298621390015562176437715465173101452217429501841052465994521260414098243666400374224866828083614307749520833093538118493780598369982656838400177902189886485264295575936976034504287300554452437616932160363095657921806404585933226779987416961428113755537158726294501558314834008717387672664103244441811822214151910766514477973492816677183176572848415316597938491836597289631716501485416049301417761025394424852544548248802867146212614563927924487548167055722148464567679721935845474329205964213738476973867723349636184466143212211947406752482937317081581912576841640258974664041027566159347757262100051838040571901377275012151489324676767895003749041100196341591445263639188277382513419680689889733016523633611604311569748401244566123717*t^31 - 5711671049304238573175823650228864951782702651969999970077076760936644199372897098697506509597329438822606455157236162717805977626246418946850191500714565972366409595392081119494202291416582734999964088983831456556931841585390825696235817910874803186238726689912416544443271579357705128530286121398905243723946638796090580816141515775529882103004353187938169379483657164903076374060447981886413998075425980732205044963462033237601549000599519757270132575418644360027977226129625420230534802846593440281312495990804652895572426076901844292416242726459715047051376531145572080664052248264463929250518195495917078877097038331777004905041737600844611260860178114238464819045714191489020920428652108019332457931687902777607812473704890850439765690965072536912443363561113523490979200680087945739276217276209124369485961810022127064711982669352528091212987851550546334930482451573994907255686384744755074161538285681209849208217748502622691650026703070809063824115306062363862924232804828377670786248738034387078003576208869307546509318552225844027794990997607204873148180348629155986217574085096480214552539331067856783464892306142102438832685268237577708221534352712187946867457966432116445893642678416946935136391113021896888399512541705497234264134784099624138494090161938360073009131680440938875018037665032342028773090385435892658453872938400582725362144219421081857537896031906469974055188713251436137889853690268221350720465419009960827402254915825228830642041712220336364723948279311089504450295042426162440270917073452233222490192440495813911658197529645978664722615235500689653217531112493815672272149204066268630935808837287361695107639244645002970689669387369668465982558192922779247185919578784534391683127503627173734292905286286987635880792024635885442465359739768873754652964927949109668419943538278213645054565729825334604446669326432621209313278109630259895665657154509469851799385847711263229407097878522273968554125734505226076434783420771316181080703197377899311433501578979545882739959972031471859019467149136158311817606417183406464589843750/13455774205667491746986493391111073968929515906694771035290334989933446163642086654128024987483837741195921543796496673222470688875728792009205249937541817678955678672056602496927059839567569623352157745207766295092359822864893874868870241217121229533130855520660845678495785282322555558716228668417746004936954395098495313614965655981554346946744323629170853516206040756761562523595026841763400851156838943190128807635790230585076171617834885071555862955212284365428071782483945522924334662735832786543721165465732680421054799379706873857038549051532284390894901207324080344338517355751826244362559047646797734097235219478830451868248674333846730399637495637076343342816935393830072688377997154438220059288266483729424938561257526946369466285191364410370779870225415376288080370865582096868059577500876750452486436223922943386505610221153388663983818565572358127968596130802501683420584444337281905163778242343576895221565056733798076381841043745176000770404756524060666566349065791880521636637546836231150589168262945333744746670343460648405854560396885037106333142313207889610749746312976395425569904014894765066191670608878478306555563075996486617791379855164108467067091595474525748064178992327045444820262122466607963468320298621390015562176437715465173101452217429501841052465994521260414098243666400374224866828083614307749520833093538118493780598369982656838400177902189886485264295575936976034504287300554452437616932160363095657921806404585933226779987416961428113755537158726294501558314834008717387672664103244441811822214151910766514477973492816677183176572848415316597938491836597289631716501485416049301417761025394424852544548248802867146212614563927924487548167055722148464567679721935845474329205964213738476973867723349636184466143212211947406752482937317081581912576841640258974664041027566159347757262100051838040571901377275012151489324676767895003749041100196341591445263639188277382513419680689889733016523633611604311569748401244566123717*t^29 + 35609319214186918247794271650899765754966857425786137864875567251459069735437622166680273646978353170822470761466453016691547508483722344779481405254612793785077255663247985381844705366611629119003351618111152784525357241416019035441242585492963282114677016818454351432442795144619335096931943488998944479969420884512015884383792272387072232158095896099229299919342367275635214281027477113313275542098975670648678338314608879341289934813388009830131644755061687210459959752943458565659878842266954499140596797513689068254428942481400657395761197844205938870892505427080993065095276938385829762643871473514387432767640137874088096900982146919164583117783077529537173874167687847792625895865929058223002451237202756734975731002925190671896370464809422771634239516700930034201398533160939774187930580597772820711270507100162009136678057903338532743811051742520060449150934565446455329848399069745530974665578293799986109848261322404856656428887633666090349619059248345657203654167876259539579212451600925678685049402503754454762176075388491044253179287176162153680525279289683222642105625605559323617821905956928108595630461776050901520418231603374456452008697670973359425442491075158686017600617818777003698209669403571956344221608605260031249464731282119842622565517524638426924201186933418980399734255596117292786253866669664275476106966066654117184432341883407880691322652808696450649393147441116239978961469462909139235247213489880906721314304071752897238638238201491694717969972198148864427161550141731452202557228536680490901050931580690087688973790246866180227305648213416029786286244954163065719005152358239923083689022637687390748238255504596130507965997351105303922013057881394530541329698279512134797446218508266870080842931584592977487935458480839864346398799183891083417945726995339637791196569827928634688733508955651201946686914013196779113281339857250820712633543508699566066273008868561334880170657792157702347871493881410955192443229613778928581735329642262187028354205950166084448196804299516349154436270648846380478847700055564614172158203125/13455774205667491746986493391111073968929515906694771035290334989933446163642086654128024987483837741195921543796496673222470688875728792009205249937541817678955678672056602496927059839567569623352157745207766295092359822864893874868870241217121229533130855520660845678495785282322555558716228668417746004936954395098495313614965655981554346946744323629170853516206040756761562523595026841763400851156838943190128807635790230585076171617834885071555862955212284365428071782483945522924334662735832786543721165465732680421054799379706873857038549051532284390894901207324080344338517355751826244362559047646797734097235219478830451868248674333846730399637495637076343342816935393830072688377997154438220059288266483729424938561257526946369466285191364410370779870225415376288080370865582096868059577500876750452486436223922943386505610221153388663983818565572358127968596130802501683420584444337281905163778242343576895221565056733798076381841043745176000770404756524060666566349065791880521636637546836231150589168262945333744746670343460648405854560396885037106333142313207889610749746312976395425569904014894765066191670608878478306555563075996486617791379855164108467067091595474525748064178992327045444820262122466607963468320298621390015562176437715465173101452217429501841052465994521260414098243666400374224866828083614307749520833093538118493780598369982656838400177902189886485264295575936976034504287300554452437616932160363095657921806404585933226779987416961428113755537158726294501558314834008717387672664103244441811822214151910766514477973492816677183176572848415316597938491836597289631716501485416049301417761025394424852544548248802867146212614563927924487548167055722148464567679721935845474329205964213738476973867723349636184466143212211947406752482937317081581912576841640258974664041027566159347757262100051838040571901377275012151489324676767895003749041100196341591445263639188277382513419680689889733016523633611604311569748401244566123717*t^27 - 375635719342414343497544337501944506681198129174547771188814433107282593456182795832768302581887556447056731222973217062333824274363858868950249784395986757603396030667696316369487160533841626151973449346976605511269150182279584830034388563297739301194420127117262962023383610528647441196705051060761696716128195553030603629776502625312319932541170362047825286340236227788404678371774410090428026360543795243185005129129682467192727517623490595844984480733103245404377515597204617249367961772488197516838374405896132329210370248452579429348404439679810118216556010253454181925228309574270181512937784360689455758384604728389103527613356938460864638640337270796217989918402123206528839537598311123580569298006381011598126428197864807406564480511620481218064186621862934985627361669734735767119063358151970272915300280866227211529963445858432401838626241053471087032805355164901526237366960480991293311360473637442526145762655350060554661211094153693490221704320865571384577621634747490793334820434652670640438784124268680043541163358803599583200158292302028367730314387171662879886669871923459046815916840724034804779348043581264092441874618310209961622690907601900855412484208877113028798489766481398736939947670850003326317706901950971899252385278991682506813278907247769214601414367102632120411223776248732145311201170355048654685788195222469785702546452952157361807502529535336156081880932562346966243086696337488224687107610072413041518278029957230344898976885312091629981050538954755740359767815071632158294239191681093786090367239579063385240472862275524670144917806177086990100013117038141096085383392017187680605332376635865151770958003925412078340325763991895502463241256641605390414376391347826334531099277008868093003588961824084655238346064534355764510942791590678861028793889027911945269166418485631026150380667187906749669403807213360537223188874172457358758730793657758499859728508487166602084100463891424625932801052682793754898875149636237029268463562809405344254311195470923365484456117771743454691933087301030222771641774726298125373134765625/26911548411334983493972986782222147937859031813389542070580669979866892327284173308256049974967675482391843087592993346444941377751457584018410499875083635357911357344113204993854119679135139246704315490415532590184719645729787749737740482434242459066261711041321691356991570564645111117432457336835492009873908790196990627229931311963108693893488647258341707032412081513523125047190053683526801702313677886380257615271580461170152343235669770143111725910424568730856143564967891045848669325471665573087442330931465360842109598759413747714077098103064568781789802414648160688677034711503652488725118095293595468194470438957660903736497348667693460799274991274152686685633870787660145376755994308876440118576532967458849877122515053892738932570382728820741559740450830752576160741731164193736119155001753500904972872447845886773011220442306777327967637131144716255937192261605003366841168888674563810327556484687153790443130113467596152763682087490352001540809513048121333132698131583761043273275093672462301178336525890667489493340686921296811709120793770074212666284626415779221499492625952790851139808029789530132383341217756956613111126151992973235582759710328216934134183190949051496128357984654090889640524244933215926936640597242780031124352875430930346202904434859003682104931989042520828196487332800748449733656167228615499041666187076236987561196739965313676800355804379772970528591151873952069008574601108904875233864320726191315843612809171866453559974833922856227511074317452589003116629668017434775345328206488883623644428303821533028955946985633354366353145696830633195876983673194579263433002970832098602835522050788849705089096497605734292425229127855848975096334111444296929135359443871690948658411928427476953947735446699272368932286424423894813504965874634163163825153683280517949328082055132318695514524200103676081143802754550024302978649353535790007498082200392683182890527278376554765026839361379779466033047267223208623139496802489132247434*t^25 + 1658193999700645418113685319559918963418520920328812177377550679228053410499809990729272875675996534136901716037217945436098495688481235074553871392641911310056456522291408374483755802039395473389828474704384763436258678114229676514425230036312683496331598543971170121486233561248338534313228031365962564390978747681290101475444659567716048055039994215498864488376143561675785022495264896299552158707829969826375210122094924333707160584043573275302370270788553615498097261000250943453840212952767462366199642654541674466197100776587961906986734161447001773895309031815335604584396787458717151939697776589073737633892498406491283590685908497011829548438098246787559833043384336917707811403489375062171612061148859886983438814297568323969688287838521751776326181725799942732588148846559262524331514658358660029369329064258066983893104308997117604543654743432036307616298375780348352557292615266925838714959261628614830621822605236944103121345047101876613460697768370303867241415714457540127579904385785946327144014831906230749636270202773824468504693377908858069194317684389486166006716201058424739451486894244693408752244932131126098286981705242034851948916552400194967286731067434592878305318146051867591811460810471761220380582905763623541274612957033791864595027718647964988577412189990828582629579318499949139231996305956230822562223133782562128884080915053007158779144687807961324465324838528132900151019111288216801625369191653032076262103921172461160578999748316527959038445379845501247572983103312761326745513297456199334270763231761114996429069677505869998186913307439334396340934587993333912632267712390566124547985845343753952458774183337634353984333521640918654106945964995749504988463267696877483825813544828453015980229798007498692564988975386906940842791139359711875252583043391667167520887276750659856052176390542814447304562506238064933080557330769461594759418146687609785986366071476924189910279547707991117102428127814109188598712146391294815675215331255152856643320344885574436197193012803881379067433388920822442871973380722060701785400390625/26911548411334983493972986782222147937859031813389542070580669979866892327284173308256049974967675482391843087592993346444941377751457584018410499875083635357911357344113204993854119679135139246704315490415532590184719645729787749737740482434242459066261711041321691356991570564645111117432457336835492009873908790196990627229931311963108693893488647258341707032412081513523125047190053683526801702313677886380257615271580461170152343235669770143111725910424568730856143564967891045848669325471665573087442330931465360842109598759413747714077098103064568781789802414648160688677034711503652488725118095293595468194470438957660903736497348667693460799274991274152686685633870787660145376755994308876440118576532967458849877122515053892738932570382728820741559740450830752576160741731164193736119155001753500904972872447845886773011220442306777327967637131144716255937192261605003366841168888674563810327556484687153790443130113467596152763682087490352001540809513048121333132698131583761043273275093672462301178336525890667489493340686921296811709120793770074212666284626415779221499492625952790851139808029789530132383341217756956613111126151992973235582759710328216934134183190949051496128357984654090889640524244933215926936640597242780031124352875430930346202904434859003682104931989042520828196487332800748449733656167228615499041666187076236987561196739965313676800355804379772970528591151873952069008574601108904875233864320726191315843612809171866453559974833922856227511074317452589003116629668017434775345328206488883623644428303821533028955946985633354366353145696830633195876983673194579263433002970832098602835522050788849705089096497605734292425229127855848975096334111444296929135359443871690948658411928427476953947735446699272368932286424423894813504965874634163163825153683280517949328082055132318695514524200103676081143802754550024302978649353535790007498082200392683182890527278376554765026839361379779466033047267223208623139496802489132247434*t^23 - 6048685817879859118252987030844424140237465570084318947123038060370992054727094811608629915956268462417098964951039761905423488447342385935636655569474372200067701303931219291252417786094444053817586242560680326783935627731558090192640134113647623531473346174888961726789031306653169333913076035767280615992312827999504073177869720694510344828802074720104094526660742478633004661135127837699323019106774877143429382822658970549232551572656790761830636011676885604029876515961164398066695874576495657762703588541646756497415965159965411802198875096639456613401910800162784742181017471471199184798075200280467362068830687875274274203176548581534107831295198167012092149760500460475813279718964823752774430586216385253622407086953090288795041960424026481916477031685104834521802673727117445851196195763938411783232904403296098197287581915623677924840489049998805982279395254657385173554267636592454740627206815867184178255607740611978210124116886275878519979556539400573554507019681539427454553023286079838827418949442922391912964864629030269890630284242333583084776168563873313485394027911645117395779537321717539401094836597732750651345166897442262748545812393982911970449195397317887989770714310795774458469638187820165372100837037612519557073441860967562550910725442134070974157586889749532889828749524871778838506801489248871769022669187618121732639634525360680621902862157629240376330608539806363649928718047522859193033745965466213345610146842737659926575855792127944787174105196664144452088215825205590973594811455857503205705149669111915068747146943489763669529944119899891986065015935821327440425348973681859021677958157668219018620176160380655332144900334451417761899528333050549427484708270226213445040125878955975864545459581882057139169172365741205722701118627796308050639101400677349354275817180504490594407877331899343393753976752370369197479496558718587558858234796466458585058217469403101266803732452094915241728697355593475034975686252267762928743030563760729766068604428428828489450521788414198391073098143500002097056586952498269458347412109375/26911548411334983493972986782222147937859031813389542070580669979866892327284173308256049974967675482391843087592993346444941377751457584018410499875083635357911357344113204993854119679135139246704315490415532590184719645729787749737740482434242459066261711041321691356991570564645111117432457336835492009873908790196990627229931311963108693893488647258341707032412081513523125047190053683526801702313677886380257615271580461170152343235669770143111725910424568730856143564967891045848669325471665573087442330931465360842109598759413747714077098103064568781789802414648160688677034711503652488725118095293595468194470438957660903736497348667693460799274991274152686685633870787660145376755994308876440118576532967458849877122515053892738932570382728820741559740450830752576160741731164193736119155001753500904972872447845886773011220442306777327967637131144716255937192261605003366841168888674563810327556484687153790443130113467596152763682087490352001540809513048121333132698131583761043273275093672462301178336525890667489493340686921296811709120793770074212666284626415779221499492625952790851139808029789530132383341217756956613111126151992973235582759710328216934134183190949051496128357984654090889640524244933215926936640597242780031124352875430930346202904434859003682104931989042520828196487332800748449733656167228615499041666187076236987561196739965313676800355804379772970528591151873952069008574601108904875233864320726191315843612809171866453559974833922856227511074317452589003116629668017434775345328206488883623644428303821533028955946985633354366353145696830633195876983673194579263433002970832098602835522050788849705089096497605734292425229127855848975096334111444296929135359443871690948658411928427476953947735446699272368932286424423894813504965874634163163825153683280517949328082055132318695514524200103676081143802754550024302978649353535790007498082200392683182890527278376554765026839361379779466033047267223208623139496802489132247434*t^21 + 17955378372050906236763293138706972971167386091291979874442113719140073534516299991594059472323362230086447934052787676601228519174528208930952572629877296239689717242274224015383138357873873153725062812701295674916697764194972467782959789855326320704592966269626523768694091357629313736373927590999980064462178223940655768166177921635698082900210321551430661673330996677630527303327195045050647807358384493246754159133534405609235473531441642787856378864067227271451357074832952864297211672026133659421353540748407191878079596957771083672720503956484827742398390077735714242877455801418343118249197786860333589922206245809223443004015270472645166931345000332604699923086575526272476907356218734958003645347530111644812320820163905640989257149996485834393600382587702640302743709381169921830789074320798775253786089058302818013439274009736534112777110938711796079156561406810139613588947348056333918837772465476673751257826311758494977953156351658128671606268961314502073340124513357152829527612123141489033808465481658307333890581866494761741481634515500233031258124242299960047208379445219992149017778334345539945541389880511772331660306209518301518011206690329723654028742917019900442145714906714605234679738180439374570249534010598335556594163465328277136067678590472253746699666135353670125188404183161899574076632341850085123636843628760042609945774769938942924665249716557622840828803638090338174295401116901619895686808186006314035791608762311495723233814480524917535032124739285988587712831142490818812459903404128156542686162011794595867916972409566800483914822472063381050448029374874147795054397870435993512521077019913602162819777674038802305735568086013084073085679114648965232757237631378257787433627357262235971441642546479302613127155525827361874262452880517377522327412547515742929675317202085554320392299021105388079698509571975356633991893740897161583916800572453211569102433508111319591572815615254019149451249488278819704869235547026955850255756698787573665237934635702063821508945394603644582639422934895202303315629067580202268346435546875/26911548411334983493972986782222147937859031813389542070580669979866892327284173308256049974967675482391843087592993346444941377751457584018410499875083635357911357344113204993854119679135139246704315490415532590184719645729787749737740482434242459066261711041321691356991570564645111117432457336835492009873908790196990627229931311963108693893488647258341707032412081513523125047190053683526801702313677886380257615271580461170152343235669770143111725910424568730856143564967891045848669325471665573087442330931465360842109598759413747714077098103064568781789802414648160688677034711503652488725118095293595468194470438957660903736497348667693460799274991274152686685633870787660145376755994308876440118576532967458849877122515053892738932570382728820741559740450830752576160741731164193736119155001753500904972872447845886773011220442306777327967637131144716255937192261605003366841168888674563810327556484687153790443130113467596152763682087490352001540809513048121333132698131583761043273275093672462301178336525890667489493340686921296811709120793770074212666284626415779221499492625952790851139808029789530132383341217756956613111126151992973235582759710328216934134183190949051496128357984654090889640524244933215926936640597242780031124352875430930346202904434859003682104931989042520828196487332800748449733656167228615499041666187076236987561196739965313676800355804379772970528591151873952069008574601108904875233864320726191315843612809171866453559974833922856227511074317452589003116629668017434775345328206488883623644428303821533028955946985633354366353145696830633195876983673194579263433002970832098602835522050788849705089096497605734292425229127855848975096334111444296929135359443871690948658411928427476953947735446699272368932286424423894813504965874634163163825153683280517949328082055132318695514524200103676081143802754550024302978649353535790007498082200392683182890527278376554765026839361379779466033047267223208623139496802489132247434*t^19 - 21285414470383980266772938025750442408890687802548815676905036586973177632051213829813028793014415814121258653451680142495714704865797150450489162150908567400443699662629008182892085429981516670717342217169830301987146454700073720590713455339786935337175513918420257545441474359154891727808595345215777726088991472718381315655773127522700739532121262734421790846653586173138390262339610449149278970921523894141252788113393316879234954958531778226304523014430492073388617080008491064144342785361400232131196600651623031098135824310270508716880130580743634612829365510016739119064230031282320814263933731935423095799644814260011783360027485524576740360067867208341579760063592667494545129551761056370948568240268473010173123146567425147743645000410601091934746112501630405029550311484492025632729376876331663783518116849629734065827308284535931695888457631871242475469951357292343086937232714818730179866799243148444604110199212688133921635879335771520962873920818983520684720502338626962492590822418890578579775259924276343376504908545930391033668735701358843612840470291629806751899602192479016494279889595887982657439025552751056916952157869215306633562230329760684869259790385102014557168722795929590493566142474271897833154702870132093987048205068022427295702307416158335350766308104211632002918918142434976835308329178604988019419507656065354626172450757740477163376113961928217767028073050149033663384272531132778934004216151499684536684870174543271697499744774761109980043348707127379542794634220104497977654726950062195385929570505189790781248516084230237683797004747045540571326654925078097832488921789157016963366813920180657382420802180501672657341150177108139416702402880821855750376557640414480017660125015695944042030845546663080875502844463264465746799742315465603921162234864523148647794296271583251413667803453295094256341474503035910846471859564326933500091266546778311408401116689523988187901723892887842944207410672956890967515143852766667305132514466696054373209635234428422069881681855387275816807631321382268163552682740716351825633789062500/13455774205667491746986493391111073968929515906694771035290334989933446163642086654128024987483837741195921543796496673222470688875728792009205249937541817678955678672056602496927059839567569623352157745207766295092359822864893874868870241217121229533130855520660845678495785282322555558716228668417746004936954395098495313614965655981554346946744323629170853516206040756761562523595026841763400851156838943190128807635790230585076171617834885071555862955212284365428071782483945522924334662735832786543721165465732680421054799379706873857038549051532284390894901207324080344338517355751826244362559047646797734097235219478830451868248674333846730399637495637076343342816935393830072688377997154438220059288266483729424938561257526946369466285191364410370779870225415376288080370865582096868059577500876750452486436223922943386505610221153388663983818565572358127968596130802501683420584444337281905163778242343576895221565056733798076381841043745176000770404756524060666566349065791880521636637546836231150589168262945333744746670343460648405854560396885037106333142313207889610749746312976395425569904014894765066191670608878478306555563075996486617791379855164108467067091595474525748064178992327045444820262122466607963468320298621390015562176437715465173101452217429501841052465994521260414098243666400374224866828083614307749520833093538118493780598369982656838400177902189886485264295575936976034504287300554452437616932160363095657921806404585933226779987416961428113755537158726294501558314834008717387672664103244441811822214151910766514477973492816677183176572848415316597938491836597289631716501485416049301417761025394424852544548248802867146212614563927924487548167055722148464567679721935845474329205964213738476973867723349636184466143212211947406752482937317081581912576841640258974664041027566159347757262100051838040571901377275012151489324676767895003749041100196341591445263639188277382513419680689889733016523633611604311569748401244566123717*t^17 + 39376590155780374251106605903062759382292928050174264820898593868713130760215706391269987175569629282925174700142601376351519844864329920412472432896761569174592715764641959855817519828345937080019584868696430319723701045126198306076069081301894663297005516996489396093487412075320343256888475386608778324283999247273176293014400318218630371666494218762410854826419013842790457080267305694155084695508587808101640929343003034781884713970500550858697354258644467030222229408539243210702794674976379940628377182215827756413744747758446651083173960501175789566506034651431884296553052495646391576704557779478280476009608812352378964058376865764657687858778834543022218755237455681551142415781218197667604196026438574247470831114282394673983384318157200094624103123481683967744574560167868787861843351573223928994718499404563413343211524922369465769638456243350816007618303713346530688191837662893643866030611962380230824571389450705936160905711195813530242882994923448307817256533771015330235095858847108309663788105640546152373190868633995920345108900239734155169818802776467913732731767610433447322010637579888970529524106932558571464347801788311697065550866444298036503481756771386518456948212857690064938684633426334747271881348145652021865635642269754476554060786698192021593815965237943047663719845792228032219387383015882565183592724153365073457744819444096600057148403651478426337161608867666018724014908294449329645194322359690165992310966065478482377876562971462934603354721092619751816660971218871079075087669319685600029710164362755660177364540429160626387447141844998392507068317363152766504588966896220857720072917886895248255723886243649027658095834854811372133824550216295051469179953053070144775714263454545238234041282651720390220355102798863518639701818092240593202018318532018686777091059142629504762696906007121737146478304270390896708846014078450947249146571589925119763638820682721227428435697651242790553685020000067751409800109011567961041642594294914812199018728213555221425069179934045169384122602144645640082225346277576287165398681640625/13455774205667491746986493391111073968929515906694771035290334989933446163642086654128024987483837741195921543796496673222470688875728792009205249937541817678955678672056602496927059839567569623352157745207766295092359822864893874868870241217121229533130855520660845678495785282322555558716228668417746004936954395098495313614965655981554346946744323629170853516206040756761562523595026841763400851156838943190128807635790230585076171617834885071555862955212284365428071782483945522924334662735832786543721165465732680421054799379706873857038549051532284390894901207324080344338517355751826244362559047646797734097235219478830451868248674333846730399637495637076343342816935393830072688377997154438220059288266483729424938561257526946369466285191364410370779870225415376288080370865582096868059577500876750452486436223922943386505610221153388663983818565572358127968596130802501683420584444337281905163778242343576895221565056733798076381841043745176000770404756524060666566349065791880521636637546836231150589168262945333744746670343460648405854560396885037106333142313207889610749746312976395425569904014894765066191670608878478306555563075996486617791379855164108467067091595474525748064178992327045444820262122466607963468320298621390015562176437715465173101452217429501841052465994521260414098243666400374224866828083614307749520833093538118493780598369982656838400177902189886485264295575936976034504287300554452437616932160363095657921806404585933226779987416961428113755537158726294501558314834008717387672664103244441811822214151910766514477973492816677183176572848415316597938491836597289631716501485416049301417761025394424852544548248802867146212614563927924487548167055722148464567679721935845474329205964213738476973867723349636184466143212211947406752482937317081581912576841640258974664041027566159347757262100051838040571901377275012151489324676767895003749041100196341591445263639188277382513419680689889733016523633611604311569748401244566123717*t^15 - 55156936831476203477596491042417460574114287167459943748633322514912067256667087860092358842301457035692145340547286598628396208861474523470783421463416128748591343398197818385651077233457018726491183281737822595015459857943583109898332453878860263091918791037314535259292376460915187008629684423179016537303718910689811791873539689957597760700496698751198818759271681807081786884347091633577198512025654163783184089038134326879991079265522380919875194723714167743613814423544638681236567708383499690257626850703389972270196367674572794957051189142216942729149278276682655659666125042718193506520705426921694013332342228326089327907920052868147971851343270107869115873383269593585048112434348908917945479973371864238208359321301396931872651065738901415176793618568237420420634423354288608059408317139403985706145715158904447042718348787621892238329337425627431445155002268018549834407738951885336697797570466685754575411003664999157077118648213722887932575504291821759299784229540174350103776622460987151704683547587713654095954752097363818635127707137163693271085971112875119662298564279693040843596298564966377681661003748583414281537487210363093651620951198967375968481603160760427959345252735013025200007663742749816293940204877966641462345211782031719029770456540518025738349234626931885726471225365290199937406387927020839138908761116188517412358938204063372444939494226143066473701715746834710902018791619787401114913503233375457107757384983201957332873336177477168090602244305187433276237055432214244785069911425094049324339207975266997939255341306127300912366639691174633862056149081456634559978829336821121417156416992564870779708192641983565759949763933393566284902664286497525984926489264239120595365880814889733716544036182635881329039622360657370646979229396537324874712281318206895351090812570794860622219553939792121724216720046116255986546171495267529236980191491321478035067566152550150126854438549412306842713909389139188790158916807164272186580767434477405340041808042591800219923606593315407716729436324405479424496052489673124881990966796875/13455774205667491746986493391111073968929515906694771035290334989933446163642086654128024987483837741195921543796496673222470688875728792009205249937541817678955678672056602496927059839567569623352157745207766295092359822864893874868870241217121229533130855520660845678495785282322555558716228668417746004936954395098495313614965655981554346946744323629170853516206040756761562523595026841763400851156838943190128807635790230585076171617834885071555862955212284365428071782483945522924334662735832786543721165465732680421054799379706873857038549051532284390894901207324080344338517355751826244362559047646797734097235219478830451868248674333846730399637495637076343342816935393830072688377997154438220059288266483729424938561257526946369466285191364410370779870225415376288080370865582096868059577500876750452486436223922943386505610221153388663983818565572358127968596130802501683420584444337281905163778242343576895221565056733798076381841043745176000770404756524060666566349065791880521636637546836231150589168262945333744746670343460648405854560396885037106333142313207889610749746312976395425569904014894765066191670608878478306555563075996486617791379855164108467067091595474525748064178992327045444820262122466607963468320298621390015562176437715465173101452217429501841052465994521260414098243666400374224866828083614307749520833093538118493780598369982656838400177902189886485264295575936976034504287300554452437616932160363095657921806404585933226779987416961428113755537158726294501558314834008717387672664103244441811822214151910766514477973492816677183176572848415316597938491836597289631716501485416049301417761025394424852544548248802867146212614563927924487548167055722148464567679721935845474329205964213738476973867723349636184466143212211947406752482937317081581912576841640258974664041027566159347757262100051838040571901377275012151489324676767895003749041100196341591445263639188277382513419680689889733016523633611604311569748401244566123717*t^13 + 56208657040629744104786545100246712029328818825550882496375575130908967020586132753713142072823628638393624279291684713868192143467559512429067819961016026269513920087155104069778018721655523498181735037180430604863567211496295497579359916549693238467653638168744790555535915939837875293687666393073206636601992825351523300994731833649515385350769705966367510503745379518407982890325028660933688713547284055632737852226271880423232527208514480480634233230660424240529420125194963498248333926371371005210039524678373704102382892245314451695047053030910797614163147678023748479457576591513594959621940655039138202198472250181035812553497911342964398285770580056558741717585841383507551838314968390510194384426578330247568025733972370109124495838898152749431927994533903451756010764173005068236263947658904865952014246314729112599585801958061260486861735723449189630136768013328114538871737565429595428606507912818364350178452803844680835090434628870703580926359257750000116238296863793905800495071853242736592320044754152354197940555037476972416029970699788325887119613480037810370887002513905309613207218190879245068954187800464579297825902152001869723733303322325261665575774769999484525771979150955612154453747887925168678423629853703128573661801264343550131680393433081980315379914839506086108418874694177840182707724446254029179750897861868643523989244929294772290401015738833453693589970987069528509143091664824442866860831650151720557738082002292303724394013624288166106408379734663758007463977461318233975130467237066056156524096439006747610274933701581773709454974650128189406918443704972051829749535550354399778626826953471271081748307191750261259814426507808301411318253973886631662908561367956426163715834155052547165637505045294456399211899077402747632148643903542161786174937352260025510679872806811982283220106464999856564789603728041865060276354956705071106709729781258026314328466349757309546000019616475337870950382421934337304647722823033837893568038692462978801651887382897069203981251053960511596106345182495498085829797992948787847026367187500/13455774205667491746986493391111073968929515906694771035290334989933446163642086654128024987483837741195921543796496673222470688875728792009205249937541817678955678672056602496927059839567569623352157745207766295092359822864893874868870241217121229533130855520660845678495785282322555558716228668417746004936954395098495313614965655981554346946744323629170853516206040756761562523595026841763400851156838943190128807635790230585076171617834885071555862955212284365428071782483945522924334662735832786543721165465732680421054799379706873857038549051532284390894901207324080344338517355751826244362559047646797734097235219478830451868248674333846730399637495637076343342816935393830072688377997154438220059288266483729424938561257526946369466285191364410370779870225415376288080370865582096868059577500876750452486436223922943386505610221153388663983818565572358127968596130802501683420584444337281905163778242343576895221565056733798076381841043745176000770404756524060666566349065791880521636637546836231150589168262945333744746670343460648405854560396885037106333142313207889610749746312976395425569904014894765066191670608878478306555563075996486617791379855164108467067091595474525748064178992327045444820262122466607963468320298621390015562176437715465173101452217429501841052465994521260414098243666400374224866828083614307749520833093538118493780598369982656838400177902189886485264295575936976034504287300554452437616932160363095657921806404585933226779987416961428113755537158726294501558314834008717387672664103244441811822214151910766514477973492816677183176572848415316597938491836597289631716501485416049301417761025394424852544548248802867146212614563927924487548167055722148464567679721935845474329205964213738476973867723349636184466143212211947406752482937317081581912576841640258974664041027566159347757262100051838040571901377275012151489324676767895003749041100196341591445263639188277382513419680689889733016523633611604311569748401244566123717*t^11 - 78812815216417035267796369319565315557776036748630190734030584232036475685651290902566244803763410746378519305327328060264122073667329826027424621389544101748924303629137928994001841747101244039509591492844537994595814707136908357150822142477503722359917488241630453020707651317674579284609159816137196602508057674496506124918559280626570611939814339052098277770740965141467409378421196019447725970847611492540096426637453953364891623253136052351396567547230876864920079504280317384698462382687782189896293684305571541506998886325498117885263764448984381184162980986689601981713330401065659713991061672034503931337963269085519147441500046687186668916923016820831666979412037499794366165687999936360474526148870409228698599440030093285362756252478011757352676366143275119712009666239303465672324140217816780368655337525743377780443812727737119793112524424065359441653600704453651897631497427329556574849356167180117106313601728740400864552041025440017139084272311738436510154457483349372155997419958335881964219598436033923760611455706810723843789945293884888922077581166327130125824088111512138348636200513539837295536156705726529788750730901000384762886737247519257048449144404722477167648367262121324408573976794952198637265680181630840648118477327200476138847026694979693102302662672320428552867431596209200198707887511780277715762916667032662192759032902256468659370077378359911984217030302888832046436119246630675936408079296292996857361494224110305945347723055382196581201773831336168758654896754350220289648285320181641849335098697911462800048561752796473747174413070259232646336085518465297748094297666879942486895839095604288859455829475393055964163936152271871194240434592430013634821121058487094470353989587996804213151008798537987523076422275906602320111387751562858985119534437054285510257739997245653567079527706907333864621520577689873549067791308116826462691059429349868904559398711945592392978827409324894711315824691807263254512825293363115424407317786490834944965001288151613852078110945020216789548840073775044130407825936663239214471435546875/26911548411334983493972986782222147937859031813389542070580669979866892327284173308256049974967675482391843087592993346444941377751457584018410499875083635357911357344113204993854119679135139246704315490415532590184719645729787749737740482434242459066261711041321691356991570564645111117432457336835492009873908790196990627229931311963108693893488647258341707032412081513523125047190053683526801702313677886380257615271580461170152343235669770143111725910424568730856143564967891045848669325471665573087442330931465360842109598759413747714077098103064568781789802414648160688677034711503652488725118095293595468194470438957660903736497348667693460799274991274152686685633870787660145376755994308876440118576532967458849877122515053892738932570382728820741559740450830752576160741731164193736119155001753500904972872447845886773011220442306777327967637131144716255937192261605003366841168888674563810327556484687153790443130113467596152763682087490352001540809513048121333132698131583761043273275093672462301178336525890667489493340686921296811709120793770074212666284626415779221499492625952790851139808029789530132383341217756956613111126151992973235582759710328216934134183190949051496128357984654090889640524244933215926936640597242780031124352875430930346202904434859003682104931989042520828196487332800748449733656167228615499041666187076236987561196739965313676800355804379772970528591151873952069008574601108904875233864320726191315843612809171866453559974833922856227511074317452589003116629668017434775345328206488883623644428303821533028955946985633354366353145696830633195876983673194579263433002970832098602835522050788849705089096497605734292425229127855848975096334111444296929135359443871690948658411928427476953947735446699272368932286424423894813504965874634163163825153683280517949328082055132318695514524200103676081143802754550024302978649353535790007498082200392683182890527278376554765026839361379779466033047267223208623139496802489132247434*t^9 + 34969912399515784468845395356923409711183810569219598343999817118268412823778710958403077771591727544112041544360217109261917953101089783274481913020311040817521658047064767885259125523158579652332791655450534793680953361700817876724392993518347659736908161199850563919821708231248481969023799606648345140339109107279766512717731739495906080587584743722670088460836533289045782795945104583453638608253986951281690586898318251524723554738337540294173639984398071267124014833923385337247132238087128603753642447772170814637557865979260484230535753079778838072726120899749111586794760746002371729615809006989473302029641945896284114472242848597713803843677998624847742738722735134317134844065090383824485746895405854936212174337541957851588867982765076927472255441552440801608863966573748848103883728835686973932890998796066663474170038151376850519308387805883393043303448179949924032499744126497367398186237283636823003746789180277492022529003833462230360609855154659323221931413940344168393429326166521586372555246683825119093687339232272013837026584827287927054753215153706364928185834671235429677912611140074759194945968871636070569851354625435549388798166611423947986415639429650184641700140233293958439206854371174656261983167942799453671577237829712889758045564246561471083853019364369785720517704694544191827559433625028848158179248051365123363847804636427650614478836805012795212017425333068626444994163938645524403782293524627889846461733461609431150123019475945847572591388948540901516784298454361144037011237363027580513195303300725507468644908086079571994831135286649690705857221756527995988410631955874427792127760520145377448173246321277864136953212912134513070379543492713834165594058634451297276022141688331529747447654082762787010284862954398753152397805383096352423515817568952594512326268079687529560995374405967837644677370382898354324403007523566547887662885981487746556797735618930686806000992579659017655392717378277984202074882828030451565681285700303461886807036442938170354235036598657784441742731047520830859163123918526973662738037109375/26911548411334983493972986782222147937859031813389542070580669979866892327284173308256049974967675482391843087592993346444941377751457584018410499875083635357911357344113204993854119679135139246704315490415532590184719645729787749737740482434242459066261711041321691356991570564645111117432457336835492009873908790196990627229931311963108693893488647258341707032412081513523125047190053683526801702313677886380257615271580461170152343235669770143111725910424568730856143564967891045848669325471665573087442330931465360842109598759413747714077098103064568781789802414648160688677034711503652488725118095293595468194470438957660903736497348667693460799274991274152686685633870787660145376755994308876440118576532967458849877122515053892738932570382728820741559740450830752576160741731164193736119155001753500904972872447845886773011220442306777327967637131144716255937192261605003366841168888674563810327556484687153790443130113467596152763682087490352001540809513048121333132698131583761043273275093672462301178336525890667489493340686921296811709120793770074212666284626415779221499492625952790851139808029789530132383341217756956613111126151992973235582759710328216934134183190949051496128357984654090889640524244933215926936640597242780031124352875430930346202904434859003682104931989042520828196487332800748449733656167228615499041666187076236987561196739965313676800355804379772970528591151873952069008574601108904875233864320726191315843612809171866453559974833922856227511074317452589003116629668017434775345328206488883623644428303821533028955946985633354366353145696830633195876983673194579263433002970832098602835522050788849705089096497605734292425229127855848975096334111444296929135359443871690948658411928427476953947735446699272368932286424423894813504965874634163163825153683280517949328082055132318695514524200103676081143802754550024302978649353535790007498082200392683182890527278376554765026839361379779466033047267223208623139496802489132247434*t^7 - 8567407655876291813803575185599580129490959447296613129872100608712778898989198782472065123651467211533221884403280433457863679857609472166035778695075677009842193712794106881890795422158600389453810006082656143245765672446794723261410154115481680201850616181900458110432882784782729004018049913935708806231485739449502977689459082582802343970519407590054385515430013692567819160999247835301361611409481788728049989007195082689855007217742414625171795990421999425839645973838374259278188445851858863821157568325085026476179550435718708302204077854662104730831312531396884397630499257150530694009445207955799655361335695210744982700969578957128021719128208711119936641692727999299882448110704107549178784384138023540217206587885731811439140741884591323148473463669615370070281973324245314849512515152083234338513553676320732433183526655046667584210155798376488984331700542865155060851327597371854348394421276553049713456070033499731699912161343536713592994726223312108557211952751505832456755598146553377588872577195451743354992546331021573134610672351114864892300359002015689200367065237036144726231304693239599316006232176135396527966638822822324171423464740742181202842417528933576463933565927130393116304947357430622740143752892212010999454944316224331517980951094482118357856144894483868658406256893034244157853089240526249917530889197203968609861445956590881374445802295090546571429149158977574732584459083894893260943772425537102994305247987963380939225721902657456003615885913381662952611867408446828751240636367629587598301211259387948870588614763954693259838303361368513248526742213600565786818189317045599967845376641105422690912188826784242449859525211491943436885359641789647787003511812784700178832169375686756272173814067572444802712836470696378228963134992178723651775684679856595504190574158423463581009772361756581604369180993441071948247522012623250313339244403707393505182974762415223846016333044616044994751580191146854875446303164051715802519426385044609640716876307037206752852221540075223321546059617606769909116704500381440664947509765625/26911548411334983493972986782222147937859031813389542070580669979866892327284173308256049974967675482391843087592993346444941377751457584018410499875083635357911357344113204993854119679135139246704315490415532590184719645729787749737740482434242459066261711041321691356991570564645111117432457336835492009873908790196990627229931311963108693893488647258341707032412081513523125047190053683526801702313677886380257615271580461170152343235669770143111725910424568730856143564967891045848669325471665573087442330931465360842109598759413747714077098103064568781789802414648160688677034711503652488725118095293595468194470438957660903736497348667693460799274991274152686685633870787660145376755994308876440118576532967458849877122515053892738932570382728820741559740450830752576160741731164193736119155001753500904972872447845886773011220442306777327967637131144716255937192261605003366841168888674563810327556484687153790443130113467596152763682087490352001540809513048121333132698131583761043273275093672462301178336525890667489493340686921296811709120793770074212666284626415779221499492625952790851139808029789530132383341217756956613111126151992973235582759710328216934134183190949051496128357984654090889640524244933215926936640597242780031124352875430930346202904434859003682104931989042520828196487332800748449733656167228615499041666187076236987561196739965313676800355804379772970528591151873952069008574601108904875233864320726191315843612809171866453559974833922856227511074317452589003116629668017434775345328206488883623644428303821533028955946985633354366353145696830633195876983673194579263433002970832098602835522050788849705089096497605734292425229127855848975096334111444296929135359443871690948658411928427476953947735446699272368932286424423894813504965874634163163825153683280517949328082055132318695514524200103676081143802754550024302978649353535790007498082200392683182890527278376554765026839361379779466033047267223208623139496802489132247434*t^5 + 894547850185686257743420148615618877972028001871030573324407629630267955834285933288255245850798157502458855479657547403429185488697652614558939374656019655113187195095917025963180386606273132404885052704699091429149144799494245115463189459486202838099650556861251294318042391341772285545530441643429998050866188212439058251620210392198182205488985610806216225200872472965495407834420631008381778891844510923612164020822829658855710184350169254745236669743832079022126403991049736848411425596781577843428821876019585984736779765598241993048140325016329861406830201692247402098822980835487780090525610349922057709995609361053508143080927030294847752623792506892129016074374066676166043508070272217880178750887765863502909515480536466008109051812293325601656167278885330399957308256390476342625289704368348217972739462307616399131839421739738696069707374728371681845275418731530214570392841946394600930091728674411965133250790432633683346783143575003937298112028983550966543242648315468116446233143387143182437640315058297354653666728415368667856432836205171045136575269542453191859145237117775790743750158520583668101269552804429185884535767701919440255940052181999816801671470653091393306398215322125951588876491533559942930981883809087148035227293494680230005782130951306048596385810933804042815470069495078388993433864758781950700911211414904066184701927663303050181791518120131230686005441515204739277818399805072119237474125357933201022663401215677549844915467703734715022566985646039400331529283152323384299766503552198603669893907408481217152868493688510038726273381378422288254539693611648556551730683615103885550992717337824896349181966852158244294957463787718140664235913950360638091612823663394082701861597773355735868670852401604080195034879162735915034333070005805121191852715731870358364143181386505236212901100149445321287453163308104050196715864005967587617642545231307568978962015466113797521960044073037706361964751118426627967930511587797958247277239773757680425330478034320143663731646199800277185501239307015766266793277618205114166259765625/26911548411334983493972986782222147937859031813389542070580669979866892327284173308256049974967675482391843087592993346444941377751457584018410499875083635357911357344113204993854119679135139246704315490415532590184719645729787749737740482434242459066261711041321691356991570564645111117432457336835492009873908790196990627229931311963108693893488647258341707032412081513523125047190053683526801702313677886380257615271580461170152343235669770143111725910424568730856143564967891045848669325471665573087442330931465360842109598759413747714077098103064568781789802414648160688677034711503652488725118095293595468194470438957660903736497348667693460799274991274152686685633870787660145376755994308876440118576532967458849877122515053892738932570382728820741559740450830752576160741731164193736119155001753500904972872447845886773011220442306777327967637131144716255937192261605003366841168888674563810327556484687153790443130113467596152763682087490352001540809513048121333132698131583761043273275093672462301178336525890667489493340686921296811709120793770074212666284626415779221499492625952790851139808029789530132383341217756956613111126151992973235582759710328216934134183190949051496128357984654090889640524244933215926936640597242780031124352875430930346202904434859003682104931989042520828196487332800748449733656167228615499041666187076236987561196739965313676800355804379772970528591151873952069008574601108904875233864320726191315843612809171866453559974833922856227511074317452589003116629668017434775345328206488883623644428303821533028955946985633354366353145696830633195876983673194579263433002970832098602835522050788849705089096497605734292425229127855848975096334111444296929135359443871690948658411928427476953947735446699272368932286424423894813504965874634163163825153683280517949328082055132318695514524200103676081143802754550024302978649353535790007498082200392683182890527278376554765026839361379779466033047267223208623139496802489132247434*t^3 - 10236316544666167994183687133133601036931763055465463500529539848789784468549055872732912438942335153004559606199150029460256880887999680257912755579374588633213202623034769877693947672642268340538075115960612326485306372905467053845834693245298063195912149836704380500841064649930404974657237430215417753857838754508560501067018140738873814139314406199023908073825835046073105236870370673189281347610428803805503083649436707757457840964749672624410913006526179140932379538592921619184719206819660011105152260439170901603585631298978721309373389334912854032460197201330735414016616039864611669885472735238866760996689995693788569978163673790893864093136951486119248352321530896838496775834007227009597373194301281397831430329130679084346536224055469909178366457621640245654037900739395505376896551377016339317889745106329467037419435703988947269922961142975732128383327197700950812156620724138113507457520510101444266064302833895371145069768983699807839780974498817481809362402518237375552408670510278850065826640981538264747242532385229464284493917843679929755513770597583812187205884040759988087389088665480839296795410102136010365119250208485054775323017255789820474254963541095752186538091039238126678280146475031859883034747570493907943194917264611786295297718520647984341206123096490770868711815543584537313955680500685460256545911884095268126766850642061858192166806871301993027187702160035143977631792829230875520456334473435528405584625588559379323794013498938916631425097469518989570322771251527398792058511206828232098147610964099178062782209114330458006790716633383515546990816591999081492051338300303537502039436674002249095455209149800433754685402594812382652886125952019851265962445425470048179197175704608826981538390693944099352037054897495361943828870373481925271754638391520897718402831559119201294929049430864839717793624990032769798301775056536661637744162137135338785449813990143072503634650323876382134439654831061360996307254412704951712644069994820612255992189459042804586010376058099172911920372003017297187339082240107212677001953125/13455774205667491746986493391111073968929515906694771035290334989933446163642086654128024987483837741195921543796496673222470688875728792009205249937541817678955678672056602496927059839567569623352157745207766295092359822864893874868870241217121229533130855520660845678495785282322555558716228668417746004936954395098495313614965655981554346946744323629170853516206040756761562523595026841763400851156838943190128807635790230585076171617834885071555862955212284365428071782483945522924334662735832786543721165465732680421054799379706873857038549051532284390894901207324080344338517355751826244362559047646797734097235219478830451868248674333846730399637495637076343342816935393830072688377997154438220059288266483729424938561257526946369466285191364410370779870225415376288080370865582096868059577500876750452486436223922943386505610221153388663983818565572358127968596130802501683420584444337281905163778242343576895221565056733798076381841043745176000770404756524060666566349065791880521636637546836231150589168262945333744746670343460648405854560396885037106333142313207889610749746312976395425569904014894765066191670608878478306555563075996486617791379855164108467067091595474525748064178992327045444820262122466607963468320298621390015562176437715465173101452217429501841052465994521260414098243666400374224866828083614307749520833093538118493780598369982656838400177902189886485264295575936976034504287300554452437616932160363095657921806404585933226779987416961428113755537158726294501558314834008717387672664103244441811822214151910766514477973492816677183176572848415316597938491836597289631716501485416049301417761025394424852544548248802867146212614563927924487548167055722148464567679721935845474329205964213738476973867723349636184466143212211947406752482937317081581912576841640258974664041027566159347757262100051838040571901377275012151489324676767895003749041100196341591445263639188277382513419680689889733016523633611604311569748401244566123717*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
  current precision for roots: 1696
  current precision for roots: 3392
 current precision for weights: 1696
Linear system for weights solvable: 1
Sufficient bits for target precision reached
Positive weights:   121 out of 123
Indefinite weights: 0 out of 123
Negative weights:   2 out of 123
Extension rule has valid weights: 0
**************************************
*** EXTENSION WITH INVALID WEIGHTS ***
**************************************
