/* Data is in the following format
   Note, if the class group has not been computed, it, the class number, the fundamental units, regulator and whether grh was assumed are all 0.
[polynomial,
degree,
t-number of Galois group,
signature [r,s],
discriminant,
list of ramifying primes,
integral basis as polynomials in a,
1 if it is a cm field otherwise 0,
class number,
class group structure,
1 if grh was assumed and 0 if not,
fundamental units,
regulator,
list of subfields each as a pair [polynomial, number of subfields isomorphic to one defined by this polynomial]
]
*/

[x^8 - 28*x^6 - 112*x^5 - 210*x^4 - 224*x^3 - 140*x^2 - 48*x + 823585, 8, 49, [0, 4], 133100753213221593424899389161209856, [2, 7, 11, 191], [1, a, a^2, 1/2*a^3 - 1/2*a^2 - 1/2*a - 1/2, 1/2*a^4 - 1/2, 1/14*a^5 - 3/14*a^4 - 1/14*a^3 - 3/14*a^2 - 3/7*a, 1/28*a^6 - 3/28*a^4 - 3/14*a^3 + 13/28*a^2 + 5/14*a - 1/4, 1/28*a^7 - 1/28*a^5 + 1/14*a^4 - 3/28*a^3 - 5/14*a^2 - 5/28*a], 0, 4, [2, 2], 1, [ (5221440303071323377318559159614023591075740455722767411305873383681785760920967416602407026226176065286261974205451123552306697720760753854781511065802228373863375644266994430019034062952017544387213149374382391719919898429141266564577931740305543224398035256353661352574210779615897642368290248070351697476218737110852942357071478478081657538176601156602084695446011281852652724099622070032367749274885119659578443871982061922893842399030855545257856858278810068630508314808796450692639605770138455419872913245925001385882148135399673515265084124346191104232072682890572062761377672276307721902605288902312285859664710842177067099327642574293989544337319590115368799831902244725053704077289344674655180947450091454358862547905966947859778852168346960670075094184291260709956250208254314240852443690833466450343638515772544685603199706316266716512656804011435780486246340610575522777749650290478403456607242112132881650165991993975818389090502130460296648997375030275396384236651197897589809685984208038930374890643207900440674503086069639436007517268388221268897980711540880182655465208015177972273888575727375344186514479315802682764898039489470289071682119084382333045023212837840423657582754619374258887631199314243604599085157908543257699881566428278600608572820516526350256305190230991104644111254047177865023370159952016457249172231201790983523117709974177617161281573503808849295876763076388776030670782429538443333110837911294112583762634847615274860957183158490772782231762906181118021682913961946815660505120826099143825375582906641792168973677902527870708236052799076724120938804036645773090683052920816648416266654971295557913851847310236084226668031061721857471367339628965734089883851220150126900342475312475858324207320975743235003985915065609966387519286250013676539637410830331586577509405416998516176422120730504867404095195236945788370950819499754383945234556610656297520696068502121183190081741589544456748324583495685647857005642355809349393775767714653738920937116392009429411100588803419328340678800552959032920862240598634780440581250175414702743427929243129474755104716959063703746118231457827131859587436461216519889435380605096898606315363968397933213467270735968691153619594419839839273448725542499307803968566171414255757970444492967357760836459783170362106308122342160132178948924232216878496508453838007952931410164057388435680425495063924129588699509108941273290098912782580999164967318730804880758795952258963273277098635728831487267934044463666916300447995248000559999511742509057575804457530777416385999609388603183412175900969197659961870601643660476712543219390186838563341645278952927923114165263597250950560207442878407490579502707464286988142822656952954921071236182544357039811826586223)/(2)*a^(7) - (66581967480688061536182012686023750417151688916575558809039026783569603240584282302642302594936240827587449410758228986631199799279608014000755066290704258128165891078682145168813170979256516267250994399075437459962913255763757638318486119238925491133066569678301734867788512321900830178072803525791682590196134059395599103700409364687348895207815866644897895872761463086475806251753437602757237838926463933066419178777788361139175996477075832372221817760173285613432494280112160236621321086831819622057703162766110765730762567382885588381005589403771422891846300241200380429086539845570460980942557198768240854848346038688547382280993565660451269469246670914088331319313136501067604433441107468430592051332840972344391319826843748166565567636780521260766461204668866980777183472045287305702074180744608825316918263487065354647809730031582952992519751650363334135763705325281047953202485016154779116371912527960530683614147036065400977961674975026194170414963637131568033033616408845137033169409218907370915050200055643444511255853367310953715151310782293372426421316310572884069723479549219088476513365091943472330238920777695066893656766167953800888217688910188623366045167034177722723530996662485590905179712701995116251135743753532110611824648114221516868751392566169517348989547598494654780007632705059466932568906194529102813960744735722082972225024079777926015844730998581100054650485877601185427589290562416374704589377988246216188193875763605197162147538420681654827423122339284304682067041398289152283470757808947081217596547456425363331242791585244331383811953690446931603335976247629349369056976474910158929775895375462323909348334297415374859404766433073442205882263326278685532899522314861792487020168151956658601212857151103058365495128003862965890734949475183720188509180846891792050803231988115083364976738897861553983588968291707147716095420371788915709330944314957546593325153324977344382968960006855418917244609788341222951242808668226122850377528465209000339442424042554717686889735289601280093517569632937046055814685807958089362899852678210212759459689317743081751153872866277764104264829204618594262557055213918125189897466804457811832100745492039518441942169882569497144987888139709055712758038196257554875252042926023896014000428127832370471398108033976743373069252869707985550072339523364413486497433094333588554381718188484482440177678906767130398983096328417531192188970640341706392868790765226616173550459633234095097187206579313452730103390558883135302699594219704460033671456040474998218197156792418497349874669457997076157147479787785591900756033925379281594595018566164477089567438499476270157350902227198613654015230667151220300740730250292981465419074247033168824996865486934554126644691753053)/(7)*a^(6) - (402133865146907438642403784864384113674583595734336867387870522914696797932042004421625957715567014901220005645012571957917680066174542546785452854254215774373572120587659902002488622044189338513011926748986194579924433568715176694269270332417520183779714793998943019354360967647975804231273422218028086931744557813023724655738687866068115631763833448287464247092845526315147042147752588640738181779094991748140660425003076585102239076502988872215939304531492627624823752891120758400427901196386404111638757519084011359030474220676378677541902004340230779880476354322318768691288980726203012459737073904788412615622109025648861868187028686283109374472146983367372399077976985672522962054615229651924394660364888105120865120662586433871929100749830120880964851883833990252609861415431374196106005133708697720049248840462487854969197347213020019249315076503978684758974622756735064010143925671822861982368347342092656707688750308258597483983793799918610974992264762906549139652251194750992982464597665124200167670594796765508417050955547060095154036584587670088903396059714671659074307551201470020758098185224292245089206243997225761233243865201895257929227975094010935393270323531304328881552356569416388773090707380944418543715154319878829037676209527818991648949723218749245003059851057403135323135469092985109605346773434919793739406178420864354143028181800074997851948557765449691562785687124529055357514782832710981591717542082362676070857866261017345694705443443072052967061637480689928179896453521407759007077498230843519454389655814049884665861334105320127903592516085272663251664040196131679827556455825278681013748361174784975850703307723825837048679396011980326728302608805817620333604732492637209126278646384290836803867081643994290162279544746349373439184791863789956247153688675406228124649259115565961714446667404790088110630059151676107887772934236828522112582637203174007639534087472728279066287566437925840233687699436703493212014586144147064563509687356983312046891770271552686545940152795671120485885913616625278881050059320349039543429823497495491521428476894769096790756967595044107062176060305116208042857033231430572456151141822882587197538349157547800757714060211098429424213831521886306563880049064818590633929628031712463714115321730274783409693247614496470212484634476249106793148268900106224517037780282601302792441007882004865832971588204965220121711821415497551864630703190847162694355591723418278254240571800193931036843275445903520554309047789806930174719816890469489530458062006151030088205024981747035099088521393730188005374215182294961961322602934704507410131036251720794273635411604336144859332041845728720322776068477997274687261532300972458294651264883135182664490486702433980511441612403565)/(7)*a^(5) + (865164635081893901535046545784561601689231218896760049804893053579910413442342123218017122256543762955431355127259713624320373634169683234377292949860742122225799839629341879130285344798101901193179096272801210738308234437667797709646203626375420071736892150766498643627195746438640372122224136021421960954086207133505196872005881490268813257097390186785135760581341736688442131295078492450322716522078168972076986338870252478068135714924583683913976507053168487942256188027346238608656533722973953453289406471177994831733758020469215066995702155288617115639089162941478725798997937782669726950944283308796895830938443380993120290205828512804559335785829660053673382957377906345437937612440808206889869034395140592566660911624188169225075196364999943950830824965078899250073480329864925837701563565867810200516029753098230655069920927162854371983737290186764857484869122871115454745448144166428762424902177545102140445207955124644371181021464206861148085438310078670426541326540726135985264642638932249518688368860116541121878545872316236262408133185119456778661326925088023080075148839460363388763884540387442303208260109158084449796725926204628838499751446000402974329044531507667501979509379993618977959178059106978072769658380314429823433196159770970500540634555968351466419505630906048920787570392302205219716758490774148404605114863288958729322776448376398412541682632988003914697769117848067891259663845612810448708802209887540800032787762944725868523271047179667802197433020142755391008308346647385764297013721946386706874118241401685970851614942387719447188897371485392381754675087712714028636000742200406420279940579110645940296807417515731133463526027711305622117214804829294888297521120029539866632018491552552635696293801178033784861984685331120367304559163786385627431488843379668908344616932170801209376930668994711882207568971774604777242387956301996272939294840433162199572352927153650163379079970436427443611637752897387727540423229288648804378677901766248474935019691207727135785346290474570766542702261593878944600106779214884772124155543078645031982579910101344363178500459723128289328651199114218604803688559505792759556407994333420259095742386658443920046232081793406548033574449578688199319669693511406931177840438859570385020454243540808683719236550345779142188127771155235480523508463909663823011558711860400325132811700766684374773800462994552272123492168884998056461652677692606501933561698724163003701810301820092538787551039100220089280529666721205096615964482020550470121907600495509484126981155032309701429973721788523457199839285713202606535855743353671067205891031225277804936209518318091786678883270452799066350737896790051658695334892508327338980363308861045726394664990928157104981909213839682)/(7)*a^(4) - (29060034262317401506238646658235303046788862787422341977555291302484402940701054128073577024913973131168297878660274968058093394182034336190077058354941382914805116401605343014138705704806939615146891942006200903680934972770440391921795546967602570452045172991757455865955471927449814645106268696340776478059492912492651110032117457274411276257948771667537905390544844220885311708770226944190935600463026197481575718251483086546869954268107661183364271748310859841638994753025348510145778247823836262167136269113895497616939332816606409976922940741592626421710593579090571042526741691314521001246605295301559458960898325903897781278144845531715415335341686490483365683754983333094486303766117783235212480947217278036776624479305797082925800297871894639829261129864090525348452056883602413361111933767690777527812720342701846487227613888660523262430099227666187589737107831797523531033989749295890231794337505503016284945136390334195214156278882391149830086123178725089028160144436093252682304647725107828863534400171186992883642300975855736957455761269201089656800355980774590427740549371523973136786816845217705502979033666569915476905214581837464347993544585546869307204045355764499153456375882503733490222734156943865094231076686815384067944518335160534068350484264758724925430658665164826062543388825122770483084238412780262248945841084803816746538599561186172440067596026146199422643451740006578609165492400950091946440882347335416091204331021238403799635788861183429043142816601890129512669400880692813816473173625911830338219995194707865850262936729382857415791888817895382923133183962783610688091516894913292759117175436004849907564344728786453263229071058960568920141342846968710080562402685902285893361463765463617897186966854266579532904432444838379598553539591037195088349911039065365931857480718530720567796196796317371692226083979030232537115168111636074927568726100705404441912508117653669907238013450632826386379278883183844092595822093469190518350707476879589759463346403500312429166267171915255334497302278198775128833212072946335301069231185932705131892100399512041282714277976824090159912606889992755861817007197421577473475955958274136794982261414909333905175751106935063815593132616660615595832300515905078626127058314353700479403705116117394313732245420641829304786641152264474875338223169942878176922981314567076762432846449368143139094094625319343435649792851867044168604818766378002111791114761505231579317031064257152565298687297083293657566466677522172310636320161362499721334369748417889606575281012891985973085045490739055786916130255795779756400374765545290758121853854278402795246365964643616337845985290003971824398236084963570344237403839086581707251107864597028212932910416637362231072345151181283)/(14)*a^(3) + 13870717446244724353310633189311251104029697363110782180775284671978143014471105674833928658746277807819832273903855132925180960527540404430938283859602209276542585453296996722961516563572078953544089768386773859134177863628086180518285715235480113200000910588565302399011332828178796765405364020795066064206900906074084815825592048798515328143804231276609517411326219836608996058505710268492277883595008816698464499479141434643136278529112881546221275577822223974953416840193906456724790413092650907405548526334840790910103906471412331984746888793260066688534995447814358064050422501956502387693413465301755333715322131146046063442340429740652830302740225785341368658124805426961724569163499124510213617106653548426277041191884012507109064415833700869306999916927978802978157279979539539114870664750830870977547032244909679498308754882901983537571036288828286973333955213184002188492956259359651022320924540340276033975235401074924098074977880612925782814901805277633420550886509081909977457108441016973058913933928338000974973296532246317290168080554896672840007800483860162648149943166783862619950448853975892886170517323017639011674300303331681079336671331738713380637058034361907292175509192399715601255536184208756164319333407688253884009435782278759447382820242489644183098035084678760766287048653187458925245770115848085196792856340052838661674940893411867025293905019826686099622955305509685429408412758217538927332383509196969592833375188290276348695230700959337943001657265130926788343785899967895335243803215220692121538345008048240091185065749649829269486000720580421187855294419194042653964237980207579856014631417357287927263978872178294636017683954250196241210052282772699921980455121689924380455881050920631808014154425787695638968385769802966020737044603730229492961111050275818427298026249691894694908073308797953296355080255188320104059766872752459197535527359658914020898725268040876169796574420551911676341074220149589789551856147723178997320976289670395184447078675836967151159304992814481578599979146848756575376341263971396326086777782521781853381891326886998988770446389284120591981891295353901311713620539155132031540830352494384928448967410029947439296994446870534016314489249829885934471415107133006454533557740809888719652957838548046130951051858104427195407772571190259774878013349256941795635877111079663247019363480897817413697657789816338091406482017555975881848146832093902871732699971138475138556093406796672369487459091150180420936483011028516216570480185154832385128504914441352549473383204462203657680384196063261175279578189517714153139910690195194990669783791600928048527655142525555587915012917767394799751295190106719124353671505921373026339721707427873347391498621864268993769117826825529*a^(2) - (599615409447406052127499582908542653839903793695646312867142907570469825486288632428841463258205252897274750340264627958735331438216777147690793393612629907023608803138739195803786697756848288713860755483889440931716539781239064102152425222146963839169643690946488549397783865271153372977135587886258193482457131046540465588447045192280377287277901348819353539363756280569868090450439516972025566832857768705700446100474469009624037233518772445348305586192993981284151866055539167000092267503390099974424627908753422824538977166557333706484768648624352464809375513406667478109706716245867202753405469725850571739783671203019070481342076874273960942482482904310762873970131895144234726324777475003055237829265029751691498524752289636431150583393824602171470819884404272088071330596767315326560596272960323787087291526802220255071342731444315547089678771684465289312493583914039715335557898364082050626882076706400283651459449394827180527698859840657370049396194063072147806158927677748962119412957868576356500425065749540663832303932911443544687367041512548074806296928293106452732043984004961773334931342238249676022291750135344088271014068360987549524027222969931651384157573039006815485391879629608917408938053170293228281170444398981626964788495746880766912033975383335393053165361753746051046425441018059652436909649734906602332663464092583440183489204093953552297404664684622636371399897499543029102730304644596928690548099918157649626542010779199872620949238116066104066301709117112230760610273486707349508402142747515049766026966375703314665953639838514049818782116760684649233430135417381928648144350311002014100608668188481383825619018036851152398674696085086849816744227792836502858812713740300886292520715190160039374816145751866481965865128547110902596062844046985465883290211954012287153598440547203101667862433365368787344682902778645035875004580440302994721687168973358929248467870896714457178656797631049441962399246990572502810456821405666805876663173432867394359967814933507586692852593377640157289184877542759294085946819113740681220529556607628462278999335287038049525252924685754683654271889564257316513491337308562423857033629953054680239125838737749059122924357260991652364269953913900914630591389373263445043012542948033305107647751452749623190390062655937509684022779431093660068599556860093583511234157191454536946814106032353357401444405411421184593266131896059568523262060327670644903070078173465480016664382233837214605332420552566983811374710267428560541813638732299557608794250801027407110558220417459121171144416192182443758110720861810572083161654049994190745773399000206902655405451436997802228435521380392730271585385825539019780380288782729497670621139356880865708421335332258873455921009128078571)/(7)*a + 462455594131962808421332699807302526970538819166983185020078170307682094920729066528288670234417446759725157012942250277599208963829967886173776686372088787599604294424941996911109105478517496628916764621084933103022329038203714732888011833508080415162348894560235641094080297504007066351736486658518924126354245162262770729176923159280400331717659774202856833161734075306968397584010253882844237509711393384003306260023158393096250259440383586535917424440247962686891703676266787346921541724532852054092529784336325690687002968676799025416130739067578795944704954489150664436154196933903080973678133272755768704658762496922416634582789179274089521051377202713573284889821415078195512098791217345053830333241090232177741160342005791735523662314755238063415067020801756498971625986588866118755821745895578479282972621382958212864761259670907151127982458198298796205169445199303770335254151013333303421301911010665743000728678014960802153749204601604374143790505149103391437024136192470867128551415126745226423062789739741733329016820213224050502494700897614972153721614698295396768899124709841850839997234169115077673256062318611524219930069114098220597214302858047735389817592103264037923128884537232401332543208794115159044104534657376493217986335842567712212563466103559568102339901381204883572043754698562223441069662960419562622707366993629786885446864730929318518643565421573996008086845511012974295947016782261435750534637531471984069279184413678461485275752973767778019761143369402610180525886716502664182383294873424443877562133867474369169938223006776557877467640779768539609257593554052156581796223843676966286924662560522605821968594170884162818324311157298661939568982516513848362019072239840583687752260203028534990045956661985454858759245323483025228601670277056984739976920759356499467827522549183282565302087840468977790444132832732550277178093596331261255279948910544881990424996616070995303409880699007499466999755685166570022055723696116196829012318774566647373529895061351176888274783559081472361210027502224876440503821409251930467225311167972593531839597144704833571030326396614298617615249889760534710032547887021002672102165543946582998398796772715716594360783950010210180981747009211738861182599627141338707360414445625522978461169459438127803335201384388006561472834685092021187696920202501604144801180493036057940738193801447906531303634543358767177368899485500892345473202795851045618759893932626455292218148854358241074054229118495867492478317955348892175956595563519046679471096618867545923017674207550668227955790067476673621355339688686500331253259639877361723130997220182104506539498207828529755447117860278831615899708389612983125863011054701892180113413300162048408169341407466763711731862720601606 , (423574773444317075304419507315656058489718568465952099910498913450899477250840883333663282608824634951380633519993396039735566426361582720385175413735569784423328291754131048630990126902246311976480847010354293184164015777495821276590022048287335514198769769776188723201508194303994095397724847736569916626361939626948490139484347783576219885205435257830001862445089246527318190911256745781509160510661511839729708689139612881891831543509118505929073057155725232941449354936637757710344581403451016987787416508379542935452592305491313124455278614293406082031557751823964435798680578072446833685763372742789090946101731357068926284814214859803693799708450069167276977676513005155357652352945380044329517842788686415160463411837260018815638260495072598558178392862863735060887603546769205335242045397374515323052623250238974109218998903491152074631679769735090311684459264531279532628058368763033548515445739558161864445100428285407547345728011581006512014104999466596872992898861810529810544971313925063054545708157895634402185630557084848002005165612681399700250379845116425280505584136888781415662933392669594732112407550637882038714082220641885337828565759240656235535668613342220536906001642466903811211413039925515013684899845595017465306380017336348488242229187748798925333056968583110595095244426646061523510610400052864788202897101371303539145687694149038139815379309652556558423787113179932715026737324113840647381799870725071153887291526712240874759234236014931346261316988644407217602310111030121157577081787572918916140005724489146874746215194246322838479775592369022005345960167283487686808746337108490050636177206974717477142134807325489643187726378103388236913092700992716089245230506990584803469285760500404376061009371682064157677307550947916182910305111736419979698138847972810693019851921660483919308822230162918261834362503824869084333955962318186055911565402406480224762717300211331153501815480801658570488870663896964445510045309516654530261049646768899345946096501188896368917248755445328544733671619242967301505288720416093144563997309013768064411352871225038380515034260758978670383667415829012056836042701577359050089072132803744745009515717280323261024161498350872595400315565216640289015133838755281753951616370137237049291454759375188600936282834408430315182491816823833231080971740089157149153235475474645069245553648191024824430664475600619640399443419458966194266774416279200005184155244526825676900010422484778228320006380847053803055552401727646128733704692738898382535279480151178165378887455799840545710631572429387939912035539598123860983677968915197993582055522624174616237232633134563638627071314747815771781937802460566223939632013069440391634536060829968495220372723729424001463214896919434037525364147920150236484695635251986354107117133867577061512338506330479224467832198056398430902821238641786051968431853216595250531522445351434872149703513073944916723671233025365075548082283667024194508296661982958636972873418546470374126429015840526888652491582986125496833923044778332444735928570537440142418602598428763732324008065059053187094512679543937103486062821090030327665688745119535262654819526584148440268211929958333102896847149127024584645028540045228332472734841245763838900919825696357118466759796364510660647008977274818710676441881202040175132044250819806206668325480471982253521057165028786001304628557117952615868643730602253002127495184772567352282510991434875070167629809364885415463093061277116157626442814301606838977511546060803999999575858863684966627945275675654805688241978391557176511386411697195430083949619891663001564291638902928132093385657578012191111741367488391370494211812077927758135308200310283745356227157281680726189222014072241013173615894504100814523228322124890942754222095105080203282074457548525213073869096170035467440941905106761701042276459685361547919163714729577163752716920457910662337351166439409935138334527938659952213)/(28)*a^(7) - (2821687095067371033973423179466828697402413964917853888878416772004325671462369196231166907761703124277962914016602147547534222396478555404730069215396646810478934085570231673387791287022283986190451501825955447322955402617875669589523219838910026762879568959998953898093500260229433948165406683102000599261438999573688651516818037636896954695142189259171002320040904730395209128862222391676763311524149830291977257387174882899945305208137441125135185455649048468594975302999777850640079676766244490980301687501772169878129632310580096764028660302917385516839979078678567976757107788164373031924422756288643117457715367341511814394700812255323208759957025188313284911615571070458787798802022115803625949993821042316083676556689100231422617234401648299115393936889734147774030899548283660380673083675814125947047094083318675520173554222674286423425450868642564989067403037596478052497076471539683607815797219963121625032950210331467562065628586337841173423037521229249873677336827271163115794990834590937071433716374884916702122091749287126739817561655654399009310253938497406462754189257632493430599452770847964378986215632019748191219710255353043464976170328150966302238774563133170714730229645445244542727271622218671815748623857807268136124480432158659402683699755304029940593841682106411391137169368493128274398887692616146044964501319853470636541873232366005501731592859198757578364533147517110251987374619612353889043072249233878177461143422081419596638032477758520797803301074461857669644925814970291598411478214312703417793688278967600702270856232033473995558447956200496809761093164902515010491401177880661811883197423344116224558218817076946610285778764291163484034349782436810781623925637555632012222588355717274546711539075843620036121959474160264278742647518610735990123110748375086122794515778615042398535884231978097970430332837806690998013886386129823402513897857180071809521229182468892532956950769115240800143863344569743079550577109867026439011804053942534354647617172424190326843292494842612079396780465510989166588394828543177450978834113876067173250232896597085182435125143146169446005708530328108608806755681662218439633106725234842450923621830473104107948105652137567788535295189000291411023880716375834153386332825928763598128828045141724856389442424088219834324947146876908555347886363934824013340557243994754312843357117811014633240595519654928064802419588487160831872182441235824089543192111251669467290356265181231688405656622214559851052292717077827192765291418787910794976798063738780889022892399474004829172070860495659568627630020077632393191148969386983639004502069842102688075182016029968654396701305325897317080695068981765337795283529120019154851754649093182824285383817340058741193081823871519801662329769343412156347201470907209742157576527578838221549196289468007402009770572425407580167134468536070616358233897638945048952391677228975002162985152442563214632815138963148824197075718108430852292641057447329811702850025952577599217272718677311524841087202257967266515664646826904453882983179124869878864280719059602432803165668808472694794170692745304289834595055537256163296447854185596852552494580555977053601511317567453923093829169910261599477417475179231384762423713168907336191841250894146831896799863110237338044799401711976999270847548489552182649119824487847160476450625585815316474539681735288795499874131840840782744024850351442267515646166879081100648419082105063885738067524881292276034444087867495582197046563115730732549790946615028914752456258713247693884391552797472371630527426994313475343945869324677691038056391016067195490516122721371096000476263889007032537489867146528939845121924441624168250746855733096173126881527692468546293711826747522075211346302532584255503703161372367918487229675926734219096401224165348999963528085534166819997636366592931599695079683234457703792910319212306789541307726163103497194673992094889971635733395429124263331)/(28)*a^(6) + (4586116302167541206275240223215964098807328190286205523574188531776741221877891024708613763790328323469642110405113521994326560779447018416677787058580191933688012305936772903898647256910838265246509952081092105206957320328893513029215490165253008052393018044764091450050683316553909203673081003313915795394183887296345287521334964517369027262476082993123411619920949559288711425714334452131892569073715131729503907886981521627711991965979017051072084373870417499298786877835257843946675752523762590642687061124002291417675066227605089313790231165487164893720482092410511434041719148729043119200751073815908285994179420294145610007988735788374503810591721344379293047535987733659942807331353101209233437344660889832401642730283772847203697857662152423361098223877979967665807193324587327998491283615756454135780771812579110129670768660934617403157719491768936661470160815571163886157002472910619934552775682557959122759399726651485394401632932772342031590628209396316084064602005061899832803672236204939701146341633582625727540145482790582071899599007194316427817902510177132708138459415785833365880454609304293580103173001208710593481086633692034814253694695831582332644341122648691616039865331950446234234444553008851746768274764468598300598114672609726940228681415620919786683100126969454518370302178970812525235166625035056677842735040999536441019406134813078207569004832426767683533883604901387703310255535956411818933173429350929139917389956898311498641709283430004213195880891824486842639206442080812994534308546435778005180460654993499135258452894805251744681258972858080048286892230427560786302486476795779029293993800429724357943646239802213836719148445131750875764860189006897316572707839918573574653427338818965820727258890276993655974365504299089357748933872097435631179401562388068760356826152371998305781410594102330754143008489398714097472046138030968239554003926312546944949221497705240191203123484971893672309263999823472198096683402811623332750014472386327496604071644665526387882704431249171492024966940191365563310972359769058123099383479250893086624507567294288097886995243792300242575261488818820400319459105586312872299317543718049062221438061398959301436042516017859161041950489746311534995285632041681333341762715652881164988020562537130759947252268472973770523407572514992376811383241167868248091428341793206087306286508368030998689195084146680449255925051227766903944859723582458280080388213459582112502756738823516801335423090854637335669291130628589167764912769123886908975102217847918036071192619622014504479275839681928642028380548607804714890125652290645132683876555403938648812232469923119843243333881665571295560866118558509956278489878478205211656232437085298306072479907104361646085260568839293156000852770076543529224730160408260085436966178816702735592918356202107325052020967052845997520158993893335454525999666998220759170994204865081976068104107123055627752298565024800073098314736510564639115980073672314896653250344175015628562872439845099515664172714982300619078455407675505621870170051801049750222185994466011162120733496335675102772749035332286179275808543634762297184594343387554225337381908085214894398312789858605820396086374447160346996061435780270860024930233002698851469189471211181896305748166157080217258681802965979327360950210528679445905364286354991879973869805182680229703820067657604420247257344406223893920888311024345892294656516588093015618020728805004046369507875464500485362955044461817159809710152569579767409355479135688954408548156986990291651987567126050317682916275307312211140565349813971283226239051919410799866666641276761746594175735674152536608444193669889013557484218045277785852762387548961781753566367441260418468673975029276015592532721743114047937687218948302547348414036421489958626870928739990198297682331166689038139547529334899772464770010067646889180975792961253030053108507860461519011119082848118646813452142940875959023)/(28)*a^(5) - (52420651460626017690911558371964226328531846324860624443886971130779689754345506186762100486186056345298766575068780954522082586594054338756510952960918048967809665185526639426463359583241329370621974785154453309798139125253633981258652476070251598025851717994971710202458145935098763535635664890694559606502723612178992298568801469482213370429819645027139081787935582961953920227748201236061434110359540161805057719877626576866658562942436331680856338077997758312105956848771332709253539715417259419420920973666573644435404414032140872687811084718603601421753440946919755930792246726841662537883974817520071952442123387794385022456020830400905784673144487513056130133514227046129962222574524216824400774254156690597100145106618433442635856698469792519507363033649195605090311483007848207170418260874050973614198019016672018739712814195500130578130621543866675292694969027354957641760622810725237865821266519894794493901228296542879687088403962598049674051413972713929025015244655195844379134959547626581533585023102079203460017668139673193860826520149823454258192302481005585240093502113657797693446066684210664186130050715285779464971958516362271637797291629145006397256435814097928401335470148047693030514450746513793256080293252672812110618086198482714136145922305690713739707296218130796484391201014095655952144681883887150941400729379545489751794755335502709082834730882394050156344594373786414641133434271240814781888321093951030777048522880373953403822030167904212683203240070620869167305609474549207783411261458767986252740449612565696789980818213398396868250526078537792424996066828406622023804953459381781393231082547531077109578302964102669483069709336184412642825141267835650391669583306247514956083172494588894745754272966360559097929930344232028139539857047066138732783038608314603377033208781958682380959535721114008263869440245680772223754205699219599990055372837194342985994347374110073133257687040855415591056344739870344666000298207133929108645703222900839043349015210548226131124771655911021165631686399945619823279517772780589849925353764437485675572288927436434401063682404863598696005782844906916757017418546533185517941835417678882331966179234367699109026208205157895761762094037487825520680769700589402230431298455158037221962370246456112731948129377276835619934157679665323607584998790253711081197131453047073573247553641845643150473930588030887960203961143391392353167807808230632389915267633972080535180499138891419518530631097943892137975040850353131406536776092907851233493722044124092704141175981685267996767837598670228740315977414635995804280533055300266187930414699766664479164901895326002732767379338037357761040884834711101087404063052419512942054411074528565821481253134011422809277573778070385283630898506235547484578601395426618072089151815679793656625836299364876662634755420228382682753270491080622003308491985862180326536259139521196192967070434226667400508203837467165483990606295249999075501012588892944120319930000778173148519155602565240891656324796184463323579852676566866811546155602077976906808877947081566907674234100769548514312978682180785640618122585295085052371345753916224293346620928924715979666887436751489488841460396480302022855121055943211505480389886685829025376527900216386407031591158404113963771977793623561041041559041392360329887924960824221914284741816874572297456254096392601326253627602491317532742957121996836255210965530216328820956362249253148889068258332115173906815321975773618704608212902170816521439124319764025753579597602261009842581684840872551851880036051497952250116318706257107331014817754889590266428017657188506903636584968603007450368139562765451908504189020736896930750072581097484365074711864417012102861839141311277491145372092077225014019407638249109905040004145553755741632106337393826817304527956325607562176588343257352984216238438815034151438256830114515314020363917803937977169961119052276639395121259989578049207)/(28)*a^(4) + (126996296735082334705048739019401904823399798629304311338057518855876793767331181109551753707873845434534831702744700458104938074909317578768595202404441760244593779081793482898564873053288738789999189901089331853555925606864627180271593683574584874475358486937259545095860432390997434084516499429005612103708910902271659465198805634184689526058182790139869025781428424635742265560014442611146175265380088850960559256204151037111823590362651989162496639251311287087544755010676803384993794319446975247555151479791228616649519259060981065754900902558250488395749375389382481933510511290929504960245438571584345877307690078628821331843492783006564115693119595916295833172350225594736241851849224211532163495762492723910541733895977972521932853200091552296441865111952508748169468443906898753760022973431843833492524062466954312822634439419833566084405950200511954748808811198168739909832028384538155128267804516787763082484931775670219303402200857315973749026199425603558612379844335674018239560890470236904979223211227803965928797708196834545251853031461487958626245221389762308316732012252714407712853912971086434732762968805308331766767954895081400826271333573691791431135751050951310903518712046129780109797037884152675681300903456019354478715163082007950404192289271633820721455763480326569962809308959443430209607240375576790238514222219786055538252623727555215785422773632750230234040644746663633114896900214721289513084361462017347184483115297403553224175707224594008741180646281372509314327762671662668348902773281529402342394498835102815200503638813683606923843511555923571400996603559529547947415008751929935014197460229136739095286742458542632436593353707845423540560662199172747027464774968631584167673900003124799434708839950290712479353492569133468990237505671971936366294697655979821569116693478108184433206405106618515187820460838040830075493543020086110518230403564043257549033510501919296263041229933065776501657163046678161014970728162243651408435471407739314612760281522337182955816310741432530513867271445952366069883139499844285849368224053070029705579608859633768883174707429731312087538157990175992142385287319555036185162482559871837744661601372803186776139746811154355988469885422368248376985976477024467909988798171966099296584087579921457216471254129648826590614644380563339927638970321817977943945845202503581429933844523966482151125169744784249126057207489857320494888095912704792524604810678186328433566076835546230526100381581689386818822120711475328747821343279604091151362047886082866731512001433651748586233818766071490503481334169672241279975745221654072970573446246915073763243654035618146212105796879984640044783486003138043392854171587182967522519713530489654928582341188936087239150637020779134598491701057194623853149245176505890760882628601153011530024628401168128133664731035775287778555890372807315690877789896072734396519281414795542522143171432735458448933141988148698704628190839662208163021438956026563644017681030993100677097419380245406325265231887418184198589008340495676505837679645979807339918098874242895108927072879039023940238499981390234021122238898385283814630058057101212841313859872723039077520992033637930914608476737726127454135796949548247634426738347013110592804350642605030255931142908454855031513655710861078716306611581815426964681486483140794958083475931802097065263289411144384172238275273481114352854558138801206488219312719204770027868842601163099549638037138459531787956237036706040872345252168650404137529751343401473598158253706924807197679879190583268815688021747462525317597682317768081074877538772265548789746066370307889979340103375363577934798775895998559458311049415598722466479522623639673389500279823441671508736262080365622146931695484652245603657476155903839638045235596332595172437539028970072759000262655611945042747414954576791233670021914187356103031939793637516875970564486557046231825053889857461961993800172377191465755)/(28)*a^(3) - (88133236659516912665236941923868400040252167207446784898804679388037447441012200400285906468270447206635718491833363646921378057424723796860661960568926845224573857910878343603424567417839480617383624448015662362611736944783995692016261091927276028638093872297965324497239097420586013188738788432689334202256095564819969002305148336094256729265299631534133844235854920492940980895038666699641750330886817798198031869406774899350843997301158301801777640045009763204829569876164355378915612197615222955638935868471655898228996833492391742941776658282798661816266442125452550057134661369694359697871587498603139364822438306316641630415124805854603557555775680188038458569887813875055890131012158536885500723520930789479775930167394873718241845705777379954723478745502423090129885137884562180503116319018838943926772201547450587238900755387491927430757527395900066669942898592306785063982672063448544611458481622821111430848870790073101971075240389837941956226237845813199516804830522734835699809638804078156551690396436713109119342520416726721230570951411376002972305500893178032279810375562629230377763847632457886306710752647773904738016026840248148404983397756153381680753584511718368805510642314269096804856474612286780767501443299934363754518334303419935928511585763808161963351021636706262287187834774057085400078167747123821585611522120297950458111297564434322231374094018982806025902138028404369780891091152648465632147291951444950715701979316299252468200690791068314047542909806646338695385919519622865941919568407757093333433919371704287537590832222208321152141870924440012840744253748331911492359439226064581840539298927999792117799771212575295263886428055149535227134837680824842142466395112013756736396306259376499172129201199937996198003822104993229575554303715821110914321863470580902359869780875284323723797864035982846619162022261948723388042343359889087220880560799900270641878381892179568812998271713391098653704854266306257888922585538240601299093970434561451628775968067263867980507112447266937599984172178295545621060861893536833335686566247874505551031396291339347392993099524872554966900728243198128350282362064249247643255483820305505897074004478746557008641842671212133841802996004244840969245791342275873119554267565538827042311471550381644342378791740696538071781892682693397912727807545931838903366397048587714956933106840668563061853947207224664687931951518277988918084350310766974072503797963508692883045101289167128808633459697854783345793046739883592818289230246317540653259150476717080348766474058667474919474285909250271240289850008096079667471555725040001930211449667373615756168644949481462546094893277264438916254441425462410922465754744458778257985432881841367716691581550450117316880820116341747560330306275033865117477069796232202060840152646965688709768418820818301644478311990156404186038228900502072707112595702203271139592542294849360901887816602750275757391009766292140094853942647137611837430308915945668701227240702536772598476678344202257525154573042448211425068093718353447383061816675848987166046242803620163955182700753185798021320602593771616640932820122121613914424515818570931142001501728376967477462616725497922047242910665718379686600056965552705456272329044678305471152393195426271271983813430322240942908061472116840716431693194989664269358887453651035963981401771728414639030045169421006718177345134653383142274700213658637050614433178143878533233110322646338655530748203752202773118648599478353549388208606578138774695970173431458622565121414872140812085005358286382559951895758414883438483291749013469095797247481073658311731979398503103137976842467605459380242789670913107666600671043754051690813471435091789672179620937831900093544857636196786874798635915273552701593456683851099479355921040735294532402945027034414407994663747265961889372921302144166046097710308255914992582963658620951546605574117800095110004635430025408388941186741008717199961)/(28)*a^(2) - (3772203986115080552846082166224327077713521808202923486920635382381997796839919881189350035605271051317393012145608398740265589200027110723806825262243455277325403004281381922807899865706608648604229233590185460081649263861534670131766178467034392975715937981329024261773117565354054285515994946358223071386770542484100266818557225151768376615210838351284766224731323641981095876329856728972705261540611559989564674183188318542222024199015989757965551283911167485552064594558164591701812208036690844946014134850870906215571852164322574567169331748695383011944105549374986303609246953944618219799684380085890222596551377989442777047335921907660444971061985056197316848575392471303142429883537993657733810611854289811039483354698942116683435991121960558754934682209620122403434685228510858038564089768711474678622030538493055983100812815780517573310921520931804450929573520738652619056695430179182007477669059234964539841697589372178065112636527166425025926950214568358447109066977847354531260031698043434046330387557695948746491117462224121754076160150882436182521961887746119515242526329547186848317181300514060447454493520408672799899512092541110776862777422379199649234295392689292218076481808136613298825997533518394570707786826472420483339140893638211701650361226784654919154477775640221627358693868379801087419833211690131880621923954864386001726462961534478296872674431845868507697573664908142455727206404063514857466686562709398020536759490657107612084766544146477168782185902210645242240250982287191908165027692552720385762466742892656726216944902990042995372572661751358849763812988491723139798384858179301832532982596484149514117187662744515177549223211632007738715546839848547381282425196648292316763190019199711065991881418410696225640033997414742480694808468456428915000462077823711102375725619269213553652634610924952292984376164830626113433450604180371800325970678184068202660573321287430171544313548744681474007056453913630750653352417271873746752312398749942182479063621444756241143179673867275851435052232640209113635680507327283522020850496995689002319954966127731266942648606578006827395416922206926468373466630617674919897493518733098498971826952143379588362091508935017759549977648804297183778530189215068680260441244699255100701909682082537763501928457459943651489197639634649596388841196705601945196917378591074470925002358661194143672662551051632092187196051336431296119583497873096782374248319651543409638286315420399317131828793724780578730482269684370075357390036154408187491679592094388699122430313608388488670934581445287607005911700304089558622151449437225985774266055469817982370581346324446853183014395664200692672895691232115616885183455915299747605830495540847120757573591987839691550197312067761171880009971584384863641323850228152306912794172441069872730286254207871360455088404397945547184567973849405512594025966521501478185717718454561411679753228890262482140230219545968497311354471262681848062694257234738462851185172884812809501933738530379979572318454514264260903291498677719976128697473105632592444742470709750592408817896320930993987974554447282907727790171886670363903819677398475628883365276120154422427088518888223892554697555284065805199853059546350463922127027442517296200772163086979763519612870779280303900530217712708740289701083299509610317295838650745619886435486955094814202068627647845131837264816048744093677718344161391423994325369194877269731340085535753362223044167444034662844141848782358710438566493358688178696734106670401467819760787400553976431450423082086919738809111518373803867618035826713919986991573846889598300672139487071333350494274376025025155482748360533706398307760934403536438181235681379932069608189374270974910995881440685810756170310580731932328634983585562616120149553481449185571128323064077989972432290529519868441951222420711254649514017345381087607967370029922888964111922095778921162428835980396955107576741841390806129379)/(28)*a + (6246674483055623163300683279415435012394068698439362993878076980772347187926352354662838873835584434166253068888649472534202864734838746343404501316678855197058321212133455710783532544289405059730279437797096150254229819941999843776202186059846549647246482652852445564098467363986770493144044526264583888567949748376997608359733354193817550909679248304303529232264920048495921636448902019196946540507793753904246758306744743132007858305190000905413888045752807903211367539680433269408922381811865715308556497088388952161980687304645876858227023307239217631073896223865430846478786233757274182121693179429415586888483440872664236357220936221610483887602271382079085215121607302639971230278812879265358454583815127359966987601965035243361900954424033724221257459254324797759358453269955231379356999375293707230718962610675397776299131076573502859806303278964932865329581213150722598347496750533715872560930827241554801675283457780826365458771006334638758857492663933386749346595740795740224603472384258064765173948111628305805952582384893118141208262002811692512248525749991055413062122050476431978382235240771038476053589271783040771535391476576725380870973242724499854845524239226942479968112568001883713219846868985595278266843519106180724558722279324879179603122246921681121991666858135560965050157950646602521623786610885961761768579963064624438654275480891828404959008089017965992534344208207282839020926526154511654383871210202855842567952145448968423469242169078734436170821221744141068590536853637848000692428336943523730209705669137635949290735069011220927909844243436051239873915782641851090469437379825138269316191681258359220970073699547446679862851716132029321606651540961559610926839788493166328611728527261981802553215838482355743866921570587449965191855278195489458762349264637853280984383920022037503907748052646864707296627265563502512440084117607519309344525181275645331992967937989893462738610946965889114817961522641687733065170546103332236751531916921263208646917229101387821433972768722898859168620815390567931022999306474499036807623376826555324357638933291266559519944773954369378345636644202190688920979297828235445237713858170430094338883582152065168134214983278821561700863569049691759333594691329734729292390025937589255420164351849650408322839417118448359219597284473015143001165468242772953214646148433149071345926788239643161593199855364990613672267832485241988893875645528239089517025489174770982817792364054871962577248969026887021092053690453244336190913336481912930015027154040514902780221818793925194464188818554038774273473828216103473788783010932110203018133411784968653538970336775682804369340527706639868044028031531171597248773067513178074386050021027494971669356755032655699652673026445123162490869979395665214101033153906134578304794822803587990525644047533969300853241132171410853464505554567215043865362823724676073241403913909729754933891221925835698618923870200585184263866984351051455738581149502006962772980478554672833952334642477612635852794856388506467100580632792257078206873496086984043266714519779038884913478408160323716687935199875633529196508310466904308793982034371868787685323673084536215164393429662276595377658377810974608409626839073804438863571881315685511472070218772097368114755799890773430161527729445397999750039013214926061657599982953403331123333721622459753241225170562304831796666758860730391775656863172776512426994436838759676722181392595175746698477225656044144227534852266824944695462689655172577944963739071843201357617589334030715174681653521466934852646546551848368461821789609629659279040193072637346321141741847592976289589797718509546444037141232010241534485404818171772012884949963302823735172518982704355921189959633393310504860087456506618564796358618306145641929982329891083274930942960525938887477662501407646874558602689592591854911366899070966563785112825350041198088761880518156288028982787412095717232566937859743328053)/(4) , (35315589750184317545820771986854552022009276104630625873434975294710810307559707303527335926154727051299672192471700765207542151674432117672460416235802999454103453054680852219364941959277533692523945492017424113356182343642741038904930775442196806413603739412231567574728457936301278721846638870015730398786262212124091310134578288250696639871540933223604738983430364631427110953186068701323660004399313964461375051045096551022131174606250711389622663115258248605700244648395919391471329879417256669530425187752227845884320076634947969334613870850560193492260208788732727616630984341328759551863887840286976602644057999489143322296508557890431543276275921788960114556094542938593288850179091755341815307640971745166765964156749645073839719256240663880672463137282871731509239809175243343215373804230616015505328265540082091177511860118608029868514715123531575339888709727715260039968103068999212362973070055187161351757655461686198360273602566265873176834868987147000661079276894221417089952130261765561096488665222758523576858557395652557312836055482374450055156525867752091708516636514000771263579254112218407532730403826595095261659671640565907277022800867783954720713125055001844014797764214824957456910075149410611825912872439040926170631192228093285713566501619873713568223397332257425679416792614273436739601848216536000428781940477953937774870317917325485418480912043963789788153123631938527773349041171872832636742333244884943120462453267190868826088534271279062312016817326753055489911465783081697515199925591391115703961980598973584060259596439205912488960968436928439984108694227975539241620479726894926733103703049544600280461506577951877860964660927119100117088569962432183875540073878320307728953129268404608636169930054686415084763513321350646480190475955215536053223635697129331738891343007384258851908368759355384259234557209438543254313777860616917329933390363650575492152491670300527609406890339603834660078124820840826545658944057977857389061799784206057100397371891027750971363592060812039427766529665124890453740456980354792919716358370308464987421636548155296223008101706866726892963611342153134646322482758899485350155323881768511349860552237494015263613860952437501235191416833713763264217487404774320958089319387542610265807925853884306003987063663618676068259887719348880363425784691379000469350746292678845320437921158793942230542999445183399974605776866713602514800795630077473447590187752467770674683484264595165469165085920366804851875585867957934064222292233919373442647599669226334604497881956727624887427399420183549981178377382829714986556162374050843798904842694592005706221725179301438742280976972990881801043727553556978371564643612808678039051388300917963953284659519151652201923927689285665710324996152707760799112357481898088410481974818985093884698260220376529247094261582215223912701655920061519703732574509070096075947126768411627945550865010142461397658038356842498983739558681339486528680607615077175764417148250121305575477838855804911808100778226835960985692770878512181060421178385989140410945524188442390198638104203339941766071754092177164462386894482689434444746874970183107809374188344775746548881284606638516956059912628021569482218328251595350547980215868282793273779061433542540491852380560227594304261097194226512812596799977965247230501966909848450833117894659531206247628915732006303711813558276960720994549851389809730585741534513521234817701965447379675687483576190850011076431753181916709549754688209686224924135768650752974941427787595009987608393849620480204004288198680713460529628208973094826565482255604963281995394256141549994413673873414377024286056232809104273378690104945108586843915991696600372121351588402747578269476362979151097020072463706265503400272582178517680004287271240244513216354964768539808102259093892069527716617868082815177293080382419153311716214505047575489123163827742624017291040210348301633946349686665312743318572410894544171330633389417748190104798976393151618159400716978258883867104278054995341002465376538931675439598298944749776518131797810441724108101641861525925233292909009161481737664875938149458845712516462205670421711420718050510411193751568606312350204963624359448735115289196578713067506561045356196415952466523409961783278151430801832437795940990933927924158430364700340596946280141048267739090795710781704479412274673459253649716438705002969942243788709104057826869537444499127712735277201312442605345104308796232217963315833474798157468515003928578307729518030202352869415703757063401243938196325512954974076803839909033751927194615140645111467965786773244035660521502907301132805068129917034791264514826654759233978076332034760753776892320208964194052279087715146555531332712712359825781307475548402381362854028376216799708830541741909442577079309880146807495738523558954496269569726094647806472924922070246958600361562257684283691492587788626358329954714354847661006993451612977331120195980672686781439277103829741264870809490730474821794774847737463899555123793138862281699616748219481378871005486612589011390386829514999683844096553563067311091327259311729049959452258451206293542210252109396147134555897455998051890179695461169095194772366055612901421785108617220531551265077080948727777330870559205180421600304302157138551749438246053431141402537089981183055469177805962970878174689695528692123119591536111700643862728760712635667892204909130642640310640998466866666909521258436009118550886271219716627209241077498468030371984795574681470787776800107131347434796715272719995242521514472482500678625001338171989664595262741765077278923246419419453654216498648189960209953059064518290774057869825021032964385656814465149023952893264199749219061110403099838483328978338409983430853341322781307582377394533953707029561550401137585565426562691570259074607774397589181028668554090033931891154796984530960167381673071456304182370059939469766845443712251002194693094113246056388096624747594875458497885835716958436823074869387602848621592117887844650554239712444897047155670821667485267419343449810952070150145012167109916129272042679240329935761026300255472924635478339215377099719745645979495435652338924463771182838874757519284600820536540545918545134435819077725787189673510861698117827585234226809071946562854499297322811540437035790924281061579964682678940339021036257128941874342775473885882832717337013592176906352683076418641103985269162316924705388478940820461028267043934461234867510892685693199875493798879282287934474607997933095698345601724077040665280307158471372139269045393016552378887876203237152058303732328397516461614445286022396307055661934399146866253052614926068450663041921408827506929441225196485785964134111931950625379496200668091533318780811302165972293813159212973977999542463186178750620474770205935676374841994552503613526132415534049681543220615593214377420206798198302289202375737468656982827797883816545930697391309657734506873275272989517186437784842625028455396031846654706977903809771901932959017811323616474963025145056776075220572133959346270235772378737789812988469179109099775439232162404072842246320194548280031602105660858597597157358549713350086717284363083768801008069956572599178200406122059221969583266634264479383747014707978087520881259599363984865284761262599297526966437954143681863207806104710049357587204553776713377753275279671059712626025608047518129872041066764389057992358042297259503607957846737705848455834665811464350819298907220254908590986241670278983079146450275135629326275102019622994414657951188704437415521517117792421627444756136242819479886438113323860034482529036408247323797978291194331368692611856910843346066824051010790375176735755462507842502968214088687168433424333123906318291612320882986783911426975611734914134733677415658985225265552617707654382830577375507686551459178957329942608487407678393264481336913543604089547526061674554706506892893367143913218386733338093895964507120731641530428719350605042214152571410423523119171998350830940526367814922015237368750192346458971616983595757903877147310444866794395659620839465109293236381083221514860322738701572084498009105109633681484931529339917076935327955739238622470601588845924928456781441186971527396596966152160674177723709320075645780132147253787503336836042512472290611447140007607417088412902585078609379621637705936498812246213608428451977654670105145403966335806877085603968262818946618162414752235610926990344806782279796194173915998622917304291564153528294755296793299205056400967340364598961499339144521745805804678424496414342246882896576903694588270110440880697103883842462986715213006812719685563479707521602131879796801894579340768890354104890808256236586313893134186275497209008179783621332392650926669910504566752119178783906617895223103703925162695900770432783603312491607875020413937778565724226355033043480572664726184368571793607078994684661298327368527310423571115184286844530770901839836895563608116312522865749260366320562808210091299194169928368371741823402013392703533882660461764410115021730750005116629138027134873832865842567854886885151400681844335124475248783523204240540066658460394175622955973242199137485855361041578183316410738958270484151848383921043189379731464759472088966072748175157471919814884008241336717246419274848804994605540579753911487379119566317923891670888120440770249508988227575926860095387825232419995893539448515102406155036286705434553665743467187131378366991800148064754295614136104882200388328399367007561028698607875455799551395890557069515882996975361741682091977308677330906599225843268507867192689522213235364968415568490300622115794543812837593456205223437741529181347551215309514422120669027814772091867031116464301813896078967090092872179682230527205549048997834276002409948707540218219356864928692144745022284095464192383923206335575660338410520446789769032349139646074966462982853890408353192373993275970397119830793397875802295378694033231163553572735298723118350149244428321964606214611785396452476601539276258345923628191077160506832886438598665169834743595678284739986933362795408373095863649287656624045664555571328790842284174318820785735958190263525194640216446635534162437313026573261298677956693884170654602806659135048387958837015289411386503718960942078808010422110335547584026752312059567156779194353274153934861207541462538595011508859618263216460352671693176692293877464386555855002960568472946657975100996315882341600109573102585919106634220487374266303432000146377098862726474179037464785630335487464595394551913462253183424438806766096947845914840251463832448552554037247660015004478042649112510813124651168412158846137725761233664061868701555630943242667520696142586705280988564754111609286438092657184272671190346233629880772170381676290532384744275097096790512930999262077947044596501141939822959273129662232325138670366883036209789756887811254062103380174015011846169072536193169404087872648947136993519891209018464253466528463442594580765991521953723525231292363188787315926465102204181904934291636052917389665771008070207515431186807516328138625751869937993626141126737497516286647838414100991495737038249615243765923287229473122178145906931706553989356358246241342298932439079381574487037230530529165560121567344579131645255055747695538572016598094458242667541237566936787140619049402340915660125089556564612616419387754532163774369924241212540020422653545819165573305490826615321551354526272208519981559524207771717926231936079372589171462959840885118065079992084249630370312477360674121575129101219798329330358630977372361545685173480950681925370854590526523059816924113300337593881314367230662607584323402522387988413204757821797584253329373899656482709232009252270110540452602096884883042410588296884837482952397241187913217761401364479347394791932989302911888537402979967480247134915181466961341556554127014452082399830554503423082474295412804650238850668914441994509313339501777169984039840498350834763504258172883251433699522086856022184398065725318905663743572994284992990091629198777571555895447484629065271487911955292829526584858265784008072082596091833577365812230906532758352868569938144458996063579602016925669977092109107653970780060818303421346240579669882070701071220802519698298300287992773706945484404991781305294129895358149423695319236060674954469911290436833328447033153124343820618056560789103936097518159569001330325681422331450595272552248751121559649847157712440086167418806809704496960537191121099540301521042116754551298746064977208606158666532220296176323284957355840374888539326631560607717269463142998160873270999623709165029239419978514117961247313977521900171697841042407236685993647598076108126541046881740450699165731507622547410781859908046685841439491779470995133433537276251545162163889946902951396601040308555500709005463472270470609519080335041048295474466319214898229811085800130530491338440709832673436234664327434246899203114959562808878418756258442843437384667235062317152729225894284507528268428470402698528570791544412263872350579183041007764768550008338524641786475073431833803506648204481182716958193771948461526992130083444594102223448910447243240059541549043435444354031037364130728209107090280902748804058964008763406932273187282053635203834307590188195914756616740537569140335225895592453354109384773395417028729019773378532817227933601625735460308900396796355395897145745556246218236127319430232303527136056572875297747671990900604706195502559765816567825611436825332553073889946742718758091942845526709242829518299682335346414543664775155465737909853270462512672585679426299847535325730033540053522890159400346277562226385979211271645438338903484980822226408646980191554798455028019006255582854306291505177524164435252444043967260154769857629927754887522513382043561416789068694331364291248292165108464916282158816444591612601544792570913813200893207594057980110065308853187624562279127049373849999019196538245579575569229301749366494252769939574752595844014304566444580083645322126994226789317173575495904433779871441651695072174942749042672295221852380854635525131580475578969550529801486595403862526778041324791950084241808181870741906667066439645981746487880681557437369960724630067019202434612274335472366569612761620446060960749217840223076402540744233464776612177329987928815841419765577613103802311100875909600630150233086320436314929014906584673293564737813450417735577205028798794657116384624635870326899036754224769649031837889714247465910121686144651148717597547835362576861378236913591540589206346826393126920438175468854259206863743507470208324700604670323629461097657756105972921006297283155906944154793031953635500634414524433848529618085944121742633033393394267035337333521281796728908337880681017194085398562494822747618950540631911373985838278808644241423310834863584360489728140099342863356600071035758746092060893135384822169283258390637084215824170136621576085917089560731429013371328852407225594340769091444060351451226508793399537052724093459900156644780263803989764412522511701052056263387299941985289263658762854380335166509401497811348266304944294321674895063138997825983163458167333860801791461073880457458909852553513249092747918943025464932266219986312962167519848214812455003842222867997602291661547308209187488457644893093396304650373021963759606230582509718292227148726604125563412813478675072299969176946667053673876118751590732848742104341696390556445610719600313898333874225817055487259811171964959994568998515225863019275474568788028160212460199591720661595756373388127528951249470027199614738163815916065635368976266342798858770019766554002942609014899725247572934704581625684594342702940503644377835155592821231983550710674204168629794777500176206774141196466062645321508574982780757877624533881966358344371866126015645662429085511708101362106679359691547458235414771882835174831287984675472566543130538197201635817312860220886746531007213446214404246666561643492350321387372702408551328530164267258415342792144459441585372186998090240165701242645021642912500389688059988172177836960606488729004339087361928236944048784893003393439727336806663194530665086321920529822261612091889039679281421991312974078711135309892332671020680589528448259398864918572078655877574498015211464875235936476581259113113889550453210754361751576948801353827331766655885050531560801933259170926617425178024763813263326794688104813854729107149313159860482335750961785553272790809486178480373648697973869032773863434474018929586947864736103939547302142009352061385168661468399272449082670526975386850633677552179662300643629383790681677918973944663980402255472727668548700646439797829848929261858422251480793584038266464314830868042873649854521102807072093577014199725156133466278790527582704077209465038455125842021271476893356334717861281693508140316363166668753271487179514470686137725798479193987422686061299555480584786886101988231472039807583656104840423408085489360112348469989164588934032233105609658831261298326475339977702203304668837842163345797632390871471164117406210748459493893182108970488577142701813694009930856818060520825425029771729120209614718160250802804549523165593768058351839241123065909566011582073432093577918482483598681030314681367728652542609701935240950797911373709760212851300770630002997609514372549270854969853410806597603339976474407909332063232523001008604831809395563858002529032822514172594867858950307942835253108467281231303484456326897592016262486733852054875625697731933953921449853264666541867730990727994311808562245138808282301437063847243367350335126480666514877450835527128122972862795240939127790897481028634639402511451719049687760355793539619326216892388475148565331305617724139043798711819145292695569246362034759047532845024419616941673819940127237030550355914606332889983231079580347481312232918999998716374323886945740566964428606974355618555232415683115702341267089169215655958955826434003604966663196057828837552683079918388930583854073690909546005148032428702221996817257864792828770020455051284629068258609529246109769214879736262160501208288069850466329288243792196949070687614306501962287899703207407577383681132574789459042317733115181844633180548068323637468043386664434321573298812412145066983281768965524749365950352914482672509947439381204173843379082258019036787622169345044621770193642430572749786180627156367411465237844448947724648400048738973049282299072799096294574299578536134317112536852917679319534878868933849547535462288100493286337372058556949754811430820963647194291980828024702737290873966738118181410759918399994411025513021174547764648443857864076551197026742123011944597165486586394161218298131545521524615337296462854404081173775111395613182487657002137693259496267718382255546929647874358230039196790994995576427296040738525437236681473589419038226088980274858908361200461787121716440100516959949294802354575886412891975423025450014334891497985140870931494869728141077311061811450584161792979879836479866535555734783199066703790847434067864393881658444489040314802793836487719055963262893226868245783827361909370771583585861332782161100464257278876543715213601938989332910595320916088748967916191281313496064812916619398509268778662024416608023433085439874848210708438214933016882735745420766156238009221453264921483793470832533864949147533867024624221642154851861804663503361577610269344161059274912670496466469932074940919070657723128264303032191724276998836195477060617266277919438661069179626530414633990071889696473468170980111093650596975235274926753639554872189120276593345382043975481997581439776017986923552132340774054789486905457724077650618456279902256029596634529135490148559798335518541047942330886983760415273253430075903658611112895962254481361346763685387385337584617638072350322070464978694993433347380525710159995441346902076136970265325510865180550015004225813979638447248099195501976872100072593758908000115381437991138777355421887583370243224327065600946385518057905149377393505406250473446569276596732733069014023177431925919134250004151013729669774672332983513996765974776621705262599674208704153897530152908625449765483814326783885648555541156431048079018554997871406547582353236482012202322200265397312217169186567523152800156693821667889220941932630104428786055950314228560321330540145392686160452122535910297288394748267345031007514417409700599749864573301514600192629277928644571332898139704423426643524853089569016711647900065003702196791602957125490500579735108581972797620457317864745660586281896555993051523472887342944178840897637769846479665654969816968619301437505727159815622885928172377878588306386576980602874050203969441371592668190995462194517200302097863735507717981984989108705653705895800174852131026260390446319980354513813617597162334445894207596817985777111745373053119693432081124192281103426080987817259430031611572710161148597044646204631678142721607071372589755336286189090351282402171424640088834072524756875580266670916400490454794814216530782236238638415217384213586753294247064253630028832790426183271834763316534060296758211489172571576634131589744812982511830120426119060206243142158396159133210536471234724476015654913939862437319119419488760368379541383725472831160735467027843373578994323136254219201663495894084051127438611104078072024183551895014155468721861961017541943689513976372968329335887401864926073483214905968080985227859948219078694845573299853216195445943565131473913447522697579684982039968839924342396970702218116334199717764073736069500370714975193114394335354330995763573254034298911737499892378473074703809865998479837313217096072429865265203168822354187416073342177633819804802706444013458170405668574125875371864913959843560207010580364860232447979851116157561522875563670742916912085372737851807226723597470256861443464942180824769871946088677937392743922549014612061165701401914599895311385655524111716800165694667546164559775835023080433582958327169464518731369732164196756355765445223744830011765660840223464464029257776200991330134280102858798559437258152335630334437993505728748473465995708529983885327589585281212002869644035405914337171210076550601476788757708538576501701429798471879557258291901210221250036973546456185801933011659051448590449619596893721276934453283536667650621717861039008734941261597015357867138559398083615861043813058745425700102448736456324130659689651279721679459594112146137464140362493354307981309158844958037890853189602222784227516315751942362788121567023817027340330589234996726968388019236621386405291330635018518203392550361727481565537553264539195793982475336469148076288030894462258727567828147712020317880600019230729817639926511524375938434845434058106432617919649516302763600045359210639435988037944421680151324674415227313739062837977102747955830486225711401127046246344871653545871862298534257073749514131323304280597186427348430474026272134316166725656705)/(14)*a^(7) - (210263381045093569471641400294151420945221194627083081202498095478114189723609447097643608163585749070206027443862794640559176381464690787033338484323082065160140333881583413412407593353551257305633295705801930028216828128340220706181507074279349448590162782698485228712183039050106430981793246719221204221372638707178418358884282510426853875649936143411050077599841886923575302077829090358363214762954028678689050899999504090326918702384123643214533474258250235528443783044643873895148667397697561967593495544820375134147854848249353513170841533626083131074904345710885871508959549967624068266936188640276126100275040633908031076305458858226032960938037882956089766483667504563495164765892505417128547697718990291565220358876457245818581760548868197721075621339347562461472237360856257364210497164427717975122620781595407274275447317892359260411251938767060555560193129712896035664821326802866324603065911717371993293823508979650577639086767587880161359927395884895195409581261049706060430028202157310288841085177619227837744373398215574118230259361585514830803469967597780553228002452525355471005544920495319782663408622387048110074144992319015817390622466864444112763865197492237993371940267255622848317895202219318734570825239223388471735724484812232349490397689637240092336744087022009318515593994410826289698270852762223622631523443349102886961321705321689485771341276861030326909539721224189558225269111477426721891055559108167090724973799743070097784671394272562059221891513528147365665472346048532822140421563140135771527443655968020477997701206339224405136919209309979002696951780206213185631706140553055177147595964652642358826098662811432986230468393223105964400688919721797469183477919855886422208003862470269307169753526421133887816037143344019854749173774506079932934813472923770450500784747545251717988537527955468826217018552168777673085366698626048789169131412622216547631020072786976380830413085264585196051379350785759221439345885405677472461488927436113207455247261625919131754093116210061750886653835594211988171196728385175305936931719008767190802242495423649947980842123136900330565943222123398809851782171161203698825475573045606752903383349302370666975288195246067483846240328178684002430627984463887775507241134618506240213747906938464044709195756399037241865714607341718463848711412750357616492616759292569615475421718340512831819843297894463779294595531432223700118034611265532717387343529327166468352574533665698673916303354421603493131806488865572967008726016853205628629107402199589293483941554059422885413744640855749919568162240846923249726411359389499917118557795955655987069022784512823589784969952640465279183124632117763628794505726133649902869064982873055592319497784083432711668888018507448565400783856447592251696481718392578072900251276184410561842959367440954614883672370185878373188094079834317141500148423506201901435953480536753295874348479977753346609720661087609693153934194791944745324110709135638950723601250097639937601751637753491288805020642907851252065164821463847019680274961979966608814639896796990004615782547142863441937137730403134867933521004983840072990583685449798101444921152623621732414644526341839497122852570624641743086051919039130066016184257843006964582840125252268152004811226110492866049763233008476437358044823141145817035468006524950728828149404615102759734607169041090935849462430875521470258551911139452915082096534426287217308920651723622624613260473389588100205329304282229774974459291090713708707784053169261596897538889117851841687983778572294825256688370021084747572976861891198141734617953256822278853256183331646671645448639372952576150512468149861283759868916591638343622285522134552546957079937249440431614804003580046538036281786956783139600584831968320357668335857900094709082156096909568943606179498211673905541320567635154895538840097815520505108440481035903976522031318995054465613908555689523803010248763143423433964612737623468170257959610866506460376254286120637579518783987455735331905476462310997873392899715450768739292735585488668725722664940476123447659457026962590373800676335135201853181820953244742447636122720890347533285974487320784151705097919964035991157865280351246908847157810974395069792290701284251236825091293098988585485240167625549128019924522966691545701412031538206056683787341008798391231058723430152332263545070695988072930976473295979624308433902731244252034653406163936105093130701441746435005467600176879759474916971426278173961613413537073833816296901327105857773270054361256751491796792351950244690572687164308517619523046338710742469632255900035273053907473747011675906253879268646292729108345709719619286632026922879505726692363389675615951977768319288290784318438559924630966971611710460348826809486934120937986943757043927753877297787347872049784045327885846353711891311591049865983501384076586258625492131481584289537238179553710231901079295275689092554927090510599108582149971128715292174888232311944877857841583435743226348470178308096776491838480194135896984067124494578203400769271149329854733931137784580603758413151473779794951191156019385588678795608465229806645656082522819012736431714912517806013510190677513296278680789131893785037453566746874736670363244786484781501967162973131012866213207028548755285654430867610996822174314294838226614741799799761716782364509903496880606534458549105655673704883751633186271195637285732978954565329032576330640063477622106319763942951009558942030485876237537825044338443335563960311237201748630021472248829713793308472112935549748231784283188511601190546419957632570601043749986265391182689213749855759213108860511729389649427368758991784601515022301519545313223974565239527677793636584431353404247055426927743406799240123506205588917768728003405110452532539558415801068379757632856187647388284704872088084415185493490726286877195198962694139154291033871696394140399420695458834401223714631890082594452587406322392105959902115482821409005847673523481243836173146886091803321535493974191472363613602609227013779905667691783610995050138037679350912974227373323985800868173035749369527569235778332777870545905098328523767703534548449600259030749192288768957332267800934535699519634914521762165041587948893935951017179812632865628698339300600591898784357376886197540205480463020131729382284359798103762071070370719772022565993669803573798020923993832917844540248210608492784842124105023356436181238733713309976004709705951604315245696107867803831358636953120353797476267782117484819290500512178608871085917316819966134500364775243234764875044295261705767182951153155728179439842458800933197067842484742481798350543195961315137280965443212405024216906950501116861564178221428723431915246999053789449115180817400335794693690769343162841334127813939468101219528088035788703331802583863109399831532224705563254788786480118400564439133332147078970456002999265738892676043517061866750104174110492855209723708880888659075555284555976676633026298046378848816309215941239557387072166696485208588008253009034220245381216838175811037201975074959866031648496471231915614553054242234043782310117073374011086889345671240596062960072277250814928162266601117519591337213361963536586066024694687518983087558313072579161894602271889682788354061082179846802308618506041448872953012912225775479630213227864428995804917369023778847688903097225725343516265920765243862111113721277458139613986653047976705675580757925214510632354945587268032268593248200281498390134269528588668308751468630328276373748982560350363516748367295455886202071673526576625077824529905702946098102242988945427711089859227345649850268699020689645012727629475126222035260309835968283079401440080959470936273805293857499696054546809986459882484169208254889646720707345109254298704187080820084930154500286515361965323493840578355686050832179209329782136999645527613769831820104508618336718967109993829939880573702476401400382417665985384633564238231865167580722568427935935492198600803499550671086332698690733260816643914941677494083172721013614587878935891846523675486437213328660151011507976873743732084270762002960953901812928201960498938736176492389775408156294427613783796801512930327087579616929853581259460813040967020214914687150604685348611774614149270190826457750984218781926163447275832234607724484506067725652589408792440685146245434240766702709574181337191604916221059253123889496504347314950515934539233262859594015806041826316088411057961296453844771727991904800969808915393911118980032924025520992321885651966262321067503930918544628860982393511872524155782984373248742019357605075097239784210499960802909600518892948701884138997553159828780836239383904641102966163734648902814532142012156194755447004501229615478896151032772490127674334614317606287836463017085466496216401319575290627848265045100177741127471119062350606769806696848506300112829328449209949218992704336922905873413314692507870751260177845106992714295260745867403836659394902365875545143663708532956550731597690281589718348278157957873650066326068433703937922303353638260655032618724271993271440086317389749125218150001908191216410273565361879885232760763902662423982173245418024319317553648746553703460576684234030100362942565285341383413817477330191075477352040522869619442542295325623424392590030536032590898570460985679582759367080921908990069356728697992085282465795375799492384681089020564123554059177619991054944264384606134898395030382776845536302226592968095315861577758311585856049438920016529197346942411556292675120817365841596237599270678973759733430803970409762136015486375426781921126712835529839519992690126501211584688239400004842248688350912416811508139718429699261353313043882478883473793566270078237134751865364634820417092812032411151577979943638487268794458902012939497234709410172403815439716429893630096048446369338360748930097160758769733590216001957519856829526861813540976978563223408053809512628895026897551061050848325331769188079383460104442280495798908841852376702817924925105060894088379103234545096121007721968727438229195247152832281593055413994197448181910668858222696194973182408707997569576585601782916182782382205931143029441141608824837777853708841965903480989579527589544099847687024048409548930399290320548644821793533457063565452617279895455916255192888078532395976432723085357236834804287572313655003415954863028415079629690166959498958481897758202627817538019299715418052384869666255583143131006625541090359660683292317280114991012908189521084057175749688476074845529123931069397285299310712494812616236666743805496481724444286812461432403613600771022482759195506949375849854750927638891194374016618030048777036024307572296541750812709615837869592410155466425495985705116233464743746553989692845396057751638449129067038985831721821075663234240337935598568875175907636632441692448859169695011551562048481439405046882083145682635175834000158691883388656535259658398203795261564169595333184699949894569529760193902784325372807216905371566152181677765275595078920527003056726903088577291665108267604882908605684302997796720009016069825912719689097525792900029817962699972213415136919455420246933200542718320324434232255246055708476423583981491960619211766294080935222213774904148707543575411650842225617019149614911179562064948468372290295145879991283875227871312997236288094526185982969151873652823578779677966564215863195013575355669277438686582674544685734361623232738162515263721131042564560575985444083707999052113994687069021140011641930740968056648925895385954375037947977556701682573331463075568347236871646582482268850700240930556704407246179521777410898254760695843849902412317529163239969282287911107567144918718637382939668659914917290660811801585512142538067581769581318457448258099595688201543060228123576299440621305577383229181688882642026594483798390693653539936338947930128262067346484368342741009492461486156328888309457804817079367988551977577210233849363965020729072547650835121094629021105389243709116862215210620098462988195518637149252844661988655832770174870076449793661407293940843177831495950811380890234956352084302670278941619259270391211935734694815511312264180360708038529259989094241493408382252598325555452557817119378823653334528507482191631217070924363208835031970271282945784507022762978111588719554941403924293978948594751731634030115906168781720210618504279172148981113236719053658821285539239190478658091579289305112408762294095519911698923617257236935741076546013136297102247846908965298699350047483919843305123078298499545793898618913265364736084129579847078459991965035406171048091146259245467275528388370534398759701031984035670903911155866475429537759641350798480993397000917808585187662919157895449374851520337959057120977135476077034777233072240752357687016572463874747381232419994752092129560188604688777300127972356924065788672228632583804522798477426796336681617317027625262842635985826065531615734682076719069939226302254182442068719787355248932724970115088048333962792207853997543130887186771768503903839306049371109739964440869071546225717819796868591443253429405324075446221048267462544724087907178865849878329351776158584180110362588961554225562914368909303600938562686029302323421022965007166933578538745994385475878881383823820823814960500720623967069349899526361380440982469803053781907961285699179528169494273874598959805550275404147936875198105679367700056983169509547863798830258068010654978185118683867757203562349779188638511872024021401831808592810694528999179600390098094145192148289628828888318125223479480082004581695887558926475012337272598356811238868829306681734627981278917175406675850655684888148297773659612453655321704924654934302094557326752511310019509952074822866821175020286643223042026885302361887388782606426547349058405012437432336197073559298593818690260251526650829868795503109580302544714945284575961674084829066963452677535079415428258933142859614177086698149399686599750873207000919598844280953910569624229766394472333638955203053701985147305294988057199255611895756093670375479571247478157598102350328139889238250828287755381826833982381371817002656328777481782686279014579474420273555247143417316120248787103120312448622826146096071087298158632247862999807802248547848010891210339565857934143206622640765459348765636968911036754057207959098453827529958541931718315926075133453244857636603213339175865897507532949763748777169620304177858805696260793114983988729235045381559733699999409953913280308991733567625126625376721007636297499410533102350416452329216049701886275951416337144962087352209566313786879292800224382306790645635385900252776744082443797930506407938599311578591920963815630824964869379796329307946277097723453165086707253501589848020338104253435565830724617696643287246349865902643192541252928006875313909169791778883884390935294202660344992845203724118793433259216795141881017888262015237278132400143321551223032274625664821298678762100194536825789690106241373228639951160982536658353421326638810969066505953661243337047218609933508325621162723706543260697785846671760783923353732138860715565663389931156529669552145131619730752588292708615347338769122520745549597640068373888299925624728293603888355515676823957383841688884712505915579656701620838874224464355890518829725470830101802027284004896420284288488616990961374513109279167452771096731525436325916633450433502082058744592775969474442305590705863170218248373262075208154022835215388948671126236762879014805745064480468427624913316032555385983351945917395156565458915877376656599993386312811012735715522358858298040957565158216989652627435300912748915501188648203112237419025271569188187615705248039419068808469479518598546195938551586280128983408111840579242230901341166777878172494809723493962143512174575585411018404821663144111701650070160365926860465206763390153280171527787045886984559126518174509341611535016080824066549268668648963931059414371860668450508111425266441239357958321061319378514941632249926171808847663817841087532322393655271739875406808272929245631313495446824735430800437978337191090413428017486931764152020861949101686295965892779948555425237379963425564753461787094235649286526825480406713997054676335154819944116291060399203064632257035929510712377248553007775311756832598183183667242504802782168523038331747675798892846684428174748535069027507474764496943653688211249651148860090633392979657893985451217867222718014408749444971646798382274372970314982919251782419467174052481581141831034431347885703425725916876610428381508984720407489822687924203887165200987300370924130827392262158879283863893806700249036385749556388328628020932848357259391061041981144270873393646269370799694364808084341723119298948794322522516470671411494046915734541048815870696595403267310443219379469428851780104528982981488036915600630919002283570154229428071578635648913547481432393029269035491849918315079966926783708600403483271679017350943495428605888650025082242592715552701526826777793189492919399189440666757856285862535604285054617182582968646913784208212209569020692818716329894114485557947380348656893042944947859514912394818290573471930222132577201315688069404014738498946512373788082061522115652846169723877787242100343686734785145674356888697692592231217710507459918760664302960475005505844407271278775548505751726602666528659877283443463174085474979067315376093980865627588871935383725831940884536460406904708806402859563562821904681247891348160066409768041355991755117677427258076229430395254224653761390968233274721524656790605648510820976722457489089086752183341834730479040894546598960436515907004682563796678351183137525755442889618717199617936900851269366188059941979411381793391739188797371462221096951008779444371959332423710369632263982202397530980016199724526728206367811865647565594115402412678505057808730266793524735793361297253331037724262003954661981043300142711416195442517056695215896599965851946180830660516674641314890930907192630088703502391787896784966498555558682904196068003104602862545252900544095442802485517341828874246197602181938573410810981127897371465262467301164683477403053058649119225367334814245121537347001916092541504558815781024535943501470019462906792685230824517911674710945298212927654326489516325889792884861014699074077815861924521660248205577288208672808516544999663341418073288889327557814201582139139478123525835211311468065901900327831497580807908809775565545905805548339630859746754879866184148202926743967965707707242886044138536663354192916131349913854110332795783026962295516479305130236484448675047417039804828147578635595042868475577754231751608719431554793184304937724161506255614721517234092723619599539753661846911777757028909469236725029588805247544009465362015326434586321210340493524635631132813858531911594758121529039455231624516273966217807217575287548832226491629233154623780738389420701601165406109688043020561206480189788743389297939743956513784497631448267283734815619589972098475472932022935736321105077268583609021715872618747989477944675820979820910677214223167405827096497836795977225130644507032862702790855529810725931535797217006757594405817450724546588390271578631358159436888419218832523282443245084397514702468451259338491166574793375171103546648237909021551557273871269630070939256821170200094383139581508217945981689469810633710618568758705896606588827474708991738183883126210230971924081806612321615111412992983320016501236664427040436162969687847512956470711698451593137318066038115529577670185598967016403491511465119788464517002137545341913218646053044356445067793266036723507993360282253609014993628361658234061464153103531499698670813805345437680560237632777624275353341738827010740189276668972400988965650220456640494634264662659789444455014327451656789540857055575469693601916715623443841280901293198116464536585678892868563142604307219377536250508719853515151991537991970654887543668374221880543846109250242781594026351885728542158139751581042583005927754416745540510489213091930969070960092369260431169459598286104317576939771361893132606822659037488768433180886539412425641674896451246007899112560105883188925319813844570504138138135458759421345946792002310350920685837441721909143161322719304277619654897514980634650995021231804858551749620682039694008200196828819148712781660988736369444951890501064995809091660005699252114395998767321167142838298781694759411739958150770140097661908932662992885731281322510294712600270890541418380725667864672204986679661192307819286829927184069534492471559258289555766604984035846641886511007961956544556641360057360454312461437731753626605208192388155990123188731556506474099335398096082039423036450016006775546095622888083423095967319851849150960460906331572594365156255975387182033956072787823679370138387397116050111454232921345473782512774218532563149130028469875920238612350268325838209574441553777305896273639537570834844672141229732425420747861654946287683859732413077347390772753482902736063592912518884125180510775402437962944130474835019478128577721335855085516601616477663616102369773704026893321308998562177888439005280993677546545887706309523985842132996269778052341309227756055770575087211324014237528996821583158374976631163768208134603282760838685302125166190108761003099781318370758287927959520344096983877304150341018132982129554922118624785396730664251537277280707809200160242054123524221859668268263339172275991510742016401687055005975353645607706960347312986899646020829635501562869106105473209896551510728663314217923099169822467689720998469619981889657162954086269695115301720715040814548178925441331097994729941394079985870570078151871307427048729911580969930404930513877352437839481667927640921460869018282423235425200188062918667330404749703695427304183791106446550502603066376781545513505363392363681828481909366754044964691788317080523583526294932988279074918221858936090861467819686540165258805087177088792685417306783180526571024056433489728023231089922475380473666243506943668602779057069036749073093633786744621064266168036518956577895516613660909482661530864226101517919460372237119855906073671390901065521072288289383108731152666374640710767653061551845382769658747429565544324783739553977666122365660022117245204203539479039647978759013960909386137526943383656100562317600236087012853023241299839921955129274097100687346370959039417360321858685282785510148009921998658339097198857834898306819072792901162812291213294751404385355329922891399954836457132052274648657559145188176199065271323976172820570281765544670444379274777863884593579460143163738103973517594996145134405091243123682506935864083960950014518198781724326293221332748102062379294420928428671643484949259809984804754781250613968776597113046828484673061239866404673484102877138930696909378584443219282050256574700807926598531586257697656978278151345852172990020945066739912978973772172361823473502190635433216962218908878174019)/(14)*a^(6) + (55240295665828364690035839528586191299409953533710344535243916388000921570301504677078562356160873206787550160517349061615172146404974016401763618479239633581966213496378590448658420173307241217971924674533179709002006054479422470459286508483782577460232418231135788603984238024373692817430206883079515524952840628210037255578353089557493708376347667028350734503496723025713207757867808379985170250015301249717507696031991205819158846848494383329777463529941613684252300725086046673884424406631170783855684854991725503941304472396032800653069250977136288025482026733967986247722364749630292738011368908507558101277631722680680979320843173002127067772617666309102488963106686657109971760584419154283503428051765203003764035705117712324706396401038497885277140083071889031942278874376902310153128577631888630647197833955926218320049963456466798624572970748939073968190717629718323568643173791107600931315067721115821889327381724439547356846997734461983574762140417579239467882850044336518564572247387971493654992892634224644523669107981543515857125517454981326049837458590503694530698504709830686827525253765304792135975777076158312558282056656464554674617183749046993904356914512057855269167152715830510125278764478071536545107219696767916098889991526523060462850696943539500735552927292900140001166656602206142255875094646846331796073712369100022452547798890885861414410917999613784959437187496650066273030463186120076600366404083925516524960801056799855573378100420221446482283780819931191561205869769422557782905364180237980485327086288743020648451690028035406179921536508425645413706005038813467566528460750317330389625144067122542719467840356923277864899399490923729751163028273834949006677397181627348745586614259504374486336109656059840634943168893080202427189366814650616860026914100395385128413392096954082933901438026519854457371238912524490041814763585349642726230932304340947837072090693399307258999015979604800887184072291729589646032428478872297491322820022236607778459136547464483184135192511301667025589179057688672337355735856201954205967071407912975193999348918181455858391947242551710678900384692099696936521764557559986232008206456075752397467800024811212661468461476739853122107796261258075988686067491085951889655417680713079047305055505284541840411941981159607258883784659472275333021105724137347277392316808147256111769618925762899712048546530881297470428779046308989074785423179660293344819761181044785871085378405370590368025843614964103292233008824823022391985350423168199073788147239700115279077640533196330405480846621153029225240741413212992824066588996831916849599764390503426848206705012817313917452123261137651025509460540661392134851116315422129369946682360273492692580164799812307416658642480087515820689674786918957305884440138622958904054938083327893089720273112683639876190783273370210912438073133903644111706641314237604889117867145344859308917189393108273835305448508588134527715203552004372199161417328321191764027487142011115182185883543008648702032840127819365788419596940143621015161593142708296330589645275338665112028079036224733275444377460967892154343124316979903751113722190824852185395184716051217926786719303355879903735315992484375367309926722050485124421021701170655406413666539826275287559240663464826967411211490955234360046518861886214115511705322851425645398394605850619335925852111048503942759795481686954769293310855066226876939992290632427896044123995559263657064461525863798629692238200107999755203075844285075338206916113481287999834226526756518821445319055480990999550541689110765249668768915772157461436124446318363967396986971432512125250270548287131145025417992128187640900583115035880620882048815210324583070144079715349464584845528893207980616661762610613405295160814982198081851993567438332242264841252802091740846460715873272396400326887802769182868150387596173084256853415802848602390080913274022373204477621354708766186520235855002074347168925593911892732474508650355536972255111331142318671026402433425242722929013863561267946002312986103679146702122609533030683313303423018865475432934980617171746247855645355129129935367841500874764425072139741280750353808133394499179254360069006849998221767989338863228606111610472154947986625007233988001468618516199787663444801685254898737950328237511728880986064147917665897297950661299578843463393085108963660398645918000567735003330213549757834826770168522506645633027880439258767278490715099346591949433416000121428826904132031771251782584279805111430763258213382538379498323666823411665558823032661540589185358080169895504673990512940125873928911386672315267249868023925275861008103039670614219469189720203902518223571738669815942496487318016265962318116140995534236625883969886702398194802332551951173944335972340516298054843747053974380389871608694300396945139114922356478135156808290553535629292671966431394644682329797321880205404468581064211213292479662997146019796421125031783423278973905000661507491231190775490862914119597660646481478325562262303342806996565196400401060964319885693533706221613621837040289502888770290424683066827821827360140900595879038027928582834027310643755282566273397620862058365205410545257344103727316228883873327427182376784295458982370478742032716488634795207309172420402129263742693029097444300651102900275175163563058195044643579068036253961945477155527540827035846161386597324427900092817678988913990301687657055727084630592386665831570750348218354106333694917839752230097128196634663204258610747673630824843265572187822684922116381158023963870640771215397235401210965171804856621619604064857827590103298795207608008232771432234216219944667064315395571635653912656665278947873034548612336202499600425423305005872636458218698926784219363219497292773458704973646690520066878893424176879923289602107039256296974892489284212384893581194442894485857406928377807220315677002408579615858062714028231206405701117385329499174113312341722705161747251573563409342335870868436726592027977244097080262383789233918045589398478852956449843272801881559181983007235101373272728642170416669927788258604729789047729883227966521624739529497002446610061179110143324185629428223000588040714997580888297545758371916912621799359457224324838512878073786323314827069970366617505588937273365071289269815390720998694344752342102622253469348032499248205250033497435885470300227906585316477543963208467337934203888796515427407307937825976184839954496152810115992103857345212624706152752362624144989446135605776752472816749257782683760414756840435735840506846200144480735724669017882355047790777757089970344403933596252391046806596462479230684271053697082918670571074792592831942619638400384817104367657673694362844182627565815548487709461433992837059716034788555030918868364110662088076913474124917260548317692394411306290958530865446865865253670867637009944385928891405153823037177065504643128265735023922707393974216007938292721229599243027394353556117704000299377752946576817078064158720790264417793691310866565223382204310373184854030961976185548632547122706718758360702285316326418291619105065656716339249742779302970823435116085832011616008030276235000559959667570395029068604130621154402895140725382542767086391755250368540896492494043655509753380741710973360046826379274162581036209894249842226745794847820623056878448126612810491771718358335272468059029146396753197517777982673525975223812642545227432273373043147012965195122377823672490890681651158998646289422651163991591779675682330850236736827824652811351456817321395925981080741823306692802527243764504589639282082921602456496700279302116958523902233819717221559370716660343460212532781318531041894787872060282605896860630174656900914821149251648071298292091272085292030623044610260032798303401240883613203576099538153406937943889467212029466253632040368983227286684124074258659251968299910618682425856746430776480703280302077841903273730891271012344541418125604563005598288823299425434018839296109432431651759557522341434239137091354097111197680672987438926480752013728200991717226587679351740595765711301115334866089051299815742334650624842157639011447228437776067085071739521924456376412767396649006589114889440315972191260776879317219092885810268250671652311340664664753068297402806023387088726588547036111446220484326429852782058263358545213959809807095259430610811573667260558109962295040684222253253768493438848895808109260140199586433508576151840638111001286228642580450380170296163928934779875216306183986731922052710372854567356979716840886848585941701538224264803166748346909369311846421509388573049975253690995502997162087627533155125359166614037889042779225422866594552660846634999357854071780990261299777816784757550241880514347064825053238841448976574761270692071327238746893555181464669751062190586409468630578815472585481234077052962683323374943426940540489990366127059176903824584781505776751763090909336191067681064795267083649287429937132593981230751145588626234847141546489136093270715193763902114552843216431293763901247985537733751562110237834811857392753203956850822876551617134232481179770891805172579294295028799567108071175829273836741074030136319524367362560513930444579341917477609709844527191744019018861049809090685020627400407453006482071191904118035821336112903529608056823907290825506229943804669761259140156179524817706880493252705865687635716229585003401184340096238350886376110752448510207512148461385417652444518131088275349893589139791082561517775128166281901152606729426354096056785264131182106976795129147500767517398800656603181350836250229503326033265623061157167188932714935886210759011521555382762665550180339938626842830864931731073027268559976106080071928957742012550580675329377011026551404974113944062513948820408329679089338247075671864620058222075064465434134043359530479683533808528645620246397569076113374046079934655680777050411743551120745670102579321912534084248363889835674368446031085082264463015045126333561593590782637519228619521876273397941795453169780656930171738747801287610997249213383945982069246934155842625920320864025942976440262499588754649049036976922280697693878502814227879877083318122345077127971078962183212904030605045716664408735252688374879678361713077644975114275597755603197234663410400604500381127207706650771757135424062436190557243603820502771863867775184761888273677131142110013186746578124197010798187366525723384528358680605992814300050746037944318558469369003930287027872834595208919750872276782364102128931740133737475257207253977144324951714395628431886591076820027456803817828330106376990475290959717042281652040502334292514638448779214308741868174993981444257683530735500121064184479045730120343978751027179072957181762605646052969795757885856684917503993089182706683634418715778174272309684917478792900411882314421778490858010616985079915199519681837607273841062513938838311571989219004636373642382774445030754540458654226776001617217383729422944933163303501835072786094406104126705653459133672387401161752077997794104769478076524993170244552092063573510369161483146860036300585866111760844430172377772572450503026537100072906776933106142072970734768327792133832871358123786796963619286974800117656466197108992518358651992629805047863827933509378553451314312263535287192771362499635691316836205012218774807190512177664160992564699321373508049030861412287397131103473672919350359053484545639098451301857540402198822404328419142028726751291002904559603325955357433356345332941732636493741885844781490091358071737899693861139559806137242798219854340039905294279169058824265077809562661948470072104146786034032194612316694036718211003093924163472518878414939829779748871319948484451449480760827503567784246132018784826040016497066849096843815995876181367616563097091519487339934602948329806419318373138274765782861666537529946158522049209774450193967201221906704016906996333893978782195946721386171288093919959194949159531786105001205503556606759241666566457178039379266833747874137258702126138473200846893039005544414426701238588250473477959724968797632650706223390278254890339296455783996745552323780121659222524350217810090127592735359196171700480772737815494276190091284479289703859742615491591823231291725299524665762422005707149626386695111525362427968379098288304584816359421672135733327906007704156728332377166967472131035949020130068646767869983227826599098398018722313801585626717999202444401239684172034827957600262798101519280999432223933622368962905650767023002613471231855074809053779340510885249420656498905002734227343274261377332100720415316873705232852788485368381167114919852068708783011244936113381647536042737595174087049743185451480096044058352108691589710049721407949233084434264616849168138915812011501527528416715672622485103429010152963412583718337829613569647950192274773325385014544319662610355973934768935623550995304862382269864075591067710052989469313498326767993511179247800229980336598365171216878403928597713427371252792885725690905121208351542567410383728560714914181741344096666911725516155424482839405782465353395030602914062015692125158349643719767385156343866655589127231848839707740513844995908138660500417373546192667067084777659083063682264621657872306066491494640833019195553113470148197972188824235910118906556724221990578713386794617946675503730011749206685994895988608902721663562474582172686271343449906718782243823313444697077679935630907721265145301600240263480847199384437740003119384115324184961825838837447197348653623465036675311280853516964686767807867179145818927524425041010002692547957822459494650535294833443044221945622881057766572921297932995512936074304775129778163159828441096460123947552230601712754727909182393391838977215841949708813637789495081963498090830044100909618448007617181102415492758353608964971246553646347410783466313655936567158733270171343898699781721613721193485907560233164696061554891605877982466526199561872969227306962301589888183575998878272179835404615440090490177138459200443436103232933505147480941938575742908935846914419003048445025383236612578285560717950457837212387209206896087262047600107591225026647338264071328056489734375489230440449326089751646090619064263866984829671754152249264131410847901145635767829964798517617247098506062811390654823230964058993948556563106128799913259611436992131662447528265555030342913022502187825358084218498363907656548689210759363149743920038968211023804465398695196056181985185298589322835912622018106404334471806595650592736287193973467766281985868789796119437730223732391845684350421163148273036045242273302046233616097467845872798105660315512395509114830989955834337003807068480292031264189466033477896573086517094912223165030330506866433720959388311315608049188284349095581020579634075430184614591571223156828263922954907181398943188428752278317743984952462468944316208491484666175173918478507179407954796449653959509861350551557214578609481376806595119241218903328689979644530726536937180374032212825694434502971291130930879152115003943140810221888682906039744072059823999235863409153364677084568486220584647671616121276325132960287913321015620503265854763583347483951351108928774520738322285954499379500030650015930882479137414360235385073707949686984354396196337785516505369134666811110581954553391111587704331898607373444437302665972570279232845973862044770536027133419304760693848401114971898767834151949516577419778435725758500112213920103242092646770804668805230578690165638993327675796750459687181203941152430427451654711679346605077981900958660779587440753070352218008973025656848547037107471723442795350509737597650392195226660734289148273731159799264426014209000819401142463511960723992352231894212423196453942841950616037857569936230221536312161256820439586837490119626228050708161330668145814013906595284041844154937274410666768993110656718216563163254234033894180803824786806949470735822211661592225659977422422253792355894486101296079659073853647823030785807837902832829775044098938869294693715608343134055830094916374442997214471659612889278701155516159525905089732415179046535903121734015674605024233161818494656497814400155340963235192978640491864818334106277716605404148467990988264244692318713404056337812149917886307787239450793668340530401790541600482423985396019009302118342830839553595852429370789557676444427029900151762299285644139397389127643252758711606979450729222178687327090674445277367769937978330378048585066241782259354874081910180808090792543161283212379540880710828263672542086987088790705483553011046219622082517713978564034279324202502583896194934329295227681774828155246122481447124619905634704815681145289003841465723110003651236010232098895112756141037383708855868211626465306107313585931251658996705600360632966049257739676905196306748675375500822583711485757876961372079697225863039311994792473461401018889673935958744595763453023295004601814095079385555371188073961313449964615471847948298006022408745407215816921136036286694860758843907938541588378552027191610209537529505799122002733202075103129943902631986041330102707592559636551297642493444089330192624236886553272076636463439568017705339467394809844000331219991278922065317056397969337026734512993068723791566325806059108384290831364522963373088011112558264751827194277888181926223981656087780430963081836289316627984041146236041385717983554403006207597422850169366937303766958052194882272251102445509321617424202100307944806021385810771925887348191720864820126182517880427771016708934175958457642988964575410496989543603399434786187133273224520983574904993831003792637328420448950779447879648933692622994437388561007502615121759027350428045034142037882846592261665139375700489873560690359319757059921684204567975904587458001017202756122244665313806467736394212135078669613213312718121526054561774229948286338212694946850463499388474509349322414123537268398513444810252653652609971171833500045029592726292425364989846354353182041709336518976594701338053995164555085881965612302422049303568036660651381565244020162381403711005751816802364769032162364344349374082044741839356600100630395460858128847500072477461956978439737412352334322711900507559613269771691041255401285944869070523905036843365942230672313565374635706817486160139896045886063466519808611705511226333717369075463671761394103799766095512304967945647364291523744629112117498265026997680103230857956361713887717958650203592897683110290025711450185309448289542918976983018602880388380584978113482580840076834259673627779320801744635064600030368151326444729732357609039061984106132558133956938181841418167582210918507385752312669827369857304618503411788107665074922265891195148554915158310913006050837566183944832338153587731899935304058611667468393818225124565187032911086208964285402012384281363109018661683370346967337049825345724230588955248050933326489144059058752543891848892374957528503333215832024748465581868511221967161645703467021765839116321836747587128554976139539321279546616494492912800321539937310956135400186421726604365031556261147024342014310324436185104931274628578073049819229588155544627172587320422337846705987370058424958946789204819590075707144530956523161645504724235933584210289982541915904878139313991558287267635562667921270067343065852306845509671977656748338543720624134965885409468291664546674264738333151277563149274123027232972005695121207272194652771330979517771088975521847462724420204453250246344812232532189086521107060246182028780687504852098229471066311677921213956972766212032159452084072742480830869011976289605998392004665477340104604496415027359622792042686756543656160665784375973298880150775777979328518527045054225063801944102978786303069643934198105290101224641676107076840686984008570268499158512734886021743961616785574340029635054075789725758589851153533495531953556356030553829471000923672779179236200317493929762779361204870921129422232623862303162933716558039847335383650680882345040845032280746015901565787353502289023933195762483350341024088111081331836940695193493872007074772970709794831368854167371738687776687451905204961503587502595231193611819975262653078714639833865294219431428700591851841902443544115605885758162569167284477607480765724042077778356308368704032380701799534841114747774549931000922514856135812206723984049476662659776459411180020222416333057552947733706445221600800342223488160691345183854583338672166807296424930255678420545780930360981917107812466941321680440036202053656253699844993363724383315791426731205285627007727462991864037637227697661543102387209560804011699387567612055703019597481556680101434542383445193416622171926431454635476830871843217661936644870624382154215340995377528212069372308345634241064463331300116854897484481939507434352748221781052600421275532626468177538089561481971410072611798813875937998503753531140976980621418604842379249480228316689491875492253603157796060202800946405199907693838584350064136019558460009372753623802995414552256005369521586089675018613816638396699373182600112186650149557264980502842847285241346567793993639188065043331467942355821272507272189068287400482581488050378938123084083055590894609932471282223719561875840010661527813032420090108951946071343290605696902437652641740399625953883492689226553326416753201355544070394381713646750535740644486942933816688401431900117821598407375226044857277356658876498445826749470418861806852883919734544580933838549277637214303368482462806747663136105739788542174234934629030759256744669737178233155903906517059326632528387403942491103636444970927454150670749640647280894189918920785813037432562620493678740334900678219416795752755993805682163790630562009876971759856678470103552227130355584957085324066393747614150510148860637401395585391527641893162556303376359982683003927205050426244135783926739074089647510986835985447577561184360155820945615358135128126587117837038127661643138560648814727498155695544489441085461511445340320995056896456077638441607257874613077440995876460885667657268306406701824589057683774680233154482292281606293305656179171725086695524991797853609112829121317458951810314127328399938830831194732570107714321058535546848192994825246746431977095935085916388485930400676177995040326293915956547978949379953974800468905236169785747333836078940322216475849106347300688208892771325697118002089191704226858357401601247111710577047522159091459587574642806089053442460215090773127288182752187435517471253555821964548319777448172414907421867519279154686102963660799206712955329688962973114422243950931334549072448322250624032666087981647286920325437350510546721382842190968019267678174809041067170576894458031017929266613629879107067156221681362950421555430646337632017058089431313793059895670435117519740665524393673631213416847256352434397825421603782827305738208084291018889046901127265646728630214682944097334786832671258690715508850337906956110710120091443810148247027045952255306925675846175442022938)/(7)*a^(5) - (2953664571250728549340643279841931678847039068250671239857755543994131855470825082170137620592685836689939472989102402201252503807121736046755553300034124617273244793263960881677472941821934124302717807307570820350248175629278450277323121670820830123477612435138509121724702711626943073742486185266412496781574899018567831998602953140136026405663800205041531032483490527585209474928609318883772584002538612590625846031287054802934489715300533787756350085713395722277554396032420717169559097643464930452219660660780110575066953329286595274843671417020699914524390527773706172335152306752541265846970413961336433060012195028171799469576070339808548714873674635460465536286499671758833703696983591890083362530445322030010698620112129883491893517599296865696591135621388342601274319107798833164755201910393571895150034460016837009648530397300251715138926447624935565536608063550784021261508880367873000862588970455471379771855158133425951924939641366061396299983349448989162743555326846786752824956191745064096435429819903090408406685193178933060652503747161411707881643573330718558553166267856699732080046172057156484028811285565589915614086945271125928224451621780201992951551000917849347299060575606327940790794284214597157344752944352319052755116096689226770484494780842149956321719146410769441076460241006086058777008998085389670863845521804963840125070867436543486973187264922827163590774108776124288332011538452974504922798046452037103165212621433628534595427340711431061609306502410751772006012082450722740394938544093432351210213928145561077535323584655104542074541780030726626651838121658395235877806393588397277525851153583640213902234035338100256414386134147152631596463282810806339366941134693586593340240847787834133603515433690964883901478143232780173693187895019946257696246856331056705518601220074296713022766558982186081558592401079378049122347166254125861080449440202443434252143336853394217378117924101470807572045199952027364016889933190990308233536669218098829894039707812324970027791162755925595037031310016528663466512116678453804718872549265877586737462744049579540568388654695323637247908612733724133149938993969506203233619453650209286066594265871478348368715822935256957644612478786440319352502974524074221653112740932362118156648309327443633771202680100182604605062606210260575554404683220809966282554170667094182666871944084337083544513722338753796688688084694275315229822913389546677878245890726941627919213349698249539871978951940520591129464526871160783084028124412025048837079688146084671703284882894279004129084051639557865448574915618744677969968964075472455546750784609750738718283220316469042205306075632345360764395472051005141480367311596412953967928742779353975660049680989615574536653686475380153831776179082419028364144232797642260354501099202970324017136485902649711809082479123409466321991715712384370465718906394724046430829793701101798470166585429709254899230904670410783160010684999582030205942748732700690299727591986689850374219017905017486241403750756784833395117584728983080622079404366512377668457812907024287005469073379852183707894406353395979543535802347940534563159505064994940835379992368807706322639966118996390453160407839569928790851248563612559755586336895127443177137581311455783570838194813282699780532381016463565294025285209995546260332014898169571853916233412480108724339973594265220047501479884342421789331022595078690469341154395183501871737574802173994092951578156014688940639170885703034855038269695828391697629437754833272232142951097553152563107540425089180803557902627401985590336861461160254939256397306543492275244854605044417577664953760852806199079844686652600571905497295476558821989397318965687548258867677086380543772073626606022494685935443475418683027597682811455387368139860247713741647669575587751814329655941892547399757218170988149404151050254710428161778670372509039279602675993622198011566328613537812646772962153822204958439645221863453890265926771055198421820012284257652450593673071065209006833274761950949980896189609937297199257425708481290245239298392212829551600113586091877001855421707618367741274506149651566183789111071695617007463820063638836474122817073140381200901859993847860392633358312509374501815375588857806697818215352098114527047037004770321137691633956433972728899280912511000433413621064674127100944585054518790377083040270475321656943896848312236158458843417267801970107368763529538223557021168412727856763180564729348747800593777361928987120285916464622487801472126079455065305220823920585027346677360770421873972279780504573975401001393818682883821274077736712911327288570105295423954217572621580398777690331238492050462110559694199695050604985579636347588778324383751296544891390927985154126230049420239887437761076924757758618506153918159403912720515515463107594174951861761325103921111733675273702327919445433102320661024265492195852035453839550755429718147881227912679402336154677061213895134246293839090332992965902732112515741287340907131264484731621779732074092418516423925659572544632523027692241051596072535693978879580538147771138184943119754774675781438795232853142680511951671292619543333731114393218492397382239443017123553265204684354811654849078089342375946485482200899239725030186042570953176144992677198845007060912039539510710793959303601633426352527848165472069747489586928091011240609092411463332854655099140022408702646638808607194875658685666019755579727140155724690544889035541021312350916536140981948423076642776329264297952224969020232253657686343422386426628306871122753400036653347959096703081664759512985078618970231392005213092424276133782449422988024929188457753858744563181708060568573277046164715791784203432608810458017454897080696080783704588633471360845763740306683163863028653652583195655077678622334069501198014569242854218292048163524433864973165010247719583940628467264866896597426343741239582965159827224595655386444328565279362277852639274256180413748683429031854666369613719938572952621891211868636976489509528924835920859281795735990666515130055093110091952284817209383748732770839823491944848521959156442591267309285245604997858029595937575613322597765308129234802131161949173448818767950920598179128373366501504381337393080145908007002134437814438865991942400455627238448938754728818275228372865621784771638361336156676198348608919303357234670799880401457279861881867057196966561682376420513525760793750523577346083302538089009347633879395841181139088126835885146463473253296160180891817779660822448545334530687397686235641581657097035409430350710837583395511262946133431418086509723424002531126703695483833690950173870656521650974862321449414679264660256221062400239067987521907592510547985086302900307798431159946317668977443039091156075494034266999467867425578226070437484998934584820905352091174721782473104375994012954522271830761382486367000034856975023227216254388143664808577931755798238425805026917005356466874668309369979947429197354192405607796092662254768951274321958560274649070276475593980790653447956227420658097766818001877275283194809840471297236314448415258066173077769239501053335327530379644036942814739540701118056689939775643546462871169278624865720479092623856407024039338286749364623996523606568528460730982165001769976343273372231079967168912215323047365809538306053357831398340841230988798315923090005195600883823151947275430317759350372737562774995598705066272434848880753481519822212103484117554759902947001213607232061661420360917326716438347139464211882570364113957957789379730760616298187985667481494722949818249468108902354188805465938192710538741417255961297425145824776383206373323762913952988909926247435765955924382518264093435706510849720230293637226349086692875831068362174027521895625813356143103354257663355348155033443634793835037479824589201216187438996634332013902663428534262581345920110545896602734616721635478373827199745497940284753525875042632261435397620161260420468696254364276705701706651361538843111161867474420798397292241409800743544466542013565311676635759277059517024871400190221608136635886464440429111193767732458170042822464121830541820459426168180105330340242200701441843661392979631889290282925428994566146219842955887547550454050342865399151429605182958051331357099896719222388718809095097304594563556649857817714563171129716206586620563101983772010688984358091820310168140546604779512462712409400709518722595732961983854610327449449716745669771252303384631355887144079315967217651131748395471271285892369174440383420648420527755463593302286466293616534143907837793606555016788458360008147522956151467847350525762664042485113270257371130129346703238230180215922712363487399961909685366020959199066261574922964230235522603487490123041262969727066597990699159982833400724873807434099856492204177767098269010692020659978916827496369390847788679773479396919902019227698228002264290793833889917945817212652686364577421130250764510220863020151594641189176454726167317714917908388425942445097341595407301790621057280649231313434667097173417327024148962547015675166421702683836328703524927294159104035440787243991459200168704968570297370790464877826641122862653015194811740298333056402934235470115279889026961021031260719833168931301311144150096147811991672780383468346783804467845183182850961226973058701287198163568075078055424793322347588549191569970157648446379637571005409422564069632235447556128788710962594551510893360978010983896804737841071588447627652826786799516533228893403703650982425577004743725414390216615686620749217774611747834562325711960352732145430281876970839968231077353456285097296777342815340730170310370869797997172831338750588061644000476617462880577988565941000539987712258359494249489295774132077772659695153063966799487818189095777455841203199616966803436940198529329341429523589328781887947657193349232004386833422266195171380490923536640388908859206300267086818344877622214919385258143867744207068806628238899383814143292228099000143628208646575922135190163234452871588635634865552587281649702452860654915220737053881506090336140039772534079368701852223312936962886979120710814717144049522486493214699858228125974447442016367374474364274750118889792631268964587874525028897320802066099793143454509459459635763520718846615670531522158151587553027217114859421158479808921695604072214801109598954893537115930285266061429617892750425385650205605096007536170916449861882320847263114061563778717734023583394671156309161777502637263649816646317225522344579016006904397963130714878557711947726228880801163564855729847675378740305640297285587699297521536646351950082655774779232413731503770234825038910445646069348531518787912176499762917161326143521023987528050924012136502811895246447211536622451319109345600976741280953565259057673935654111667721404075793471478719564903455127794012026112202829416699844148341677397687424285232224290108310481359750292776225443578152708150741023016631660400962934609392536778144327002972397816092016652953041150724876792577576144747502370594977763463795100908770186230253937283379307369734750655695029739252647070605788300684487702350483252904063407287524297218605689299491925433712642364832004998740920948283481933975701599366022050371883631715937394433272853558251243832794765560139655174514221906510849384342003777123312063310964694234247727853499620320184304713512470447102563911979612536772391450509369288853109584208735473709738795881394170019517408039704585688937463217090994597116853758917713901769727137655224580016036482421252535923067683337867169881262380396283251563185172924549068393138001174797615611113447954812588298236978808241461795006629190125955291117007377176748962936174121581208379103237197592033541089680371387935780584103958673694849142711195123888937760406440157681433635822022232438046370208567394930234770623068633191966072949572852762613211275305567995033330313663080970009160076393883167763431565037481548937093756560250098125734864719329411722303592563037558355892142593094083783943552877315915199149932604049475435856748232128565418132514451648194616956109461171474082609673741293464750795574587016972627607623963430564880215614066482700652901235287170113141860432364614167196195010821413333812973839910758827203430671369467008592517505884692938786190798165946356245975691676585956961564679736946748437863561149132266218378792820352199350195866772484469520065221907159227128199336198542652561688812437744399179333483425768823025316193062056914296052046441142383090516348973317258037816168940016697605705772371689133515694689617222500802516414685290407885526333511994530779308210006325413651566934508058449244220467111373786486027402084032200038009889676847962297097706712444092208219787027226340835403062052814703772742925070569058157391820787464985771109007743862257083866128530504980775497990196135651908795915607633242485598574365626745651034664522452732917706547880891037246733709774682887590595828769631979856352130169165637887729797742274079533467388833454555203772696886127271911254073283020091263590349145329724951061595596522048907692441953617641461749492681329221265320060607398915404554308278867856368070930483210805020302203690675968414762510261387120191231609955428314505272370541111566196368612390221592986313794281285323007608510979129924867571431240035360859343499327683713932657067068399020356835665973504844436089263792221452539178620421566096554608757706403860652854798155668743632118690094353235499068252880423409305998856486796183604893189681456094814944843755505928232129921308441982539789365522578335745200860289813815185108203219615823662826307069728504851430238707189424846499707336223114733638934601087822570338355187160290291217322653270772999459874716902835357169656517253103605742211577429631593675219634566107039386967279027038357486237066201229285246896324270917171175383528175896713868610180913107998473746966268143914113095306382057050270264103839010972555940046929322023652619448829760959107328847230667253200525262273901561221331649539968634897130993254862072034241776394227955367596290254013951494551830160306220394139602216049683706848012341089809920216374600749952166272820740855564581139672629939595741054323320438831310913978846398963532947203224289407033321981950023157619554018574739639648709293260661158766586095135105072518383219289934158798921577647515779027801733729801471818510557440860804499248498405645836327266626825169530677369242683300723307322478222614512399202403590598435019413547975684378305874689047333093028297170660214546822021964836687489127780386882014124112904147661153937918782803592492447223824674850331898848101611882138998499682797383479738518889888881422604630847952352108761835433589734267326082098919113503302129898822756134476403799533775565923738088738431654712200226958887569499467965105883540218267318131492637981715958008209288002447642908588481283013012282766532146177241364093771847858437715878100495440908235574338012880630101175344414658600098029482555748875800257511965674518241804476278709982392529914931236474450668199966965049726982290613575040603416534861572425328280163472041584171744152423758134742205133058590617701703263144174405700878692685502107230057950227150704085302494381676441125531776550859133845684488776046506794837996870380010408271587680075711668828195676161419126651679742676627406462457787783507378727916491061599997267346386548028959629964964822002364506628611160308055160428523216114663302276982426430375383822115716110239333387699254589169141953712642981977161175103750692963933774158504044052703227227362613095876615072612086433465493343035052161711657501983901994412909705120510247685198883204128675258387696117494495392496567748250636744731370243258495814914512730474771320313997638266775292866944102138588042071916853676850103675163985607722515925380085943249520563484580686695590599774340830486173473729512892924152478091992742579523889618367621284174140959615086307292209561426066126140982586122117157321043543299489934823896509250909071287618635963686014261049430066205451256361215200146784415938511707771068453884052189473059671094232635895000653784645935072244647790408512872958868081894075173249799384617701377501610637683780074150079944095899696923837892235213087422633602244521751679126997299625234984432637570150918830977268810630005552922924431767570862277497505124599526652503777221775611400753082446650909139898446483285610320179727746740671805566937002968915705170663504333563694183265020126809495978975374928734194215000955202326876801870051921706817052797562299844868737460898890783650328963460611492172732432294105875208668243607513268232464851126962632452189842649549883920835017677375412764873353821734240165834736160839288362500437549730728811027246974405429946537966310395697447651607994041120419636622158733923511258344334309922069219838688442637318378238950263432556019332256129512581521629437981721706990114203159601155191004503826565870360726424601384583750991887801207189929415030990764885616086509048945645385027695938958188709600209517862862443133798576902835350849802114211319281566340329627284719934678907983091769540565027009680002782844337319765574461599486424658520025145769356949932254497052080188332357079137758076742958820735366134114052365198428788673896628600488995598358576143450557286877217911650374235752178664386624537229282017494531924223998131440918019428377618410797972260053320360325691752376655752104576197071462794788164680997858505617295595814834985011075537016876939408346225093970161469033543432987956156417111327332519768126089487965590671580033666983686497972408374951072540367937459410561095590523237120870481110841593024189639565232956366506421454835967551642161043207194435939046063941089677439293028588874923085424606465550482297030500782208481803833809497517930834015215873475026184658680004605541668474179744247452771952404980681872990370403444024192154451699483047121251378074059751520394966781194329398579335418955853282911940752029388653464545784165394701039652360726466669746160048345916938854324778564727123778281849051302340953125347561803319478064418444516678093426757648028328070265252235180757265951339677685526946539485850845383468129624678935929527171775533845793892915063108577798982765877014198092236844194410855864093279569087633693038778262967518882884744489630115101395500289740327368185383676193872797367601190365045463875643156924549913463570148955276537355896914803601764134905264329337113702193073314453687425190218262554504375608620340156944858381301466542305051147182100442541004013965281657359933630345240474883114379278778495740161898563405957359406081827296208492524542742750736525019611876919370676009842214164043579656995058280433753104413362400989582919136257160983596200817296684549013193742623636546844501125455542231259620845439964711221569584480986844106937779814539547233295837665200943665973044531025158335787091941959109012858879325004042780020795882703946205159685898153638761427019557004541584088730129207107104034666897534933005499526130219786166326488519553476615696954365826678241128293384033680840251712867550919756408117958095839819547074894461917523967567058507351383756388490108628561522634561873667007904172942691540838911308076720640224418480301875727545083893506541095641289623629733809562839694085546305381805795125142466065568707056510523034093191281198790949364947292715804802950767871580814513768120821517124455859755922992594951379951375185882994935997248948222945598887260591525995994458120376642773050850188910638813333871338247814504800857481912654061937270543279547190560832706567291463834218782406652967826620429053930821184961151131138924003003330422735578046502001458507518178147948439202451679406450630805372760784853159732214716197759051884418032979446617858107916852642837657889160212062220848584771001096788869237174082772979767638514767094883232157460691194497620858143229876574264925523874151272358746278562228762357049238473411404848832009251364449024408193608384936849683674089748270543179585401107906156121487370846518955989534645539794765224323662728688607712844048779992872357568406763362125442533247837695423433730558523890231959302568741080874602018332535964251814918564989771196636247645961891531753650373736833348839814880657383119661605344855755224997182407610286255270594158621383049120338690050097115947262243035443277987791904941166829093940070029187282370226574620345316146974462802187829152039968831224917578897398933961467542331741991186933325012709110624690185910820823970143324602894091149588108861084495865730959959797450855098048931570262476055993990587443562108652540245050307658189244358926110029036022802350009084308807584174288526332083786611503748617618805958500205203287239101576459662304898088504186555426370760656304138113279881037562675857222923574580792436752993797348279664722044359957176373324638742858032831138399317319315955043584947038109989598771505477373238785334616631022314009336385730706917530199067372962226700471534692430697322434168888902952997429719703471072863383205303796327467480874989412564433143340503250129219512027647001618881107417623618437345193791086888194356846489164794116161916409076383337708293601685501195794264291086837188942727352117312282768727979334202477348241763540517655880557958569565979117692599523648802235915193775606734572816921480629784639355931758781698797441376640115325701446143524314772161998446285025096747633582263333856620762035190541120738968629954247379511374236680884297166496813387869282551642698917892626619574015156614053009037986010765431082732597939324361912115788200491314735071904513911952350171365617446715943006318005554767250787427318345630713455110843046224280028709594590537733731928869012142468504404864498222908657456960260152171652025962244752577620081638929160319435017271455555387140838256338329239823038058408530120510792727403439861254885887375665821056219979116763927423284744898251693444278954748820109558580976990155215496133615505080804932849229035366446071677818283270925130621946906074059498440832721191836097349137640273828613281752636792443297059732005874174876117864540958902184915314626075142703035142855344081563902176049889299107917464392091568599080310030580538612897149291639231151791491357611666305239024184386442438996313938804828922792579072498918818267481065093240190428584461703961414800619085731844236231639895219123921568402582330771846521253346589266958828811819851636870584847749278363551981224954574970761595167700597001899089057376029091745121257885166979365537049523900181247115479378959616864358318391114825214439841071552778922998630809210600129551714059763989268879324152575657045191268941661624520733919486627996177527227194188541554513561358666466255037553283840956350777435746728024647116581142257528857750015298292443605253764095259781497455641522260601431617930839304235253101687391097634421641735278915)/(14)*a^(4) + (1521242142026341855607365845901942348252705201915317423743619201764202614959966394936396822332265877016418914349844254393812505782236982867021182955591231975514809819200580214911836100072183369382432224005455509414245789752237427522529205659937233836053358738880011980773456731171441760896532685140741929311638615940058694448947848013976541171550458652632614223372460002117281195536085148575874794531629648498054826469760600891579674174297619049043814258157940570909692250228119664790734440698839926661801175204909611036347319215071988820288577118353541218603106526203612376794643825824766538901782869026710705546819853471694266240971471474788940458942745622490013285808262641860400033689643053123638984293996410386467850301966564878690010963343897038893302023667325483267148063002892813153051417811166007014413765102093827160984052436802833088351577800251766473665581240464765647247229636705630251084427821022232266573593732794000758608916272937659941780503101799968698390481054514083666197936714739681550935844004902207264562398332044123627951400359387790885811182012545476852744663868548356239192612510066147152038238988058901456862070049419669948136632741263061533535301510069591747185137849232804700845886029519295084992920860852300638385721836870390533667911766814484458624982547824940894253463460553933941328301521480411439257793836180194474165879600833003984687222658164137806167931317909606001964046621490966463010669630855104838427024911376712612000705240107264870317152214066140581197329370001276981755371425138749334086410859236392077757879923026780117543780859300656877245239346987264582315308490244844244862790454541741821017327776963314593654059579973024987251498400954236542637388562483065991557163935583462913938589478589352849016032226631834802730479482536180565193226119335203929862912488842466691433448727173348993825599868902281985220912452431403672723753942861140688694362698785109660047632112578451648234010244557706921476773023531168682429223767792291366348393742925430722622932617195773263646308829213592559685059558488247217541217299634647826857800982180662372743081138703135642898140886271172441543447815031004947810538821440334027203284491252357348375488937988992229983268570010766925307327665731184558461306640761711270806630651682132961127420615175880678891485657558620330353861516567304701501646996427387756127292893729575628071695550134046002418146726652775657061812476963385623710540331343152798187351898634077237657689376996766974363221031683880353606373168567576232266839320953225012867891663920031434805838427096666479511574777458224217631408761102702936706052812472380102798737534781235674176862572365158886599550169051790408369544930335666204881837675748487579635737565291928188056471387979088874212453196561969469191281981616170547187696282379670586416037644436094640619648221344699508594489204478869570124978076093946182280874498209025524971067047610592421434631248576376289586697579992930847266043255837438633218936994101302235535329864104142814638581407431581019903299765354554886180588545554711815853155912808547071508918892824224075668158085040847261858822640345478131765622831827565237749712389492780952941680374799253463318352736303268604528500128083254702889377994041849397998921945003889531258912731251761516375375979815082614878489797386838004031808134356745741340750510393550596252089633681691312835721892074495095655296428366841439529469243347964379460614918343302046089073781439324019423069972383816417926141864198157917479042709423602655817048173517177000321080448030844442747841480218864969149906302901948386164725541435636089445799008243753408542007490883373026135826337244280097393999617476568209480443998714188479746688836328700461823354160822056321515116373491982145655399346914970850305626672632977865421591186563250606339514236970970818150099117911422541195293529766951385670033688262155354345588119915372166683379264658371787572802476680464691864883319593677640842952956381048989686080033107263139854589392922342371139596300251806353433491238180014234346323008336544961567636142168009813289551977204542759703735482296228142432629459189385945566888707246861396299310588424888461222169875258412110940598537293585919779838607897546554268497205030668791169430893934153127923632141550325002500745971571922444311531470661391619042615690982437039688727907853023558472097063915457122946891475948223590260143211624854392867293266236988051392172785809006471299231062377873041232135610152288913992020225674152251460569268382144913687310069371897617495949196600083104743682611988621857489247105964125755763261504836440793461379801838446485877115016422669215236935855158840051053920275771378596489980881887371649430604663315521449952771426949723850010440974393714036038107442756839936942609639465832422666161020670193360864097642130109367465765528174982090290601634230926988044636118618516139518835882271342582310884007557138047747021933771274566172004228613627953045374750337546331036158825652805788754565970055914383561672771483378434659372237206802322242061679930701847539443141940294502426007887410072028381983460995068193827652837322098666568795603446541195119478025690381614489220155275975377540471636319219104774402043975467745295709113814325400973581433932551621218891139110626901954985176761794998817013587397795029467211406746660412641833227891950222543105623974828581875419239938817749390506465141325380592729937076300809412541086580822878770263513501671195917907992351027285909045784102016399738752716180776024761497441422358000019721684105194756977163186189125832345090948592410886619675963181787806243068546706280195167844378839239302832502884763270048140365964403857679945375779866142236060362690358651339117850822717794627879315023676052061490456409691454238345995059686860060228976377781196392753995803826054143506069705621327892221068667635487635141114469441894204184235946706527650377852684703889918405907546040935473141831419423667190678902569309277078104173814563756193278707628159907221177298878758333821282897374232549561004400539687040629346398534464487388145422392887615711250539964482695754517585008628384923540843563392757141302664613757770266617617431411895634914854870583706791684125875100177370501000271558847304963740702617020699740258862189377748705765711393093139394465420311528389975557282853206271715626192295286449232822933530503770431074104596333257253454799857279952869688731411033725197444061712879805200679254364110907802074757565711783767954218110455984674628126451068243347660227215641712136549365338611041832766021492175147501031110834391780627818742537275770998645371384879245784770523017697993901523691476753753565559632808344999511904208326858754900524115617558875032217754296157932005471002180161186433297054082331617515422086011469184749047473934577996965359291777863173008672256336495030221212705233662983238237871817128505871287690863436465641491511749744188482819763211695821591900754417129009032299367740676861982703986535443261538702986643984535719665456340544657550427692924245954489586227459707935766940019531468134517518743780489636035162006080596264943277601658986408156445698712140178415427505930653845910176844792575248605153695699839748682527616824239388688051076729517204608668363001613448647407089167932779794246182824293037372690482086110129679849039447603757760400679066507160602633003104481601615171212247925724315979593720847650275193860215366455580600953321415434354908963137957168363999975337816261992933128298498980829884363451055473734308679241277566872698848157210516408144802094573162981785886015045936479668303652816252982089434602361011960471480087332934595552136598299985904537370273861839826049848034890049698692803020078030169074655141827554033747905528305764370364122321641480120854113772163784304985112233497476912023064797936649214890674758238669321348133232949242464186739284130500987576450092893169380303164574489596648113906363100341062241859966526120377292115333766746830848116890547520027125017574817382835578929402369426893127080716835182548246589430763330100170693743672858072180583651521227479045998985467340579073534582793486116018988028910036280412678786966567083743722504809711790276546682672509278022813656062178080972264533746461731987980789898866326439296490988917156441916741182709158420625423493976909776523405396818256446396256783379935610916656351582219701251374698192166665470999101378871096813854166313640148248809619924725045804942975831563667300369048808669027053660757124287855643536807387102447639953329862437016267303073515632482939995397890672194727298806451057893492953105530602156064824209791468232624328389079403689500649707617318829922755696060072738865297743027016937819174800261586233508850212513918312289881108607214934031111408741851697247441160529483245826461491388658849096496305181022453391933862999631985955704036651733105480718540790701232558952701955307336584936918751042027557496808671364990959877831405590443794725012045224737918262150626051380032294862172138358065587307404930786656457636092017169750030186264290585362871617910046966823807950550335801352459416458119443226902871618913263746319960989889252710978820515350022983566064269777795503629172401862618960923846602831270128752664571336452330579300217342533315607070465456427160300413872221008660872479540585546413231333947259879538995449742300497667052247397589483414162876956801940246841554361319092634956901109361780204467797557262333718024786783960247247455938089575893957918513284709495444194631896679282227200554451532430149195447942389267495695331955398088726311284262466508306579582845964395593671616638478551831700582809963412700410710606674002804969506140070862009683049689165052267150749563417286864765324920258474248122300628777374641081098762289545424105243353488802756843084742538281003727619041085841232040902816484136838329213107575244276461628794546470948045538028128461627223336297850841036604266585032165121978127414967362996519930273145355579702741698204153353265725509901635650120885580360344733669232716134303826304599594079958703813506397899237981181464514065954079293714111221460753926248826352606703182004542042243027001370366098606693376627097553722675989339593550573827161899095505206838482180433508428724526654727398602831434673344698197408406438899546566459429617635515418825828289586975039568169921418827848315278251355195717057304694857793408759124623773638585959869493118392243581936563319212390045240353612612492595686436976174148134847226353543683919691326263020844802548147336839656282698738966006889662567021086854552978725202373005695212493302651327609485975415017169278368272595737435978660065337440074411131278982469751599150502398896030213456919703191498827311749309347811997269242217667802253979731091337597226396250008489893061343762403175559158754293022136792481965685767246117458726520844627894413347744419899465993900738921503567990318867037752356069542707962018803746188544184093386291491937567076072200905914809473883620855853260058115596858302538046681896165000911621989146431519392991292790472283381071425380791562313520402648845782249462240710696520511305147301404207252311060488143950447624541702128481475409632733210080014744048162706483787680324157433024697861714120637005564668546967603713195038998540990312182446809267391156208726125236264956766318122154972327565233854772136923530830557903750052714277601604127417852097999008355141661271118302228980706913679808961377363223660351628630031274447203481783903839439317444843029408318375090118756274498151556868282534004444016865759507036788791339012050348350099154096545419390751833715164185926164583435147688086596468120942913129039327555966135743117260610907588245700251745603610290329687710913958352269052159907611053900703846072880860808647203230487020709052421497676484215086534296953221434440374160030961350928479572350970477666947904717643873537375877753024325012098197859572135873888054506905918069791109953245263355524372103706747433316610054641676429923600229490928392911616497787168843536132200644967548450038600160919021502514013614399731772565642192493428136593627547237801105687286957917555892223867190342994821606589836249412651043571328578370455091959291765536104968474433242441537968603925198143754439167471220814232583147868402600693401593817638282701598172619126079425443371627807862630884377594238870511072498131896125223874715564161284190534853144709556689152852796131800126948375167180504593492205386000042363362692894188317423744754135349886356908948088833505742960782329047511370729592248209353346144979870157716236493114990031266279890784615959678422673307732714818578638226659771458646355867442973001877947831665818438331878422246491364836807780775896559952080799148880467865091670928542481303651617334226000263888589008838990404281411212613302082033105006794400075019153356394864411928507001433520872501386506877439656193961185295399302510423755100191120660004097045577342855481454438584734154758688420433988907627836667846764806630596149386271010336446491799222518497561800203319965012723559077513776418566124436993817882314594317109888265830638253221016068951596065733388554396652608480406282232369598883997673210367088133429057790594341583134630346717003548186374803248358693802210356510466116468324096187934160387735699723808442464673016540740364257792682981272563033514450889966307229419468032795519663863422382275635955574625128382258502640541778883009255959492898543633361253425184648671414551684920348675346699455340232882913776581443664173062871799216733591665455772919483846141436326883582410223491787495134987892761222582648997475813486845115827532960043174028193834875986652284178905180739068908795842500603114050953978160193212985292472710709474501085744242418575339392440565063008375098455990089185109192405234228454185268852333337206102027778505343967329693024859063000778465031253396724984351251491874146375453129912342023147380755349478975707806215108432390594508236288529173078743024428995648640304876453990467252990155875726150970866397026508587571518395562313491557011633625044796942536162190714289214408009982512566535151259602855164315961505191613941051512404342534782473433263813639191299439733349059138475873118831725273775016100021522881364172841547050946903046469500846753448698279813200515788827895381674888287331467441922620555322916077887581776940571355587922962441726835695625315389408564089257292369274521913730591051006808503385320000123266071692239072013547174017293943574211533315032270934161260150194416251112240539817266545282933873406087010487628406256334130460941417204018220106336227258696069345920460307692001603353563517908125389146988722896831133970898106361764180961460242402627569895337822693542902964048938649514634047103580099718880241277480061160634123137408764831886146030372976971796861965441370468905629789513572676176511513342474026818793461182911640994226182086108081784804040319071577768311274113386003370415241755827733355875020944491913343617366064474543694146789199819461070366541650859988516710391831807162278938522568864073807440891790580611669864489612202189141157472124004234219697540006661007355594682074361302380657355954902442728284289111121910795193708835052410320515784216724928718056654088284360702725165416653905094703080351140286753095866618322128905830946071872368284443264335285696066650688337374103057359096609123574772230654816207535280910166246442818293762313964888997450625213833566763087382499749577689747561012517030417100090645949682035331310479899194546800012460435842728711105171752097981694598233525329642435336135349272904166122025252990558415992086481508806074088105699177792827523823932615947214686792762346744489048673551983771271777513534651616444789891957421938694185353204691095513695855610621370669894526105817185754445474190708525654523812918388287305480218483039774775238451936506977149480115412313635227380904771722382764032963958856728377725969492271061705201790096146087851057829296308811872729823186656512728059106799658814297244293890125792434772722408706998961414702969264602015015504869081393583024574073627500503962740363159216180842711055608474694941351705011927209167270217263092672063866111458592396165392142358812609173076030878241235932094373403685327405008601081189620260438420351197569205897132357293915836374423659306128729368363529623116644611188889810692313963138306831294607615500248950141305846036969980351958599236596917579378639030696883194817263992266980725648670443463800127848425056552948917701859595090943251940129256096147213789386252164346602477725724529396808723302290381108934935821598232835029220472654936070495619213217877119205341299863354746750460147889865145515177378884117387536669261575379917510569649487634507289051094284381943333582953670173808067203533238938403322192842307812152190211002138028835769841652073444764156685645661345162439524722921688494162641394106649939201176779092493408961444541640943628115531699153978887036872087048220459278435884369309070483861489273225458762179762346033763719442164107076515318130672981645674429660964726069925379065004528647371420113193476171859970160758064383858577228824262388783482558253444615955690187895119289424805327883438239641918976593645676541350609101532478125365731362764017075786606169565215150049360812349600922619761056384011537192366820278703111509498119628220421616890879218213932790926370518479668658799008828832894231441402753668274166464446332068845060050672500319409036991063774019807814453937862544410913931507703209209572613393028250498049420366867478333665859094849648439179875464078980770255338650715718672292845172006769788362714837413696313197507942292840810474917759141297926699272610994252117601417761488753339769169060900568285395440899913043786914866503556693684254173915969916104479067856659063441272629421770043477610316507522612580241092883261878203424864131325711962310617510807936872493073419153942032942273297042489307353353255849473748818581123466382115978059703731979905044997631976785323042769318842926768650985308960152061003336428423153178253210854527714068645204999375517428258755453182405272875358126647972305041779322822281059443592374683059854427988165620482161979795231616990098954119330683392088922480701084443854327349526946009914381123058532744596586411771749911889060585310709439853571222577128689729372786545911390988288916048064137006732765337499047663719724710444525178635329384967303401763005321198353044362990608820873269745771660282560460567526658168633989503984480247514989759001133236458726651944565822952853106455614757493752196901082826757374471412013138459129272709737723478002820390830720570369827605876662377146362030198282054624346556602898232274016311849076814091582586884098515844885068489387744349074872799516892483188194029109843210708083642166369455682768407163951774729098629454300101120546084573479796988472322294345675813704785918736802628199079984363310256526487147688129599963487360399302531630058014818426232195999763999782604869102660489135120259199197259456844565494461127351153695783218328417140812925946866981700776154708631733604418543770357601405954086742609173332777618317895791963066261354902621067223023924670086310169372452182143823246043556368135884453473577577881862905678132121699001443631014670944464400501591273843532688190859011215301168827247923189237296955220103208873200566922858029986233983519316523971439326815333796331039546250016395340121284193959016256242169029565919488090135693074481462564801307806707671775748259222964461149154594629668718725126190211084765692753617451623611502934170516387223003143592169217690425673649899900830037186043790810660229454854370495413865800581190162946917250184143736974336949708506265924202095992800066712409092882033985604604676846871136919091531417684503564728139040713765613723370437698088990576952028507322204702861793955431449732545532727500301209338827993736649363946342375659249685218183132649360434848844711093440154168923970973864100766744604486084469645284672071252716283213419800223607376780000815898368101746580747294339521204192402252491563763849750758842645683646221310631376378335030211401868478114194607934048318106266684495280601483449259979213890629841230649839058567254544506798555127567225340315284730361497694568193679722879539693162840315034147488618741583600677240805943652215462131911331303666693932516878962039196533332514862983656790307194313889363074782126471046052197747759000556535255957320418643568992153279703028654759855771594546748927229104743002920269681004728371967383413194551114021193801693414241333416271890535228646706605174548702742694744128885045531234658504432057940216535252320775384568323017642345858885031369633277061634951218403763784313464774680540531825241189655650360964699569251309564367597825350570640865533004968886247949189309381602530811253861007546605909744978938110725856725928678698443045885267057040585064726012467136478007836815141340963379053689061146577177434226066611367315473759508164837701788687596090988178047408184943973098985592392620825872668306879872517269375513513034399753496829413065230668029178905973688859226901892572496791337907017654267771998996261569461143170594917473678546246893851725901347363711925105051914505767376755714989089311000902503326414976477882641125581077540865452039809230326450462448422283001599900960126184878620922863513871303008433949776299860593319457623158498610980629724716180635540182950882375139487960319020428508341714810783829467096120394565751196240610707770372091236480902176946961043648265600956183067684932968735855665089903397253407582954385656969254002964770866722522591845591962075501087982980129470676233157052656591241653655564726936948478149008420040082399124224880385908147218360180791764382884390533576521477633319309033218020638646094578573417402726526441002373972178640876676990417526029134344503148464567624606951204863633000595310662464599432770157195383047458971461861294998489003796433233433131902822207244407057308887617643749234008377270953411068356144161112315811962809328868664658668990007056358375809207488228531054610992045400891796418394181626766724004142279373482103304786470519477605329739697319800163189474057250138183442822027136238970462408692330824428289465612666598143385625888621886388058111017225485273715652805474218944246819814414886288842297660097259576172814216264735093786982551689883712115266044250386700469097646209006593616903746904833317341167908885139497313866034489372788626086939138647856304248249719823343640263244387981790474284794458162330738679992529481502076334245081683321269872358777168806466094808273294501374214508599066378350633956784842476935297752813147075593770031527310210367447526779305849643037303472231979804211648929471698197759598386313244283271299286913875269181623162185109757370586046300901131925327493007455916383383059356229095880173)/(14)*a^(3) + (38373074372547652987317376473736626971784574453451825550926171674141199741203535141040004969216344234834470712397102085745414893409808630825283435285218175284975637509315845731592354187323012919319788028602654757572766533234544635137889214023174301925086509036852717568236133042468601242262612829315909600597535569936934754590631715319260588161062422304947040266094523911093554633362830657375474300402647042737781472599679284425497319679605234818914556992300232149914906041176368263982157841194675865247489638867069942141764825721672359261673806326645914189348556373558005634540601830381537367804080662388197318515145476259247982813701881127082077901657701658637420940933273456299033701376054048748695629494607963692219359631594339679697691623978409454457444130851502026331756848869290293668931539510735482226901602729824620303098471742881235898234318713101247333124058550111188899889190149222233937316958692283583867592892872451883975675834685728288433454251868791359446026098755362254598756604676882815242880995641340468074110071367538018529926827724300805718692882446593052795078836310394974656729046594341039727296605784931353620512211297566798779405809109976496835660592480047081024116847926469612065972199817502329258448910077954724164645710433016972912692381676471581510736958735828448162202774343843836066199022331185833369152106558326923350893118158927700715549264826458455743625484200527279910442685688383252702991160172189843442967883679537468055864598985528512267430323511730031913806727145984785085155212372343607277455974054247352180460007838876728550633494481095384975480761599946434596150072246770116282554094437676399623407806005702823053639993099888677885923176351962160306937258814813826408168948397490595484739872292392736789883125166958986229861040532453446516399178581925276662855426962582955300268203591105631536202626844442642622002534104021117929845951596779766106467026607674294011799064237874815325372297625700199242996759535289176724436523516229729306282219223780219676629418938780396512002643643543551559828862541911159789571905130980848044157612437878686193816123471526304694322396477845939085483500190708931538280135518988586543148218334961926907013117040943583718642484849051534775787478421774084920025535472044812489926948631143656907271411413523544990278264974565031877617509038432050306975001593567687366007197476988504710905488578288598417622204403090467457469586908146987419269859909363526334980088321392687446656123559336134692861058220099905697573828247665077351393776371468356128228682547553506100928935752897788290544474196487163330764178971518983035885900639935223895475924576080571340603838303657139243094344112712596009717396802067885440992391308358092328706758161004357244545439705528941520226294809134358609810116818431108652746425842917530981439325034682978872436476406624429152422731602041551765730684770606300321673461109067802060061954100109591742488504635617700614878505478740895805570440968145858758801555290900227891945805098864852915592087350375278293383633641622350872141233774020657483138753928581812958528150258388629978472733164250653483333635179844459870385839520196214362560443951629146514490419449368014286435698690600476791489946535527829322476592074268920490462852248194061672598921580463307262566356970256640200860773819483390241775067456035728238418574993458181613444167286524269159400231850355116731620303576915208187601863949841933357203157248707839310420947333373008465591608156182259183527449234189520393964612532833165588223610638884146600129039100572317327055663196696809067773748993760317027265247908314253026812920981416168921652782204273019959626479044869757721608561149477665739842311483255947087093382244828542694828187511142373269948128738882296136995074744924639155445786211655123013499013891332800587566074683095632842834966542586592302021985273616869781216487381520834638314316208201304407699922601114989403369791048658760326329518011967364771043652100000652928616364617251128114633383068231709592124051068224630805191891058347029092246897796573196980921342001147527337318487538825588726759859194561024153209629453229610297910588776221308556853288926619617831713053647099566961499113004737061595655470673474942092663433844196302660127610701948942312928628770664045664984963695006374022357686552218044779922142287491483250494826782209870606048464465077052402939849780392230773457741645299551064229674298156190775416728329731844782432682533276675120324371668471681943533576180953524067669754230784348313423999439393553673327725164558288809287915826955129363936113441359973802071017983222805193607081675747805210717589589881550601268326124565761111842572949405769189083381483537941728263012291019470113028852512206634575036947967186235684389554784901883078010295040864940397983206501400844635468832578031828568048166609983811750128517789242440646770180062190921183019755057800405470856850251531457115391064029929450437554504087853249000567729357361754220629137534734481920238716152305715753457245973742666305778641633151502190311025396211384242492416210947166618141493751557999848436951350312155534014588868141683609304398402498375410102322541645692986107618343966126250592876095717415069354578073091237896505769949155271282667921104659703646238398291621422579069907120889751068049599175420228079982452697296417016202276381922561296915079207416702230722912008716313928389532575127970628136315670376732383943716505717040223709477355914107901823337289966476286665295556720656657870848555543942419561883920778926078502982168446686793864046990063560193842809364948539831732948073259926031180763565252426792098040951741457891374096525917021303987672909596936616049490466759388971207534350486981920886980724051785289493591688859826638490335002632407636605791357112673730099412532263737166198361803774204046969421230479759875201672571563407275640007503897892111199891291266705461129265278995466687905989380746248819353409577925460806311073801335637837966968857901965700367443871265823132725365862351693923501366657288234801503382602851895870276647952737708981176381033248284412657817419063263888579668346800987019424418263610689926117045446672867278876649266157899811100901348128273671451767391965383452151302628562262703938849301143977638091106114096623836028427312234647845382057886976069842949279830113321022761375731409709470122239749587077706871258644872863690763870102656578249827629766943464066861854875637441889188996105030810065091984586987874703355293091640270478838943807326881851905666458837859672047493899872858943375283051458130658901658941770837791239373511260755946449803341668416262377902506162934845668159114446650809856780697227377190410377999021942901026314070679970870746327321671476708880535488636478680713785571718778460726917108896978686518252132747134370375962859288952948717650692331648266077504881385666382408364916169684420850279924585318966347149504290159475242308960135309365482251997916203313642023227167618818397344583777057600838704200515991304323624598839035780690418850160200195483666395832638098808801409847750794151069825608913424982503661882358607700160551703836061579466087502581836359285099558134063627051719337809832328012429620929530191809055062925059474263908523720185794783433543102336916220950643952850560204848780755733425151450880550695813010508728742605633220433777432187210539055739134400132257612636089029799638381670966603726134933604842802241361511484342459413920347099455877717664101852175144285934632864233709184805210903686565245240859351777882577493632756551328149509304272424146571602874006201360965385446733577312720749321544153189670948717734968585011709100718604140875914087385284948984274050005155027227220234297316333328433030320253638012461310923658590423838367716960649656123159100331939331762406922477808630056931989266148453742076827963394762731482542653511328925851930365771879229233010427523841976088407973602987614540270347715622698712735459027350249851350695154270573479142317650964978550052358859128753146514754997238688562647434239411773740123662280017945461416906213149456779264469048636980174925093699779104258801060011478197461583234020736460258390462412641508989163379621243792590910485543294949004078161772038101064907186845965952426459423847559137306291779452979410438311469785841326843622217284785056043952371342453458144533550858048725379814414003777200221415078265308337085582574378031531250753597917709356451566672628595672933736171007699841011189396657288679737807865142576432899274075062616447940332336328444131019450702561599318086259637520943078563420608520679628655669051972217395570379985502143730272568428770294175530566986475492414440480788645901555710017410612563246740296317299162842654686716888802282560485785171435325211015150482929590045132333208581858393218719917991804281280114470648851510675886102517611185396259688735415851233169169192913420523644898641750628744917657236744790043764720202803680989491554719343235287652646372876706328154133255408860065576457089772068677244112027732032344673617600018501573768102614532892398319419125502146691672142351266036803822084015389655148821324814329586341098503061216161451679186129674342843392384794238327469263793235058973671060123463915815799479505141669389276643046689281934932461220354414035554776772351228713080384792493207665356410707630200914010251841806451603236292286620429010725760673955114282104531662147941954415121502966250363954364605433265969016764262097401912921669551992663372183223548411700578401413514109938985106884931473607107278535674375943254837144822702591541190334562592918220424552031040518095563929320060448484952206961072376285325368916230936718272170962820665940899189771103630005247392015091581726384931272821494987423031869247765185601801018293425417308689643783167345234402208083691436457891089533597269738142383576977482064541739836110882348739322613129815318969481521344569421439308371154213145676588767559891667844986126047380814608478221160938300562802492304889124357209129828881243797866920682115790318060663680042142325840317279417144376009890139318490499946298475596722778246685390796738117466974951309798058967297636665419474028805353036860629370407465583705384915120029366261917184026898780487272597528623701233161972204497333400779522194178536856359035081096202356250727444214751327838286372264462238512585945397081672381424780949858789687603200446231525913858819155399143994288477482465754060940753957619116383717990550367163318480985315593018398136577359435962743066767373178511871962273150897865098594695669885951415433223731468295481774348450778666853455969519435764615855983932766182914583877186968375994686841763472833424212833835056746288157324032906914418291521355377861126896388648858550151691366451178650020830092332473322531629526175034922347450207256870339153985846954886206544766011443527855697313160593754085008533237916674663256508551752311531628422122913132497305524228222313834698391340220811173604896796756024789204428076303813013654164501809484553995527666504102007874743546371411646726042555973957145012374778304590345957066946668192886701483098377800582713801396185284278386904798583127591304311200804094104875561435773541853922789929785890926579681635062980908413241974999014314373963096578881733891964725243566794505001072302727375554634599163134878957933522191739766526033733475301261365407197668696628422412086932017924337511508326526513859451727998889186929240993620432506488631443728156234445848885737608564508414551341502912487865022619764132403886172853465770408728335475402313785445570584387560720296448237034698723258063068504746360762713659824661884703681603541750054599007965259430744632181363358549787475218381520773031802709502003371241012500003382099747855790450843874073109245338094758750585164241866212089035122119396044912690034577849673742098233881905069328602967809767504972154461889292762373808135302590453051502034872336739067656576375339923130831148549105590670144793800447694274644183569644616424096045126066211483122356740456478217165963417262115722636822438123485254235875278675591127339414357044299101030983561624583267679149678776787515746712565723804673596145793287978448414182817260813179093761474013788176059693862001586851854438463309578459498791605261463777628832213016379300196091665921643926572107282567909324641879466588175424073562363398422135499822336795759970337222089137231816144199378441692638556995324687085693119150990749178314166550164016219309744168503478800017512420813948195264043550627882748464202964457937868491491135939689950141027205748393545841114867730082713091158094708382741328487889816169462401427420804328601890082834204650818863004867953695292508923780142673990694519944317129780861977442140271928537959527856125325347992503928011107595150985081414971451929122187303385448578078504405703311577796397072563342908483529298014220406778822705394991314148347533801006447683482929901394958190667465437626753483736454540109772080812307710150641319958762229348752121124979833192932727960300966436818953098425008338132330074139656701451168542927756264231447823471915164115242569462585461277639114399371817762209402713314791645975061390969861330368619782702933628950908273872108452224523842961267473005846174301051433218535065622520971789853942739044795525430492014975600256770032995268735150826144051614267033327998341401781620997760033478575706675643209537677705078352685089959921468133305602164278370607585939185543251389375488894647393494864833731427044505189953366861179410940949884096350838375690832523273975160886033528159357086503060594990051493644207701867793354774431842450472809794187701517625317477896724793046879981471547926450444819774051089630094931930205502050968694689501477421680543437409191334250619422162806946140123878160028805531677845150471034140012324095927541276666964998042496674549324361476562099502451525924280600548105834987741346091291452855535312469805222542411234706377251477114605832781201861064708672259298740802240302591121545747977596031966052576600415817616826595304781165523630983781916720570178737853622900557989816307940978166570292982599057532146210210597171521592151493644573242628327883838456794203993905364210615321784735110509817464405844401544728132850824028159747542872767511344019841615679555125558418633440559660759122432034929285440868536705653223172295186375398530451659699628623023942812587454725208200899027646419572620018051374335644293946069927820961448439183499955952629491032881711000311719724992467513383382704468013592887145568157041078399168793668031937734417708746651331826404617852652891903899527246698571437242923178500586425426784680137128223353720090748248327184149362165714264132759642158504403239994627943279957683840128015858891829097252455211403221129700662946391182121891905161707478021005719678246535238767903445391216629281497916890840272941735331047240571307625406283341931203736063993197884801346762997377474118705761066884630826491646486930424244486680833236496657088115176210117902062848598839144583990253802359860321584211837314414952146515519458028551222527317216818132060281080262035203550311105845093921133952665933789760899002996306470504653646765469663834740052496253556586993387959279115394406661242313991295937031282286431845418632468918650339657226673670931920846620599717975006256897704471840107411935578517427800796929921659634611005213081013051634029036378032515223250973317793010801513805136636745961148141209619042455772827330422307596136999671686665976289866528397572772902428213530748060093589488951329968162275997763703343998973167706265989080250110464905743993226391286083130525472103412579349831796934703836864927291030355847477235477853900302883513512151973435345225975308658256698446049086424002909803855998126900078373448522599546582951544341569049826902931928767963131131967518615107367720561285473758768049993200117286611660620614843410565137337633289355010094520363917808723952681236524480306171101246453967855684539196138658054790405383189585212515554011216380202178164012810131701031398469916908876401367142664379661359281899721943905576273044072504650822222702462848862092720313637358751093124683340300361737795271774925939794815393402363231528449987395099191395077007877400380101963977394652981739675586735511704498029043998977755940093182835316525833769623715360274678452206372056446026428038440439861957870941408031228873604576789237458008467376220980485403305374200590919718226535877416400341797405679138215201495127196447535952014845935047281542865617793361256232143875457821390491781957540929003663974123669696411982539852099805862891753146387263312574763639766089851185073668012901253093669675077735219199436092794069283466004630861820976118622597818252639952347613670898427948851438826016547340887341701593916657505729065001995430961573356765648708907210700435042897151299097288312007926279982575637445061969772479897554444299286485669710413436352039407074867815621051199354946961013311835541163464000858956930373339395544108149676267884286576413360655871977441043453784625531614466146142701562326492314000210593844601691057480721374358513510079132276132955539263295537803641009111372974483234438872405647931537218625550389881322635891417301006420208299981556687912929013484854235991399324962852259157855586912176091075361516111069243536764737109531032818202653428554233378093002647878819664633743069489643297402415210458019422668802887298710028761057628655167202605492008232866980021182907098570859100288623572289855322706044440726449101818498152113152143114872458458152517830610821204798562582658260805271145896790115856402940513835930271367283934246944964715566278362431791769676690720697610722001094145542261515232818162900611140857083453024558589624947489939767494078611511430045546803031711488994938350866497079451750510729789671334878299784638269875103208181325217657388945471236045618787548791320726708887439318195750507901722065737385078554301152076343731346094450446009874006576293897195732251136555102304266250005856688053171236453270559277330484138902854955736862776366694203858949327971674165197462189065084596011099177725865024498034007361768104192145450830273115674391311056463566379354196849072179652637581899176497724640214643785048580428860070742760734372831930570030208384028555177236475039780815794241207536458106781593060534957719464731268487682460845026639249107324364459526771192496190703785049090733368459808150988230789304526217744203027920912298482663638211769936054530909700538518107496853423525252715312211354764363949271014706779214816633566596609250370505294074204951810495206420578322671738437673312880516680584496281061755873257196914075296825529911582858861751979996452466141470691594849199208183210449245062221406072128057959949525412422569671100549182243867007649166173785468631496619331765099028417205237152683668621551960430485352001447187697397974072158021856425150774644119451529541429191947899204189059350020594133040040676932574941816312931184771925312745200248260877923103525626846966456638101561444396371269363028435970493346985352428340472835433522040854307293694346702863952133907277966747574216667966181348040300440780859025158921743800177928200585663737759429325344679836322645997939439864006911679870808807513781770744609269967872046818541066457654599713470110536242786297068381576626954619173677613174657905789540922667453336315200444806792555324027788993100109116519270556375418397486668357296525094530891325070727333993468887808613701458170986295019964385481904415931938681591780177458396349296001019731909330431750536544697941662399645473282416630135823926391094348054273678027456804099281127682009366814788467722142811318461005605307204723453532772014815721595894231019215541256976984569946571448013531913452840115267337129641063343703095664148773843668675046172911906875040229973287900230733530749606009343573107691195160820633885658815716556592100157773837317725273001899122159017221275201794387437449018447988824249424927405902600976695822077928293946501996645148620624321439607372098547587855843346260572253882632016548746653245404962485095039174563640368742716063741988165220829957325092043090130863529552503302317863818993464123125706609066360239743015695580371366146548870873601391158091640602710509866872267354245190043894021043716035596773939081438617844712370674344442554155892411037737015930416701575764571512748295133528290444018962828574302236019132429529445497852675765676388989162472347703267569782643440631320885415901974635195411797279698222099709831088211654177418644079095450283257859259205607265753189313525860099864729677679104437576273455567538432987543107920734504207170477995318574653493067468458146750894100384980070098168732212560325823946601863730694192011985101581111483212161026023949920378679116459313222564781219994933813945919525912728071634558665902413356671887512950218053024591199658951173496616771500787397262720241708899861764187095199635276682678378975192203161420827633181701408229602815614246964256911692438673146026980409182009126539684833773877028027767895197590743267679408378874523714290676431114579635161954137272366288741596834994420817643374236629258822900341276591779624357569529505871299948421417588665198793221260366198933664944355316149811960839406723649263577632763227445968720390393756231163995120690316901121565188403590192618804016073382578296414023195943579932149005713729292029696378182263164105154308961377885808699492458026669188963437713002663960226686232608438537969129963161228743294060352705501916679852259714995104987689935644555992775824412991020736330185728601293933292226724978869506993286628337976155096625573884322000278775448373430788624450914448822960742564088585704843688074653980584788303062083448710616098936738701622123140189220166030066913344418100745506968327335098289479295588053501788266698050503790885616610503678547708346848116371687731244373793628365541128526386589591743580852964179215086305347194247593373442443042044224108237481593863988038751003775699331119316987828744451366460509863053491572675818740317744184189130701417292267431458309385265939089233270779799702809784836172824244131622070314444286820506960880890435390464641741477303593222963840385276930005178168997411870918222960199712702856373229490861693024140871867958781271108216014683953047229570161377523717381794271492324769313052177161613539668453371366793218981018068810415432683541671072194696462643801733500710847120135919365570279955671626378760198631660564346147563139558286892161221877682240743292678926522487782535921540559889590882539370417991407640577067685457372963017655957520682760746110114626010940793037712404571657748560168330008934008956408297644078294610186710856432824535162622994630477735956725759353088852518921713534947384360155729064289045759600272680199690587920610685277591984318909062625618033383461102318287)/(14)*a^(2) - 36605057420874971417013986377335275687310163076170904173938050269990213562773433618868998137934958859966239881468720055589620330084617832178709573368946271246691018742797939631157633247778557048340741750593652001558469103597497020401618201706271799662260460784722886502011074444527653523712428225156298585296777433793538459333453725133184073310259125356994623989016786350389708308049525947305237899382287385200297915521602068745969802382942980629506946198902190054347102004311130974369032876403202992547477302575407533968005185199524956597941482896483599254858008487916891628206620310391043712450057525316645435075893711287870146428199660247496718489849526003208520480524525216112176549521800079324388322077330064455043139239581999283845575791935116781653347518311062425347396130134647857993314918380886866380355889842175982128059625646639722181105566546753814086669629395014134207391187866028498551508215774190404950006742139105254490688083920233131952482391396626043042074540574684500267261986699759078404658128414336199066587535806312161368496034051564470339636409702799090338700064754594188402633048863006659702473817271568623909491976998398702180353566850677994868802869117316609280165159659400685290447353742642278235604981982387592411639252645877647748151161872819225466696870831773851858802853204301649463725487180063312162436468998089810013222271703187572958202199321670686729502260994761337699707550687182955778596605181771503260598616953176295605868149665330864973819613606872662550495363656776967072471088555289522193718275148478998512496437796336030867221120948341344759570529336941067317638887097868281284403238848687550611033695511912267134608283634908651256135827293729644686086309104519363442651344076390314237347103378715497198808952875540731579370547411997274671473786529707497012287342527153313368098878408522762917219498480489040087727689766710378196921273785728225984109741411419010644176750994088062216756451020826677310210882325160977695036871605860262916891338535321903881602877018435696286755289382658932227665489783667506596411557811452615829441986405001223503039101418065479549250295196028031075777565014348804877912321462375755884113618769702939212354255596587610954865826834944719236958962311916350756230636653380452087802516075117703881156907703501966662624827636329756641789891385268199897317308053344612538395248087305310384309183049891122333580752628929704769308357263546497328706415484447940771235326920992962070180403934473736296962527844378352678360877506838506848115218660310350363090919099120146255717057499269554684248936284116483422380597708694797094816428074718129162536116694929453394912784310324094920147371529620968476916393370230791154941412688868532474469498244322758109771967932275219517916781275311395240469901498801851737141836397476151085375020123495346360702662440082733366205238121199439108858691890282218009439991535805341299605330932691771230380933056872420241050453934610628505634993148563490396264474884313608431211513115747261360432379945820930027722459142067938114128619136809542117443538464550020918088537503109951797912283354864266715745609283350696193198930145371412013626492551765983081853835724862700998408845128182441533376619647791031439757135887765084455402281077467909904351457177349571300756688346019523387125606850373374924418564906817708441576211403862541320944153946312977129196646567855437744819469599922697891092146300787484631031931813015446404790438478503071335030709541102059913482799219391832949829313660262011522069606262830542016610459082264909921636210259955044231173868839577345155319266896140247295368038365113881742168103917356101006612029091760611296459012521662965555093249287107449554307235458470307402611324896733020173476162869922888400930809124338936303121580497356720531137268888322050221661898290133820266585005257988011690863868016401851271546196858516308905782490365492567642306545233902946162793570039573282288422467001923884841038753961437906612207475703563732634296264242444502192995345443965236265536776132823348061555456379206173856153792833359315216335392443493439618372504426260007279611424662157986278687258870507173393387671381383918281778540009990341014564097829847610438976714134694739568611278914554545990573799550667426693303894415761049105904939091622007469446374671936804186884426911746715746472882562794718409301214465842861360881878758575336604507038283289133476649956167535944702366654092967901731536587173219876188959716343495926943642937009671602554412263648015729472138366160092378129604526712686658283653985715155606979763059242580937350414314201712729402233504077262996284311630374305333159325632857440298118653190399789895070650618990314788531701185703078649397517134351000339850393508475442509597279274197680598147253602127136879619144564574113485545427696844864660854958239267116268070749269169070309467321743912323056006935439071317384725003313717193836460578600440112517805168794674544367385979017039863574977619296606542143707403794182992113502872830571590379665753396459811060783320169206471350567386909638812405040375373298347222408781406184369691399244506157832260450985391707465730452044339502446404747561713105685445174878149156634444373503921684084468155486462025746772241084298887275236038903831426914125955001950180196011945822221518688802638551054327759820263570602250644869212748952415223312149337551168542918892873390573771604617846996894549484153549828128682474682872366547331572014360891005530872357229135259096726763008681070055097682488690745216025976769758653717179860884033874696322632294701833349009797297194785370278524137696726992114504304517456634281152510677309670158991675422574134652692470561988791901844337597060015750835711375379942726170353228938164908968745799791761021048303025430839985839036602765736044223775825782592252864580286095953956737665955596359128802567372538719139167930950434262634241234963853658193393397781027901051180570619423768489986069803173638931066990586929697622020927932211126589775709761421139349211733039245948350419522686570041476370451308239712593786540016774224985795415775457278930139328282367975831670287058282803848960861779625173100297059313590223784319274306348214225279400863993920542750058676572404642000017935089697896427498988395408780547401850753908977874417048277681244406002407983908890240392673508018713532718046509280021564103579206748865687121157911007911670734765493877831821799516013889514954432775400925351658053886912521819012927407263828453619510439186194085715560999197900774969861091073997361068762490817263469118273733008133690124186358447306319952432917088451428829408115296484374322482391571616986354354076584908323563143981629175594835949330872950307820116018247889477621538174495691237930039663562669013197808464826456960566601631616273299708509758500175497369263201607470876374461433229691095411644076522383224098368959773715082584092197502688650762486189473180889513884117594461739150727642477124229784003771086233823082373767941824365768464296134225859558322454104833752744793865007837490048029814916715748382039320097410877738027533451501876051818218475330220216900181521618876078582192192618896388802385982520115242532099674156856104524286348875906685432416576024676887155885355037650425227947787659194818538475189910306575866665655613180048691552827656283204948285027941764499486204827239361577671356233169219221667004733425553222219942431716602233424347342646249339272717795606182349089022129839896029413921602363087134642408444770206559145818265721020608084432308322263803308849001097185077498393034454188939302660350844816159711990499468902867124562137528359427410450391040056900219381556903328802324931298396256613717295467161849615806369173160070080278291880206873096457362190698381786411376388003870286798132260690978260332313100070797907027344194000063742119616138303750006341783156770131049476756373744255200187494464814427983557496733404727684850962509038301576303054654880136751302649147384058812017710129944287766021431182503295597501823419092689114537773993361620883432855796198294692187181033320653100200728892335127381419611785366816147436486031123700701468449479708976707059543422747142472370830335383598235196849940784898058902647482997435407613336655161070117562655620555686077807052662134141856178657344100762561077460657518773363842511871809485626925222233649576007519073929093523403330257874135342559692842054048238348953752167511004234261520672576659269215805656654209409238763545294501478358575969643695230957324775294652003942988178066251164276627188173353475848271622122217890413860415574205134779296596434009619727950286206712325442165669891175932965845752594496151159774525871299954292554230151270794471306967313042335465150899299112118211718792049227736877723564145732691140510013469924630829208968890763423058234631501832493024063651619884039918442130672521673961383503513999881203976620804754740088314060109355168769375951555393509823124700301440918479181211045491018677911519739335299699709859541250740926212504695930537849468591305963763358818312897266165195185370180860406209841951377339518354182422793885107289222460594055927819323671379116217399976438685666007523130022122796185421231595763980615673819322962608006051303041087015894916141516086949418735676554275450583052775225154702411735806228221043914506050073929889994258155010583231887315164481412243908230910830222146263898273395543860260596814920417320346472887487227502237950121220697144917492263000131431286180327017900170166181137812120782718327971322481207970357802223265119137226367410335463485370991865200269859669840036642785779648802163728445409787734277955127771144311118619534274170864294551871236572747602370386359488575443754882752304614026951360852023598529545217447653262337388385148829791611284313528867325357603175678083376052718242764795017590963991674884514686849019359132424962350723294009646076234584423245475148258544672457831531064041263621806441614688087575932846278836736691220565355015851266408977789086286295324092737582759953724661240812531715104766733014665929009671101209506954967320340943064878325762593364658512789129563106261515740062798098495954039270304422862168605141723363132416983508042282780901063427744169125670023302292478032619421136812794940489327511806398606128779742474871841462695625069648351488340361079245900877655579554269439310704771800328678779716738574877662558475566438494422472807307140529459893272879322890729061026886615141259778921105942324566596404174954991379633260356758061258103834924452022706253977756440633638138288940606507222620515560005635958554722276821259360458515575925185677056524967982331631337294722789440346208804488341960555765713779695109823383821660336062765143738684252249989187203707449849709390423514314805861057006667682973241157572088567809348084297514732188579500378486309008197477269690609307911612470190572488510239064500228077495125862478618301069027019980553108572496148114956437209527689999174971805933171716498434807052298394240234265914310702480616141447487367516868231125454673639707517365820989685132583213268365488202827247102838261968186539479790219837720183179289577558452762081394433857141508987776114306740854882078413695122054593745438973449388454659909147111898342871611971368572123559475675406504959030385961534085665164512261774173976521117478964618672336596221917834984313615735977912827955656427165281312093395988282564011198917266877229115848206527977611502121074871304286350819627311657401146354556680522373975795621287672982817827410959912620969322099378992566158950750368938807188433030590714266121797037146678934314782599118734146832987467606005007179126174102110920119018372491362653414712084245338733127053764061562991009424704821453504213858167667191810274169341718523965224057324857547381160592897859875373416841365009746467075982050456158785169813720757710515408241889165940732271729861613497586570965280563428702427057381350638801755491355055032922190404906105072955537426464713797669737469669821059293139890131577367755695940429073686149471785430062893699850299794923347036948859298810171579994693230326150885153268788230305220665211033160560778472312876940841065715438171107973744621567886233324443336468541900251068076255696163582040268444373475184973178083221452608993373432986150528296442044280910049220795137477221023139025889202446445608389511008473024593477611884260505821631552389875770219413397310760009901667578790165304620959467115081178148437162461428828998784419814195546986476987738156177839380692908080749213983945743269762440789147339917716258352014536970124512605417135107560037239094403920261753780246354340067147549955860024130230501871278460970124734211266141350319540596512245250350893645335594855193566167998332587657190227395327767806328613088392583248024259597075145740324457069920341738798512814172972124724871105908939894154871845074092414487609892454632975471517871734329648753929743736665892038013461385259380427526224669390476803334049010334514426582702423753448538148467257703263504487668956821848657575227329216450836070568857996131014910474507088103204134234283287082979011072284872563300300744246415079076405379579239933567354886769861447393648315226427792181577792257098757673682847247215212811078852522090062598955855787270582966571926489892650252763819844004418483775140522534232906232501679897960088968140904472992396831639379189085429610534516495864552630669643031271533304700112707675055116078969186807284852264698690651819723581145582395887686122794798895512607839213348165509016932293712758682778123456036907620072782882181837374521713768679171087323348137987290229208240553742346572589739689472295476002511020527724473149958998798615692150229199037780891007934956965984116410945861228247851275505874236587433050436227059879452639354783381398196141222760492230184768639538628037103351068340276209340790824270177143622183974288702223298963959614899057444064631037610241343343105886612647021676666811786829942998830478947390440953673465268979143294506476908438996101506782159536765658690426347822543673446516795726005283071194904917312400488571550851239888592068686355951856929003998760105834605464410112558971387187084416331544280038608341247854157865756967729884724483779122014202517618736868830569142747050816647637913457604504298524847176321932511063964906330983957789563038013765036186301298191398581935231625337562496136685750991476548321650194151350313089092153381421260039593173973336602082699431412343263862538692546954308488517531069676981933753515001847426105576555030417642555832896354973363059389930687660063179424946340318946091275586261326879357354064500678615688005091919056940630201357681278296832392451155398625620315025097577718362463603057200135027634910437959636849130659164078169337171230936981723745401220925356888659896402997422398085223014490166132956093258711813959500686641159920443533707367539452102241993677379329285394649790229812685472207269290739431939593211094890775724335437403125019546356212400198332785153878258820000744715476246791406213861087572720968294928568561153104014022598013576715722730088660788856783804227522188259822010960716389692185326316409179041625022317814323030243903032941352916378493407925387584494939541719158465755632835260531494133724954979319400945567024632076109015432385261703907657849312427989570681720440831418137926519512768843853929760014506296446206120593509908490899301269140452413614321454241021996344457355034213110843106172787939032697379192673688572743118010920970063503637463535633141482532772478997946713131411365505379031106904620550603531089527687164772361704106333989642415786421636671778395167959216520291692596241759481602877408173226017029508992697525600776107573516955862975822007250693286947074923615922269232893918116314751998703836905622332275333297774114278599080011938643732991288158936643249820719183603349817365727682313283014495625882580927628112250309572436289379601226103142573485636187525088018886510525785792377069112199269268534653112841749984795940395100981003675991100936866683414067850444832484735032395303465817638432621848147865341354429719656350561520977492004719493498043606598005396536697731978287644702139044588525941862365071688128634467669261003247838701959673415524894249467831542751077166463284276910438646097689411838362477565024657896947460172444751205591373909477506019130495202971190080095865760201206989079680776393962527957309744164354763076410761485133847751556045654938976216498089742008344800663888186784106187292797256151529373946564508984106770886834857136416491580718862405395576814873394598269214954248833053887909481442543688396001982493360341958536002081493516122895697543293083095386114849339707450604173332943684018390080915837501056049805264975522642561998644190097793761008082602996330461591147744899985495623875136779838068843550417590968524906459706532594247384365789714174570860503205531473469777710632723387282536952170328851196438063841188472627100970599211196261371430407463020322579846317314364187871642134341965027049260424536272097089366174207915392968020973724434166047063617587588195670985762289123876666921867031097009395631219724835242494314992049648680725336123702478891522157943860165426738215924600162912052535612284594071717155890715506895847536786771995518554027019025754600575485570050440368563241162119384001037196225488826777733539238101298692944660405751389682036229522002878190119378312999641880601053010373701331725157075423432311327366476336360834286426586710723828757060687694540895106787916587917123747595535443372097451263149107241280570919390968645741483366902666341222513684765122666939337004354543584387276043022694757712648429319805204782406087333046094202635550176387722911322924394859206900027446297251022423675065041170745864624418365490087605354133406937935651264401659839161242904100095807471505108055788078540786219848966146294330077903262073508786839276748259648333107866160310943237829210089210458996483287083795647506096263936386837069473307583810785112721942322266054273153769704723697214945650137669960777959433671527843899780225195120110499009272137749438959332629799918535260962054819924678653874081956653120661023583520154720107327110801038215224905019732761121703776080556138633188841786839864267246565497458770360157999323965805096108141886326556280365682470007078217552901125623897281914333420009050597213107068759949499809978394924109216334252207144755294208682163237139141369926843889381715198857683810099256097294764591881404195679457572491042977607001881795767675909027485035711303458209219284208474166516691277248320995883820918079347000759904812813691596372406124207791127523108499998366403629240279397665916806627331757316737938501020094084432465415547070147915160726772169950464896211236335677442809906447427110816791927852470696582310108944538959525975044109661053770868319567530051216123190649421800609156941362259522583455525878019907265530050368040029929016128484800212972092750275197440397472598719137081583416576262647155939221892325579625236799026171550962148601411928035520212733866348718421310584486022429228181998953466716756058604417178284800709779406979540505172663554119570098233957046659367125224132510960460813841506477382801217645535094836701108828867038922577262611605265388816323454529958679190692480226811625708113909125743541848977974335240271074240744643454149442093381558750026344315403082326866772064379442866245434266926318248498668829568297025597206559048785471161053853984247834848268794169692138868142000175445308820311531045462062632729625336013180557484268582875713173660557176648527587514428816547039764478269497156881247365639891059157581942972654689970912913813499076042609928397372961159891163641288908170488778505844273933962420556660424435275109335356276741030044269235118809091682042507594385119659274047211914846792637495634880759169054639564372399873519580905310110114979848447909898181926214259339110737421579006476290993346685136558132980965928845891251795523104293814520903518966477598062426845873651095117210706688942392034077778401170915963015396047463185271027311013833652763670424918687531518918003961965656440534422377693795291849692390626177047241854483007064119108439863857659833182315258964375503676519449779066774527548403426095649767871808314273409250692362836590376185439294881077663222565314132304218497651544432769189975502113477921134291279318270169226078347796755385040780089389742381557141040886503410930181237264560480421964419529293195799673155965778579026379840800261085266980589658706354654952565363085210215942536488958031285480680347438523692509601083308479706627473338320249974088969809767275452532648995557855327033295577968676362630681230904881784508824009782538835664189281258067870004595368878581551510327422792325743761077999313493653302842737113561908618124228706839145374872007406080918198204216554387263261500251841770672838040465311739397804871815102088841270656903436212132842882794758328897201612755390407184052362332396281095908502692120615941874098872909439952886287847010266321527808175040429103800992532607724082407879757465165448998550078341759964093594868149507532456502818092973867315652370063302668357434662735929545640715455493503399234695150407713720973210593728234316094658199949250337154720028735391973177152939956651648362674328025322071720838164345232838559961539735911165494917645047951280619801788782454843074850171580235807780623926921677448208461126198212175256384881036258352625880654828271461595676266380467016497896610906681965485503227267578633812535901906683832161473510830125619737105341433248293760197060370789882983126039401257528255666321472663814181689084965527448968323989065000855074601372917786228391926581933388082286114930075201136090161262730809467921664534483965692894420056365871423884579178228027306989324442902285602638127226298009111900632820320622815929257400934349271989070790534060286765623990805605348765231066160680673259164644595565607467268568186677947769716725386819965887113232223244938673336042268781397208869225124763068158100047928493778948082163113983253820269321861588336334926238981906368784823438508382649691645658850746441659190411901419105131717393860727974250066379043235081353323421112326874635788050522024946409192476074605367920122308239899635209332264434829583416928455815789517260768630286292641020530758034712591053041839638285117442225014767106806645158290841411615211642319897891813040462029100730263640231107561040748431011152935994477889551030206755960013545373415611584131138943391309325719834855212205541414139078137892275807165602568044684220831464905461031505059515867586810568663835697924258105666054453998666545033604860402788685539381161197820456324380450450478574775306261215254566129595901061979151256505618360472848038523148917473124687018222006519527268079851722523291087085672*a + (608248792815827970265854232792577850689693529702407561242199972372171010770385547497726365441104096192899947698847606708754738063666310531046574869384799258662563283361630979497383123507224894151214209582554596755210459396715419648531511889538684058339357575798474637348909860878203398117019496481883906492853872522318271710634942610159709136009781891406794094894707065560725862000612056777362586908152032483385194237837145423768773231609587534443649271779481784306189575861783802370302037383898137692556154082686798781771066895344899255618509522025474372074763558902187394739453939875628483567156938007862281443832897049336348938420659555243211790470394575084105854015723574877894295643674033279625460064727320905729851252273927211148511564701196566195414716956407223688535279198831961483896894368354443368564599076070388659577745343553239285076963368526451329306664208442775919242392141410017208506253956153847583493979869764156186472128974186245843873970605050623723974780333712643546943137085543380462374418858549105953738944518530831029263440229258887847737414225064000336286105500548745978414632775853331554955550190257494921441880467903588018482901544920374298286157867912555427968594614080238966076834448713818815203646092292165699077314325390422661858552391796752912076380885807628794356936447983254600528374394226130988687465487792075517266813418582743132879340393142621124896717488717800741357726156024514664359999702053862227838864750928870593470590219771805564851710169888869398410642384262115656287261063457250642851352658065445948319610194538304542255881270660909299827104502686653545383356172296133922253960847314074809396876829884139169764809557194028457247775100908708802500778349417888426781871785294627665338335968590270040820303570854908226393149153112000716535085411315424801950351904423485904016116079335401744756234585634554614845005787230225726003780651819384970231749605944816376447268770751682906102465084689719752422632468109077240000251124648449828353518257948319737752087709166282841955036510630876305962585118297550470020334341386743937367110236463093716965324891082817835007429823126532021259421508209075755782892200058722224021016577096419524498076018020916854212329431063063628435224613902952445198108602494203879701308528664697902771465444799636109881064654408863083104326948942710000252108022855167606984372463672427065331507965461334292675568710884702020075499133371534152043839121219701547043349051501844682852723574589221689473442101056527217548110884888885421020896273898251460070383221325718360278777956460949172439998348016881097764790149373973799697691075802588473111023552414057364322588448448835676212244258257138810767086674470825058092759115565872495308399435268538504390404337444546890649143774448298580032793238282163481171675901120316154045349467800735582993970778610158424968812249337708162502347177647813809523172605961842075946099426591994261895414765359147791014432036159551239191996461439665233586053674268517766028386711274740450167414950741088311678346478351804895337737611416570081173949821353146899910142012211309089439514035051619567380497784059285787081860872521655940546188365779098228719602808269222829951160405345365492802120227263293783690008069411733183596387908215497475548713408279991395678376820138193031224709959347297872336883826231453868173940318861518151356725002114820540238860768878445837950394713451881301107431948993396305716813439751236457720072993213274325105840071580010613719838365884636810954103394738173003657095274383314639649926888283605607411285862607659516975542266668006517452244429083176822711799514194889664719646721128931996679533600381421187630588345962346303350689845074368516555879988577162264629359606322423061418584549232292098256341668382913864567724064641955317155602910797035817331425371036005437646170317321981376980232426008906723183301937177207015712895574522362375128303572479812115116988433471719325702205481824082426261140163800600546152723920903483740321795293174714697896696594612440477120814065180326737334729749272255056016143577656300330022961261808479432255353347773243716563179983567654493086623692785505498013504973492157288771625623417271357291265289747240530540552353535105640559539951289271040721344438452207234956296957342551123711609349323233900431579862903722029736712096716148738622138324528545841965471921156007335804784724152682278412324368113281619583552739586499004281163917811230931754126035513935847258815592728855944275727544882954382230836593001774989997874851193764207163638658037317219416383078758602428278358948110639965832148577256585751714065813991013269980425834258415198811200487621489546380376573092382287105752326312097480415802352695608173241126986287847184228442773714239571950238233013761231435702913503778867083793918649276525838500464229869220043496770838304068116450983783537832337510551320319011521805319038208227809023707363445009633319850559030160478089877706195640385185415565571468899897963088882412473643672870273387976658231893090209455054564831360085903782840970614647375444099078470730622065818636911268081630928599398988016127002218603601028265295255225053586140942024741012125242221394454022658451203258391700504982329915370793026754922115155998859217681012406061565732441659376937085092471598019906356084734045770775445643391329493208536024436089069436317573354200016526174127508464418220803756044495642466963530618466212330057830064811989323567562991266037712122565264461597842423250826561081584247886130022219123674818381974888673120989946823778266520780669738464102546659349719656270246675496212931120069306484262878473817866180807560807727613718222621631529687068179393514871717383340287458739037906402985824898428553900469781846285659151253382628277700056314346435447310189665372638693230131153795346258748067690473253329419077175663708527303669947498860003456874399132567701183546159305806465423376912412738993516403150653588883177515914349387115987465362125856631311432301306994635891782311435135223460944283590235800517334399566057108146074600633233016934021903901535348776906799680604041840855353028248652799986621815712424148480830002976454820846149885894115301387855169536273493011414211290947260103532532101637072689079841931450815634536814758730242077668652510370566595488455942009302702691530294821849897769107006515601643260564585894965040831520342871503227565668828957967647858886860321659640184208045527250275517167848270229998472953998615589401308396142303842703448950019475536274386277577256100832637613414449076084160384180776995574451071907707733045787768034006632112958750522313462257379974643591453614357853440432485518997083213825000799747727795182035118911238908937009492051470760939759067815144897155658560217282691504483229062684096731595318158997845904535537488889543260916303457043464638927304549760697989742103625653686964400632027712146634881848898044917401118303535218167152176025980794977386530538713107213048478937990789783666541016337326780007100880020538858801347883543519009266640516029531655825428970825854805903641202402922781064341804535806136205707227562926636042059415899840531524320748371494385137423496157138638860441093481817546939810475185216052128604595355929226202196511478607375860175765997385651038500084358436145567927527245315431324806655102787858751267129162049714511162442201092453353710203196979864571626213518793121302719922745040989387883035528222544971818801917967031227970046579350863484784196580539127031750960591304576239414765047851384566957327645592363473319409512394578343370887620793573998126290020813636886507526881928351914641671537405608818155298426424644977058539590147636881331458704624635726163957067861954687647119274847659976913655753947483929595610224073421700042408958912643085688014237485419105053790060618264713119691270384575746909273021437656831687182468195260344547183786946576221171356459783293451188083008955711013010140578622315651421159243043135896276845511002454440048066267583558531077369795610699781808179623702234663275989538198198953210980036348836787751299209760244600948143948921668627978494146861559486631727752798954917438641750403849871662673637487559280163573255052557096940014309555577799064287724368243913568644416405007821571455365652674234633395989334218947485155614000173731041065040100145144440325662214434431941274226641097556320514552986784434480850819065631241551938964984165275015791380210928014566584063159664167254747510894592684325955056878912617394109431719031817590640143965919594338188652991877531010054263660609717788207119840978094582393219159223703161774905784800126255778751536968872252337440073272068304332570177141938018038382119623051918315485517071086582189928213007875612449404447607344769587365619477374866243192322324236054937502963489864100536034090112667925984245530752417114176765126161762754696983757839241888281814316212282694216440560608048602052087170074440565336259647457918870480560368828006579168454903362853376920195578260145994656002380537898187284962484071139614500089146883599442192531216013338315791683875424690362131606952153516589162449531458349803255433710798721422775043925435367026181124342273204991200575913549630586492117910532809037235773276447435976827369581866782693800411365264654138540442441779337879271726717104621997470719466432613472643265333665066378613718904924239493260937303288502965319642463316349439373547762704281730632350517209828011151221911852077875714277044289786148597349192389218938224183687696470411722861526415312056501301037282924983146038095834469478101839757078569836452897673252823701681337203198769102557486198711913187439929805015761795321651650271891725836672286167844009350092412014338019504012685293340180037508913079301574964625643494471181908418640769921256989547657234817039212961553165967696686243791874663689495261253266796843689843647006656060344460560983376756096918599747388754500975282621303992833866464298806188856035860333300926473776147572652596763821070733603332725439331961981973980878721006925059397066108013362034124936148339343536359687834781775333971989977008629528396788846811228273231500557961096216544731145025629777676292390301803318703235923132970647078871979472659859660486030332406655701681699066132209391707107974380866599746914108137180602873474593636902448445937371201677185831563681686907161079621192188724548702336903066628681905590254980910072273748602303923902288533105975324869749971984044868153764412422618776394341113974381490015530661169523367438565982644046903853318545631252760360187268647226573297369085553061575948197412369345377401063326690096797925409922788328162465851485993390051946413643850871514917082161993938946238513957112777739229782384383769650706866093249217857978058425262145516665372052527718650512900188174617783373637026394203071078777030806345443261428437519015598994667156745736373641447027002098187376526284337337721748749411302743947023392236811401178720022106710829919317586008862522200889035400217122888593338380809000104079277672098693743625970789973670387594445068275721689086827352184681519104480941648639015013114817406883800233533362330972934044933473694136232110832717657168957538886974497559802576415119902090101313549150181994914670431777354538036907894593768710703218245159672277967371042519570407041185764145417800442678070371941017630097887726466900820374304352818975525017663059795262645503725321663029860803341716106582306038141368171614353977018532918853811378827989215673794906977634768005537147746305192914447904960258458360163786504199171865296958602803018190973783165011572610904296125450445121237365380769227194105551504420725961558741683691017961027622453321723506846782704383032794655482407226408759660158740575148557152364530641513452200299650532047684328000637714751692663139920503544559895828465158924703813038848579678688199120702288717295249440901418390766546744535141341293220888931384137827108481079401319646927037960469530543281023067853806576897442867325083065160088593301652638374484416902620910862444178157149754670596382635103241201924930832285676933801330323444225186999197697224797323943236724017444729000810369469056097772643226645107697733057955577205221781376959781965422852792198146956591279725365965923903651793245498489699051391012772269067008259410748273417139420139352773915755377903534356308058909547086861991616481913959535262046333470103028971135232536592563969129534553525017809190284430332049259347455956169534603077859843211920108639672645905010116037536894338934714006868404144578302524302162962389971167288148803054416412568863820092243638808835558324968894568680983120705990341377311309857524434446734917262797887990895147305126788857003782664597668758149330256652697247228630018160674257653772048991315099516886775640726166859275531476273294568368500971419786814977917117415323022120845122499211874149848561416890669956389372814993347778253889376766833426617405586400787639097175264617812991350253520811636697272801226454510196400296901765619156095560861077611616595934963318213248890320716727309268642271073809839735535176211820186933227742087988249636427166201218432965793561686419064141283618630687236710484882277428157690686208576477886016185462064599562862150292389515205597106809430998700974029155321647374840318282528638348595032931593040846525611797117536368842311800307778844868090606451410721939064849432118860435253624197261554355956007707525748931704899161629981017456653969343663528737166773455233787354227304757736088838500892083276777822530612711450832652116169622544408440500448162637722998924875661814702351944213248511013641380870613437235176041883703083576899181148201737766190477650215165920391592485184572243313160755833345410285237623109802060915789049412291683890518829508398830849659336979117380896936582221470581058638806756087939131105774460771389098697284013624706393517765164349422673937403333948017807667987764370932431018639851575006752144700677006327793437848141951707660468273874520766462910129489737425833463927769171476403683956775374554401944058206140239419878383893948070583540151725656352860634835617363602388810702957186532278830321068288201890447315479015084679747018845439922650752235102088897751476078956053651358302956299403492613278834381392281806279800323814896599637221061369663641201874977739693354023433436478239133741745105430428349714572200764834540059478054625924467251411452381212346625516391430119138633812824266942920185791571551477786261743261399297650167319811046149007818889510640692421193738345977754316949794988881667730254836910300902848061455181752382632461163023955866614256397569980056698246065370574573471767991383915375032567647539029356064080957470720784272342811746464656568313388902725229089136424349837788424837241551033464747505701979093198243614774479727163379952244944240773457032261557499836005338550166244657959910678291473230297583921751512718163144660608857318167493043074705440983837935228109679005290572429858145316861829210580457209912118481244416211257546463325782528501856319588299102304962022047588946270720868782701734143273520394567682386584000904557087074729226240974209358799852929277520096492722766455925240361449460659676669373775222248528059190315926028474493811215105042389387225322748259059032187099736636686448727615256431000127877059411359944853353951952148779346958412084533511168376304521841752639327970728367384687812468123253580084077299534277090923509395699600389318698941729091305661891497912904596182173222568708893559994984567305488299199980845207901742087693101980113987696078051253505573340566254382426768689278349009506131982640492099812328259354349918930049416075803744682925065637461678217659769709995127652734117660329595331428453745726147026867701364416056642555727062752966660469148620069166806359019403281832060089644192674763406162969542965259116404946303131257469436146859173604053801633560537647675918511252815740109709585972723861671044880274293916370095587016804400224870042682964467097091988388759300817915892273386194631942233935154277236851323154116532889769938649721843537502622213671448562869440205683757362119036659749406931479207627832086014328497861320600216789593834806713510554852805775527951210460180514055396059474243352397647467004136478214066848294943432765193488210543795871106681855523644438607901925435560372755956722446406041289376083548119921625598160012883757551774301689714071422541525345663379618197369580247810107553143078297532045201461531546771748970345639076415795058318068077674175404903242497759375864182766374690168312445316081690381237311266052036222973729841958889877837145528227547265310618961332877795668174339220489537838152611363079568654062188153969759235070258119091232567091481307935762917414793224019925212988922662067338616979957208606738706165281900292198247183118066454887369114257859013042159079483353504781955918501415359181732667765652004778477021633549911648192044480051081826612097921700397686019029165285183128080838534476086968620509641334197312174682054060067899065173300236424587059695750885566676378773883556544133972417549641671243042040173452940885100354740290385827959945935015421284329322997678295891097861345980865856871658915268076484610087513162235499338197994607939429911530245198301737611890384414350382702310591743632894524146494047823265887593822267411438150250906657468462336563049750278837975249838821879416010168497761613826338984577095248897277054549166177573161006304802959203374653391505492788136343380574201103626852940503821130500910391772830882366385833198229424723138945428683336996113751376390568550862951155798701999662226270132957791648960840679983413951553964720659419043969667556055507637990998689235887978121466250087409899847783942844613476923321590657474778482233456855047297607580896002887870906387923423643040775119963683065073006652700149579673440195421418768690204322734046755037719362791553606533548227320885514527672425898571649825969858967096082726338177112036842664022009940229020035824053950973210288029559180510121859670033985101060585540085979659685805688051914161619106676293916142577486586791454900356276779533136138416995389965686078972028296883088923014972336276784149072675887886548997752983437286771401843111408970708930792941497524372180260915982207019893389700846978888886751407536041947560534299651893523409139355535632309762594103856129623477731033245021753687902367435529622889743778331793143192425437328684768058275673017402054903776737592707047243713771112733098979496938070064272565773646869239786119989406305339768743266321822025870765642893429066516555251411647068314649604102564010070939621977368136608914184032367583214551895710281929520658463086186246977789140304928232689076977091060777034174304071740753285383438748917761309739890266351779126069851818041130811132727408016585973900363091397119810639890160973244775715061405077424483911227156813611755682663226552544115624092405542380317950861154921905418178324560832110620975222650534169749135393559461767494236779621556828518549772465013533384536948847690948322403243013286997816282851439687724903730687294954591847466734811941920306289917029622916622062538157943542969305139110465551635976863234504257718977745500660267010559270898633088264810067624757302313349368368230392833612415794285924894939299987633736960647175947794674189147268428212770721030300740093367958132777965930869478918584312467594222596355538218891615326189942477957437316836291867007143623793016210730397140155341393741635397777262376244140045729854166594803580626473094553442342630403774562485763015140085810575671731403135440549918750268665130310513080175642498929814949131521692264647417875492714256711304032382617478894962967779473982683634728110367581442603184270071015991327453981276409896872495467825660211794784475820201668006472735602440833460402035649018349751391543933127079281937753819597171024406744767858259149341694324441670689365936431058896982965814273218245441097117017059990519523670892409049673846248746417997220643095794828049248340508444596806013806580588940610269631147525586758632014720716581680149349113856890742512226401186483379874236249958057936090181665191470141452865059748666353656268769658101027836277119466488673230998754613318321162819569553160738990745441204829429706107286927332205761109646002952585051205907247199793305067064087867845458271602745115201763304497671739132958943757302233651692023294597558058172822683417359622763814060247785605111630817272936195708052311819614928873300039536069121885249280212886117348944868847736457979930960189317217887415779284022999777366654475030208798852441658189936634972931861653377454144168641430011541265090186378732266627266862862776386580014535622258867783579378585664377860111374716128796574156041508586695035260696380777372535776405325622066675841102831818567039254055825916892731490484872584170372630545546533245024777011072095734229373274441866893523259308635737125392173926677029772254884248065519926704247797669436340034776105100487691973239713742449881543423607316859616028630347742450494990935755727265258541879081433444054953163824429107997806343103859575039389549798643548838712533340180706534852410156561238355388193049390480366665575659456621232815363158190905851536236745768350678639451328585004600755645744499034007150551920187651898220069621595849828703093751188096946866960798609031288979845049878824218255258136023360488208090395854242263211206941439286999240030152658380089364699676834333376017836253623166501401841136207324599555301316835569211054855771536695783524666519936487264219687756926013863971219387390990929622131920088794814703058741604080694378765614853036747427137063720419612797409467045739144090182997924856604555263789367553630748321055415472934104884558046714004642786727620513543358242227178435473268478490613454055204758588294249396567809873165549721051295364353205861990860052077080890698820765888660272044217837233755285949307034637612507871473517163636646718879978975956626321040588155192169698280462324133550324198203144201832619881829221185868885888292796205168533283548524997061100431140917039243969307846164433089833571849417161605689836476174666335823239928256670644721914216637736639947066740714432427320714024595753926552175983635997408830032353205501634475767403515625422308129550417645355384237018716860748145710168334734200645632283143674934071086200933610975715343711834700423733129133790731298944761967963404894130665749547126409632232767520535826686154635780186899048991683919332322624964174920853792015636756499318764274454237254187532764074496100688977887254146141321414873091437594156727398745629640472798253214252854268689216705319963581841173671911504542372923049859012319141583693537969074595351604595848803697399184843320464973715097015806879632661206799031306856053526317963716827358403226755029141961378863821029301252991267316121789)/(2) ], 102952955516000, []]