e4 = x^4 + 741226570886813298423130307019494973497768593120203950344510612281566471369109963832676029519245489895328196198961462067014168441894013601469961275253270970457922798729055514111596789762637899971895520238330492842378097374550906676436664868517686905781162967817516493708576626437391707363630821623336915522079830747929832725434626167600037316686827112644834672711602628620154586440756782515937257496807985578551533298677341402714072394908405114476127641556634622201328423401207007251305554308812838881197359020480478801829726482816540970536186015739186303751424533588714619154876897951862968869152408854026268200543480981718857899112380692983333739013732083617600435200574674840171285032708231942199256688397488226481170786684519558492730147045119184033673150250937859530478498202567502396445361452368158922376034199823661981474735304054323487543421038006253534186450828288003004972846480511303210547033853932490573035569347102308157075600962899452114922213159750474089546897468181225060584488209766284063672345968639335033108303084433196001072675408282213760729113446112450925425138002800747540623041516487915988938113168041575006085935873671391883612821419675865680098616662599450937756814862327514133919181519929507116017460942746141913420727655735062118874275397226034411367058296323907792435772660549104294941592213144054930272315333623062616959744828671736859997408429027930399673268490379316193000700643824621661011038118493543952759272531311414173698317576539109280232694908845897517643735130598203833243227519240754780455782074857474002486033755037649746280011898750880346136709385999380303486906425670969000467682611838222414674856543808600471995050452013221001192955176913748207310925847860300402477000125659484503901056326781578886788754370732248634885853742623345731636632795279977938776973003567685230513748912579517697990581195138879797381896695731163384935507823953846282959008108458966833254002212995046626561166766828611865547420119281119985648790491189859942546633321766123346369967802458030221992728239198386448630616134703787904609953876260765784423744147265665729116244496220996567026719837791066687311974916422329883715086453571117554098849778700304322426013962453963927538161193681386485137991125232653217292227375618299921856911546101316586471037445660480213513589600375161740702270104103998925726728950770400050424496512282387878082519311460050359612918204471326781271069982365212461339525821489580740306435604979056635362932554831187717848097051176228066544934501796528859543393735225023066290261383662834708018385866213270761884624945875424565591623923871261153464949121080096221268370945932236203915457736242917286539544681523078257340756943349682860392720218017574880902475607251511375593391293628022684036833386951525125260322583299013782993969338074393277334017623666715275068614734777811820130027647887448789958989501160063493610578131113382425835031500575532670860116697107067315971613013857534589439577488610175014708840113958162024006027025933374528514425371113374987327575157771601448857591086439084424469240060851538228581244064629630595236066110844552678968232496485371984413074287714579725003911873636093836232596751759389311751321692062492377836015419589331824761418494191565897187807362146482605741860493970148747308426788526225657953886811374901881024020054083491635807404417410145670118108345342889492490547095552520270836551485692223076431779068178918497103636326569031460507572883665226374474594411488206164472882039650180991551242188615270773750289452811781610449092947283618802679477648411050154262691704887284596115339706114464196900324966511087839685859611179835577059718632596729550806878645931279331578212339657182521133999116077106024194216410772722157540843215222557995756388887556672775901953825616809651837554100337693157100401157817322716545765521640064361308094961687686081451783645608825019335461480612198510387826615659684919198769172484377664833993675614465415429976740586630122533578883711964316408228030070703082464150594564374774873899933287748728507491745094099784496364383390969775165216427575225673115878210882957151921349657246810321095259357736122630526014047139566721578339384319028205815828746962188441856139309883559263325162166467216196822439641110625934494018428178347985996969470336011645428627664015801527141454415002870500481793610512087110585124110598681695523241045610599834305756225618594037426214727175491478192505507962496786352223234661070005149290000363054088935512655369829022424919816744313527817929546604354502766047967508536419387444087028440912104394369956033774502041462431619592709301086863703504538563188240826694423637043308246941299677032454834286817571700592236291112722300109525814138776409069975456761037221358712095328750252937704743603963368067791305419980465882020951931039281912517814147041122468862006561608217585729269226643522008123077541566742414943575200183839142293441434475809651116425012193865189634348526689157930059352096852429543051232975755181935394673477550080000*x^2 + 4247828612454510556909147550146838649914344067862514414201677467713893306500674161212690702716162784255574271146512732780117054588700485300469731920818336949840140112132430723951023108810676625295738566646909693642671591974688316987501978291373766317155691599313611721448709709286850546325938380097933862510958679654038507352772887489406861398357840585668185801711020300144682433413324993213351888461553756587142349537890356568423805507542882485162383534035102818546990688039252162043585023903264382469699768407992540788487245032790075492303239573178277858096510955858452890084273868898929496581789506099770959721896664263994980876412498094775164432693895419846343815631952570194962592019522860369849433791814923640866420714133178987101162127254527185752363379707468419212012715350128486696130593619549660552015581099788432833191051244836254431765272446709106611816268372059331298865783561069981322905046664900378803990792396722067242528899584826367468209069329184936302809345727742529612988236375605640911782815376365970455040695667432562482222042471736523776671457623143961515148196558337828510457669801268743533102447720520816991740230233116252466455040427216424260633652342270883014205572088357734192420027776430273423844551314510915595965026043659992585216551116474500926062078311891646528243859980708689239511183251799608968970625313982129903458731947366246713803833811426102354504644088574152789711223234437230893116927612807247338737162176815979700388328169331294726342237605739802173445485804687834662308352973039221268731902655338438841166380678582458440261773942413547604556611503268715277788126721362607977678059078242974776400231937483294033143123132580075206665407162745042210185028499333017039036414705192213858209279819217695456962672513941149687771289906457422550330977225693694646084291232035152076208876066517087577168140226633091478989600316378471266050739591613780578824326198152278920945756045787883959755866031978325295991151399623628065912282897630526085391183989674958359337849620825587276196741751198754193013514956821770040373666209993754393360218540474746440117663797970982331247451213674504823015019401363186300901861735424096716510329961264170459050733962871007791930992915927250564711502960384279431745227805944389292695560300940072282291656936326183323824909645600102854504075632354584145973427308700564437878401634261244202088898567177681833532272452342418760015735286205969136851161186112807522012464224828623801503945524249931551531015032140372561091098339074174418487671529827734132236287414598441872108046684255119715875141908458397864491117077588302066137656963430623153693906158025898980287162856487587026388461265438875747741545448131009558352181257507714498392555306827685498908749555784730677550602899814667742542747837659948986737227891256611045937351578577245012135120022048224912747965926381727409126110664550273772626564771211386326535956093687340277142590568734368133055795454284602176092068426755953043461605982268061014639838445205775456782127362697543397509649471659451319346780299061148334147612960956564216612708492736235230008552589070254799022615860756005827155968033163528340376621962911418186519224142133709727940237103429159842816324016085614332359765644929934783460386193688932092433705856377487959023990973320301382367086132615858494421812199362297152310737355001374143027325474318722511112256253975553361141194298956331716305618907167132299446926626102633273205074909575816738485161371247725266785204853756739743581090575559802333358799642651317401503118937470572705958432234313239536497150250252929091616332738776834588048955987817416326100413903435343656932496311240114231798344261375996272531585545135811595615376146579394482299733035803176142341657714291785066027355586698934498044294031766264807132028229893264454876918323681676530849047564399655148017643783803107367234206827222805287790641224368042074708232396989035624618098897780435016647458303323903747459449191195365980860271313173086887278304118360486253782116319769855036529425872828162905662334079393070368357405881183129553752305115216462126178112869177132259009600600460853102413362296533122754097507730099279731937124561964309527434068734499023223952432344841681176460586624791552595631023778699463146969236252020341111146276001401105411867101377278592133003372214711498332683307011159281050816498078084096028685823493842906837009038809813896001034309428715410138319821918846258955491720854833493953367603828703977218350283309720514002466795337168703894709674909435442270116305810417898588159577566558117963806671481466781247956629099633328380010162898601523584599854144747476366660123612200348311416310457404112640351266139552631782261855082452831127067324084626340159345181089369773557649010887399158343617602880148513485392643849477701895764092749186321908178351130026320655761254600196175543228178329660572462930004193041355695519620970432364187725220712349744692308174353092498073525195897499668068447872282679191437712775515718635088707694485129714898249927858584023336326994954860865565353981523083105494375047770549438882784241105858752483627011458371470653253177427128564590691477046948904099790636687151549719451052438222376830946132122569463335260999287088111732160189134740139208416020053544689559263714442132444353319523418448022686319431538966509171862344773714100904449726649611176856582220662636523186442506597255901024769913673215525925228884282967416819553545250152064055298244891371017839092937082678406803757912155147643804957766509736805274169144419797019567560742683313076284019077695492015429035923069101169035118183528022105854627122359264894075040899160497249565378279831666360033554453138646247091960950386330069014591929369928793663488504121855090573044403540784582560782573808829415469373839460452178284824474415493902393282159589055455707533419493304100888976451988199868572516728922138173262690137472176174104114674162998509063518355486978878722756268319012494806996849338563452664635572512932402827806843629057430720965035360563513702014970809021576712691464770653683872439007072411187333489652940023337664243149829759477353001055257950298183547897820541322754912546847842814905051468618555710007139672871232922375788251862237534162186941661190846760104359565219682835052097312795143234325324911400974149404959358310486604438117983996973974640019462375931822477196945979443262587275250393604573109641592142238035309543531184450699078350805175706548421002610015616233785388771412940341769761238771828425788543288489688150776802845704261893181792945658202690715135907502283987864095856497789080626304888707703914113466108224395946958099313866161875225938507146067054267966289257956160247599796622661335110369275772785880299863626095822620697818674426156102440239768928390689138659019632627599485445562195377592139819927172442692240361713589903696888830060713293275295012717857024884825406585244906144569604696900184134489327320714682595563240081177308529853614101696820469330673192098613784633658524407730829867961241472827063129295883888040179866476615265161568067990159313315362098991508007225997108469283083040354360451461147596193443238963248332684488017421372929193033226454675353790257792373805652545237168635305436091302968184849888962629789133192166095224162092996123397166961966800443820488256736774894792687127979879659516523338281844557928792576710090995837444197413007310761329831219010620156185346526070027891338614424677450994422481148283145787619067153727123101939613106809589745253338225578618354336843459763935016248175826119940627687148499536764369045006467961583532932933675039182980340520951311945307698804287870952232623325620775564487844017227809235881818103858183682174276479392755274357934285235007141695267500707992682582117610472844208022398889194287169155446854519497783475096982476852769506819670654138771619529466545825293115386694429148207716752896161424641149628734759276854060514115991279283380530274760466274221967762080985763551145071966255508330214026253513153795651660253131753062617539113677425329655212268091336046149752563406748364804406235812078809410317886241888392855514300483768509249811407591212973386703916824670456502556665677586257115500969838596143136894613461254859379332558949594901464500167105992748990062559986742513851613736650725975406204436721904268861514420278591316545914857781807735379187445700969381355440270964597437824317043208072680458262856018610752624064375239389646355284534765543116824480159823505835817451517907097171948209670752851077090551648196390384360292345116332357963874576074791186416120493998839252175059566625547641760482334414223082051170281809756118919772763578354149025111345327672289401752766163280287605350325531714457586701559755901035762741221651702958269840494664755639718297514143387360031533494944133418206286200055350882360910803913231158634579691225207173814179126389366820034446830129940166440030484583344087693532736103065499469226975783782525078082098793937822133183620789179557177190109242483972055631131356546921267043094553879506687196632916915535632554199568862763362552517690251525724529391696927032243665622241881905978040656861875974060235385794629301981283822710426011957759756798567968972045667939510990350459697184091747807221163156076568167058408895371014692265761617631207796487688546774345045585001807895359602930652768833649728222798976334221796277087154241449206887003976698042945926051048347942968608543597466581163989943605130917545821011916054071134687314544300215210908981632370268337940418955012789973143729979772473361260497966924370400350373254993029627186101185772609869453373154750301967480034774225906739405747485106684388452339319981310266976712343540757874423127532951916933374960727983676822861450491265474361567454645238599592897735901703280496617410854380168476060370558321444297987415689872165904798532513620512373156092330943248521518250374904543970082430451918834828393832475256353502729777953030775577240670652473641770987202766667698768118259048111006967398400000000000000;

c4 = x^4 + 1370026564952285485595919654240314053970925229295252474522370458310643800647086218602004749724500251868903047916465030775755126495812574495641233924308515569834578233554299379324590800425791147736805534080576951662550966368292312521476536276102166530679724964700788747482465258479319919397568384360314870799759814742518209956791316322216483612082091520215091045832616996602127133324463473055309202654836855181901047084776703647430750307361311247444016900573063815955029046720129408645253943424468493364349542711346605520046404162426052937167750421832598157074374331180903094596543601690039961298611889569594690933485016374447236585213547327941671487757574522019521412063507235080170751879497984328612594014601674669123353097860545854615628227200827710818417292366891175425519345784628207134615415404194803491984511787956647970683727512406081614164080425461615537527872294206815866788414255616220307729655631058526773531080173145196914764859608934711365782452074736418854351698679575325667940022999057793081872648936563030373248318398540355558647785533999290769541883338062410610985354401192483071128291248692284309394248849797614163830138906922436939918078626631523484497038422942682111992185277091823775476564138563986971248583278490788748390330849216859884286829576130139222788231576350032629415452469936057208589334129150013671097681149788925006901373762586513823132552308289306817483343920234747925654103367332508180458065856101936180337225152577845901862019864895434328188833211111858694214965191660001793518127242196581186900931871479291107072355719012680239604475561839329726260442656657905757925853401476282115654440575187949179612117170473520612504487426608580048820465701859392229828955091697368622269448100381570194621872707957898133802971304279264065618658403624122027562132266848078807950884727971588300500909299698657017104634548749015243070030040518118755914536561117930831220494238719850262450876257778130722624355199668106300737102748505763645833279636605858313416504972894926425982220239541521419885897846605015913888786753066329765910586784987819329745278743867466413006715193019707605450912759957636790139537835692200616332114787929489372497739635692623254044082241192449733260815140976563852354141958414985066798806671152446536239302571689386354145757818443144305567301277486116316492504567346811595451871593465969658639886085382052994257389999622614121851883755033571113660685711327032569328199957474170611245251209296587004071429090275667236395775242086825063292745996849225663538567088458475025638208370071551721461948671780299829273586513718444960942103616299096385437480788539556208201966521960157904956909167417661053505371916991388638445047451838582284497052052013765921116519939354143496989093936008916469047272945349820031009592874054262167186988774014098569421848931444496422135690764968394745638413414125633391738862036274800112158250529659806590137411935363594634401739237335264324967465305691247777939305622905591419504616744442882287297234239936618114497649945431947038719698762802654601646711493755140030111997153452099525751561303453573231426782709107562831185068288970955178081643898517901950772206693041472294786475941288334583957492859763612151964221963127748180175787636172962765726197652720439306483977707617156833463364594002688359942687658533962420110903842280142564068786952666296938206278384977139795503532676830209914234916580973871455046318591136393707777677753747799879920714556246908059708114155001522238035128133733357658524477505477443194150478780591178998889848201100895482496170404504267828751616744446312396164518656597233595261024336361487708667014458084007785787933710160644787532626480288984577624228499961348359321467776848376110593793531881220940646876280117051104038846521103531248768727975587132422421663825195123610706474445037598043136206626783950701384187918335225397856461108839272920309096688633822855483422757028931439762658714450584834438217832953516872611431352843404628116403909003124105483860704971659002110273991367624648810465336601455848214514013728419973654177436511673821919378655902959193205701670553560160057640956161050710025476396661877237936358278457466611076379525410984550121150174685619602378287111580420842075446071124923962174900568733634586178361029506933225238029850757291422147939685413466185373333055266639769947066370188518158270847301252452839208124715101981426056211404062657656179635632369549285577981464507047863790995701711480675036362261832379593838013077881932934940666443993531035820679970127890081854979875031125113963640670690330316466051456412291878688885328094558547880382242882619085305511263960636982370641060768942285879021530692171360676606482305945435848622393245481725138600798554898066465706241158179163164430019662451501435869110571464161120577491951796082846274213833494140973959668866307827222003718311226921719385079703467455093025825137500617654637823648028370890637064488794509213112066403068521982769547070376224943534392582931513543190371925834625697374668490638779848153464375260007201762760179118819847198431987292030316352453813571092441382988322296104443451610267504405922846669840279008221632116396474049937287787230792231433584547736697643278086022829875072145482401057060967587615156291640301196128831373559905357179467171151748596019031156864528111033755323944954832869488608665955965413661852625172221421921392415963866095158851194459121045177758829472700977923311370473075153044502079817409470504661527010024492013116628686044734259577857593987017277780424767319009302160746872665571093249838902836294572197391935024812283034613353674189289557308195130638516382740519695686844140132232023416099479342547235746437692994096837362543056632421710965119975233242877999830117861651704273374486571507202855016534807025912374717779989173891248802970369983198616054162539243616410008673993766671665467033058357412052277455443969024000000*x^2 + 12945672953247461759236120728351346556058064950207258328529807051235153827767825150073133127128462047194660093097478230137265229645474720975650038160473390434640578464099620332041385655507758689762531460127357950433620177499358985447484113692078105257745427461862218080480237455794572172499184813115319486136990458642555587647130913644834473997433413511645832177099365217830410040136329788680662806983697753516046873915041015302804301889637086773561292078716493500918213254093141098902004471030009276976130654615118996668541157358922510785191012359311097923943794142053914043375257620644740939541499440440132781072005140230007996302536213234525619055177223825311340462070076312279685275764660363009815440169038605974288680789956811142762520178668902371091754683882384719535429259558794419967684717961133173821146334855029581956334865053108531825175493819760103366151320580152479036401831610530822572772406835801095432213456708755941847549693430089404032139894265929415818464654957126881488580758779864445612577358478022554155861444009182738142947457952371502945821825522995828863856662775703931921704154481709636142952561866232702082019846686410032966721519097333510026294468879695732733582967796954639213431275707567914342551149589824912423441285497115583580777162664581047664361934276563448840755767982469055759722465683035198498871230345002973921536374340085517469209809029325914959362126505382968014849571374564937158060947884947774154808078964632151199206191842750943676914693547330666540137633821690346208143146022149403827542540401335835914880670409382939780584351860387619522812234013940957100540277458627441456935804803287561182391718671139766671576378974191964360611355004650764449300397379333260376726244004287898916488246955494786534933335688449219137563191054098796845433787325356520802189983801587306359721107475191930714606128049543075297016149222482137603843496797201887797239626962152546152020885625155483237373334615006431712473924655278763426915000885113801103305911065801179774080888956722464287225549725003053320184239221281639082479257547671642866430168045379124245334472515444045789356821360074545232045302374177958037462570856932480083834567207201273982722360063340819240824306326184176516436383566898206195598689755226952856493866039667309565890715590044240431349587981071610795391329083371065739705210249904315886877742935414716698739244536756958442213443430998951271734117513650137781736403744934866596285796059663346774886938920643861559092159506163425603173920217044407470428036305177508317073565555660411583716608289108079132903245105917255312441297310640549914414051645426841168860427466307756706587376463351433134646291267373204244417102789801031717469369869203959037766647356184162663465834755849214680525687270855164418523283400783123621940154013740834486122666472016961744073440583163115776199882627207503783766289407884024404008529781313263342376301758121936129820036445930861306302873466958521728285362907157151032145698955376471020316066799893392102440649799065229835480512211485053834681613643841867963910182397549828313921378590008431348753044643321855373709586443004616218409951459033986860813476182796505450050859708186064517416086519900783175307409547091550744316908103952706384919775551237898319485707107878013938160875857368207811596876231011913893178321060557649598803821574022951163433894650666138457303214989817219894776444528965092839108393794549154389399865140002118686197868241008238033785366219493992896910400027119136799389480650754948103323014073707089642397713017157221138473335897222419416647551313287154977578396998787139543495818556342878039956257364145686197794691807067844383524946885659539609964485361566666107213276505720741454730733323856507816525939185672987353534461724079860567762761028244959410840482424739578205109323478552341760285792115157491773231862003760270858326025058974974220605131317741030245906352038327494714724214645418636188624665608490238045010976526832656361823021722303865056032551210198826368662768765379214030686810503265886944642715419924473202894026344683920615475830560573815483437184017017126038404746851171609264980083630488536836975144540179749980677831262369653138246776444116182985748994893476279796703641923105821437160959517691443073848788218669283750493982886024922512976194261114732953221153966539003712420093368571577609863779656914482627260457005342271040363459776657187219222203758401964378028528418538131466489063413874535492903209757410723617478407581595727819085665935171099745704039638741036784092115806065202891061137781103638355341111955419367272257392379793791164794887056074086201850301195862720840888495977003616366588107829561292208899716584463017116352788204570490742598010217894128284455249273741819368832807918667960337338277963889447210664582403767510094153233357485898911914759175607535090826094947905345414079074825694792913614467720339533734470927771869356145791673915988267757349071689251513384588860590405547888399375910573811319371708088626630390400737132942923628194580754859676103705168574475073016091271858796106102074339839101810628094055717810147416040063671629716297083668139248146005707386307808859865705318624030518803995325692711609052775228615956206037156594578376230365167967914903138394058390912384541783470307102607964711224165761296887520983343909781824452167344464250268588150821590681051386826368763266419910016157263630066111114340850435190707741057531878457976959860993058777825767421834243836859189104401783423697739717955239918739029542437265274944081057237142763370976369296074346012917092600365496512891575662542978433457228375748602020616493913772430506189659061682806887135873036526083085945478260005959751255540170986387257202536188016607916192788790750585470013211329982704785645674669037690259822878155351631550287546645417924073364627023772412038856722017869560546473677126967157030266353084900504673152043161636550445299985041070023227360691700986178621134048146189532996241784982115171494846959773797889983929082802711318396084415500372369945093613591614707441609180432420395671942768776348865167628565969044311236378694652659338589627799773771556013666234558096444270763722391312662668190419973586024143921142521536063567148195040223990300325748248284049050574693402592449745537609565043091743381967220343660449037278512114499545019147266529499156982477130069193144143292939064100813757428173970753391810798722442919308932847046085308318585558008850113097980767992248523838507963935875188431955856185297892324035883535367412134962254005526793941920199449987907796860032326713204895829038724277221835099721450896246807317505723251649491160464160813221244324412299437019817931860081760507115641025749154846953848915220877073497681960561644646799049961194492152766034677904246213143515124030660580464541927718872176812930312598790694250869369858615045481584717588768085597230266412667456584158187309542394724814347999978883129277428615737822380920402713239947709695861795796587221285853494789816412585232830875910746008674132091246594896672236595212314736093063361592049060779068624951650515599384427918368629567597262146486703066206892957478196055095240161889409548752787917521939272490160564723275382192419193610142683006384281916164959862750365635315161488778045586176488089201316709714668084148354785745047899643474394969130851973834996730300644478816873440688552346127221747967452768162538672450578992041974954155491844929157421752406160905155806184000626488455321543649163967625709907627547366939385162703296568793753030690755732509704703430350015962194445357061569622381840444209150128612726340361653554537407323567988839054488403056417681571481062798543734793129246465579672237100145751268909078326780377555876160658887686395947092631978625342425955491172367977942867379805973067047884957898577620155516068626426730927681384345544504362111198046115669805753235310104125787652391934188174519813006021370612446137897927340128698677082175976589510500940351244825856021627781935371643064109496691871339922847875525560344668750095137018855916335722718625206841937689158643146152250730653315745003755092636223129966248794038532377192435438669094583899634115420516815863786649880893922540413172051571071169258376934785213716077662455316823482018948098866297910023422138480205187285069575177294790160126530759578376566489568747013697726905672034643488984427857190625795435487146642727379693863925160835588180833174809750072912319884344637852551089478645723319851937591270124172166396400230663360231987706580877128965282676990530844728338505598683319970724835224148395724381064758491642357232973145666086387172884005624097956291883230075165114714358824000085740500344865639539196247570504684192428380604100376895824561770749112772261914936629051060480517526706366351562722179837935918083361113628008772565621639502206456201495050575895397522401642319208831457451916445477088888033996210635926485014584247093317095563758043449694760822839744929013716077733775809982394666372811546776450757041303400974726923557790896912095683262951655754057018749193297931737877253432499557020102227833129899484759492437291631387494685008398001460970297296198145719777822280488134097217275487839375223369626030935775737856100656447668852811252677182742216003052341849738661987578421429850723481117696560598976832062331738317002729362670204548565400514053950272083111316310165340971868326822877471244519351853599514171751821893992239767942418807261052075188035675833844351708451587404745255813614446182959157827297338059774072021177656325778920351327090590516364678091983719996685460341896295724509244355243519664136835084765315649520355627526041964826123805730365578932822411979709907533530950497351829228013209297984457066959866697631191385486873043394784826236398332247391975235157902996195713799339203708842558921055985933864934376556505021572645567832190882595590481953252971494390856544982904467493365476305856553973709034347432725371394431672165879725123946671123609483031825548001792294465829721523642587679719037534091094757090510834962732464859862035765041087641635445562249844112137808545063898868175745356049141970781900549885647550246481253875073194048632664647649346297647036219098214072165702108891493004162568483776062079129123768237818298670076200124843504566272000000000000;

d4 = x^4 - 1236090301430287583200742201846712496354533625211928487615426761537420029308430787794661021660797229836093242368108574487093971217956549803505781448272279025344449657077865804277074576698671029775992560708849458462067114695016359107825274727511045112524772144961341079721485803817047039668414692273530447520977754349347411014510757685006201534521489375801412029002395046539473393135408040116159925951604390344863153188372173372997604108207597671478742023096923195409617737411815127007390541878821823314178362028565029409676169726508457708485138250206925756983064140467906993488482670776383964614116913827314293694266637410448804124812993800133828222894018859831022238140195699437459787110960717036172827594165607254108628659927228852819480869742374089080544729749005608702936133760771325670519722422801291795258443033895788355210151887468197314475170759640705568373996089980641190659474766948211147636057183353851453602951025901241067951172716661638679135730538507475074729464936308350636183719560313178708232307770327500262228886110744991802886424784929993128768241027289440623626042021580550690451587495337452173134688481731764429358111155069340264545182806988941616533285431391992093860709549795496372104164788203501670460866934799703785051850088736020564349921639610646771704614776904743055460601109677139838480944312321735367629986610671993961780737616234483883506554974900769400797049569665362628043490633058958853447795569329535951201982617654882290421188515544323461278147383012604769533016498431964345489719944623844701691628181235345959179357850403723787302366613178274869954940361533013321934764931890954711820690594549854429482216464594948732414261789413599954109207191286473718047241077688292365608285629461439295672327278840192099535102505004803259079956108719018347398644144760399156919057981646847178005303958320213619720134191752410683562566111487013829811343293830524904492018018797907416581499854093559297939125206930277080075869829612601916621615366966779509399737213872319650563216205099264189142788408752392373476472861597541084064834319492273201833732318083032880969253475005549062287176996915793224506374517156798328098351519324262100589952343533579497905625055494418062385621472250362404850272747024597804075149555878780578447922475306825854793094940374714948565706281244401846262395566353082019626948886061555068589428002396723152684728712619504383318709705369035598961341304798768234242179853801125663218041319355394322498424792047356381966824954669953323324674423892390174492372852123444132695782118548808722274995048470339872302994956554716101655337019820049835606121844139448728629662508302993364191234199107820170465021724383521363457440785897084650156277813991158450284481363796888232904044226120411212133194137877729009830481828467684695916321514320290250946220857372494389475243129252667863671966954904910014007151097710996901480163224539841390563727015433741879433812102261446300947838984294629299443094709429817449769945325384272500744474375924860412400782645316056130835511254210156298567248207067652225466060301029127768879126247365326184714136341358870096090332278260460482540772272805887518241328626750342396709612072740623884417504361894080434390507241517463469894717804540227246449584742718182298458244329997704059202183049206002607480391191486974210712777017871071176016675776377005108733218133009235268874626576610990963176467652843421106350945486472745649434150361696749261216967650833103774229990058282702654428692500670112162360923895732678761400131652166174321647778648287756577783117625601804838686617730826137000993787344947337358071526730910216385904694857428935282173903271385007848739705569625554928741388195563440962785115399611596409433650083347949684729404356680087938535366015478623457454354114674707734566368188881903074574743315957167648888446260253449728217515074991650792098206867861513186327929342263417012963115310505019250624202053287530737459871594449478385038101982845108525404232168933791085110370669918274025354922127779647824884713084114921917373702680745638277416924113010786710367528227276870549829327220315407427843065460814500166890673779039743772632103519947929357258368338749659859431284902525321020443424986944371188541234782379659939844694446267513389484814537776033613233173198728824256548390663964019873961716313261601394250111233549437095546543810249975980138923274946323503646039439629206185847395286322176106595308604398085461389215975107173293671240801028667472166965684616120440785058220447758269347277698914169365778241785390958285440740620522051631661119372789966210055040507891142080925734335979523541476732479774047604242055239243720429366273695188217886244009032676801869186624058528357867257043222085713416471350050644598078758249417025638614321938502845826390966437680048383721406522483418021185509702578430303129551838974775146454534258411070507732041239711297902804729349325342480775618688479651600339776762880498051780424814606766913066273275461881549114866734195696663249886198635762088988150884540724156560725099944270964419076487169007189541489020749784429590423198570312649614432931752912325038639964696974525063777263947467435277616271376485098827344468859862009623379828807861918242962107610044729846195673984102553828120284669872394580021500976784431421938193786944873082166999177518336820060431904343033252810214345781073638620797289880379065574716434296314800958815503225870728252800656258133449242910336820432293586310723015802718446216427601000068955673419708344119593599034133531950259838729527433796666916807658656659742832418550361571820413898184549219212112655539856042214698387203531246084948093407104402379597605484111802050252328378228359636149138583769530641356411590425848718712264993377496862549916417951603448275999219517214371167128167613326667348198399709841092139882213615385620047744699655154848235520000*x^2 + 666003015926776957818112190911198063990894949940244750090699304592409790222326675412409908681823212281530545161717218706183065789211091718271287292084595676020257427082477640360242662711438047574168285966772446357539042880116506025332556749454391849265269492335382986566137699049098619026105349882490946727030247431493792012056552228418149593567187770146847603838447309519827447430095881248026697708031369546773566736685108737826292190556248950756294716559962795847366399320786310397587969083339656091816966571835807653977285709187178689975871969219756986657213543401432499869391018243322599710048187531104570358917960516651007160124333942361335200817788504747900358088154367461447215130898952668965973481800750561051143015105820090291367229443700262665931292040419422645168166169360704240724836103805026345833982528414004121781930977918514346286990056711180940531447025853142085206203226783409179557069034215338837897134885195490397739134187853927291296753574327120142804131883692967837073540226465917762948946652110272965662371233637477649950872325499236987144225406142943143036667169470222320993303472207178087851042139639944150267266748622362060652494665947578107759311136715702127485319668960722067488886681229984292928045965042505330418892654856371476762921454051529019487631822542172038150943809112438942512552587624936953715090669664188923857557610908120126391295644485398103526747515379694390591212821997485539986511877890605667101818018830101482394296333685517467012284547845242271923746057186455284641252145887992197962976629128778850408670348062614465636697392830192281076605633653909157890904648104736039050176792411753664123437776347600022458925146450373680927024190666683829778956869224224528338327824043717179808949140380462868434305613270116383456430933375059167209769621648849764585127654184176882833244561646339005821242173165339581051129095158468042911524191872027307731279989947929045105051990803917016925528541645094060232295719460538684829294393148998135320113775217195264734154742113291436095159802541913295519678091864158053031838899114461045120159801988489966936411133298869972350212608789343126579845624326771140877922262370561776080383708463325436326596446227551655100988411472511513084611777588074934679392940592723128018391631783488558810839294562210473200680133104008771963435339097432341353609925970601958386928332406192339366771142278788416362669261408455113543838190797232463165719481653926010345402945213407742318721122287732214748432395656484945366552497078912967022672430872365162854674094259341127040401861830075368279529477122485790407732726954098698214688858031978992121778976627776671124678691944856952425023346967563059504644292181002569810015637620716436421451800075361373209613614919748386417563059773375789187641485767156304605736749168990628215259090774150413801458275554834661977401278477648006460166855190743966036999599052742330989007465330731927806918511798814033258060911007510042555406125979875698900449416571974111105131714407854532647971390374211393531952750074166826632015011986803988785224544077023916502224666043504703020761932474133526562380013830146433174201965470860474151327464274503269938354530970379316859106083335052700221054544620376965448731644348900244740724446171122908439978914141787499615766383839487692328811203878990697604512412577738196496043307466340116156169623134343563117019047405746091845399105602089430910750860079379378699655506673247321385576520454278613862291490406381845982241785006404323803311980344825529426696769711696294460397127478917043099068676727115158269816840596590895187977059764213151293512011384744962446527868392792687296352200313785228929629779542511065922572074915190378228546220508361701066499994541822748866103213277883912018772723209322411395790009572188174458442510022080634708522605513442251930835896211104236232536496955861492114264314550850134314471314352530658767545668749299212644433530291991576583437602442619928587069142908045413377999406192799827583136954991096825831461661370242657062217180140753298345784675632946997670222826937323035089265709920452790313048223028121727286635123779243704411156738949562075935165685597885026129186184260394326185874049075520966414360915378068598370619606638961931765247312010263343653980258316734634877595254915807408386818899660817998906032348679603571490947508599474718850081616410306181711163381642279023144807052049488480209247217147360168545760186644598384556084204459684756462462024839837573661632349718806811370830719721648128822841177530499068342303935204903345125257157844487403198663087115518558216949968862165930881475811698024719570097642394814056407347628272698086633046033224320548111893963093916093896985643721195425000353138078689342919673355073645625436753290208053320963095459405043227408834964588754576958531841460826043696543282911113074705741121424424861057689368914389587035255636780405765168553337119101072222792107379968763536822689984870237123895636244102243944070529761408072103269873053392150807667717952053907567396502368225205343428534189972364854751826568610967827696572131457379730114334063677295758326069104113302450158105602354824012158751555298052922055081251522598960102616784764059687408238133158891968566606409543423160320286242560550467865622397375506762037125568869376349230397086376790280038642561389066005794847576532323488651788064581599435723058693061412539783093738512262758794548582256254996818947911752534665524261857071768861231530666883899068498220834087891893335888162624672966993458885746290871071718273381240831137448094728569560248151569445850614864835431076161591609285649870315607936159797395332264028095499588814003037250911565082647947888915437206111671007776533603366870429565644622879776954698330378202484419278864823553340640308066053638326271321794989298053783401418350338307833466460222501276650201932234304145494714130529119220716129591554305739048253674747418959961294089204282778253164576957537104210822982173675312858301242033854125620120382855453773794392249502244339223098302210440092883736514968513079303596403212100213182181332732250344309259796626179652382216323889316977378367139838355278359636647029503252514791389339569827023595466477942540167105401194621852933552816750277260595756684454504210727238579163208160892389218412057304706080806510014509195476174179748125671886611231627523573034739312719069770202073889875425807527364456231038445258751244191165316322036780625777254819878185374679149837964483210537515743421032818918613127418967040417460576525714115080133137599997671625461812911538596063371036741781385368929876577746852391080784917236896915719602116009704083537138979941494274367129690937677663162283914089555631685806685984173082968357599636551432448090876811489590831065763270970186997736434045929361731928836425579555973112165008318313974533667416531426751423121524103731441784303437209909347115483584674950437008505699850336655646185180834840638442536378359905435850394557004247082251410315689268627039545521038295786605281734966907777688404670851104501616377536651065509964299344462986434730518660705879046769718861772817806790469133220947626833396189816509076977593513920638184804314653727607478563466953061132323809833315853479306245258323414198088506819915700272632930106878156435839160158788677887029776998437952365907317118139646359049739480141948064417585260244156823148146777484095448400277760359337020333426189282144898545329391994886426996643544141765129537284239966161348128336309966255009708438469721610926683888162679286129545607607022761021057313476313986886921200725898449493174639365746675643630364481619354108271035760371195964898399328006326272342239807928244393357658333972734992398985292449616035532103362397788279003584650843124422228869824655127882543767013329259496948365290453043153945217056622249673478343145989650298304472255300967379178725844371387384716934397492509983525380588767719785959517460576553586099841393256942379211900581663626079697737872619272725282377833960748949566558719222737834796637023347375912858528386503400587478342678690969437665555050487541541570054642561430746337703440251567330514505407811719865889931710035373705396041659640175829515360994345647434860048469991490357841439681341052819063987695509075245409449827149849017905185279910188794011070538423429112014443198605666241078314588223720211640158900670025983573632098875221507660395811145284239932379556795753008156877777037127796811142724573051306818326603254537205909113997305569743305134865673953099648877677717439005230834026251541479994300530747352621106372015024101662631137595303993687801588247687047272715906802053149691278255396042795947032539862965693098328840865942576304956147804165286854897088352314033902358822279256103744568002732904409107729335897624640663284621552085099676749756360129380127976998611100569886170096048213912398489876037554269082379898404837677491410827474075493030684884075366219701595045591804317489375981203990898315357165369832408701951969318791471024333578699137473544467045762042903854246567781115460449627757390849572424896285990946553508249152055008100970120969159973079651120912540970597113174946480111606216949046234016756635657900441778638110238543560858971653246172510917879544682325900793999868229593398250921281175588617794104100859915782342244919348027641727061316661330178360451965303108298157955289305863641411853773516266255806155667562982131416583937252209368229853461399228809794327051165370008841768159125454898762918475962821032674224276524459772056047142002235335449127271250244314459291305393534223964308131573381168536305210944235397328522608847926231771313626004105639110970377960252462865488834092214107854130088018650091939241772578134253644339219424839149456944163265311711198446743373843754609831432115817446339150179378376831273278870336900250458938071571236844969797885663560184299340443305688926126229087196986445175827641405173187731408649016500128245541506003020565480779479747287216798789534703868433673790723953386431942508337137418141731953184936857299517304597695147474957850668435128882625627147257540326054247063819746613693914266209825351786429090700578136253885923605772358177805462582811985085962406892119169916107428217472067842192743905419617849512436835537357499807625344352885283362356727484308748450285093608971443963874111960816434246482162505918478231310731046554131940045679585901633557530971282889317575570806024167156281187852711869902337967768583698843744062191005643153439468021636232045165782430828492764733826068705123977324489846775797734523821020214445837901138243050127082915801932905072465229472756257411649314506868379974854057945157117675557576467454668949767541880236144881884094339204987593496874364489213504060956002948621817271772795628678844064105515246412117119477329468334930952901787597020873880830732232672549446654077043088041661588388038417668002077849343955585596460146040809674645576126970892396888070201586685033859044528578180606355306838431417628298916137989481448153462838531347647483919483688830666561999319804387944772149478939258060886419570432684730318293769324518396755955797575480475345721045785253001663159036001860360683693586560405341257654065767792442349661623312073832863741961090643759955764178266018625812186103688259940298260583705592980604981686884829929706004368131545672819481230912814292019932446462881295790238589856301414499490501877718448629587335653113760244158888835435421344347096446680645630532325504593287050459867435048719977589717920154838410081677881441194266326350713593577789312393045333379650811546876286568654631933897866766475754562798110021735545148577372393541314040327955096683950320276803464142040049232120434834345584281134331661087932416000000000000;

c6 = x^6 + 25984730945003673244501606163432399829750882037264295073666813367275912552140950247086897358111626299022064097139716166588697284900640979934036849269633410619812073581354641264395632208828302614904626765650688897767780782122066247633938904282794072371364141451160072977093367553236132183694010004295864995981793818593756854132907899279995091319464249780396749110185746560143792596624912022760631065867299878311162224956872196866932701600515928393232159714443319443298644051490960673678311822004283400312346974712668205628467718319210678528280987606720442184156483873582719571071854193358997541355100084558545990834233387790790499134622414475467766981053667792438462930338049744706962452020592144040509674900985943735584302705273427390208342616431919328071943259140751196261232364082082834581417410448781068075188307656875143472236678694821008431494712387258295949692437221689438156293188094182436083670557928093320840731408272137826158427091931501237777989107553454193279499939125753799358315670930007821268569528050281505098652238050717351776001788683382537883570307792*x^4 + 2638188446777882049975658323276126532353351697691634311803918400784017327744136081810170473287128302379499393753420920943701180679468706668178625312911990920491555973775394162599065805265524822483190767875956036168270561481660935106072147023648125930112871158006233505216179975060266028876457534690669861742774561192314687175629483681103970715300074720919116713411421870533543052772404398358114985511638042636565992471374991988240701579049827142055396338727331180578279817902766825828087015749643409824991763333341174561880453487988050389054057128376376132403068439256334054876811238684596429205253650022883538476446916179117461691986062975268894013859156986609769198031942995231878814305129542186222197100608547685895049807534125730795057879421389613912052098131632728452034531274654830361415849939598752905236934657736130720339270411123294349399309488673732459912515599981353555976029775802681959883974851151017037093803978877295283699021496383083525994948508448739266213468855898088455745839482502244239406101028248521911091835400697350126761658420324293365260032901547599661592393834708394225198737104219060523568389436347938223236488147866829218889572755544629468180515013780192287128186656958635324079509546969201949307979704017240559793753507048954973138802622976*x^2 + 3533439352876213822585360439351177951277039925127425619368371035266332079751918811854902282637449943022296399502119578827188349150559088244591595636056157995718136694724839133621268475246488527105983879925380735954913877993098646674447458104516689149996445750131835019429774777623875174510608505695704667003212133593158530401301604864844612839732355497085424848416369356344161210858365422587580071234529814606812244169635136026898463183077980532574293018487519844145924505103278147229574250853226655249761872147411489320376239379668666820719547548859826464926478672658806922199559035357329904906880088753408548031726198533254496664474722636136149824570610525923051605951249028860546109444795206595233250736313970553475068346869515713726714845543377102762557465899112637004044536944594591770286202299673041162236621430329097589871515506217885017475077137296906975452923677673892149704218417476080806190607798614781617109655490511830985869347960715027191868682566076052561694917368430036222109877447413607861040228243209669349070079781604360877237056126756175968682828374560463705032999616887938708858330310846791553905981548418208779698518038815296323909773552291663143911698603987750389796619108131992885939394179589322410400054607553384578293078934662100151766507616583892397254216255399369999743515982714899934348062918944886784;

s3 = x^6 - 555339132531092921055107893943538721486026808815224843502921906124816158256147944459514430740806265171789664248199734612864426288313266123073263585652689687136459409058988774338675468653360556648193118009664105215427822792913840593769043910073641321677862572844783384240339350463303938980674042921075055332169738093945181948753438573838115745939706177495811975334272535208734656778074814623948462335006313693761228871081224490433856642203935017104431878769305153167975260137788986810717706777950134650053591040000*x^4 + 94174137595649722375752690291688593357859868820249681961406790594300064725826042123536861935723101228602556638038415082878223584795139874617332040120368390960948158482454808836005815989904413692511354895218538032462604200280144591161127708652304402352053358548759164204170787936144103139095855277966642943960826411103918142766633781350396132204064517943684730877775815622336495338398942219483126029921647255243335284505924038796934018787123414195544481889757872163338540319857040010195169548690725468745355023354773053081904199506948733189338588163446350892666046136680102858589739355383351282221828922649671734190757199866834816819380739249703737541658404496342557916775509029715835893200937622306854839506475922782449351784628789648474563522997647768446102793658634314429435411878323588696915308735969185513966452598704249079639691303173264669509466674968000070775322933579141644308854272684117332290597702965728477334954029658179386557608683830792214249141461110043366363140833244021296533261318359673033554191376711680000*x^2 + 2145442908456738032883323796495271067859432481021334642821609319112219193922278958387420344917700649807826387808659155000327720784490582525450444537518705210640109745257640640257213224246431919811141967407599831967819401748628362681495874236198173604772327605514984387153116723694964431299666782152686170500673694115936564516997170937596921010937677706025543777783404580897954972212388411384843736370035549089952679008459088942586074748243489334416110973335972615634702963066958524452608826121863023710869026652913190696078345662385571188945208991402243416109355440203901658633659516837562849631974102069976473018938358566524276651085694142473973424931513358717086217234357282315186748305773775314622884345851708746273359453235902875152784690017744153205241985739346489285632288535525366970858349270760153413082572960973832683053915392915197979685936857603259147973560805163528009272392427920727474951572953366220829779280830981212064620201943850607801466168226356039481758410457767785581221795996007485193362355391021749239202565386139027039650378729311401154233297028195489511051689273845578920388081624426644774877467565035343335886228752879408694120396396756010742305994393263697804513000850242638150240552057762611762693747516339988854049972144704003781281921120405252484244226430098850903953394960846490997295239482943096737098358540759597166350451887047049052039915561078198672601878190396579281747939418388786688737456106138960988104180466468670696152705318546788197024144941510493457118015441989758175150080000;

d6 = x^6 + 231339296244207259678600012499733650063429586519090527839484828744799225767894255241156181970192262721053125832648225691108576638649470718064957342097857442163191595577754729598658423165053638919790417314991838236447776919842144077736527281742244995324427612541191911446573460573611351771448696486138109601484583339964498704378828639142873055906618765876544872844047058218563769576871736345262546067492545160152673750467313434081486216495275459977413843589190780309761715951215641696477083125437014824827176458784576694536199518477575857671617260999679788104171577275450396785673653386240000*x^4 + 18215692813364047853976188556004938402561824281004845645675998737989565123862063975387703754983046164861883800667673468523772166769259866556621640161583019654529702010468100306297192299006608291923755134311202445645035337245191371235087370948038548445261452076610391691199491221324411478629081976149471899038207432891397185737662974191314046579931698340578928857102209448794402160524695340310267143809692580754968475559823210282723634287358355460174167541047527136351277876094018245187188927090420418677402518284488901512722396659659214601827795396789057058087690210923022733193548813360937078490995186254442483864529049097519000131595194481973628837127802338487377760993312735485624676192830386187204959905187731804844266450089303410402696386162520376647417243121223671835875840214548412962934441455725037659406864890356296207469752503902392551194578735053145116992324981169215499785257021476460201770322845120857929787235193889079669126779293959808090264604206291963449780308770475012247343632829683156749291016784984871996696741753591294772399981192515479796893641574790268671840756355076931309972834873075873230258100996949206065533150223950176232523037577460197356994560000000*x^2 + 473591679057258464134140164870102803870670610865560811117127867201589063066040076337605385617393430693776582454073167539956765111542351147039808796652625283997901607649244781202517918231154204163199617855385809718874652562700326600609877838334698551951361187342988712324319910379648727080939198340845635131139687910723113523709765512158207071881298171332287071298637719823098307349871350697200809988333561153418626111236879148654631717957830342037356527798266528049392874878704539496373891038431726718660962714660842685085433340595382605330555876335681678726373618858615457644325443048777111534555944941893498059092370341009859265330165607637859275719750565401487188345190973002992469293038587682165521910324966804338353288012846723513244747401406055292550393697853888933934508214065723304483441143778154688794513348990602357878219476961321671739722375383999799270485439976930032890820646730768892179364293187861085339988701186758405622583762883198927518458323697518463316500309619199973764365289764657721800593040369309561012100643681281649464690502223048393206287299889626378929808395505525075448342307294186148260352815348001266447287195192576347632392279624734499672066016847998245953652321718682195790253599916422392500896634391610822720700912382559804274808986693602719860467540111421489665578185319203207768888319145010968441652390047128819367949471197483187660000795898164894543816641506350726398596431078472759842094625329085255082031089025010898677387826393385206213722133278612874537749608404572996644887335697887484425317912069625925473765239438955386039454848839991174544398085089487311381736897665901149503213959140644521079702533890706325224393431809564882287559937206843893891978640329612508399007882434241007485513318617668523243847429856952320000000000;

a4 = x^6 - 1353464895617527239559386709648229421378938074827872015532852804716207634219198835527775837457992847606386136776588218903134931782723783184115866502582439646290491991973635993920482406192108254614815176279913480268458696404574245150789493592933384949292819683805444753254915440964639457663744808091330813138133004471699246740429141883055765209429025955001103414700661581039684482497705667417545194004379098795439500888761324942996304962318652553964414161203475632380398387331052069741427729416898095781773309309824051381531962152002093161041183072360271597633272790771729803180469202228305207942764822336183624779933470376671301485789490027082155951460480609754009750073829677127163768090160805768684540892264774244937011922524035032747882320969579307214705290445950760607529912760708784688050597349593175107822577002735255345304549446876192812392473525357149122966713684143250073647081834734364610382994401766970124420421856327807013599661996102663607777730127184639152038958098171362853581208916226646259069879735513155348356779832364371249404188243208600066245430215989098363230053941453954332588650069029321141935843578094290854218333422237587269326187729094912000000000000*x^4 - 2880207657048372840089953901743371060433655289461309384619381426420666837409727363227882168115201760862891206969817180173937778295448362824685202243989674917061100170299006945128897546853518219761254025801624796316109414005047879575778797545281986109519717311442142218754372512732858677586931399519506951108209954192799962688286191946341240528146681628394320535146019284208166244354061237516222809356296400115815296382934504871462861597061751292277388588959781470529611385369246780295284712119290228433561919500854241777883115011035385397689882935591875602928240199563754359527542193121385471805062180238181685955345151300672909475926749123649649422319794010775605910128319269052304625773390558528698843137299702254054979156079464561474948953580823048011145755782467222941549450431925517587718650180527744138418950836840213217903296341333622905371550715659765747985512067674227807457285523740709757132885842549517449192252818896815554730597586673707659685746122856474514762000000746516522782929930488042871935832987880081796541781422617327744601747391797864285720492679482879711905084815645585675009251592652190887253628508221440845391048570064948735769809983417571704344950147191710431999288526798034099085642510918191290023971822188666548604572993863819992391823817709070296494366738846552009991714536572328349707023520583503402995483009272379624574602675410828550692350035123164905241436235103115844607873767753093349273991633420331286154398993379402522440414011403521178895438271107378843914833706103364013696094329094432087115609840172857125464103948411848043687521703407937960460099846999627868517154790459354003394510785408951038580077951225861144747837845297782544381100899012742426784892190774674553825791449453751552599640338935477286860731320435137764335280199105873524874361105156985968662242762592509310318883722403175121998265389485046185798653260641394380769343012696006746779270196874640906328650006703916159381004053566979639507095041216508190668506465857595413034113337219523958093167356377308529135143748445154896948944021168799927015902737631733460553122557447237052904337727295700800444234620232208603825600420441089472552224190787672164141365161698650813417766190724148556746797880399451073671261725614279318312863575752544792877145528772526763368943377802293754168614102979850044581326356480000000000000000*x^2 - 7389501330711750265413263357389451203693758925138602665295530743702437242654971383137228151659020927744915103435732908294294212102563217212028642750224117825415921410335640603508337940592080717640350399359952664174130262576149864581926320722850002290261180465676585882570631564879857920881304243384152892092265217314692292380478099810618746891390170953050705378362870985813253870681784327961521647926633895844446047415518913931777492333529383418262773417363754769544224293807471971594753281621517565385586273707372363843728379402336908952544054940487176954488784548394600037454227095380064128798256979001572862315546012595692773025820560509539538862221355374898459396308753063698381525399785635915590654820873255277977966620745260976147773464186010017536974795850638632562375820028633107378883009272112375256162594936782021694020276495484483396008855047718988077587544297224248720177231222805795628665352062990466440365375080005814693668204433860839204072297802810028717286316449779312594208192058395873003827365335738623856009265932085868767900228551513346417165692306655451338059938537977399585221566572858092366511815622751543367973015064339301612542282957582057303910581701446398607963856277851915035238257271363377932715203663977496503372635198923181668498171899002800501998360551382381983810159517832174296383572254838130836776026900652961762851434671436852504036232237253363012263417462624404828065430685032573085692414027857179150297066093708256321982657324971782415582250783645462648128193975702476590273063026753137714164520716030022692399494831459907571653516695741497621591541873678422043982810749397421839513447806675571742470977703060189372034608397904158277454606690528628591052683040962854088356912812629699657416050377876506730346329080177331414106879193820390555323093663211967179794196676851635619954084401834788293850364969383957302013310169512732903737800741011351422060434566564451624407354468357862604534601526464550707144146433328737262859617282339831673697014042655003735673427794767265863569761329834593211193439354277150615153412110920572281706772944586988050299786570983703567993452554453291227522276907464779111278855983756131779899801439606255412566529740425704951907311089420203006706702025101616246604199716560588334486652731882604401684978626654801402993429873083860132772164765937285396394472958063833051435756771216036795287220141798594136817011252437314122909150007534644499450286578683224833912630403300196026314636345327506444981435025313650084507599948288981153516807068659466510883931993054955180724721779786947274440209804253434534633939687354225787387051438138330397149340857154992771387848916818222073528642013907424332516930152386506773790084501016961062041733985396573207206712508832982351211769597344516336942658123712181201040503787650941616204928770274393131574799427121885669223293581392187400447953195689447064172898405978852707537586083554061208714653063750590416637245032114529955364920494427855482917319786227759198014919385720513288052321817634752474768890622021128082528256300188179330050207162808605009614084834429105044434450238792502036659357333355479485561693655487674293835687142305091978104454885595216813760421139731175973411718922605594332503528634525694375915562912274158731510521732005943604326534157230482331941388185801588736000000000000000000000000;

a4c2 = x^6 - 76541339918685935735109897223260190294138262860084546705108748461893395417177150684019062906528455381819129547781322146770724696570153375046303325455547038260874587539736886489770055092407954675928522829841751473599569282862127083763862176515452142657266611575948973003713122410549421355896465803517014672731147244863703809430305067447528291638347379577412601509404219155740336806070800457246295516647346789654238369493378559862342320658756955819167556758471647458713892420724705383020142057989570077466025754917538709021992137939541671263143318937495332112778538395740736832387669557877332075203668310694962207578237434601437888898114779338346712204212072668728206411433618110808041574366274867124614396682125684244480000*x^4 - 522347131994703817845341183910480437916413257753511073515009922370332226078646045658633143277622558438320715034119317648092348566367016720749832069303594328906797970840260959913320650674639885126753357793959033419729157213589695620736289222939177787102903570947484875303841230461726806380298653182462979826632415175456671489497457768485923633740220639804890817383029995373693303239472583883694145241248054510713042043010706382757747400786292516447574913821295817292261520759336150709754420937814186219006141258678644657217778397217177267370946409369540736214634208391643360870518561676675888694524067685907619722509362593038562773472427367597412389384742087619389377246675046518046014593836494237962195864376736294557028717146388139013635085722404717013537082613560697499621884027299779296408168664340748632115852233855845980225955574530673519447046781608413202245233412753568118872709903334493298557412881684715880353969654909690868183231111139185572883993750113928432691094755544430702936479572987265205794905460888916338217412383627159571553366431831688051163972337347121288995742533224458734227841337725521811346066740367388069354459184235006627796101152669393465305485171252468018311883115163134726186727632680076974612640332414402589435042970619338386101609930467646519662471784032971654195080914894034682383341362264078963544439451474046532138381552597242160809223013759499318600884572492830965686599680000*x^2 - 1822806111742309000910729216637088927785824980261554032987898415451129454300905424919372900306123814824826462077022159219974515575593143612895127182096541928808384013686137900822099273693720880246560138856085509678764795612366656659648401153176058883565518385029711334447895978895511824120331859567667859957944112199401037236235053261167212985459655343857700512405984326125145832660781888982611532389376142081343451606655864721152674464923893283121755253414645290997143980105389820019954105142312355113463268443373229334017354193251714833001045753761814175927811941378144028976511993060875218352828577381290497156530163521945030081329739105710052617899973727659749731973338920393866803148370869083385659981212588490751055448328805362408188323696612156562531762668568219396887880523723490266772485262281320644865936977913917617218042231747177167027551732685311564370433403090518829272831160009737500975556930226000087151634995474200406264796161858966279673577348108170517552671226152718551658063498900180083488789161994631658709359798883216648778852375863908267573594555543424102274801894272368096203610829790186659324492613884666453127333057031065697663173412692157689177939621091641412983404265149760542464855784496637501173726524919594611982552087953351424403856802216025844003304477872795872321915018728643448689751910620448385029301016876515391528394818702400300614923813958078497686877512749556131469555376534371269290660684716716230694239466998389104322975658978276323844673604428659351724753849894521279963974670331965217759595548230485778768019542985203770414127231739670750633539433182710057626325983685132257744372070682590782213883527742681469472622660055598912309343803962447007098332603228225969269122762802774742388979297178841777470826396916744676647066681008102710264179318271215247308481308072280271171786252958207987880482128649904063813331103875529934027178386387773397069691765037735122014613642944852585293855850496000000;

s4plus = x^6 - 4877491984478542975953383456758476310203808364055189474042527438916457105426856657588414467228755969407679944997498624750133009338016816784047432711452955950683110002485406355451130801457969229274715361904610847234416856200694437704297264560726978147036907496724325254379879207178616788097866271485174789525968500951990271477721875945550755692087547951932677469137482400832798943109633085327923365564493365795889248188593597477856044273041579789764222887336066490431516248725450297714489448272283187687401339137636338746889871325759884178182629566288134672924203526389797657255557558739564738445973142691478973965166571233735201718936309342725822025519022230891425003682276590813528989753647862512758767542916317906429470759316939015656393727214003828856502896232060579903200941906802207205797949343871914507772889987033994157716434520038687132403510352896941170796571637732453917480139613146979510411776335149427965399170811568896790966570296180307945255835649413017400768781086151431127854862066922444522452938608499500657654207509129124759301195112993563085019013716180596382704304611358938110275859043576211195814227250840933217188960000000000*x^4 + 10350464578958331755138006380544848799047997452298722164977422886240177107571333412073902957321089493272799391406730476975639106582989755491926918664356218961006348226605001325633421713041171630579566661235170222308412467581178672088841486074299504696531955383745063882161442637689806719449281297283988842629066858658820790318317709446530715304464702075396370479067608541825307977789330085379568724576275417579352561474749610090251877797783891762450756227987431373073372678204130951184050383349092458425918823373441629454763435214618546990080213208365808121090120644487407846072183643909115441599145934955975140719624428209358424527849529193892803887484801086134940837004027963781732798623015070270116373569140174492876925136436164598850759618600624289167957244718234511007783871969252380957433341119831757654265978852901185947953590072967896424606481094305223458202521837648554665516937939911590387646726041452450659188749424291009319869707263013560910486993254972598099378953745471661840482825961548966650302742571673958393122963272351605366500921613717914062433393370273573377133645074008121235701266516141920055156846829644916923270714090753577961361216481409509676471145438781138659216757209070682025939270334714121116154131184819520393636426878671369306472881764725433191564593777568784564109754672879309852118971786288345284270510241136856853457748157945076468938839976304148469901248060995827818519541569416113260978209915144503701105374498535927190000802917075374692809846605411641548754607335883714573117025554807655315241472594039226958139730007049867315011005926206040519085513964859402261325110415972397961434023554151547461753833670885788923015068176777664021445080978968503735295494827002348151353408360622565494297561823254825213396035605113306019842858124892396007624419331861019998433566026793567780859405338952601076537898586951486894276282465985529163335269959583624274336177149809886342348145738873530572384617285795774367237143212269723011251066780504118888244063659908128191810788096178893525238197125061593592757106407084850294975093719477106670554768391020985977350185483800709223983394304603802996311926048190369818755851637096702159240316824486629048439751875604480635424563036393595830729301667907383227182711716208701034083121950842349136496640000000000000000000000*x^2 - 1627419322188613791209032856203938491595766809086842231424186700408473011853566478230647808351035742877283815313592439024750877694114666124372860176114084394659376860483701538813823133697536419176470866182460841125555621934541515719116066831700748155590401883214322485016492097244592040239478842385125669221772177411288168527052546868842685603671260657668963537936528047589196114951614805682913935783346321613943464221080271864435544804432996235487784392996629620117174676640141777824033721572580658280573496038198975872589555821057615648954517078648166168421971640963897805421898438546029696719264355913995297016923949275209488009999788729102135652398467606248572820262198671671407870704294059273235578412065893494927351818692829520796887650296615334719166996720897138036919689014329227904826852005392782221634313001360517330167347961009912840015253803388340591594968225389577383794767415134985126152763991396512706304645338119734998495030783678073348676621237153108140373643943488114102396052844206885238313724551832910470961989863927572009384956082563386085727373774843962910463989646089285275825393382569899122864879784484524129807520046928735457389845128044261671158434375410086966015396889174058095546705428425657943301911159868557360245470700447548334676754009473559423106127617286075190446855840602056319239518281039021921039069879873019400877674150643670328181323399092500440214872148320409436292365401667247302121846487353979003937387137004145036639156458961069871287234286933719245173422873272525244189524061672656650645159584104103445201728954126047003601055510333318811335896033932191051100521124130877376420698015788928862217926489884014407811665248735980113128259296114502838443416237239243036250453600147456700057257939013857417767206571965027896057623062205553826396537911302571866935405753022677175154256495585197232345081602367100683966200977598456230896530606055807324387180617658022888472054490286339321170795089508411586913508597355787664018001454394153015779457415406907639255342237338808376034874205702251715468288972636833100846968370610086957383146058659230694340475422622193603964846169605175105246834348181574596391673934021209202546541195396934194903085338879197127066916360862823302191125880906134396312451672607562389659502744990707861153537167208879207918268696594681093012276820395676842881565405447051829026564139529770241007266496816612996373505569331010482877763841986498067246672464548015285287368380913517518125584106273857324359008455652904962500247491702660373902686390515422673423438122852557004757577539689347130433560272198465792164627093077468754868784183915395257285129222547695558075702886297966642140450158367988315201309072401713817112926929750325860335069655237392903417459134985610246630283506478866078267619913583844030125300016423327541950888095617051196169841511031396137652896080402245915787271815413626709402390166443933815894461970746438587615008987792773479819731977533900576833048330863841059829179646629803568129103700932142206262325308061028332018097921277217342344585134403193795603060700106122284641069062519747769415326298984324133015563849149001204482840244878413931323954128903147005509632318361885664070299830880953412027773187902148726464067646609772428343349761208604280581353982870853739774217792935493912211714920447115662628537262043049753203710306006868294847986598923642319150633501792702464000000000000000000000000000000;

s4minus = x^6 - 6198032228406115779599994783688094399670903188570272403841533830547487242178160277114575063415988477646919521562173347596671195709626721485255126003221726986566414441157504541511755184414061514382185526660178379515237191760359342706797437980262145599902733216428568002278191333322772645172763555330907763314081336140636300270598825925932941877391377649726731741330626515502656836811213553549715245469382068902179663071255017904797883398559656915456181981764384467912664448201287674432915976446919278956408705202573060851426717360593998579702843394812335020899277442804406472342538014858589172062279628609293175600479026143391818869142195339591922251469303300899376094220777005445025866492596849156369817457594656629199243199156517738961777737161489057239018797210839333607247914856274288201108044533726737983060779004335675365617946334094655931057591224238116935132867037437723312299891149396069290449389783566182419228842221435001914430113284364157951234607362889923588990888915279173534805092083063016872074202575729205136760871471841498070772638760574775174476271012950852742355180847619281865399939446206718696976453488181889329226094018180505362329827979876435865498524882441071152122486881300462687594254201385239733464567232209181874158096852232359948500589027160307582294634228829289824257245077126586325648049504778674804185579731048000983092204829953286078535136490547127974128247686870838061708818121411383108259447611802772557292898084895439987097897816221602887568877459725921313164141720000000000000*x^4 + 22439386427092383507799054607674084947553693673681368014164071564126919203299139227360372099550217671289851005822413337302186049443609590427994398679444596583784896920231558418577773095100590122535063657310121318894895919809192229832835433902835575718009667620296802631296193088635872363271612529474100037324094959670345902058218889415022585358441436407554894586071743602759719442663688123407648084517075174510145062984780035134244153468035932612518220639543898822195173027204267805200837454411520193903161200856741447569722543710485194260031076977091781697474040407848854142231069101106272821805613016714538943361338167985414733881523863418568539345961749005021715190357865394896891088754126695903873171640342252743058729973487249828500607809301611571494809264386131440357798716912829567493200483164518657508072310277132048822434903916571638827053218411149182727645949678347920341333419594507924102577647787080217690372597370769643668831072559160528194879546061845439862991756030687439820746571428076548170440431545422221494022324270754620471372069983256977186723953495121149028751165104793837929778642320846798281428985434995152878604816880536025918961254029187302514944583553561162964051024795424411298578249878588774330476903815584431868819936158744044428978171188911975995990918001629264073445239071108177458147666780212649535343058546068756437131090294704672839531259216407203026187799374173297686588802066635596182442120312678239584102472796151111646119575600861199200005955922180576274706855268804274187623786270954150365631860148868797365030107100511591963327630267288294520705082747920327256519379811375658008815700970633692537356994722256894638167307881830117000422613966947884467534394612734759391362136490773532965561366532775731825687774035704008173439585186643239842750419261511468790273190581993702624327432649110547652772140498590573635417404394603358044845616629459875478521785889485731608885948378954712827329008651353484957611628384323131716574492061684734529044167214421168103156477922740267491460677676816733806946438472855419928135915849894013245182030786562866198074320231400749763860681072902207018513013044996367315088198048756574246923914823270899846747368517258216114209052583392253403547884318122073339826779591110022367507504574059300061253424984992328969386900149358761638568171711044687076027278682194281711448840232661094383168535356769535085281302792881068363634986787412517121733090635625289949549155100735473911750039456942528844426685812713827774766859364511286298405556074349160373387845027896548967874316460532531059995426165078861162143645463969384981787470053533792667692981832188678345344584628250245632720875400140587763984453653539688210422813872650919939829435659839363033544286305446430126225590251984868975591710922151353500680052566192844111094262206188578761205770729472441943721804230212148533246102815672718316700720509342157717051662265182188733499408163206671388802301684394643100093860468470518399146737746029505702975381404641176000300775109095614949006250000000000000000*x^2 + 25851687512453488610247954032294982753314850793451954127329525920702380753060374470792338110810108811575494297375993427815987356231242688348080125603678762264394119346920818149859512232248964802333743970677691190247902200253521203008799914677276336912675705314907094644370871051194121772960908513847085030491480531357881495929652945749411463346266880318409300194514613872091313509382559220436354423106602156753195750059818616233623822530031009897518126271281410940930030932947190873600362821346595223287373758720661878813758657747314245507862127202650735053024484741923076750002153863920106233972529882540935403595574813654768084507665357543215201408916582262921948522942592938255391171764527546267361514061372506693855799010687963702884842377686257994866694922263848919772329165827827785702144319070694981869902881276238919157394486046557457401264023589900368905860574818287928245868733354196331572468016977065854187579507741794873602760697705247236671252697276215351476031341408621253800078345042690249232520053828735055831635647809135833333868415903599022439680014051228754418008040564672992152222589354154813007008757849390968296096286315283781246725535370963882862380601274512699265413587455485195947035143165298464471637471439840741151986989822260287714772609396761894904398898817497275236978408635528710248569991380525669624582279123450028054346993994927839169872394203089497647255415752299720599555696580109858982032049023736333585054643820559066623380877523310880461377659617222836488505326610506397340817595517990451143367232561336276572329668705751450576614010082182373772016085636405584997540514813197475471104806152510750178527935297516995758702078022690906332517145820800498289112664751675849045126409517938909401747620531099585039011886425026497872387794087710554618562764013956365403531394097530207188688543457465180370199328527990070848738984731360764036529289395908907212260961225771662208249190478688813804022481730931619013063476320150399118583502727170292938232864096834424788467115809728052955091332823572168129292700717620488743087223500183581022676632523316272339259927826053088943903524560551756050371799094785213105874817682215916764207509255459763056171921635736212166162438532549948093744758485210853701223493974428588220353934452384358895585069445497082740698381142125481461737428731393699808963238959342827229248501896633903553900733647790627953470006577946179476634381973077257760231180574137895402242425404282344704746647080475031866957502730515301226772244317590527280547755823875184378540598363110439054920156458306217156309401382920242223677092102608515586172271209292722048900418065736612337977236992800668540063166258516838651746221099461468760178364515975100761969817396567169391411104793706384272950908399733511913185509944233725507520721876767882299126860288985091281929551141316116623878649208808833237361501627054243724984322999058189597814404393996283484614234840560369691514367630855130625976015567759587388598542792438426142421309112743601844597958163470929906753844274384038260846605705251449564245559426099419822161891657983737087130427374510536567273487402156965257630983064663561758322457509002420793471808136263487332429994290154213149377161719842819236081974547367199035280860136601897670375008100897915213350824296551611399258220997639655014497016521259297308139426403590698613387091603330959534837068076095128259818471782890584631859075056798202032501340783191606879096439993351754604238492620297831894773524633438225667909652584105795469329685762683856194371183094168490790765195597204936420188085112475699213244915375375644310352914150746451516784341933051240808703667212786033997855452067567378900047016896131799157285028985128378172841831956274504674857808388742192460952496341507844385386810654057717426191797293542679347258658957507378757436733961681783611926887937402031303710448756260517258776524481634409334306567025476749196430499971064582268689839048907451922226068539627674226884191551701099879801641724720562522088811775548616900820062108172436890733931804235506026550011798674121805879537778574347465552856175045111412930048016404274695896226872828988900928900167182558839487512791252481959904005380275521026490694052896417161851837055474913793320225037436884966757609572070669922389259452643041622923264976111323412425428491946997562698653028611730086550546250215331970297807454642494792411520133853305698155284331075740016484925875147909094851032545711787242438244136784311876734375000000000000000000000000;

s4c2 = x^6 - 13557397560661469700164244153652606391380677913533732200704656126103741800643758949630788049473204716267478374056139921581795791969125997329012366312342396155999002829389795865071238403440971831513408836919744373036748258895990615641533973883468258333563215340628395970900475710888405029533980557743846330439033393664945237502964259860253268054009903116525368392109458431374741275905363994532150747568620195795431672612345408404865228541475154700086504231495947162845035046264741508398468007926675925983562561627980860069086851486507731954075316410129212404561982627074577061282927332275405488885215820295676891017229711452090391074066200069015008230482684933274105012757294079116980516508479924682800773202992626288061029908925947594876463746604468782142149493271794744189732672089488618079950114391011181427039739469709206979846084970575828187587250519753551883524481753897520864986254213431894325887919746436885916095283652333609077700655699338232872479006858788127988514120926419734613234697814315449729564514660602333420509891143501097775898921515551635580078360360078336908783984771994168262832270770646532996398600474152817182191556735084722890519281991799503349420206090270394318848000000000000000*x^4 + 92301810597465586169785760670942408718761282425843042505924729918733914404192034626901068255355270473264349228248788531032275918662803965317629870418942716564895607195268333752565477213926173744009996918516326592977697677038767901237481879198552437371790720661774629725205866700924029738136532674124582364567377877549321603106218103565477728898871201543081112446236433321560665467324654591254030891353679938170306346283967079839082660033373751152233982528167132805407212541279972584900118408373277933811845320769355358077459695552537332940479659368718774531019977084536400418219350132669502372566855488952966808935605214147722726102964633550375298106097467876824435458118211525353998828665547036306767212633459593934029544837076529946957774608746002674459037626005988720928119827186644731848317885005373518757786129328069783230484970115978732308015889581752989681547696534729375850368680790063217776218540276852080253696374705366761162515935156289179529778486385553906486253181324775021381807672563624015143388014306108738717128490935425251857876779684573815149197403267957659185778537233042277197995242966648763566185254326115940795083786069463991964952441297863946388047235566991549901547181092234516196886831310058625257811274524349378197886911386551312066869439874248500835159960932378296652065081988838542897257135986988434834770391067910107518793811786813285546646469501541422508401496212854554738642007860375957413053880326018629898186266582096907071610404252961556115560639375491142516040286847378333245430851212861197985232453667551577321486463464232999501759780409537186410933567312376791262517023791074997335395923624540370210908860582732407522262789437498595446731557456982228010264231154994494850916998545250278966272316334623042582596753197186827367976024845864102156979651399929150514940064045482593817704599226397234021901464177964060750193816871555580898937773041088839295976160612282927223548480369724994157656039776391335263543192586150011370386118352812365068950946720989523908084784687554543931030993863482892508027188525564524979469145939345015671226065639476634950893955087290375410037254698841437893229606863909764734249771421789853768839393146467043120912117995269224393115327482072778875019738647759660833758583275463445642703539090613567885090566475964701835739776157097375646895716953726225886301544662100108302699073305863306887847294784121460471181082624000000000000000000000000*x^2 + 182216401146178716000503476375843620977627955923165717991300257068087176979874139035960216434475983341958534779091021828382133002332569369957335587620931503217073983174999526572063181292113341886702881849477759946780764108370194340840647553921923601060575717375265373430161127812051783178289761965929922736536957741353466511242107546196773113836619943049048164858165968053567013526192324654913386388222566790213845980381548815270379247640530361862494794522577625041813101782235078275633426611299749689364038893126392879665776263632759669703871208328305691828494171308454336572776075147110033896460222361216348022080790696109028878399845027071140353293074686337560554193659066454402220694304444736150651465656335073844186164958125036258280580181967996376773311095677329065180778417469615307769236193741186187212154781354955900585903541513103383570799562681986846270297900892013254054802947649839725115201647558170663190689111737324541103096076408346441183841812333519505883369840637562822353528855405916646812429709715123354643088995138781461590552437131572576325192304169754293282100106869663259021360859915217346534557332272902486947102235740541844044918118340307130954958059419746909205063974071891854670150637661445536340942273354311726262061971335685667043828148510792396875515310048253793386454891365162060083432363866042397259501256704937037150539224623306716084577642597604622673213126782504712757886033274403060022135095737429592485500123579373550972101053066692849187617856582431156600591215609908689885432132373405411266689888595831205739663591680424688540676990809841231440966865584719433316972692484834320631706381110123459470133790018172149100422527724361414535806610411252895293425637217821235950983071952381441961394818973553680516037252070881752134796109061714350754836850125183130653598493016258996201087793965623988788583959311566972916516363534307289426824939434415929661935740598420105400035729800945473050434861657975310808728562373787947163983223165643856163154168528783856732147469950423548195330769621202063399905317189543809514476631144118951848882986489867227075793888762837084135224777299147138908918278069185112676627847690413997145666042009515329209325517446348809692776645884034472396527871052928384115058701625761760570344329074206209734009194963257198044996237002341937299465791803028433375714296111614820988126025980499151865273527054548743189526720097984702319982592479339504464542887619035253435517946222858615839048296000057672211859741097304492967874683217186450229753834529434519203385496902181906945689887528858236007758607579777339653130664235553646209471050211132448890195187825049636847212962681032908317647161515652527190269369186053555543827627793000167937379434522686881293027236150821740331851166053056568066721855159185086863745417848562418100878676497353020388942905090021803573216618924223226411242558173641011450366052056718970831098634690793347101460371379325345156129937443845419133879608766538727619126843312689767735872955953855578788325319924193187512406449061623845977228651628803795222425708262989200744507372001924431927703670113251656311734965507713145774427579923021044278880376229252117447783394429731488793194109334757524526373547628787388251029482521933282472551519608031895109679054058263413261684085355721435754125208888074940129925955260900006631270517890232666437436792496839917195506036348192378396747162679620256738608637913686784140586632855316499831064946978060043151175398604989038067899397888901501883900359908972648318951049857291289362432000000000000000000000000000000000000;