/* 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 + 823561, 8, 49, [0, 4], 19501894337558159417628591379185664, [2, 51473], [1, a, 1/2*a^2 - 1/2, 1/2*a^3 - 1/2*a, 1/4*a^4 - 1/4, 1/8*a^5 - 1/8*a^4 - 1/4*a^3 - 1/4*a^2 - 3/8*a - 1/8, 1/8*a^6 - 1/8*a^4 - 1/8*a^2 + 1/8, 1/80*a^7 + 1/80*a^6 + 3/80*a^5 - 9/80*a^4 + 11/80*a^3 - 13/80*a^2 - 23/80*a + 29/80], 0, 2, [2], 1, [ (35791717940024214631330732147975207874738012236561707143000466896197528535527190830837108287117913822465239282291311164544196776366154161652395261247480810469235558598015895500052373743775397030349450939845585064936005436672416006547395634684502643066846968184114061914204801860560934259431379822985512682836657085136707169099928527561408053176188329347271039446032012121745119674761760033537985403974594021224020518543454106788751339084490921599887705292977562006303418915674822757005008932357817834837899733775046709310293993067193854349699450215589689515316699422354942610916648584536136424605605754458738819705706864439517541040450558010058232128039740956903237412255839951338877255131778368166315749105418010248099414935496874439119447483253208854465721813557475791623398093854940530051265316926365726759781072994547381207302835987341611106399872904726592832447091132265011606296491412604622796868420072869062347284640435190956862782144658937969436111299592623750582561848134084356169303021008372526808414920266389305351546368147975637404444052446981413841183505075608885633904541426759838958923004209813993579539724618932816095133629913552140192134668690169476262637080992907156544048954363082389020217896385640661774174173234134817705610913917548057574790533389021733080128380557935712246445963855358274313082557652670898587351679679607915933151413910404964020097955708374963516998573433193125249248084587579354809466019702698363367956849918702123632235651562099223329419427254793120256319517605977996413642603045678557673561493831141448967159831060988871195648952476255322255988607442442454287556941824415658477942783609826373719786203579309426341357258502161950827027958771807344643071733313118942402267490315011633428900318158259218127047954169543501389691715995413614473483554534134241782631973230958252854377418973840644697479973501325158003056480996661903898031866581490568195128462561543782024934887286182888454394223464810132159702980967012255083237869260322465819580420982267480692986404856807422964111482295300236752033621)/(80)*a^(7) + (27252780763744518304360198471926470693608028721808590774737731758854483752545699385801725923413500156472289375623001342335659353468977423888640388999896846673713298014475480916796107292831508078827990294062347283095794266430688607479639037792597161201509981708323789497192604131352859307540655566628591161075333863545041665140995604793975891382782526360263439628784554891899419118364302001958495231464237245294426592097601135758238187467256383480418513074496658360091614522570096762866652541091432305323732316268589558806691583067803874620428594296783985146718853745496664530524791889151947686034482289134537145852229507611276798283355451779712105819545443357180720098867992443480496556315793196812223414186101958227208867206434204580983696627211522659314658172697366491665882549657448357892361970028964350551740871133471345282686884614902521457296968857267546392586718442792701820886710966394358530847596379338892886888740360930869065932051355764106290078003127888272844054557375484729063365966473961444182116196972275431052931400973363699075126270768471458453140889782314537192622528801279159425545901934111129897979800092452778833414161436716090864706521245702571312487509593426663930252484193518807029465950328407105361078129231138651994662444662670618892930936147879500240732783267586892486108495663263821029435468928647957140438754202873262809708977279937591570108663996420232069732203039794946612588857792467228027525896513419781849578440052879385465919465512248109056597272686625247665096383952120070640889590645895982292283468725417156841635610845834043066683257114677836449558503412715111308899336994575657152120623048447200612511385877873771491943512259873977546947495680663009755224993781271041683504479640176328836325038220248769482635166872921383383728977107564326771772704101311844798517064354617762198055298649432482075758046917845096382232415187333610073309747253499532951189623154710315386099143420833395876834792813143611258137069747451599300096479147411643041941494879531868112326222315743589631640143246951551856228691)/(80)*a^(6) - (2166737446525626733230849841006120535316261017599119564855949125297659618385962930011394263486779509204253074190402959321812544456768800725724853207594656297556672298961140863522461207295010399280024590711391672548913205900267597384145056263281991988583105027817983657561868917826987985543869851255864757181894028037434869195401964850838949916077880167789815409424833039228390218232222418096438605260910708024585511569396770163705684242612708896561213572270872257221364315861389905513414377295969052738214942714638284264116561380798071479185167779277906498695438886296825113800722924977743867797970665512614096289600458877044660609535355683636157330888357878480855953502752625693774333455134508205020051717136830688841452464384308050833059222015480610628565261022337338656837469440109900086034621003956297570887416979830882793590549265052263207369669153595849668429915566747698656815058211462936569353928559920387198640146016347486885603931330497002009658447599274053425719781173180122139430681609748589625030911206324434588714170505532413548892516423261353953810629884972222418037741511951085740522711977770205638093556051833653029033861288673840730243299420749211651083495831430142066423119453861413885396675590971477315782263528127665632386807842523942189056684712691493668181551530698583388690738190630409192484951734373067205665916131705336755263789099598946436682455948759326649821855761100612034922428493080301232634793845740359092632618817397334329013297830104339247808402409244487469867433837618829371707986972623466858899757819766899393824422536133959475509632053097418136070507869352509347485691156973017724873512228182159323901876728470683842781355909275723375865625876145638478107864066295839938403191325931019159234172374172760630445428999346754733082884984171551555409646402883867279827486116929816625033316232737512724917774853090013782709492673299904515604922887929605525524666284760081063138308071389758221902245712441277957357920867896293224357270856005257392525347458427586574684379878912466919508175078494282195861796547)/(80)*a^(5) + (91644676925805223322841905868775091817444273085521056072345820844062839611240102608940321735147739294540809413337901630410284079804278278763293405059924997203903259584843875558239421788490958511866119029212690333964099993717683345970209438417744197674338279540601465885934191323511566687135647062765368895108284729058201235447289507854352488461253711963547389444852890963563584921999025968421127949207568497600465519779468762267535535779275307473274388015211436696315133899611227409397589704311283343742213216638408802720663700604175103379284097330864784576037835662219284538038451965444591031383333421822512641975768765385624987741950181272516296447447647923756463343523656598992423816243479423599283853875001535975950886847911623950541318795287475822621467314100147318887607142940597738140569527121384809554888159305320210039011676016959809085238169196814413781682100480807837639763155878156435778757688707160810640620563788487872285540915116822711425952211968095010715359220761962790885956312899934192781241552499769150760048720305028258543459457088618099936986850746951954465793417602024392924682341795659385728864174011697053691161431449951631397656209012480926997485426202429841363034172990570893160540695345542206086221799316863827519366345471058795256955236781432038669148646998251172004245804968866527985346975749862397319176350653628512288935425024309410823826802160387165087844791160276771885114922785270114038424319948839903919794492278895214113436524223975071294239897117552439918760414036243754493777217592856791874614963196656137025808065479876864819031310896299244786744326451895748768844694674196227066149910105564713221866829712129626128589694715389157864309268348332587123614103640326677749104626354968531872720056062379030773570101065784056070054375748754246470118694126937266397402574264454935551040232019261646199823741306297425826110437811335193095368050820525746922741697795975195862135863119471953886341035419404161087521029468570576046008872957493432325503769836027819193356630046260944586647642633883051727741651)/(80)*a^(4) + (32180176688049949936561809671943181405633306559371361071167246009085765862456157830279799629394666271698419255915728698088618810213144395443959395432849415931134191644913139556014037794779108981518390163089244216760181631303371438775481832115671784421676439350458159964417955735586465388911856155130110294140532854060274392602904569220727434462768563809004710031246262794489893147121455978164244872051919921553030928074552852928618670092029048465367234016600943443933317429917691825889227706092689372866004987692227418869412089444368545186040524868930180891922074467298825763490768353057005211619898873355840655950854402820985072406189138755203465447783936367087567669835846928032864248097708972454820692559924375671598489224649941350747589372903373036224456026790762511403203404208093948871984139126768719228362105780035350244087734949675010509595415186691518157135870594567830396165302752498496906085589535590370929277790771699263634157795882199484847728618898814974507957363478858185183129227617850423333785681935735558012814158590455366776976376100177304972557560568105805937950077806042823625855818248642819453834507958904278282853352256883902549626683113867452308757932645455715072693009523330035905923866843467159548329973335230258780436709950788725248500631405678420968582089238974299294215894243368798961689750499776401817267961222502792770161298697345157061026762740055466741471280080360423407682087545285903990081615933393362281299026104532266989795368859315017655457958776403635411555849584909795569503397043006488382003581679945423834892455715710469200889497103726742227455866198818803232036707304726004199442128767904953877514419929543164185093065648869908650390779229700228297194756988856553293905656514711426828308004701883608630832516083619696014682049955194725520411668769845477448388407056484149912218023202645873470335965865803895128302632507311256979855175307097301674504009598628107239141567684129177812542739623357344783729253900355059405234109342817664351984902844257340571866171401617731922063465025414796375544157411)/(80)*a^(3) - (210999719067066148858384058090960199546244756471590911215078496667048364050635367844273740548813510794694120520674128662670233864279160547296704272617277083401336146818825067861528363059680916360666621949652985260410181079392078727921152372132996752929333631947885543272717555378913582678079101043414688259305470267575564185779699874045418861113715701082812662115339977210006726005707687068064349699104214892502871648365260700660573592553938959402758462747051296205856566537222100486435591779450701443977502520767416941888243108281876760853550602375200139807270824640961075390472072721205333846715085258422425441919441887008503122743490284757769931986974029908933995475192636072823820992678939334053976907626379015006556016106421748523253211499100710808428418600258866863207557194309110716362624435084144654525017112815141274805599491900366678960238382364294718766465491319344685717620992913960611251033279693547705405443364034132777631193041104968401964282649795909141606470076448135157707976731509265821345631098709275786966439678686821805169326734569647724837454886906979767750660379255181230517440273007297350234750020331296005942334682687134521783307772826803967373576116231668232001696263125342699461681025602282087594696119544053148290406142089793193977180959380122499085266143748804632180724657119223062188885207966231329406783889201832524122214258362121827104215139399791448595870352711827970196174057925868871280587062319984235836178726725925825579732045134702807713972469440756504843624400434814850799430776416747940099179646375817863825431201213131515145615065701318878511312889470063672707726247758973625845605228978294837383918226859831787086686489710663335904152573989504923408000455683158763991075718198137264677289926253578901149713840833712561226620728833105376380074541417601277854412083162940076402686221298260226673927564101540632353369975705211563235888024355054860384297800635386914673721417331913301495145959867700214315294983387724101295276919966208509319545250259447313814369100712460790236905924927737694542959762283)/(80)*a^(2) + (57010392283002706660772023846213822667753372596649088719541335406286581098637080329837069875068558611870310259658325695308341610335606858015216392548220129646147058570310590490317619494995647488309282652007242799705042666524932136006215231033991788321479737041837819519034069704952728051174049368861034221494865535649758298305692251763898508393046445528225843811216495461279154027149920614462952426610666531198457538859312776805183760894649279905420099383346563727627206815115286706282725473975145411625175117169175441393551241570212909174424315264054953885017349085106165747662299487204947055875163893813302193948719714065558637867548718930573519224360201869871097395717069719174727366621939964871411471448513516373347416622349439571162653282650941050527039434369738291322232307155173075464380220530669452727364503526047465683156839028185778927946192336675293089088575480270384233911186071964838279093794265304539247846127368082974753053856830954018724399381697137120020269116946276733520576825712755076696663785091197276902771122722689991561959120823428693965803222511094359854300408993514888344775170670095665252077752331486498935593673724427894881680224680308532267772057554380872963058697843736957465967041615205990390962751643236423944716558931626913830492512140123062448671459134988247976769226028211734797847953796471207295977987571837052538052466002013051966724400101002819016158556093379357532417624699648675244093592551417875292109277799521404063919819911871248041312646912855568680505722511347989128111036623369638598671268347955361351384820016329305240006773479883466304257340700014425879291725123647144577931032158442026104224632163219728596354044538694228085870982255985671491542111405960555085581403015575724681733639014089150384346842072729048404457417772596713452260148792261512332985626809022664278265190931329497350029892316811253833901567693423255526087194124845605956084398108327066246121097282896152692071980017587716434761779833214851091434859718035889625941546875535683333058461811633857665797503542014822804978354827)/(80)*a + (5742002780028228306861404340262581108368447760724554093545300696833980558734070487731407678972916403290386359994134958013219402581760251118154787501560751826244249369770653521088298386618705511749657440852763866535336403990928571253132914304481167632767286350836528022745963802697550425017736786537346878565136078869646706432914851714590776391578838512762193840570097627952035510952526629113419107981372477488582552077510380862228044962226955226486722689061899874517640286646165268449305950362550080498261614913789352573435830508769068395205174869040224851876192860212176756229904586532328267654129893701408670174145865628150607761441032773511503587434142503155407811373230696366297581876261597207055061460148261901462101441748238995844236374350573429582833847850122627317778752199795797709497315091505613087125817431373201274855406312744766732980336602700094077928929777492184296821050621566373251325374720181109673202393782509832511307071943238086868747414253459222237292349796951974528203233302563349561874111921661924443658914552978139172784543070711731394005485706809444946352914822431911246387608715366512096118257268127725010122590445798895116564362228929323232893430772780639820542244195699377988403864808200845602514197352257122505263877455866565105321510512789399666441170803346434153656965427857278496411716185852378692847050841633588989429661425873769652830767752024572863334042981181549956147840018228842214750509128346728702410277098483744339654025188595124037889220029917693973324689061747229422029635451910089463635042439822042521833182288617633092217020392791520847212396667208605380086633133628910590908798366296167685695159218547288447828878291329847240877169898012009458682023802562800197646112810864504760882000596360589926134713653552413425987412992426835428908071649669798162735036841772902168443255819743830506574465886330506440173900968889564325983358997236368795746806696743580027453562582323748038054305755086881231022198354765758128416521594906998545983517456972834155772638864225335405564980401276904412865549667269)/(80) , (161817570160064330911065965516510857460707407918648581440311898616806919592630246952928793101696300731285966576463419799870056319636137373821886324283750935689603684719257914067251403947027656956988223577114334267208896108831198325237527438867606497953731688519140122201133889679675190739865909131777256638177018066488555204834501299128775773184906155212998621261588368771458614865743489125221799304551267945439346241323725895255273029727595320228997527966516791431587269484838891453342094779220485460438641670305682864460672367716289447908645682427130847018107141461941854754265374421950190198719139930943808594789714055436908051407997104117899161525796156297761155194339734292497476501454417283722378870728953079164657971834290212248364161962440983777331665943297550190256690862651724686725760235668469132645720391873983275531932220537748182834852111853392184938532241437128311545390575566102568035887207910717255714384598761174377397200854290853452198229130012556609361223756803562678784516603369755267454243361538739280163942076001934802907331959175317381145327465588002143514833709989487794939045482358516691983047253943525917780154370098731873852791392232917819913858397328599396221645383117587453401654662598064976532480532188320345336535065353801597903525924702654928557411748689610657877029846124440772807237549567556391886721974125131405538272994646309482661095389330934734335920661061267450119266383925521628357374892868934018060865979087987756498474308298156059244914244157810086229128557942400595241833393306097705122668897284878236560680230347831810049753748569805295093170525837693940524530583149560417739780037094433633974026885982848575362118147986066116437888931409772585074612546530737202246005915736632027916756787858248245008167988949203436362421452287321599795574599733076964327900025071780372353106308798119251480595759292922802757926354599177785086748642653372612918833482727611871526691863489561439043820424086773201824676597098533968699646893160767226561856153300415977997489934921961984563932309501688846632920912131598965312388545190697291011950957249646836320574180237292750151865247929740731906369131853756314554115434224678993208967941562119510796624708221662503696558767846660349532500734340410384620882017868243653575959023762506559091122092181699004846472152101256921793623011311337972363839760758213566662405103121600860734644226065411300628391640864296831779636963577041630717326028555789161177570017570389515535412912598566833307587458860641678744714135801459392487192601136575182026881943193902993181880494999281334031519408512030224266423869556762644726009993092599373906532638036959632361844665163295667988116547254609974052014010924429266379866478807830063803781057653595694917222528074015387576895929315849679160815877733923040696694571907484650516299237206058273796242373928642995052703265711412356472785967157835908152798295010765409907051430197878180540252713595791973903737926356508551369605566941838267429016370140422370857759573592935556495217737795308159870214474782481381382354373371160816619205990906167389458075909197258565867133493316831168608540910150109533807605298264602090015158198998351659289678166927685503830774087235851770938981150159731998187841080888518909152870053656464666770286412427123789398618352835259995247491575766930218661624952826789785539086926512603966830629061137893665659215638286351259114332764652506281829643022682668306201913202286193357776712682837626727942348372203499739396754106842850760339641940377476534118070190160965626634547883886073741089800527937332526300380934724552481250480827270324134718891547207608863610692753092829877478498311184505388615660244775782932319598440466008536715827229071949420597797784238562640925806852937220131167967729356242124318819760823666288721759942818095657922025823500383632331917417626811803973267536038801934024645531238019355971752343675752627591227486744838468721446584821710754200438159366937088635146445279259964369622720304828584012696706375577938991999634986018593541287588932665870270337289750623851690846457737123448133249509660754888065752284362502137892596062645631504565777113980560749575763709267918964548068484049332225223208140331925440448739595260006368154157648704948504384163533108611291006154828700535631119611458899081452545731151962641071772507647598556695345146328756013939752707333366046649400859612426248376602464704988304815148380857404723528455668585399768659597781152162845142266597792221516835746964305908907702781524434213115044876518970641722289072724816454661356282108836821373522807295900180418933835943334639100439275690657780336449235450128925613807183542895210868702335399549431055143696223712035630179282637385938957740102620232055930839948645413691089446420186747979430530262297860351842438796776481792309010810940123051856483239025374756435555872091742656635192477648362618633442269496733514807305620817433571182246285467625472611358746565874038185725111453655037818631108543314101845168508349487990541529610244762127901994390471832101108578717135532394500303248453510363391921187991396452504207698247078334274096300370239135081127152660034570176043261288716343185459206384194347327817153423538611251149786902395976555010976110151201517614206762295806845716339399307852268644312576524952879923553372061357347633630102683036737561718968489256046322370113919894334308227944054914550417138983617423025885999745983414566527550194324805126083754039073355462819203385475687127052731104818041244386569870039125553662490221842694243703924644419086638882644769861891756241468138706682077276398303290681163691811523201264690703328027989478784499689514382140019383794583831934724891822142580063048563456073190694564539144791827643302573459157320355708938498418620034341744404245942868330435225835641425740582846922098815072385020733903633968788016980109823660708534589928791917589936154033687957247624583737156694028885871132928808367082606938647450743540011630963821357678245365907706947479957418371793864076193465870481165029826065903840150070750109089417262374312748642755647641623389114451658185713629152193954301294506889125100586760665059009761695044675771350862984932005248988821017098411107101256694763743303438849658395176533644020754208851374950613070775773297429425361532589835138678920468583102032923158470916383521694832781012650693713297491358343679271309707050701762197596827133617635202549220922632278680662060009448026104374237874863051034962121770603618363875447101152532356775685016557187901533717755099250011702404527346436638275646044868500023279733409864621738457072559513634513703431236062441122033791327346189087441706286475919028413385490476365994955990182605310158013717237086498566827991390840577098142369648888989850987909382512418133128785838335716226762718735766107585455135505177490934648555346846489669335805379926136575150575590989994810868382811955346776807949350361009452896761712911389880627339128586518760569749681588433984695136370054805253460870329468786200823889292952296128845060574206053755814947478149535769971451332856475788060641225047131032945110273430003891180209780398690682652377612982047694694957879237064157243215993358845007082546140108859904109367377867981553531923347986924965404137646477493836312083042026501198130463400000155435028058224123150687622957960622450281962499180219351497149982912953573319770639599354058518634181820268490907734827397800349057443009225932746192469825727039899003630938944213857901533273135951983937167435711980447744963634090742105678656204528783230468904965538795071619822074402191935027408795869533324492973885389029035177918078579334499258271661474822289044996876799019562179477093355782398711894533329492869817836322770734385102320086578650350883519720071129902704615557056059240758361108119262826757956380689988162682197811484804034292170295622243587015742026406394289881702474063890820800084698873675682275507564650603794898998658344101131300348105466335387298076527509865686584367084193931982714514662477304912344001079139416181188009043685915606125250163324176498939519761393654013111241157688508029062766288428806992541562472355085428903028256850923782600116723180720793036478486319157937856888636894493760505902623875527241001665241279208922193454329719078282507319639602719165958186321922416630450789325002123044876908044294537380153195545439130797348902414977768154615657062046464118842375931694856549843912383929498508218535137645279724204176792523983808084444178024806307484049965635199832293816533833523553094179045171013134773404228146013710590221643461019152392946114920556480779488214627368922555433799042852372320336643520395184803782187664970750846910803842352470263576911500448477773822331258728112984048641558847349943455350296814365294517145035685769838989035326304853912834588611459519537604933059128467133406296016772591459705750245240429349255352159066500248432567053137987427200951108526263500800082444889415347223288941308591294102780183356068439944741256107374333375851050526437030329958983510323120386329670970288638714286636188369317412819989840172387312549699251123999632571461490979391415034696377578896396238624230988692838909710692001247872105298409237111829073534486416563252248593748448420103967520034523569797250682943803467412575397662476998721009340716408787752246404557216408282693304037735664427403739240999238903820893108613382870321446074435956328869716040170599381377229221839082758164854517735711409086876240979158169012435854874211457381)/(5)*a^(7) - (1706292812170957960635869823884313501417482084639935426805622255111488885002224050097231089861157805995156391108703649859088151874727418158717992583231019599754089687027959263295831092052995393993677013983164231303898186050636757483311238112699448317830033709212956134200510338973739083727837798495349396847325999018662101018232360592643405085143642895286539563161638629657934966949438601352390060776255309471745904004827933260249394884880854015464077080449356766494145229186785648190945758534713077550394213862411595589501413737018157060012313452933672112750921263674382232756079158088251657687910364262976058287809576437374952188487598838504102974040349462391660786251165635472412963667532228617588408439559833007811625203694254170077998825691480141519449056926313218833306621681281987611187171516468588695614110953568825220948690212849799793841393509325891036835276540042946805600158630911814679778058632856044233879719374102841091385690558628953103186735954821140112730491859507040006162860127765560991253770729828243711777225878986416843187903669734962307527396769515380362827194994713051877445347145800454322382303513864151061584105733463773464841704484128915115436576978210529510790691906140302465247947561554467946751534882533852073559473685215663879122457334510252014169271779550251678711934820246348661546170694533461590399369765756260857334121960937418209589565663061530025158697774946406561509290112582596371703753615811745427465147431828702544017359711292556358115812021006436880260726228379538556878070296883144280095049775353327257580749261583219862230887929399125954383756995492188786761827816835805102877712539197410813536590153003251570658886277777203860391297594309751832556580474300355028461484546722794599304327266820788859589553253733956661179551856371884127268269744003769318078302992338066077019293819675401400658137823142263484775532451228349214371816990563597385537948293742545561636504258248620559103817160508308618908909533840589760420486558662886767614818747538382762820417484847036324686522423296797673830736979204727510447925831569656279120178182434468488234178558976567258010677021098277871316375477487569643054363455081031056425479482692163367546585758196021157330272384410780029956928070401111993579384766142375169889032703359016814554387290705771237488886404281119734629587379842551775982090704117255454857381243567940148984162719473913019954715707598043087026606141248892777648142981333706771829202922564079563145537253491885006140233901942047136305753760504732452325861863420292617847259792965482465902351661285226612634407309539281783286344285765388660740542793235104544421185951196711732766383447163334202252379851934816848791112826132826645796367043028231620342184060694576766505556346387467837961403923383751741349611013246507774877234827363052994615806378088255289691652559665920323390430841496156103237279759165118530008921707841557412181402949909049901359849620650858501973964706821164440508451477911562204415838323438656826518177493620936832432579296088564091594577151731202979927813788069593021434149961485302620342122211888583149928231041944333573936616601854156498014954260111890534031082794144307313566486853478529786849489525245593553079507106250731361001757207260800217112030510483625587747510631139543180229949232793737688754671350680668925947389131466862549999400381326919056260108912875390142297699335832708288788612010291934080698677053984316437054657342582386238611941928057880987091267973714824451662403810161166667095362080341196838180643631045032503792131872107908693367964226745556813096512150947623028905770619081517357579707985195008741310599688781046494741162547345734036920382214429187654807639710780971843935579033729382851962771530861008468067289932696020287616124780626206202516718306479304560138504774388698753903962517580517331138157603517332109312874321348494211874154782980707012410424893759816083774544894893705003265802646001147714127587176653822613083396157920338694424979584544488669645551000557336203970669795203475145561215052625381076371618421130865790765070886169826917671815024326201395348225641292331766644739499067180261215597383911831017862507538514236721176370246431631709343251214639193588695854402873812650376815425902750746290711897574266052876736070929548977494876339835820901482293550101168471176876675914918708776222162486289064180192438819319690747961443645641938205438768900766415257650571137402412338081667062446715059995346629721807533650707082746524971995955404371038492276298347212445630400240245624306118253043237427642571723965111046702766622029293374537616610462060315599672986129699433069914703524698726510951233441984715047971928311598932291788303958733606535571231198081284609789240528012110942350880070187334106599135970218505403560316694297406179821664915820825382713255800309071953624737316373183546150254641458791630137770412603856301993181198839474593388592820901423768987431431053287169441745578904356243893462275201490879932667612308341801075768427831390331550711387374699680940685729653068490071418796412856173058438395472887616211797654034872376418883865770929322817192195081194211644801224547429400512083431065931872416392234619541857076868331451791207767309953199993583495911861864732967130739192502516286247120508962501205278852218084905158612440754897949831076565357951827517570181050138608322136272116666085612708517204034061829489868843515265112100878424934123438567813906247776023649066693866719088322488111936010222804386199850332707269689071962572992226791835947412876583958430212130254261816685562444481720275944323797793382029399250366009977696088569347248838921676925279289330374593568614507896036780661821100762110302134922035666175132265860777015529828352275288850195146818135528067245874407502720903767869509845830443796889138304204797097277425677452264480804158860420669250095092652226276495910180736782699581405559235105065855359118900880197252368218561820315318577358424732281222352018063763999914538053304804028161642639712453200818696011145411892876869881407800747288141594119692960935030838624541602026041123696997839572501481625417271131170979587392286429239112147127704518056610525951324906610406483726134596465487251676449024652585839665873288033867786867644464972796789172260044004451994589258758270062448885260306915252834733553425226070775954755466354528636093415558427566747711672640741224005433895705791878478765960721123373279470960960101896245909591781525869977445317382033306997528974314453726321479298200257875131137239916691335142603023998211255419241556966792022921769187728341698588222716476316867443041941061255802458039663318248202846449833196705620921011258309282407298484472602348126798304816307605104977416754572950646202780756783867632447204938361505219185010972539690421820728814019908628302407592479866132263445484510440875222923625313563488093908613915103795495964558259806766967197678382837986196258057788461092286657474344694215783649234384343886695547884029069214408381506633646914827625363820098994468422470430350832760759613452290219391024703152936682970835680286487945140655768519021203074263700971014197308782738425874721240140977166981466464453230128893920590588777591886203637982918269996353840791518559034411378554787818594916825304600531030330210226822025728962668565016479403257738878718597844655137413040497175074980806943162237096566834195428384177160999243358041239357602429683971095214330370856447733079518329115266795958184302800810595742447731307921376312814638592620739116613263754548246947083989411691514500592049254753056082573887124562789114441947638453835028439224753521711259675867687786226843958449398127456215685178118863562840590214482802113232965609526040882415648512438127998042541681743163559870052497507091729448944452191906781913930435837937688410027346782067327031119640052694832444219333773311255657840088614610431998603436350623613250835390277730487330847231162558577545603694698719430221629772563232292489829221522233817700778121415876266341898024186130832030979067954899117564705965840287604220648342438488297163573931327429110822347443522740750038967062404040619110387158748330163284974379283638482313390248928892331969244964109498219724798914179084124894836117551036686426592384165421187759378759015007782696041864409767670577278484692642971289488289567069851142490038297012776326436674836651149056431779963971293327236318973803551228368741650728813553055526964555916698212174527075505902095957579027705874752626024938290138166753830145119961651432729681496316445330358957505580841808760013924623896799774900862409357430287437440811823750158222931997009795256329705698285613782015373326462895427054248408914033310966436210357847333298452430353590449149994070275987520802103450114666358218579890058790553454168888457237268568367694355259470807194373757454815168829056983688095047111567597988322735516972075619621430418330097147051124785968444370464352739838899557593001315149808221584716759656718823004380196872882041933476858507088488204028951144599935767363666628021972776098399544600279338274042548574697296462732739785820305234137631212489801597622304198189899879727664236541513275738686321656937793311377438073510061309224185861269307581687819549998514611747370129306903809319168031549180827419517967485903315396289420522048791097111185241056235228506825756709735094403211241168931687647919974688380436981247114593522164704675122567739426972861820003102632838684954284446364416914784322286975220914345102349284544517697)/(40)*a^(6) - (65275943113212576802581057740559593709536290816331478101320767065933873168424517027026476213042823430453171831905105330771981753120730671410783721187543566294325005317352503106182425699787342257098690598480704265875365355198470565794174302831155557434738520951438311849088772079697187860517286144586826230688897125076987212362092696344125785162230412394766808286328351051750735167075448872645157292920457245061636355079699145220225719621731034549507487782798245950747397605032704917373426229046430733087643816739312494770010527023822659344723719604901542412177123130802707583854784485656926747684672068754656647189306583070780539711130825052540524700164110546036698046321288524703068481876314542754077796123798405071475129809688016537421508260020673125232905124390927087831582736999889916449064607080523264456849784133938623301622478660629599880814352687397705673744944304666023282379225233932453288481476989098833963581272648828143382704383888718340671847480864745081355657705021457401384723577244279506781549112338074481317627333074699387595691220215535436479284320171909492263003161653812795399554200216947291940843668923771475739234246547159920580249076495349694964602321381304225647633264074194516380077767351594581955127566191579270308173021435883879150891158121843927571650776977230729158682177476597979943161182649399599414027741790147047557000658851280197899106654582002183123266719675204930198688376650710004330075724727714091828676277275192081495460499676016406102631831140970787818441941129104175625618635660104565629043205038304310528004316768355086918595742333179458184745870655801840223271486522755954503145942025979482225173764330939718861109256887255855943579278267376837911694687567274340874867282636719462438657164425774599130305057816869281910609270155155989257077132910246421568644561730529090068335128140657406638831462649754538961725792940163313900995804540645452656649639070906859883730729343192985644383852771809506796174467982432437082865550158251568206078086734553750032394343771530603347341819320509450773019979873503140990190092510398541162397433009697029207010957980558808405152719007499982485214056152787692123830919001412291814329249584725590736019668375187853188570677764406870987850691674589017231476166367484265291918587100152603470187070495477680495271989678663580506876560505495446838000147463044509386986582296029612353602286384927854961706131496120088395586834270692649636121210134841558501938712141051729154119768580337599500535552965810996499608575766726885731117866647223727775927744981387616893371738061453268802352502193583568934650759581265177983011493834453987850809639672724561424459124281771545046447934703564015138740724192905355521364876850875078870362288733048300140802476511496072524496100346080417764340214024703851235036280535997582350609048337337749134311669567547688342915601265555042950665854312042161409279358614396099711489868064379312172297162584413884008910254749230620856766722157518415684922774307537229850788816028166933148144749774847019481539777056142410247353201166904374910841073800939339946297059549057254825597088115871112783605919347739359326210224687400964805130773233668417918120238949008780827349473672139412073843588979890097459816462529582864947635570759046724717253920306211787053625780412595405772122165882422100923864519922870543086649562817706990031084858215950593404786403923819156560737366123194287085441458573687635669495503769341288354423347141177255877403954171088499247196419732324377504776803550518939035714891028903773327544858870570560906942190585701266586201549105353285003497144118792211406550202740016019595837227029467190841078160394225498230617394135405940317947193634464032151939005857367535177268840558045046644534479724797943587682655076583295134850866044553434501351794503951144252480725691948357082086171630885592714419386905014862663361712575148088449452993888594681651940502255550302709535886073010207029196539197466561581710858194789567719543735472621883049006629439647150753300630976280574087451915494161201822419667134124569837926192052276979526439230860486386868617717659296073399217932294594313856636963077144889023006157629122414587380771050222727177484748926798526580281263181742156992208772503041701898356335628819855644574859965917170909237025902956202975024865809750933653760088204207275145577549307898313366232582256322086119949265716091065005568315584017847279880337409362527487016003610827583735785261441963751796140332145298498210264692201178930485345764845176344373029833602965252016759477617393463977519495445210677651840721756933675208673564248023638937137770519204006745275796090264808991796733959184858961455615642906872744606428334894183787086703555049798517130784362262852659074613455811699542552418346507016310219643013237623022431210902801509850564674425636684700277551252397193969396897657228901569849810487726303402984618938824018911774124509536436766318087606099003879303441793661595286490563024616746201453149899471613516515680966322699648680798430757473106462052434747831441801120986002713119205699834489889124634233841815098567362244687566293286573072296869455776363797151079272763805866256600343749215182328079401271094817809976799465364082409976116763801030114762308356484289347107127406925733300091470154872169247376734138209935340047315958254919956215349308123577262463687721725696140520146262108758906122719521400208262920394614286573285282637347615858095238388270832480055999050698093881367749638905906463259175239257121818935762353418606747279915090256118645981448557562751207062464906118635498532134210313622805414454323723159906237462643879342401315144746302702335020029388272666967636262618523167705704669761227295920526339163404268105081602564597975241728921866012827180234555573026248240825703422282592088138529217151266363558869419182964161940516866042815205940114107560792283259174764199713535748298335300931129010755922070633514192311122891418053222762612501728655054833756234410318550304426918387926497226735740289571415446488267587908385966536036121298066291962664204059328124138362946086380264778939624922343276079639219537413171462923115122190863678746041082947212730323319202123687897887988983254769465733402426595296904165747604992441635376798489032599213120575158483233866098426232952814301517991539334503584892136178372078425047218582523945178890323275962652438320405444470681366122456844912356874116024123685496124315191926211603110662573199687711771472127676418818185282580171388338690728043848739493852950935014561154012884064946434304173225545303475334574115844691465496851014683760795941792090999638566873841016111176176219524513802392014128860417305979222800193209602987231894343611530862626945696903653494560308760605092862527903543126837364895251935721580860424082740597593319291107541937375887997429511853018929474155674134947235593500540981378489990098464987790073038766031589034981649441630015925928641659036439352472732484511233189391161873806834654480441189346489819475150566124157005907190171768868467956412043374814253527117526371968333675301545668218357870773130520783942589230822454221903951374842069146157297364490571331835641820794658074862100571369984251628358284149633630441526316296148230793294737207373246330896119666805202798141205414100208289993022647669211728871813256598145828827672959611308493616237760567139308907182942539682149799990249174158793798184234909205668851545086780543086556118211222474262340107032581759596709737844521676090457087834698597279177966734392531716458669563011574070026812808373515104730431121739052031958139817641098203230132370173306418911698557007390517930832136085602120657191468816124396766740132365149853849137019294106456375473295764632781967789333368525753035738022106585461033480205092696955929774692583984647262609801880917630578578614207071688702014132414412674455541879042866692299733739510166016504510055916548798942599824912499943891997556910338619710267928037613902321472776720851367553323224067006677883657595334308086541967661462095064059115030201046310103728864634804040958641331889024062386049914849537244298454948508111946453136194396427404409652796876543625051634435680407980948185218948854467954946712380873576914574765701482441737442371340205911206044905540049757751287239585389360379157743136429138424773183503186485492226104710777950449579252263245413686429035416731513798637456741588438733983718599559217141534924703071956989758635184718582954955078798939213808781360837451492240344922623411887264962516363903592460808745291689088221447112461083149996653176850697482577278867441485896900787622320759852483137843371813113771979670053274024185393942017428940472283847129873881416159741436299826235770314998582306536839701083119625552298182334021371349270602581658578096613249979913993402272495243099917775054129605105147332758191673709546127072000375700396559142815619274990158703592704128034858888531966569041680100012127343521475768985826845812988304229010381720523213050597001859170409909896983797567172942861001821009761772914409986960185442148685852589379159317005655781345733038490151335255219531748498375816757072558324847965043565527128070597189432370665621398146140167548368686679023050530845116379447536252950074140996505595193893520900446142354696753645216808319293588548501263780692524571222768606034646423130197785564426901241727672019934193990607769265009449542097733352711824082132926064419640666925060260102475535274103949151280851271482354781708992645875362337868778632111)/(40)*a^(5) + (23358986406328622920952346997219245633477548495001446970968398122800212468479340415908231149410930733120476043249680884351698291666704781301994868387454603609421699797260030681775098297122654886101296797844489359419831880608326799352311772139733431557713970834986679026621272099750008868505653248121002988901980274798254886633031112771747048666576105022788997895047360798659161925879222409222069048704449532704555973693941498767554501743384358656992961822829481053403118415888128132050074857833534053652505265744091790400539073522236326961892609289717463192242087236998849807423133659212250152818049697148834505730839182100805993241814861971150234780751583404907213838357298610552688284416044081385757812465364751578882906755646846125568567182863608986704580231888058603545388435031593607081749432905012730829861065960383611440026521807611965658019588140705769962683840108884769277300169559992917308421698127303992314274577209354382934765229782056275205435192219666790116117725185717327047180235510340446473679332796989339230730710534195438799331869074118561508255956322891353043133906091816049463412746539961377367021402469820286644936786580327402236465077296335482615003068462673926821231860234859485688558591818001392178918298098134236445386290318372808485306876632154837671695222001054524471344544602949088562403719690870059708111409521495577861422968223518209289329005161371780353437320327584832220322376629303002060561007413551388402017192193540273753223734024856728477422572265297993903948074423424089514651203950172442360205249246579373135101318262401164771647310162495852407127896918612931556150158220494132504848416963431092371182098338043315205378774211401214253474692944724802535024920746833363162516209055379588431719821739600688612078586980054279234705349200824095019660369197919883463305098376265995099393911503778087063672713226637789337137594500352424472706189123601043417535928090423639997124987741567088480726728965832722824835708430172298556629721883680388589959395258924205521004251538970343442849338433973719442721108147040856569975252976108767707177712679459566754609111687330956802909627351471631877288862866019659759370180536394475096197758529130258707015990610083020022618792737470537658875574479402533970303191357455508498718931490697408977744193017011379075833013611661116632367766810878680278582850790867083443594155763704096237632881207005834824285011795403944171234609070794465786735933449454113187763302767285102891209807269491140925438817875583166334001665277314373772705070780232541752615441209670542649813905263554446735203353737175425240215290077325920360223275221276161216564739798100224608946827681084014002063435553543991364403121879552341189182469508031725773461279174743952374130898663519004676551591308112318006534736979572956463683972008628395644682209901647099000398832879894915076678817139269839024600598923758460456793076217007224343008798077346278670641990295120707124861249365872955297275545620262408595105952917932173991193676286446526921860170249711297090002817104662051947430007525496634978165416726300964194906719329548903838104024784018699250831184322577041580206257808329669688035038388856105526509854347089274840526529703616510487892736787763042649631855494649879317942405621364152784292583427236640958601455074544926495084616845541967946985394130589994688654460643586703057315462646340281896929518287941007432873740844306107107379454811247495636629229893317255010460173398622795071055637893458357723750234659340538268596186304837111174122189028054900503564380350792371846931120127897433540257788083515448872944233006248209023941458201092501049871316855302633274573907173650952019540120736300992397144296407178878183540352041338941974736258054824572461987197732253409895132457481575863557338155848076899543095944767630487960200658524922920971691021326299753559356799147792013515766361915165146952418295554117882669560395394924356519679928895698913599669727999857963398705399999278860705068166941924945111410994085830468973729675302288325950891973714365097985931148909948617322690035278321291181128876300672769390781074166596534201604578482062084504532443425849253008773846700701275486033886231265303662600320517799448908689132249246832929835696996328376434775008597123154276702987541250284378591679640964999359939698207404123820248603835165334046542966359685045285072089784433959092251236512587826506481658545081146081854237142465662019464372679705884790557131207569736865900866254301597066349756315493675186498182827736097593398898929142968449219902785622998702850751501140696565250281634676571413621307270931602177603556377865848113881929998894416340003527134108514094438445521588796754131851052422960637834525404880344333401910228748478162248885781443326295453429528457008642111173376321265358440820590753955487236588177510078045781162230685685090114833962067042172333946735340941760638118118595628332318275893684751882966525605649941122411689165884378576270761504655870434757459462150769265260842109624297794204040846465314213388955484963709187916127937487069892931537397673410705816673743021421469911228998121448175905392622713870414469627675883900869641698365443075382857484309494547986554325817251076313200835249830835640155167949801854157989345930313577813898946477957557888316789555670217746786149023424740464957150218842210870800606576922537417390216955190339404791245015508059456994296513873821632546999187180736417966621318045752693748516523859034733598849972941828960636168015857775738049907070785166532187769274451204777139766475503348507691558679505430319478783625185075952554466331416181128623001274742150984115927130231014181261933404926569701728873524590289941930827957975521395736303313217695683553529641868579135383086482916810222837184686660776434245195794347191463348518456377597313238570906453221697143591346976047191492517754599479342432019808954057135280986711158358653290991247250899507957392707926251148259357709823176787918236920180795951928289751215838123079454618949243145038626632740802751162137158067774824172198190564281763556313392749876252725809462151411583676095174024775675394369929498659179728566697089796546226421863550571688993860752762718365137339608267325883188048004570738227757409251130763003811308908081701497412993420623444895665383841475740801573133423835812820432733470376334996116972699614956140507963012821452277276843709277305374127064312779597771547255441129406293824462030894373548247881065560947271579973201684891050843773594668401836127291142182412760371549427765195833513540693493712609501180932466536243312373920122139513175568475153165304219335230250462690481488176149698923160506778876008456671525064688252084526171180484468291237144757706977297773148448316677572705315945632893081227181224936352703061006497641362991147521347620728504793728866515162789297903027954391233612492691793675346300466256021728214342577428908618471312818684488592533564001174183013268020691357083682996367587537170649432630915689940447957058967494984864863128933959810143693632240367329471457540161588675310459555695296076936726547932295651459951004482662918949596553737573527644017485011658206828134692155099117403835589690443039043849154559669281271428727223463018773454523803753279328173770594094007487999854145203849636985099399534726692566795237902924710566884887456253211613992728783204014058930021100407571276367347774310530681891585843148130475977100065301529164118508375254535526908682165199926321879420896889879458344922849603121707520694180332759956056697032320966812844925116064229486884168650429971113291465408839480686852552365874163034128622195693900685319078017771122841498284911950224802152467462522094207510777597963767084855066153039995951331669962711196354964315429690054821888228178894688806834047737857743720222503300297096454427740926630353041455302998662566141533112993191756062732750072736445679173009458039902992372792018095325124074843173848146129915543375269805550307502394396124494100938437502661414087573466249720348062276338539166941446137358464827673607176618248454068089618635142224186233587372612370651864837520761230569707009689693867745199889342413642694563192284675417155791241273921926467239609027388433800007628055758279637302771301301471748495523225218154830546946154899633360462852568721015844737688078521660613688464130074601306746036451525079851149048612620907880061190228560367664394992960807994361337689120079011476900111163459007960876460829631152144811017582342674822150220434389183910576984723476555169078291957848078659843135678106857999386536900932015744755336221435838038745978098048836127333680860531390607048258958433236947354074256633657119072901401138055632678531889242185615452709185997746085572399580894003026218334999334472419554798457710991522580752498919198675465382629965376306560508536662487466483846276520082708396147795114548961134504752580874925937804726594749610213254853303454133001096993987805472844224220315887773168500228861356510817311174484926675487838178225990317665815686456049276222664348801260518884516243770741402400882345698338875206624043787053522359754731214795004536739407582121933564420843945406387363437324426988362737121659178735452359428332598537716629832766553238784696514378948845023213577006129178009468603517938232512528054069208285395895142005994006136260191461529470365866007490441909358483511452822279633976878484080621617698236275639540751383823748090615018367768328617995725731373646564403767186995831259987664962146602855223710979557)/(10)*a^(4) + (320285161724038890338823990500923426419593367602966856918723923853304555760552287347144914700582255094488743073920173136966272516949040945491289050481219872249735620941470002988902855809452231794176395273704487927578599596152285277238390106190814840257702128038599213900311950446219677590754228457250017659951575238732294973813749758258396574013154297464053944925274931078061941693524612753807522328924439788479217377471516179852195175067635564322992548873823951185987594907438902143733736936059240959561975480854552999216065451868716880549615343941816802469775253278597122263238464438046963631464375618905502603015226061081904753240341665308078253798831016281129708437757611793571397803193250204503041259918477136379031698716210537710545884492137674427934264807254629327284114266092183654440062778661226478334218379487172564603971867047596678369727311549636595657809816595270779326546555039453623669426870714515815726463176031500173920076506069533737286888685988530673610348926793158018963133464481098058496043122305016736726486393992098287862879031611461717316326086664213090753019918731657762815520264885966885392260441871485947202055116154094375465536795178557045845749626308621471916378835320093367142034213502137926043735168227708475096058967767345890917522010513387447565590563569387241688526923957624613145717291917551015873850918996782299684952824343134635633229527744610523279601839113461264880325887901639844638016830028562136323678152853250190529522041271085409203593835129389727136844337511699674858279478521150150547674884206045384993306354202190936603320791591768807023649201816897851059726803371035707267103065570246641643706721115115779402110357791539041494605401534161462561811474832868800496243078271895569278548686776907186474945242838850311851105442212178660983989600760082981257955104262543396734011601136357460548299350260465565093657775465079306626038780808156466480010073280884334772445842721636047161061662423080432568463964684265049991981809922593860498850595336714371883220828361119128468876264388482773677421447117512123063798686961620273645496027098977949030611059293967409128356736330815318100351220440300828712328337492870405715578465897320824859885560150685283008250348841702372908557537019271032548173623247928888798188880662412657231141726146933676619830789131766656396393303911243243966317058735440710088349713977974444413824632814094670060198002475839340359396299109379736453826683874769234356908920544006182308573519274083052550050770427638037502516723117016581577218712588580815216309184261179032238726905472485252707332321706543262982809532029915251070495557319503707934183287949437052019143823384463480165120857573301214070665096670482426723501622746558257776886317169493896490266201443933130103332673532756994701872620510625024941549885446959214158063999238733120970098760447983616046727891387155609852720912535912354919162766555733022140710490153271208685087538574869605769778630892870453782816624193495460323838063147366014806594966001421263067766327889928221052386269623644174360049129753466863526360225703900686575887758916962734238063453359672908360627731954698495147706449009291100690070834921767604545833405858690792332889045385394529910327596094804436065177979671245199138155909205825593276379428639249921386844416759048382148379703642051845824859436521672282856938679362365956322716474605601392832543939329181342222966193635330340515534694988847585860682429080448259971313344949507710301568203681063813311666914545837056297373423090983300568310150388190567046054203034147524260676085465615230720326056435507347168765408771143310838322298931334089853291151010746239850530891077590735215405279605963353011996957234767721313126911034442772810639497506637404683966321424148690088744951943902551729151978722192086115884448147292059131607722169131633442939709367741791737641881202201145457510574377265645748724874405247291416742575796446387814972236047237562770488516621373741090761974482442463951185874019431517341837343349414726385479853050356866117285750266465260082517779300920256527238174624478372038186150817267521450073328071293541025699605636838289597524707899352345796542069898673346554848216412573145227004049538776513754756396668682942874080247487551845182790583545173919624055968464292493581201703386656180305410790621073060607382278297622982667123905652455173099922800760743486785744828920964853292639441259772877251400666477830507994409289364729071853335658951190821962648452387967913933793567611093394822906755304994825701939098572106165093068033894574493256770916017970838176145029610505251248788101944667337714228751499909203797195912826525880109725158435645251279408729760014013844789490145073785490477421345707960402668929681139591813885952339411122977078549937470668511850526822919626296980628451917535880686171629388632607913850459054171324941378249881532452336361794524876464011629634955378418049061709947038239014326654830145764517856703480128166764875555536815476125268027833835359841713381077716720148839609102092800225237756036523768211735202078074576785995300735832544181347080574510778624074987976432523252932795316775418632022478492369482981213142519679492293730206324543372320340154165786356890094116891427591910999314848989370137888078919838481344282319498368205470378922066070195673309826083647634181287162122423823331197790919271876021584874378504557131795908491016591246666237746444019327046811867091184656493192785978426485042540764232121007860943022565359010320723571757202144226470646591094102865519599099765131804020751145998981002249702448754822305554793176560440117459140004313003827572484939559462636745945262129051165890497227525821530869197485375596410175987182279204963614598114442690353812951611314430194932878837228662003061911448532354952848984055229537866361827271314326302728887780995540186549040060809086819616026384524994671030720574756606838545261158531577613910976373461487144909469445726669525213023101140055692007490518444430531639642589572674703026498964234207079542580230149701231518531129176092042340599276846095714607320290795260815943294480317733513535193435616717697294471634274066281872906933831295230099795781287754010257012246960490228131426164512764764733127486206084813325775224318016277660212679807857604969491616013426434213594661799914735069237210376570044557042547653314788094061038846604834633341687954104659937960532645975827081613092576417447352646396905971341726142774544296007751787759955489602606682808849089682462452508258373218397261453295442073306695448781583027485104399462668091269559996033678951800508991867215792972896476746447049424557815201047084291903540458281301185577898862912976527457876036558661904090251004967575296406784405131812639441447111233120931086726677146851497009447536266540439887035825986387978922231249656685964084893736059920105508487049956278096815284541571308240679102734022702425469680597911915488420851177438451442188598610623196302179222029199645042416449245576618181776249006621240480326251685785673672594728790057625407756965762350122221641949719477948806838494211829527395400751188588461326041656017148692975732061357189543814870990472338484546423116953527029010010716103150937774620866776517919769468081368264659419744432204503721488468647245984238668621849480098675217304901303308631360163028368488116045793877609833599190235271759529629748837813635853275679659345089350343129972637968195680459131779067333479057828172228501577082762447557712060387447252901192904314142116827115764121704930090599380649147000414719048394364381717642003038536539937121151023996574814601734034269420855606056683409652999511220200193041692113833569603774927137536100889096131187037794546912698327609592665877756503272320793348731893493906365185631680553223266318282424924981295781649823910625499359731695268752012688440625700559676506840209656003067287849276075633716509870974269952476154660545114373451973033174068339272590728981515996612630719874093802641209009617447608107428582909127710008910179515338925187486749180822161475699353399793314347076423839692341396739090631586483993030449271940872783247597379588628705432832639965598681226128353347632426682997700465482071949343483426758156668799294028679586804542529017052637894585495074725968694561365709098990875107408080354568800528267108764979384618257129298794954553715941434796496824025491515383728617570156692847013883332541940692394849739465916128978033275474961443435417298073003211228102330680804774190830941036404838317426629706445571517097234604053264854467813782730941910827129114058419139986609253989303373608974938629282763125641233200022930103869006132634233610734040205622736990799943538838690967019609840396021690069379270311522049962199897545016018930404177947731548580603921572253040071517470328676129485932483099199430378566177607191892852125933134568068971130731943791769726046571978400961776048751614165230275287555061997442076838152931822119881894720114738609746782498507001842136123985075405480182642507876948358915543459152480517375936985687411144693158081914493835656173520836663725057012254217017609221023187534432530727178549066858402751900140635210312079059984995691191330436734476430724291513080741834111877378125770924866122155234364917912222855739573647825580655660731604716712898466541460878569619188875934836002345731774544528120129728767567444220617560033909630367508077682808736226568766404417902316763180781358929504775209751187318687249138806763995380832883655695757983238539882889955865289)/(20)*a^(3) - (7072232172045676684578691033434177073312493465695302586373746673463791035905846216714885782103764945808174374241530776237473259797022428181312418257273277657443736415170907487996357002834999065396261763460254772690286224721997396257680102909595744546316297187068523139866274345406295401937770292197935155547350668217169187276860263610872228142104656289734021665758533633307520057630266518329864664277474413230902395913908607983986739013753135025147165816086450089559966344222852800168063594179706302025370679566890914429956149300600327793062828932359548276076019376631183510916679734859895742112845659904382809860772632060538582676233448956267953101401418186027167473111942481578654383883239226748819859315260733524371013796220592687755736090361333253712710637447903766795831146559111405382994903306885783619048207765350238994255398315888833214255510941626714433189782693310078637248890223786013907997943550069742573356734193071535570291198700589038753621049281888775905740913208678415161628610558731042666734903027509473839706712099250397291591278909459072474325767559780169764493427692717656078880706787734987601536955285130665724547459370301987628323307486650474664429870900479211926236756644013185207674264886055399218579695526355161192833936341443125039505111783437451251640202027897299513288713307662868602359340240219842593142320367925906525776437139528110378833616335553834632910279012147801499484164130952434472252642935382891146780634349534370775559888816650299286188495995733529481576508764476148058894132714576923430775648928593465209665660836850939838076124465375929784613039605375775114793143658463555538646443085223075313600590722280367824540636285968577798361183609939486846431455894268858324770511963082857836995295333189112880743468529584842266290702684517762038022414718905773361348940890419211534135592866666581837450529640562252192712923489212601281555396963460657109882886198606099218004054951552728990867800503006205208322622562211181166516871511044428557860434265288521448028178003599447794380963291246702333356356548549943990804722143330046204414775868954422290178353015602474304331188643394126585836340178634322454715011447799164039139519492959632533777436050609999400322005692854970280056782291159710373347781328738935252839311980616991964635192052303034532202803327082189727239901879899893135956707288089236722873525701460701244126973215662528880762432569425789316204636576741086890664268492443931045673980873205123196191021997312127734478433969812089890435156490359436503885514099216053692710403642795608728601357336554149154524669407015546853482225764976825983912804621519744436433161750645214842789484424375092439264845155373686085882036646695307869259526612322396094194066398338338345232382103423039503028088218325626716109923627858261922166019037759751403480395573240716745723822058593613134890649480292224525162105244976016997934268148901121548295339789618140398522893942723156720179151059009741556981815932777693683530474519419840877086825367374531386274887109653156584311768379460005979326189882807376137490333243554307281780489574372217699598872645797453580250505704110456139382348122006621715021389926663815359657779111171441509943757495487164609399258714364098632280600880359049215289807374968066848568502220535311302395403937434579953713580411031171983507470309870193811756114685407057616281607095051154606982929234933972399568971329279161481384681046427128303288561614524603407682364412769913168317283258286947479999129240302688804698752556452270563497321620667594914063112361098226974649653746534741893638865064879955389383606288543253193626890236314621818605288361205146733287144321743109802016949606652003589389866003040312762156326289244156739101805651716280743357875900376272507730767875154900953334761660802449741363388292766704340504539703990306412565244722116993957245419704546071386135816845120969216508210662331880803158382365403537384662885303844521476003077810665037237670441680479239264222908356695333288350355538029265501474363557995968495397373441911397211190459595074762786204675896244943164661207095527266077630856175959557663524930254367990056001363030028043574540479476968188247602515906783736278595770387638434128469343554075991823869758003747069724288227286927392834781705687630806019901117375626833789911633327855532079112102048087386624624920520306971781916045344583528741872343012074526893573041466644120589395589783760296309128582161269788044281089450128992251373725018688421065318470354367774660829433316670306629931323075337691045238324902195680586091629870843795796113157572810255254176170504919622605840061337007019957861704230597857149155692674451065494370650927442937122965869462363791037970666095109941693880321562311507767033747617411093174428653758995146483090258386657964417709593253661044782819377115532930500158468870884992014089703610011907960635131191498363630447782091728642186449865063409935490489104615796991175965031336916618096869145985710462221342066291893321856186248504977425265631310776393302840035084419920083786872888589425933757700220074843331034234747597369180064898586012995668079549549577719536663660985375738651542791122126694809477549534775764213231145689773419628032419860228166288477667913572205601337509250142615726220208849481822584211235977106759309940431010246832153279897017764906643742359978269410899444619871330705851169339148777462523393494048376069974652732323239556425401999456658188656045669058108564364459083176441712190781493831299909557453500177654250850772758642015262726828955474291672901507213791145344544663169991085024056150137703939317440008218186397907976740469700033846962906740135612075062170981571013556079980360285486586910213281507264302976152378211467912440165602685463869566045373654705187980507497661049796781700546080157879954224293364616514683423151469519020892360880807155690171363724678713527389408253744186560917869198876188484069042714864300721680491493748759375902824032814571461205030687984116983740706842160119377762166758180075577262272009790433033079643533039807453046333286911682928835578036195275895354008192628295484084218904697313296614046027554223523639228190950421615191637654005571494331263355857338812885867380919696589128975352635617040547617208748368793687487848397181996227107955579797921272656767361348995889499353407643551905980975907167610185986242624740717040252847844194518775517058944484760873503482372496749832266661970863185649272052307140515596188326981359634486143956386948475034558771252653465048833273951566939304452016461221748881480759962656395973310313516492731354297082757960924772783608419913380893341177755868718078884522924878747315153821397125488379544900637498415573198396760479691911501729813402499878276253998898000174661801966101884476347149004800829691542689432558145408591425872134405582065563017965328558528282436920252282317155998893939277717575146416387481411973822390595904504504259495011826362956319581168435862326544248797387254343802260935421518167467909796912196863796859957739891145435867809122787923782224203157561777617855427605364431785697183881138643539973243088519404445690895154265061296736335370446710050206069386581340635796483718775067761179882389879574447590426555359830067695547797025740985200790430826429538648680707351915836861934743571845761448933108546714677961340865489441836879312158737151183355989799401838300317236726339752834164105494665219683603498821784914195527191229728422924898400308991333866373037422868278319317280670397258323441851369045858919894048909227048423569063207425806787551799408800968090887038106636767401858124346549009211340141435375982045593574484103510795223429776269275076284020133213914277667067234464895414346366839431378947505183866300382301007902448431331027306249914886669388855466438160456540002744687542728492190578206825058313644747589759144266927463759637918884317343961951485938883846478453293905813863647810918726922680494505212026364929493718058773649666631104277776355152871118209280612626838187300544894259030398946854889143794308608764875901000980312798494537829382158604174784968749447465019970176722925474661249473904727699207483899768752935157366398757402301497635389689881096784331021342235212079492026555003263510199517427877730999993628927731688224468306115958402061790627377030765660429919888303204994639253757852318821485113787809270886973636212568281069320927903405496644285472169916351424364223255782946431515947860991596607502759029589272227579818304340941110314846797374741760055711325837502554882724754830774655107530176516711575698630228631886032894477074089364716692295484920363851240213101375436155091473622696020489941798686708579565116634032066625268664050305259723346568260794205639406510036992924900955403805917026955137655230867330740666731421984096239373683946019221291821305571967618027326622509272705506866217614183182318441187057603771421289850974956219698816030184898122268243686109044017419766277558339105373393191132794700667511042730638153675434427208680161462867380060139282401685055384455042909299635389966425807397644814111929428854932810063158824235413098865919972677897803125970210845408492173094354947170885458150713637129234718739624939943878504240942201397320056805174719089460462017105618993392147488237659642245557866845115701976533629008987882049958788885073607762088372595401240413502150332010142611375241435583511130692218169298666209890935699650037457288260321807770538170999703628493276911461220174621276048982499208224588659940934949)/(40)*a^(2) + (14766606519209422771876231388053787670431816668065649959328170876146741370141999882069041065532265565550474046747266146193876063074230223692074312040945585761312393111303053434492935301925754476159363279365864270455473380016554576268049032595045523123085591619024125366461446134582154355010765303228593140315426117705228621992568716787547908237583620633584093318232598829996105451718743584006196501008212204070967595629007906358088883546033466711139416275130767038770686477632897756610116195782162624507251061159610928587100414103012383358065977456461511806529342432758393203956255003812781415531917137821581563092581633099029560021528221588340842598759403276568487183366654118759120293998812023150808013821788047058803064248129768965804054493303546220683838965568660027860853824853941008299915683869666841623734796364685651805933265911207893175434037454030195706107633160946460872407146193023501391337156003531702105071962176867359129793416102350129148634457668515511220747023468426759131412951153139705886925349549326418597104656316789382197504404808783378103685156652312318969612424456097256873557530344000520112005291272741546659950716352985130645686949208817765813774808142952385862733455312988110054279941277963256805435960128569021760795861199072668626417805860871525261624898420607994341913046425833220225453784355022265100016614362073312942430442302103933197162906971584414597532561983777903355819211562550154454571223494758624680358320099512385772921713438272906053321448225774267862692414120124954244526252726188146156631930404601672862809331043415314769307000613749460973602123689750664235449466341510033531078085395219682284704943634752962028237824199839730027126270366837178419451015188010293319460640399993411018797821136121924869655435807934776609769148106853603858811357679965777049580653528985133145669073154750768046175777574505120465561953503177955186074174953098359850539063043904480450629414961448648799485756614703528482216532362454023251089352124530461549175751600036007111633938722779165193137535960999993623324864837845527029486875717218882626330234394559028172981376274588254429279516453992800993157747018975527878599918578564466695899669424902887215825726360535201661183702056297878748259901789741061368162527294012595747112988921786255715250889963991193623636703423575403388181647566703118195355509770177780021018085063760026640696429074375700589192350985528054484759511533811465793186753348678476980237017197816220651333462539756909523438213644312642448961915514577975373212222820363711148984553766290008400651127334987867920305380612716430199824065163631577922950759859660557673801690159035139856633135776072136451380490865243209497740504862311706143061334027478914634018987098134695094597446461222115614305196660719533462354244754285785024013076941699280304088308031512035375910848779774015909728118105267880836037333976094826173933369180460875337721950370506840421741771419645260192364150753115514614927026816459129683518715187325181211201262030876027473217963497725767837442567096203893366907952430758528797713583650180552205082013488307721537524546772469531716394401426951273891303245600904843021651581543622198016641712045296604091022343030633754789053549507107939557603386609582737139179174038598460039549474816709967549278711865389943781583911982683551519601581598554800510592519808394377305004147260354126385561223491282628764984076670649463862891343340487320923206611636091406299015947295039063357522758972850648492629870369872492026546355179711220539247462695598516252258592801279723013476014534556056956087663259739387129714766328583900422661303793898786961361840405005887820365015996104134771004855421834996436823475357042545913011301118683273727296262296717116415906331712500348667485820975455720800650914802606343974200793396417260981930387574196621856328644121621534647445276191999489736896408468339813030930676565262851945750659540915082592015781568823827362698984862708246632634140173280482514457130066811571087001526486306797452549626553980663559918892668445625974315615259229491552747253900991133528925252505823669971442218678569117883071383127100887026538000237009097242276043614975805457426932895191970769105545996746054068647284536873118039607024749503129765397821272157551200672121595334083567661847185108801354774281476294382585201609311888502898928967130995147647079850897579077416972039622052183523143733045450183735487183525891637797515922953396576000206055360391271002589293196691696891753646155009339782002106056779656160906407593126430360000313161521098730978681641567979525523920103227586378249695502973024227466891872249839084553765794358362747802144211481869907332407152610841194415273332436307241161290662214541657142583750655542446278633827295096522597684726149361089294868617144992569219000139447130167941417837625387080873321961898619650020355506591154198095433107550077525800142083284101994138231190233032870725076223457332719799985793542352392669088492554296229505509116660810165426257302807500163429734666469765147554281485524838766724522205001016745623357048976896754603009765330753288642922493210487278441962011799772834751606555729284419666798504906507886254848379843591159249791700075397864364123627565933732863146636780662531294321036061446869065537892593360675588061292373926137702892112459373693375217157175137650931080157917344667196019275303720941896141461789733481800225652237690830987596169665022616285910141964255786107748768454077125326085852490902235560922690704614878945766495711890892024997462725268634314090828728638085996058315342318661306851791908676677221981306198049359401296530022989471207538721410956131071993821678307716435625126045394041186157390407073561171022849714119121103671943601465165155060405831825576257490766789125396555057970698877430260399340182063170657954006472786389772853139726527682230113740234636989123523820285470998939609691876412976634565753909895075346828523836706142000453759511433352713134955821708681898012532982245637427868441250289141826662609610920407367859744045508034720891429640698186368677839723243383481250602187712670849669238188123139768209569597841628926722424645384350808369391446580126511287093014936187198725142799571777652404592646645122116485814106705579356770834135460543161783302102981801090723424116932734552950484763727997964198463569348124653814243619152003704177593147973067978350586058421258107975972057550666961367347883551900681045862014466500474111370767990807727692863417348027787098205508606126602743040039310324224245737447730312494910972527639250811946055916669236877484920130181736923451652365756130340265827931304752424840996803187567072293177176609158956747106002049044379323450495414325509028000627237273408051340984096457446306766111814665683578237682482327272079159558290564267787646200185206916675722223128978998546538252788314686532445209192875760129567099994121279765920473893493717009425011893466675764684263325143008325696846537582643539594199076965530581031131133055479436056301520923357303583327135427633091173758531096681070508524070807553557601273987532433623746043839340425768714662101192305602242805944506002583107880348427844605467625989373643769074306851656693852843155762573063435100748432132660979612287994177194959965408548825097190393509340013441735035891427932629399656181730303784075454753635968910066862814502238236137763021006987661829856550128901160940113007985786009366044128364878023085167696772334150410042915891110336521336448145282214093983616415454543234346670757791066821370274117312361776045206140612271777638209480539138712326397256716169474668731891072694144612478671034104213750094413790046604677436189831733976817146739076520585127866713373285159591349721032457515390442719780558416262317002382372553256978524183218945763816745336747785974336669483871992124786982326462098769938120003026433232284387611968978625815331938193089815513296478555435054305204707125020331576207618836139486642411807896416026133852820335885544152403567700103602540986681486824390748734956884081610663235148173400973528855674474807145481737811605368155851415472887708270677394870523862986899438606168288300727401851498435616621261983681942976833544298050395575163781345946305405482947623040323646664535516745710027694830373377837756994637903246825709803059264698253063446739733922294108972603553702995367158858380181763602624982225378838831289092311890533501700357165385096476601865383328816601598009438647309620188976972911657061012980952827970853403477634924427667432838290833903910667231225217622786933197185413956163228533161553649946274463538767486658084041870973944756441102148138010105758832798691410295004191398371227208156903459084811934511514692123337157641684349270635291073077019974620618083715404144672916227694004303612253114229520149674695412291231681202823130024882282278270864179331760276349430219879272523290905790349594067991148080438521869132232697683767469130364953100558622186225190356523452959935404452581442030435190851178334842907133875198157465843657729153566522913554386969266537415829983074001824048491771878437487869395697892993238309557159601321854953241434028839188492134246056365339256205356122726822880214733389490665391779061044947353178282874811093088968800936657108543493363740642155494934875137633260798378144987635907771425952130295752266966150532964237674734108105023532155170258229476382890985280348559257933916225375192935404118082509640451803184558820898004231656999470201960306003625752441092592710339770462250721)/(40)*a + (65676927424906778154801447978969067238099648318483401734613655235144776830276854392219901944381333456585524794961796357053362173189737687600605002884795098225735098195126813479627298555349756271631991044234517176123113326842485086091956861348401322469238635911536358803441290426173741795208955301302378691430862460606833864153815941442208151267453510935976461950816256903037739691319448719424763856674192340989975969848729858719931416620961378301554224236540973862257606299700789651099914370728231734669033614009397902637323222614103667361496297757041358668324834445130360329768986611854205451157115887405774885886664425648060849808903849038978142634821858616920006811836358333666761123018599067673244139045278954312273100837062960184448185971776891703055445926370757717887999297393682821428554963235864770284303307817445295489695728258245395219751474243061247945734483887903796037108897593493654745468376511245583400843636433983917586598264179474831977093851216067413154832195910603056099093672419340305266872540385371701401373311098486618802849584813943631719932687183546318960592980834635768421509361618001631296456310421159942500237813377444538047041194539715713243244996880239931777419729821331569652746489190310820333347721931163413233899995880419033756202568219006389701282823825209468324532712911692572340042939505764329337999760310070723734059478641204398635988791083684242908085166052940648643787053287086872940896693526346614549224003645624834168304576899261344434273503834506007547839575061690404690148084959805629286950028810128100499091247347757051455119390795658266600961504203514683040471897854839313687230234451820193187767320059185251319645633351067108995349634204932228348479041783405704854823013944151182060071843690980971305324934841665630997921921504191424307531934289754777977313205954792887637487929382210229191357333535870399430348154909152625271760206715771225565978762689085627597207841101851396734665072292214566073652654419433863419234195138520138476543515574660147869691623460344565679970961990745534856235081235615400634404815420320489605061615684361991797922553010060191143525370086213109531347452247391938185231475474153206754829000145589687442468023158150460027886626068343217454194256384364305579842195792172586127824772848361422168904161925971980668769619889563676820576602147642745515994916742450387441064805264460508616547936068243929441250961525413436142401268780546616441023037469417006122826672105955821282782233128735947552376189485290948721069424187123158659319195110721863206634512055888722790543190295973273467795676740666923269568985587545785153618749237500516404519816583272257405787331449823047789363751233741879858433933823340508299857589805966811891267206936809507531788926694900391832828952813048725268646678383443205430453030394679454018524331216794656129381273256646378735400697730362599007310743856577388973279544677588103092482070411664184289417059282241386885097350087737621218137140813626380936708585781215180426359023359862486901679581578789795415964367673715862696034666108365065626177451622161344644757361819725589231642578963614769184959817020742695961582711067610843661132724590478575232353073516582743596626848178341371098343958107545400045526349051354071867475814744848608212609803934593181981959540820930858201758199802544471982965511594122110539044447268630524106411206382530383670478748562637685346914522710262579947205708753170477583026179623161121440409336147395283082787059898693683853053318734883230428658917765596567057848994599654308161471577675072671640134385170082969514466638592685555887276564018357142304615246404679085845262551568907241332566204616132639858585699599578721156676721073814863064352069877091069700815591193176107203719795064788716085918162647285663952143673498692389568770557001069168587222429498080882214563719438022281207003163041416190748938621362581823608202155315885610699662981347944612750873238073623473354096446896517128888551480990004064993207349895589874167838547560708206278253138225242471310502265270613858055651177724660634898594039092170802952053763708871307606116117714203601516310076299224274342905624394108214212669914741319534746069694447280392231659033616529791838961584549327867428864499436693594732995187904492932763090342324398390383287498974758172989797228057410979688637241474890579740173283709489201359173841027784460500749390523858060376976576362585079087796242786973233780711424383118236062492563703544940846698438044545395378024595218023007176554806316869969533517766585295713385609750064400150489951784589184319105521716268299869231920677402759082025810825598178614474866436972610731258405152492347316234635906677358983022160960226092077222097520711291218164758149138162052484309765544415757499749031854397109246021403112467343128183497362820218468281634291368844315877909526674873821457898513994279841899579112235760620191419151134871975822698322383854994765675973220038172518106381656319778164407459184015459890827717311776675548280418018182547677901696295228084248352036806134356251296478935058728461696619208738021978926172607010184424168509247066113349054235725011683845953834859726391394485960023099784560431025530730571314009297271656437595678825547445321678476030238544422261403344958741013230948999147750838733686312994658032796503002983885531891349425365687627555929822574744186031714906005897987074981824918412127745207373485312476057059480727533758099334872462762252581524019402929594468426567846912879171333834535890688073914842686629748582011963652453173350759615666677337546830990175106099815741307644292377066479383956269740441790359792548613812605333271006098356014654302171531163772840874490209619488373443499512385244804354485716679655960434520175608779123823066469774004880662608551646934839437411305985653494665003551088852450328847530627235216630507899790700246035678484962322976573997550694562897211064948534790187316030085776191729327799325894672038567769383784655029824803503391902007830298032833621400473714017634912946019918670067519244020655283141022580244277405300903994729651570874315512415702012486207970550978065340658181159113155436550880566180149213830278583514469378680137576036663677161480592711196500515615755001759531097169538864772616643647977175663749837238954272212375784363446760147018265610582523985465553521231010002937915815317671670832573413812439689697312605486114001916038127959904948819574220648553027120295672839979984581508630037121359667170067826431638526944262575083345717783186153347171367972094420124255270562555900089232246120755859576114508347088822323832323366815886287146505373547626404063539271811580854224149501930360814043999090905936578081797449160643175229257307305823326597681010321977269295163840418795753576437760053160595043582237823212601771857798521658882947628275499616473923285943662734653404020236773472623549405038799527925569678648918309700562449967613766067457663305885368054720717696452255618668826559909432105335061021804945720712885549246425570666249760748071190587643358223426690953220778721193991194955731568058957974545862047728188364883549266210674852474438330934207212720254272288591683784798047920403709272056130003520272095934437556802857141433988874255384791183949105625088730879927579686519493933791525307629392635397646466411913456658754440526002174310865915068990320261919083562857083157316647733052782153097733467049639769414209903382399542836826753003510484172176968303089282675386372011328085873163514879308584736737558053819720624381166743374119773527298721527523024224940214697849604648373587489496587504853119248361306657557702846380205719969523822653866654806686831489287298669063372626637192992200157247967220132070798363085329380495017498797532117658169641808493893984974235715755526901971293265243793651990118146727788951916277431729820684033406754249113943791502514190073807237150998423384743798171813410680838577314849973990134466576373773120722649874574229989080120891513672725226552466029516168297621991866462965942188261481498191513708476708256059137438250639180538386962290654558414235237173286176986078671116453144762442665495762678935080745811231048744336140157522287021230913981583557787550795737154049375173688865099201885291888309147428256571786330554685357379933610416262525463084428840969966592318260899977395255859234387145004030267686372082977144708134803822665037134393585992112376453165798648117899041980761368759951430104553627284696310521789409928107778405406331768903866103439985822265734526256367919730038106111686314032571354368306811719587440297462773403899622007261891013437164971741476482509264552339796324698171790303705435057492343736177231034201264591823731250818788455225994818530321089404444461260887743620676415309720411830503312905528437284824786353705602655105111273153438813564075798690774427447222477265924900553922606191857531168989481765491722281807786222171335819132493002485542196478892837135183675016286501285217166064592609736883555383934240610420423570901120530491402609647231810673197941694861596151506762759988413936792696174593850583235409568338929070633459896485897311670031683822154159003133942373240523193644435276655205201731388390498844560735071169610270009355528192057636517802645521161337334467694764677609523706278624427382389227136729916172167554990587999162475178785403314935697018275575308177425224586703133842713080805237834293075904369979021131484017454929315835886347269247652295095413157136504180482835945133827759033910101859662403598772191)/(20) , (65803965890932379659362513897860493787943296085910859757742300348280886881925821117691280548277147845449391618106876425724912527278837590990105018896662062635093734455580479787627662327992740544530971335863663350972246960842472239948080978115610139959336152393155020004979163390674785564242797942242589134567816670343323101375773471909036695944187104259329712006233254900741725977459029518915920430279604571226816852781526236538790993501372333613722865201275043214594458428905567177836430437845203549696335286675718932734934611306284585586214413848417582993029037907626293600452633145954485105131666175816529426872832446157689384451095797949279776088747323932752118924985390262957281057131525441260121151725039557571452182428595370812031198165187631857011885428055454591768538492817664134760490182628317312544857960133597355503477837702552230780760816128844384615880692785132721557895464178223102409476613003256858717846135726847708335319911044807171120422774981501637208072502403219143620888708717059029184877749879216663477965315307612308375851630848840316779811980343943548853307328942262282016943658657500442972165532276405549048675099412594190323369698064060335203333574655734477372443126857085901634904090642589277254249760025057070839164028676113075638449642316272053545631151935327709077728756053266645193594420300641400758749027226348573633557249247648696005946152103214363985876194015403619629411965196047628116595048271741622270228670940223175883356737217710109101846876837537454215468402846541000403196842429459461291908583958663576898203894493228265232543173835499913311279740004171995924177854359694366549959424927452789861156910833939218938549581013614030041357977853907639221993964602339965203763715784978432239273387098134082986784036091546056641029320710928985242858491227147845655583639003931835711159871737163947030409063920480164289365451037137802236296734071038464416098596195227725778355880283549979477031531395334591647113812326404255786857200320141826887736742101637962410130594961769402419484082930015176987063201765477051563785154079134221108227348674317804442722204491634386964259725027579604983140162698878183468586464429646420356576630539613309071495926234837913691003929614048465441656797684736268912036795316000123027952965347728744325487647556928389631060983847717118912188861795390642839776271487190251063937850818801245848512804953186120559109460504378972741245165907423698388345258665098677504677932938659162175641837706310934989782022609718472300198105864402114434232146907403563737560460091896508720979718368622635868560383202858661513944456391948231379663469876677043768405636834379035954420205812466710669573001281276992608257927325178618712658425891947136268025003248733708173162523239425242263149288161683469134964356956463036628825884953799507837593926852089061531792391319265596295689480622263023870133293844794923934279803360725281935129301280141418349484347853701355240132014446117074980911164222490963835557594769655179563292906629847446822484482320796516237963819581975848969044751758144296992338816013401506421444530082796663255989768812871844078883701612793845942769173268902880074303042048558628282762597621383911153053069408524808458832955796947547561064202803214476359643600514949155857326642395974778872219339266535819956314460523448408532167052255100219330707107275752913799255984677711172491959741419687848569449847751013431821225865310012547413268073493943621294998103244395991951921930116489198900153483109672655232950726131887215789494743659034324671064195412820085460856868197762921344576174979514324347141913533729996445633006411820314474762975719565705753218880185712784535269340645718919004138471904555784704292586928175473035977686204065731999845909446632841483963331825808952743502963744087426711730197638306586369450072083500117594599466165711697762166310118595374213165107836455837844635708667815960823571173485140664843830796848486467540622201927451378528079108579175322078328700020217187892970561986172682312074031963814687301770592284538036789348943180604530528483142571257799288187691089757277887441194540138990116044629308481192633866888775278765055372363143826352202513992451701316516576484273481764191404497783612103182809405822229219340156913087447236222038920940612913107487641855555011844939228556067942913234916579755767549531249776218577389645238746729578284438851270475701231667760928188280168844352804787802797234229954418005157260896550716248024523797534081208635168975074992963046274702961982254178921361345069856857574033956081948733324496946687482819308510102120428533569541981596353578873825768085957166056345203628701502038010084106597865476023567476988785850436832229983797854946146446369275857899078316745850638992767441413345841802464455805698997385223800604258418907940979832689873771073662893287996665995894551151352985660787550729164729661384033799925530915257099891905119691184867034636849708273544827306400310714432815138975861248747456167749045494709977459731098347296379428354111979612812926246961890960163514259115614688739583066612331337777748737498183656150211843697534940249296658578300026778354227326336897907966712019375566563012499344402875834723932166819770004737510163285122984951185207731937968459533701403924209819825911509166370728996897056847730496997135181616922917796631178194920809772485625060280667582364981936840690686940117287564928382918350705460505364622118907866121862739111018123779148737485495068301780333386316600906412647714332984348487953597497160922661880631484407040637421346435580307012645887579742960284889896670147989283887343030281688512403175532141229961093804808824374294740540449376384123037465374195615040998767836136453147015877415377585357452994965252941223912225952650410262527104967882166299328233690314585456535944888629203802270949144191073045066433138768200418627891368027970669026575560236208121630306727537077399213311554574168949487546834306315947520189962819338916457579999908771621346337942032459762827191200679366114199127018723678810605269215926254910760266520798322431076876075597504637470078633573005504158277237003339835491718849667377341738442948927012777561509885447121719365486774724462132595867616933373755710582055167984409806317326646094614014086822830017644031820815451113479854073363760482505350742323972395624902004303021148078603821035733012152369864918589319560504263300014995576844705701077325587253635739657818950977295821852068003010574259187172873686344656297013262236166172483949221439791705305458828586633706051506774025016742433335635434294177722307210452756627990083640467700410968498624829532156418275726285430773206581949911746003492613928476776753478327384391313526004296804150141121093625508778346886713179889161780299489391270430113934495515491920274303434329383992912815992162189132808583373164225812218571637943775635402586138767720186627008617097018300268090385925859970209102857935827552119572578290887003396801785064268139006314644154648682655255180329660694620882855075369490708690109505626483127154313372256663521162325567934538066880150985603693509532573779136029943752417854890330702508490212223506508314096970742634221790553485633104164575284325053057460080039191771122405053522760810780603658850401480635392782416998503085886351007402589393153797884933038526101594279832057585877310652345260124186952936868097379650789500078828808469491450226451359064628908149545020809295721374110603240398351902573416300829146004436778838276674981632177915161622707733731482365449468185536894769324430020383891300319213696475854122136366676388612350466119875067616842082852902410096620136985227128516478882132516816603360642555833007801127105946895863118466972719153841960517998069673372092685273101882306195642026956190184772600861531270469543826483654878457554843513011543825946382299545179587077250947026626873709560960600504663699082524212454683930913921128679336846431559468589922546615484212570030990488090581078498256881904383940718532291345992932053301298524685718019505768794773160651910088174060121368755884259722920283921672227435831159169114130139903781730282162464863593883140098107008844740921640936937997996942177056122415571074277237243054664111835952083163129462246743749783882345706721003772939709049536788756218932941254211275527718129039046275421474447731315078403756501502059263500114956946459522671189919684626129999832061583795367444018044875319493071603465175671072803771779149147143978232158015017023428768830723600912860950481617655274976187776083510646146794211587093865500562123127635400959578305591122151254805169859145812184016641317859132281419110038707701388857262611803152086416924665249103701367168104458174030186858763657312413645182609101777554745086329225823124372419711807678932750237608807607470904299509451483781108452604389696093011758128024546694071332448760669928142818404588020490115457834720887558726846216021651149885716466512410215903687655975246584446134766884244327707778616964206417553026137548865279678122358416714154259917517664893923505275404943482514749457779125582263237963709298975079599980469106734439709057722989581590924216276481972976958699102380843146913343138272273010737342350817937032642998399057728492542520153933979434372786428927160207624992977688968731782162522822517793260483353483477490879918584565015488356112277123654264919908450766051441577530632113024435809016798474166639977174052273897398390813124398135672196925098652909483123505339005142380598142862527831604632347023252232532557471559579599016994266594058578734719195176310476358040541451396274172253429133776338014176417895067012675708285977947128224396902765110362825166708903160609237007624199245966574390138146278430372954843216964787009692114009620626662591332113984295739327529259324289583551324322288964224422362156448632662994542521195930512168223285605842504532376660365402110493817478816188103722444377135663235447439499529268699224419391869927106969400973854621661945987170201829583260856781422627362152391122274649558766881949732520287292926697496758673343968723871983138784334160718265990658014045509412617167097739478035839236389312355634456106971782485263065262505454716675976845264002476121634528335924882666457706831818775467607535385928403511387879944223871230629827747074276860192534901553492187715004805348471837651697406918167355619886126518162503285201047909642880436081799876471560107511939498070363749447552989958837254371447399160657915072351136734719021964772631290512769723058922094257416353353618419267136802116004726585721427606334962818888469553778427373914590872557685279312676921759677468161531886244195590361280215944051619798357750365672745939856606966281397722253395208706426105852351227941678713254272143113366979283785992756266968956426646583877107580115133624928457430453243067236573171886955907712519694973224245349065280999205094648528761491686077033652954559933618716255822118980865375982161724732645961461398210219397267267412311118505316159736622158257415048626971416556338587508041916608313511102574971260510911807206581988992926511633935616907613275886988292119839617168458954845365030820834919195965597654354123489298956513307677424640920569119566360639774209520770352328270843380405953652012374678640986674983163665472573800624365084328549947714031251590481948466039197703686366923043042615320477130204659995533753886223376602615417078335945214517042359161389617648176151279927113980449789193080182018964343974964582873183728977866162715915787266088015705334475807948641828067724601706701834708038603695308842894074630080720285020248474327248977425791457286006760764074534111667691699361925781869393821314790115068148988021269804465910810365984508725010868593965935041952126083030247938420314472605054164387668598012100532989774782728433082265149285196423894866438436074502073242170592420043979615646475111958737189156872018446436658017174392964886769443319048299615807320194481538297458441896056153883564054530736366932374044466671040379504491949342247275674045995343341493600195132751558229274413808948029080174497)/(10)*a^(7) - (307242897952392171576412177014208872115718442059538899059970323068959338514970564999396429954370940609402208377398904585202536120662150609114501674833024853412424366603099075772552984634349822279644545579050732687316576343628891303815134838936402140905254478575254318973997570507709736500989980847240951256436523739811918092815877378740892317031219137719728643714942605116272186238211038720397771714173202182489411854543384052701742651441744186741091072006338980747775319738022041841770277873091449745933147484252857389934240110928082833697060991475716333089250067264540004613852359468454575686628805025580067700366472805581117933158597581591902090678163990463878467717897700147156463491129528035558060491748861578203933916946270646589769038347714873837310307525643875830886471135410547064316089145687993917488470487117278813123816305625644555393623995496381689975812029070734051069458079689568292365487472386148843040390281088412495644869278096736277495556356055635366261559790081766838393627603117336156393453114134259360900546190719154002997633683852905585303157123193346190573487845503136576753691763420641556732864119561609309544736147408617942404671931007703979093985310775739199559877424637945842802153636662007923392104986609698360825757033066855520843267077210066629860134457527692304144452536355913887397912114498549685969329636389800513392356195868619049367440531214072812295953558786140846912449518775210577192305021769535876340491432440358500590746168818645978604888024045750569923557998342489997539693041094524026555246469338044382162948495726716874160912061554705078916007636555876502958731003752338788185456578768553308380229332040678139091695760328658865111121752665788995386787177574422948743948505467140381857733566566779506529717569794474659044387436907190086176906662637159203720624341772695061301486943374011791370371703958702940076573432115819868296553884998653270038936350095479525772601592324936559887956760378150629241817653217702147340278302514058737456690350193632860631629510628504660686976878863420496497139144311521301868051094179043173425789957089026319782916391069203880318945709289339459968276691162780784997973696956755294827907922186355233184963497726803051658170059258324342030067643707030423181119458172522658737671919951459492397596216914962342274112056667160069705642970715099430935778317851630150268827248676607250910238824801694712235848290595628462082004451912123197692118241717531953218455376033735729000905324414292929541259424426791495709867318158011807802336185684904561948582085087766963932152466768386324859602456788398266159031674356288265376178440919698426563158525601391497566843098812559627364026442485782691916343863286420364251250094350024507410777654778232023602311032218764651092812238681703437199151059557111507573027437866490402253653645370681092612394783862007156490045554720176735647118549347042293359698585388921031909727694574558062165918144112620683811117664975521564479685425173119891026701735488514759144763710210735681920726547965383406275709630922066880391111894633424198551052384215190294429116472273725936820980324505986001654256870482564864221723848938150633731071637120635539268055917819456679372008913641697738742706889899665633970121620697303611502868479110622119006055331929110115113059325635822471900738332734701452592932170904617993059616785248439556774197753865504177334802808385767657858836512105811341124553998668848827751744952753532902330450317849730017256526162416346001873388956644620035806727148246454067366726611629062057146383120819523491864758980385798844791683483094000482284048647776843016399414611164027890884186788426824910677008560701434083426840288762814427426747575222177941811195730020199525900512267127475792761849125402825708583848898874730132627817508855163432373478621146523129088446187523580946756706338171747366568670589791733331232723752669658565713788166885284826621379109754893837543506649337448250917450152010546720927082835019406104127808767008530429435069163631437302693047766497966390184554643898951867923869641728134096456880293637455279120961777202631748133416407013103029659304701716935756730722379838958308650066382615285108579458785130455646405566834224461770546071307902506457879284232485908136161902906312165326840181994263574568952934990744152895533849663337127013028548470621383077496149977115317768996270058564830206293839538810327695493728375357277972028949124237840630172109208092709090352367180587361334090430633188750283640105990564090389288425455101779259758823310353468975010580976153627457144708911286120674276832575352292502510191069030014816091356661759002251293024192983829802229142267251912732900323946814753824886981026385916046672992993858213881582228636077677271523884299920667814160867133701939378810396199030921542898603032923871276300480046015654033429866232228840316838135076002216817854189968950811286927803017265523523920494130002002691262225260142847817743147730809946366822584622636799989348521659432412675552860658584881857869350706345514027656870213718216680910601180760875225376359114347063072757183085989100628653524229919477961981165952804816282429009771276422905258027572061272968447558788303956428432313010987712118176457233268048081382576738092000329380498852146599041643824007516029002408916757636734742909568905020481151161705293028234578252692262752403320827786558968529070227953810194685264266972557328716173105558960137091703221525184568611018790314765272689356064492796963659268770402671180209900308237809440514724147574657049762506789424757347122803112115533255418673467233222554767459792573797623206940085052529219687279523266354435152874638804256616597139842728551697569512846762110768590015600465122672639004607298773903197461207133402267001592124371049872114229762201503042182888472238088642198095021842370026250824053956518935832884742417585889034767654882199086160847928331915613680422236034375880435745653472975017384618058195263747032843192524903151440762869145760669732744904601045024794570225687718632461979929363726411648078800416023737451048145928398325698425805421743185826463978711767194560179086828108274992034808270832114043531128320292339058274896662430091028727126287115651269586817946537342590166212507035056245981669659546328569706484606780461030640021886202213614158517109291881127343093378177202719382033204571936802184646203082994201336728310528789505049966397176042993624186804129334948478035446051513406089306893878712175023879814200490197229143536773966278594769408279154127905528283068902416724306498445759332164929530658136763377278740275093135394837836646812147967501094656609494613424622372588761172642202032307441403827646760352818249906205369560438544187893695429021527270965190136743306824862357947581309079407182487184190456174255783925491174616850621510628455144460045760977569339869003094297649392104462128017025791983337333672886010411443454471622037786718568858161947377980584340494304351083992695335393080907503918904925109019790542176178576597955099413085077563342087421295147146430803549527037067292956762470113083139734055674430519322936652565601488913260750429433329454518946472086333631512495925716129372755338449171468297852301470299674904675947720070768236161071096837427229050568020880783713687834606177443564242532272008671884631286138885311546752163535121959936809971614457716208542848834453108658723561550119768986962490274752619032077984709427558460126873510803659758339135652330190661583000307673571027582423699827684420888354010437691347881494306223995144577740920920742053377731235918446934260460915705037582483458952766221732517668051641828545243946868567747206009486239738260793804697970924400508735317624269012117698326513943325002999455520068155978739082343313187025502468298339181165999327029459546167759169175833822998248079529311854160017064872115058705217732929193486275089886231874752609343072610981109620074425484815010865368277678401598019241996820890977025966806585138440697555525813947026454653833408936889078229099518868559402489822895088607843714244374874322402976055699109647279017086888467976282874811382312061446446882411606214373190876065199686309471308121445345347800360167509019775615737064237258093570617607862394607453047405447134472371228300573019281579866077454423534867902611205392474609014330936213789629669012746103101676783417198076247874833820656136146207560285379698902741101949704499311926658774803484787603388215515626230590171884256857302243067827848304694309967142538029742023663089331793801851113751921271332018171237702412895376086946706617320334453740703468111119700635219015326586678042389211527724590069002573599724974168537473078775249646619237590951415406376002334322293936830433899772420525796860404570787878551619110742265854080239394270205197156881095507161724676148621439809373491639647850464697419802143092863800468550243088422699060858345765260161520215568128766946318647855919678578597280920763667784263685056812588745758407259242537784339816193843630405547823416183413954378069167244197891075524357165808165507177489965528952434303151267269218756460641191875223154207984853741279913211546016662175499021915002649055745987348849595644060964811420919026690276128076101444840798586861179963944967498809846875455466166000289376512185569356331149315179958398143432466349938814298555346427233138031171628855339684710614465367574262824324893767496060520170604696785160307084618536406609360512508436210238284237330097516967943283842451600823437176834228454220627004553640441465859826723798755482270545555597966730488078487414442005716792434546600217543369276129286654980791023722264766177629192462046909359624178325687405807112177603391169810552421741415408183603248502924665169674103177969120352052214757962599341425774695399221217757589821849490345170635823399827538360715527061366523376857189872435650646482281841739208138126717831483895763546430936430054769534610703619728778039497810323579377851634777165979656832389360065518366091432175115827663712544782664399357710631161382156091232332696554417583949319584627807427595749292543290259840669859397663114177659617756028257509578835698627839995072043505435879522666072390584904739238503893080379199564537608541317238517890573007444866465170637209696746849099686219139051388665077668964659975699121516967512041748389863343851680230922814846971288787657613660636313354850896426816632453403012914838135176038400849597346810281207327788574433013413331672007918111429365163363592587361078559562511983275792822934935871349595004430646416625202748494906283631111850285686421863403700467815713419325099314231163955279224669576266209130348547308122863169424893549196453505741154335521731625687247770223419918152245670349530327261993787175701961214030543888105736348825385552153502368388376736112283235624311570686149447502491520983514472120568313617355042170137041201667126093612827083854254949426426690443425129201443812040645417765561827742508197842206718158877107617867710228780961514198822255114004394062343379197707940393762909504392470479783669654326306198032921048905091688755662551417193780849665689499531529074935556113271427185086855418174106109249703538110840406073316274322754465981004597131983768071297710313358052408819293354092345849731092633346244404835262261537271611603479862249773158666636733789712853908532296743680816876956941554611652656965546538061990596371093680108888795018646822300717286593937310241557449121926731170460007111800225265015541850086843398222356988796397769396925598509890696597314643198245262508151966441826653444617575823337565736498437668902967726450182574902626012163517236172793500676331338586596639578957779272861442015077688881360425281166252714374821435601704077037339932989903411724206799619896618271422450216343268117986021910676669728371910684766895651407783418768739362834903825578950226702980361433402753717908215682758684734146226368057999482698678200019134869967089975346495710117452647289612402929468307327105815200519045380011911126646332406261598530283721496111423177199335768306731505374008290968784241940723)/(10)*a^(6) - (2243776192581077598192808746132779529507681960568311249904273470915125063338598837240145211263200237848643199284327261233460622710373347082106303886437195175424456744272199666495509716588228050512505701378490200053666235363794606854907949784197074505514924353539381412072366538805846903865165552228259199846581755204699589314404336651030284385781220584507174605370307582325384022493362393618467295459965349585207838609487631985258293954033519841498328606014389713498310621280420476023884625827918947603858319357961200331556532417714823154880685120915504965414833786008312698529024479425306759282402557653781726657771224944338065905808544039361421900385116087894686441187484682178035346898961895348322759314127967846374794155392415930661567445408208567427254392153124193982567321166411758978980213820592406122676136198948326940950619414597155111012158392354014362525978850795946413375611272406128613070466890523024456607557045097580401108671309921829144509242851282224017836264531157047250095566808725960187519923318544391991868651050632499827738992040913743481832261054044994638056430359343796800996191079730763883556242659390467674921104844316820646353920435260591139668542872441447448382159723571665079884934458153706484088036959662018070756174823271952116158607702469423132635192813069728145764856328277297194487170753138860906417902562646839696034665185389001929295178548025203796475409804932737878376806565826105680189804717154863439283926560512312922138379880538192564299356165680980240670573236337842189949919627358283793605808859823055819796478262164505121874446556685908873477463414675986847363804796728865456706750153233547233233388668728506060223049645837010681005659454007330223191606510350173458065326956126617849504865145710639177347395344115255076176286892870721637054114121324648988386015762074867859501153958715323712515277937561812227461278516082595242300703685386918182822677346527009175416163826827799935818578045535645878242756887739536831265817851479112221500777406576373223861062314481365298574290758016350393644711149436571210058008159011849144160935759545888385671713590454283158629612980038319006231609766738245082272027199055724649515330802151649437096898739172656834529718536506211066854851469261280910255197163440837521841764361607219856752931741197054079635652383202778977016881567031905047535125855596179726400116264507254987076966618217145931662729139638434970166529565822426071223537138480293369724790420480944397160264301576423627917068089824665084180715096496292741460568754379537763630233942395446872343716063187516743154503323968818648117681670378119004177311909733776149120592627087756455574560778301488587206885339137721586513515415073532834747169945945902583623273986951876965740454422610170782453425641249191043746873485494190618331269107444536488526241584498354636093186727783118316248813162846387747665907984711587228948766335817997763930430682102733933844983552125919151777095766779433062768964853663356407129740216921516505820223642195320193457732007021986076460345235155067443722460977697538241023098741706140157251372052014146119473557967391257194239739126425369409942375399279671629958517681830049714190674681799334880090741597190325939002161994029748112692381214167939796909731363966289310441031314688140864636623285351715885226115860414059675105066226822577327198276183499289796604376313294456285354686453643392108079607699917788275937146048607494088617894320134891898071753901442042422546622991709382687943714944365515431898607337130493289051916014590781723890088259249899833801314472303093898978188527734617114262531746129118983361129747890814235883414849344963265678084715600459527991282503823214234100659992944014528331003026419570545755782488681310486659415645814023651182557768610542349719289446684730782179827201664603286621786180491638728879196615213971273811718189330381214461715277486622159113067119482451317142541985301933231776073863361247212713209537068728270765198081115827874559757130663102738722005200351493051079716687075123630048705039167197288153804732435618029662825790240695094490980053329375777341371643872248259951218413392052987033374584625599768665289790403378758442180225516942073296612861206041968416401733049451358460011320160367208054224317681416595762619036216564269049502651054191268827434410075542417529279395471272246002530114700445276107950202770744818404927899832571867515934922315791002807624011726470772383294432247204904284495933405986890510359836136246949932315994253237108519089208606327732617651204028037054713867050170557713206152199280589005226076394672029148680255168670831269468231556155048302007916363001135230244880690530107583151246599417842307943338514782487247406522940040963425767696019811386483815655909051852391195643907379507019023452560119822380604322568532105764192094395724504958786500934530098961171260856669694071484292658910180701563250691100066861128284528562816560297019416455292273456545441621619557677754038401531222763941734531891682951598002310943877107983872044171018905368675611359080754902095137412188692320431520439967241422120721107846039458759977123926630669291971759240933390965665306119272251526153827713618217250946175216461658680422683497922859893339693899815004665736996112673377985707623871483339059336890581277029412915465651565781466157975470061838710814532573520396525853780827632996257617774292643908614411732099468071060793631526384486770619554192700147141560106126902945264579509475856433086955231060996988679681143609519006275828954056085049902769643869327861690769483881890343776843533140096182172692516675049683836151728303369529975555788705696594405587659918064773284114836241390160715288083528381579275461614298306063786151438706951036119527768329618662743534881250714311560710792236493920578549425417127022014373293326352007170855035042946283565895315697247354774471628595112771631950505044952356345640448872788708601380704454157205066529400561739832623810137639824790132217631377773480373301791168997147181419259525748642256709697497253026776046193217179915800432917913268981432263520020528391630667632812388011267421625287577599944738320523631046297755799509332813371731663361147126638493312057358847141157032763495181128137294147122732991973237816298845423359143278887503096692866898397968858955543456875379673666409302520554420880958452968965532237974358916553890478698474175515535285608107336448555047467961629385116784341789232452677454177148125301656445050688358315468664517663813161140158939873676420103762158391695610489576658496884338053491901737476750976175483478272144570598808610459871586188394912167748692446918756536046488018385327088446456382261693534817631650402895270469370874080786529965704186380880176758078406080280145638561506521734726950400494531011837696513420195806642798291508470395498961472803134897718715290480240067794202370367399788838312400846479884926384490468780614138676405466030584602287021061340412051478647842907199935740719341492833990461892706390312762514295240019916419411070207164348655909264319680772422342315205557228134781212958685439603042837055396233990162731571491241646549184279484488722579201303141680892691337201704781416042373611704117991124383565222241585278981553210532637994425800994378226199618205216100097590754293985218383284583340019666979172769425829813368390705406856761408331689088959965920750056763269218664492587686417547710611890472565815299066268650501533506358157611361122686324224592286662483796088299614029526079123197164322779997856173617096404255703994064214359563937525258737212199633411615198532769766798379992776311860813936982472055891449486115605252341623359232623829136128605098195603055653717895878224861204734307708107052515374871810448423279489950221181938199518246000502417436156234847785401906417220963267018137546496281576370730309227383481789198481566577027380022629329065428772387168459984239701905784703993929412752426512635327583698330953594768459280179331618560711758761440255699101499917053846293560164130092904406497918554739255844645434767713709764178498822771310739037235355648867832419594938439947142865021238377866936497572990939052871735545961165257625739142891891860013425954664629429495474792084262591988631265308134816587205671961429977619866851993738737730657975141822119015385473497592402620097831343490821645524927939207747327148617659276696435295436881533419407288510789938420267913146388999469235361873180629336037254509664461832077164967244289078316898262941232531370340014948388424767704564717967994376628989268741761595387447529725024919033618763928892793171323006636384942891086849289332114656401336151731013924686430583982672060758590582588064309386807720646341969777763784913923382123482794996002055397852163890221583945138610394883116846096500372495520529697638090656126633514137337182978568017648601845805508165056198703019740562719557454278370845613697974906478812981933794418400224726980866073157417464715658661190395164644138830735921365986395743224471207368648242742558532400549643212987309641018874598740349562154278876749284323640940125136695837233369385381740412911353988125077263691346828980745818376634755166561480340794769363600271863342299630950730466658626809330158967800533978706173930885408402463456328553911192290564503309592877996175394179205770738249796823669345848253747793752985753432029217661703167404368343708907724593399276411386297929338128487133786460103308374810480679169662514544268058266726392851930092527054180476248926798573357980799650127311464953777060307715798658295526906771487151487783412457203882146826030397505547802073747706535454232039535094878488637126308865684711452412772388576205388191823771170479013744864984110749072747129414243751098171831069464421199844059009376398322950331642864580101321928561457741787907236236134357173504326885326418352864388103122122626626746732808151231641200292525694220047254239879045191429095570513604578272236376266236904676259968269365165115782758830096248168865331177978340462764529802116951749281773196815175162497581601291537513686550438515710316992216206219941113231324432936982065989708023299501699986683464675554104921016189599448773669089759185358737044197939688623972924225468114361188459006979066255756769809166499349479866559396690560614148779794500867964760963407432926263136933398879031411669468783425806616139919560337502274256558308705300586076399128154190297503940081127407055871493910901458795229432041830268883077862180836014445241494620575046529480144351948900609680212630227844698923650105991673576682934996218814279092892384626589870672843278829131332307201445083112942737408650031580068846107301823870657163923519741622236931415627427133884707914131188020923945455714904186328629523311297045367668063421652622857737049463321176436667732185603380879197927812701492724121499392558786950641154719051752035771402073819622047129935560646343806934003235797574407055182692045720618036286508328363848276739729786702723007707047929713313574837779083449852151103092989311154957000492463156871035022859752149614952888014417924847656746047759118246193538821082693316291065226364968663444296033412169499515846768163517452014772402390288497037671742905375711975172999601231101985473112228195614513092819196508628348564288663678091232395531479032785528221227858477050500416366456132675277018282625953147505189346261294377285459254256708583656159023320108003211947291700109198238570954090454592975944537866036583935939718878022733057094095411832500639745898262008703108181508558290984280617749208097694996545838135499399861581062131320050599693909732567696655107141720983528951459354958128416808514921143875900841835982438705857634567249154850187645684715719675761013133596572410459654341848838655113402030070433635545159722817778425182922637149626280900267788778573229761606533034854861260391391121192424491094007273422402712536300251875655256764738768118570626155676040167984098537126081308646490195417785641016164517873763743804694891317828455020774228656170435021641165051388378486582326121561214449841440124463274871707174951788829)/(10)*a^(5) + (6025181639832760707275890139104327467455888443216784063674066298440934987863047334844557500276561131862695645790741973884314674535848145050242953593856077080316113702714941313955586178167054839614787363169032235408820769478871942136892589758907721814282769630254363014519424759609074538206868596994496652320314262824441087568305593086643875565547014243623658645315615895313546515742138447163620544957224346939005276840496578308737193214456277360099775516159081206327118253128546033956316890342364375773148216504607133162687977914137013794076704972412308770679492470945553596304043312043369969270171915253799417095854612698863547378643028053058524999393153212522144827756489718974639067579515419200879460515571365101780029497237385025734872473201769331750314121808188633998489933073443736972087783750154801193393739036716193977706862150546609825221225812947616878292641216073978438404025952855786574940171717561296181862900541317278913791542820635367608265779499785571342961585823604152705290115379842983828191053768647136075953497833258080929713744122154657915172581541557369604152458383179061424416073577946604526717627813991557107143478144238514918669721604818671302151460260666077724250802263161977295128013548082968349766361591198650541567923358112707087707148744557336941099263730255863092289463927241419596839175165043875811722172653309992967196363869226937533298114607115773914439001793359807284932578182515013946022938394739939940256312079379212936594940647702071404425749044075451236170241330895290520014494353517134549358276327559431249583620142599653051429521340480113226342401265128930211820488286150137626468749080952802648228021555316062036214485828110728385338083659750424774730129300146914560392451400409444058826374101016029147967450210469891497440351108057773752863681174026736098254822518159898966194355706572988387405631178912212340827022526177578991243825635843381291778685569254400945604913676612606354601495208476521897265644434466544890894239978061959001471710770798138420052947701286173394364416234327891623273424799636863135203505422120355459884586942925944824065143036825910655799293349087785738690454191962002307600892164010438900721239104002087593455027614411132231668024444358792903965773689644871867445165780695043946210256441212675531630135856407906308715129974981827628657253450277772320430714255163850023963892101417769295611903955222460001546010827296203112963720175838066612611390427957351566189129539364786796609821084019251813130186493180219842818921138924906944476468360500038526474268525027274070768003897537444875592365267514335242933832980721384535531588222323766695774832735205781305350104023945367861881358616292067010160604082087197013422130039683712879792995226268172939363570418284731003276058413463091810807464273366884486902474998870717995536400461047794818160716067156012232586164870840742584260002749748408814074727403422568745080477035210183037343387103400421723819482892713750142647956890585397450507087546695903439064841214380563177609754651763630884412765405285745756266794757691001875817819253796089176240971185052969227604076022738694109930684357325672873844460738933760309745036529344493898575352048456221265629423789778837871695535265248984318395536583831255108727695777742924952992420294692855062983693197945641965897878796430582981082086577466676237224113072072006619324921300587202515568893800666139487235862453576568325387786789170311233160069002399520158720057014801297824119214422145323575869676934810036669954726008812122530100891306039356872962044117936715791634996514060843103557025530236782818374066418365508227224461306892816358300209346949024038398638907035870852655603790260642174265212322242941215270241261175039390966323006316767851226528020392026228424579811454966108270557667572738480579718359090400863652823602867196490035577289251152076546052923826275828455223464610560095599799310363673996648570696879983282047153026514884055335321848195157607253692265172744364794834642141328257543754334758678799555241826181128323433290193008806401234401009028928399399648294891445078387804245162112579405688353774368138116763371192912663428792138805203808896494825604527079794101969619673051263801566303476933127659285721489538696085832418816372246462540513536174320990163043289689669244191491387995347991841992586190097699650472381613802651673719438763111527498951936425499099199980727577347952075491366583700698253538474614734053265508535018066958030171524925894157293948105339275537512114121137377742571146293679067936461247116580792813540659783370143979242996461545305186794007357080192396977314173787272174024056375152983843609755388896703620870704477453202671168593779273420184588232185240765142027429040600664743962969603727695859938339913643546888226606255456232126029293265780038686624237169795471715828282060926434503487898537744739119203302475988163743279877098166226994828916682639969753272085154733729449236378833768512229826644233233579836674869743266801161714667956237110757387912110694679393151420852227488998939129256851144942691276464567534143431705841607415151082508618292412856256879003323714083451589323573715625125940528972910926444701565395041539205716173957950521530019352185054104904111511366502907308024704029455250670259664775996354573776158048420527029049746836259679460355564470905769851486634328917303020976873659816651233221201350793542288131482657677235920512475262754124366814283149938436739221539126235311599585669634668202482800796033702960541907077433976653901705667675269048564288174020544317546978162180794257915359155754086961240422384693478197580231877996566892607517186706869618709495200251157324587076466552308319252161577349722975938961941932666604611503078519703359802841588788709067268024432617884546527718953608616136456456426082494568625717037564842096653268642553262884781858699677078756958147086215101351840825035010798740942732962279674888667117570152582815388647436188941705964880250385619628678893415357901022192209731385707906865406562154260452904124170114966872797959628064584983129862317716425258686001786703973603978833001533950676730857868963181637676126581117406595539495277527401995529164650320132858763963420707661729023584417496641033402243783538408997586951814675967298479333520244842297703252532162983431462593247572045685149921082485459821307611105250150771324269869606438303814982189672226010293585308560978574599067645923411991074721115168641483406598919371146120235071734359998675119355863363280775016439633921990363532136274346033284644121701495334832925876766621193706541948631198005162698870063368376212437207584527752673159072250583443633911223556195528246074833692351941440374407583610420234149117237959014220945857995227063637869929294892145413323598077625672763802378217002639061418711206030156280484926726705854591678647460377959237438724271888989586417618172102738170243140189486540772536813036478815394297513219563532312588845486320815596141109231978529354196252602322805484834636499984009089106992797782847460121730172093977149982233972787865997852213478052477560765959035391387507381509809109610504893003683688336712387890738362090561848005601408901381897677496723089434825420265539501188176018560622437262935313516488803683746229317657482438078052075546692536832692001902097386296220651275431886401400736031838655669079080351241748195418275149515536025092250373126245829046170567361050189066375658812288423048079948438674299873212616098508628926718976099935783839418200951120515279820554416072479646915143775534293980234027783185184547354585370063713074461776905989286356203025690642931706657259401842337607410169100218068656014990157658583824133244150121095959397288206496832118345078887863969918110841629609409378899210222762908288189363442320587585997780855881003269084771796062307754705026148053665347216774257349690518292683371601488544948279700259123957525144223657720225622876357402646035096353232576000080865710068916654219717317027450190896584945074548866579514390244849372150561075174189425577878141677831370772745026280004195443719290168427604347015280149819069481415639046478203313951050548211951636910201202014212699519211555645896580996070449107235317153630391591896580203893604750739098196598512169257367854155483386291614295108793014400728339207303219332631810400491309331445072928587240319040684220007593888848951045787940709138426247589234948024113166791182825229487391971735087130610114856645585497063163278138632130485484804343717500807704280389546182892711053096233447224962318240962145648925373872452650675001985177979568590664173021583925438360801201700361236867578559644648180660090699581733870712173656919678977054820129175404068247031915573439145578349993493478287826288086546548337723871661431826298503585461048792229870284287885672178611234855352064536778395054862929719258611276105559807774805603021200219662826618248168992712391533754975944328499218455013843691018601081697677815997161713610671384446413962689481025935451702397524171468417958100498776855247563141114894612004501725286006423130605245239951859930043557303854352254048330883344248067749820806332005329003812094357028335682781880846936099396761542684828997348881237364920244997785545758757684291132530690175922066584743149584108177900698845963831403762754718025248469727424582253321746484890601583502117971288925878742292020328563051133434271432420393029788732835180898594521634229213399374193693987202701166118938071006215527840909596080933338317340723504694045103589632083123782242539699197547424734825159196708354157173756165984535981579131987893384487285911099177141966731906144557631985721964307232750195995737724772171580849364028927799081038501667340183657322339019966946575211814388207122804071024720723409233313118188205747343088150901363173153068953264833386471714047994197191513366503328567671404743685039059946807847892767474020254851511144424924619589110637866565372154386283595301980364699429062348235885534344666143013760875371222318620696385559383700646513203233546187249751030672809575101153809041183277517402009624952566614799454924614406682038186846995702364287841867159950854384015961966545812669247224774957224622674916813945082078239180631755867664599352605483547302164487288513591153231112475366828704394436026653541796525647191639039395460987682487054603885290099770152811798008141637948445708489134957837895314057868156097849980073408615602426931611527089521931195979509298209993043755357068046955712112235507339782127157225138669433459534613605810715285293731103790982932040236712019331956982739937069598917887147324898917581422046974702564848597156858568751065919380521448514739020631128949296638299903694531995449594158486213782970002731386030022138977849579330140296848298277322843642965977599780271565747512607723643814132411905838855107430153197937871261988705679679133937499726111899252220483702275350656592811789567749961433097883207331568050130211429077854280484464726629972525641913751796328880140313683288816379241449071346856205893239340928494220404849862687263459961268764129394053155497257400873628888240268688197805300226343332659505021344901413367331268782108683132558162027949844795434398364084564333563101076976361169199968161225789956539691050810746995668580728639144695520407448328790810053652441314014752658581391108687267117873935689857505456842133673093307879898452055471880920361275025270574317071365788046015246342113595316654508453224414523276501553644309540321966276816553534815980614814582593423759765508696574308596863248675159532068443332513594098745205094005077405545636575902937291142792800204503081619595111595752789125054309138872058906442848876854853963726864195169936764939517583661367164014798534685979418924076539841045452368578569195700658937886622988364593999939411801501631965402378522764447412480990655338779312244688708025300093801057542337698696337562038336888816584290868365444176449016284863990380183907717988680323728178064030284816687871458838628804958498365789109457145719120236257770627800184116242740066693840869938231885291337550854378887721327860191)/(5)*a^(4) - (9301094629539705871786171786208342016699002585378469738915604125218052735804354186758284331097277401631116155406926184751587821346251690364743951978139910537287662830874917915169019750991421131515351937187108428227909917741188334571492961134015471240803005332966805107152300115453381084480552512999148851473044628086872939988093476030360962838595050829396770187829031503274806135381610259899894408537589735351881993307104104108945591485090834781525270890299435909477177912067593489613211521032133898296319495525305969393022071859966991067161929204918013903529380478857979970627832734301607180719960307533677534567468192939152446560671845932801309486569248589780788766913511141409086379595925327891994462580196480337211901253511712613262599094248778864045421980659292147863984392320768774234132541489075627797844726385546013259373928095215628201040573396074456698786825955252775896449318849323354966779813095002691638980052803573116872351512320749832396844297568181440234790732100267503224691694864873271538744269313873435228776191903677663590541614501970236675937263116895686146795552549372722133909019556669248423834072455627583205929464244414461733816810206998534348328011699145395208542843413295583559124786817419231244400386794589362919862513426790726929537502107385166874909812957121255365642127132290542098708669446068888717888812341013081042411260750722766392797182768653355892512358026472955887037870437281093761143813096869856149685115472144023387561464162690606427086448747783703357711611716592657937557938140672407171952147453568362860623729092313183834407959452230988925492999612583180847779487417351267592414771053519940377880020211116329103218029273137268123763612795715313141263225847763186571577763835383150967340233054170224063847237841529862683594910738097477002323233620194411311393953600722293340815967085136062527109258751768645791081621587916703760573092621829518802147350859155708678745465478123564945103530690477088432754823682245237529310066053615711033576298083856097114550625090556456517288578563772639113905562467967104706833680543667679657735502508365520814332805340994757688118824488930052568293942696284175070022412927529712849441220591598121839141496053981640009344955951295302112524230340375812628401724479442121282575783068899536310062179894627867241377608405227917764075377139796950070888114628540837403603155673256798853844260228051324571250741097471232672015938292119502445632963391150685592170251419622554796179483410060742390767133581219296745297101319065394788306757017757806676432702650515002337327173213882781028592922530719132737512145863204715985306349320372940192397474174009801923398404562941812915023741531638245276320987474084707053894579530705139372827453466521746903281782354800511555060074082269340616737986830774329762900997123376426129996372686494988917714913389652875836721359013959994517313983030719921006324552260627676467720829134204761654633997094154274047464987486160877173730779376895496542112010723795232934896560569218130476209125435368281411542877459950006059701342372409943329055636684953148028103024865664117510499641526902233004946327081707566306874081071592084712967960063572087023328408563283203235460463413654760336376846289307001833127475038690907474422584945421204722458210082214181818712185322438947474565899068880422000353611171823722763973327270854652357792727170005917278391401195995195193670440768201340907543308183074175032334492085100880683059861381388250775807017678722977806874361512821849002507953683729593009798283345569102601337361515821215917217224846915673231991806938025442823126317614502743451399223484530550300586066000945179134158174719389026310287155677790138375070153617028870723489816356410365558986927550095472478475667053428179278290326051402848933112656300544844800162128782513418935691057965297800313331567175694773189414036388712152788024778663638779429242506767744931758922363608912395934434745367042186188260216775295309523222183964156047287254032736921693296459543987220241466410791732323812892695938634609886470654977596957550489846442947666952633538572196134639647578857856719369569681526084310194890032727230127643501181023180615061975487202819109492917782304367945690388068185153558543851289277230930646284208924924307314060481160638099641147516109835136196147481466776202282204459900930100535749282585655840489802655633272441047789288337971338937070922640025827693866464325565290833037282633242530101671080490562150808744732864422337291025293287376653853087485918476170089529753875573714356295684977647003937767265951475825482691149989277905609139271462478866808852662968915935684145389524912596974827799643288010515139488579777547800039323131952606575035777591230635506534841430702620482162137481580568878371938207072164202043462481466022154868177760361351148808993730504048442821027359728856193678154680997544513362143918504385851178668179205735647373385374209778727680790124332865657633442656244320454606704334879775681000275064973340928720181096743052317349944096558777268179112400714609100117108294138029910931470322129826374856901470547660952160801216474412304014796625355424452562758412508720447869221493008950759278124455494082058241577159914078902327875499254101088176276366747444752240477053727162278510083862811130176595436583642203446275107509154531544032517807616339275743111600664251921495545792082319491039423649163128508036177661731927811842094817001116380151662817648756197386639417821929448929920614115579119000087098440169635010592803247456858207629419089568463577085159585026947909459409257438224701350369497504133696188551089817920465521259217782948238736718876644671553097512340106999961288141440219989426279419143234205635494668334191631643180604517762189017442533618190082432452336426889277238741913535222599340228721651168632799149684097174649183742599466941819073305139797352483760049664709063654207769142711385322170979872544427869871933957415712103339542258790492842983486962708695750266484178291214339719308506217161805210686734361599148114299123270645642159436035501019223094457501595238895041275873707718596177105134532719112203708593326123338845679101419944029496487628468064008795274802969031612799184574667998352271236729485608358290529576604666127783351930833010380121939538655686897841051006464568533970770691763050379991544124882251757473424122246453694465511874061315205438976836892654136337210194400670285276782231882680138077826412788805736610205336557406474723823557027604801779229213091601183719823685140520167273042401706874107831029786832262112189407707979850382316108049706780012322344352004952944919507160428453092667336335453077071043009620016646352930489255622040611403013785763481569099166052333470082692680428769367047222180361067772826387281039968835805950751329542772054168565729655836208680162624913867797201321294222190727815509459871558043908526496077112730989923821071434519102139303653602748326218003000290526183787870002017374626128522120603067079215978030946404162764441314510162492400522688366886714666761233443287694766545350037056180316470178804813609596775697629859585272162376204695878040258450604412066965150629436024648318119533366959263238515317377008156784371593779796051484142998173494524307664799900965627868926408048411654187889218182793202378589334924566954982670010779922795720561209061299013976463134309704601047503856777676221357137214119013455416198986725293255246441429854098802899637009823203407155636698370637917323598159336022443496973333667723842361609153931092408571169495611859506546514120365338525790022396061871999164698277308926549294342576289227781001198992092797634340800207955978789811819129267554666302317128303719494341585092489863906267896297353723504273069901955669822167446753532613456640968980999594906996247878479971375000288756084629112894098690918047717353589933791723481931448031622534883041853874958419671298895656167261658991209037203263091716718154115506486273898814531515856074347619714822180117703175078345136769580795180447290926016697336957340086071877387660193515718725093892438809761363129044682858986687933900898805977087497536897770930595857121082897635211949278887776708269011052386062443876804893115476207320064795734216092217148605620035822935571615014800023423748826377339110720601220649778268831550022809995021495484333429503091745738158109472993189998395732073898079861878768201776531686065293773439633633943753498522877035714835102511228095757233324243382443907846149779836059265520920789615174477459854416095059970669564840372421781140819188070580368837903961747092232750744851856737027920202604680162262064279166830361689058859004331805453970624221579029726561029669592266011865784224963882468103264146411765448864541946185103867775837775191285224380547158582931484362654329475212675586543126465088413216646486655275258432850155841919818782827219626522496720073232374414777066386867497332471460518227173602909582154377148971968178928009252567050636286376139419804355206978064435736442501771943586816483002994730591311668989326426286290730768896925163977763915652905289711859959283980296628682180812915099591842438113926521159777200332900696394078526797307841999445797928829170970113509356017891873010370980646314907362795479136122228251583776556429887318966352567532534948173534102609372681049716668248176390218808409440230532941232758302293199225292661222686633103726723083923810623225829168684402647520211914421867886058370684541866874647973257195749256652714148242616336270387162441486506197041043900692420950693946855809710328213627803722318990799145969688596319406001268635400096110355641667953422655016156225650635407063506522008607206563432195627951432108288779884575249874766769890177461770403349404441714394733826266337237924610785518575879505065818763047269647572019710465040833543742295413387959966707513261497921099166157045162582893623860380443605056282088641822401273594641040067234671036301406816875865011809199816240082006264142088146577559953685362005111422562884992007398371121094517743558064509884456281223615451962678228270232535218313422121731091144958560895332335835805247198789244995237995260773774498440363060742345213496742350341135916654072353204470396500584574246999510183000459567734034818461778042274639390337633541490803882882873665783544220797993614827884435415779490410937815408207587811455467145440645713206584763837896208294454957114536808047303448930890951584085974060968766664020602040014728435535298856452487787784236757412675980247062184779360442932983748615226345013734658444829503555118669085521430691765610282869940392695627600447701824357990437016831188235877164048812977122437365362270782630596938616584885362787088799853804779902848128991424285410528048286153653431384245424861017808107750978194961849805466248778510528118614736228309658339051174472265286158802962390873152709795923114677794749923355007926019963301109173094146397605872913681775556130439028485559871447117916367674282790759738346406742547219127938534061727387912045658839016090171408475332624769337372932492571255285246757372387156027538359762716216446460194746436970054475196274216305276437219864488897105006772874162487830511568241113101515739235087386746668444654770013127169803537068581078152878776516542530437153462639535525055808383612188199714604925740223406568053639004641770216180630145511474788233893465153471315392137786491369217634824009400208376483271415892751210573760465076526580661125539542749641423119255535550102170192354198474849202445398268953627548118646312613502685892988398485945956541515064799879446890740190550021428324481122598910611039013530159521924923524290551675332053644358425083270287845295148103138022275168271410697120042101454304445224499605575261585516601399261858628670199947820389462205157245565658594911949892506524306448673417886020781218361129098140220454038581182527830899635015908824753622002497325272620067414320093371268648865350734179158216064419486665833300272292327490582971816932675261094001373290967642419113065240418730973316365121086335443808946594592308013184647889085889569253)/(10)*a^(3) - (159915305284522734111230312928429326206512871864728141279276999094144687482460083718869593183059619908375159310631701237732664272757859608970803563443313352524775427109641308938899060371231245384028569362816498455445478231431627003270973717041240483660206353436820720316531108487544875606180626469353372826750463692199946302298709500536979617215986529495639792787850211218291894544317008763201197460323020434907199645079974827748020180959135430760265383202799189951634876880179686071080814024585715079540063637080963655753766107654385344213714562719005985850611900729778612819563524756326127463257985601535523658481967710842175557958557751816938527787284135368284769587476966029490026364901412447128534973481633267697648794740512392501855911495427373394580883955810047324818974328164347433043306343053109456629283050055947950595729890031690030106998907355348874396338910658786686330046735656485895495477981014164006376383313628286722381387187764608789802543847994414408460612423602184592870890268184326350228379852071478718318514544781718163565042134584661844836609441321783132935055061295922286638545958402344304720685124372811516527579659505985306006751246905531181163274139855129317641293602375484457552812976779639773940579236367667472288261753122886387236702327874008550467364005729213179163136804098241678569569947656274716390676067090275564888010357569306275127756424004728700322671735372126464642092800250089926261647789219082314958957547159688055968049803330662728325420580159076632258091429197583504957466910777844020726565867848456199556436959184483491667696085849259232923727691744032579297815885192065533015314357076157000758788582881611662917714321125317119986266955799911248902121145035421758383948782935441008465075731758235182962173245015549714932926888836184941542604110651037345694135811636222677187449550892532138181444927169707867791279043351743044031955905896963192828352710913094676396479797562667573741481751492067944056897357771348867751337089346580813602910723373734004731623635849016111750186639510548226889023949085882068084502866765812063822832628123793512137274447556610070658706737347142026689777635958476048931473528996719018090985903067644617284849893801057850079135856652075504315048797482009508037604758892323694015148929157213851239169904513367209437183942734754065604390238581827734844714232187871045693810953952775692446527499490454792631322867872400168477271306739110544352987178377672370628526103883754557730603940874901756015797418276929409251368778729654079513882662469791977043525513990189225514843134734545842493817232974528999243667934415875127668532205323556249853285655782560255912195457999455458795323338141145707207404226117813511376943130314645114690804674649408227372977777292911260257813835045509505228508169463607384940446670666987823127797799025745227960495759853110758822046724125870545022424349742968534483624015438583729029197274924915824208664315264548298205558159525069113729754286467418363952503316432682093730519572416764467648461406930699361873045959010388001486809323216230032658395296630302166085455552502200881686058290028660350942872817576152244173139287978029175479502630587944001040419228482977024882157018864873250755866733434162506152974803186011901199023361285403476414004966517973762780859949719753084711381605176894991591388024512011670743591252935585462975851892455965443425329678292979693509988952856135570891949953484322718886093685739117972781826235099579472799766209914478481979486615464054211121923439827735508844327074424844262092774523854454060921366219885081162460822859282388015544876729945003963046125054888303104161661159887994252349534335844058125997374634412453236321604363395432655563234848329438465204918930406447534159950179380139115061999010039209888933111015534126492895557514147611710113037981873189577160074504123483619117391223227865118654669819401956846166304525265039859109299285697719130236014439384920692853284639965993612770075348737941855199546653225358921976359209295013299632508660337049211832920642803592645954117811175023959892794051593839016177246471159975824909664065737694346560761220916410695698084458197582931424095165887808036396300350009988281422848126813615266565281901870711764820382357957294250434003045048575355103849557031858043525411806069426614049668924636554139685831757910122882720907129763119175023218361579896794434999440189318760841450438574503166384096258900142783888449424001441064885691590570549713848989637661075142186082799909808123575508031390397069605676806203207193131787492600598697725503464189873645178488270132555920988166051753492582072101485465139932469795937022801927200481407058798247304109344251849926934528315834163464703457632646337248333479973941006384068108725014668992660735533844463201443420493326539389532572004625260798440465820089704484993845000824633914370806248250013143803389286511736072507432539533174107383825056366272657668166220836845534286798140906157122685016089593263742182121048218090180363858742100694961841201220053081193431377364586112344418359120142415877435995579552166427592685193865173919921815165619747390502362276992440563909179562027644209151076356187239963792257792743170020644608250814647011811621217771480552040363556374576202465840057378290148912224006691696680903164136301447682763916113638838994710253697950489655329152446644508507762985225175093909381898796908301177656774059282737493090854212461645772573952068224284869350294980630743224335705683514881153155499323920220221366499027461785189647286550872138223315798429770563720251871782361311256749498023031062225830814887421538340111998194949016124550922274183190220611842380771646613098427215592684680854504385510998561662596200337626455915027768898464118637619763556188287962365124503650603317557343147649656957396831573834170409495394911037806105534524421910578425332409700155242756621942159686323887658884809256033632438819004821204728208383384716221441949648972517852943424225507416701355581479156320596409651392632964856089072529490073363901018665883237978718252273587040642092076112123742327026849547726418550674692974215226819847543034795242438149561743225297904831173615668941428898416881392369876534034652349188236203935617354552745966506951898507763158051222488888061142371036256283362489954079543584834104722493910654596451893605839880245847665574100692013843530620501969304478408079305671101315789003729280667169364342147881361388966392272653257163687094361219961194997552202520555321933911294451520653864477423832656984536471510026654572429309588249180757818700228149425950442823106621360283883387239673066712333197754044844004682098575685541861485531736957667960299143854773147610660689462788914942571032422817251218964496558176689179900215125757828883028257659952083119988391253936110692512683528943906611249928233565680128058129795438726954198075200497574307687528706766276480759951562291863357901765430611359415436112122067840552554008059155072060715358190246562728800783809056210878626029399635212892780981716899300313586356714539913536020343570851312519902339167544549426057226457790165781034518564698708361898260622534168625736865958974557622262397336659727380066285339272716342965962032136314100971153520849541149562468363280850516587542346454457895397778716464523580431046499175550167908716397686817073925521549116405515681276468054586835914205371852185390793750196633226269750324567900743815869329187502359195927244116004801654692666964846102220269007565788466509633265940314536013098503616413889126340991968356151439646435544140321512986549755399413321378378239990933322044969840908501263813776659669552705201818913273320580874435868624653583475022482661034785055225497147023577438679767582037319905431020609779998228082220061656244306798274530181695336633172549642351674460565818774411429934507563526327702425969621481292156176213984984810321997556349896252115621348399806429423773723535683832085450077680788836920843646597139675186642121890335809549657682734629926385184953339193562210416035206835624873836550960144639272687656104880899480939433954196188723672217586427107684219604626923586994157914327743915680955955629910990435696570546726276703361831148086444266790479310032145136613439871543075701237451578792569871899460162603796574326117440821649443454421624680680137036886571736536553110618338880641067074518487813806900383455263000141678034429157397810741653751020898534404627507448982704636630724100265825285512887733086323016197129537487687336385810445316709179117259810729508619644122842173990102192061412538060759145387482619847125598238441392478528056561802628877960231655425474644256818909465710915328335791657957237059819896273088058766454605912635588154709805877727698030264481776191541947356144074308044930585386963047915583172028823736079949161297617766242985596501244002928480982844306567595362010776527729547557265207801734657718376314723557863850247752133911966709441752682894809913924716174446612169543258886820467664069118335551273049969762733852561305003845127615176229267946627865087970624343408979909391352981003787689229639676804948766000788291561569358020339615144845993806521930175723956337054040278792638044568686233850326517939002697255534306732700098802095365419155328480973212829956639271058479019488147436835394221306472849258003078412878154832045396587144605180492329926500997542741642632844755323366071293852732753767799413432798045347141585374808764937218366176920831740784549502665411227983447511117579944582326238311961925248353085981047454465243355666312056890934849960354086942261233613233004603649283766324541806149639360396008528115919958610657659050715735732227678036246813463031233145914471770517415419495440001121632490916813235661877395619550543988594628144850403418138354189307101759279044270440524933379895069822884722990442328886007645445225699803321086259735693209265848088867319266968482481880844817483957942838140679950337395633742006301612281130894036584271946946269283717735054407221077860492053678643241349654386679814523651847527599462096508658350524945689194121380741295193269310412612351694882693215104740851850675261746148005049667920996177583423051729884953075577783735854266688327032546337370734878866180429578505220092403287831276467185107896633966365535798643235142540858850990779506410777108834544600010406100794261075708094211928587510941338674219366021977363396121830647853498543335965934955826030624690064083464146256725896554685493689391072023665832154897317110367789680344531146252401920301644702767951267436245264223462150862430369306988649839688133991829186049357983088710465782605487529151418162616847249509656805742699594453926099941321686508016070535050453218670154431882625717391459684440661846584431747875999659055506120836688498741150423359077178235465366317252045204472515671518227890238368134790276532296100486805149585497407211051828273378387952980162690272656585938182521187770899006915908203819523455942005273924761841423709285954320673486640044388262917048623226175382718722156216627193485774979564817167253739932490420760675947200174964823273480845785727361838600235062221944961370535938492873631021548590059010451773468164845817622672980104612553897760064824824129001689277231014188968896794500710262438384673727710675986690641808160034113628854127445175534167441819619563951813533088455803968426965123862586593132459488383141687014600352781536905019329441111415138484711145301153305930898014370445260928557307768816670572893407800163299922250420704356992812062686183402691049410955579339683648473900978149990817596958543381932370371612357189844341950361332471407641035713624041955692432930794971069276771026275776334281898119682243270092372258296911837488996264319430453464125254952661484276693019693711896573884119473622896209478892725079288005381979705605152724418209882586021948384929368714582120069595840142806122096455897437496319369628181842932522604440282721076258221442382774945616553596563274183961793659362129720365371267517330928987448042676171632907614136669624209383295576194023655460232626005303542474020189303)/(5)*a^(2) + (1814315253428755371733850852054900797865111489844322952834928943214526860306080689287613487303014622256415774817044171658065685490779218202742272562875548479295905783469704861553080926477703862262891654479549761277305295706802706805111064582004317176226186553569567147834318625869825697977919886623013221706988538927290470475814464331757700432770625130970887676179029216425447534093175776675704246248023056610458637311874237187497414087340524831261021581442483401888600041910231904672530330695999664016542127614148640524433544882930142495776863542662028862473237471875888159611334689839127323259899489405107732745914362957847815519439191065420256805024139020152451980393141064976626850759170979206859933426260890085421057724225394943464067340502223171508100095860395042382468508954233165606891189583976545712674255028958516938196411398522495197323575014283731393133293540392642031368428943016311528642810277301762270811102418970462652914587618325613439290947183377282195088410202220163035048714474424973955851538432368070025132065895332827551459210443536406102769322050318148171624874815265465157898841450514047725092368519493874133560371061272513038828848485542057677511249636087855271028688866498545617275062030875820452390752276601021878096619834721955805809217457263810783379819899124228402355415570143586514534121329331751469306695351752255653993474594363291646414321558822193392605810720562118743093877100821343059523347677183264587700395934123413079601458201737665610612615404180925753894751213491791622305378309911998729998140238659674027587045490033031334573648138437756908775752609504463490843342684166861696766726855575389469061924312472424259840633443193675250854728398349562983406924796318502447744756701300586383868229146945187956292347644653236808763034543221094367170770265300294875208845085662669115180808527748552397082499400749309566026352166821342445326447450720672374615757535650120683988369571705541720008355043068994933398646904503827828905386376472694267093852451145151994903961460725498551447203565148074319350427018485664517862971135259330700001344844754150099962786968639290883725434000941166048479546159771956477876506717294946961781819078367585372581641769927606879647299211759368478773800014802966765292026551940815155497375677523441720165154114151841877196261858965490143977622830200956236644955106675967868295510921055682233290093745908652094021489736892434854965790380457212817746826504376309478351872855203899328064923517129858135147612491573164420350721976133289086729127276993475630653853702371157208299719834567598434755144876386806694498018304783160841592567237832380197896808377068319503775666077675929895906839790871418919439480707112153825848618236340820751022644157198823232816609212215233355422776106566945823002360382560573463596922801646669433621753698397331180344613351466801060130042678424350699385427922631793914233103073822175298346546491834202195962604618244725637881177590265914742477696843648507461329408014257941659936453208696303904070478784396371697179153243308129642254509383374884351775510529442554827395181988316679797729948186281668377568444279219242616454799152400737696993938435127550409591602839830589937023344699179831376301564132599830375478045347198614108036377850785902971854262553235656017408809041322149358082465457588506769233879437779034897042469898198057504011027436137293971707255487303604958519295306247014051482743376893876687255541804038349818322466607753776578786030808826055604805822762845509431365816229215236280857554214191269043898844575378007142323102912934948799852424726314873189390903756782188078723895747714018999430252255959331973919517475308683455306735570043951449328068593752989837117760415301473908037669847970238231544015014080780832113165004275837007880345670137435354412763789377044171918020362027897973267515212541482574618653606534372074878833863365713557280449157594072963819520819847084558252317225378160600430938404372998559533281963858957308240797519359790503066597815212632480674058582616455808243345971639985568371060772488278945049651414738247054538016786051503008552947466287982188662360442148630474434899614763756224964551605754495528292134555351846588247235554032932922738494688142805552635730180250876734196865806898992581205022499614916959526867655023062571998686035181418793454843128844962247067428475780015825660613759355255306325085545101350226712231489848044838780129601517723157513763581652928784097794122218304198431150675287375231701954145186276487312659670229067642842597001191944612758037908862923340703315829822418021559033662742915890991929529987038699951636555283722648417517371377047026381664496028348119304612649828367271396159759506864465693778450685371694734401774870339280723382802392120266857207808762948027293924151406711989135293356683299541897992730340864282792437997960251401784537289517194565862742116332327651701743203379680585801864562479100353316511929355188193504252626504032668166014782102253594766350609676098013893335353315022910074072841055878229429988661562713219783374077163667893563529156987615442690209161366647756185169830061839237689711066083567097178441403693127894030352301995549483453591085380994190173834690314478076199964206970240468931289831604960653204668360601235360127680109842513335286157954015433961699176885209084578095093440932048837764783058706881696678199152435167703431499628419230760666111682761187732534331028846092350750639014642990223974774154829064246500720016348423052928320250656148909317607491796190779004438704110942505208096084872742782007245963264944102500740393355360432929448287423623646798655303163278112012757008910235652949206076222004208714200694111768914314221425355744877615390806635630964898464725171063420330233921446517100822785825701487552954666552646067139306041825273453958988123258391444796863886354938424544370502898595704932316708758881830343633658134214134872138855785689410030648599051835781438424364175365523203477444428314737914229750956126820107550187640588234231758935231262412169349744676645345750898637028760587528915734344493626131370332471582867838546794654896496724505078811386222233266538554366161813070128714706745227484745622743731950223938593004147643238091145448255119084983239429651714997274416806107247786751352149366103917415251650576534995559977492801015409586240024954434010049876748521535227434673465970630499830952012921748511733216642065641200400647157641686295932079995961312054736376892043408259692800503522851544871979492328982906920335760679177315572005940388734046696038784393608130322450983495454522799388664706564146471337157859543564548719971966145473707235827077953897489997758121954394813017306129051375872364578813754752806297894263999302814743228869479009376147865101849137624477396150470162747117189155966802967356114305472593802002731980950323407165166662724485218199988889391384371728229724472524368108520098978001146635557882063799980149683022823373180107284419152843917349389840597904112015143631334605927907746593257688122159187581803909429913993144204032753490260109673292990467168103295301361264807787319096587723494136601425675505994366194298511948627282595318282679845597477906603550632481931274361652842502360258468404057267554392780031562319957059364907590539903902709745244562812102671818982205866858505881437275589570136393836902790353577509850592016989145337355100144382464785856023570399756577849191849944608951655328341323018307518142861272704088704741712169863091138528285888356567105021009531269607676712901188768760040557369426810990444001931676905895789543656529698286693726487837111678046569738928426896574606814638277447278370105342623870323381439301933654046915190696052032538574041639090720749906619230333682134690646095601388371558907534236371135874047232562631973521466772275942801514902130698138447895545951418253418051397686218892713499319702287116576348671804868598296499753205084287452687289926499715225098552700335924643812618526422856998349864114989673960996170841767498710062993362573867995183548635176590739380034248624054570633871663922959682554157815110147497968133574746743746293041730269450242227074063509032866619242993504492630088252639083800697365903544331435366717581622811399684680376006838063471811949943739536806879716636236412669726353000788397254662638517463311976192395498638674308734216357471314008236459640945673810624146380120129890573557643917030701327683010068951246906001109206881567712413700845943874167567310354124843441965311095824081441783021420209214351798932240599486349903598915898220853829928314838457777381752679855127017124121360769344470878886504615054186364502447372893466752542239092430613955888069254432823547813405252750632810504399436369392488586159558247641272708907533617195183521529562597365862220781672029239097820168809810994753949183684492554767607593644603348852174567324546636119801167997264522649933275976204137861425073378419650416821066282573008033509894119542034366376990565467166885063429691771634941862625855513524406066167689133408545300835323986759079309819939292078425738432188189593416550639745437183836397917744016805244067087571346337122401843264504209578860815547285120085719772885939331087061953145660009858533614473489505299479406196254192221893369453181624118359200413659901021183989561004703642858368929111131818023433874488592303992766400448837265753851730860357035690254931136487642816918486705282291064107544321167539419026868146083791245015276451840693747682055481584483700513222470559458647706631388590918223329374103494852199730108257737757893237140756277664863574169483894526703611350479602795169680444311191020688426114361667544266328104821664866782636430249161610818548248834843143657613748206139439175312536904278088693328098403600098127343195750575293804918814700641841985821446052910629717480542564600637728470301209322183390455953146990310637023728523267388937414689216126239132380752992827440616248631003834284064591045017860302687893743601574722157892333777953550980724008053896657790579430671332115978792819931662474917854865020379754723348893768841860616988049673532146487156079655798049713501735576660224470555681587450836617631623208344361796557025033189885504713354367099710255021966621099332170014784141978142491271178192912423000896833993636138391602920808192162635865024778227462576461938027644817432418419186775309941441248735949875349938888554318749551112609371395606363003807613867575959845817596034804802163275689212637081980844959100537005301145147887659631412403679701492873001416362860598923112465655640364034983207587417810348321632913806454291145411670674607426040428843837007673825470241375381605394895437601789874090344376644924985452094451757032088240001486302545228135197881355601763237513667932300743499912187854827197877261016097945716561633473754669176231760350949914646600049675049076334921427922704588720433116121752305882009852631076095033308424083384281725803259367152212973399136028611383336821770582822333054946556494631325090921889845443038020727003354896143315250407586445568660313238893066769105078526426089372254109506390014240032652333992734381638440094971165571267819273026769368436560188842243256165155233681422234291987491077464302658517123462494517319300644666497080636975757670529857555812224914164249136700052352672780540111514080462750859485204550315513259086082917882645753430070626112576022557597415003174355838356524665273211335555569007755056953442357240952493396122936246605476383282501585678074730524802221611325990613088022003415525504481752374641737104369620232683540917948674440392506025074845453206110298155333572071527431428398153033737371942235169154288721548829014024551372857585324517780249663318727884869360583528356856264319531768660964054702088866121588766135660758664949747504324440139279478804243881311979715633852393158438585427507718433680484753940108464504524303614970213196394319431034356237638499829786751089617258260551825498801292756690084345831027306132875495842116649273731567019576398030941814020135154475919750361140860265142850983645636544820156495374056010699)/(10)*a + (381313882742423002486320665095829452402056505031496110697870600847587982768155574766809985633181124577655717820259350031650454128257830597818946814756174147739897313602976754345465123991611052894887459948714840785903545983206518052313408192178859865041582974937488055982313757842215569361827451020554214914401471443502375713969962135958329238388465754942268024614183284772007870498208468379413430586228303046605776428577456469442532498615834651272315314718240816614098729876099791602548565713859165447152065646867462940949696225179804021951959010035743672739967372399211812594202943834087676042867928596533223080194413645680748649983798412082374530719957188344850471318076391346974623569731913643448902609621061718178521374381898225119469077836896936970009930355748298476526372716382412062732915702426905039472966476868586011819959287315553976238493063753031984078872028267008504633089060896231640521453452541122523974648879181986355351083698343983928307894390585709208243671661263674940348406184898462426558678344262251214304909668845911240308641268113736751359979540340101811856473151894583320483384543870727652246548965144465935179629183462298940270429684625085903201665631594837231045622192015083174775375527435456659852087987812378398772044375901174101309074681383743414311288436690291009419584982769402574963341614584136079690834704736927611414934749791126972171931603886746333541800929147943720018158638551454506290152386579063195936227681806750847525100808113578975308353284498596332220924904234276431432169855663599994786388256393564959264498224466594757183401908299650218396440936982746435912327042656679680164907578114645732981147618051659327904263989192248101397318290499838255220190370911072008661964216956717279238665743801814392860952532097505700929815401842029684570661124659045796660730491516872066532119671198760869150419736097127984545591710158702921611034007066398182012776696201402789898252732713614995260712048048442947321305849680320632742129276654794452912502340868276462173395544086412144946857572058615985839942718243555809614584377056352536827145395253127686625370367728128454995953120327983304501942340907764494418360612885741155087231999363884631072167802888616421644937640618361848519906515015491306100691517094329341384409769152297738344703504542031840170611220663879955630438322261634835722238847466542454167113416184472066624056663112805940975704854428492031322051599399812118566857856316471324863329320336900603080754199196002296095331982135048163545345192707487687135059671046387337168064281106953136627903190622900067464971113537297012913468681740421615988269033803115136545544574756428373934343974875827488177998294116760587478228230824598918941532720919773185822352402359771990493386499503057219804289582946276115203181097131527710082852719823094645128429146902456447203044502939570384568720349225430578696045821484111198894373371867129274746271980145179386942907110014395928078716480605656716393685310830058385003289683338532448187727755610167040793276803855928635217387775971997718413622452654753805933981052502198921539539340929713340518082350448158237230701853833475395224857656821156938407021666331647815018881071645350481898393396485304961364086859280737940286737124303564421881483358571482098256514092775697937451958586937291859815726410841333151483174552670113928349020696810537431471185320529510216376533977332892090216406611901977554638745367656964563067759874065098644837997711354957420698451520231523725557145231936226160814998926763086891617719847637105336572027811296042366698321120319301728966990893621392745925315442890015737853427610087611280474183693550674099925078745014616447514260066448414696838704446696600115799894386369576143959909807837764978863029016235939407587255520890585652914392495775031972814918152593253307817940981709445300815039853122459182328664176659597927999447472694399437390506941020448061284018739632101803499411904856493813395360235659321656130665991080179357193684151542625681377688435627788416427080233964150930336834544497688911584827531267259853519032335360322015744912152882548588270935237584506435372649255373772273690127505613888618001136316095504196459185920593111828636807752722595211006930593824618757682413041675345806959414491487938776880826766394470759120215589479791505799754344373350201285132137110355086439725850018383075791039597635696632065520666192519076667184699688007612666277817108813900452179759500549575049123009688500807647144388484207407258355561469081435605588623020815567609447837818517887612079825212448092583508875781539209579884476884645729015922563992634465419014263133375901410522325754158699904543993654969735903605703301565468975376521456666484233035417186276015967017598645994236641676067418056501445272374872509549556316565730378764016876770528117921212287453354611385967647938616809109361107670216295795582478099974055197029116367626182891182457797810027769536095154880340270150005800552154104183705062379192307992151195660003097382574234450226964487649416973003420929951512030451889057290987651944678780628163363093157900074754949608010846335341714821119796598445432638804795578662429100770962078049689941327973789596966194213806467528042346398692305027885809966760223740680721136719791277878713880667966110033528305743846603840114944253307978847628682118751286416045629678953295798610938261923974498744317736994118635016294969852520694544191268525725972052402289469075693032448679097939649353905535796201344141133005173786908347813310598422162731434653429450446895337343814928524423800288334745435751355073390039209967144925478721275364133578524069275196807094909107380408509900968960377130574272500857610047350053904800132516818148482004573342184667841327694815086173122966592122481388562725286094112291297128050189869901823892172731836431725149915712762566960771393861222448502722189122571371605293286831622621718393474581030687176706257015921298700486842279291457802643235351110741372468257806242708002222668569324467664371394883367956864027235674943044066066926942989720680200359696791943097305032296913750107287656085096076937654701828783462574569924300334151799056019396673607394889097493804274425163431693978138026322709111643781771681972363528934586978551372908476929190031320867115579309079282431311629982153114733723517538011009080909027123917083781844140185411632585318728411839296498230863129178548190458305409670986089991335247460264980743268097506362588062413087385477077026865873233415044315229678829493660914498758611268192018297649534118487245633280837345711026385360058134903096576602502919463016998241431405259012242862256500756707603519843872442000748409633163097606164228133302239901762007324593428838165103453714510400063359649394022761038003914794091425095347532107625729501746984134184346616341778487571369958903836743451314710433515806643904759626301123141941020326387216109164567936628520755262426745724301438657832338778385459691979236324119514035906405952218508487047801824269018062287056087040398994506155626366460810486885598953919712224551404316205875870013254012505909213032345304477605897643003813719079027631631330543958237541626197135548575830428423195128093682176252968382033018095212323979786333551458098086101383981109756429527645447501845075388439952823816372831204329896609560325934663475692357864290125203743035735949672076171131225516408858441821461541615064760615775328447777638472079190224184278817263075236221713742979547230343366362093829683550455044578044235579482258841600832966453495246531235876203310340216427856053242311735860132564680173078828938818657407031530581098842688321109300439984501509042036335482074853463885156193969077713439631048363999329848663961126533085365006384524811677944598228551772096298153558738988618413984751860344333063270044414402883579809657608104575178981986477107288158061145665351835246084708958657976878906944420131392234832996029882223638296343197219931824793004133977455901647734680273610386842182737383171474082897205496393887687641517722212161377195379034786764688192637996475187773136175594188805460491383076013940048974679453583793740819660898987593297462077704708966156154239362812090002323314739712438610186030852639879790221086237874604490747984550867620536696288894006717799307663313246643816884872886999905233223051552176399954267786735127345067541042238907126344484855416224153559573580958576428427964580034102972120805235611874804385871043631411221937995376609151157858467856509603037351581994058284518583313025452604426738339718722982292847621931922851661267953448660008234562438336976597645429348583813036028091080300525152555442320041476197087635150069182955810198977139860291117957961269147088248733745647134013703385280125067198106010324545754901445523347660098134615373067127105117898185623169812370183703465627238330392882066074635405828703949978996571830666459694132972586466873729517732735335980442480903981810217599245565585151496789130383621109561142800552775464405975995188184574003060635068416588269125379197511434184986475317199501558731932637494066898354974684355909798652182874474594837121792849245853978926051542068799261592188514048169680758629231786145102046585373259822025842849276075664990812984221024034284735482594131768399096937962050419513138916013223532317570510342591359828407926235445825478422415555662629029250169768601608862253977078640245397081597260072194964862220633494255219657813965611582111956141929804974207899929707809611652402983050589680709722767130671704855393111025620992006203403681785573209126268145190682318697877685628268585371080998478609767408434005520989482144552112782027804572698156143653277664944628937220594260865565651155962844215105267100131616309134747710463289184204868079214746526222537321285996338495853657385218282197288102144026313211657256504061273806389340494781049588508407126682732612854230866682067364966415328391171505111882927787603876488348003546716980665127104546437188783576805088049751365793339583106197677230073686284835642454225314875599533102172586695200963885577166567750508002520624406228331523450939044783058661000928819290186019028216231456596702495477751715834080337757823819907343361084445479100610869708781676658318145592244327452385346725489108476118129434899582481510873246161418154075878752101592544163009103576976160782897030300830460307637683033693972067885517278341254268860764719235825836133227932387513207838034478792857631895653286893922207736117928493786418975913168615673179071838049635766366719310362447173499208611359267313356507890823001353176550020207132236620173582946056136522238745133146596985439263455094841486769567380423189695225810278320633969523504596790269379032182495357269895126136477151442854961756890955082543836047861273728446358145169085617749751263558322779185194847828139867819194324702358576763278192055235197773654118214168278078297293771903893922289948861310277942895026658100994692535819821102165961604948628802070462670377016903255350249694299190827216582363872462547773156402240891579006505553604460878956717015245104858886960637331151208508305899774985901068824606872571285782032681541452095195624669882273216372563592174727696965171189367212892508524590636251043035009874188583496966596272767078368496278555718491741013905074305321944882308818504394245577223543768212518046727119602528425719080711569265157601006105047593092725132577543364115252240291330757920676625711470102897476623004639200572462473205878169770107233982221956983149713986649150874784323879017659472658459700219587615675236911942575056257239896962897287794677869929440627976913560080638342147006665566683841734637735596921375084125684920649742232276040985371147752985231582320512034828432896968363163069787126787620174393941613619874643969395722312678424919199304760492849319949946465965458939157139322996457990163552944566029055368808158914626400638706376615651647453606671999313845978075359342210311034974804796523185644086899282241620475441094252935440499945481145234294324771176815316627979911766923653204537687267809740296764027847782434910468665956698273)/(10) ], 73355994708200, []]