PF-PentaBox-7pt-case2-factor.txt

[(1027750919548500079251801322896315780835937088591054074875986594305875676952277566648963707473413417068467343696096877127961640959432282878844269535353496737693304288798239354871028661501237352173510864064746655707945034389652051365918014381602760074100785040458622427400826726397692954421896134108878005291257267607336178427953775985193660840409766452775634174646306162119234816496152686372620958619253114707603985918981569221440757837359228947656577652118238150827371683423569473626836365301957616043653760477690371608274184049656970391880482774020281065715892675593835629947636852355101514100679577238764608421603349928857276886443735201741179320926782999785613172919872391106304075980600590054146921525682372608000000000000000*z^70 - 1036161117574859160708710263618454910348461562823795870842081913162755662378357563402553266954332327484460017051301220091867754274558769225758725557516446964689288177501917065797935163631997682798716140931876504813236078065327692306302066297157681909522260223207427541125545009732442401220167925863963982957296516393859504871285005929705022135199610735444614261246640791293401493651754649401190459208047322749189282870029670415594575274975622713659018777512525586730236526315576208144943651954839314747952916977243017520296855684918311793262754444487067597714080569174232783512003289604191652040789814116712014816134832040848311206747674404977707441611096425132287749990991999951353692011666936135145655660541140776517632000000000000*z^69 + 247620046384387116069462054247622773338620614123297767778290436677053881933545396928253193915885123378192543520340664556632657732668899887621206217361392472226158786746455460825650766874247277355906416388888026208485703336234794487667119347026345944751789564446044310827829749068840245401425253304011527409602053836292747205539490530547092532949481827981937916393635379873363487454959517428970548378602687748345172269916512483702948135604689483491371401187085725455506104275995819407701774642982146270806225434960592249459166066836607599209118383113878224919522730234808883397234286274375095280263260326261597571350607467798912202651188102000670334336397202171149093940876169911887658671817617575279850145280866379139320381440000000000*z^68 + 5117569481668645507621015024208690346795477590223007486832374106657691313080658593630919764791724490736072710298570287320382071687103315349899088458872134263273713016054171259070745148192911699980352253491211784764928801324185046141779201125638708190698827901280143853203691031266042114138667879963697323588766341099153248275070452716142141055209910470605066912839684010470271290258564304270580924493632688236889195106095445480929332587201378842150668561450917245583543058655909521352553869930055636010648729949200402196391265409256921618544561255121790986058789844046352499340984323074517547421255590661639597215733523534703007432373315197468376185284567155146138584867034537818864095890759946284641456494640007124612178300108800000000*z^67 + 173262304050904430496605722264542724971208916089826007330770382421386885286690673659887817424377876015845244853722656974271505973994523894106858037743325069283092894965742271644046241488367854932948929732448190118109076554203266808091959700317181794698070561193555921243637332765922604197972062872229621949331410961887428708152188665310338493803211248985030333266655462012469593669266968807660256215411519151102685541565241528808973247133034941076476793736763119277746767057316474785895696166366055929392006381887356146498537255907424052461417076117875202167807459336095518133584210410098644794900805394480691761029795692423715775681718696638835205271758331184280040607892298302762631736173282846124354753066036629789402842817101824000000*z^66 + 15493000051688207089730253540310991910342061003861138454246401974365790305496975444445189811147750367465390835569765507158655905213105914095779659094901472591541925384506453911063555036100537312265320847413268856447417155979927059520533726494671268685863724491110666078560698434112099011676467990753769033572286775173000143059435999964314174890564216240352509918658287875646177947325430665027800971597101661748673201531341902343203665857137313031401184083029594032301715963988260900051449980608226621528497275109238121620857927655665613665004523617678988617275837143317490976912496910605965134092241905429683576992304356264333451653678644324006389993227391920999701545594916954931285385383036890948755161855002008291029432324662262497280000*z^65 - 1054738421518456593720208276976749781527804711952994533739703054962640370791358069780134354379027884472064784496973376427791514526236256203485522742702312035902211354646121431352456045309667096101890763232160659424142633975569582373557098136164750131105588908337745954507674604172614868101780413758475098041279326387179958174657102039238460549945656697410605267302800533295778702135232353074171363159810632321814317763256322388529120714258140032763407290237561499874599094071870366882209980819204686906678750518127795348104936645540595273714342163613860545025684389110835644938719401700104586382829191091782954096132127332495498091460351395382339354209049958713820627673450032999130799143710636494067677909671027080881995048720670730380902400*z^64 - 78490653390166715388233058690806363689344077758286803854552899870063341723614681399933303023794607101800621653579553383491644122811295343388563538055207802019593204590029196012249228822461195873921398724967299179821364582693409347429152129980958136725225303535715979526819559652683606004388238710570486740103435726264198936492176659085779303465728912127638296324419728202357262754123787668257093707729315479432690619787321987581147890686405062377101772640295930269039802534128187678032750562819736381646936803628050691806049095501670684464219538607985561075781269259507785363857310803645563071156425709125043313686863985718491942903694502972628217292266290810577876927603965817261329681718584747419680891941160188267579554717342031749111087104*z^63 - 905123810298593914565437428298776482562329266298418661768518944874790619045046256699809856020258862943529282301960598974728769472833517100938597626967056349296209303498843542010584157058129116680402990401399421761744863599926489536724775407442605019331610874220833570114990263776410380249554395795403272392306566633815138930450778270873103517457999142466621771666485807463069309530767346249790582086631472062490489638792432318114531839062537158928752643885425488842059116268781686940463100090210481280962398513503572415986874108432473593750493100951057695183282821306153038554945291516757293408118335447883967246174730154467297385198515251498235671231871813419890742733472681433509299549806026971942655032486491560779947504778518308804028792832*z^62 + 8982108511444265875537656356743294275912145280840339112104002849283493746563132923516861043014363032324877700222350856087288434895717195068604201008513422655477230197761164693141580972595237001348060751000715656671242775173786928801885115081346461635667489181542034615499811974096564079806265082081719444961370422224383506842221963017842404502804634390282735472825126892682034896532148447959044620331925909045835425088559145062178687146114932293955862725198880204161337470733627413579255611216863961364467628195668858561115704182751379699506122343144771226209573936748084786138694764113987323747050888978257578212889881089018629259013760936136755312024382874967641054396290044035275763746888752725876138533854369839303197908090652138008586747904*z^61 + 127475677754170407886665776975738688753335841960944164915200111912875140360363262740624532697756879052716625787695420074839699836540454363209048434515040021202882545580292015956286766418122619330534340302748584886351920807734258128270123657045384824624622835577657490288965362164956918704335232626184234357220495245233962659077291522607595342968868448983561861547049162258293401931171924010169015913284339900599823724754324295895942124307249896756164500628023385099450941658954883853026970842655914880802285072351482306973307295105179081862261228049309115223680007754395393902107568597794677817023222461250439776764247622861847839286366382261686244499599059908975317934481576590763529443704491366991070899157632761343199166197544657782777569083392*z^60 - 834038945973443940324095053310296573481447719866050703872565057298234689014266050661592447882366650085384387619200870834374988784199446550910017010263076165457228748933712231412093307103843267432067343780804405486092304033073839031370866984237355825755104625505108647115264881141097415295641719897630768034948395176035925279899702900921983524252794402095754414079162612575702554196825939330981450265005173834221330170201659881330216618872762062704088531853522681127443489371846847792324196039569387840483544177947637465637852046451931339673377751090429702482925059396847443595283529327605750367819018272717043533019102684346993486261132131010894160604542663856088785355295822826614936238440938630932348648455207963224514643674977270892447190220800*z^59 + 12449738279632730513459508336471705433937259775278688005046075891260271984840019075908011493820884024458738737213400647588725552025108988856490392420251536862739448751698673549360097723326150442710098063920212201593420009979138998313294071915056194692403578399295394955064863844267542536740549157373921856064695185459920194545814753709503561365328270674463353656517057937273968280131162383598509712689445381909676683573816027030592679651804725838750157181064389824379767146806580875739238850066309668053046640529863013357809374988257263735155835880058859573114518155863998917040051521098934633297351149197368687159085797727575424421307809770024556732811299902936897773098532145374812034643232402694438023197237394556155684213703569229145039414755328*z^58 + 600327078044128805624727145592721496707824862091012540905349510347550735986094483992882314034652368700997485588449928114589631763527245432190936484969681957201056746701888054465316602238751225687514275223457666997710716106247075781756698160959143619941489481076808669677851855814262109762887146548726141811845438944292055361833506941378976368015709695840818957458024496263069975337850148826280379210183410474482191588427273796612457159333971560823829474906813451394032116297960605782728747602260267211725035895329213917541119437018732402740787302635045381843527533520422583302144991764560578721599961611516583209053209886600164760129817958539869516449325617224645832808107603086785782881638679365091674384078671811097500218727501470786456191273795584*z^57 + 2245731938809600087371740621718417289018078918384480123904104437362346094945078537035311197053490403536489347540096873656105259287250985180473627703570280214018971027452638363608143016060295077222297442614236025259548959044839746302125250258092814582769568049775831606972217014585618827612314452060575693226090446629274500439128839462592561614622071737340517040227149511138307566754809481985894161361030868127843479571676981624693816333240153494763832875016718929713254411005350353618675762306234266848014947515269715903436031529513190722737537446731460713501051554704913713020288299349158769432417184990320610183633333595901013936602139110675856064980431349658933817390868172055334657557324961359644313482054158868185138976023152977681210759167606784*z^56 - 74967029557590645543907689628563726790012630057474425949419750787576420044242914535966722689724954083786184504974875682450532818031193482288911603966752294231900910341478335453659804481280645604887263194688040148315866592931275187873633825256582990819010277909383679956468875899959783396071399905856117576886168647328353792469968710690040081086901975024942613248655373403995821726236304310650006152733854758690645018116684876346538685626937971314693436765552857706561549344161153087472271545217614588877318953304463246686376298670763215740262044046192422286265489548579681849054863959576025298827614571852341721969327307768379128491381793996429090024126553621002167506496055639554934756302334439334384863063987345199423749608441756282635240573365125120*z^55 - 868173776833463451800525042059142490249626478709401494673847401784826873648822005037501926920019472183272927809555389346905940058951524002601153130589977983007898603519635559449271491607612742620437608766769641284187695292494341330170494330857046011337751113539598360296673096388244646902713698046591797846533483968397429485394837196504272069367542136341919431914204446351711100333128922198652896236185156987105274565700317668350150335459895835877654210533973837555515849718453858111635232221421172563449966236194972961353230628604047448511923244257501363271489699148914837387336386181176474025758689379728476254767386799411380887999710153146796123537758726789928046938901164391843950914614003369271066507106875441924645384764317995750450801711199027200*z^54 - 171644064163960269114028078175423560366147074405691692232566803989501309096008590263488218398016058350445926727140008503251396597015615560874192482563718234714103821941854823168596570368975068917675110915234802290768909672078257098253993336053956432288955250663215568620148453063748439105660746876070611238256171606517221457642794743729567814210282452643661650252362473385206561832866737020990066967730113168600692975775459258538561692129057931418562447683237088049820484837980420323909838902445843204832819230053013860390979500357937182968656291727461262431413825601938692759535239617389179905309089568213013025227616375606173465213333114729304510469056212082794175772984041329187988412596052632779691907657082021299268403428939631296132138339129098240*z^53 + 57105621504500342904833992612745927327734641363319356180590006476474994667518521124774130649079177175748844873905845769217691583970151050242435566471656616426619288384010440714056543155842866771983262542405011480276343301844193304466639352907683767735524210998080078735313651802294006694925766071407003541366736925564908992564584346326381302926079702238710601076020883918054369948785718187668358671425585784865032861832150105066115896938178631315109810388731516898640958944955745909442078538546502772392920522201107854797825099407153849719677083395878482653770448785994756377247721827944510897196006134064454588732546874557025118695021373701232945511170095145358498364731218457325937748335525431026008799919908956166374333793063640259362524419291390935040*z^52 + 369006143706519196017251226703880684279168010485887635727244135313493485241408170870462135935623101823984214356856452114488029726371664299379278454644254947904760187873804170014148998979140352267813304954257254153600906648063199618539358482205889625672412668532322877752265007226410425206167216867714660659174088334974982834693832541260104608237437615172343300035334771519286907696299544286972858833943174948795616408674299421383689735663322996778198467226600728888276768733041940227394798262859166523583634736217909979957992188014582897642341928222898637066767234192339366679764319344608661842142560140229016206407385904439905352853414944784896637800155428114263758890227610415636783297921138932366746132936884333100572595252830942126066983381498226278400*z^51 - 511346711608145855482022579612888718568871461305955427452772738068394706865836610243755263161740046814991284592147587523680035512893829369779312110245419576865050945895633124400094283017526077992974130060844233355160257853014441903939295865498476767804112837319469295249883138906516033472852601922135966857858207784299098623533823390140415530439418936797124095208430472419189942495231069592333060482953113389950578194968438393764780680911976310387408051738138597634901375890125752479053924069156550029131440223026467192391114085766037603166765616581357664815379453899709769489534117064158802526325861209832379334762128334842531620583475556314124641799021938526072517194842180844775011571762692943596133204331830872458455252621629611398493796450854422708224*z^50 - 17788531347204218458501431668141623720335388853066903378844455412877524185297019054005184319329246450614979241365571977066796141076855474393738898166538667146137904767156355603226175071113848880645472226028350226815765634746600985337566614952673038184125133622833342390848479590585807481711855630545840443530152691630556774191131967012804831776633754372341334692652307025144976538380229530235371097741231648877743361546828994230179721040643994502492057709941709387762278476952156942524351355418902527755992134411069201424731203186785298579178121106824266269374161020802083143991933327372781863361500541197767015453284257416667115457047393101547512994524552112290722557019313389813563013417691661217167258742214276265259012817590368069865660670994501284659200*z^49 - 75687489726626550392511070091644996139388965480425089451837189511585732928603225009654472098337522468887275179629872970799276665952771694042189516245792887552020403341822990891118683739018930260287309379276299321362798051312183588913901631596105353176926316222760832815536885995865485042796716160960184010664810561648357409013257674201234924956272591124890695465623833514036512928119814294118525083186685130693472126523431057134821275922737537343290134403665575312685619210171259304837045367633881929146405163936888278621243682701621972372924945053650514877950355859972335402597996685725322367968050289591416349998609200103774544196806458323027427264483946612550643691008647071548307961759767062087902578088438264716366926347447174863072038545542152437628928*z^48 + 176010748722828321426276686709891800369094357727764807467197896842447726739092701829260438119651400317172922486014883921362659764254930337215697567504212197196530614365335030423253897047953745428564022197334264333979364020603000662116281086541704657142202627741597980037135905434539493809566895281913037727766967651873162291821025963701624408856224060919611517654518519038322929066247048196709065522878335807054925950449894435847005064731157731994315602009986261985364844542606502096386264218677198745361140710523777382927180446604033641492909865807054703848562336905036095201063994581682559249112796265827359020254718669331973022524799841817347511441758869725519997797083571193003157518036527510920050139850497886919259584186130359944636324387385692361773056*z^47 + 2966790021930839717214848425953119670336042058862208220668958961395725401606375903352710064365726442196495935333376330041040665817003546450071473545108953884232678379333183072669799524562546179575212809672421819902393962054834695266925234552141759444518864784361456125469384623976257979212774049420107970334071766488037542182254691194852457785247395367373298593786399005126875201348905089392904412569179304355408704840664752411503016765724818785879925074726048009243009222429244132467680417897574312117616612003960536018617263400804129113664954066871826443000694439307848431934231703163477557333397925373293859218968861890695405902030701103419568336637438487534332490426950068017866352576930330580470855429301840144203137399343280187637810619147248058294633472*z^46 + 9395201536833786852570191162423031119438975984906989673896865191692972416311734142861332454890966013361186271559418740908957854828260206911042228848405176985198664103248639423671244570783283509010536610224851955619058321559175147945836492196935301641862571968422034439561716564592023156166286540300288971804452079995831995558983396889207605688471096627521640420015519789227927712710638779266964265881505798276096265603259772405656978480593879399191941548496672833412373324083416841867354119074917247335086829218543456477574525405563606289900174544574120647164063460527525721974501057272943662299347538888172862902713046025534327924511061186948255988339796169527869225938682339613411721258366281692920499067670176689775369760452604436830815913629868887905773568*z^45 - 25095725617195042175088462268820247751896204809641388407594122559696955088344717204004154956269956988350174960969214705536834857941751206757818339311317941681820556495568033495729755634045106658638925396179018211662442238199203384910907212740096358150653687070562771836896197768661830048759348628801514600726302459561620907270940526778079137717024195791367142532096420906502924216966805869399056692722782201196433237228371031513638711630738122255737400753226231467470604578181208982163950267960149184165437715117294167901935732813363746297988942701581162961160854762599226441278215105191111875679065163929467606130938250354718200974741073298704651158895519922833599038930602328781395914419133784884746883450154050465484356059931737535977140744345352542985223168*z^44 - 303257466376804354239244568429737507590049488731003018923510095238356851157100950707707295336839377905172625583409448197600121937924245821763967216997648863831103565107146832064493625831378154448151235484936657338625981281656877431820779959020422871307752646382406743373792351519828510625765097226661566827336592237174390526214942386372169117671257729689544187975232375377959270476427212645886482614794068276352996031435618074019080711797775627823598645046493024164977776308695402927795912502781307160720808129958415516596919084919664092271164779658719438951845184626488080356083601639622174298538704183944852764643141026103763852463184612687057148196065759000563325370584471230443867074694723124052517002684074965603070408923319977052189132055500837424626581904*z^43 - 814282534713806021703171160662284613804024834914969621940049497880313203618810336499162365857512996424866033860211125163106590151083829086222131741351808454245296006038359212291386117195129068973141215785966136658313106815718415037890115367991587186336337069980596969034380733346759145428590048428276691883733595907640031909688989551210445462429697206284521323236184624682375777992503350773767155699803084318639149061538074211596468921203123301183925914967705751228269394620219761092686918482317728277703342497950735805045903538586359485897456856525232755663190541570824800229150673955335326165632586432179173508386037369194253130104003050615541977926601580034987043416055358347710817733690754919508798943716489078948443661989825048935190153887286425171514671268*z^42 + 1838911747731363438571381421634880647548934511101535946703969459096305058445894535827174567601624368765268265659594160839399902018798154242782118840798204173536055903164283914868575521718757876611690941397999236446293931734375213273064899895118425496350324141650145909035375763012320978017464647703556908754740699588894902865399799849282706217357141048277165663517906693946715780841555342586308250736924970706869997526586787124045709857080434587099975111719723724396539234362052119217635390145630528876694110721485207019390880778842523159730490064347773650081147214562788050280763707813731043047780386671146045899736430197109922982385126925331293925072520271560210958144685925487642570178470600588076153949809457623434804858325014475193976795555719350912139319364*z^41 + 20193919822725961571771217865383866521418865038754414063370324331307490470501545513701630001457549767589405617796983864042433372655261146136735361357566768628429108199009828204967211095525069550362345576103794259153111067946384001581924810510302849243950580085153488236645694335388832690816293243035147947140152443701503697809161933360534988304057065505459198508355644510124105900263368546334702624912256348440326295885071495171205137418589954937229699656898084086517823125198083637001582905075672945163515958631615056306596219459356203697553231192692932127056294904944078907615834461827555510520185404934406903188196115030788086875554746003801613394057972979759148888554477737867309444730077668277237409217205931600225744167792228862775481659075266405667397619378*z^40 + 53401743363790306826529150607728697869441660059203116477291914297384133634323632217121139540478934401480666385802736731899814577416152193021395414169552788957840872409576727414693459033546032383306119709347056788302529460382400921429569991499716285474093634239650184694381987409783841826029682235285238023788417444551114681021243364469850112332219656721801965271915669225633270879036116072362548201596903205645593541592791634093191778115475385690464992198399494133889663825911113978245531106881290446930050148207396843719567788523490839184184568769715430985839371253691521191955944051257495113691446787705286054714097750543554775629989222753792958982893218851821216025501561765487058918061737556817993835533494478602911675529214133451308144623341664205123342384708*z^39 - 57776858657517976514044343580594985515457598986663473273154948855944144856261330882075563945230317046086145181739295835546083317234677332996706775881521782547565063651622378542029217070170338136463759036286847457374187318055679673844806848454824134355041014339701162178955881797247695023771332573196560429075916154144660429221193779325650547748987524697331502751871930193225506213936985993695263241757198231107343404641797576442242928907991696685574719425063932138366582008594350575786364625846517263324169485599834118867161737671333665655070640463355288173544826577819371536616471016323513138015361874580414574083932886557160570628667186387412399722759014828043982878526435961940315609532040969670153868317528522338184292636970567802666696222464366639302648349428*z^38 - 858339161861887804371297852405706153017956407791522790316240699313231133636622554392592310920112440963323252735290290340197399011419277212207566498122515741049005712769673276598805835976377987016408650967157713656529386355183101248164088893449090391921122229338951907284053904900733803397665680146643228081703536428056772697250617999080542947372962100149216786903605001019844618625437243682576065692012230880975555094223102557921992225640857732189558830591596340136429760906085711258513506290591793093071424041935608962438806700261729801177063811430059070544381664575735033738519017857238532472617761467479942391440997639679468293086524983094179588225561399578394312443891893454552057755582030217144125256967105196441825703223994296254915436484900482055487467613060*z^37 - 2580181405505612888163680893504972392937946239491524829894205105458640861415610675265217607105716763607622624056315725208083522307209630463759859141319290913754867593313914276167044530482252461274968730375732426692775970360308556206644055251089935995978705977414755648711179313670481363642715908864117515986211314100088231293872439860944269771527946488495754621930065417267963252999822969701300189944243792654381059450162012537662153417516363975006802206621799629198272833055407079338497891813748217678471239386483705456937944131247712939194096230659408315128146028844531605366740831606280877668408597651854595215162355079540125137513046841525892148519901827861447880895965277960399939564276509863386018810860417958668761042342920621125139011910622541487787254069120*z^36 - 1005327402590605467632145991843838357640759872875843387113090642319773906413972240826543631585826974223106363378757410090855256183920055429759686664302046560524431798219275910173529014183076817158432275526779444100812128722398976242266488638953572409630925111959369466253605417478843911027728562160594539021850787568903389158329818079711990249305831786160668194003616375471529177678390814680750899191275246253222466800144508441315981132045933081023710797495149947979081289258840333088827552294686974566726816348349468108554739127650238931164600279546949382783515073682978429809313658220919777069829803459416902143687286823251604521071866891308558906009719210948301550389327250085921179483806865535607018444568327525332306913405253740684885307571618793705934245767460*z^35 + 19399985159537325416839851584270671885480865264071481538782084252302156595669034202499725178184607440853123189065524820837446595868520225321628704051466121630591043820473385389969627931759817292437850764982997904459873821209715865952808439206466829932279862422729689576620992743517045684535312924778699894556531411446210859879968794073595358631246945087904158981833941340395954477094593361616140641314732212574669268489684262138184484548858973768271565830696408502018377763348603159577708337513654999521322428261968535012193833550438175869163818337758295474231985792238062889507506896467918055098204171606468415082433735974093137818545009644560626864716379758537306516489148360497176313138030106934984288699015356112464361789446824197549757251030141317788992061582160*z^34 + 76833268649021852094340631646207579618765897788969483068886595983267182692704437121045778504229105155005449395191552791207790458262725987065310277229342722589811093412423861995546940519287081638404431198193881536258016503648300681147963691834923684248764607192476527963837340164558305696840215284988264375254983069663957037815266641464618032344059851029204542174705058008346904904757148244201708614465449126549907397122684119307096570804216340964664685515792693633494436848946724237602571770400723801475760797084675095645678823554485175546885873589186797157539854569613766532592038402929592762629599881053811648540357004655891878403072423948997942133940368297931516091114931722906631249632088710372041516488958516684391396851682093026395613790719561319945484498837808*z^33 + 127626902844540986443450638220474745823566811318987295996248835300169322249370801561121645591000913141208064935020158126692505378413825816719569129278835679344589065594696565169341440175083732228967827418150879337557748416866969765285693828844967158415858244109689675189236217096370809763222561332151414933590318705155132893745935525762114678451422987375416090881614705233320323267593426504744844955579451112644050351479793987175099823300898434132791516424943964656676705299676321677476416032786248669485346522314838304577844760300054509714895438031693651862446635277305921552503871160297820648511180185095645811715624681950142749370908355471241935526305950023759596524179941904792541756037925875853736792457200349100837161377509898595700147880202073891747446435843806*z^32 - 55889083873330563616248331925553635977358729709373587293094914065312680685542003598029991812438480447536449374480490715052648517220417948149192042927460024838600617691554829509063259077303293872981726924855494172436055540466815342482650428167295393472763565826793272468347290977923887665170004239753031795531834890588267908769289978396114063073885960031254868552617497914180185047260876522053673782338221816390559220300323378116041698161664780133555298258515863267207923671753424617939590686453263811791095247044556882468973198503157847438966555314807064834649791632097123287631395671198665864204082067726635277203969367364896119955187104631812467754482693976345489030180852483235448481816214729054934252961227984085452167552322217505889193257505476633806323050129120*z^31 - 898078467526185700209152294830928607240813642376031935928313371119393443639965650907597888193359411387569216768524882951341668861854233465915373336336310808211290834622371912446112672049330886940117213583076734279970546605732873005905194733834117226490098385491443907002666496993809868393880851926336093855208617441800031324823582978179661713008076664910139227984239907618742872748583844533984546692847446703831589601033422869933959825961821108897811966011898975136254823387029641865353968887069711349655542129306396685288444147444991415620546374415559061177223453416820633897371449244573698922309526029352846338452247900884633032626781141152997503399285072063980391059453372928120814229855605977429799639043330723687961250985953446682990039257420381560685314753732024*z^30 - 2605649486214762192786110920549877829570497933103068169256552172499945634986564249919281928269375047898909274965332772504527963981845774324239077099116230605687597461075418129906092754593369099208405413847684455746310755257938780687270390531832054231122318014737998730732912843924305571684826581089962106760586130462230700112508400162667490588957952016246143924009409212165255319080245045459203297075263005969195548648963038957301496307279313418507707559243228533679526803611735821092569722340270044555547898576250816133540289553905086361519399519003872237125143806848278740473820610790477605806764277709158601227471338722074013674727675550713334547070532130269816805078584546369658268973927627832861577507824257067161979525494091770618206065326506658936889029342869600*z^29 - 4346517362147923378495589735532724082476508835387212572189335500327631421081040810919805916878944785955468364506897525444020299916385519793911764033059546666677549694108227535784957647399360714544978709135074794029558029396189855812989376879266108680824576864090662058193075444571180810843827455382908474050747414065344117830426263636723659496142056116625191904293547402419258267762743004333829018184074998552883902302784759588094229015685762482893026811898347988297663747920690908140191254923507306858641160783776845036470694538358426852945959843574982206102253102240922004199182636406333863238445150070461382525601025732674222238040762434833640743588699593274230902182694992699110538530983737198699451530734245777726707744224520656247394849014435390364124492996252464*z^28 - 4040534558975917783615483253276866113013241431372828927249254476298766611259163616838669887415823980161332979864628726291503313618035258545945623205672456016625920358409702395083337618225302372587444859589129240304519277519738461672631780224145365808205424685350449251996481841523992581327968455523849839624898307917067619615060633595382096702284643674363018086070771723465556777033686204880554066800610862484797725034162715929124089997530749078239552146874213406564482225889752512373131504273630770745432247993805181607848561877037659459099639873566444891364748095646994455959405996894278191226940732602948557708541040810597680115969231655687754140198772701661440798424035966479931233173229371852950152024583321439858311176050035596503781033312085046399233010199474880*z^27 - 278566980520564560424738727911851179170965762166702610706084042032926979427962035998281713033858695174959982785849545232698180259973546517778704881723042625986467653191294550023247088286734785814424615218994665788983313214874827487558647739332701196060953006696557348322866415782679072073812912886521433041298290315974938333510416536063029662275707471923053044919089776817757792673273289812394311395961075654225025961112730963356750994624462861475089432574027736632685714584761280746252408320474069764761164794652514918218748235134821142799554184334990413456030479296739706483268380858273896438216947682975503136912849660184044379044100712102302638800031210814024077136438835211737984019812566157480478124202003040954715896356146783142417711163156429263263597365309664*z^26 + 3997688911930460381917371151526274772239052746388064918800146361531859917864658140555587908087745317630897130864291529366891441540225623748235210994219126574803042924015205929809236890225216693125890422676117273816393539324899645192653338545125710042073714114948837544667111151885344506884407781614406443506571492412539800535723949134981775442464522099013819746157486465315183043814727798663552904341979546213988539826941718899753895752000202584353312171961359118110703548713855617863274406258753179669843556771138738699113561927301714052866470244667641197992854938735028328764738616702637324643849848843317786187475319928525243967402216976367951110579110153730524045187245228671150890555448276094134687184025267866999833828081995365826640493702696020212581398838443904*z^25 + 30297687403892741697674097629971425211439434156336426107763530348628740297247500440814636509067519177052055528383513788368941923957867425052778315042496944814099408325163017543571837947043038458359191024796388012519640310968168178124223477949311209464065672347553577132576945668627320268814526217540580094686299793845300521920538513858667852885024667377866124782651396921063486824622557344820931504029190633933184935867973865309351642361150183275067287168977737524632108620556824297594404906584953657042810390325626485302847231577965367797842287885218142960860005002905517644278059131726038305722747362414232905149201520384059982242055244075504845155929863533778035690885575482695756542059033580425652927697849845803121601007691444458106338380558742172928427895899776*z^24 - 21567509392234966959206468114170354127199055213922411962148816396079434508398129031918039958699858336311623438341655182217276183535537704729898803173820726148914471157842630175670315327968192680880861064951494479325821544601787843845381020713460446370287164948014948911821061376807257258985013681397314483918093309599074523888797026781900860502914669482214877586352222811102263586553693548563959743545965461594104560436281815034401871558313082408185611004901264066338568439018056279900534944262227694715213200469407523851511720180220366889203870536865644179756042421255077090674035292918516592875789311259117419583146490703871779484879023175690970215732014659849287841161772070039581479026127063207214017811514583062201651465729096173962415451625480724744284884955825408*z^23 - 60856333006797148341940353929240523509665817462452507712009311254382655163354985389689966691340616170438192703296356754504933127409339269792394031571846410117182197184099483086013429686360596548215510734775859558833984236408692087264865772266844889529884438472783573257023939684205697567506669540902945972986108724654443120488002773653144301579407164679572102823334747269673727831462182539849078280414918810213473922858353362937531156719505159442117498019296773765866654689716565183797856858130104896349353303890544326466099809490795586262912826455411672856949971766663052295633535689062103162151908274528935328504258841013071367778959707579648670746328614468877826934632993122045605494979306457840478109246858814602548105203386371649501359098403128834098326715590786432*z^22 - 103464594247957899609706364338754898764062020518975336393048007607549378454461952526897657526060583844287977412201739716023676401237110934530911313712633388252452309319150706738081782899386998234088698632241166693130188850180780311091776127276715453998314629275298507464188555194376165436095650698444725327374526595063041159252500201401523609106735445799746203025612877967157347145607625349275257918954944930212727771357187717866823222034306469493207259073404291509848520276848774977484612586218864018657058629668378627682805686005220719497996313554816190537491509819164794203320403809539191897959038461451742427956032119267304041169727031638473722896699397696627267372459588226135912931839620993652544261686517049609161320016934578530644699199125021741310894844743726592*z^21 - 128156645747572546091013164948213833177808494623986302559610812228686043406234532861334572676428020769803285690749062510867831742382788062136674888732845750945209427750052700897614566945580062467621882227535033942175797771679884655760828163239655012413849238480980795966914696096963591257937281953668658000726207249375727979333362228388138117796534409571803176167736582433764355897767646431190872481211481916107577104969456260592101959986019821744372532797330841382647216876223827345723594899139772237155752237538633608180842986235741521733930173371302318849836841278661157435107732012902402743010349305416256862508597202098038676323545050428387015679800458275577894170236442901282321398645173842468989775987402518509573181571266553295604321346597107679725603494723197184*z^20 - 122305298702433199872858158445944055643361140226543566926191718074814564079478065613776186407368887581554497883662782972250819321959586864927786322682767102013985542105652059057749920747020477806572675743436417045621738166703038011713979896193716340992792321750154731293077679985550867428001119285010105294448366862090098195954026715870020671206058805819221758011441076452892490855311423561787808603353257396816215509941965168327259889887774835924596264652032049710848503601302006681050233359920569819180244338097787778951489287978574581038637693932109607023257831914796355672014745802726931133250014707957099876906192325571507442330101594410336355027738015027045596581169415980063023829064275290516159978923878640294588011439573157683803009414355245181594707516265496576*z^19 - 91030543163470728646638156469666820135816347001163237318772570508552352790617920647181448427507044585620590908693356720880831978212561005784670300048853103621558947156732539030197645223467844146225330039477262527774223306339782831136167237180467813651113724483002523119459808530359558061353538918767352357888414212494735553974933175247738731555613749581415864517614397689940181914805609971692103816763643489544123436068508594624278981535625255302694298564333586599137855682750792079026481212812347263219497340094220807869514701072342965838057305067204344018284554102901693919999280170543344756363067598980575148170715081427937522288999029658502147603296325540674629221487227277277032006166215156596588156107006176721439749457354539747741601268443070971449286020191728128*z^18 - 51753062706562368840954436569050178492235271668573066414812604744984722436296071979614184518174002585354799276597197175985147708028853195120714952759945826110572535075667242914796932592215904965917698214824652195951587978880413748168358127214845743265095588777843969909645244942534886238782220301586520760496017556358631592669464367643165113509220981903631012617812053995901298956139912750081224852410993086788725570855648365734074088911670742040758167423117096820278656261918800671102622609459958065097564476898874662843975828116173402104641258649823950670451418785655440372698659332840743141078210649671507044058273918612988912640890213756997022660197652226876014755168465418650496992606155458917310100425416980758081358454587418750936981909309075309055663788699133952*z^17 - 20657409292575826377517481043268582127279698977785676861020864458761774812290467217996762053659294032173235106441118526138771958774239667529891098070375095418823665635461322452493192792183853221266103699425430986286209072799203088427452647225515969203998874251990485245020280336069432136648129125065741160509459777431717979487676299396196547850027745831284956976489945266280566460195629452357547074892939208517052548815819011466731015464333097109869446786669885074348197785966731933987104204310010803675414240413455177955383405915593659999435859486303516349716475398890794189977935845305054248425603628153603127536065591846947645683079052183868549697345180879688037709534337807504095154017962694807140420615732368841047343154630116367793618902269696382823911228053542400*z^16 - 3808434765771070059174731722443917837315338784103144893652398201338998855428156514059755906482034048808206043110590108344577214468982810506532877031229402494272135123582345487363770035025132378167032543748947178319577920917454616598195320747179343188775455776861502670839184002089474297765120233039038891928131367724907516377506751476467305728590707437755116359323278918201439960861309290086192149716937399729954390016104599441534536266884103526945743580152608548682595778427635570876378278404137323630771807675246786609203589625626462074029518335872246064630329630350837441419989847055684890560909951339304651079776862661350612549848982301195595826758448766480612008220219008024793477081519928973524436118452482212407373235000221141536938102585321598489293875397971968*z^15 + 1801572189584125277062428637517225912988952413810968598452308225876495293659585387748900022231599099927098374967781877547896141184368040010449876122527447753788338800257837002413191366038175281950501101871758667221263397255445657739164546228237385586784612537708884332511595975299876787146127009905386290307786731012421766831004018652666819124399349896623855918749551053384695002570337875601288975279877643479697903728203761455904651106189782662084588668413384385272653113524711377496919362478163444913310293283812941424866696535810979888644311706956862205750764842291353592927605731834833075789328113183406562812028686786104764234545292240653151560247827500334310211826325496693152745610935901321708493690153622938114772677050924242780651563532284105592724261835018240*z^14 + 2042843336083512770418847846793334486267823418294000814845541314191834400642386803963387097680758481742414079424054409386120293646902600655593668101582489956585800621927915841566924928661236241870849279170274587072128612162927923689802702421247655744333924395209964149524522222311840231771746678506445492397430073319321986975744668563578692385500371447098308292775706981698976810098677315328011987689847170095929272229597791668011294494711062168660439946504837626891291227738148813779038544913051931645348361519836295617342608949252743257499141642960755127638734576424204893841482969314010611954524349014501275750790722948222803092702675977781303124162563451147503105465553130545436159670689226311558169797981847880081342926897333483641236321176622249768789892050386944*z^13 + 1042168755537020579513082430125232673683208724153124627818573346135732447584601761313757006459926298450274611405492920879849927530389842696823440433320884676747391548257258052813187547830069268905117873504058103048095866739969151943646165845420795987910568319609715924480156621584789696541613348274435304315109934790258817599751068377836371350701206701981166228268701453300440896108398962822847325608067779559740119766253777769391761762765580805861565838068785917585943862472004469652190580136530925909614817333868595120396038319680289947967876416132399146070161626766187996238897501512768078305497596286877613721898663192264831615568488753172096210957536488843248232305163867109916627519911143918574358111751741194830114735871609218388112500402491437310978346079125504*z^12 + 346940751261457018427295919708744508200978397234166782362618150920858521319544674968874530463727548165169626197269277131758866994889282548250984490162816405682878379834634397729720642922571671038241381178152675599492969504714589827332733383670153573503345632001862084356682594067587243573766515705592866363093605294623455578247103775966859880184245127963450015409210429950620715480770553212478865642969226965985940754119799836753991541460150037362646653974869620714130865015868027661420323566155554846589627993584771250333738933615107860945751276623117136674106182266387027036534464210408802688434157074604870623001926593698798716508907548952125686130209231657710464925371007454968614718577190708033385367234010587499015540144921198361609969824518914146403343270412288*z^11 + 76150315188197732017696368639299769492498067118516267700746154067547919192915783944790410799575873467580076806684346934629412771429863518621433171649924387672427037568343052920190519880383926238691990889649248893261622351148402489985149238517558672063471225487423502521368068802489394391793527775836149914327388655412560062054178998358601065161808176512546422254568826263840649348954950505808790775985547513988482429659824841462681501335231714757297552981670845456052947696953600444692968541443326581526701444445513419232277130343039477572800008141189481943625208341238685564553601699970097105752165840993612008423470265141817288623471726022522639204721635786223901295586303191509189408613182579951216541320771880226767368830692769337175792481411846458594284427280384*z^10 + 8842440760479180469337021892833054808070268993985365101613095272563935653588570623906755334658011701391490804021730740846952347401134861027866254575350475544309836715002026802263365773802445025890908445737260160119516497772859537556183557582730494314177694185852832174223492552989401806315634196865053929242604734824029221706049361313425676681315323648151203133387862525943994384982390908747801808810554948513704673417409833602812261699220731679049103207960929393922079289602460507950691030707298403908233577999628480090891154343938512034081374032661462139744509501248962124913726649286823650954946174945813583832245722127737452497409760978618231773783138121232940828097282595999495688224004677034642453526502914031948316290805994910230340090795618836569277601939456*z^9 - 468472980802812821169511910839432683346633797761256470535394181725204591864440648368337034226003364597383588132285906103105798372557926141334292150399452516442988939085019198474296615999002337898420426866390688749910510171026073584231268524132916522423792464703732842721807817567041912902098398455089534702751097345478055279539994822646026524014847568953534537980435938106497078717374341498534026107630778110309670156599753819267416886832432121459852683672793933644197204013889475812568721356213657413643646740836143994257950574844218146785920895483579027059699962515104179639447470660307732332023404594148937186377965937054818663129792839113941798927599585461818250189945426036260489970006001684451694842898247145243437699258979758630997748996230073253711210086400*z^8 - 401497258033784706805791073692258986709883643750161580511743096350805359582204482611201218152721084422829744274023061277220985189643063861039515328931126400251591040493958878529871410307713408657192350030262212490667961758755803825253523025244743572340219238918236513159917023803082386750054261732672889005078797101222687824676016281971771459501347198711517063897602507187570629985853734570922639341405353624200708797725220293610008754346081687233803676529340950046836571175602509184392333591695302200601371740911812252392746055361662204544045215326640780384526251624183970875278985095608996178982819240378590748456815055589161444271257309563953612397533439967200288410688381415665753275251332527355963923398032646725750065512984518514797821174031908879007219712000*z^7 - 76081733362539100238821306676218458632571901663057308907748633907620570324460645362894545976865193185431046715287744374540972703539816458190532944587806035632470228953406040328911670725513391093238985514932047033110161150964258425137601950062223937206893729506613352456535369957286752791775932275628694674508655436638065996256944907465097794660838732248358753669350783486852986997820400957311469060769075687881227194026354604759140863272762664976280205257742793903064895503024052107297797534880634279278243456320356524151801058139067514846814244185580817579533556416426962333675177893698953408730834024648116178493468000541627114662069487822200115505534937311982333681813053426266330043487239646528106069845540430325623134491829974199402034344214209255629127680000*z^6 - 7177087909431941569097366489403094328569331892740690300412324649801062164798039432123219562369801337583659099786780620193971247693495025610491943806858144473879141483204854712327475935846792009283106667255819853674848957860071209402222121486923986983081888002625959839343615294409027004332983076211523918269860893469966515839700820063003287883562037246366470693745074163311243477844993833300246283741369110346465683742823817288653878408939277608438743410735681579744049832369369659144178998200531452315463403433396499818114513904318850880140413270302654988238605586200254506724405308828747173605188109305153862407392754407395159204442637808521817164848723298707869070116285467110044104682446903578812647695588522763375769778126028692790844634609942810696089600000*z^5 - 288857788910789365294189216982623243364932022851210934455283049776094037123465308683360400358206192365705085098353963987373194790139969000404944782057395099472112652016721854602449005964766337160933042732854866456544125478024969013436223751257691313970717693611876737608360562760264005437642646095033035307864861791377194492226440406863305504917729999872677199892171786768372965238861683134142368254717907087367977306302007622779919842398964359757111253433331919445389796359311080781800754268735915885679813837614263299214333030033319371812449829813370611581826730736480968208522947789132844486851083345341478163774332811294620456703843512596486493231867024142684899219851955958201710805286926694418055202940584996306846440563284681432237468897691103448268800000*z^4)*Dz^4 + (8222007356388000634014410583170526246687496708728432599007892754447005415618220533191709659787307336547738749568775017023693127675458263030754156282827973901546434310385914838968229292009898817388086912517973245663560275117216410927344115052822080592806280323668979419206613811181543635375169072871024042330058140858689427423630207881549286723278131622205073397170449296953878531969221490980967668954024917660831887351852553771526062698873831581252621216945905206618973467388555789014690922415660928349230083821522972866193472397255763135043862192162248525727141404750685039581094818840812112805436617910116867372826799430858215091549881613929434567414263998284905383358979128850432607844804720433175372205458980864000000000000000*z^69 - 4608930327211106240430244360388917668557084820772474167391995286370224813914645018378979452343509217417221837020492494656775286633956829852464290731434409991389831714549835996110641696608041443776998030174063344116362726122615337932187396467327942495311217001924310697280443377561841834664070158473509066701990090054457418084537405014401604336492649736203806320701309455325049579852161638590965851436373222569231074673492084730093369705654155012676977732330316508700463790492780808849997330244275131352441170595604687837937517989188122336491768335951046958457197785178286626733326352746676161442491568783829934362261544961761526767924801605775600945471382980358450230491436011921786132087133737207102815405589365610512384000000000000*z^68 + 200501830119483098354362792327078161692641845175751579335068472113110615439888040634383696339610753365659905664394153449406046281055887248935180314878826589794183585853422885268242269072727516669746868653864770402370757819364489040864688643218367670081178662242952791668468401078640521869941944596723311577380191220761267564920776735992630356604576689295618354090328384906802276896185798469613549523890624106513529307164565891363481761974133206995986284252657956338987291285112475935682860273885066553363765817746921659636142269846895274356022009800567216668610277717758700381683532988900462104044978250302108551517801824492041270490794404519902641472253389126952858411481850739204872927204655337403617549912681859759734784000000000000*z^67 - 6670655616975159770849494989966713835433924124963743748004408052956838027773873450922545198524024801862766187571501022441882880459334144531315782220672261429154821600830719459430964985248862995434014491933261052980851207679052810954951916540176107272316972121586536309724492261618526527212366178411585474933361337024641738103577936191189552892295424134590999070268634860015158730251521735164113172580903142411382128382088231061891378591786429723931553307011573248877521091367234790965847595540422364136331554969319402012051066946991138515563567715189780386352852481716998921911375593446540287022319840328099487768005886112468258583593566003807348831816534339550117380144655985758397519530804060200569413216807932075995183238348800000000*z^66 + 493461170613982654442339120470189296545793820084244437635031157722057057455336021840633940311789581791643587008456435108242375151493083917930166445724922283804923070002233728891016537295005728033251889715066745108817351638217677067581568390902408590022403426850932719745914758145353606150671063598946199555820066987344438813071180210715060195201491097285734383952991336933185327427983238059059065261033432989906480074475576657404397312291864855337025876212252672144641690000564489549175110964422123507395605575818659382160555047285620793546336252733942322120372162364451317082120856071159274410080206459809836321879930400646859287818677841762391952346389424099350644151574785281071388316470710091205253345887605745986626890646945792000000*z^65 + 84395724945514002423691069317739247471401464963761701500960665068638490967461742592267862213068354667241856084839207512870893688865980616902392241973003025469750993808178553072134362110043008117986567363935349292377448275574543991646380921590193307791982018678214182141035255754539544505304271359782769573757570460326205587127830782312766427185851344274535038353114821545249272561663968842495357199981596308555477152451619312640042805366813329399869349505706382201177091673373323024013104257681883110611290421160587299542410357010370611204261337533500447944333648856338474036770932113566994057451076868963840029004234286206127722535068844698820535869746286294070566488484655705213213217114867383654843636456255201411702741590519840768000000*z^64 - 4231629542632553505395931735682252239824370845062423236161322004507627363058656452240822891141622837687734939848241322750504584693153616025827776826136982932659859201787878610037928275978430898325635131835042620174408376476550952832499212480040968461292426176245819487212727286261041863197182264194261867626311829364838762288846430014446517140176381539741798204227049882387587786491255494681910375401443256061328736248328421575953701487786161209073579365289372020737023654761441824031402330139823874366624277408893938756259636433764749539756027274032384410352632407695472921189295322174664640557987523668071477450365674936493493950040357552847885774223021805075273514506917478836143653090364027614810648132967442696457083473138999868627353600*z^63 - 377592179617976031377245142380464778920898469531657953780457894374595064797005399824604349325189481805391650650358643581616533212821614476252491744995895584406773320111824363560558375019577648090821741265364216141795931232825784291927039902627928593190276093647480482746998753451237018948714346930509303508469025778236743618280667385476452525327478584492227284761143092320093656866673871467155227584751998195576385605409772557091209086797848908187915660318759121412021149411173224355870542418256141157784948660555191242571504503468108679262329829923507476867170404477767297954276884233609504004219594180696819357559700588888343231736086496470253005615339141627328636566112044473830444465119293757738022334375516566730454421323521118286649491456*z^62 - 4693850696592071961621609840401628196930551565870696760044285294889496373304731602604076856173296643305127967089316360565838880435629967019362703485692118891687865305959503971602893579510019081181368369532770305805084856349384981970964087938342072922382580652714741658979105939902919318691491594925781132214548388073815700664075382188078121199963625031049333867265228964304188180634434918622810156478739554535389548626595383920175662448047338491453113082555739350922307986780040538064613434149298804183058869998322859204913200586232754388992087357775925423117773188557478325430961752050788965761812637281967202522237435757876316084867843726898343958426315609371311398385525379506613206473912092265024011725544732119482435270371034508732835823616*z^61 - 26628196766450444918708503256291408267209457686989012072261619432360491897469979816800255629476833267560139604495130607190444522270411599875821762476103527222131428863049193488657420066669624323651863635801718231354867738359436155254675243804166878872750917116571746045486369726058681309965067294950654310140562852292533275709045503862029601391953068681865670970310308778643676247276204730488565224290782697302175435514507961776422114760062777450396133628642612371350750581008943807898804618814206616070471428587508280420419309059162941305680766567019791107426870392018211408478294063934040082205079583385402611774901822169936870606068934170076615978663585389439611645677458196200444632309381067580217476127536204320928067225266990083460019781632*z^60 - 1053675967921020265147424403599661560773240589946471256593833638780779483943971097747840419598571545966055280730665554561581013763132945493973101476400241021392903237242391556964443107830907373661929510529942978867530542769187645071168650444735335424840086025176891419711517449119311487470222724791310029999785418005958449831151161839231406190963144563529782187194049956171983749247191120586750511510103675444518150274081996804584697091297464302415992359729828156095220852524123129565293178154498702137512675723580733842467990135562085969620409679999118871870965909999530961247340317939543223278706674284209395714752485353876188286693983204409803445195341459645987170096049564704996575370658222049526471055846967362291913888041979544670493504176128*z^59 - 10205058823813793112828595324786651847219983703712702461658126027179127419936909096165074736173461672667511184882196067202595054352836049383970490585877159706548762957733408356262419317531405128797869252237935281336511518311725597677140853228875896009197776564879343334017029970741772767544012872049457242157251473862257105386058104311462410721347047353278541110121404683847282548135669083336245777059914764231204046965758252910183290734556664619142052425462833970255803961819210696335369508814508895264449633634066978320402091408304658127792418638388118991995734492752860036412978443746512338797819431324065058232713934405206958744919336397228322979417455268440619384094355965745407568728895317319659960264143325276553354351772082367796656302194688*z^58 + 236981837392006104554490017192448091482011849988568504560169726260922551676243545766171194601053941052392473276165607434042169624281245700227869741050871097967796801381105912595224764968046797002733442877600773591355271034286147762178840726951032956172591319636337517060924476396776628760941274563471287491600671625176442777241355902812352857226988361084260264722156792292204240859275822570715607856797018957983945224700138967847206310340682520679011388072173869167486567329277397105649732612786221373799850777975254119167320267434215720061316592864989335961305936396465420216352653946276709860229443314157679705098138194446714740281187192648676877361658530394209551666952779673931354379558898046907533919181603956776004666897398279671894267488370688*z^57 + 5092600072824269799330042539993197977269296785862981567373795328786790108723997223003209190839401300541395893269459876927062736546607021118296380809883496202258660914290489572885215479376100676036213556564411678485729625029534408674190340247739531807865742552315006620447108192781030310702929263582270959075473833726940095650539941634588711080166547311496661676015262625875839446687638205779768983427900683524908088113740267144303636859885020760220248062982932277635882534991861525939030735579833774475060732576678993966903385016961086584383839125405534348615271460641448463923314697754250362745650157142114677586943491006061426990984622820573922085630575156965658273598528757112499321696545832993272174591179216040400958990595813572304692951830757376*z^56 + 26151735628199587006191152062985801379005094053606187315182506408218756067522051296413763211477331811948431241400012389499458994253944832821374992736319039892176612773622663436595131729212614748928216188668461198299906788634585449358228825685171201013508593902865458579441721156494083106015792966800132029172006700262233862221744387089093595713598657863457373915536032311327968321297170358002862364471430340843398997816779932697097659537734335429365354115667210998259264253219994374206745388457969289697236153632136985486063584352336939916479229928162688042781367042231073159495347481045754420151229188121590101774683516496212530144442534012523261655755201389470070386435190333436208721023647582541618413397199152165970059663752888308602720971965595648*z^55 - 192491004927956953447415371035274549492147018041764417400859817897558381965653333146011139499386543206713003756231700479142312427530689089963601347256358751610322117584125918019393942102659875287751790493122674747897227323465935884022642049119595460427673825490501344056038022333642766824102468542917005689755570339899092610915106357659603776937861259651959605576126219140370593261166104976439917243999360563307095682875876889232171173112320562597878986019568238434623385761457541212079452717598523484498124844418791172901889736815626783328574773709421370659157333461136029813631311351118952420641341614486680752919040152516239278152228464423178807542272953158952414331997512941159022660526545658988018701168429016790053588955316876708799977215796183040*z^54 - 3534383455946515896079664826031995553895824493007149014710919503390200997797565867094030007868004856169469006481031203875909394936052099014558796628110453350870157374066894517516029119355002824923750026907837459457371283568649105403769419113258553839923305407578320849885073796173913873194867226419428686013213033069204047101333280692827841528766188978503827339507157352738484565484644377052795817910808636601385074829776382060455133885069447788278594952183102186069041633403409607129539717521150845510519948451775993318730947043221254524485546113778448499052288529066223550186343267878863826801423272140045299293204079482869639355103953833382732483301256215576712831310686163681715984638179380581965000920251993922545348753695284039999737762553373130752*z^53 - 21407018476555551960331426247084111244366542804024232517548852595798884731157108022600054522190323120202873025649265200498456142695293934353801917558705014763066994359613903931658845806213502273348054062197022676998244868074917881795122035669083376125237896729384212600515138685770252074950182288436211626814052334218378494075218036917591717885819989767956312856858750565690489957980595947876033357965241455171243975608240109766349702046333383007253417260914700678764628123425756037663528978384457297568334846223841941276657635111188965085253215325826848207703150560650230997482342008331567595390620913669961902139514058350101763665304027287253537179934590604926957073065325864589044463053423819050041973473242820203150232196869009106289739084220011118592*z^52 - 21216452069705615491739325969467626886193955686018245523755964087903897355290050590222918509167346702293333136441591663977367631158778586550059908776928779505643216042125740691331155006446526467911225116685833756383610791725715049561196335144230183368234099692493410549120145887637268246259921714719195261286749958215340353914291441675517300986920442785106600467101804804800402521052950647232522993292051128704147083855314998026673081428427641770977798020734439515833306037808716111654353787554825415654869092640718637639718759021876563777166264749522940700986012137641865158317214723697791622632829184171535373462883554734309302276540354000034621969846431596926574407773655242232847385440135792746479047717630571432574072709584814043227752550312152399872*z^51 + 838233294624742970893981213746075792552501893706901863146800801866690917554213300716870542010426528193721387390883727472916024506355581188584540880114191961813883665772774206070639202126690075744195539229638602306145531704033067078022920826595709935255179689803091377696827152732473838218352289175472757147771670872804909592519538365001047889150769909446224788673002758812790055845235226634253397544817798998582414493365562019990423249549779707574856294200870499029080540493634249891613641030557141691912802523633618854283322393466502036637150507223254635827899659563889208217355065057676954237772270155083106138780325399334013314634484080176013621517427248091977029469461171435927317220732083714313302424907328357785845647060781059989823473531321766117376*z^50 + 8642107928795886360724327019280473076956740915920066699138448651491040813626351480135318828786324407630647222517468213925944998138516248028886758574240339186590252517290849528489671345454007922621732143351740402061398487330163034035597785067644189104215941352655492901992942561696032926319225583521482763965980917470350841749716941285916004395837641299349858947944130900395251269089456836456528183469556784500376283307917876187795513918124843030630732743320243309095808414622921856056916229730988168827103257256536489778410818223568319183400956328145707844404193607340360542028079334973432028513650556136442678641954710184530086646793397103109153114339992204761304304978129151874446913544139079789119270760610867987247144820324251398956720102751834029948928*z^49 + 34419802091426298644031572290117124142576027282847266144027465004692618709176459915165059742009714275415174825148428282388896576403158664839108694276885382862295710054530355674550835907381356365507204362862642115234578826506399225839569690047874413314735937198030925440589748656513023924960392879176729028823134593261898398731594124403370435141535164222199548517965058247105418957175278116909681839669868560750997242508930505177352456351498454242208951047353616108949147029796519865260806689845611227470392587959324499387271156323533949115927017426258959045833205664307520184362361890107261010154033276239630113915194117363190853970530385702978040199354663637299339530464023638247509707868041591810823241411947743028087290370979278143590911571090427814084608*z^48 - 97058521503867910467357983329772192709640173814405180289082815461520464445825351996009106447992183316264348565582294004325899991668244526639420795227326755924477723533146064944549952635953356053830345621385108000309343351515520862547837949774048161182406359012728405787430756843367025940572769943704073256484104349258956210933628536903101841651088974441024855071419555378396558072808463317277651060975277230872986997283566079446160575387737707505152440754629610460969850815580194902341793798398069450850960534369102529925108657394171101258922455356752771974875381467135304296764885848268514426986285695764266347154123017081558538501652051157300744016793925836207195551723588346942262410218215001458015957441798303615555543838914673832448767923794045810933760*z^47 - 1917744370898490507147135470832020794491339050536055975555708379307874368491145161755630621291190374325753747267773747052064579815256288767537034567651852467769071287408391161350617623489493502635988532569832942144332964930898937675569874401204046633790042411053789155049813089383116792251995017962538883110041326518720114615417776621599936678547913340853186045346864544313575163938790590693777922639515329671310838572024710368334045920330099123115219399169227845543379098897909742668406968373824060270160786914794554702595911983050293014635835149027888096098919954134942772326862157442817941555915232624068362863541151366470486180327851605039148438638202787198930034241124576640057365645838265397371839191424599798160668746631601901066770727812289931679270912*z^46 - 8752458777133531663999054387800303174879585249140069244659816029385694638826702631939714181632668387144175895926449528183825912033162422504940844257331330283025714821321540538678811740579315639708192096844781105883216308911738166611300227109932317615090253861839422005843216800145163317612325683318967181387506999684132835577314435191039075130689504857097744029558700657324632631941350118349373492342608680443946523518806083646700225684050049531568290171039166930187992198194044850941718372149831017052497155914910118807350170728671729681034255485227044748401197218883856752216751020782495144446767696593244840585031272127745651565114382480249166689428257226280150258133501244131033191402657196221272661093070780772813755708417488222718918999594550148515156480*z^45 + 4243411408863629850361788134653837017396602237086621969988002862936685102541556943648009864284918735663932241922049748225459845729746761728334741878706193561432518035994121363487747780433971553013461209116094755562761137910622756857799483833665414533965358527337382787674871093846842093926029119775702758693291189110666301153100701807142211379738246035386727822043024501739628245109240767871445993237218222160807364975666191683292852110281283721635498561483069186210610795747995897408664285383598211036823200993823855295402784460234885599375353222416592241397412046054556928719642329547248089979626534235453658623218100885805688753491135277013840717984100528124009732819121051393699410778924574776524121144562215415306965570099595736702953388068481125801924608*z^44 + 242706239573778578619044444940007176543201810298283617250399693153104966129728983625143990464236463965542709874445907860635363758199731970958642753764024600349991418146463703771987816676131275306276051171842567603011537385422027175451382452402133891988586105419215437455397709830406462792319106870558329156462059913336623549932016719905894874670988958477968475082450002734682360504244596985464541125385678024435536576862331907564925461961524536235285325227113605605030250981983100473950047861715711621433380728010508952791113198076754615817429883784515202898257704752930982666017814416077111125141996655179056675067611210442579480912661183995915789277434738210460304552595890660146051006682222667993450616800369615497247861765505344329674638288012838544119164416*z^43 + 1131060986053680453509614553042712270072115636883959585464621349800981858641050906742989883764914069258324613672559130235606404617793781980019724841275309382261101451501652186853840720174876913152979806945552383775860790553352978515137985038082702649089690232888765819459630377750136213946012782430914986792155800183785148760916853585654010745772050077324328305209873288315862546856938541402965501469269009841592163880008543182810539340132774112642719802193494214951934968599398566475006303035719882605903157089765219126922753642195702543513401800401832238225109907726316846554777419269612241914000691513573485816357354033125144173079361480234445764844141548733056894062038701749067196115021767958404985520511702297929064407492870015328080332490345125533788052104*z^42 + 498467490019785715673226904159511312616045852249275640079729701895985632478565782988369647100394384980122510962327541444725081937491702222459355308925672275136228732707397237882718795014002939454110144861794488618256354105805107022780728342186663079597408324928764349738124205560689587636946689114528245986190093581338174590142147856372368538662514835887452336532672197341672811352325494984190383913686483303767837115179724897297568328022661062141944618061950003011090859105501407339169680950742478645293328793827966003821253034026329260504081725522350489897183522881748563102902451902088837431031820566777155518397958135263372995447045816165734533886045885991184542356375221007495039887186943464430578626675999080050083334278230854037084227806566620270127270202*z^41 - 18815121309460120936598863218272931953356749494649518423620814928272009058310012199131638246528474345925743020164270605849883735140384171251491684888758488169154843979480664387284400661288328071955893783964731603874644853816482641804639766603673193260044489873038702268827909282340238009836114160740844323128960613758106423973395774791145516528214747326432219353620070634002881361457143289704492827419554027051991958430583498570807938247283500255033664967926479061464046818845504478312661566375988421475839139928943908013212931466605664982333810885648447237930966984147272557351454522152155131402461606283892282812325607421399379816044776606089105773103281100455365920296530269567356386265703739833662166853251916875021080143001226414617349712932648729686667502228*z^40 - 93462365884294822962264594533076442974882406164706516485795940879144606905344821741812285581318984974153176443923685053029480305309683944603966935560751993416450179961619003100908907301536960524212821934122802713869080522965753690784139129619361239226711822754566860090089556382122711777183658457472226574090032191368569878688317359152629665951073478859967816777729712854227800154622808127165079357402374039854247167339975971640460790205077474171128165610731444784361490283243148775766736562499974965906766870414891769337705572589035097668417115908946868143414772791458951310237470854397460137318718322435322381961664048047524209527383404698262606894065685503080797955017581152879359149039306174750420644850342986245366778447801531061048103600080241579957836141717*z^39 - 112772690604819110025810424110750223595227820019621210445868758153201524511694721499053204266258759970270833956830342821592893336844710803377401819256191836292485522469682766454251584524877723845843371496684887116459301221655810507138079158097179295423733759603204232728893570550425151824850204408529741229993461614925552092883039397906990999993906773715055721256945083413968252684908688720691876279425955788227193394245534121523544488143888459607141926584129740746117541684345213475351655427207531168363649502809143382328189173652373155276232265265519934457410794389271898844914265187582278722195250670457025416727437274859736250886196528526824968241879829091850594203753196323630233000037286172692098624030173571082170430891750521459995815661502581504743816556307*z^38 + 889591984655587313455866196639103514562421826449405687712465633011985660019732805974193094200773799004250894625887018013206800195031947883513140256964361247860387328967088498161694564122934054805156648935684266707359342493254564515270395599457794005277395359935847439118464139137437531561567537858539902967236723166258421563261425467557184732146835807802535207621320118038111777531653903936019492031504094201922586771540686941735751332533403182977535800624193101138633915675626763914116184786222787616193757746231752023732670518950017197892755724364863456856137661269188679449469885153966454229901072772406075332336251557916763852994013732078861131006393005035094371150855135059075884627188061510424802093438718337139015542449989519754592796220553504408844917753571*z^37 + 5351500869099683531720479173442255906098506546183202353140779263063338668613780520322018485959711186704152277222721140284120923799379883074719761910305308741578821413194235160434074686019063909135775302808924510129804918576274828036635619174467120907886683243536679774698075650619846569874236605161610569951095257358697412148065516421899832784122777504872740075391626437162929533710531203454395890474716510888309956705867759830374941881187571391029703211063257608321184221978852644626835695037760043577089649997980947192965979742580302554653850442817526546468490242062929090691352954755223935573316447212133400424464210571100261186216448826383762997188711269195515932510866598304772579918175322985089924056944423673788697455365476381686459848749669440967221217538905*z^36 + 11500303957720019723511260165837425749020647615267059933787591407687890631719664930990318564639718094021293773280124923917753918772959098251838558471395986583035471325119610545488493298787524677165735916400828043230210228329605814193082243016088568482026683479310762434755818284787876366272231264628713343166796061115495592948011671141342380581425659467731226698620240708345519274439110612384130603973183770694616980775045778837420105306451114734594028477520300012612286492480793740195867896773995861375457932654438329939912131694246819658030981965765973471396633611386186846989484563864779926238630484567867376865776176320294470242576848190184037928905723259252107317499148516080766402733550710287498418918653111306206849808317308720589349230966262081994121447095613*z^35 - 13369848481993255323924885556772971727159881713831503549156197374616997941918786128614941193322686845521496442865244209721683127657487665632015784619265841007629277155168129962902229023356387470852207457487596751139345599961242812974478774096934838952293997692988320178337709295334172504055918826484036116450157979974976343970344003033161766153109045098247499136025618753326204265457818943602223500562417485033684594712362162094178028276526694853039419996658202905866174671832107734438666528035302884529919785785493339940506666781007432244267800597896797047273857019280488089756613125326547598262868895056894729027354105502063076797659105582651977383604868670211291205431305575234677322371619684070647977439103839675402935059205587075185927605271618773619165981433333*z^34 - 175475689383454670038259655341833634920472242180462076660128889554263172706867857624711413449303165205327474352603254722177819214256605734285979460482582240273016618352061878326956896580686758420961842457724428236309706703784590571551824081349829528237398235662016416879943559215738665299288808308387438528853493789144498633159202351942397680821771054724087213253616579526440764107508072375328194271785325514023517125172165448325347986987424336124644031877677471866239854269623840950431259407068249839951311046076597138956981428303929905656890930418643063590243158505456834477527550099014518194957201780819836620169256143214636323537103404747303093638516760624672312979081800136087575669031380541819827042830028949019535275408569061403146454333282101757545498159946209*z^33 - 588290120671266537866506170812703271116885386816584450659633239019364871183983160981538528742069122914683730083721922662992692964836602480197922544881662078612809448719101392269450509520092198589313175364746857814339024425276938445285062094750653880749555028713350295166202456167548595226972144580990126411960894967107805972820921934541636208389128014824362727337637011861692397897055321888283827997087750962982758294389066240163986232951808452172262543998740149139462626023185630464771817270052056540433065775273338113241293668780023342326810627562924041647288037509817216477385475827653516616168971251144688803755926146582314453678175897340021331074510006911079865275603149452422260814214189028500841965572257587832756862510521096818920584155434405138097761484907689*z^32 - 872826191313331913301844740431676284526806491334486067168971111562422460482081943896736080119689805005662326330067555120452125046425988137752290369553716317773262076116380626883530242835700858313769989212115617096325628795117592103205060922131554096188232461390805849132670461319009696631727564125523329978772993079281827020374096855868298383786995979192537306236827365391183242080523022649456309764066030967495331323471257966072725720351562398139769141090227714189915344395948857114741701773745238414811415825902160447571750661508389407476239229607456277076514437955346909258741602741165385190163366654697710375773482035437501984213443678464888353508331197383370519786950965429962456397263062205337702285528955043106133395021536867484550572984493140022636754489883396*z^31 + 966341011174004073021700204167850078381872353801975680469959974185754334101127382746307912573635521343925372928096040371317951688423646609809499164068476229431519177083440274411708162836645564334360672966921918951067116555040798755634066803265848021643899693588347839561857416296630964351622596438066900638332148301437705410145145996102631300579142670405182189515788859457203970427902837979336925244863851530804294773016866166538896036610983414310459390148050310711967518567118344874587105014553896436068145614577850615891414912268230076997022439072393573600918047899606441506363677993653782782275907937434367849379486291192492663179208125853472715243899488404045177834496888637857658215692384250132019944217256584571130850680621368275838721086858047548552338082969196*z^30 + 9291950285223593034943046375936258276458753168756175883607521130769638604383404001838758345468579912235823970140871887795231146777306301489680495620699809931503563008202610757901061469508350117623828333462948414272739402094326547950129028348942076378730970012480876449008242395079123100134206110230157766953533122187272310783397241284184642305652807547375604868469110355136745802965188328037990400828530972341861904572860908670573023962684479788862116777630148614532965295710953924388364127013658675963603109948173369820961289956344258302059147274533854722390895589190468705969750260346585889008211698283709636803968285011413216229517087019125699698364180599370300937574152159761094931969187932875433031065704152722107570052523448361771807051678615112425921118473524288*z^29 + 28410111468867583818423086414602333276880517089595411974534377209857699150928466480578367956781791069614072074661839004781976511094165707807113190997440540482315719626878562544021810517768517457877956172434318504415285317518720987518583702565419503336880826895107434182545062587753209384743125774614522804451325296363270039396664946419951751927655856197353772362549917545931440205119332452870246787994010590249591008214028923136825388448539465842229257999666151930323408780071029932155620602371409988864580532858891443199818794219085849986180064123783293345637928083671918829443082152612251633963391173895677658010267276591563591401799950520153169030278652943839590388135607992651010083487207401189835441733241584054345911997099520596364165447677993437392406111713922952*z^28 + 55164049492949852680861061064417457228627436230205922399425853115065072917329816113528559418145455504276599506863261200039439913483711641125517878598707743502332529647089160900563048105524042265873221000103694796713632376616411556661073183747449053833905322186878229961583012760676585636165205054646856357115075283973070881470243688560115827873551323064869519082727537291590727713543113993160090178535707945632758441502678990788791093216588364944184342512333375033070186348087099627949009655122241957436841049394107226733429577450366985829495944670601346524552224128271469962143652234730153970517538028889611004126035902833973454116588606864467367137335554241465078373138317893856126230872463271039876923041537740789029180400031754541803774694437160230060363272412588352*z^27 + 72204618281999141043273725805779240963888761192395471611013087382225427791400877777896889889200252659104828211108548519156537059082624113424786756837202924294647961081817255683987399484265081377320613416788510620159072225541803648692917112817962688868649178764051447906774661558279025192467067375156161639225128100353503894697658389439427765603862985655208273196236226992149941851969206350851053714187186315798266476970398446802907574823925501690736191846120679603293640147151725105819355784957583666097769764265840682218568446997044388953946274372976443133374917332810827950510612553068718353225103710503495529319997050507091348726804164061806547615319632150052507360666658733246390142789443040329025863143447258377464783913734050350349333068252449625475739287821374320*z^26 + 56233218725873762202557433344499253629225034387974976000534621110117469823573579786074917613349645194487777973243755158949113004260220911192412784956903545085837105250925200176178552590806748385951104188248783120805669429369296783754347855031985051768675970247176375312590909986851679091103113119914350357385129378376246081695818739030321361346741252760315189155852333774024974311126256732538238537005437382465203960504063122174743043136529695876918239265518179292252380562471218089281870354275964099571682490150638149276825404507263460210313284687010922176600523311986501077920844410683341320384841833781069307759292136664869726615128775904180402865743646932446194132440659459603936614113539569377354043045817207098290572490731334292129058126050170261921913962199795872*z^25 + 8296757598923523713962114618515694359146731965580699292007719560202135353407737866618352567088759016346611603590864896446571837944232260228545618414013967924496637222352960999993355675949087305134969207347592022418625527871710300801408399413352511545905376142532761983577752531480501295170436139739068071861988437721339368571624185091387842840951276700939358266790342407847624527230890866260511817848088055193116734701324292023078679397837280657556891121539494316729895778119521247164972025000195494582643806718474583002268875995997569740246099499173773825775462668767324394951773091349345001302666411436743829858505576237880403115033037544459344486726504210712098845997516720199811399679893381946870165163828321587846151430266667559389196520275536258039957659821449408*z^24 - 17015117429484026202256153893123267584164810412355568483479618946989626560283784011022227698953621985274668604226295574459893838529865155236647863700998733807537936587944964252350804750847027612168810984153896729582456860591828398830734589895602547768037822831336791454646204278843590873145777218016921531498717379517696361001972761350912294233800059783019913325066749519129752696163151631192219896143908358596736406791406081704610132339304830449416907315918088713081335373531700956451064957097259940042356986697142130443828743111929182368655189288089747926969765262246280292158594810182561877802382206847067637250938371616203562328269078518818827745504618323533409793739333636954603715393448756788887461691150327863867537884610093452316199879904110887997276149086229120*z^23 + 70923292173391094374239213317746819252868936004381296910594902720997086854122810955730433591156892554423831015048630924244817347180634569386547303753964385070216792906756993839287393205969913631989651693135494579523979846020332148010388897719567608274606433175522181151711960719184686446683186766608289791357500416402565785930858941743311470973129395523233817951843463266182167636933210815606599279712100742405693793069665527103507555305183323838286288532888106552999473487183710380223734015220811661696796563758010504865210089317399230344552899610775016569529757779165887462426405653439108911249075330380589050706333317008690661181059184576954328931636459786000165502713895335044444037624091255604561352424493956676605148585767608525288358044517883146408857127367742016*z^22 + 321381761998607166251697890150186965119871608097911963246507711315186868599278475206438813202302261233199583896990533432025984439196787192132997958675698499454362366103251626751071017811033882661137056600016320937504393773518263913753574270558471676372359879238375636088218496252027466481057827276797367800722073381269034998639112681022256251486732948310303421393671939375908118862798194310565904090694703860957429263018833573349174691408396493005397577046308729233485221809143449957337232158462874123113832638683893460671277994380809219796857238179982875695340003313178902472601909584707651498335395035905918230981755477904090281384968970778073282910412308722212468270888945621140779807055354230826581317379976324381195087490109404320833053650264692604772268790856142080*z^21 + 667385831330222177840918950326511527249890972475557773483639574380490228659660866564084766245447848364868717634076167616027244184111492974707958211594013559206946806347265863923241321808767064458666505445205270977221125559714133098624781455610164298691387015188341292795892538098603901347646465880686293488598616031982273398821272851079920927994080976027314987560148296044035673764712279077673516489038373057680583919600041857892939082489299076085240541952988292479512849128223405789126190222373743146233304010646859473114174259642732507515411259491847212245190276764917350556518195033959582345597062012036843986465823902789148692848776871347495968710409742123002079014754565462905006250064513847128613168473323860828364454651887350773269832518997063699518363750584488064*z^20 + 942973645675740997118847539924155197959532669192226609978868974295963049180851323053742082788739362727081236830503506876225178239802664201472452024252876087997840811461666696094895290756797659365031652902647840013749555822064355173147835317562474441850614857389024214410052856615922299742727170316843680392967654395277786588835686575655272782640999602520562557521993176314097508241594208631815063133826421235021933920635765585401410166946089207717802504908838987453980612768843041840606479661928577942785571362704426102686532114155096406202847620140545337039068453851360965460894366040163166650595316871996646263653451159706765382116120307646317515455720109608933915104364175278316604684112604156226424926775636961229054425121924343161175320547511067206013800009998506752*z^19 + 1000186011997579834708502664424575366078590656817555719172620934175940607888925329838158649044941306840441590933142870923559500094461988358016206597978225129697434916221542944031578919089267959207486748570542234466252846290911913437060057783049568728475701175464321844636225658375629015347116642558546968534970732163847961592133384497105281550188315485201139822462983646677973345244123708412521647241482356598207862860042484305235767088794012626975408062486467473034383164480415170771753829242116161362457578095495378844920327392865312754888906558153942172172976122548223969286799804949258580219372149612822351877466459318577875857430603124035609613753801896582666239443305216192701834613122562754647414248660518371589864974686824924173247289296168490521111238245462963712*z^18 + 821493055874288889453453376821999587828596080185762909938011061147975653975527113118335379204248958093093972819797139025723297161943387185062129739354282500025895379163933246884138413557765306743513052757387111562467262927263326246163506075065494312353939772240515910897314501137925672676316128817174267148683611810354805197417890943611934303636774964314864864435426768627022402368624501135243080231976579835389234374757944816231923116372735090294571090846247563255284596943224900716410879746629784192605223743912057287749459071987271248554406880360981826184367343927662379369123431996035383608771846798178475933128768496613405454376162807321733563657089077019358106149097926811898745166958610848355658208590938606510216222897020365578967613556640913836586564220920678144*z^17 + 521086088151142078212601919345025831681854595863775379159564066672712803627775232714882886605784669043046416621608925763754366471305029832501317442689095601469185216090016295837954334915356785085657522696579183960917844876609288210680071866211231509760529555454767895449698197195311193688601343959456804271559020015672408901855887636458214522783694238680766318531129021489551269369748370559870125651502710968268790124960465653921829261703837563212919975081041889900790905233714125773764787479182542414361015122179033852975432509862550721694764847547672256101946427199525883621230009008792558845533094535857233603815384680251097535338171103183674125660984889692280505707565017932913409493281623211708966691983322349605544203187684961019041095565120691090804674870298670336*z^16 + 244849694796934968095632625747932311343548700099300012810390156167613933046921643098266148860694104971031835726228626319161562103222763963349121511804150910318421095312861185742165641804652749908163053154928309978584260714977197220508505415566557538504337162819657362956849916445520626312126693778462726763664120154116911689247774626105736228009764867763453884524433271863037983961342251996224821885062058964729272447067660974939244785526493777075717358975876856993448700057317182849551137181784355624194668471277798848726494072883689520837321651703054652169592820343696686326221316362519260836938903109465936739178188121584348548451814701433216425983174809988633021010262849995498310731118043269258750086033220704377775161138440666208720380212975739308394927044649126912*z^15 + 73163942697808451155930487053241310502211328165586202870184882990891906986421320362323952471280934426313482954359336741715154653243514519792978088946696586656186601471661290758570294923968087420601841071224348097143695541593566087476224529425808109670150710621915739481358693183309903382950002345346793085127572470806903340216630778585088861377131392815898819128440924695657441007113524694675674152328237282032800727508837520827424286597637836900861688372791389046509126293017632795392891859562168293969358130074645985198644852804764052416364607898029829655854891011515034611721494650950445265717031627562245295530246903628691402347634749559511253425260356831782314822156435670653711958540732074879788392452256175552582063240046942156949973566508837114315331430287654912*z^14 + 2367358525497069978547099256939125632348997539259437941586645731439847842852876399501260305149371170454372310046107261828229389129044239480981540968069796679006152686169086064080025571987651055588766904687358077230027646329473383487884137427611024841825194533691334508362904176073006311537586325781189768876009417013490271731297030014292149746234771080945216797602753116389824984913210240539392495398680261877227082325152998369030972140924990900863550640967960350365501502519918689851222050654638798348406708503616123861080233893550737372650519196659212216185385388572936132307783160064316245880322203573733532924094497812004075138120885162422421162592408276030977093711050166493866788767501438154154995704043498023665188555688231165282488693540905098869936072346992640*z^13 - 11586640104238498315705258208975540328585274400781606961571703760763653401657474740028394921142891407895219878145804698579676125336359556580779773021707643426742165460344475347757399802865858469759214594186305229662565325057833256427091925950442837117172040884578925411415692004295174964832107650942326643568511346444261057969696309066225317868480332888921411170549324411883310595600868786446650383616907649356056226544133164189798991587625770746441296469824017432432406972058495921381100290348884151713985264234087728648181133171555472506177266641559997626960075048867523862296713785268866786280656945633265454857173116873049273410349936185566653502148674024716446393959120104219346240212861662433049176933051619244827437102459409165107030368310702585445945587414171648*z^12 - 7325849200527418029658740458012858305670714378651384121016957465587407948411611198057540693337684904654951174366818444041493813401479172189560565424969116170545691053709849015270114148663243038164928293150352849061548898905392007804549548491154647977807015452295511504830415298238317465046633514614167455299749187977583994328101845636685896806091347544368861117206918148788866314381961726209895425405962053918710817526669307554368242207212554984014465370435154790105174310721494121606321602682095321083434388408708471584401073316412603850881325252284577268334642531627392514953898932647031900212813681899573552772573697456514221515792887096479365254830010433888923012481778752420157088121223354495728111041410259231399127987894327764854772998432651581965360051030786048*z^11 - 2515254566062857197640322624009205586448856401282396780718603811406914708305718965843449047338289360507196081254781028276155439320010585094986683201448524360505376321851269690657435212430385855421337246594526350613531511169957514398282009205005611778735128428944509800225674229996666724894941424987454564061547183687272983933352410742471180455300914080609875053571376870661935267692126902627179246769991312934637399945004872369790746404530919252758239999902463941179856246064320113628029303816904088749603327302859391469152554537485500141961936729377729815946554346159888333124505664945276307269307265992062364490833960978737037741294671530681601973634118006444032706065899777211777287673585725593572717911978219155952977971061052037021740520905652278632782221765902336*z^10 - 478711338561591007903889561602840323362317492490546580931466663765657925469233324984456531097382135783526284234677055486538572829646132055316058449839654744758009853273506756561135902809743726127231807944898079880542089683765603824412060807288192264754571231980344232730402346939605317729186744026107957300534095873052956027697855709673384269503925663911720154496750806512311090269970118783778285741941177194134150623452395406315574912498368333150897227188131781499859092585298576998370883315753435295537833138543844833951815620922199220483446630706085088565860316290197993763788279719055552649399506973190131150596723433373448244840381527750152351780540517579052387795212948438353226813274999480987113226147510875293152322427192145120744264289957349403089152684064768*z^9 - 7377985223298361158145772715720966625132857837359947915716257347387845856830602447807101047154473558041072480533791494592904509952351999054760470982557088633918001352434411271441212575790196846812589783121308685384921807237611364125355393139603232361121606450239252970363137730180451404603068703587493576955635957592901337565039299657969662579269010327911780330301320557772984295998760560751502609814588322211426826720587643193926754186799420796810035163249173353858345437107462041851929602073928000527364080115207468090683865606224891619486099670127768700956361151333030267739380825181636297582992884310570359281711497020529916375173282635881763596699347710856010832299429902648932685017169272444314057570051747664575790360211682921127843883562259250270698305748992*z^8 + 25016301388653327883659521370925359340452415812617137039681622590014419954237221189567920280562943751488296642983366307680506262637568682140846267749303689962323541781135100831403909126664396673955995399831544889246610984726233767878137603743033353348900261032781327313311263622375032946024672063785337910052965183938511867554830166193147071809207215383192010871615607535248139836178797499316593813716115551556342239664397136505616245619369220152845527971320535940339922822185577999239410096370892356822605033377365161622990385154499353769499325872187931308864270552441280049638151171130875174203374692616139963185333084360292709061800041508892872154629508929575095894328709463746282899302549439854201538584579657976483537116683696999159765593367470907701944721080320*z^7 + 7972722844428246083681044151025183730278609076159819950499205862382600170743364361254960306690780637268911811863163624297143653991350876158993800110108596577039403180901086025251146419682122694743552467790504205175211073063169308687380894380569046027883939075884398487819421745162812203782031871749078396454731499514512361007037703447398267585247311415310857807295717102336608231402298750221747565994383156656049217793300792586382435447888065836772324111788202708536674423122996331489620527783350221060504214833356092370478382366688141979050478129836674678679481867147133535522159638429622408270286204659606467974606887974147685149403305130180690049363328939433624537541627261982723296617444909078358849359364858932784545998421555968169592983415573029802322008473600*z^6 + 1298937112824849560607112305520547572446766674566878624049147896062296238536579873159121327546788745121253533685081631091064891770198994692857958840215807367703869086295279200897686933626640251142678455228780550008172644977986659754964615419409030699255636034209921755415172864075353553641452934258039099687547387622514001450584071628773290170096761967621505432877736698644577927148577750758961630242399825681074857121968459723776456835941480657559517389108323078472305916465859620528205874876812014307358401842768427073262484690072825591085484239404223072836422687838734550344773641817615027963293410244982032350678429302926077207183044642494396358380277181788108646901264774713557455359379428289882651041486502681515814450898062431242831814568253040788838023168000*z^5 + 116696229917993377380352247807860604177777213038303907781243929493321423010295202889766764448534825894917277582891759628149941428034837113468828568885179869287050410535859125703398633414031473576676210486974974208901312352794804405237923391733175077492686258637245239866362739456900619554714676897070111564331051378555752354043881870104672487305596695225201242638570948119563337570315908815373077334174631165090545126769421101946963509001026264641088532335651061743650129259149886138540883730380755397303550773363971775123310340797881475507077896906406609454769500753443687473709920381112112200528236372965771989845192009670454086061037384984868309687254222568610739378320742266569270191175747398335076189230507783844785987152508069339483270202987772384001392640000*z^4 + 4621724622572629844707027471721971893838912365619374951284528796417504593975444938933766405731299077851281361573663423797971116642239504006479116512918321591553802432267549673639184095436261394574928683725677863304706007648399504214979580020123061023531483097790027801733769004164224087002282337520528564925837788662035111875623046509812888078683679997962835198274748588293967443821786930146277892075486513397887636900832121964478717478383429756113780054933310711126236741748977292508812068299774654170877021401828212787429328480533109948999197277013929785309227691783695491336367164626125511789617333525463650620389324980713927307261496201543783891709872386282958387517631295331227372884590827110688883247049359940909543049012554902915799502363057655172300800000*z^3)*Dz^3 + (12333011034582000951021615874755789370031245063092648898511839131670508123427330799787564489680961004821608124353162525535539691513187394546131234424241960852319651465578872258452343938014848226082130368776959868495340412675824616391016172579233120889209420485503469128809920716772315453062753609306536063495087211288034141135445311822323930084917197433307610095755673945430817797953832236471451503431037376491247831027778830657289094048310747371878931825418857809928460201082833683522036383623491392523845125732284459299290208595883644702565793288243372788590712107126027559371642228261218169208154926865175301059240199146287322637324822420894151851121395997427358075038468693275648911767207080649763058308188471296000000000000000*z^68 - 1392857570735008792786209917745294081489715708431872052071002901157606493203644294306299153578539722438145306445862842867912808607165258848288165504105866397898037013626503198756703126240152137746400399339671974590255241583913706120937393836091644571666528327283801598334790015896216689350195365052959404618412073437058195798192143886744547387082620383276047827144238870454330815735429122958612043812551794717421829580120209203145205817254992474122707866840642485338553055691427928810668167274753617081888508059897853270250285748544625490322251674008329702802626525444066478055939582989728659837996936950945625293166650395104845822802311957594313537080991839487897691582404036349114092121397977999560578290274407513325568000000000000*z^67 - 58895374210959422113574707761463415900542457425652987689860453639427068606976749087367355113968769504105831304718101262519823087931261435075237243783903720292669111936646858096338716846943593446673055023752606462961436971462186080087455825279116168300699413562805709383595760635463235320864251074295396813857179220407564291328244838988353471656971298750104700372417490868690219074205492716469102277074026297717095983782010583804842707711018334912296262656003050007601735309953395226628507549895343599929920136268069635387897251043188545106302395065150838575162218814361382138277606815924319064746243970676172054135790445229333565530332194563272550271391513996893513966637479281079145295339851783445227961101169396643130245120000000000*z^66 - 1411234249147604223197822114095619424772425927882572488869750286149226317579279808941653192527452574615207920187292894310513611766455159637920098153937744868825040454182386272191054151086955809411581527440733805711594249007858309926518886533255846652500428011138488830256712218553858745258029564025313783417769516401160948632375991164446589860260665264866411424547985281432882214319329524933268539907036968105421913034627294984969270825446279705069413140414898037170403129728806051287948472078376107725336112525945884188875643071794982544463692391001943538186230636158715443595388671023016336128074541809347770270086375051553480675373857406621845988603430437655753394550329497790090628140511108811815757904090174968015988405043200000000*z^65 + 719429783935256832334831770372299141497137382276771263912866396757227890349753482937003805468077993694088761875332536805939321906395260308208331509751562103485745970373124865376214434376655033042722643918917902717754946832498506164132065068057401688970835042588337478807029416983541746620083907767704976861474333962596526067879263094255245180617624030967207370186703930963618928594867893121591657138778039307306851002254598400194244898843276274476992450764071441826478532230462570975325186889058468893293496075320115931333437372777793778149918520473246652455400187354111642215035358290681074610446601959901163011650740334316982311604376920520356502271785424698295804322981533399174210019391146976981878755235944904132580724667580416000000*z^64 + 12015335159531221185638288556035031027613137769087659960954953764547572310217412950597294549035353690481734706363026508023306841844174779293438950976432600228737670149905391765039359553912629417255467761054289567235637755385498059706922226600878798412923509939374772093935694765072954750170541425184862988730012136667608242812235164021844017435481527076062313321373161100245332411338611019171507477629862426866611153652682080146733716938512123415073521657634143017655355356122477427260690001667758073882314385854718393077370628518294550165584294332333476678445453219422519221060904376876707771005740000445975585245786269857623074778918089125184928852048987221129589897463439616282139374874909594893242269411072002532570741272697980846080000*z^63 + 377174871569808972441064884216823493912942565791383707934400814840271537917902129115025927709092372102193567875929030380931873757262641051560531053748769624971586444340563625009429990871966360345758409169360473357179227439767676752687621647532036368037679164155042678143554443342251432992151168176529623215916175055670293298749990338560311283357855837129518504536026045135962757367934641497495304219859811839700943310566760498964772527380348988154699951026837002190601506144299145421495884720617746267395325315511443750182497031278801538397733560455485716775793837554041197546064774460256985148713275575814681142021396476332695977355569247035098853407183270975468167951559478345466159753927880910621412216729422310677023995319577084113715200*z^62 - 163334556053255052769957692037640074216677592871039209400241885385548153149287367741845762943076356638964318175133498813886110037023528326022184329526727716252579421826949692568160993603545862094977772452716665677044647381146106811725313330343463738474581432081228763972129888136563666095912001865638675686353237325865703544560163531855033090700148422650368357607131699785206014394565922284671765368873033158007064423210002759515268566375246668849055327529979289641566557969683787779949706996258877875849279373565342642354448791685606554165047838131911317568919524692376668242831336450519825942373737693610199489595051473908590538972464319305460830698428149313200821064667207809057955907105020176008074960104975775045501249477396339087953100800*z^61 - 629227759360177578074249858124622787492689786862561064255757050532234314513024721800938361669202532843910924579368858895093881803061873884990140773883337250380145430512229961725832482950179954124918735450354008003130552988810249725170076486647089773438206028727616909642498513830177852927460722392908699162036381986535905541134097434054547845669003532006226455347419611095042154473027755302006055132101674190020575075371230058802445298615799935039848595970350131668351287427142031068927249723695763287753600894512274935942377279695757377415281858304648383626774036621554581405483719584414419345218079397426654994406889156220322194203477665373414979146510196916880135024605499064558123689408409047752612784445959890216868840983031411001157222400*z^60 + 60667613784454275669663235474699520083146979398962077868472034757083463967345567488765966543345410106711479301329619635179091695883381414935198210309934761643062529487197780316293988263119807723515818781409716037837770631507367869576047964308761212741253519495545291289513588728959900711180371736710067735343152775831746824883229358588549708011822153982770248979049475551443276184563016992534704167123208492277847980223442193908492042739343155469551178139886320830012089165658557936596789858827765360649517087770966333277646900940439707225226620423491835389057164019953585713196219279013661004991867908819407801333126029828546214371264314335548901491188529516260388217093350966850540916790905526766996240281492866419772630361273636364838607257600*z^59 + 1016582706010976396801995545977604174882385166740284758517716825844684167322369308523891771117355414787350196303200564510154964523419288250924088872348124572262504281822090269113955542326024046288369351471178723088625568874540923727079207762758731831428965491314613889611923914860582277523717567225845720639367403131107036725191900333905439636773155970137843898477660035960071108860942925002137564830407428024748200609003471538644969177220769638958408386410508179116721745169014653334870980180555752533364768217175735182236657996709446668063158575982350234495169174878797971185259699032049600128368472835729298532330190937729329390515286361091570760355534778192456923682467893331894810844357994707147511152550488232888449675069044743918889237217280*z^58 + 3519724905457666173038816050930360151718366211890148005164576063199900903169715510166428456203000829331393176909151108568455554118099851944061433336074981892829341178277415337279543897388260859379025224085407248934032712815415340323941604442918279158783410590623984690150791492375012960999939855123849880035076768729397357621619736514112443024433252226017202486998223032435214184804504965323470832039828747359233115273331162251403979000567015474079544354032991129877633267041988058719035044170934436412149688355136358885771791917468336548521142186924261564552129663011668696700447180844146043865873963677867926556527842016031383626824987843417410967879666077187689709138438181820643296650161228875196514547829182962782397972104104412007807359909888*z^57 - 3941965580112657831918958156515740601104978124702806384927953089426749081574415619812692950485336752973712149087988278156535741048446486789136856933342516242658815670727349018846156398564392762053679330587781796864659401846222703957780783547461245997158446452532450700740647009090540294544532097605499671022700824304864472270115674566426656939218783253361532018116787016252772969829847978406693330687368666360872470292837407420537675520736755322051168807822739303033740740747020942509637456936576533700615343046057906565804997112823845053198429583788853543136437003223202584928066242674070707039758334700963886050897813792957884850394099204255096646873670555531769409194731136580152458974424827446769001464330284751330138585760739423812324920655872*z^56 + 1975992498117033904941063085501375747494338278887936508518669688685967972115983461807018268525771798825336964040174407216087924331694364544196601973554198380636824407333325468687736583363562783395406483228768526957606978785823369424494136063086458853248323844112914409582795422872027693487275948890915308053352126023166677481791901969406422831403561992948440606158926057813666265456997204442669171556229033363097090213397940970841467621766930605720912272490134928025454903861116006087168055838143929387377414086467352365929888652899730079542544095333985334021389918283702523090048711808344040704277949871088295299540309546617538153881226470414278903007524216521576060670725274907986765317484023847048083718940816944006243872462907597584188228822368256*z^55 + 36839028729293352314731702428915735943450229651576438005681289976512556412726251476546148078879061013657911393356878120113550221694420225195024282698821587578389180735886192494212929619953067372851224812565918554542386077346227205482549028356204586440172570592934409498439104017232475047311667474016547470724426919812435383304966313363191621642545050624726196498349875589150056063810954055833407931793487412325302460988219604924027862524931593611424216949018250369510168643352249746136626523303054991903139794260950061797406755943922089935767815465804847238542480992157910668383669764179675657013235697942185877761604046951099473209409891436468410005009711741537816608740631385954943278957110103685015966918650613242670181917019548616556814590187405312*z^54 + 166954919945675425170704549538872665274624332235142659006241125634037395291128287810670209868719697730002298818589264937113179850488445654064032499497582441286825031881199486344303441144338780990190092435349920462248300004280839416536197459109576011165727564891749113665885967263385292221640337594454996228274089992956566848907868783074044835973833268835650822169705717529066243748675293567466600324163219159304430682458753351311442939630636249622844495098661300977545847733750416012218563668071339521526839009970207091668750868591194322854600926942235429108519029667309313706271767705686937584646245247357655403964478849659929974925810451696321772809002588192848121320322896265170387217125677046477015310387886273898307485220221940002939787938537406464*z^53 - 103490662255910934913591340088934725112441557214953580161265217554660188790371044190363172169506521217719773279635072327684126003395012081864619878676649090622074559275976683937877398618008861988743875834802328454565854914246135770763776176908033446541133990411366959216121468187597340187946171153766040640515585419381404216579332530071907139563338905832505168879339016790327920820512487049045276233249041734264224054331198302960862607857036000114742136270426169471740239573899643496566337408894885925018219893523756174785818367198196417324901417774281395702359774663575660089142287160507312105469105193828997088710345233635188663792232374570110106794552095637272451599426108641855862578806264914546152117213467202794273711776260024808364457946578419712*z^52 + 19778963830142309334855814262066221457527727417640658293265426732298976196061766342397072582120676765333056792467077244596005374592518154106254705282903917996629659002763387395934306499318142712024901832990294426354861399389990682759082816615766614875827932303316673648703720367962057513612206380906188188639886568317285899356628987996708581322645200708974522893053881495109493096980801006289814414769937309342245326915619919723009641756706268792775354328272122601418340116195634606227047778280760776320704027612490477594890766056673354452968272694160752834973920463695511422136555329342665687985718404269264832829883110223268658595468208767821157404466505896878029106632182401770048108218527974057856838274937677757354811501398869416143572605698209480704*z^51 + 345825669369937456921319641845852574921002444156120096074165846212915001678544479134673952316145955419520200027859351285654241317020170898740965544798678164803305034666532550804852242893590078238558686459803395252168328708549280655078441213822023911164960808018664737329210525320674990139171842303458859691926211914595692784386701085946293710435290993714429652970375431081111582583352396126814530612505744271642320312518874263070376293980108621486417090737254206822141620844294362600831713769290459332574335734224046027304911871605002167015874248971024243366160433125501350500700020438528121770220215630611326723012603257086446980787792225181848622522034805099126103101770935824545725789656885716019035186873965509489316501988219697264324696479847029932032*z^50 + 760684117695243537563765497861748460173401496065728741766824430186192277376350473642692281372350014710977387753014123349539327896476830766621853758687095967794684413060662772313644607696080525493877014571614525586198337276793185797973658110343820869703613045225891926670218219417661526169002821795658562202620800421237181887616684191997352394804742721232921367808734158550288143771132985997857229587221664260793985878254800771621675861614059016003078900750176148546548186928016882558945552988431275428749313149688783368709800505804494383137774651706656470121641212886001155426987157701013684426789207848703024286237576205367829166331642472075187661934740384464545263276075661247848954452601630131640634689558103891455727235437793281468538336103261873897472*z^49 - 24478474975304298048601271140643413598329192383055481845728387628910116799999452024510038610961486881801833109372547727593557819050364125415039476107401704745213899661391185532460207568999024515976381841303498553237956255859939505923425281848289979882472952792790026059843889249329399938395680844455919228582925101977575815142718129404554402247240693565479152346239113994834204438705212969390672741134604146278646720642325142960979116436556738341969302602719581789699238787032911910930430432794007004754148886455688514146574552323754746884230981305803937695594593225910415852947218006451474756773064570083813552475862007044850583109872100807507499133093395024115598437455354064195848357093327642107110403103583309844061972267979114309778466603501382427213824*z^48 - 238963162329777048487577567529472853783688624500870202789493229576590891903180615337109680012209487220972451144176913095106169561992026023401304259713913770345590445030530061637757874573409263467717722886403660107511695726471177041175131133950839372201758286381753066091494552801988848252466423614624785512836920342260938530140081910917982349930414365730156334868732589226806325823122839349106425360576207812656129437090673497046689723085597459097402760517268404632013828976213201519160050017132078776871712486519371114633518657965300451906615477869716579527103719023463671315872003854897804464512588312800453695774322502005616384379222702987393174739276795685514259485524946574591024710390526839858966258306134206281072356105923200552090893315367281636147200*z^47 - 403072866194715217761929353201802415307276531688404649546323183703550146413377545455523877686121932077425386368457150533947697524935984925772062594319433183614113185980463069305415071014321691352030093669472192653096498307230331234505543061154566336862670296678123675066631829627515464528635753974934470360109401203208232749421403397214867775574460998737428187447875278583826902990960538136925647352506885198630041002967394519276913953595655926081064288638460632535977410051394340577114709770723997151302241729859645033214238837664715753155424772559311543378481773447004009713493484205890563734683424219188080648380620394413564006689228395032297872087059894938742365545142653113008630052687840785840884430329013995276852851029683288679456169450067292936257536*z^46 + 7423969402201744722233670487528987810602524052532470783464813453685612599319208944071220043830667543845083840405419646892438471433415236997942661458963591468355386875782089290976466371093607944712135058632626306187964526321046603253103217107726344318080132593064576661456070288892440214640311005930708496425031970729659793548708079149484066426014999383965796780143486124440391363348776999164163753122891835504563219456574746863149074704550416786821540791197518970971463036320776861601270120433459554270731274348306433163926504442687709412872009559821397203387340165684327538232503698887622993515312654587156108883195122103640231280415733260615682077838754801030937864249842027092166511061045793431219056091811466459586539509266748238131593121131170858295150592*z^45 + 57509823175178456393494397293815720848732439453638416932057718081063840406775978721560043507830674824515872422226937088494136154580485170801132616046592667214493028191795628160967854033436306727743669233423104593484654725702857075496889729428084137516467301007962033236623934920529194370271915834335874074366822393023196126525597858781510206956105505777337148498326075717857122169301686181706962390308169392028971258693716954483818502793973034625955451666700156426509989866151826667994218342293049646347651031940643590400766614026536646210186141827207756493749024091133775898992116716711207509354812324627049680746711779669067447417541597674449190294784625820732800557648105091213807984710007498439517205709111595819562781785315049853363837806160456661252324096*z^44 + 90916601577270697800549970820232997247390019014982753931342503088337417848124849794627262364226176630877948879982988186166954227821608403254188668272032603996890213937929979517519594134925905266250566858588913377221847986045843865528579791155635537478551877148563412291931856378559299607256565562830479282664641631963637404793053843597280027932412464541687174456656707693639389051343878184732893128687124153579476966622617794363849510468757067599295028729564513409588259041545349999311838179521079303629272487355252579435540886702220542475490325436589263724427701701291506342481002497746282685635784181346661338661146676885881136581864263625446302391631045233357512946124308993993921866554829421930717603802422211684621464643710763360970727275491297375637458368*z^43 - 1041290465664553174166060987699124885791223702903751957499850743776945023835872715118990560798357627586798089194787076207455425934550654957965506420760271118685004676043550374271840658436471374696773772163646701335268275751890447269340141908896847234155344650831623883982419222296865731268040001584636598824679288670615201960107489473432615485813473970102213786627246562922627974418241020687252039029643692098156263874770903185921877227693669470384807976001621255368228771381049730558095304499047661600553840048068004564548364234445586963829418032217612616097629698712194711018388296327084326184339014807314460204820899260930395519038293469129040584846383689665728668919657715505090650926707750503241966182022871880799617662379617896412469083980055023241919476528*z^42 - 7235546276103925006872921263082406821072007660034800946421968275540029490431343734321621104705792492113903663467754106644530660556291955579458722593020356966817818700513720203384327632937335636967824259515378732441712936085106490020041578811323360253434562546868837091757429553521020426600040014541976158843546221568489930831996709510940590056542816542247088656550615234683254074900252775285048747096110475904006570157652779852449245192193378332574212698716519298497012316592975616030909641855542532016452156033831053325378236113390168851653214848174419133709638796269256674573035816380766375007677758574201432607073071103375798042391364937732924377806490431631597559017077000436768196665702239428793354156222973161846154759486411588374324882149564494162878104604*z^41 - 12642132619229999202892452540123813867021102515971387008379114867425357238087216639852115454134474095968045739488517627345558673486252209734611070001074050836612390187395198792472188783444488042952708500396471975440407998424851181948253026909339499044975210772497158130559500136593026309753616301363182946609193540744622429172667678833927726852519742001964163128452166239151195188246007129064338929233063219254548401936569610218326441005778461330215361833491278310757062519548511432606283871177153739385469259169682294291787478501471407999191070647721320711329616423671483770152739668603981052714171750583118432170910994065661283035461381441737228680796010220791425803079219646703814165340408014231873897580720265285194848971801957178238567288259333758456180266058*z^40 + 76015621450204117150406150279276461975479642169100699498229130200546278210794732386138134995568150448620084273339029323264626206869507272105741171416880902802041332458545494428537580147470458015798289113221660590189247970348112928644232668108131178575620084342956474498293189765039569627589844971055482353761452233232484862252545360369877365850095041016745439041789911018687057415221401969045992829033998796671093627113720090893943127258752065077199770406138192246752245311694190573690338600338590236933398486945775578604826457479713393884643786549628412280036776036437722351227319712552435122423563999658862417132643483116132521970952063396512960519047850011241893415162418417023940468779374872276442370990569814888324259195360411155935787273832887013393660877256*z^39 + 537066617176418055723887619722792572226348315766309521779726675527745953627991578321535561889311184253806095323687513157257789046156060217908007855674323239834706019658079001437032311980074163974021183580900433233394817830783206628035487705524164950717982214264807420666771356982501895850367822918270983312614965757605352716278259857874992772669687576542896475667967604315303297946445443002167550610817453316102229666422007656139623957633468726556025012807799147377185370153053024082275360741134829068447561376050024474433070915614945614919052575828401067635961911723585938759905579611489752727537919828297556463869715016128367526915814157320900608927465684226880094051042573141076326508596285873771177929599532878930698275047963925403527466460570976705859442304591*z^38 + 1080307471588449937660419548516502614611568474482971704377864184884802601492641694098454802650230822790614228284369400595939871073464033375566772608476125089316416831559056857957313890225753021506534077262317675649785471082240995840516295981955695936724067262564333410006127384472926786913453792159998518760819252134825543795925214269286641426504941414260852060638291542422066905741562842317709557095870648447625472069887838228814549078609817914934307616147824417737235735104505842802350926728740046896871983261674259674066579778538633570973232248678017614480273135431691962116632643199076188143152283774850684001597148332825791986050686517177142623992436034968793397940676011813763613642995974038033829665801444640319354718737331246014838192964683154446059331477637*z^37 - 3141092862198342030746379045753129120354871002258131778493813306589034494987258254298934130073144661385029006761890553226983863016639208205617423226575719704943092494617108855399962877535829021641831467809841200610965270534069849812325126763862932500868833222485478246433362903658908221025708772038808803558740337696697891307141645297347784927361277565605750294997765762775627180948634050833199140474443287656866845811086401499166614798803863613579329397145623517529601723730095201441188907857980169058951771469508962556893935350822466422895252025049281235931944473691995838275214443171498189077565028189787311912731363106500788402403088857716375271522261582901560210188066965502402162356241939669311763491515670689207598390887761320795922479408423570133378357053295*z^36 - 26537983995507560250571825283749051233680826231903073756109382388835570989407192205733277703677111690918222571218756903739000525282239713601223537098437687777055105360121183081157451510725711470768969354828647682182768900065349880932383609810159393271313956401195430180474818209819066900652493662143945957852042989606714168399588022204030673829091409744944490510203199791931411439907329898319288555084372947167336014749473484347964600802583680985734334599946944440475074619130670951201566804036390100120940966383090020596366005731282619981299753937800849750470561445128345375220134074602843224048450469621334425302235343169134654950411374115319263527425383875740197135796416963331719199185907466994689175383534654127606942588299377267088473473306414063079921848643161*z^35 - 66408168053489394158410309103122028382354039935059759417447165702041787701401051906491595711444116365050874579153681860419571294369330201860978250583515164422878867655581609543521277941842580188085906465011132570495809364343785226583188741115293375296178795703118432515227426094673393564224834712351557800523321994642152138485685374344762719060986895796773304050155920680978910689837987947281700071039332973295288576700604401106451399048108065581321308318905973870091945001375477930448802588266135865998552408894516160854475196290102850498528198641074569266136442667706394875400604589938498004743686652369052505017924974259052906144416730460314128320027261171934294901731757737981039987315193191407434342877000790805826190457149819953104777910555468340068021546557791*z^34 + 40831156240322724398807264756412963924834585732303098246789829388771113044377420862374131490959849821327525086723068766439958454411245999027105589971132739637983242424939756539681697351905859914384696842047331964945053466667726135623647390781609455684188494974351720871973223105175655126795117952407915699310210926690188577391052645093896834530306703856211347702870937782942184863707965694585380747360395564857679013222080491381268149542551320763842182944290324119402551574670403754362041328954358074674830994356770944474674975606109103751239586760686315973391327674723949116793082213462689167910698239442967479824976548963927295404402296641976374013322922361069406548309576066864189601172552504535334036912174562098133389503492858843464161881055073019140361848540175*z^33 + 875554761680074490895082832756161212534789828492352845080829919263235101070912317765893674306274925416793148416030165812633243435138292576896952025186278736746594373301362779626255669245554286156252246457627490230045485046939320288621930675521299613122535880694658781619213950114102009429537154742600880615147870694020097370415612708750522394729865277210929821477209589446771651503082086887161886722960244640328021604861891235953600531259901915681039156452038502604524259007245739472407005441589249291170270449321245659396245488805901834407389626728125407333954911842877602509880844640853216609378032527056404153054959879228971677819473734900306416815025416926321223832248903546621257025102248517811320195411299664355535052743993641457681479779327132184421999628774609*z^32 + 3161154839077786766147771080977814313344710788240501828709075253614702914821971459437634045442533203832581609464746878981068643067808132859193298229808487607981077372449703911627064842234214734729072536446233796982155076173272994849736458936434633280323698529917110541770102681363570402870105222088893305970146352117907846395040330603258953793504514025608839900410922210495728003066031211901728129935860854614404804551135245644170660166439872887291731626188301255586779375159340062415015776529132410473398358777439019717213739679167626669757186325163813138522541064849008825769121344668410237577517808325778218375940922665271311395318296127044097597631782630713699421721241217646809750918869848566867721533399939385204711079473150779480562397755801947899492513954036097*z^31 + 5142982653957553072624918067495654945444566952923531902149816916809391641509659546323429950122885773761010658744828515819436351107040054682286653381247547589262632413026464018077215660168071034293411715384827745153876037206548089793984624085370197283507870264013214440437564190153763923748731153490212958115440836866477808548919809514427804501931753196465652055858526766901393718669376968511033176276671845629639270206037385643293468585424375796927181437585729995539363151664056159384396002302639784214451511637738242637908278220827825295656206730791569531843353112774209786626106142184502465687473459418707745766055867561831340241566607231413148128365881289820299748530098816300251460684359545301004879331302053840490953816526398218387675118567950713765633926250769888*z^30 - 3830187630810997558051927310597610347569436276181118570109194291348728777883881290418973619335868787926475048136841998808494912929191871594480402491747887336036234212859243752911572448930730691316402636492192308926931581932532445021313957388720389731007890230364027029626771822065916868184933180504537370201338206921202517130176962643538881627261125163597155592311486262936461754288777153281212300709721976068755698006370599318536237820449398894301423842086516142975458996271065676491996576572786659652066563139351432568679747246483750238288228360463312867564864127985588403688349872441469744130828019208650529585059405772496270610966265538897082674647494700468686062279610830966192652102832393684279476548370420299942745314888372643303197877921603894825077643399126296*z^29 - 48990694305604260398318547210560286834658065687211791143653339314494930387728520310517440188925688770439904576816805780468146682425537294661436787066475142918744776828163114170130428668773885711126601379068469157703742777828927532333088549856943800054138258937459856003020621446013212772230012186832359035954627289256790265144996147701443009911324472544163548553747576208252339937215373198305761795233898489192515464975500350809612891583398058948941752450102441354325651908815197667525814122485430518659908995059651575974337113587877435080681095860920953629620205498126916254126540090302831111409422767353941661166480729092342441233028335770563530219650127214351521286003970548492360042441536290461585867680362644632809902718826831564339336582332462565645065885880356424*z^28 - 160097931178134327698760568747235408249959580453744119225793566095508404863969184471170057140150999630757770600790556915741482429326469569719979717216311058461812275449939287570745101313421803889543369185058599180417665777472426005271060053029756494987031961330942235298355113998602941988344712592270655240696914186201581770741208370233061273642627928840568234090605347137675764153390021467707541814538423319108841996580351064242282159336153888939489200430050153669356626517128089070509204876369115804407204708467781026716401106133534430537115317127673080334444668744372664517269311483901828691054899261537747275233619573581681613477997048547447822321165580493173262993510794539940542712105547428070270523065960057315345780546302101079009315993389416740981270629863421872*z^27 - 332471282358290559048038695850494976264018629056601630685737595373013142715490097429785950617420762216412382057244848581374935027019924282337506752087617942100942458083184161752513246018552232725512117443988008272402171068647897029539586749981347195168963863268317891838391664032213851257524484470443340149921672926388332518019508305577263850136358140096173746699096522358553552979188348468366628545166871085462795672638664455227460124749277478487505285910768135703622531056462306281873725621565444674728941206919337953317073683245755354454355264577214866240932153702160729007993941472646300129727371470138350076237534473617188325042136221948502429182158106861956438879708473334106588644361230041479807076383046336565112027404676973644038037116986674593519657209015039632*z^26 - 482056702976404675081534049132490314493678328585562710084110399258053891532009586010559464830064693683544876765357253483692059198148872157973854176136213178998867608852655064904103552945563870475365946295254208715084414167038140007890940112920888686171858620452099460725867930722239472953813291289256722633973770781184947545327498695994275149050526119291632771216794237696926747715863798778249434720759293417023598437895594918029078129407148828084918295724335833481870320965669638358091432162763638755840066573113446418949710477031037714701500124767498176739173354371638950652082136194422855384867118892255996673302738234442556207076564530318252319331203041420171609060711028408614579179713587092688897753980599586003921716730083715483582922508884015990236840074434737504*z^25 - 468490229359805630132051679510245559619577386864899154688608390533557968902551747333072691285764553939608896784578307818320341722278745745885644139540601025718839078905124687995463173134477215423365269282138041269179570173168197357011018763613859422414560614590789074124651865843706706256145276343868970846423661418067310607241108963112533863737106564370213375671393447418275399490155847691109920960841064927538477511059396116327093253130763302266023454449326376381511589388932597983847644735028055636614811201760739676735695116112574539759579216189564394736197857109469736644476601776455672413531529783646944378504793101017732290312855181178403506150088331303021333837850841967982338331711212179944397533815950383190396576010244038186908879578925769614236409365050415040*z^24 - 240483433691168502591815762483834250886609138980765908836197131374188611371126851686457422025517232698744462478017052315034253684353099829169424591669022828857153118357868939612584862190138588242666680154472188077911709913445910028310600115004158660799516337073551561771275656596550931275966067443883540989126294393346045751964355424165731990142198306110529959276040848788141893189129490766161240570241520313593117224912059965346880754063763178238246973823100224298574197870966107078808602405724407023114285684969725658005942992747068952847539351500528984915162188866619588600347608227482434759883182750884443873177918539979709143619713085420476771400863888783093845703715902086471629849744146422532020423548499039009278654802749327815995931979246929596879929168953613792*z^23 - 11528110225204740717028943004324444608153846473071337964778323241834126175252960221606935847050486593218884112768268036851627513703717991053022187547548772387166118322394685640648932924100802117845622833299038804004938051398123314247344011909124862372800768884907690633155532464708373024626764733962408487057355020499808370311936991399010670909935407261238064165717293636100420319386432952276819890717289353801596090155688149473174078470372455969092115427425931073286952627949256964929497618664656693001314035306465659759625785321292868173412006136246878765620928500773715404344819990274298189732923240415053823558508911249212600573794968900841648372474360173124126004156073530410942286140480984460078201020103188942975158299540561873908488617781492026792828042550305088*z^22 - 231186011881938191168666131036086115453222911583816735312208106569699340832981349238869406513839272046266029587933474724420400695892828143609785502863460830228350961645564705695848774518027375600697306614095075090012872190865751519284201551215385938216986337826290252504844088038021483297648223749034738144313296205060659167179628870420562956323914887504488542800953015234276500262289172173679632475787551689441221165247411550360166244012159592442094406637924316600839170694420392820751462011535467289336235217247026171518713556330024380792519171221807245622958721255844791932594118335182513761129958801174286023643238639225541171412709068572142427872648377902853510458020574353607853443606485791728808247692832808417927649833964976788087286997637257325971593755591454080*z^21 - 1231949781697307262952130205683944430677579743928158178968306428493734965914324988747442320077556392179547766694773886380898901415374386449136830522509468313528092993956893180321986712351445110446874409331328528877844301904047804263500289810314686333320722152674045280702705638640303100832380345916626133494129419774604866822513408801297801989360949139726168205397093395658613682995930397562583598176656553225580359134132414739575971051884334986629317279726245487792477419614454746270663371802591550089967126812774337732932756833229741599684832225052708537415677909527776722236493522669481751766612889242876468653831451117504905839140029417058007404523251074185261227306912845319125759500853585477587644837901319214970725341944069213200521979640906006981801651466233289344*z^20 - 2810196009134833738012288015858583943178366452546777937773334667032037384191799190222798234894522090799678166385916833739445152643399783203001842668909875067546820407106818151621245750675050060118863763347603043721606537842497751700644135003668164552481581337113483631364472786665032997257842085991127107051493362111840507044536361305238591985081732171951013484214161193956754457156624369879855744918982483416963906045908535073921916033440528581560257781199607991773264018944256750216509137395641465153580689413135731237390462995664234830341173729266391738135337126972500664649809054912493947831891225451051078150915934568912107862978474907498851670045089112491551160574911518792841695792309889759633818151406711062048191414850187161941120213825382823088474070228552542208*z^19 - 4212419257985620951882507334372726586227659863688946564772219467628979798843278082714259802590475663224117936082717452284878929115770927613549718959377910786899065879241684437643374973528112587784556102598253612020538855582248891411594558314877474882752120225097287950232899775402907797159963023588410360479302825303638721983622770255515390338947571530415989295101256927499829615685252768959548128308886974297732353837590459092077212862560107335353366019470474797488873269660740688899773984473468603160579572279362685091991153193803301562686856387186779118179396275328601205048028158309715193083071497031919113430715332585822842184674274676920677111427593877139184798218725289453887497635590452226691231206137435957353608837593755391442199484466322804276836025454008166400*z^18 - 4660017621153414873277047155190342473911480850100038648388817243960058199582212258919961622220217365650889167069614953211363914093007251219818664302787255692686136778367429610006869477741486635869226615186064749785496253588532781556049432200638879372398878549954294881315428681956032630048226853766868724480738283797513871423397001713284498336323888858270213528932723027104118975480359735633385128867953628248892370869045786640947194220662423762655002947421948760612894938416493051892084326013610712851026889619152971628215028027319815550008022177267299934037066479345472417263588207509850479513426614466921181481444681923661935485705152698880898714233111094600474530616400458789476700153591402515381453138877630587285648315277923605029365597973904877404792852001723168000*z^17 - 3953170848644956573216765347845266606603211828752871922561162546628409773334203780100691368006142025627425233027407438269168108961335388739107024417666105257944234781057709179185541951075382549662170935140892363507448171635392394174828117626449881697197835907501201090947927395763849710016945220842069566444599799872426298916543616184780552555242850041501133770238909166705975164666562010044313853337547377959399300282941358695110811724115454266175368472637958844077191851847365903858320108682892261427342467063650451321631704873009006978849255303439389688018380201754211679780942920547323128055753596576349357602798436030215330461488761750921921197899518160434229659113462263914932647979504637123724917314573156319485949380285275523008968741583519466061543024199657479424*z^16 - 2573151344475977684625714894447129624796226946167500700321417891102911357683562505399577667163907086202997699510067785623471925478690916897865237960353518217404774743036620763851681162558874505067131051095120937179327884410353065300865640459114918629299754001092335069475117200454132251606924754053096777783476780238606179682234525810191841992852611267348498427780601922419865017851876957537054226309634495716936991278814089286564897123555448485230596643074676019909832918530993964295206375885790183311955567924828098374883244075431314609432771327659732291098364697575660577184959073115605912519880646966253226639865994089215097042057185977710174903835046117020276336546057326236463860286999103802909582551766110097520870068700387811823206591581475714937767505404298425088*z^15 - 1234576667853399029546173781842585728200679381513543800198043844672128077138358264647230260636970816850983573041907666471116365172310831495449575199277821045218562363555684222424515673206086711877406753675215342405879292873537873992755238115772894996881154612488209811944047214520811030891141841510425935072208772876664001551637743363906310407435662765470283872118315572863540505097268855028800127253664033292179604737714945732536262469331527941730989033257661456768669581756197397628819294827467877699835479378762624964620052955128171050826133529275158509849262812595796539961813693016345602357292638417714252671994762632540019629785344111876433291200473685219007121703916491974579617199202195208764372816348202378304570944931319677333817133903254072475247675192537168896*z^14 - 375351478537269859451661741707440438212925145747088468377510197196305135894075165070179901569500855852978941466881920913907346266699611532288773182914186287099823563478964779780716269658886698063917151244557547994557118398039644024242778266068538560717963717815455172384260683786444911876932220526041305452469648144686626130687599911715825110697687127744647828519877564209513072928001527124866422994904976512707406035827859647318748413636955210055604187302838584071269526404579659449442108177009059967192459998676494947039576123213373223229657997083363827137690531193235085793213575982676208001837064927214690439243576425218313899630504251319087097740771711199731464078337917516880720862164445800415323594134955179900949852660071382751211675647835384022470755405702656000*z^13 - 13274666781539366195503425349953419533123715985863676534544514979382167466857079501399102633260956665938022447664168964975217200513531567814053177816335945157607682135408461975033914167007316014091436638664765217738059169575446324350028443593152573967774589934820049658508002249111788232044503435256041361740695700737808892722527887079836999938022138514433491545609561050134796571944197264474384137811022980355040258165498720488130597367378975034040301572823909896002838546632542036110645282941055350953808780137490072601790410913191746599667646456163908627764151347404143595656380691359499545410481899482682533687375681739808400213020854416577364693976492569783737137270508002866692972748269678234731443891379833003482366273727942257729577244551328698430974190963425280*z^12 + 58904115565962091066138807937294133896239862770957775753029127521746854632972324000856888837212567358523487688632746877102088041173967348854990949322954668077434472243056760579421392358815060845136980809172296905366517641168966303502821570188135898494543732745297256853963740988252868531000655345632439877559450871294407959760479207318740744532483429930847385089556073366068293694090864893999600930465478789553332219372792234877500195381654053281729572358944162544110056154356635456155003106304687217391139934191220190925949336037307438166121145623480961727879814197474557610895778858249768152947062672847197473825822901920229216428081794012908709310720017625713016015867810781887704291937692481914857631946302327144561986253458187177713812196347237934091025082863321088*z^11 + 36519691469772714572663680441295180234431878225544414298908588959676237047758114651763488212911711448000750714652313901555859560416134298210607769912009969817575036986456546964287991073163509504143246773242285398633899554880072833684604947707499499221748620503023099207163868020169005516091534643194788670757325614848161758961344019332023494043946948164184375036913111315105995415787373243676383931046594823776018929238449830678980333573134301501476922050410556066437621604369803437717209573683838000686204209728830372754350944829303239030918242599936908316437382748510957721487648846292988472774315654736424670531177664355032274402894943281308746420114442421138771533233888044603120208975370980876257036042288987044492400161750072144465728734227751108113603878363004928*z^10 + 11638507883647978666620520617433290284462962579906003637146471955744446427816208135906904172072740186663869438944305711406044612086924510830400735814970614844107930636434427374339697178008838979425351603787927102057052467576748882408334548877582827101920761392959938190882696826272596614710201972853773395126190305041286902706487949512552185272042973028451527286434556171181421331370025523110784738858746645654857832164823415822177401931417699981066942881696131915088301091048061069847166065869412848287232316094003633182198190907748637381176992398414480607656463656145214173218493543905192967814757734758968967874679307528328700771085425932234586563835638820268166159366615913753356786744180297441412413932226119125288740721561195378402957081948243754003562159133556736*z^9 + 1595560270909521104656896572228789505336318337731982393312789536768498802565101917319868682896050315396590029718436088497804735653694139644182695354396913839262162062822321640140309134461804111464150593163973846150631327801825132045579542312453207288299694047905226673157522140098455272508470847737005157438908500728659915043463668322830187283709719340349913700839747682425479592405450681084844343112145348138413720977169184541302116076193380319885292798207560707040196319446891059935855526107929731380008396684376849636804594804398227643226079432206962058936877023232010844599693660410437959251156218727518572790287057128348955080749559262174451450426421745947200755838784447849500965165253169590995523040554607765496191754541316320695172546738322632030343940520542208*z^8 - 343805841629565751450177876077019065070463003912307839543707240430539346076748470176124905095974228984500254248899489939110813454356038145040620529461268865117188728997452299480469425307238558772124563746973741093683644613210079433609873745698006199507288047252781001181641706119420223259508116703639997300857095346303649871248688052182805767114443443247170819256000942667874055459302131067639753656595542972042582992793375613029229652747126321633206320841492029311569631136341137500878865063344938029018906249198572636845869738218827604052721357991659383124631351840625762553781604528102099007207800067199302177227428628119026569421141971452104642918909392158904646130168770270465209844791115696066939876922844188027487248002223908083485497557709657266270394780745728*z^7 - 244625250333705776468300655957781470359633820263448086078480089602109223892829055719246462168481532225777845116203212382616403729072205543293642218511394360129285892067128980935299923271668967346833703220638026672665577801097209117031601310399293911505256356555747706534556358432618438044356891804226194533242597416376266860931545296996458975102316387365668078074658323830068861694720120631319828277226136535406168807773490811986357689966174304628477943145906212900968429814311234937155139432906651245872479840196386764362342174900282812673493071524825453093110681333387738213925882873770891273552911809825918789027412780161008357892819452253347990314916612717289450963638256875425416606648396519200394227269130739177044565925224868302670915892765520486333540246487040*z^6 - 65310416802180333840359002643699380889970082380235099745591883144801201993539735811267742951143430467651202062145613174794135297023738132457634662034073447802633872809845307892691655067696484991681423669919075176031196582121260906837534208688412632155302763951597736228830564361747406571264364228271492421457278398889585870781331607597717187987594699233405893330169529568064609241842989631954488599988888626093357446294255943534929849073043164192890486884841856377536623358190175071862648563239251383131983168367424685821421161674101575941059066774733492463957669106893004252918044017764083257648786893009701410479506026457039412573592001107492548508035263828328960591794166652416585982656136679366984490173642909899016639347938097856009127184842757537267396588339200*z^5 - 10064086903081976369893924896227384676890250720994323043583985306320140817068267412341517693397194643736502776428817553878297692364293597532296555299235458684487282027042376038492276725168807696776381856557185389019162112798899238134857109524649989909455905522734379388472163888241628812677017251263869599242234591633846695656629683003964822792550926480953569815155689742385377036985841087237262005358234410540626385195019707564490978136316764038863195250975014358680680403106240488765930454571306758121284506725414344393280498525403595563709265451763038229734642538346315432389852598701791828768689446295539850833221299927141169487555836916606217637837000226939393537249708269936702206942876814085836385333334537540405429317965323208914613869810057514306718662656000*z^4 - 883604429536820735589216586457304458476334660182317191745239779134180600258083595564329364891792214432983875810052910883833367302486403517670522872528372029325306739639559969153205333587408658251730845801280661042226623267612525785895087953739573867130339167457873769963612572285357490344601341277611616656542632212831439108068123396719833120050693660964029021713206037676350520438951349786859195580716998036141012291749738378580482862568687187885472862454843667182229963179204018204109716894130800200929244233163113314575479088463620442714825007415088154304054406834905925200361862337675549906765292605618185784810025798712997570012578697604848880377942593316362299491476353566908066756972791722346403636683719767174376421805022766192858428743937386237898260480000*z^3 - 34662934669294723835302706037914789203791842742145312134633965973131284454815837042003248042984743083884610211802475678484783374816796280048593373846887411936653518242006622552293880715771960459311965127942583974785295057362996281612346850150922957676486123233425208513003267531231680652517117531403964236943783414965263339067172848823596660590127599984721263987060614412204755828663401976097084190566148850484157276756240914733590381087875723170853350411999830333446775563117329693816090512248309906281577660513711595905719963603998324617493979577604473389819207688377716185022753734695941338422130001440977379652919937355354454804461221511578379187824042897122187906382234714984205296634431203330166624352870199556821572867594161771868496267722932413792256000000*z^2)*Dz^2 + (-13568594484261359550085537513122743800146099887573056974834762220752304423309386209459570473652425248237579813380431809778125889254917676784572500415449947731547574824504707151009252745449683194875273466364474753873841029906500791366322017399644949549412025278371270934747833385859961125296069940780463732552995650665573493791935171240792143863292402556716746153067626862757861507761108038793031383691181263598202239155125542695251651828113101110552312215196913967518693455968527664604723267594908544452946722042177284978777070896648950244641221436789579164791434814676693311741311406197631001730927741765465774129832644073376877602147972133499694141187396113746267990129072589934732024753558727658663806503673575298741515059200000000000*z^64 - 632970620108864115170284631657595046849372557052053877284495782210794631589171819308839015055101238507473139052188421313701074906248970762970675282056462956448169398272526210535938656863408522337814918718436256589629446070146428002460875883424136212143391530929635889089757321368619511125444113261012774610379318159552465528483237413802760445896379896679476817193893520692714815579819087446100170937650724124325897960860520784550789867312358643929523962494538360027564742535136481237022485355120630622528968436977657862923227183359383190599165377605567438273982140322090395428402982880924726388163000594680721576786832249925128272666802106264343836232509044565977266436106751849484999549834954678372785152939451997298125707411456000000000*z^63 + 36853431594553534691134292631481582043530561740160916370313832802208193975962787700076697531583015541562583112858193534684095811697622303109753923508619167939962832432393469243734039054680947583450143706708800747877284052425405911718333551529728530658894307689036788095993523096893649247439057569944906346291295715977900580406711740105269220420950756054386733940724212124668176563666951975400649766525720981354571310708325415301167868515611958899485110646094931598130054849706750510184247278000966192737231217237481658618174970848271349037173314863791877572163609711181225433525714075811936766510172696165005469067025164580161898958029468324352089030224322323920461111588059062158153927125961010736827475134377446887794341105515888640000000*z^62 - 14268961050106834674588642286551672390340646212049583704349041302349320619035885451687108849588293863119838576142056769020837244410188878512912523234514566945566053624474753757227667296276588949652143778218013658377278520216071421848713435730435300568476446753943092552205274985557092348911707939420698281026052325794549286666397021898226407968245669664386782410689292465019380136960029902953594883309362944705744533465542443453154391906770829564340147665340461703221428834900159243386423985491832043328332408401438082879333603164807851001846273465791675756568506541661961365546459306240047588417594792649429966108289967451459597426887087169803830904635795042813289799117872109533022801140967991187177286510170350463760464478850567372800000*z^61 + 34004563698241072878908011710575986521758181554045361589170895950990660244585329201961096734846031769754883745631764322193407516757920471285805502587898970402329067405684889559490635730524143468895765811782975294026380351891805145766554042912330289013063311304392496381313149126337658268847947392775433955746012031463738044348718725537184967101961924854846780475700513691959625027191968301253309522029825780676306066982878958363292083361506882798044816866768660480710367535269474224091144378607488034164982707468336247016419779918763497232877298561610449994097080029660173766772365592922053854467294099663690005383000934319504496827426623177313862318776260332154017100466683835405595951106508698453695553333427232739709356017023965709991936000*z^60 - 941219549526841748508318176633735468634692421175309341521421004587387830539515944544964303071419096273154767427448206401998022115540323693214508032654276832218668992361991894141088271174458632237587563065051052093378786347857862307547287617959584281437059355217913937183665150280175983248255702974544475482422874952831303300116145813466047674115032344658771733475170618883357567237252405737043695996474569015711081775913766921342425807367914283221039847752778066319540154270106423113413539587699088628509273199170557040399297326108427399156329255040847948086903029448088508604615893587770333400690986546444194213514819486588201447473737399592199834852689639512261375235655047718127547168908137093922925674806372410854111489719757545014716006400*z^59 - 103739209335905481770735443417517450650508624072378456068555086765377149504163780959114913450820035671652792680866644797137382548596911165989134612711341952931094557119325494046813767330699050291379481659920508012311151204248815510524946659313726121474955965312655482979666351409742212717107489698544731426107663601588261287069480598710219905865437107714849093194570673948725061914782644088518891761522298659507652267991842362578896246801487405605567376588428146543480911429642444598972585807926995711321833233628980095195171675648180441409686548539878668706892569845051609361730210952767940330589412184493605720383245519867142638635171766451755995534048438781754149721681337261539580328560436325658218883278233897043620663662892236830915375923200*z^58 - 2674830716813409285422621305005363647893158348403082469089728147508512314319898263082951965764601731222295016996517588106036283939453478876535789837301814776357694747626077326739229801832785586603888494559053793535788195064872535196734710401524707297301622301309195002441193243606812980556853015977110201075236940846537411146184827627565852133210356496521834554079635735547166872499790928925549211259309540188803347580488948362222774617709949494328474164697975551109328563640357442043288351249762434708292128175690781053244634546814919438951405010704457536393457336179285013751035843934322080879737360265739718290539591392555160789656088835982432372494121249960032027148336785462205099152817754305821761918412438894369660768336334381039104840171520*z^57 + 4262022442195773935831367524615014693288900710615938967214669324240074581366953701930286745825098377371699208394792415976595061218039851926144935243075146155518232221751162862800472483209653076694944963620071507763703707394371305602475525331230231563969409679260608476743916652018189146690518332336561604749807099920005190838416639659417337143119689173228636382067998897602091776134499302456314300701352399842368151717691006689377686001265679426678300580465107308042248723269889170843854093529779660209891307234221500479015876058694873471141121757219284214348858472861060556983220009526752808616963585448126539518127868060080159954986347600897805650251126195273700560270512749071689397734111194294497406513275506350118582612445262994004540129280000*z^56 + 978827038088351391631323831962682507044151078027689663395213420077022397504319380842787728202292029831247935545318271447874924664374671949323536817600846710796931467352803221787974367699662002899251202745006937904926699861491493658076158411313286563720984709762772946796321328432305499008938933630289288603442897119490836446161284065274127097007138110022593632209666893131004883856582846212902343507178715162175721848604860013056127354865800597511516161108273156667062505319697973518435776292749213947678261338316187206539491931665388048483186341385840859656853143591007459093600168044561575060849244320687979212102004552181380605232317825405601441532488819054124983549308532385369853087913776767151444738608101832455667799092034947156967428949278720*z^55 + 12389749275547364959203736396260700424710922622072076057070581364065422177337848721660646827153610927209471036355589980881254038677782788559445557097081972520548504261371705962531342792519978896617900094696793690363061710389974531354959417935105288138222838565010074842600315893306816587296469229364885589197200350954544079499737855423272334609592726307073658790813043121678654169941843470524456168113864055049907232538937903126476497282422731529400606454398175797194284729303935441523509284221307616487362261765090943694847689547322987201879153163447804826425429212707828919543963969153564694872385182806907575733339475888746246156385481960690977596882448502401265546600828320376440666065893515706933122948215274015669423485164681488650858567816970240*z^54 + 30509178904607004716209649882735940243883850385691353002370262181184852331494890398058930965453804782608698298332545729587052407577663560934232077330837577464709578736569795030793399229346007834656976947405005923409723158873587565177356860927337201612698793079355178939186636685121528996047876690449436059063165114892760432084419574994608826691605059702499467606898386990823867833856063205101536080584083372644270275253548102019260477029274031886809043748405769622577014128560132466354421313043550354817267611769226590199029844984959003641947841244512447321548103985167222798352311024971907860266481697158333209448486252321167837449243437514871330543696971276394859981436857668561212430808015292924750511854955789830935407066301417022198966336171802624*z^53 - 558095809334991356786397876674634617479317902899385885064632171925649631394006437877966883756434224111188224028557914041877465285067465922515808266744357362885179004632804803276198508987592753548995433963877902238295583092249857164276631144246907369439791858066220115502363527309095976656337103237982621168709147828359568231439860689626105128664235078969338514426423132142051652818514308137061702767657867431302336098769215668339178622452440841518499816832808332233717531287345703089591254516862744396046364074697838970784271978977697575550259295988505046575828881537848082259576177995657427751024954232965237416660833178376648332847382414419028298332589204563736198003526816638231058646412041286780314837182093450956139518871998551250812586259719913472*z^52 - 8992261993518881249402073171567109106185644479300846356927431781699334266504765755883787921349330487082620602484774304835826566110628158321736381222724541773947880285590290705019153074751134031648474749669631379624947603604183493080672574700042461927715097316012027099258033443302990219122120511193135350599919933500503722944251408892910994472185940397955619863486253019377640472848233203373776071253038225736457396205828464366014344941680106122691993256200274149622683049602131521035952052634345425842372986802874328912142057888881253637237870372855546758266279732627647348524013081184240148026155151288546196026123518034195999524527925671848854612046427810518992704723874201907237589498491426694382187481328087852680720218982056030422320948484912447488*z^51 - 115089519353653409874443562840441984789819456881046955679644787963997521331872820717804168346361264439448697222815962968186118592457022062370346801900870719959656804190652470093830961318437674976490658824752727003964301637674426427654290639688629641057828242925620662927181967574073973995365436403353120295804225549535695512724716066268053410793528747274414350785917661957661142370272411233164678634990835053468773513176606459213859139879885230534981221634668122665135805974650851957276101502963677569161462878178797601542464406546345999592570462740372148011060368092499634253040195109225379749976657427024329881177094142854082879086721199606603875218871081683773142245116901358007628995982094516575584733331602542009718841978056044087147417320739129262080*z^50 - 880782572790939415091225403904340683919466611862505292037373093533042174943104863229258557731509514611055807325645185981625375495452089737070276622586526706219056087645869106129095988491540212502363474156993986529716967000634421657899343006841310942274860863406036054205386711877677321719774345121963280649647672393293946335069811161817826429324141597559636421711968188246672867575495080814370292234651680662528465277607618308016832795693433714569708098056602476518071468980486089896780756169356743712349689217164086688394611318245099920227248114315925347280158331126984252699820622394346659144305572452553241697418424208747181733026625466997011944370811146413519741771665701476960071892751405161498146268419524196364499394446929247584666860070723196551168*z^49 + 1362971551104490877573764097674762817864058585675861440059050131577646400858229221090125201425056619540483291306912802548346259885545895686122106855496020015039097284403409500128647518036495929845020945802901555680469402721819690311105291420893335337616159400501161010596195717035445004878256314686402559325756784811737608114187837052468341027818998888920293215220650230617149608611896431389235978258550599796917738134185974001557878566248571119128253079049705430503201987733130901861479032613494064601016688637308852332912084671258483603160156694747697536601932959249977106922661041964146180625840441197545186901943474592971537218670770062674823819355058574690965850581500687853050696911584796117918406951553010252652857991332770514284825288095787516952576*z^48 + 89151498956156438656845196996052565522963965643536376618935565086340437394592497932939469331970585760879133431475848690412180128768118499122781988763704657461094672938848972681743587226622955218806413841827045265197126343842269506177545092683630193440758108618588087885376535861525354707126395445381405850007666541738086257658639196936167380265494041642261928037503109768632759129844474145026435220234071405893300298205506945462837716775649746999583857253227132506537921675534171866073735909446501146628455857511381809961071006523819533284121045777900281411522658741449381058687625736658229995562233597252350048809890301691892125089451260116210294072398742748091204235623275366099415071652422363862267505106472523288882274914700108659247916545403830421946368*z^47 + 679925836105637407375182446098687043902198273437939403625386622105346503715198442583353353766637849009019832141562775684938525782954212874029109011258143766262837915386045702438347800334024029517617741486873216015424655971167431010266033067584259682842068269859736068125795896004670391256430876157566187333924243957967662064203976476652807694963740061768340289848488540862065367908971495636577138084260175586771142490590547734009305986846022799909794732137365222115740987929318199273466349205752699132781171659261558080358082583191699803170985661682343687422325859817404431622223108896916058725341549754649923537776744835394412623393597404219063232255281592409080081292600184213502187505063003894667111388994211514820179637327172236951656287760416677864407040*z^46 + 503456554567571489646791035822408958365282556593092289487517635014530933565510401371617953269280302775932441501896947077597103709216815134533141648888598885330376558312684875458135202623313383390045098379614435450873066796521736482187394527529633175282955306532227360776277314930575961887173958000241162461393689851235082872939521605881144186265426806930785179074629613897145442396003034194274020739393208660612199647262926575322222260683781716528281551541878299304164005351561009824420441459041061108915163837987613842134860665524516847191936805752347067692553304967175183887476620624437890389690458571509628242222909588298674032000139175977768522193291891282766147114508467143990976261253670946434612308118512805209298724641067382244673996524677611055316992*z^45 - 25387129431495123904500199646793498076479215285526998790526139660664682660970959598813130990590078124421337954864302384696329725704200909062682024150273962541323721418695703365040990996373182428134565077459165991325795394924621191758508571286077498163916666905201655417455283824564777576664450575277516677010452723958212934508726047854694432257365837785829489337554238720229740333520894480592532896248851596952820485331147502307836571946467185026507874584668935969760770448635336402171425328493981918483613584498209545024724852571338450237857249133006122097787474233839562016754181245033970197931291578328456213110446578046333366466497519616694530243866336787571390594387510566362557180954775478374285664687694578923366073154554854029450368065040378881641828352*z^44 - 174272150945046069540170286771204164949860962264673471643851954170362126951283265716413875878936204509038733830215631908811781627108695344742605302806349050372710325260987784412143726278466602322956977171156140843584571284520250991269407902279816342224292209463627520934176288025193879085633977270176509989440347125140586071598798156588878745338000701038157283954540596964577075505400491046215402081577445757660241931450767068544261201697735292941897642475978969100116978892406987948300632160328675733568272538705814123217193121175582550359430737194842843339385711177777467497931780928449170993727157596739969614538872440236634660223439858907613328993056571628683211346045266819839430692382623236018923484143676062067405212755493480661256920072669515074423883264*z^43 - 222473373766622856011350861135124445681644626703697358786332779941173589386791886116765496372304209333364750910083352469926276655990196482112059408601986112079967431721390611688593278589079741029903050144311512587953837461351549972264273986977362753473755713751165152306878527523770391368323037443026255056840210550657514097335723086347995864577337055530411151909820671463530626497903744776292644596947436886554573229888183349287262769599723659571563818624771661379617354072886424458134229507888352203552751670916286923065545033922695526094486270284660700914178112449098073805082608450830114983366341329896282416410265700596423146922582879227941429405884659056929956360595464598096871252200273619425513050603568401337837063239188825763202761228059214929182680960*z^42 + 3425818389220774698533647464113241189067841265377402104453561207404665306155482923708058638100062517600491969641117889493783041503725382383129208901942622747488405642803980951637685899991094268663685202640508203383241934871256142105252812869642875118093411119694784613615513528352772300099070682734152464853454833617948536517739559177848013034549994084970941128407633184360827786891183579721400396220132358953519425998348907228891363590482828426434130542907650490357074660421472726700066617660524890581864296075299741008299471813642474568576148728237952424939297272544974290251424006154003463673393789577252291670813440172937978009298768455530226986665799133362189667197973308047877017063766044134500785673863404553819303409859841880908112785497053142294968153952*z^41 + 22599922748383727719052385840362617845754446115612927315512918533109113120911207005494936228741686222293461621435403627682772106865759082275416618599448792854234157674720726430162662319922800359993918440303967112042129332282885014895393882627273553108266191696909283063570809437215970731692491466742614481267529469868786688149779179931535192131402800079537953442926358594432254894063263314835736409210203958379789571318819366079844690176555304123594275233399457784104132813997833631128440967068437631730889063505253374584185431479909739273025117061499251368237835637011144612645476413861152551783490418045130825299220149334081368744532145892799737650030418200910577693227593097714108944391245390169643518858783278308094269693643190542380984569575386675648002920376*z^40 + 38667111403482960632327191871353616644429034517583538049035039316110804698245607821314024871935638748483567086719723463664193560509144948678293742552976219078406892938870413434736915879575537146508199141968648684313403945990384975614774487485349256619223613632089202488677182432075320850776601538136559301648105398467870213504140184550011330286215085611512279002800174546525148598343386258261249446606836842362510490422308630072481634846519001309046815679012427211809828041308653160781287528336688928567229131776483531629901217768290079983190952320809354422640216427151953477268900504051509915934694421944000560712202918222287993013738990699189294317122092392071313344671976288722501769897634064521677286644661796852198627382229889358765715610465859934605273385972*z^39 - 236887701103847727418869372054697280189778905041470352842733345516349272708911289642114246631108819949071887081589856084479216470917169058898105247194402038544407947749092368512189216002784368788373923383568094072794990616869821631878988813697454447828410183527562695115931149137370986844453475211701577971314978169508689255902546193213530846371562825853453473793220428596696473560365823211492051257891535251660148270889940253479181756727298450253935686582300180561768091314696671878066409223567142218958425862163847990700691152723931697382655079901388390664645014829528618721358682166148827428966342700400453155083845066916048736899606439557030112358470068580436788475242924615964983155064404441620141882332649697979152878744752702438390600688941007606224079508808*z^38 - 1682220100278690071813656365304507477431515832710000526632479905988770976471522435589186188894169370738975589425921365432082023007788934233063829846883027692548368873862980026962839168895761394638551358955129815990242843393609325850643862354668546172746960509400157621936435141809798603021611622270810111529589997740434913812547129531790671452245914725453656598085578643440178506615915043503310082473481141049024748653004279130309073811217100784876463972792438606871241616293510145358502264892426629175772627597241584801792063127420629490243320232257265137784293227972790511839094154276449717075681486791287468509293862412197902029654401319580485874951194291897506577719782657375590314663629838831430709904592941969996876014067312329974561812255686945889486990913114*z^37 - 3572203950213374899889563982771441420714138122457704895877148367694181503985262523390795491068808442589369339736828348514877882159931193196072067896770509584180705577717689122878218874332967823621498191816607241726171828541408336088976477935609635881565932815016709877469265281560358385972393744224980049219845687198882878584661625361882283284190332694233576700391696689781631908857897495272287373429003708636595866384117747437137464701879814253663206323131855722948710503547528308024354781770914648699366792681104176926230416543558136904755021799741601631603606194961225961839571648593465926983350356783914048548169051660590733245491149675007062370422310533594861368258507088258390924651340335996787979415640794067742182197808855463089898794801384410672463356355514*z^36 + 8421047883192134474258821530464241460542364961791958483216796218209422122506271693656413444307807438153121676967752558376934008370097571293608196223228371864600198422400357937873692886195661150102117804791312441847756220462376914134540199026249412373634484044747265249290195072292742015336619440540255252954017978106388025169461513407446862159226229870537029089268291466161828633215498494521047031953344377413543394086114881894327713227259419828366497848832477752620130815582628952274363674744078206159708900162775003353824290932073333529537156656803541818628055829628298900757202145959226279621398532784882886292522165881733489874972156272466576494533438732637483377803431258221817546491541799257798945203928195784916080813077136364434861573297129127099508150070576*z^35 + 78160494076041281338948617874964871333425501926241317069254225640841031817528646329934205136404356333418464049057707519214370371877431899534317598309117384342655383707273725458736156461133837157590924634677646001131196769153194356821818761773340117011762237762286503976292545568350464366517603753714252490822355927817715671023062511548574948048071213826702219942369541507343980569549745150177664189222989750975336993172087336953154006755941340606991321290310041976016330362139263826493808118159792384679609264795639569355241050887776957725868617892598556972036529899149243775565082639392774185404338243608550511222437776114569597381137130015135595831494792195841689925062427862838474769917712634198904632893578282600362878254945757523102750945846439966474517853676996*z^34 + 201031026887090988173495793251816307075645335281994905175500901089717995018062701606427157807404839490236166598461615536123005955804091152481836159943952795013144318942476159244765069163482061691700467946342290806355722312939752833935977001756684513405017248942205778182636811753750513987747078791113266917119863482476130456832248606861851342912202889680518248990882473129574133240435632800105465182601139644339067295090722901614516603577223382190606837637609694608185156857480306321491267330659189418992339861654139186412703631067484682504350633913321241857211366949188634510251650770557744728972744809223509093775112004232342859658193844147909330117312133867168860538048433263304325106961760279118073339293385630310611432821183742647126391643603136003719629948730922*z^33 - 115314170369825014560034484752558981340143373318690938628165846379069186397760725531999829161964582483997306023381365377318699140338619616724159367599030431144000462932783656041612577505942358137381646261770315469154578043098798528301787528840443867475671781567450098996619418725539865416281231123844911297063744470897243408660401034764798062856423595905312083701110665330994636462391469161183494665429174643504779928322801597980360291796293332792932040552768268697120256039350341093805579428000619959136445833093766976680785667850925708227560605080492894928977212552220105510281328540477309376101126317258009867291657998005121277178909408158728539752842155183422300797084295917594893689422390771891527927079104043110899185977995012017685626886118615538183881552526886*z^32 - 2682111057904953571023376880693494762068431477662772552101487511230673990410259989649274991419752282865315487069230223210544078292317343118482396346304360697578629921614014304096694291482500722994808690835374610304401778875162535773829860273643629779989711695009753991368479407331447037773560451549179141746705628302271843852563891298991557868022741561505976516228421601540942548336638102636417310660290823800523377826073676691219388980581780596324227837843016362684243989832671741509929883268519607847190761131293715851058048600635794784795336857583304424699318482022901554817950663020609626851652611324765910800741935491832787731171276354710318272515068719522179631988845228758293536384973013064215868663000352566274910491346311183426593799625139090961980476994709104*z^31 - 9974999538579295122208507114820784395132541406992588823031024587338590177998600282116183656890358364447334000485794305537772325279492551522425194411432172743635148665949614853497673058096651108209248920465841837695164466823661612424216212141961214893770732158656744085465698210344379814724446592201451679206262632144613189594573316686542367252340096760964489456898964919183616214415915885964978751930419780410810951951384132607801332959823824441124175179015013374311625119934774450430740833998637721199308526519836238108584543820804624691532186403065118040840227635081181553378283508768227402081784107606930781165023800135112075277054436517132006524178594956384669168759212620677328144573517781630986123884138131343833644014378970617056409243676345296027880410848619088*z^30 - 17305921815928023262768436685139723013130647442625744484699709309055120900026223938615682266414441022539948888409816047737212191866705575320714508932084880149501497019337402113291761713525315509591084532573490785598056210182258155896621671772791809246719458758296665694689701048400777026885347994322805343469787970059507192654677495990363338573483614432592991178938770561139146062205172872725013605620017429258606727672711299807001208721223097280117818267772063182887360670828341807759434600771462826097511751029978668920755458845474634188711302469582265866561976334580942803760244263013107932998882302386012160774069641580938185812582984932309242240448221249100246957258033098908929897834673013329635811772443813011606097771804211388596178647634154536766469078610544156*z^29 + 7609659448321656257764001851493583756070802398499356064942877479644705398273350252327951977925431818998583200863413746119790265692996001541022947512041437032617554441925650554144355644208663702844365076703070801475920212685735637239714144717516619415610802770241182514168653783144631244615970831686375635611461718444584791333326798445307341820840270996595509465836932523463371199601732322692297483257356145252073856878379605443243697060942368586075012957815858320806616275650726756086350825655518597463704679523624780314253400169165931040626358479873298402951045306955338033797517920277101511427633594866649678689203130816013378655296775559959184013456912165054267837146494743952026075453955337687556014565063952511270822581983865677429403207451393128667320111054177924*z^28 + 145788813201636766945367624705606221183088715437691894331867839744802656136476541463866823581986712143153440145335829370262967759956953992394880893961061697794004547114193765329172539614277341263308906440495306749627207451808710942248797875152659335233046170755935001131327404255957450739959664643462078866474505224039012057116386886138933891454642778860192293625418887976753169434091202128394817625668099898050326197344181145643922980377176039311601646166703971463258904152745436860450890515442555560876805824903653679335496836604909631924441468987978383513581689594122524943539111763686098854163499873406908032390640336794891949642585035532815532811819603528652308589845476656069133409433898854954066252231995785033809235264624871125415201792053460587101616371889638792*z^27 + 502929497170764249032406959755606307356236820092591096644545854253098308956833304024977646239127832724416633174827776057411164460950994480072223828662374571784294114030305334220278070839751887410103494910315075884231755626082231517208593030460774596435240893565678173410504717172290035061964540086420116134870950588881939785976817381101768574348562150908853765880212178416694292747208074681005844278130770170347286464781498261288705632162626405963295029239962557157971920599728633642379465130870408025834833419431463003899368834075605346339768347633090009490302089177017152657833598301807334185631259927484206461094275937965376045759654136056375501882751136146596033285144394987361908165743201206734375420469056411055454585080580454201288179504073384514712412321928342888*z^26 + 1091955555063200316147683560454178003322001488722981253866905171234004529101003043365009999087368903657175496887098897908039648945476474611782938523333639635463471161309656364130226985532562294699203862247648384775377255005981687078986587706476966447023870286174584125473075204006248584646678923751152213287197789632125426242691245520718630106333180422856158493092379676931352459259557655980756266635851747645777076475988231026546250562013786065176864479976664545864004842294367584860158292182820402475451970766482819613475798389313811005690159901652701780780881009496865582651640083589581878979014201500157065902043125290225570923324992256918142175932492261720577970792196698915191258212993092418072526609178775365185681435945259987288720159014839514131023909903187488816*z^25 + 1676740164800246441970703899017630591170278439432932711005094024911665711454556539304298307251613562933787554967263909080568177977836419956353228042033952872130659537324456985304908475973821117366569297774212897588240091900402457495621778982244773639855078890660324635895112739458365587840434841688683509944414586948197162105969511449529423605762213872607567595437900908060457383662825767059420737528258090200199737871385090963122807917638541635385052003373046905571019178102967515344794540366863032707064756461225474333705985174140059708937377150931855148915073739148710977204915721469447027304691308081560115191676678279785596009857584122860690603664125965303632557390516430381190801907149150000000402310505224695597872940100578604613332315460033923655988887648958013648*z^24 + 1799390615989395486271647493840012955728223453156090974592515955590502295079021155054761755364569196412083408921771806813028671352269997090394372928896328464572287762893214997254882432107457862170237820649779277540300603515243906817059896806881524073198259749642028412982145957836795324324316033419997076883192214026354301893470362357033846495385847176629015035872484948732405702400772610278992507026506322105663698294478688901462395286413935576753040448436483074713182918154955392094519709368137295646597602029163390465564366120669230450799363182306330006004470063298731644556002457147767951773682353637884929515389571327062299371831190613217711390700886210030932283119159506205411616609122376299691975736483714516060450992166248367194597285495086971153953966912202696352*z^23 + 1192614811121450287637209722323037448239978370966259103888980422702835055594219815702751372466362368054136462617573906939413547871870623162289360856923022303537855359789235037282997948832191323122942746168760257355259328537236135380658300661964713777922111168336146546901521014531027962509485962786395490395674090741453969550270987508475827891861870276608889042732532637733832339932794442550927119593089219977123527780359920990130855996146566795974797771367096891216364839829492210701974523440447691690407033418514898059367887344040578820997139831544923489990321677865902860051671190857116720859026244650562540817394093210525096728648922439012388139031735730560167605916511570488779176107680926024769136348932394015523617414459531603674137764119319957868848639346131244448*z^22 + 357697400550753126059931651691527178273773444121751040038258765818169749080858348383313948599643223014070004695698743799112588111199395213824253668148971919884546339451732362640343483615575958204185326101141632598459677142434298446038603409192098884618984688779002213034187575750778430461627915014062820175463790630892133175201364018434821526724796175234703089041308202323991984662550580221145133149138097399989414000719426508394405505108410226942442658982062048638798576844585077707733724741014062919139850469580314140202022461262334419870486203631054816358850872220275803973247675302999397830539730807306022018224832235620701738827039583730873947692840155762537127136681591929375981107348684987075896877383034077269155556984541384666228654680493328793129502893572146752*z^21 + 601456749318284216780470213306505704491252890529428640038029167598424212668572203873948355034081813193777089531897464279349818994338706484751270186704448512774880141787078846949252618608256959800888633399241587017883102714195854449452230778642527069338318572145484648146317682271588118766632908245503901701622415503891147827169494157510766281462377610250043676390232132750225133189484015629108495004890769618469470666896639104154770024635943832874590700923415423228904964426472231325694219554691369700212355475834897693777461851710263828054484934934666380507750413016564283214435068247684999600996937289860668244896021548359980579555787097430831399686589254136333132823662146702033742597887072774151248055743644267936195182429356352334002645679903056912505303758667428800*z^20 + 3064817078444874260136243357391483292500997181406224043938539999971383060815569695181384189584683515017927516683209611680975773783637590004309203487422504951174589102879416678885976237510480611458328970732069901971015427641712225837961588314625223357336121801400418521412076957642149169102952640605646958399101351248045879204413276738504480853064695768708370068194866145691672627875886869644597457456651177809227916716254865595752745899131953827968759065678395154147712312665654578869332179862839674383836990147908562847539694692770747118646850500776537825103626179319203883410569687669625557640936681744484873660749770287797712828884341630035533882500221531342239211458562596298440119598502597569661641039178941218915388809826154821362376597090143182103559714680126389632*z^19 + 7398113221298739622075102528312095834309251130849831336358476921823209000602399324368626315976589801777713073033491259294899586269752656841415386762127850211385042508990764504785695871182983154410840720606219213895331395290573164160647651560496733703572779459828946459645694777876472060746295969546791257362941181708061845431341536597172220733567735439483219249318819433997952068858076378062091903953165929522684058481878635317817334906821068978990608017160198651455332170950596952657590666746575031374504323339823520608454413404111947197511627103114667798044195870300114840030693997050375087361001573784352448227901078405665827436711330536084689978035060011200063503172609158408667833878248929598766503520423500859980916592817603331473366944145988847452636289743922886528*z^18 + 11525067001956960365505582587091070660948201889204101732862928989358251471597087055876742472828433719257237002719370045133761503483648961613848922199691411822718991140759690508098008586847101358647606277824021155382209790610349621786662731280302601612898048863024639201842192745705351042492471107369623690042285877767547244672348221837866322040640187024409290953478570977155204869630550993726393660249502464897282209013812990073225706909366595956652377654434366503618478467971657574935364977883202141459583899921228585261344481901934099896199780211455335790864568791254842520655156788003365262407752343469772467038428192927810539405577966222580528017776216175131462710126913795675660884383142481105442741930136906990917125820273394691045165538975686077449228030511435757312*z^17 + 13080419916854837949562984747721670495834522752623342950754813705224976743007656537176571053809162948399182240619142947537031615210882086389872742942135452474065412196827752574660249138792851342073817344850688020356415191936137635548082637859967654124890476041367019078082553648305713182057054865201315836172837112923274486194146446502299321146722789973574376135755181287874256329440401546626363513746166884114395983248537047651911437942510526625571919911271193509023705348506174698586720527482823502610120671949135189157735803354626029994456827710916266645377357971949262169328862077771377812793806905187229965033563334646794619388370311326571784595475280261704525197704604459069482068997403031311096896176676098887872452215440396764042643458324254132267486860897273736448*z^16 + 11278587838149614398395057456300274924430220787765296875331125433474240986305039979836164395308076817820898036881980627767713052592600427392229264880160772680092177008995829603634954642126689507499238386116069886019735017406828521418462673016189219575697722290091561071983755935282141475306079207880549167358610792252026537183300801697016704351323615019977145177681426918067091414575344786563809702771733677765332815548764700751733176023836515126388184737318559159153814781061503746312789900005598833797473277289693087496936860324729997380681404943548606946057587562202103537228313973526986171711437256229123321294795891295271001429731832389295226504480778231860797196323881632593859662638402113686982866878590689338875010469638083567338507461433454864653284630007050604032*z^15 + 7393958081761738382272278815817550019283885923474264085668978996879834728872270609402494694590618012610846375105861580824127566198310049981498714335598447021080626943439405468764032164841756685115909100352628413065971628305526005145034789205178723756203158662717151126658704110940342157663437562700535817482974907428327137163842235516466476228254923886279767902227544733667098480930854936096041255979291715652382129229560834275111360271090168731182238512566668558813261547417282691916125380083846182850368904108247265320631209709895136141040689042523802259926239785471600112801737914940337876612339855266239947256149327014115744482344639192628840870802549594542818600519917680354600067715454932052311949966653158645652895838979658850399180412687473587824784453108532219392*z^14 + 3522363717185940059808160947177891136726141290355459772108735442737693485451831610064896489359976428254235360288589274112414103958755749197747246922186209571149428213473179941182703053223578431739289546349134269282901334334406648558479035970048007979819233715823675741870067277372268621981024661918822709263096574057052861530904929400020678795249160194799211056104288714255288686056848333501329279269739647821900071144318946126425543539079610605996363816703015595728425875110050656112614318419683432343427879001158712801301127534752739764423989231500719239395657979903727460074406185225546043667863849759346242171299122959935285102181723328829308105782800978182937314185021333627884311591269527063420790309583884697800758974243693136960493231886913682651920003824351528960*z^13 + 1017675440386581092919884277366218467587339773470854342913938982813466323137363400154564421530524972601205735957500331814273505768680152810454953116651595217374431742689944733270317608106902519729067035239294232467837038326728457860454154490305306393664487425876790970223690601459163976837569956581317680931863605061145810249830932621820580573443930235417912690841048283093907407168522281705331006416436666515624852306641327304283048449619426814418859386738848948471215042942491815505805872889612824296576285957011130040918963470349933372278736655190827886277105688147722806298933123768545205350688761369281941952571857409226595899986301133623036744846290246710551498302024156718253580997032469493673630200991721689840058067416348073306003959133450630321237253869933858816*z^12 - 21592227055652389688317278597761172179409372185278690051082523457637652091720505865978621032530135536049836013128874843117602663938384474017846907393392845362778210321464914977804236487193845465358208257589619603004467159666129491244520469741843969491983132326247895657536304117245840062858391084776211919407467374871354336771784014449006389284542995961753111454348773099132909507035928635680081468833652897430535753989103023317888264468070120273381085778501504944789253739302441548483793795881622411219020554327957604135208742889301724191966885476047051427297774714165054623413948926341757153115481009364851361884660963852656721010454112303572956217923282508735770333845704009727155448723353028376327229995307464006130054569806888119427012470672962489973746700093521920*z^11 - 203156993412215811254928704679435912694864563660808225148539818659244412192463565317622027422134717798012636301058386909676794800798837450490316323542588385983276551072486760637689888421149236060348544757246691319573033922811241298840183242947221065941130173585778494701484755784072467318337421931593777228221856212908056832458858021685194474360325685535381513067844133056337531401835839168519649755173662786850309687675660448142751605966157865022678863303075075042979130996751075834255424517773306633035517781839673962825022458919647320349894198243331313790334273258001264622048227986667379094803514253856869906716977883457721856402540357136728529222426377505737513471383028838401980957643101600320456032227121342348018038015224299875049495930597908664109362640541286400*z^10 - 115224478907949774820068709404887207756397774486030442178249474797203600494655477126237323614570382700648422359640731653041318916405110623842323234098938396116876132170745785923412576773979119322547282096296493370345155152430414584406747366587156562326546596082671147439589162354439165450387535791784108005714173065534135179351673602436403432562506553777527787194244771167234443359250317722963803218084029734232280741161755797655895968789960938818916234730723951780919428334187469561665863522478476568944941750402477502789024178520515871976400730888131940223294490545957184052890071115604418404330886103723391993891360902329061019126180910285595192456123345280322647262499529152367215747379435226057046357788482288892514730314765947639587053650048804503720142179306045440*z^9 - 33008050922797717415779540915922648866628433838044194338317220569130729414728788257600768227798018991069057505788021513541500921344360041672503451714584369176913150848856681961248896671162544011202283868132427244302437228731295151601234561020002666755905865057100118942066476064091036246170537711117130555937708664646447533714211585248259591650159262111819420187226315288069327941855435364870003099528641988339403837130987908867847290662912916980753987935051823601691795634377504700975032690574160369804152087552256293501136638897588833858949360741195693831894424843423923245222949015905949268311604384270552400360043027011126380725662684231349756959088446609541564928180421672708592099997835192377616742139662783345346736135378107323160286332055492427994646693884723200*z^8 - 2384846293822055303296791094617438004428339527321113620358544240527151399103217083565566726576720173413422493870067024073344730902018598232430065951570095600907328514312591552333828141922645472298740494880321577726322483287698090545274632552197990583161734169849503898451727576674437406926103238540253250550040035364972977446780103718619362224168967687575756665885375814373429146317144828980033649513585094624824277624471487894306479523590368021123472670211058826765857434041904193442221760617494217723758952463996366648333812506023818463130279856369426743345068871179898906100192679904198343695665069193913730704290648926667727946880541011532943216669631282226176030646012353824341545700217731922360314604927894581083822657244334569207033476527709857203395852165447680*z^7 + 2218141014863637271243932612086742509723273570256043827271081898219847534767771422136926760823705078436590022271375518097217917625012562584152657321834277177464841677627405631008380014935740188124943706380897509598563570157835653622886275307865900480762158090257647530250877717584740277912449860419660865807465050165787184265071697648888446440056700035122919077048557636117398771979249099041091719014653508465175823916398543678927689233278892000904615035459686362163032782786150834941001116425339342032249938430281033355080262390623816615261022905364374541291694334972945027402234198175872596039067663450017391545012599175333803331529808723585917025929398351164970119420727674276790599751967962588507910067400093524406630415685032238068508498579572042034683231086837760*z^6 + 1104940411061761973949998443223676446537409297710483874153836217565698554204104162996108777583311709008560247785391292870860457971229226320978100762446303402039253998924808772073693166446611442246450187861107405258964886852911050973089320867007998323492886577444029878183765054841095247771267584016289305455101951550302641766614287682508773316276765027414749801666747917434502715236270477529797744747486613095845701878888996572351256004946905571582267773293902370710514457594633383927552811934914307846739662902031305982123191940274631355048823876144531828214071946142092066313341587050673506030233629173124946876957062483852818215711114067299793475085855865924405197054979976102935451929355375055631573801155460177431968388661456742575691152408845874310800148214579200*z^5 + 274125394795061365511252173260080945009277054164428536126535975183231743134741904913285237581476744265467197581398966928264315501464845946215386808560652424530247104065958425087209675779485938631803519273004311409463368594936218510842230877470769510162882878605318891901903363343623240174244600129150959126353017618744946569709873578257317879747504748385589347488798017288068358910593222543886838764918922950616960626263730901591983674652094396156461144652628014680005169724224728244182884171783646830571456128604328383026006587645067925509248866571160207871129770876476056408248879752340029363415415632043561387974244857678200618062887348536405572400900040298994383279168853593741054192039853806838923112473599970359155538048763359957520575785829718891865273532416000*z^4 + 41054805565764980400222201611996336835765308043200455538046427047450036700377485819841650169272220871328275483435225171703978814727007351301777086826543983659276111089235936947197004580440698078025573073654859827037657153676242962713340508304448312074306144982952733748658483515119830838334321875281903893939001700577523848672677596512529524504364499309096803289904672002616097670328688162477378383973312825842914035795823152516852901870826024476485835704643792259136660200369286573412620704353762440716084959270405606827367440941957524655890858437368033703401144960553068030739786761975293150709112867911184795176719872563786779449415759033982683289537377253093541043006187398727116946780130100317613827878334085099933935222608015669717560931067914734595976724480000*z^3 + 3556771598552270689654398953558150972953353473782703122676719937694775541514653245966860476974584911654880287075850879995890286789212614515093581105818882809761036720213217280286729555635428250144681428935704922770151241394854083801208785190266990897681869276974253669096829026097704211203048737242675213090329853847761213639576518576038771054226023835256168625316621288784403384853357488938266423854620696939129179409609833818263948903770722626414715102985936546341863836011695731923247104686590226726790612753807986594703653773799840107957275444639122172931639363830499085194880674628928088701203889911472465435162998464677568745529776951001626342107866170736867209043427511781335041222970330182274500459947976104266789735649990387829390787566493793905960550400000*z^2 + 138651738677178895341210824151659156815167370968581248538535863892525137819263348168012992171938972335538440847209902713939133499267185120194373495387549647746614072968026490209175522863087841837247860511770335899141180229451985126449387400603691830705944492933700834052013070124926722610068470125615856947775133659861053356268691395294386642360510399938885055948242457648819023314653607904388336762264595401936629107024963658934361524351502892683413401647999321333787102252469318775264362048993239625126310642054846383622879854415993298469975918310417893559276830753510864740091014938783765353688520005763909518611679749421417819217844886046313516751296171588488751625528938859936821186537724813320666497411480798227286291470376647087473985070891729655169024000000*z)*Dz + 13568594484261359550085537513122743800146099887573056974834762220752304423309386209459570473652425248237579813380431809778125889254917676784572500415449947731547574824504707151009252745449683194875273466364474753873841029906500791366322017399644949549412025278371270934747833385859961125296069940780463732552995650665573493791935171240792143863292402556716746153067626862757861507761108038793031383691181263598202239155125542695251651828113101110552312215196913967518693455968527664604723267594908544452946722042177284978777070896648950244641221436789579164791434814676693311741311406197631001730927741765465774129832644073376877602147972133499694141187396113746267990129072589934732024753558727658663806503673575298741515059200000000000*z^63 + 328549838250381819697540913142196763576495509579641434329272118747257133293977233156163457296390375912336480730037165180421392612923951292260173888708460678119117154978633473528400296038651674222753183561605975276861855720493808543258772176707124995396126255664753363907762634071668281095480318439723817235517411605921508040317282726845643562499821008526819167814373279210438956091949756074944510874756317024732228020530325491805543293982821616061196841981493908348431114497552434397417091347291742998148888213498613733418270035414687534354819323333899396941728191590013232418339474219230300408469796762708219782140395171667258798805298368571430415555153139482461518021556846410080590275060898853382240465592827762576558659731456000000000*z^62 - 34651076776463228005329968219875089817757593075669973790097272765394803276262565030801558613200828276292175910270659095101819958847030512242494146630140221191114511841816517717023244553745395125479917377416428300985493660406326937481494899640969691407402893351582708170670232611488559957350888270398114754553683530526981081643706867488505057557514953745394753671187796936211418582587029306145351560744351208956883915819800532356826412021723396683271667709173303732281158386748324922999890319157847924362173513198967625717697380894167023384974974487687821062824595770795581430723717179350127920722772628677054842461287198969164947523994122670190673623690762108838063588644561415175234466972786202071022555669413069596889057120107888640000000*z^61 - 549179321340456520526965428311979099932251648784830999099112094121930831889433819173288929633595298601169936160308179488418725539270170226796895096875468962483260065618261051476171627959202803204700457340608718108403473648985856901933704839668521568911313761015111344032137980899066754416296996739322641620165022278998317635440276074700014741597824729651745471518155278794567408373037710444136043275828703703593759439113780658965904556371147599736510947363748316691399600707086407968073533661480672985122345747314837745033790892446676213366009671176753097461986733681885162688191238565940865322999312375376181703399355527502863171382180170817537554468195255169233350388925507640381997645784511381513510630916817733662920949631431160627200000*z^60 - 17802333742231865454802147778832680854489680477180789489807647368006773073718080044224230410318930590449493624857968314152196043433589775375029663674145676258811224784198414159029396029852018786957818574471157268201094686992463373502123080910400369532050910863515467929105287505068550381442980330050517853921992911172114481147754382128510650094512306147704203995265204460334291341735490032002165617703937196896171378767407689390980111457413736900646749708825716334061243312078267974749671619228386547469784384495723901985927093117969400392110786430369069070793680817413329451449733914386391874924511468355805787151313269696182059580337614445862837785044499492522005853084316028041058393515684538996528479174268423915293361659449967363751936000*z^59 + 454104107236378169921253168573722344172521859039880693369702365235485417179397506211941661912331214239590668139747937861163969063429692242181617112879787564314327513837149667213212184536494740247642011638636716587600610218444776198204820245777013010940475621775657393332682993683215684143961745407009867146364699330689422135617862506446383944143042781618379742726551087559548812656251828253347623143568833917797705480050360716736139384607529807801490964535625078625702400056535107495268913534322140475216220184186660539294653466592701710375645526326688647450837147545203954574225898524247188741389746593760027253499362210891360217829715114299182499387388542927272686757645767936937911999960747343655290795143232080131783204042001168965461606400*z^58 + 93175908144307106040792170665191088356618432789554439317174663955846076835513568061186233606357953771796371161580670884522943524539014071599184793043263814791377121368750538395528644216976333360912370546874106313958802703723368728490069026585478994619326182280312101740488951440588297205599973839311244465671834841383119415701336590061034205686458104502021565696093260054341535727749802671253184622762147106530338144717133386881755850256662752577586567515119524371231349504482110574148513749147163876483091032277459629884037341500345180315893446557388178432820948627845781731391656447672157179497780098305528050857290596226922468850124379068767062019787379296370618659542051857177894618873836948866442272641497147466207259855031696715456656179200*z^57 + 2768557340717227481147083067565634235935123982700675320205912094876605745233785120854229045668972497133737590376543019597996743758167720053969829160131417326265260230049149094167292371831691717434530326306633220745914742258096383891432644761098224131087422397776697394570723046793303048724140814472451007670236885926156418013777987883963165698456534218626778419863895947752311650319568309498567583345391335410669628215181037701438381963600603990718382875791186290854359196888015572727959115372999341574994175613374767705474441248691639430376580239960483765952635851515795451443933504547343425144768964381143333670977204215699486724422815839957763868167058673319150516688524354678443567629059508835928196410731133962516651605058757801927607960207360*z^56 - 15661999643366335561465195423121003353825167709839779378963797760962141060216244452224517831031176018032707002824017610732155279279810894825613401902077238673668570488205751301483683763537538616507276961129415191285288568906163756883883670788781071889159717507460564375720679830035422393231915339979025984247537469328120208937026504604645685934504312985855237115262426657387200811211348965971921581586763926097841755354868432204860891771358084691303373767572920521088674277231323083449089410923844723327964682155365507403692342780190536500083481187389179919594088995485609543087831180739992689197723965267231461659811921382343956357298183292790513468352719503168400459170882177856974822891512636171971225313787773682806296257376279699873928335851520*z^55 - 1501027396976426341135405603903350700268161230348675081589323348418182127780341982695910580317399894745421779747013837095769163376437694425308498485407968999247059386574134109216407650848720224628944732333459546187194830546565218792009040135212991379401055785548896539882223195539593723273834074001536084967800806996823678681722406539438389068314823794860860138756132892723593921471376910662691021494685434950833233772063880605936749216331443217562792803540176771652130022322662747172034413410708428258176591055712812857376263678748920489069490155802413604586897544813616946991360569973124313469292338828334105562210845458763433447842996940435063285536698315455645012335939222096508098863790600777748661481347765024774835254147359128211589488170762240*z^54 - 20070341123713855222350559048144810391938174799078380299559405924231601340874008294667978815034748717154273297776874063619990729370843507282985953946770902904324628702785502355554465633284702951329718169303890570287648669767634548426994467805179934285913674132565345323095692615272463225292541391360114229898625388293437388209486548086218591922908666995347916178574745902785909677061062637246515696225601065096890440370098179269289616317056152756856176942967958044949748101300459213577838747995322029738596546503669112783717501284660465428554319603084988771065686806896791403422466043177899935973085604031477780523608946841088376283011702433792876295404266062220844128273810121118612166067955093523490839319185187777720672008127898946454566859115069440*z^53 - 68651984541363840882482212468989629956649027568364470994109781874200871802413871869451561156635523929124090518130352300751096678105135129799952652603332461624451983359325138230150646170706651271316649233769477511007542063604609020301983115200278099316989730480788878051214299412482716914337845680535979912106203140522837734062109362992546676653156510011657565358872412559692815499957667556586203407014861589451593451919376837707138601650279087890968900680298982626989973053563859701617567028942616152969916824534234864258579161320080454194921722481923419219268255013237532689155283805931745145130771391793627378035944602196142179088732730942567800204461405431851539481607375208607455435524515745300685638267429575382876274478826274910965218203280605184*z^52 + 816225549011137859087452473878753073243468442744451363308926901437086163824844198008584855795511331147750203646720284833089802631105756448825603146603679031879923622267465515083691376742703335778060999085447409045628271036161996782196779883995036051625814416052267832726679027651020134812514695229523344867921955505913188113934122837347244096569036484922025286724825921059466287279899305882659158540769348289782498729380433174597488495213609953846097695565113340127480709358348033690079049512336707866434537130870370974040908600951769507678587849208439321317056193015820636056983274861738827294829597816334757423386831853203118200737207282368741123901004562863178773545248987233375776407723179423665270556746812230120613755322956417991285903730447220736*z^51 + 14566352532591234330973831808082979417468494009940607346984898463444822954630368069217574386852969824306517703765563862638875275491688536485892599815281130818556433628231484543859977744252482321275182453098718835403525898375859344784072013561702595666987817090985174756599106572928868885650143398716651146944481592592231407086391213393483671605226286575498618798093371022193018507783514255457111572725843808055031458150432414365010809184416225057730049216760583323830999892006808316374806849625632133496146047014489250685740211442792932468071947487266513720462757186137344301315566914682305213557756457667726440288446174963344846016640084271589604825510456356822685602829365473031811889098121626856167124484590466742808223922748358608964785416784243064832*z^50 + 160770407369322835021885965819212930917625744657903362411335646884282172613781842942200836786399288864031627588232995462547462153734744429282608710427250866998158236189263687375020639404941841956311866783054206473934189798092680951242287873959119684780667921732774861082465892894109304767628196987113203476954082271157312547756811212972610190054459609648606279127584397058312849114116722767217546204912681760364458958274802024428837928196536434582226121472607649499359333548939053677856487601509186805447159478214437513127909675778094885609319483748738159552613282616063490337588440075284696537783222782073387808754216507522943516656243705066958079042405771916270308547411426441422732011415304902894296708064238731515844582509333576122370720410050240708608*z^49 + 1005805208870782886509286194316566904305403247434925165221658808967964574508746985008353999181129226889260233888471858301269790649227003007495615905463568634562846507082183657403401390030023194464919412212637210435799343668484016266414421917107028814321825787208045669921575002286273014603872233281996549320005248661595879553866123295538065912360046988511327613431763815380195481186856448454760152121530147431322335158044796891453207714604074029729570417070757418462039778392266168579730896274088968280033358762008696121900373854548297326779570478921578250868230761636207585436724400229826751119757087391711421937758826774639542066278285737028335890485620769217662673279614109697934712369272932803174366892276545810629636455975035314589892011794485917777920*z^48 - 3869365794790568238690134415182019429849949918590305363753028850656565176875468063904811859806841573837459240823192818116108348356980042091447088642839655862118028080094387640144598112910650535760705294350500439383526027070110465393981361952001174864282357284976893957392769819206229311095762295509228921877808170289854705188461669335331235277163908860434762028829863035682254388490138247715059261894032895848687502949217638171330815290647935825954505808664951640693879051422092309645923457610805187573006910493550621367253874489764067248491990204131816395501086739259382162219915800997065811737154694683604714492875530216579849834345357769732460038917204843514834856297608115312490856992744142081518291954992224053120544086737734804918489609729514171006976*z^47 - 129291520219189741062265842184498225458521253360145040788664784227401318990418745550154718182753472165581588918623688169299462545757336905470075333270782227461359375668575022385371238768620818009899745906843466722227384301517943798020004525278988414903625801403719735388422406630202221718473250058056050604123368062786492009925186365235226385095451647494668333616828405775108343168752002388639079878031443029941379843374894079986225655579258312624357033832823495014252418436563196841137203006619490234230298925018115445391373478815985180164586911338699696774794456293562039344480834208630804447256749845678077511194573662775950602775052737394938133651930998631569623349758115609836623845839835849655329753992182715750150970642579548660475126934752732047736832*z^46 - 917475896841365775006531713819325521181948620902730853036108837588723768595950241870006065281709696318406053945109457835762719865434395265777956322415238293510114939919682420188067275227727538269500268810990571959954685915785077810802123419047116890555757704866672834810337189210711948004769001859489164315395943762193273278403187861639962745084193894014597322871477149956669040719572842633107761482617597566143551644097213241324890975767214247623742311023824488818163862171087787507042892579325211502300965050421889718958466534901276045553018849863799055145556731673339936077893757605208434378214319627651095593397502924999819771543439468212800842046064294805396441849126693368671924788755279328994486275480793154646748491875363181209471124522565660277997568*z^45 - 372994039203805615125658493761132021299993670108494034064875662082849741600144279803313430902909226301526133329658133918160282057349019634900656516127652633021034081989658633013414654563898871818601426275255553226349913038177444887849740569961350089600055095104656076397387149643481309906699650600285022491782520447035440026649516708435142516009225582861587938305223189307653298929347787129060309208257268657360293709286231712130097909667337507823780416499950188722761667369183521865197589907099254783421840470274874938953636710893920558461542682211220810885317990871729338832775023718114291351332133271893148066618323735558205264318260295528974829547564624560792857200953892978957069666909147720680532570596754016112004793738163895816185196648984575972573184*z^44 + 37098249493428146545350255372255994674957097430283957365994168582097190644272393787844102575181515124862781334382604879843084607984796722844273426489176494549383210676860896498302268969999882597735280913363977343836679808216801453495122515939101985057123357858347945803715264174959503277381633424355730841227124177783504051823906395783719650685940666588538437981383867738219810488245672263815070650555655424527244695485499561251235106332789129189220816042301324647969121957334517433405579467377437338262530938996529597546165119180800303234468257795875547539108227733387486961128132845405465012443642215972119048865790074784074457671132074253028396917983446559702483650081921060601270017740877616022370767448567309847042280950509727820133316154578657404435582976*z^43 + 250248301845643389335413607426214480450485920432157726203759680791595714734298471572266867502231956227795529075928516144882185023749702709898636906400665768270916902371480442852282199521174780861946136791905051391231830709743869835670608482171164433326393669861602477749977500960493600623587839135104425845966098099949786941916970602547694389296910662136106625593952512481667783185475122291223659041684643706536288269617775743911471830080649335356827996740254501563725564995781907860349983302905083914837373975179985578521508358915141465922457011710924802471599418123470238016204031308953404680036845375422370461515431159266587941300204878103148848017200703525108108489312221693560765368108151855311171612402548045863166431760417741759916529295709318163351438848*z^42 + 328265930653279324779075688963226674501831421121670551636427321023049483182082435519697395627983676792850022204208978048429847822455493853947769164147912347357768429432272692221398676509595548355546495035584159484966726869659852897956439399313992901587653681145032295121982169556885989539782398729451866884134493509888718591136147697743627892657740700957504269925462249370598550385260315810511725630290425587678058621347734216343524497108708356039481378089433003246749579267419840759575600566673528871645249578909808618664478351254412469370655031842561141384877132280976656803540166436755210229127231181027670605248445752840807704821328207574976069302004681876507473851123392513518503514395000568470532929034250488721262407474902090947871132081880436617787668352*z^41 - 4891258539314889811167731216639034811815477677325699414562364768092402408228340425191797241606314857504041136126049695002606962182340173777254396592441155123043898065525550558556917801638950364759940880763592040649526562508348686812995185168184618172204838110840113235126249630878647064044976149970448512543399020045539235936260983349219241775886443027378667571985702773573235353492681770138307085878263004678795255049564235906405054443882524828974176012743447057907796270347185134893611091987162715058658526225013206402343962561587748805391111576662638182079004000102880294864792393065235495378589788889272236596853191446825780230165195187832448369297426144895574038300402144565366578712734504704913371168782165319351674719768835983228291841250730232091620875104*z^40 - 33123880822982975279310173822772257151198472216039286055971064144591724393556309689882856139753578297903867951820085486784450025948870147394716919066550051554843839219472071904320190436314052935762820905472912402960637943981805023264804512285529935449616552145489231240152525530342159377971926016706959627185287602843554248156977100322036397711140185152915466366736293355653391339399818553361563732759424635235177484431721982321863116504669980973249418926716044819796943875680944827549198938755722788255795221214097296556048511037514696024105413100888924154745150762870585367564417599029417528605865940182679103773970670809171610684873358175221179138710568509078509165904194134868031010578557842399782371175461465141008238680186670285546212671151112226346158617272*z^39 - 62246855624144240696183508639315408991355814651800821364927518202842134633377433537734542592880490583305438597684025588830747771916569704763467976966327794246487415454188741363103610954837713799079591144360891951364099260536912289033057254779592854511825871648042516106210210477461720971382579372309760704398900455056861265588042916563281073688589601063415336193372864341826592407709846833783442421345365663757247415895943106036074417926776485642754459297941526135753919270100786772907427886244436610424737370298314798562581443284656007608831317547002506970935521981924610457748630882901657213750183020451808549587361616607562713896794222236077537165384885216256918672649889761444338231292642010404285234411607998074779478483768571959305684252373177452521141988020*z^38 + 315173707464850132175513318896457424149651126487692479303330449086067198898005438333510288581446550154580197274400552724621933115559613698984702681468979401592545268796423910201111009405530528233993608314646967799771604562181614036144223332458926434524077263293588974636726869269093081653899327483784576735954053554818189224290431149206036875456701363531073061559810576402188173028258673672835055559360468988747966794846708358421255262502781031071659171077294501943052613063503206162990125614027671757653374504029482031624491497521764821142833460630967047425102762929349747421273398527450644906136472153315902058838641826798197858913031751766473282158649637414382031301499109695858558781302198427353203145831018024139454546357067544874092856969804140674146131878088*z^37 + 2424000732840494112115011150610583640392588096802011505339375613302776854018283387931841991040311750414778152539058588592902618450711217232986232463738345159840475233572743622415827063995582986208324012796453210052531023533959987282109294797371318172367752883036196180052635526895972143414055062305388776089010601849615118932887155744307505837874545570469302481297474742913804381235999796825044898632130998245994993129551249139229372513384917019408539411619847551180655189210134778260047867607693078134890637224262254215955282891897461004274574734877113408176334983547527485005431388369847075320994713924709478190724408424059519493961235942215987464825873457494506486652313915692249951787646707037282184613213544237734376832464632805932305258892353390960465626459386*z^36 + 5679914258398632109159118312044466085117541671016774255367252158441990668291665502026582137854892674672158880346172332026677312514077023171313748234000019127548792507739975592897341901646506582048375932217280970015910668841478253143072736082235202372865036503381771896279551311549311657250215988723580187312650520786359355694422324146676123376526343010911471398342191414110492598559259270831413673304734098094151792871722849461465664841349619428811990422340204000220248092914944117862034203622698435972886506615815423858686215778344073447551762199777349437279697556645961133801825248196655769649086832455084773833408345227054620700518305632668738632574748897555244422907548239340459468643810955661094108237477419329177683128986408759827542414549323194844280236192138*z^35 - 9174017437179849532677884080419007095695903148404575606434693058471859821546357529688577055282205562494488813602301071512386643020649364975402925697402634646713655647669191165898603165316920928034568903266970866616996714454543357995106379785728809014131048235923720973557222343207387079627199311915778997322563173163876614746706874719071836237018735580240867929827741408788247972069805991843172116300453495898811528033233686615213455836445929349366729766602883357647350190142894737659758514352073471447460333609483880905907785240390509879046205132460736178010262464419601838348248301322009232605210389398268414746310730276877585013897562691805964778824855980279143309870680450964642795422396658090349735029907063906828321757756686027114550941966357550006550768341184*z^34 - 104449847831752073892437584544956292529236109451655277376351251539726597768981588646368068535465929576992106571013342673860000968144009592696092974021497131548943381551380830668985780996709971741132398316018430423199797842140537425637180296644428156035105544649740585263464951759871006846240732439579666501751803930623504451549492393639266210885941904205363872843130978202078599695378971009621927852971144428850009435284884397707016248143518767292092190091303546765705508519913159002591085025815816476295800856210988149852466271282297655830773008411275272907021940688560362290432513607117635302282858660245018728973386576453027737055233756772724182387526110157454215201979833306315059171217530760312231626240664225707541167464582252383159493320428782182255469796995972*z^33 - 282151429279588382900452976929584387249638484159471354745164878910559075886402981285654392177195284505660152510813823404217257553169321084394226532584166785701976867114189945461311447443069103507481494558269866224955795435202604923059141877401138424059192962152123517440834556695170649756750505495054392345531929310999200131342841094798511059939694746364376212767608206876568159253916027587086230576201892652134090299258153508363301162538480222107479033025006001319261939692377168306557100352146735350001176340889965256687854984593123690351028800161262467173590990651143474689187515778482769145815847515545046058777026036739761172151060631424216566067166042464562593502882211539317068502572084664016036739067095330815509499186784610891685235879843434833107721819186090*z^32 + 136029752236399054475126712038065223333890036780817051856106540680261361935675904099926944135660146264564109811799740251131060785398865062863203715993610056371653641893146638373196292376181775003072320141904137393789506446404951550621892385525676655497482275147128518053291191112040558542959909583635842095646119261745893323978667472861597304060664601426016062089708583202125969370474547873609703071452235049508299413196521232638248933980340065260021604687648730065932268439011551028692986932329796524683656437558611734328771077980581095111822708837463646774204992936228860354711401215707984975462719203309172564847509715162524605214576114226194657515840964627737373972382031114054986038528189464635544308530881025206465883384160626567759480351719627611969835013535606*z^31 + 3751419867758336222082766728868046277011824218169932640290658590873235080877480712614957469959569479804453790673291142463894437436444110492893181756988284895086038002688126915736857741136742407816653736880236878790331015032812459895299364437911349002416770384471089666013772005199886631748946898190266281012050228495906893775233278084795648829846786856249182903205615434345169565073161269037591557438779929540092841623088541056596837741573896168346786763335488155133210581631432978741794887206210174929783089775403969193244872928095679493305171693328952139524855812002204271720119191588310189345328174741513981925445884864506693754777579335448919145113031581248789816935396321312892883377039982902425204035062426808794026761423131245619334545651972272007217360477616128*z^30 + 14400268505510513639430166102164610513551493173059067055001567356749723133801173333869615113647054254766690465388311568514761676711826336270390637617334250591960587234606073349279996638064625437576632028749724387340561417810805728840245149074527638468660485217107294170275835209326897388229767765998331077622080759780733618419911672031054464119433061190320555408031466407317257990552973415495768221004648092078517403657434329297252576371365147330705554429076303783781368923015574521955896031242670557291654410307968687057527391173375946683480154326992946950369461355320483366188261329939963267541397094673211946579531159775943387359332244667981533251770957557832284666362888332827195095475893475823837153345244951147048784800939705401460516429317712296336864977731047120*z^29 + 26329676193151304771497568904280307120453476940519434484719614121842919439541732697388327466099806154578009663385587572247584859138306567594841836957993164298303597898115842585117077232216967470704871963211864337965463800105778617597914300420944574613082820107897632873931008927965158050446557144756923526851699902913668899274195974045674580432104720523617879842030610191453741015550414420038283685554496511535914202681743454528419593314462490706234227076411822401137188888966133524365006311497372693860491989426815952415465478168967527666516886439002856218291967249705954999164312487783780220845969856721274504437601053558202631140490971222385627342974592639975202839791655531529837494029389960747873256934510326702024279356631297051327533085358252918620168442911607196*z^28 - 5555885935886054824091167324877696383449815603219527667155634493218004912213258278513756394902354900762732839876830341716423410725071499304744522982286018753549472299158023160748682291876284584895251455468498581127500646773133352070723701177836702051077703445629616498105256486576198157237676998173180386779814988706916648034665145091231215744244821443763241059544807372657019122409582785836137616642561433506905606721199781815181611553504692786186574535265938983455335176881907310329075763639122475187091070847714622142388666633611427012538505856225530990290936163077619699245780944480733327248332904057819951291090484196738983361465626380129722210625802438626306506270847081700388300999338140691477486387366191220990964908577220916314694399106992537668025251640876740*z^27 - 199623691360217747215251102324769676610535173628057137039856932277060297549708672132933826240860308463392591488685571573220822944503867637149852532892441720183316885112072172137590499400568638697795926254932726895864633577262080564131091444250698287235183544627334183392925977178851060972840762476924101589524271279027591993800881775550838889443457358398385399821055351952458988401731030829482909953460218909954769736521267379013075819497366911324138497016286203083368396825204208960165646661585366548013704991068761053689622817799006554297877972839764055917970391263959286274450619056366328309489849056624388393931105609831218859387057645339238977149517928634483754867768897665767073081785155328847701947645492909154840466261847119312484410171995885294146945688044294312*z^26 - 720641729421608621854949180779834182660382553129738574316381719837784960139013427650726040285063656824754955097065061741958250760233823577169405694081458043671974078104271179868988926226814232886543183077649972275846786444785682917103241146875044770193081138866914533843540346918242567929705452769274051187797156186492185017059233175897459072973353157498718599864439721815037945882893416453792628945832670242633556129652323005281482311898239763442683824185881268254346697260976339271022612269022762395257506029942323364512349875205033506888504044218449864721340639091124714759042503415730098652160566596464086490867853241989215119373233190605796796982452023024924607786081489024441598707071155963566516725640115198429496546133954457518063492810407108326197486725048914696*z^25 - 1615660116027139791933291923302498654860631404636681249488699084254955970494088902279288673435348793240918174753302448910596758610051361457861847032352492870145394737011873288846213362198096192297468442516573697827646866296066750030124465130584848961602180765410654455992075568126641323362210507577134921643442143801728614064814082477968621597648857747668703495435017516431215077722435688139120120122601760906164585211993909518395815859525021417615126243584625530596519865526806498091981386773374652486688166019767820273804195525080215173808279403066191147529779812252135963741570388708664478294548332343932697357367054803287568811277370035646433341613187062688743126829199784208765674781218791659338891313750416574596460712692525658332262775979628065870381356591933265520*z^24 - 2573908443149327874305551540904118306587420846203402071778864061712364695900851311419608946445765478518913236170869394333146323374367265283787221626014202587321882933224925822878540174952260471464149892703877361419791297731213646314549417082888854436908326650293177978005457959136967897082677955693412790520068055620689970258783163980418363118742336545746333507566334216650348164802226102956392756136682086711571360358599557531049425159272711801702874860793889358227006743051014303891282007877587632200932049005539334957206511641327581046877969014823287600176520693953949996112487649165067143968671995813885656429262558973107819355665602200719881303045730918509035229244655823620499207293630237728877425487549771852985010417698128951454272385312816072194556822785429670608*z^23 - 2921386990439662140577983621363651191034935804563681727773298182808869055017137145901173000610606271461363601587969249272370095613482819407510531115365805285840683807954164976622247663693990651238975125928952412375257959047816776840679134470854811788401897485847879263300863527675426993773851078484240710546734215082223217920199313779104428442174345960265651487020496354688578129488452245437876386321453803941315073208064456047461097407564918650900218166396732895465433514442743471525227385832518473771463520271718734828293484235049599451256704110644704020444457810679630541159479810173489974948623545387374918673705141994762168915631359816893274616442346223190861767542877071809826633123495578069382412523034029148546793224035252111412829323910348618309460667178409530144*z^22 - 2170733683140180140420248830307209807085726661805989680664804892226547016790404745200036595665855731448716588812096879924006841064981661457453311077251518218700672083381784247851520332566125984760859070205036674023479803656170069652786501941752511697697806785630219098373838479829685478205660280650237474143610670160633294061765464443761185075613031464927427820987154400805450652743633079866235796298090782389376273066049960128194875345757225892697012348929819804751054996932687290119800781024454532608642944104724331280296284851898709707117145563229976505938049031549264746468844360206768911609600261078000150214276305661622362296980083020897444131640347077178450647437862793032352499094103956521832778018201807409015749315446389770614432338400814537326233846779794149664*z^21 - 877875446474414423498769072316253015734841974149592622941562069464626044304793355823793784803339481001978067716396088371857023901777737121810891506570119405136704533612719662272963145640208919754452473198527712061461179930430796024418569670549853501777788946976216184567836720718495440144855025538700720176669782468558806109108863073686431341859756273629157565156142858412705043464819509334855966322438096572622103398680625625258657309179787179079054582580894149549281729354548074221220770975355700253257813629729277490891448462162047568745795027126951167713953545494696200412496543891287734351245457935615303971572337993490535813021015716453078025066572027582480424909912174465817114927752825029827361664063439207127601298893798365232211430351909472472279098077608883008*z^20 - 817312335065554547092868575598182261802969557559212738983695448581861143562844331748977536045789797416642033197663499862010814842238505048895776694656856528952912632224498716308278998212063608473198453754948419015154900783832879199708937483303150386413642399035561343920537683833302847015990360797173197053604897328118141497403167658687337434239313304624478313084879294161597875667190828473700548921806448811689594021055868207804908645463533596707027314894732236720116312400371040101878114228046065690727191796995449715373524105913309370292627982187258762372802140156333336346903093478027106135852654685957472184739924434863007948838886360899640670299812678143287094636409566735428796895040866724133373310303001199740518602235003825184304301930659548167344402007457831872*z^19 - 3715752801296162592680283232387197230736916103310053122674256277536700605655874190898071752659562061905494969605840265275091039571283161029194400364047768552793650649872726030751556451214582340232657032293838810631989214114021358848198534622074835779334690593681806637655734706329060432983175403781138529600421077646934726348896744455641543445555999492997505849885031521094884721685618527071177852515213805803118388702808408184866422431861183563120971910824342434903857666463724525730336588724453507452932115104877152394168673406014371469580410337995439767256494908453385501472173758056515125714835104110279220311115388073309633894858354136302481075701838421581982422738483693699607852283994309516878743276337846448879650406270976436530639295697447964881490086729448444800*z^18 - 9337923340289488797202993840196108628122913961556288357733284874025415447756149587239486743962514901117539381340711192063277425427685812681363557825619856018825004058569727880239671324130001545978077163258563613640254876639883711532081643891153709308861986807101812014308640582003015891883067016283049597721066835571838372242777640269288653731092178717342986011981643631364054459355301315953047029846349673835697305535432816962819937995286875374101994810938302190473269947880579551737731508964783223720753811393765528703441038253387030592863942960199184224234430389750638544263554277355786313337368995392184466351680077955410992620424747409183808167858291730007736804383739386858076376832659635245623766911284497856015159680157414528910168149172822124612616520237647197568*z^17 - 14967038827611713956828390668319929371593458194420058736756100597662444990145890901435506587021404948819578242195340344354692373234778606915760978797303716670164998038494510900382064032848030230551260561702116664956554488388846191214946895554075410412375811337197623866223953659504812611733188334344342783379797811959732986740108675272303823623978896030010003666358002983454439693135239583332073043516368844843738951533580400671965675527376459710853919916170047045287639631432228816603400198850413800332486152368794840870819773383672631171933080254873027591500775217472714834835736061576411277041876193081943695589132688796718956557808695306696323623664671783479255695258088455472565363083998841565322254290078992329420180042039079862457321211498466894039371839269796172544*z^16 - 17281196824760047033130670798856344825635026265795603292751536009109866092920357165859935329576562183967280378775672917169748072931601267929993272085315498925598569876193141693898772264193293384483969090419471908279693279993112975689495301497000472673954440596552360687225988050387791905160595508929624426694759028695484374067937479054910399600565282483210358198170924114852593937220338977858491917319994943394433972278773774944341682708293348429310529699611483419777402051268915568288532432272803398705024894423653328831848866393258380546865710523285098630714913876646564380806835153963197388387282223313866191528724401106210842297898516930327016984939956395649041510530523007540334219927732111954598517951103546806519873309804929463827096099088765384938444605495927958784*z^15 - 15020464121489713720036197186354271117985312084383264473221285810331866929349976966185245260367454075744562456461517177130742268704948865218728793650293345121521621872674688227085848984607239393547624526252745965112941475302826013033608338934223015273172150672783422495480064188217590849733377140125856591603780296234376449925667633511802019090080536669961611209613315861942523680146966416608116577081341202066781424782638966215422790245405171850764154353444897522615000328379525076923189556836844753652744641405327705464104136824570523298961918479366409167383796688054677801451864448384533451216611587509414090316165375463280272829181255695863225649632405088179143890024080628464604344579219614458361081182507041510489558853430944343572719413331197934372252993692683376128*z^14 - 9820550951859903807325536614541445480237684590554890006197855281842940914061495801007270011456722420388603426784636649462184223864400898729952127297583988674293914496375262007193687702094523870330947830360151304283709157123874541808666158343918764307167817540445823411072645758995420285168013982866608830678265756151225518228551750842997823915202751382926158869074223403223010304190628824153466702880637040768141361181066292607462801479208488133984691816399163020674138815985369565979777227414790258437892250328414733693728338475140105838206594476379183573446313678608624468201956282522959169160847276338017224330780302503593670989117507671509686708178919747217369634793496435917172340882541704940055669342935135226978659054249525836581064495496881244591549252415183517184*z^13 - 4571191952170830692444226113428900951311661536680572106023986103579406917188887195101824230166239202419080532148218777732996008815616736146222821365645863986167278019916424061934759110000551201148191561352412112681180176588003328062720740528873237160633171402111013356776965777866178021487342811504936862237848579127594932876339113578511575529458392352944647178253399657087073077104839530862260121329040319729462754284052964022969662813678611996671624709386709949292981422076307080966667711663345236034972172377263838539700007004691030514222120920142186295450689114113236306286489303760114915466412710814094335093478053008573185051556980211952260725300591497829777608543513225113543276522229064522922152809837968019054817343661743133226595286370111641243225003866152564736*z^12 - 1191603326464791977178769373693722740394650552822479031861397273359141764307833362325210130306427667473803699565633129132631171214852370328635031019260068273672349173426699936307242647639684966768387268279099120356398533352411206159446697388105534818265508116462589761251694922037979320473411617111179568464947849148258044777074559729335589013459889489945464964508334723516901206904929086162117164504204035044799334791503979465400201431974512547206988907333798656772661119057525575751755738852766478103947918470464008795582369473774492105992658326082501944041426918751346019715179064482690503612384045549042641452093964059000132305458004844341525453119617446175739233121139732302692113350756708137332753314060859924511967138496213887853033400075785389730203614128324055040*z^11 + 160235474531246932991451759946314191371127363058374890446554134316059365909048021624572182500205762008105886552553761586865506593350413754626934694581975822152619983935651924700322078489822558747198745485123227913252593575751414248373791294528773749548277231958105411462171763024091099895151301828575807660773706872136129053422817367438209755886685350330508399338302663419700313796267823573740828904417511416349097331798815905547476800434339299242752093782491177250359847736265845452986956349467473674389808995416555740295343589099166553020220276840308081564406692908319890994525310628604958866114457193021496354061671708952078817545435425601351090130156854381894136392506230480173088612167888424571177304472115681198235781430780111231044030730080927976702157569521418240*z^10 + 339086979215785944621122224317305025384933214086578266606750819041718625079253398910885954623220349466240974653800211832291120533015423339724497581656138847728368238210140711312263172688108831307358833697805144419531088189595676270419690157223484309442997116330787541560602190407681621210046106364789791689547356227726080732220365627702405766574258975951478802645783116195235772031153642704718157166896713372506425548601383126537629365520830158280195159823505661008829661853253458156249730675930150282601499514496917612555124757090747342634813279733559138137396720989790642100696170760552191633677251529963670406431318553357793469077723099389001037935121742066515280495253548247938855205264447302860311033619850996175905989157968619905334507966857640804656204343141826560*z^9 + 174428123740266311726190112772223555654897287531694165403218283197918277375877314843434207718502672295321396673620606109362550827626064394568647239369783031583493969346685275129942053962682613950491954845003972807174902391725999306060484851056631359430845702744094164599355831075685703097564950322725998786632694599260139498875193693626115550307350240584548038668983668142323956002788538396319594348462458658243251076693291158123468657603568478013402700641297696394561846602633746704810508351894570676249274154852898929226543899188740556963201768031131879468521564091604427464104153119665371043667486946125654021922613728976363970685056662515334917340336609332207696780908393812013386188216784378355154475943317008020257405299705477840186614817749191665105824666665615360*z^8 + 44572399491742776173532394431119489346007530578250239818731846786537848793936813921406425761270387209533864577700761957894151119933402536488421986370961799286835148053336192039534931442961880266332151179158473681580304435022144624169298392951957714337242126554619391797691239221603416949097381311236705232767538846136210244947851985154106631931322153180452798596541208626298242637879471754224607095933867572376551458331815590552310751229832538430117480436413470116356610778339190663505439674503407235415726113400160152086679157111895480777351103656184614084562919653981201451963097792370118488990987798591649192144578771403194068679600453536275252702242814374469586855106844532251028014058021127422778434323366284963014765452326264644892456784927718638451687365562859520*z^7 + 74108389745314843098375460668004727777102603005195406564887657240975236482439930194645529712855948591762700647279039785554611222483545052816951865354565800140654095390985812024017924401411825764106072806249713751009132230360663156913427568002668135256096592723213070964721471044773492479193937289930714852335591018676293373624383651219592916775622839891289086449469166945528163360230828247145835385251057967668716378574804625499671642983802900305266946392383147115098591536944129896984108365649093916549918506264952807158057895415177288138489616713086047677152291994611274886062910618935335131709991907438322221044858943377931265591480150041403899410573282944726551283835311523621623940526959803652518818600894896380343018465470254436548046427024525290507294149181440*z^6 - 4780425506417992502930749475585931227721971141526777131622690617152392363624022168251601609538511053640910470575980921282643816110770606566291599939541703327439993021595222995609395112770370495807026011100759173979596614676014175323056593608895377181731309666150008102986414328131839739760331319334432651415796508651949510550499859627275377482632777172544123720907316327077696445363570162831079380631400519035619231165153016760201736510433916131827158536927980093349861653202989496247210546855906839287826746173499694291448777848923464100391900856646817752261796323713797137168072519582722962065701085403573348553521784161406570498863072068985901288527705843673796051454823069384346276175619616269057684944923112542229973271284095797094292157427931601033665331006013440*z^5 - 2073340600417590435459172603628778510465988095796436059802325648059174045395533601716058309036806538232379231926492062919543192622989734125897322457294082184557611302387852296529186930576491938055838744333589911490147754746552891983344633812041002710652459060068761840777958941578406564571463595300037764395308214070632644597153545245387370035538451857786172653597265849111373853880766439694471043112966625257638729723190516238981970823957469149823266943461269044534951157858584407825794737554502433776479045121019735086062899905935946092608557484215995321152129768545172291245083104451674062109609707121242713681073416935163917863978411745345438118683549587393898690835344921265583923123019705146222963216640889427374265132939735832761271587402846415025873770407526400*z^4 - 494485991627548529005706735171921403203116638472724748438740409380075624084358627005378253037099240718360335201987883128005782492815513690520834124581987608732289433915461057157849442530571757493109635879234151349908150065595667278009569918149909713720947623089290620253474794346157597450573492417739659626716394546223707985840195513826901170156785743939870847834712464619075027174251694967713290099480495562111917365417666018975314750376867233900083226438622464393337307045354263849705230588863288777339694728226880025081027681962888305332441054936079735476105988995738964149504126476207440252067501062119297679570508863273734090291614528550513381994356087243224187994287947679574566016498420912175947818273888793513833582409601980349687860819002772022411889999872000*z^3 - 72798708533171656211000691665520629951918898070561657192571466805670673033781595798377831114000713006934808303870143321472917008136326512451567905210422462392970632608640191180531303929364144591972257289065578711322182872966718625150925042186316731672923528971877784003975267260413380821605328533539030105162121275164957497715005231313936841517309037113899895678751673065625264801102835998301973339953576376720786639113666642149935453191552161261582692219288923562040260467310314070561111218765721786082849557651403987768760188629397145688780328213563090182954208536191869046547278997653656446921679945386274958840662962386679886167496396848788831333099320156528473242295091666563028311387411159680927766832704983943435180668597763140937192011927900723500296437760000*z^2 - 6252292647972708391017113928387930626478387120436523409303960917413423623253541760078934606464793662799721482177288085568504023855205825956928128954814788282656576462441851995094161998969241459175390057800711463099320607846499622474150915802103103357393911993633392157472424216866325181886139505339967555988276400479126445378388938744517147562424603200948360767383833677971457552365315717880503293660277100636682476770080809561889432398468731939816780996683591303114441692139067104749192729589116679175725617095608393211233565879081418110297701296841925747274646057316967629582832712198406516569785206706326467381438866400467718386526437364980634624433885545628790129672900767509464789884047031935091483196425329476928487097924857332523880218979794450528390348800000*z - 242640542685063066847118942265403524426542899195017184942437761811918991183710859294022736300893201587192271482617329749393483623717573960340153616928211883556574627694046357866057165010403723215183755895598087823497065401540973971286427951056460703735402862633976459591022872718621764567619822719827749658606483904756843373470209941765176624130893199893048847909424300885433290800643813832679589333963041953389100937293686403135132667615130062195973452883998812334127428941821307856712633585738169343971043623595981171340039745227988272322457857043231313728734453818644013295159276142871589368954910010086841657570439561487481183631228550581048654314768300279855315344675643004889437076441018423311166370470091396897751010073159132403079473874060526896545792000000]